Москва

4072

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

Язык спецификации взаимодействующих процессов MODEL-100

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

  • Программирование

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

№ 1

Город: 

  • Москва

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

  • Наука

Год издания: 

2007

Страницы: 

1-18
Аннотация
Описывается идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов. Правила взаимо-действия процессов задаются предложениями вида "если … то …" (хорновскими дизъюнктами). Структура взаимодействий представляется графом, который описывается рациональным термом. Исполнение одного шага программы сводится к одновременному применению всех правил ко всем вершинам, к которым правило применимо (ко всем рациональным подтермам, с которыми хорновский дизъюнкт унифицируем).

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

Бабичев А.В., Лебедев В.Г. Язык спецификации взаимодействующих процессов MODEL-100 // Программирование. 2007. № 1. С. 1-18.

3546

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

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

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

  • Международная научно-практическая конференция «Управление инновациями-2007» (Москва)

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

  • Труды Международной научно-практической конференции «Управление инновациями–2007» (Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Страницы: 

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

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

Новиков Д.А. Процедуры распределения затрат в командах / Труды Международной научно-практической конференции «Управление инновациями–2007» (Москва). М.: ИПУ РАН, 2007. С. 153-160.

7189

Автор(ы): 

Автор(ов): 

2

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

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

Книга (брошюра, монография, стандарт)

Название: 

Теория принятия решений и экспертные системы

Город: 

  • Москва

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

  • МАИ

Год издания: 

2009

Объём, стр.: 

44
Аннотация
Учебное пособие состоит из двух частей. Первая часть содержит описание основных методов формализованного принятия решений. Во второй части изложены основные сведения о назначении, структуре и принципах работы экспертных систем.

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

Ильин В.Н., Сонин М.С. Теория принятия решений и экспертные системы. М.: МАИ, 2009. – 44 с.

9362

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

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

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

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

Город: 

  • Москва

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

  • -

Год издания: 

2010

Страницы: 

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

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

Дорофеюк Ю.А. Структурная идентификация сложных объектов управления на базе методов кусочной аппроксимации // Управление большими системами. 2010. С. 10.

1626

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Уточнение понятия интеллектуального средства измерения

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

  • 7-я Международная конференция «Идентификация систем и задачи управления» (SICPRO'2008, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2005

Страницы: 

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

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

Сапронов П.В. Уточнение понятия интеллектуального средства измерения / . М.: ИПУ РАН, 2005. С. 1977-1982.

1632

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Эволюция определения интеллектуальных средств измерения

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

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

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

№4

Город: 

  • Москва

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

  • ООО Издательский дом "ИнфоАвтоматизация"

Год издания: 

2005

Страницы: 

67-68
Аннотация
Рассмотрены этапы развития подходов к определению интеллектуального средства измерения (ИнСИ), уточнено понятие ИнСИ с позиций определения интеллекта, определяются отличительные признаки ИнСИ. Охарактеризованы методы повышения интеллектуальных возможностей СИ.

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

Сапронов П.В. Эволюция определения интеллектуальных средств измерения // Автоматизация в промышленности. 2005. №4. С. 67-68.

6273

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Низковольтные дифференциальные усилители в логических элементах повышенной разрядности

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

Да

ISBN/ISSN: 

978-5-91450-022-8

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

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2008

Страницы: 

791-796
Аннотация
Во многих цифровых элементах логическую функцию вычисляет набор последовательно/параллельно включенных пассивных МОП-ключей. Амплитуда сигнала катастрофически быстро уменьшается по мере прохождения через цепочку логических МОП-ключей. Обычные формирователи/усилители логического сигнала не могут обработать ослабленный цифровой сигнал на выходе цепочки из 4-х логических МОП-ключей без потери быстродействия. Дополнительный дифференциальный каскад позволяет в несколько раз увеличить допустимое количество логических МОП-ключей практически без снижения быстродействия логического элемента.

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

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

8895

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

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

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

Да

ISBN/ISSN: 

1819-2467

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

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

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

31

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Страницы: 

6-34
Аннотация
Концептуальная структуризация относится к ранним этапам формализации знаний разнородной группы экспертов о развитии слабоструктурированных (проблемных) ситуаций на основе когнитивных карт. Роль этого этапа, как правило недооценива-ется, а к формализации на основе когнитивных карт (и других моделей) относятся как формальной процедуре выбора факто-ров и установления связей. Опыт решения практических задач по анализу слабоструктурированных ситуаций показывает успешность применение концептуальных схем (SWOT, PEST и ряда уникальных схем) на этапе структуризации знаний. Приме-нение SWOT-схемы с одной стороны позволяет выделить основ-ные предметные области и их укрупненные взаимосвязи, значи-мые при анализе развития исследуемой ситуации, а с другой осложняется из-за ряда трудностей и недостатков. В статье предлагается краткий обзор методов построения когнитивных карт, общая схема процесса формализации с выделением значи-мых этапов и метод структуризации знаний о развитии СС на основе SWOT-схемы.

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

Авдеева З.К., Коврига С.В. Эвристический метод концептуальной структуризации знаний при формализации слабоструктурированных ситуаций на основе когнитивных карт // Управление большими системами. 2010. 31. С. 6-34.

4970

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

Свойства уравнений обобщенного асинхронного электродвигателя с короткозамкнутым ротором

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

  • Электроника и электрооборудование транспорта

Город: 

  • Москва

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

  • -

Год издания: 

2008

Страницы: 

5
Аннотация
Рассмотрены и оценены свойства уравнений обобщенного асинхронного электродвигателя с короткозамкнутым ротром.

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

Изосимов Д.Б., Аболемов Е.Н. Свойства уравнений обобщенного асинхронного электродвигателя с короткозамкнутым ротором // Электроника и электрооборудование транспорта. 2008. С. 5.

2720

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Использование регулярных выражений над графами для описания допустимых структур данных

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

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Страницы: 

209-218
Аннотация
Рассматривается задача спецификации структуры взаимодействий между объектами. Множество объектов и связей между ними представляется в виде размеченного ориентированного графа, а задача спецификации состоит в описании всех "хороших" графов: графов, которые задают допустимые структуры взаимодействия. По аналогии с классическим понятием регулярного выражения, определено понятие регулярного выражения над графами. При этом, если "кирпичиками" в обычных регулярных выражениях является строка символов, то в регулярных выражениях над графами роль "кирпичиков" выполняют графы

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

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

Pages