ИПУ РАН

6231

Автор(ы):

Правильщиков П. А. (ИПУ РАН, Лаборатория 18)

Автор(ов):

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

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

Доклад

Название:

Идеальный генератор тестов и решение центральной проблемы современной дискретной математики

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

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

Город:

Москва

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

ИПУ РАН

Год издания:

2008

Страницы:

Аннотация

Приводится описание идеального генератора тестов (ИГТ), являющегося теоретическим аналогом процессоров-ускорителей с механизмом гипермассового параллелизма. Доказано, что решение одной из классических NP-полных задач (SAT-проблемы) с использованием параллельно-последовательных D-алгоритмов и ИГТ имеет полиномиальную временную сложность при использо-вании полиномиального числа «процессоров». Отсюда, можно утверждать, что центральная проблема (ЦП) современной дискретной математики решена: P = NP.

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

Правильщиков П.А. Идеальный генератор тестов и решение центральной проблемы современной дискретной математики / . М.: ИПУ РАН, 2008. С. 12.

8047

Автор(ы):

Карцев Н. М. (ИПУ РАН, Лаборатория 41) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Митришкин Ю. В. (ИПУ РАН, Лаборатория 41) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов):

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

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

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

Название:

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

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

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

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

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

Город:

Москва

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

ИПУ РАН

Год издания:

2010

Страницы:

165-166

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

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

7972

Автор(ы):

Алексейчук А. Е. (ИПУ РАН, Лаборатория 20) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов):

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

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

Доклад

Название:

Форсайтинг – технология стратегического планирования и мониторинга крупномасштабных проектов социально-экономического развития

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

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

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

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

Город:

Москва

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

ИПУ РАН

Год издания:

2010

Страницы:

С. 144-148

Аннотация

Форсайтинг - это технология долгосрочного прогнозирования (предвидения), используемая при проектировании и мониторинге крупномасштабных прорывных инновационных проектов на национальном и корпоративном уровне. В основе этой технологии лежит методология организации процесса, направленная на создание общего у участников видения будущего. При проведении форсайтинга используются метод Делфи,SWOP анализ и/или анализ информационных потоков, методика фокус-групп или панелей экспертов и сценарное планирование.

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

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

3145

Автор(ы):

Дозорцев В. М. (ООО «Центр цифровых технологий»)

Назин В. А. (?)

Автор(ов):

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

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

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

Название:

Синтетический подход к обучению навыкам диагностики технических систем

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

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

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

Труды III Международной конференции по проблемам управления (Москва, 2006)

Город:

Москва

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

ИПУ РАН

Год издания:

2006

Страницы:

160-161

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

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

8791

Автор(ы):

Выхованец В. С. (ИПУ РАН, Лаборатория 31) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов):

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

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

Доклад

Название:

Методика определения эффективности параллельных вычислений

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

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

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

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

Город:

Москва

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

ИПУ РАН

Год издания:

2010

Страницы:

1057-1064

Аннотация

Рассматривается задача определения эффективности параллельных вычислений. Показывается, что параллельные вычисления являются частным случаем кратных вычислений. Описывается методика определения комплексной эффективности кратных вычислений, учитывающая как эффективность по времени, так и пространственную (аппаратурную) эффективность. Разработана методика определения эффективности параллельных вычислений, учитывающая не только временные, но и пространственные (аппаратурные) затраты.

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

Выхованец В.С. Методика определения эффективности параллельных вычислений / Труды 5-й Международной конференции «Параллельные вычисления и задачи управления» (PACO'2010, Москва). М.: ИПУ РАН, 2010. С. 1057-1064.

7394

Автор(ы):

Выхованец В. С. (ИПУ РАН, Лаборатория 31) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов):

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

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

Доклад

Название:

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

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

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

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

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

Город:

Москва

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

ИПУ РАН

Год издания:

2009

Страницы:

308-316

Аннотация

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

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

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

8531

Автор(ы):

Юдицкий С. А. (ИПУ РАН, Лаборатория 41) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов):

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

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

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

Название:

Техника графодинамического моделирования бинарных игр на основе сценарных связок

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

Управление большими системами

Город:

Москва

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

ИПУ РАН

Год издания:

2010

Страницы:

Аннотация

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

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

Юдицкий С.А. Техника графодинамического моделирования бинарных игр на основе сценарных связок // Управление большими системами. 2010. С. 16.

7967

Автор(ы):

Выхованец В. С. (ИПУ РАН, Лаборатория 31) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов):

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

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

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

Название:

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

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

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

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

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

Город:

Москва

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

ИПУ РАН

Год издания:

2010

Страницы:

43-44

Аннотация

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

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

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

9330

Автор(ы):

Ефремов А. Ю. (ИПУ РАН, Лаборатория 11)

Легович Ю. С. (ИПУ РАН, Лаборатория 29) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Максимов Д. Ю. (ИПУ РАН, Лаборатория 11)

Автор(ов):

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

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

Доклад

Название:

Параметрическое компьютерное моделирование выбросов вредных веществ на потенциально опасных объектах

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

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

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

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

Город:

Москва

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

ИПУ РАН

Год издания:

2010

Страницы:

185-188

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

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

2216

Автор(ы):

Каравай М. Ф. (ИПУ РАН, Лаборатория 27)

Пархоменко П. П. (ИПУ РАН, Лаборатория 27) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Подлазов В. С. (ИПУ РАН, Лаборатория 27)

Автор(ов):

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

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

Доклад

Название:

Простые методы построения квазиполносвязных графов (симметричных блок-схем)

Электронная публикация:

Да

ISBN/ISSN:

ISBN 978-5-91450-016-7

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

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

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

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

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

CD-ROM

Город:

Москва

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

ИПУ РАН

Год издания:

2008

Страницы:

232-249

Аннотация

Разработаны беспереборные и слабопереборные методы построения симметричных блок-схем. Найдены новые ранее неизвестные блок-схемы.

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

Каравай М.Ф., Пархоменко П.П., Подлазов В.С. Простые методы построения квазиполносвязных графов (симметричных блок-схем) / Труды 4-й Международной конференции «Параллельные вычисления и задачи управления» (PACO'2008, Москва). М.: ИПУ РАН, 2008. CD-ROM. С. 232-249.