ИПУ РАН

19258

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

КОМПЬЮТЕРНАЯ ПОДДЕРЖКА ФОРМИРОВАНИЯ ЦЕЛЕЙ ПРИ ПРОЕКТИРОВАНИИ ЗАЩИТЫ ИНФОРМАЦИОННОЙ СИСТЕМЫ

Наименование источника: 

  • Проблемы управления

Обозначение и номер тома: 

№4

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

52-59
Аннотация
Рассмотрены компьютерные методы формирования списка целей обеспечения безопасности проектируемой системы защиты автоматизированных бизнес-процессов компании, реализованных в виде информационной системы, которая представляется референсной моделью OSE\RM (Оpen System Environment\ Reference Model).

Библиографическая ссылка: 

Лукинова О.В. КОМПЬЮТЕРНАЯ ПОДДЕРЖКА ФОРМИРОВАНИЯ ЦЕЛЕЙ ПРИ ПРОЕКТИРОВАНИИ ЗАЩИТЫ ИНФОРМАЦИОННОЙ СИСТЕМЫ // Проблемы управления. 2012. №4. С. 52-59.

19244

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

РОЛЬ ЧЕЛОВЕЧЕСКОГО ФАКТОРА В ПРОЦЕССЕ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕМ

ISBN/ISSN: 

978-5-91450-115-7 (т. II)

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Труды 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

Т. 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

381-386
Аннотация
Рассмотрены два аспекта проектирования программных систем (ПС): 1) достижение состояния надежного функционирования ПС с достоверными результатами; 2) создание возможности получения достоверных оценок качества ПС в зависимости от первоначальных требований. Предложена методология когнитивно-контекстного проектирования, способная повысить эффективность деятельности человеческого фактора при восприятии реальных элементов задачи проектирования в контексте имеющихся условий, а также улучшить взаимосогласованность элементов проекта внутри жизненного цикла ПС

Библиографическая ссылка: 

Разумовский А.И. РОЛЬ ЧЕЛОВЕЧЕСКОГО ФАКТОРА В ПРОЦЕССЕ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕМ / Труды 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 381-386.

19237

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Статистические методы анализа передачи видео в пир-ту-пир сетях

Наименование конференции: 

  • 5-я Российская мультиконференция по проблемам управления: конференция «Управление в технических, эргатических, организационных и сетевых системах» (УТЭОСС-2012, Санкт-Петербург)

Наименование источника: 

  • Труды 5-й Российской мультиконференции по проблемам управления, конференция «Управление в технических, эргатических, организационных и сетевых системах» (УТЭОСС-2012, Санкт-Петербург)

Город: 

  • Санкт-Петербург

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

297-300
Аннотация
Изучается передача видео изображений в сложных динамических пир-ту-пир сетях таких, как Скайп и Интернет телевидение, которые формируются поверх Интернета из находящихся в данный момент времени в Интернете случайного числа пользователей. Пользователь становится узлом сети и выполняет роль сервера, т.е. приемника и передатчика. Основной проблемой такой передачи является обеспечение непрерывности трансляции изображения, поступающего пользователю по его требованию от узлов, обладающих частью или целым запрашиваемым видео. При этом необходим баланс между доступными ресурсами сети и качеством передачи видео пакетов. Нужно учитывать, что многие случайные характеристики, такие как временные промежутки между пакетами, распределены с тяжелыми хвостами, что проявляется в появлении нетипичных наблюдений (outliers), величины которых превышают высокие, т.е. близкие к 100%, квантили их распределений. В докладе предлагается статистический анализ передачи видео пакетов от источника к потребителю, доказывается, что время передачи пакета от узла-источника к узлу-потребителю распределено с тяжелыми хвостами, приводится формула расчета вероятности потерь пакетов в оверлейной сети, а также предлагается алгоритм выбора требуемой пропускной способности канала, соответствующей малым величинам вероятности потери пакетов.

Библиографическая ссылка: 

Маркович Н.М. Статистические методы анализа передачи видео в пир-ту-пир сетях / Труды 5-й Российской мультиконференции по проблемам управления, конференция «Управление в технических, эргатических, организационных и сетевых системах» (УТЭОСС-2012, Санкт-Петербург). СПб.: ИПУ РАН, 2012. С. 297-300.

19205

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Применение аспектно-ориентированного подхода для автоматизации крупномасштабных объектов и процессов управления

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

Т. 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

315-318

Библиографическая ссылка: 

Ковалёв С.П. Применение аспектно-ориентированного подхода для автоматизации крупномасштабных объектов и процессов управления / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 315-318.

19192

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Тезисы доклада

Название: 

Стабилизация линейной лагранжевой системы управлением с запаздыванием

ISBN/ISSN: 

ISBN 978-5-91450-106-5

Наименование конференции: 

  • 12-я Международная конференция «Устойчивость и колебания нелинейных систем управления» (STAB'2012, Москва)

Наименование источника: 

  • Тезисы докладов XII Международной конференции «Устойчивость и колебания нелинейных систем управления» (STAB'2012, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

96-98
Аннотация
Рассматривается задача асимптотической стабилизации положения равновесия линейной лагранжевой системы при наличии запаздывания в контуре управления. Найдена динамическая обратная связь, обеспечивающая решение поставленной задачи. Используется подход, основанный на преобразовании модели, исключающей запаздывание из контура управления, сохраняя в остальном уравнения движения объекта без изменений. Замена переменных является модификацией преобразования, известного как редукция Артстейна. При решении задачи стабилизации системы в новых переменных применяется энергетический метод.

Библиографическая ссылка: 

Горбунов А.В. Стабилизация линейной лагранжевой системы управлением с запаздыванием / Тезисы докладов XII Международной конференции «Устойчивость и колебания нелинейных систем управления» (STAB'2012, Москва). М.: ИПУ РАН, 2012. С. 96-98.

19189

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Автоматная модель управления параллельыми и распределенными вычислительными процессами большой размерности

ISBN/ISSN: 

ISBN 978-5-91450-123-2 (т.2)

Наименование конференции: 

  • 6-я международная конференция «Параллельные вычисления и задачи управления» (PACO'2012, Москва)

Наименование источника: 

  • Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

Обозначение и номер тома: 

Т.2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

361-374
Аннотация
Строится автоматная модель управления распределёнными и параллельными вычислительными процессами. На основе этой модели предлагается метод построения балансного уравнения вычислительных процессов, сложность которого слабо зависит от размера решаемых задач. Обсуждаются направления возможного использования для формирования единого алгоритмического пространства распределённых и параллельных вычислений.

Библиографическая ссылка: 

Затуливетер Ю.С. Автоматная модель управления параллельыми и распределенными вычислительными процессами большой размерности / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т.2. С. 361-374.

18673

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Способ устранения конфликтов доступа в системах управления, использующих оптические средства обмена данными

ISBN/ISSN: 

978-5-91450-122-5 978-5-91450-125-6

Наименование конференции: 

  • 6-ая Международная конференция «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

Наименование источника: 

  • Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

Обозначение и номер тома: 

Т. 1

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

203-209
Аннотация
Показана возможность быстрого разрешения конфликтов доступа при обмене сообщениями в цифровых управляющих системах, работающих в режиме жесткого реального времени. Использованы оптические беспроводные каналы и оптико-электронные средства разрешения конфликта доступа.

Библиографическая ссылка: 

Стецюра Г.Г. Способ устранения конфликтов доступа в системах управления, использующих оптические средства обмена данными / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 1. С. 203-209.

18672

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Способ обнаружения и устранения отказов в оптико-электронных средствах обмена данными

ISBN/ISSN: 

978-5-91450-122-5 978-5-91450-125-6

Наименование конференции: 

  • 6-ая Международная конференция «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

Наименование источника: 

  • Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

Обозначение и номер тома: 

Т. 1

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

196-202
Аннотация
Предложен способ, ускоряющий обнаружение, нейтрализацию и устранение множественных отказов в средствах обмена данными устройств распределенных управляющих систем, объединенных двойными оптическими кольцевыми каналами связи со встречным направлением передачи сигналов и двумя линиями в каждом канале

Библиографическая ссылка: 

Стецюра Г.Г. Способ обнаружения и устранения отказов в оптико-электронных средствах обмена данными / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 1. С. 196-202.

18671

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Метод диагностики технологического процесса в реальном масштабе времени

ISBN/ISSN: 

ISBN 978-5-91450-124-9 (т. 3)

Наименование конференции: 

  • 6-я международная конференция «Параллельные вычисления и задачи управления» (PACO'2012, Москва)

Наименование источника: 

  • Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

Обозначение и номер тома: 

Т. 3

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

216-223
Аннотация
Целью работы является разработка алгоритмов работы информационно-диагностического вычислительного комплекса, обеспечивающего автомати-зированное управление испытаниями и функционированием объекта за счет подключения комплекса математических и имитационных моделей реально-го времени. Допустимая задержка времени вычислений обеспечивается реа-лизацией алгоритма на многопроцессорном вычислительном устройстве.

Библиографическая ссылка: 

Гусев В.Б. Метод диагностики технологического процесса в реальном масштабе времени / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 3. С. 216-223.

18654

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Тезисы доклада

Название: 

Настройка стабилизирующих регуляторов методом функций Ляпунова

ISBN/ISSN: 

978-5-91450-106-5

Наименование конференции: 

  • 12-ая Международная конференция «Устойчивость и колебания нелинейных систем управления» (Москва, 2012)

Наименование источника: 

  • Тезисы докладов 12-й Международной конференции «Устойчивость и колебания нелинейных систем управления» (Москва, 2012)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

164-166
Аннотация
Предлагается метод выбора стабилизирующих параметров для системы управления, замкнутой блоком с насыщением. При этом к переходному процессу в замкнутой системе предъявляется ряд дополнительных требований, представляющих интерес для проектировщика.

Библиографическая ссылка: 

Каменецкий В.А. Настройка стабилизирующих регуляторов методом функций Ляпунова / Тезисы докладов 12-й Международной конференции «Устойчивость и колебания нелинейных систем управления» (Москва, 2012). М.: ИПУ РАН, 2012. С. 164-166.

Страницы