ИПУ РАН

6511

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Применение воксельных моделей в процессе автоматизации математического моделирования

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

  • Автоматика и телемеханика

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

№ 6

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2009

Страницы: 

167-180

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

Толок А.В. Применение воксельных моделей в процессе автоматизации математического моделирования // Автоматика и телемеханика. 2009. № 6. С. 167-180.

8730

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

Опыт автоматизации процессов проектирования, тестирования и документирования программного обеспечения технических систем реального времени

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

  • 10-я международная конференция «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM - 2010, Москва)

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

  • Тезисы докладов 10-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM - 2010, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Страницы: 

с.89-93
Аннотация
Рассматривается опыт применения семейства программных продуктов IBM Rational Rhapsody, ориентированных создание программного обеспечения для рынка систем реального времени и встраиваемых систем. Это семейство продуктов на базе унифицированного языка моделирования (спецификация UML 2.2) реализует подход проектирования на основе моделей (MDD). Исследуя эту систему на тестовых примерах, моделях секундомера, посудомоечной машины, радиоприёмника, мы получили практический опыт по генерации законченных приложений на языках C++ и Java. Весьма любопытным оказался механизм анимации моделей, когда при генерации кода можно указать, что необходимо создать анимированную версию приложения. В этом случае в поведенческий код, реализующий диаграммы конечных автоматов и диаграммы последовательностей, вставляются соответствующие инструкции. При выполнении такой программы среда разработки отражает изменение состояния приложения на соответствующей диаграмме.

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

Макаров В.В., Денисов А.М. Опыт автоматизации процессов проектирования, тестирования и документирования программного обеспечения технических систем реального времени / Тезисы докладов 10-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM - 2010, Москва). М.: ИПУ РАН, 2010. С. с.89-93.

8539

Автор(ы): 

Автор(ов): 

4

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

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

Доклад

Название: 

Исследование влияния параметров настройки распознавателя на качество распознавания речи

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Страницы: 

0000001-0000007
Аннотация
Статья посвящена исследованию влияния настройки параметров распознавателей, ориентированных на использование в автоматизированныхинформационных и сервисных системах, на качество распознавания речи. В литературепрактически отсутствуют данные о тестировании распознавателей и исследовании ихсвойств. В то же время знание свойств распознавателей и зависимостей характеристиких работы от различных параметров чрезвычайно важно для разработчика речевыхприложений. В статье приведены результаты экспериментальных исследований влиянияпараметров на характеристики работы распознавателя SpeechPearl компании Philips.

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

Абраменков А.Н., Мясоедова З.П., Петухова Н.В., Фархадов М.П. Исследование влияния параметров настройки распознавателя на качество распознавания речи / . М.: ИПУ РАН, 2010. С. 0000001-0000007.

4673

Автор(ы): 

Автор(ов): 

1

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

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

Пленарный доклад

Название: 

Организация воксельных графических структур в системах аналитического проектирования

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

  • 8-я международная конференция «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2008, Москва)

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

  • Тезисы докладов 8-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2008, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

11-15
Аннотация
Рассматриваются воксельные графические структуры, формируемые для решения задач проектирования

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

Толок А.В. Организация воксельных графических структур в системах аналитического проектирования / Тезисы докладов 8-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2008, Москва). М.: ИПУ РАН, 2008. С. 11-15.

8599

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Метод проверки динамической корректности событийной модели технологического объекта

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

  • 2-я Всероссийская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва)

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

  • Труды 2-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Страницы: 

1111-1115
Аннотация
В докладе описывается метод провер-ки взаимодействия управляющих моделей между собой. С его помощью выявляются потенци-альные конфликты взаимодействия, которые могут послужить причиной аварий. Для выстроенной модели технологического объекта возможна ее обработкаалгоритмами проверки и исследования ее свойств, которые позволяют дать ответ на вопросыправильности ее структуры – возможности возникновения в ней ошибок в момент выполнения, правильности ее поведения во всевозможных ситуациях.

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

Толмачев С.В. Метод проверки динамической корректности событийной модели технологического объекта / Труды 2-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2010, Москва). М.: ИПУ РАН, 2010. С. 1111-1115.

5002

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

207-208

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

Толмачев С.В. Метод преобразования контекстного представления моделей технологических процессов в матричное / . М.: ИПУ РАН, 2008. С. 207-208.

8838

Автор(ы): 

Автор(ов): 

3

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

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

Доклад

Название: 

Комплексный анализ проблем повышения доступности скоростного транспорта

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

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Страницы: 

155-158
Аннотация
Анализируются социально-экономические предпосылки, технологические возможности и экологические риски обеспечения массовой доступности скоростного транспорта.

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

Тимченко М.В., Клочков В.В., Попова Т.И. Комплексный анализ проблем повышения доступности скоростного транспорта / Труды 4-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2010, Москва). М.: ИПУ РАН, 2010. С. 155-158.

4670

Автор(ы): 

Автор(ов): 

1

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

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

Пленарный доклад

Название: 

Логический подход к интеллектному управлению

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

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

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

  • Труды 3-й Всероссийской молодежной научной конференции по проблемам управления (ВМКПУ-2008, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

без публикации

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

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

4612

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

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

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

  • Управление большими системами: сборник трудов

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

Выпуск 22

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

223-232
Аннотация
По результатам анализа статистики эксплуатационных замечаний к работе бортовой системы управления (типа СОБИС) ракеты-носителя (РН) «Союз-У» проведено атрибутирование стационарного потока аномалий в действии емкостных уровнемеров, входящих в состав СОБИС. Построена модель возможных нештатных ситуаций при выведении РН, порождаемых этими аномалиями, и проведено оценивание их влияния на надежность выведения РН «Союз-У».

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

Андриенко А.Я., Тропова Е.И. Модели нештатных ситуаций в работе бортовых систем управления: частный опыт использования моделей при оценивании надежности выведения на орбиту // Управление большими системами. 2008. Выпуск 22. С. 223-232.

1294

Автор(ы): 

Автор(ов): 

4

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

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

Доклад

Название: 

Некоторые результаты применения теории адаптивного и координатно-параметрического управления к объектам авиационного и космического назначения

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2006

Страницы: 

884-891
Аннотация
Рассматриваются методы адаптивного и координатно-параметрического управления, которые, с учётом компьютерной реализации, позволяют решить ряд актуальных проблем проектирования современных и перспективных объектов авиационного и космического назначения, формирования систем управления подобными объектами.

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

Глумов В.М., Земляков С.Д., Рутковский В.Ю., Суханов В.М. Некоторые результаты применения теории адаптивного и координатно-параметрического управления к объектам авиационного и космического назначения / . М.: ИПУ РАН, 2006. С. 884-891.

Pages