ИПУ РАН

1257

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

Компьютерное моделирование. Обзор и подходы к созданию универсального инструментария

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

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

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

  • Труды 3-й Международной конференции "Параллельные вычисления и зада-чи управления" (PACO'2006, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2006

Страницы: 

1395-1416
Аннотация
Рассмотрены наиболее характерные свойства современных пакетов моделирования – GPSS WORD, MATLAB Simulink-Stateflow, Model Vision Studium, Dimola (Modelica) и обозначены подходы к созданию универсального инструментария для компьютерного моделирования на основе современных технологий.

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

Панкова Л.А., Пронина В.А. Компьютерное моделирование. Обзор и подходы к созданию универсального инструментария / Труды 3-й Международной конференции "Параллельные вычисления и зада-чи управления" (PACO'2006, Москва). М.: ИПУ РАН, 2006. С. 1395-1416.

5102

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

Применения байесовых сетей для оценки надежности автоматизируемых систем с особыми требованиями к обеспечению безопасности

ISBN/ISSN: 

ISSN 1 8 19-5962

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

  • Автоматизация в промышленности

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

1

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

8-12
Аннотация
Рассмотрены основные аспекты применения технологии байесовых сетей в системах с особыми требованиями к обеспечению безопасности

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

Панасенко И.М., Бабиков В.М. Применения байесовых сетей для оценки надежности автоматизируемых систем с особыми требованиями к обеспечению безопасности // Автоматизация в промышленности. 2008. 1. С. 8-12.

3763

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

Применение байесовых сетей в оценке надежности человеко-машинных систем

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

  • 18-я Международная конференция «Проблемы управления безопасностью сложных систем» (Москва, 2010)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Страницы: 

С. 45-48
Аннотация
Исследуются возможности применения байесовых сетей доверия для оценки надежности программного обеспечения.

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

Панасенко И.М., Бабиков В.М. Применение байесовых сетей в оценке надежности человеко-машинных систем / . М.: ИПУ РАН, 2007. С. С. 45-48.

1604

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

Некоторые направления в формализации рассуждений

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

  • 4-я Международная конференция по проблемам управления (МКПУ 2009, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2006

Страницы: 

С.158
Аннотация
Исследуется проблема объединенного учета «объективных» и «субъективных» показателей, которые могут радикально менять представление о значимости причинно-следственных связей в системе управления.

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

Панасенко И.М., Бабиков В.М. Некоторые направления в формализации рассуждений / . М.: ИПУ РАН, 2006. С. С.158.

5106

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

Некоторые вопросы учета человеческого фактора в оценке надежности и безопасности социотехнических систем

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

  • 18-я Международная конференция «Проблемы управления безопасностью сложных систем» (Москва, 2010)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

4
Аннотация
При оценке надежности рассмотрение социотехнических систем позволяет шире оперировать как понятием отдельной личности, так малой группой и другими видами коллективного взаимодействия

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

Панасенко И.М., Бабиков В.М. Некоторые вопросы учета человеческого фактора в оценке надежности и безопасности социотехнических систем / . М.: ИПУ РАН, 2008. С. 4.

6477

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

О сорокалетней деятельности междуведомственного Совета по управлению движением корабля и специальных объектов

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

  • Всероссийская конференция по управлению движением судов и специальных аппаратов (Москва, 2009)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2009

Страницы: 

3

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

Острецов Г.Э. О сорокалетней деятельности междуведомственного Совета по управлению движением корабля и специальных объектов / . М.: ИПУ РАН, 2009. С. 3.

5626

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Моделирование патентной активности в сфере информационных и телекоммуникационных технологий России

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

  • 8-я Международная школа-семинар «Многомерный статистический анализ и эконометрика» (Цахкадзор, Армения, 2012)

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

  • Тезисы докладов 8-й Международной школы-семинара «Многомерный статистический анализ и эконометрика» (Цахкадзор, Армения, 2012)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

79-82
Аннотация
Одним из возможных путей исследования инновационнойдеятельности в России является анализ патентной активности по приоритетным направлениям научно-технического развития. Проведенный в статье анализ позволил выделить подгруппы технологий с высокой, средней и низкой инновационно-технологической активностью, провести международные сопоставления

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

Архипова М.Ю. Моделирование патентной активности в сфере информационных и телекоммуникационных технологий России / Тезисы докладов 8-й Международной школы-семинара «Многомерный статистический анализ и эконометрика» (Цахкадзор, Армения, 2012). М.: ИПУ РАН, 2008. С. 79-82.

4883

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

О некоторых методах построения области конечных состояний релейной нестационарной системы

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

  • Устойчивость и колебания нелинейных систем управления

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

108 - 110
Аннотация
Рассмотрен объект типа КРМ, математическая модель которого описывается уравнением релейной системы, относительно которой хорошо известны критерии Я.З. Цыпкина, обеспечивающие асимптотическую устойчивость движения системы. В работе исследуется случай релейной нестационарной системы. Для такой системы разработана методика построения истинной области конечных состояний для случая n=1 решены вопросы, сформулированные в постановке задачи, для случая n=2 сформулированы соображения по возможности решения задачи для случая n больше 2.

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

Земляков С.Д., Данилова Е.А. О некоторых методах построения области конечных состояний релейной нестационарной системы / . М.: ИПУ РАН, 2008. С. 108 - 110.

5804

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

Пороговый метод повышения надежности распределенных вычислений в ненадежной компьютерной среде (Резервирование с заменой выбывающих)

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

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

307-322.
Аннотация
Исследуется программный метод повышения надежности исполнения прикладных программ в сетевых ресурсах, который состоит в одновременном выполнении многих копий программы на разных компьютерах (с идентичными начальными состояниями и входными данными). Строится и исследуется вероятностная модель надежности программного процесса по схеме структурного резервирования в предположении, что в случае отказа компьютеров в ходе исполнения производится замена выбывших из строя на работоспособные компьютеры в предположении, что число доступных работоспособных компьютеров сетевых ресурсах неограниченно. Полученные функциональные зависимости между параметрами модели отображаются в виде графиков.

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

Затуливетер Ю.С., Ходаковский И.А. Пороговый метод повышения надежности распределенных вычислений в ненадежной компьютерной среде (Резервирование с заменой выбывающих) / Труды 4-й Международной конференции «Параллельные вычисления и задачи управления» (PACO'2008, Москва). М.: ИПУ РАН, 2008. С. 307-322.

5805

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

Пороговый метод повышения надежности распределенных вычислений в ненадежной компьютерной среде (Резервирование без замены выбывающих)

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

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

322-342.
Аннотация
Исследуется программный метод повышения надежности исполнения прикладных программ в сетевых ресурсах, который состоит в одновременном выполнении многих копий программы на разных компьютерах (с идентичными начальными состояниями и входными данными). Строится и исследуется вероятностная модель надежности программного процесса по схеме структурного резервирования в предположении, что в случае отказа компьютеров в ходе исполнения замена выбывших из строя на работоспособные компьютеры не производится. Полученные функциональные зависимости между параметрами модели отображаются в виде графиков.

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

Затуливетер Ю.С., Ходаковский И.А. Пороговый метод повышения надежности распределенных вычислений в ненадежной компьютерной среде (Резервирование без замены выбывающих) / Труды 4-й Международной конференции «Параллельные вычисления и задачи управления» (PACO'2008, Москва). М.: ИПУ РАН, 2008. С. 322-342.

Pages