Исследование и разработка методов и программных систем поддержки принятия оперативных решений в реальном масштабе времени: На примере управления процессами уничтожения химического оружия тема диссертации и автореферата по ВАК РФ 05.13.11, доктор технических наук Лебедев, Валентин Григорьевич

• Лебедев, Валентин Григорьевич
• доктор технических наук
• 2005

Оглавление диссертации доктор технических наук Лебедев, Валентин Григорьевич

ВВЕДЕНИЕ.

ГЛАВА 1. СРЕДСТВА И МЕТОДЫ РАЗРАБОТКИ СИСТЕМ ф ПОДДЕРЖКИ ПРИНЯТИЯ ОПЕРАТИВНЫХ РЕШЕНИЙ.

1.1. Основные области применения систем поддержки принятия оперативных решений.

1.2. Особенности и направления исследований в области создания систем поддержки принятия оперативных решений.

1.3. Исследование методов обеспечения работы систем поддержки принятия оперативных решений в режиме реального времени.

1.3.1. Параллелизм на уровне задач, подзадач и программных ф модулей.

1.3.2. Параллельное выполнение циклических конструкций.

1.3.3. Механизмы распараллеливания на уровне правил и внутри правил

1.3.4. Использование синхронизирующих примитивов.•.

1.3.5. Спецификация взаимодействующих процессов.

1.3.6. Дисциплина обработки правил.

1.3.7. Хранение информации.

1.4. Интеллектуализация человеко-машинного взаимодействия. щ 1.5. Подготовка информации для системы поддержки принятия оперативных решений в подсистеме настройки.

ВЫВОДЫ.

ГЛАВА 2. ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ ОПЕРАТИВНЫХ РЕШЕНИЙ.

2.1. Методы обработки информации в системе поддержки принятия оперативных решений. 2.2. Структура информационного обмена в системе поддержки ® принятия оперативных решений.

2.3. Информационная модель объекта управления.

2.4. Информационная модель внешней среды.

2.5. Задачи системы поддержки принятия оперативных решений в системе обеспечения безопасного функционирования объектов хранения и уничтожения химического оружия.

2.6. Иллюстрация информационной модели технологического процесса гидролиза люизита.

ВЫВОДЫ.

ГЛАВА 3. ПРИНЦИПЫ ПОСТРОЕНИЯ ПРОГРАММНЫХ СРЕДСТВ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ ОПЕРАТИВНЫХ РЕШЕНИЙ И КОМПЬЮТЕРНОГО ТРЕНАЖЁРНОГО КОМПЛЕКСА. ф 3.1. Этапы проектирования системы поддержки принятия оперативных решений.

3.2. Структура функциональной части системы поддержки принятия оперативных решений.

3.2.1. Блок обработки и анализа данных.

3.2.2. Блок генерации планов действий оператора.

3.2.3. Блок оценки и выбора оптимального плана.

3.2.4. Блок моделирования.

3.2.5. Блок взаимодействия с источниками знаний.

3.3. Человеко-машинное взаимодействие в системе поддержки принятия оперативных решений.

3.3.1. Модуль презентации.

3.3.2. Монитор ошибок.

3.3.3. Модуль адаптивной поддержки.

3.4. Компьютерный тренажёрный комплекс на основе системы поддержки принятия оперативных решений.

3.4.1. Структура компьютерного тренажерного комплекса.

3.4.2. Функциональная структура программного обеспечения рабочих мест.

3.4.3. Информационная модель процесса обучения.

ВЫВОДЫ.

ГЛАВА 4. СРЕДСТВА И МЕТОДЫ АВТОМАТИЧЕСКОГО РАСПАРАЛЛЕЛИВАНИЯ И ВЕКТОРИЗАЦИИ ВЫЧИСЛЕНИЙ ДЛЯ ОБЕСПЕЧЕНИЯ РЕЖИМА РЕАЛЬНОГО ВРЕМЕНИ.

4.1. Автоматическое распараллеливание языковых конструкций.

4.1.1. Универсальный метод распараллеливания циклических конструкций.

4.1.1.1. Определения и обозначения.

4.1.1.2. Обоснование метода распараллеливания.

4.1.1.3. Декомпозиция циклов.

4.1.2. Метод линейного преобразования.

4.1.3. Распараллеливание нетесногнездовых и не вложенных циклов

4.1.4. Распараллеливание циклов с переменными границами.

4.2. Векторизация повторяющихся вычислений.

4.2.1. Векторизация вычислений в случае матрицы линейного преобразования в каноническом виде.

4.2.2. Векторизация в случае матрицы линейного преобразования не в каноническом виде.

4.2.3. Векторизация в случае произвольных шагов изменения параметров цикла.

ВЫВОДЫ.

ГЛАВА 5. РЕАЛИЗАЦИЯ РЕЗУЛЬТАТОВ ИССЛЕДОВАНИЙ.

5.1. Система производственного экологического мониторинга объекта хранения и уничтожения химического оружия.

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

5.3. Система-ассистент экипажа перспективного летательного аппарата.

5.4. Блок автоматического распараллеливания и векторизации.

ВЫВОДЫ.

Введение диссертации (часть автореферата) на тему «Исследование и разработка методов и программных систем поддержки принятия оперативных решений в реальном масштабе времени: На примере управления процессами уничтожения химического оружия»

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

Перед СППОР ставятся очень широкие задачи, которые не всегда могут быть формализованы и решены традиционными математическими методами:

• анализ больших объемов неполной и противоречивой информации;

• генерация и оценка вариантов решений по управлению объектом в режиме реального времени;

• выбор наилучших путей, ведущих к достижению необходимого результата;

• предупреждение оператора в случае неудовлетворительного состояния объекта управления (технологического процесса) и др.

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

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

Важным аспектом обеспечения быстрого и точного взаимодействия оператора с СГГПОР является его уровень понимания принципов, заложенных в систему, возможностей и методов работы СППОР, знаний и умения использовать предлагаемые интерфейсы. Поэтому для обеспечения полноценного использования СППОР в режиме реального времени структура программного обеспечения СППОР должна быть разработана с учётом необходимости обучения операторов на компьютерном тренажёрном комплексе (КТК). В этом случае из разработанных модулей программного обеспечения можно сконфигурировать как СППОР для работы с реальным объектом, так и КТК для компьютерного тренинга операторов.

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

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

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

Научная новизна. В результате проведённых исследований получены следующие научные результаты:

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

- разработана и исследована архитектура программного обеспечения СППОР и показана её специфика;

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

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

- разработана и исследована методика построения компьютерного тренажёрного комплекса на основе программного обеспечения СППОР, содержащего стандартные и уникальные (создаваемые в каждом проекте) компоненты;

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

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

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

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

- система производственного экологического мониторинга объекта хранения и уничтожения химического оружия;

- компьютерный тренажёрный комплекс для обучения операторов автоматизированной системы управления технологическим процессом (АСУ ТП) объекта хранения и уничтожения химического оружия;

- прототип системы поддержки принятия решений экипажем перспективного летательного аппарата (ЛА) для решения задач группового пилотирования;

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

Диссертационная работа выполнена в рамках плановой тематики Института проблем управления им. В.А. Трапезникова РАН.

Апробация работы. Основные положения диссертационной работы докладывались и представлялись на следующих конференциях, форумах, семинарах, совещаниях: третья международная промышленная ярмарка MIIF-2004 (Москва, 2004); четвёртая международная конференция и выставка CAD/CAM/PDM-2004 (Москва, 2004); вторая международная конференция «Параллельные вычисления и задачи управления» (Москва, 2004); третья научно-техническая конференция «Перспективы использования новых технологий и научно-технических решений в изделиях ракетно-космической техники разработки ГКНПЦ им. М.В. Хруничева» (Москва, 2003); четвёртый международный форум «Высокие технологии XXI века» (Москва, 2003); вторая международная конференция по проблемам управления (Москва, 2003); двадцать шестой международный семинар-презентация по ПТК, промышленным контроллерам, техническим и программным средствам АСУТП, SCADA-системам, приборам и средствам автоматизации (Москва, 2002); научно-техническое совещание «Компьютерное моделирование и оптимизация технологических процессов электротермических производств» (Санкт-Петербург, 2002); всероссийская научно-практическая конференция «Ресурсосберегающие проекты и технологии» (Москва, 2001); международная конференция «Параллельные вычисления и задачи управления» (Москва, 2001); международная конференция и выставка CAD/CAM/PDM-2001 (Москва, 2001); девятая международная конференция «Проблемы управления безопасностью сложных систем» (Москва, 2001); научно-техническое совещание «Компьютерное моделирование при оптимизации технологических процессов электротермических производств» (Санкт-Петербург, 2000); восьмая международная конференция «Проблемы управления безопасностью сложных систем» (Москва, 2000); международная конференция «Идентификация систем и задачи управления» (SICPRO) (Москва, 2000); международная научно-практическая конференция "Теория активных систем" (Москва, 1999); юбилейная международная конференция по проблемам управления (Москва, 1999); межведомственный научно-практический семинар «Проблемы и технологии создания и использования космических систем и комплексов на базе малых КА и орбитальных станций» (Москва, 1998); научно-техническое совещание «Компьютерные методы в управлении электротермическими режимами рудотермических печей» (Санкт-Петербург, 1998); межведомственный научно-практический семинар ГКНПЦ им. М.В. Хруничева «Новые задачи, пути совершенствования перспективных средств РКТ и технологии их создания» (Москва, 1997); научно-практическая конференция с международным участием «Проблемы информатики» (Самара, 1991); научно-практическая школа-семинар «Программное обеспечение ЭВМ: индустриальная технология, интеллектуализация разработки и применения» (Ростов-на-Дону, 1988); третье всесоюзное совещание «Высокопроизводительные вычислительные системы» (Таллин, 1988); восьмой всесоюзный семинар «Параллельное программирование и высокопроизводительные системы» (Киев, 1988); шестая всесоюзная школа «Многопроцессорные вычислительные системы» (Москва, 1985); пятая всесоюзная школа-семинар «Параллельное программирование и высокопроизводительные системы» (Киев, 1982); всесоюзное совещание «Высокопроизводительные вычислительные системы» (Тбилиси, 1981); всесоюзное научно-техническое совещание «Проблемы создания и использования высокопроизводительных машин» (Кишинёв, 1979).

Публикации. Основные результаты научных исследований по теме диссертации содержатся в 66 публикациях, в их числе 19 публикаций в ведущих научных журналах и изданиях перечня Высшей аттестационной комиссии.

Структура и объём диссертации. Работа состоит из введения, пяти глав, заключения, содержит 229 страниц текста, 30 рис., 2 табл., список литературы из 236 названий.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Лебедев, Валентин Григорьевич

ВЫВОДЫ

1. Созданный и успешно функционирующий в течение ряда лет информационно-аналитический центр системы производственного экологического мониторинга объекта хранения и уничтожения химического оружия (п. Горный Саратовской области) представляет собой систему оперативного прогнозирования, которая не только выявляет превышение пороговых значений концентраций отравляющих и загрязняющих веществ с помощью автоматических датчиков и результатов анализов, но и отслеживает тенденции накопления отравляющих и загрязняющих веществ для своевременного вмешательства операторов в ход технологического процесса с целью предотвращения экологически опасных ситуаций.

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

2. Разработана и исследована архитектура программного обеспечения СППОР и показана её специфика.

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

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

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

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

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

8. Разработана и исследована методика построения компьютерного тренажёрного комплекса на основе программного обеспечения СППОР, содержащего стандартные и уникальные (создаваемые в каждом проекте) компоненты.

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

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

Список литературы диссертационного исследования доктор технических наук Лебедев, Валентин Григорьевич, 2005 год

1. Администрирование Microsoft SQL Server 2000. Учебный курс MCSA/MCSE, MCDBA - Пер. с англ. М.: Издательско-торговый дом «Русская Редакция», 2002.

2. Александров В.Н., Емельянов В.И. Отравляющие вещества. М., Военное издательство, 1990, 272 стр.

3. Аристова Н.И. Проектирование средств пользовательского интерфейса и метод решения задачи автоматизированной генерации сценариев диалога. Приборы и системы управления. 1998, № 7, с. 10-12.

4. Бабичев А.В., Вальковский В.А., Лебедев В.Г., Трахтенгерц Э.А., Шурайц Ю.М. Монография "Параллельная обработка информации", т. 1, Киев, Наукова Думка, 1985, 280 стр.

5. Бабичев А.В., Иванов И.А., Королёва Т.М., Лебедев В.Г. Векторизатор циклов языка Фортран-77 для МВС ПС-3000. Тезисы докладов 8 Всесоюзного семинара "Параллельное программирование и высокопроизводительные структуры", Киев, 1988, с. 127-128.

6. Бабичев А.В., Кулида Е.Л., Лебедев В.Г., Пронина В.А., Рубашкин В.А., Шаповалов А.Б. Система программирования с языка Фортран-77ВП для

7. МВК ПС-3000. Структурная организация и программное обеспечение многопроцессорных вычислительных комплексов с перестраиваемой структурой ПС-3000, сборник трудов, М., Институт проблем управления РАН, 1987, с. 31-40.

8. Бабичев А.В., Кулида Е.Л., Лебедев В.Г., Пронина В.А., Шаповалов А.Б. Система программирования Фортран-77ВП для МВК ПС-3000. Тезисы докладов 6 Всесоюзной школы "Многопроцессорные вычислительные системы", М., Институт проблем управления, 1985, с. 8-9.

9. Бабичев А.В., Лебедев В.Г. Распараллеливание программных циклов. -Программирование, 1983, № 5, с. 52-63.

10. Бабичев А.В., Лебедев В.Г. Язык спецификации взаимодействующих процессов Model-100. Труды второй международной конференции «Параллельные вычисления и задачи управления», М., 2004, с. 837-849.

11. Бабичев А.В., Лебедев В.Г., Пронина В.А., Трахтенгерц Э.А. Построение транслятора для МВС, ч.1.- Кибернетика, 1984, № 6, с. 18-22.

12. Бабичев А.В., Лебедев В.Г., Пронина В.А., Трахтенгерц Э.А. Построение транслятора для МВС, ч.2. Кибернетика, 1985, № 1, с. 38-44.

13. Барский А.Б. Нейронные сети: распознавание, управление, принятие решений. М., Финансы и статистика, 2004.

14. Баханов Л.Е. Функциональный облик и особенности бортовой оперативно-советующей системы «Навигация». Сборник докладов 5

15. Всероссийской научно-технической конференции «Проблемы совершенствования робототехнических и интеллектуальных систем летательных аппаратов». М., МАИ, 1999.

16. Бодров В. А., Орлов В .Я. Психология и надёжность: Человек в системе управления техникой. М., ИП РАН, 1998.

17. Буч Г. Объектно-ориентированное проектирование с примерами применения. Пер. с англ. М., Конкорд, 1992, 519 с.

18. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. М., Физматлит, 2004.

19. Вагин В.Н., Еремеев А.П. Некоторые базовые принципы построения интеллектуальных систем поддержки принятия решений реального времени. Известия академии наук. Теория и системы управления, 2001, №6, с. 114-123.

20. Вальковский В.А. Параллельное выполнение циклов. Метод параллелепипедов. Кибернетика, 1982, № 2, с. 51-62.

21. Вальковский В.А. Параллельное выполнение циклов. Метод пирамид. -Кибернетика, 1983, № 2, с. 34-38.

22. Вальковский В.А. Распараллеливание по циклам на небольшое число ветвей. Вопросы теории и построения вычислительных систем. - В кн.: Вычислительные системы, № 70. Новосибирск: Изд-во ИМ СО АН СССР, 1977, с. 90-97.

23. Вальковский В.А. Распараллеливание циклов общего вида методом пирамид. Кибернетика, 1983, № 3, с. 41-49.

24. Вальковский В.А., Кондрацкий B.J1. Максимальное распараллеливание простых циклов. В кн.: Параллельные и вычислительные программные системы. Новосибирск, ВЦ СО АН СССР, 1981, с. 29-36.

25. Вальковский В.А., Лебедев В.Г. Векторизаторы циклов. Автоматика и телемеханика, 1989, № 8, с.3-23.

26. Вальковский В.А., Лебедев В.Г., Шурайц Ю.М. О распараллеливании циклов с переменными границами. В сб.: Многопроцессорные вычислительные системы и их математическое обеспечение. Новосибирск: Вычислительный центр СО АН СССР, 1982, с. 24-27.

27. Венцель Е.С. Исследование операций. Задачи, принципы, методология. -М., Наука, 1988.

28. Водяхо А.И., Горнец Н.Н., Пузанков Д.В. Высокопроизводительные системы обработки данных. М., «Высшая школа», 1997.

29. Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. «БХВ-Петербург», Санкт-Петербург, 2002.

30. Волин С. Тактическая авиация: долгий путь к пятому поколению. М., Вестник авиации и космонавтики, № 6, 2002.

31. Гаврилов А.Ф., Строканов В.Н., Уткин В.Ю., Бекяшева Н.В. Система информационной поддержки командира дизельной ПЛ. Системы управления и обработки информации: Научно-технический сборник. ФНПЦ НПО «Аврора», СПб., выпуск 1, 2000.

32. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. С.-Петербург, ИД «Питер», 2000.

33. Галатенко В., Таранов А. Компонентная объектная модель JavaBeans. -Системы управления базами данных, 1997, № 4, с.42-60.

34. Городецкий В.И. Многоагентные системы: современное состояние исследований и перспективы применения. Новости искусственного интеллекта, 1996, № 1, с. 44-59.

35. Горский В.Г. Теоретические основы инженерного оформления технологических процессов органического синтеза. М., издательство ВАХЗ, 1974, 458 стр.

36. Дал У., Дейкстра Э., Хоор К. Структурное программирование. М., Мир, 1975.

37. Дейкстра Э. Дисциплина программирования. Мир, М., 1978.

38. Джанджгава Г.И., Рогалёв А.П. Интеллектуальные интегрированные комплексы бортового оборудования маневренных летательных аппаратов. Приборы и системы. Управление, контроль, диагностика, 2000, № 8.

39. Джексон П. Введение в экспертные системы. М., ИД «Вильяме», 2001.

40. Джонс М.Т. Программирование искусственного интеллекта в приложениях. ДМК Пресс, М., 2004.

41. Дозорцев В.М. Оператор в компьютеризированной системе управления: к проблеме построения человеко-машинного интерфейса. Приборы и системы управления, 1998, № 3, с. 39-47.

42. Дозорцев В.М., Шестаков Н.В. Компьютерные тренажёры для нефтехимии и нефтепереработки: опыт внедрения на российском рынке. -Приборы и системы управления, 1998, № 1, с. 27-32.

43. Ефремов А.Ю., Лебедев В.Г., Легович Ю.С., Нехамин С.М., Пронина В.А. Проектирование системы автоматизированного управления выплавкой кристаллического кремния. Автоматизация проектирования, 2000, № 1-2, с. 33-39.

44. Жарко Е.Ф., Ильюков В.Д., Чернышев К.Р. Молчанов С.А. Математическое обеспечение диагностических задач системы информационной поддержки операторов АЭС. -http://www.sbcinfo.ru/articles/6th 1998conf/5 12.htm

45. Железняков А. Системы отображения информации комплекса «Алмаз». -Энциклопедия «Космонавтика». http://www.cosmoworld.ru/spacee4nclopedia/publications/inde

46. Жернаков С.В. Применение экспертных систем с нейросетевыми базами знаний к диагностике и контролю устройств авиационных двигателей. -Информационные технологии, 2000, № 12.

47. Заде Л.А. Понятие лингвистической переменной и его применение к принятию приближённых решений. М., Мир, 1976.

48. Захаров В.Н. Интеллектуальные системы управления: основные понятия и определения. Известия академии наук. Теория и системы управления, 1997, №3, с. 138-145.

49. Игнатущенко В.В., Подшивалова И.Ю. Динамическое управление надежным выполнением параллельных вычислительных процессов для систем реального времени Автоматика и телемеханика, 1999, № 6, с. 142-157.

50. Инструментальная система для управления и диагностики технологических процессов АСУ ТП «Оператор». http://www.syrus.ru

51. Ириков В.И., Тренёв В.Н. Распределённые системы принятия решений. -М., Наука, 1999.

52. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о времени и пространстве в интеллектуальных системах. М.: Наука, 1989.

53. Карло Пешио. Никлаус Вирт о культуре разработки ПО. Открытые системы, 1998, № 1, с. 41-44.

54. Кини Р.Л., Райфа X. Принятие решений при многих критериях: предпочтения и замещения. Радио и связь, М., 1981.

55. Кирпичникова Л.Г., Матвеенко Л.С. Бортовые информационные системы обеспечения безопасности пилотируемых летательных аппаратов. -Приборы и системы. Управление, контроль, диагностика, № 8, 2000.

56. Кисель Е.Б. Сравнительный анализ инструментальных средств для разработки систем управления реального времени Материалы семинара "Экспертные системы реального времени", М. ЦРДЗ, 1995.

57. Клещев Н.Т., Романов А.А. Практическое руководство по организации и проектированию информационных систем. М., «Научтехлитиздат», 2001.

58. Конвенция о запрещении разработки, производства, накопления и применения химического оружия и о его уничтожении. http://www.imemo-himinfo.ru/chem-disarm/docs/convention/

59. Котов В.Е. Введение в теорию схем программ. Новосибирск, «Наука», 1978.

60. Кофман А., Анри-Лабордер А. Методы и модели исследования операций. М.: Мир, 1977.

61. Кочуров А.В., Кустова Э.Л. Автоматизированное рабочее место по прогнозированию чрезвычайных ситуаций Безопасность жизнедеятельности, 1993, сент., с. 8-11.

62. Краснова Т.Н., Краснов А.Е., Крюкова И.П., Лебедев В.Г., Панкова Л.А. Основы формализации синдромной диагностики для автоматизированной системы ведения пациентов. Медицинская техника, 1998, № 3, с. 20-26.

63. Краснова Т.Н., Крюкова И.П., Краснов А.Е., Лебедев В.Г., Панкова Л.А. Система автоматизированного ведения пациентов на основе синдромной диагностики. Приборы и системы управления, 1998, № 3, с. 18-20.

64. Крыжановский Г.А., Федоров С.М. Проблемы автоматизации и интеллектуализации процессов управления полетом. Проблемы безопасности полетов, 1993, № 8, с. 32-37.

65. Кузнецов Ю.Н., Кузубов В.Ш., Волощенко А.Б. Математическое программирование. М., Высшая школа, 1976.

66. Кулида Е.Л., Крюкова И.П., Лебедев В.Г. Инструментальная среда для проектирования систем параллельной обработки информации. Доклады международной конференции "Параллельные вычисления и задачи управления" (РАСС>"2001), М„ 2001, с. 155-160.

67. Кулида Е.Л., Крюкова И.П., Лебедев В.Г. Повышение эффективности запросов к базе данных в системе экологического мониторинга. -Автоматизация в промышленности, 2005, № 2, с. 18-20.

68. Кулида Е.Л., Лебедев В.Г. Метод построения системы синтеза принципиальных электрических схем на основе экспертных знаний. -Тезисы докладов Научно-практической конференции с международным участием "Проблемы информатики", Самара, 1991, с. 69-70.

69. Кулида Е.Л., Лебедев В.Г. Организация информационного обмена в тренажёре для объекта повышенной опасности. Датчики и системы, 2004, № 10, с. 5-7.

70. Кулида Е.Л., Лебедев В.Г. Особенности разработки базы знаний в интегрированной инструментальной среде G2. Приборы и системы. Управление, контроль, диагностика. 2005, № 3, с. 20-25.

71. Кулида Е.Л., Лебедев В.Г. Математические модели тренажёрного комплекса для обучения операторов объекта уничтожения химического оружия. Проблемы управления, 2005, № 6.

72. Кулида Е.Л., Лебедев В.Г., Крюкова И.П. Создание базы данных системы производственного экологического мониторинга объекта уничтожения химического оружия. Приборы и системы. Управление, контроль, диагностика. 2003, № 8, с. 49-53.

73. Кулида Е.Л., Лебедев В.Г., Чесноков A.M. Проектирование интеллектуальных систем поддержки операторов сложных объектов. -Автоматизация проектирования, 1999, № 1, с. 47-51.

74. Ларичев О.И., Мошкович Е.М. Качественные методы принятия решений. -М., Наука, 1996.

75. Лебедев В.Г. Векторизация параллельных вычислений. Труды Института проблем управления РАН, т. XIV, М., 2001, с. 38-42.

76. Лебедев В.Г. Инструментальные средства для создания систем поддержки операторов сложных аппаратно-программных комплексов. -Автоматизация в промышленности, 2004, № 8, с. 16-18.

77. Лебедев В.Г. Система-ассистент экипажа перспективного летательного аппарата. Труды Института проблем управления РАН, т. XXVI, с. 39-46.

78. Лебедев В.Г. Принципы построения интеллектуального интерфейса пользователя для систем поддержки принятия решений оператором. -Проблемы управления, № 3, 2004, с. 43-47.

79. Лебедев В.Г. Программные средства интеллектуальной поддержки решения задач комплекса бортового оборудования. Материалы межведомственного научно-практического семинара ГКНПЦ им. М.В. Хруничева, М., 1997, с. 97.

80. Лебедев В.Г. Система поддержки принятия решения оператором сложного аппаратно-программного комплекса. Датчики и системы, 2004, № 8 (63), с. 53-55.

81. Лебедев В.Г. Системы поддержки принятия решений оператором: особенности и области применения. Автоматизация в промышленности, 2005, №7, с. 41-44.

82. Лебедев В.Г., Кулида Е.Л., Крюкова И.П. Программный комплекс моделирования и системного анализа параллельной обработки информации. Сборник трудов Института проблем управления, т. XI, М., 2000, с. 66-72.

83. Лебедев В.Г., Кулида Е.Л., Чесноков A.M. Разработка инструментальных средств для интеллектуальных интерфейсов пользователей. Тезисыдокладов восьмой международной конференции "Проблемы управления безопасностью сложных систем". М., 2000.

84. Лебедев В.Г., Митяева С.А. Реализация алгоритма распараллеливания последовательной программы. Вопросы кибернетики, вып.43, М., АН СССР, Научный совет по комплексной проблеме "Кибернетика", 1978, с. 98-107.

85. Лебедев В.Г., Нехамин С.М., Панкова Л.А. А.И. Идентификация параметров схемной модели руднотермической печи. Сборник докладов международной конференции "Идентификация систем и задачи управления" (SICPRO '2000)", М., 2000, с. 916-922.

86. Лебедев В.Г., Петрова Е.Ю. Представление программ в виде линейных структур для распараллеливания. В сб.: Организация вычислений на многопроцессорных ЭВМ, вып. 26, М.: Институт проблем управления, 1981, с. 29-36.

87. Лебедев В.Г., Чесноков A.M. Основы построения интеллектуальных интерфейсов пользователя с помощью инструментальных сред нового поколения. Материалы международной конференции и выставки CAD/CAM/PDM-2001, М, 2001, с. 22-24.

88. Лебедев В.Г., Чесноков A.M. Основы построения интеллектуальных интерфейсов пользователя с помощью инструментальных сред нового поколения. Тезисы докладов Международной конференции и выставки CAD/CAM/PDM-2001, М., 2001, с. 10-11.

89. Лебедев В.Г., Чесноков A.M. Система-ассистент оператора для управления сложными комплексами. Тезисы докладов девятой международной конференции "Проблемы управления безопасностью сложных систем", М., 2001, с. 513-516.

90. Лебедев В.Г., Шурайц Ю.М. Распараллеливание циклов с произвольным шагом. Автоматика и телемеханика, 1979, № 9, с. 158-167.

91. Левицкий С.В. Влияние основных лётно-технических характеристик самолёта-истребителя на эффективность применения управляемых ракет. Динамика полёта летательных аппаратов. Научно-методические материалы. 4.1, М., ВВИА им. Н.Е. Жуковского, 1996.

92. Левицкий С.В. Влияние основных лётно-технических характеристик самолёта-истребителя на эффективность оборонительного маневрирования. Динамика полёта летательных аппаратов. Научно-методические материалы. 4.1, М., ВВИА им. Н.Е. Жуковского, 1996.

93. Легович Ю.С., Лебедев В.Г., Нехамин С.М., Пронина В.А. Система автоматизированного управления промышленной руднотермической электропечи для выплавки кремния. Электрометаллургия, 1998, № 3, с. 39-47.

94. Магид С.И., Оразбаев Б.Е., Камнев В.И., Ибрагимов И.М. Моделирование энергетических систем. Апарт, М., 2002.

95. Мамаев Е., Шкарина Л. Microsoft SQL Server 2000 для профессионалов. -СПб: Питер, 2001.

96. Марселлус Д. Программирование экспертных систем на ТУРБО ПРОЛОГЕ. М. Финансы и статистика, 1994.

97. Меткалф М., Рид Дж. Описание языка программирования Фортран 90. М., «Мир», 1995.

98. Месарович М. и др. Теория иерархических многоуровневых систем. -М., Мир, 1973.

99. Методы анализа и синтеза структур управляющих систем. Под редакцией Б.Г. Волика. М., Энергоатомиздат, 1988.

100. Мешалкин В.П. Экспертные системы в химической технологии. М., "Химия", 1995.

101. Микулич Л.И. Базовая модель интеллектуального интерфейса. Труды Института проблем управления РАН, том XI, М., 2000, с. 5-16.

102. Многопроцессорная вычислительная система ПС-3000. -http://www.computer-museum.rU/histurssr/l 1 -2.htm

103. Моисеев Н.Н. Предисловие к книге Орловского С.А. Проблемы принятия решений при нечёткой исходной информации. М. Наука. 1981.

104. Немнюгин С.А., Стесик О.Л. Параллельное программирование для многопроцессорных вычислительных систем. "БХВ-Петербург", Санкт-Петербург, 2002.

105. Нехамин С.М., Лебедев В.Г. Интеллектуальные информационно-управляющие системы для повышения эффективности рудотермических производств. Электрометаллургия, № 10, 2001, с. 38-41.

106. Новоженов Ю.В. Объектно-ориентированные технологии разработки сложных программных систем. М. 1996.

107. Общие критерии оценки безопасности ИТ (The Common Criteria for Information Technology Security Evaluation/ISO 15408).

108. Паули В.К., Магид С.И., Ибрагимов И.М. Применение технологий искусственного интеллекта в энергетике. РАО «ЕЭС России», М., 2000.

109. Петрунин В.А., Баранов Ю.И., Горский В.Г. и др. Математическое моделирование щелочного гидролиза люизита. Российский химический журнал, 1995, т. 39, № 4, с. 15-17.

110. Поляков Д. Разработка средств искусственного интеллекта для перспективных самолётов. Зарубежное военное обозрение, 1990, № 2, с. 58-60.

111. Попов Э.В., Фоминых И.Б., Кисель Е.Б., Шапот М.Д. Статические и динамические экспертные системы. М.: Финансы и статистика, 1996.

112. Поспелов Д.А. Логико-лингвистические модели в системах управления. М., Наука, Энергоиздат. 1981.

113. Поспелов Д.А. Многоагентные системы настоящее и будущее. -Информационные технологии и вычислительные системы, № 1, 1998, с.14-21.

114. Постановление Правительства Российской Федерации «О единой государственной системе предупреждения и ликвидации чрезвычайных ситуаций» от 30.12.2003 № 794.

115. Постановление Правительства Российской Федерации «О порядке сбора и обмена в Российской Федерации информации в области защиты населения и территорий от чрезвычайных ситуаций природного и техногенного характера» от 24.03.1997 № 334.

116. Практические правила управления информационной безопасностью (Code of practice for Information Security Management/ISO 17799).

117. Прангишвили И.В. Системный подход и общесистемные закономерности. Серия «Системы и проблемы управления». М.: СИНТЕГ, 2000, 528 стр.

118. Прангишвили И.В., Пащенко Ф.Ф., Молчанов С.А., Чернышов К.Р. Системы информационной поддержки оперативного персонала дляпредприятий повышенного риска. Приборы и системы управления, 1996, №4, с. 7-11.

119. Проталинский О.М. Применение методов искусственного интеллекта при автоматизации технологических процессов. Астрахань, Астраханский государственный технический университет, 2004.

120. Растоскуев В.В. Информационные технологии экологической безопасности. http://www.ecosafe.nw.ru/Educatio/ENV/Readme.htm

121. Роджерсон Д. Основы СОМ. М., Издательский отдел "Русская редакция ТОО "Channel Trading Ltd", 1997.

122. Рожанский Д.В., Слиборский А.П., Рафалович М.М. Создание обучающих систем в среде Learning Space. Четвёртая международная летняя школа-семинар по искусственному интеллекту для студентов и аспирантов. Сборник научных трудов. Минск, БГУ, 2000.

123. Ролланд Ф.Д. Основные концепции баз данных. М., Санкт-Петербург, Киев, ИД «Вильяме», 2002.

124. Романова В.Д., Федунов Б.Е., Юневич Н.Д. Реализация на ПЭВМ исследовательского прототипа бортовой оперативно-советующей экспертной системы «Дуэль». Известия РАН. Теория и системы управления. 1995, № 5.

125. Рыбин В.М., Рыбина Г.В. Динамические интегрированные экспертные системы реального времени: анализ опыта исследований и разработок. -Приборы и системы управления, 1999, № 8, с. 4-8.

126. Саати Т. Принятие решений. Метод анализа иерархий. Пер. с англ. М.: Радио и связь, 1993.

127. Саати Т. Целочисленные методы оптимизации и связанные с ними экстремальные проблемы. М., «Мир». 1973.

128. Саймон Алан Р. Стратегические технологии баз данных. М., «Финансы и статистика», 1999.

129. Симоненко В. Бортовые экспертные системы. Зарубежное военное обозрение, 1992, № 11, с. 44-45.

130. Тельнов Ю.Ф. Интеллектуальные информационные системы в экономике. М., «Синтег», 2002.

131. Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции. М., «Наука», 1981.

132. Трахтенгерц Э.А. Компьютерная поддержка переговоров при согласовании управленческих решений. М., Синтег, 2003.

133. Трахтенгерц Э.А. Компьютерная поддержка принятия решений. М.: Синтег, 1998.

134. Трахтенгерц Э.А. Программное обеспечение параллельных процессов. -М., «Наука», 1987.

135. Трахтенгерц Э.А. Субъективность в компьютерной поддержке управленческих решений. М., Синтег, 2001.

136. Трахтенгерц Э.А., Шершаков В.М., Камаев Д.А. Компьютерная поддержка управления ликвидацией последствий радиационного воздействия. М., Синтег, 2004, 456 стр.

137. Указ Президента Российской Федерации от 10.01.2000 № 24 «Концепция национальной безопасности Российской Федерации».

138. Уоссермен Ф. Нейрокомпьютерная техника: теория и практика. М., Мир, 1992.

139. Уткин А.Ю., Лебедев В.Г., Костикова Н.А., Кулида Е.Л., Рождественский Д.Б. Компьютерный тренажёрный комплекс для обучения персонала центрального пульта управления объекта уничтожения химического оружия. Проблемы управления, 2005, № 1, с. 56-61.

140. Федеральная целевая программа уничтожения химического оружия. http://www.imemo-himinfo.ru/chem-disarm/docs/programma uho/

141. Федеральный закон «О защите населения и территорий от чрезвычайных ситуаций природного и техногенного характера» от 21.12.94 №68-ФЗ.

142. Федеральный закон «О промышленной безопасности опасных производственных объектов» от 21.07.1997 №116-ФЗ (Собрание законодательства Российской Федерации, 1997, № 30, ст. 3588).

143. Федеральный закон «Об охране окружающей среды» от 10.01.2002 № 7-ФЗ.

144. Федеральный закон «Об уничтожении химического оружия» с изменениями от 29.11.2001 № 157-ФЗ и 10.01.2003 №15-ФЗ.

145. Федосов Е.А. Авиация ПВО и научно-технический прогресс. М., Дрофа, 2001.

146. Федунов Б.Е. Бортовые оперативно-советующие системы типовых ситуаций и семантический облик их базы знаний. Известия РАН. Теория и системы управления. № 1, 2002.

147. Федунов Б.Е. Бортовые оперативно-советующие экспертные системы тактических самолётов пятого поколения (обзор по материалам зарубежной печати). М., НИЦ ГосНИИАС, 2002.

148. Федунов Б.Е. Конструктивная семантика для разработки алгоритмов бортового интеллекта антропоцентрических объектов. Известия РАН. Теория и системы управления, 1998, №5.

149. Федунов Б.Е. Проблемы разработки бортовых оперативно-советующих экспертных систем. Известия РАН. Теория и системы управления, № 5, 1996.

150. Федунов Б.Е. Семантический облик баз знаний БОСЭС. Известия РАН. Теория и системы управления, № 1, 2002.

151. Фисун В.А. Алгоритмы конвертора ФОРА. X Всесоюзное совещание по проблемам управления. Тезисы докладов, кн. 1, Алма-Ата, 1986, с. 452.

152. Ходжаянц М.Ю., Панкова Л.А., Лебедев В.Г. Автоматизированная система интерпретации сейсморазведки. Приборы и системы управления, 1998, № 7, с. 30-32.

153. Холстов В.И. Уничтожение химического оружия насущная необходимость и общая озабоченность. - Вестник химического разоружения, 2004, № 1.http://www.imemo-himinfo.ru/publication/articles/holstov-v 1 /

154. Чекинов Г.П., Чекинов С.Г. Применение технологии многоагентныхсистем для интеллектуальной поддержки принятия решений (ИППР).

155. Сетевой электронный научный журнал «Системотехника», 2003, № 1.

156. Штейнберг Б.Я. Математические методы распараллеливания рекурентных циклов для суперкомпьютеров с параллельной памятью. -Ростов-на-Дону, издательство Ростовского университета, 2004, 192 стр.

157. Шурайц Ю.М., Лебедев В.Г., Кутьин А.Б. О распараллеливании линейных рекурсий. Тезисы докладов Всесоюзного совещания "Высокопроизводительные вычислительные системы". Часть 2, Тбилиси, 1981, с. 150-152.

158. Шутова П.В. Система поддержки принятия решений реального времени на основе подкреплённого обучения. Четвёртая международная летняя школа-семинар по искусственному интеллекту для студентов и аспирантов. Минск, БГУ, 2000, с. 106-109.

159. Эндрю Вэн Дам. Пользовательские интерфейсы нового поколения. -Открытые системы, 1997, № 6, с. 34-37.

160. Эндрюс Г.Р. Основы многопоточного, параллельного и распределённого программирования. М., Вильяме, 2003.

161. Эрман Л.Д., Лессер В.Р. Система понимания речи HEARSAY И. -Методы автоматического распознавания речи. Том 2, М., Мир, 1983.

162. Artificial intelligence advance provides distributed planning Signal (USA), 1994, 48, № 8, p.32.

163. Babichev A.V., Lebedev .V.G. Parallel execution of Program Loops. -Computer software and system programming, 1984, p. 261-271.

164. Banerjee U., Chen S.-C., Kuck D.J., Towle R.A. Time and parallel processor bounds for FORTRAN-like loops. IEEE Tr. Сотр., 1979, 28, № 9, p. 660670.

165. Bass E.J. Architecture for an Intelligent Instructor Pilot Decision Support System. IEEE International Conference on Systems, Man, and Cybernetics, SanDeigo, CA, 1998.

166. Bass E.J., Ernst-Fortin S.T., Duncan P.C. An intelligent debriefing tool for situation awareness training. Proceeding of the Eleventh Florida Artificial Intelligence Research Symposium. - Florida, 1998, p. 168-172.

167. Blackboard Architectures and Applications. Edited by V. Jagannathan, R. Dodhiawala, L.S. Baum. "Academic Press", 1989.

168. Bradshaw S., Scheinkman A., Hammond K. Guiding people to information: Providing an interface to a digital library using reference as a basis for indexing. IUI2000: International Conference on Intelligent User Interfaces, ACM, New York, 2000.

169. Bretan I. Natural Language in Model World Interfaces. Licentiate thesis, Dept. of computing and System sciences, Stockholm University, 1995.

170. Claxton G. Hare Brain Tortoise Mind. Forth Estate Books, Douglas, UK, 1997.

171. Derfee E.H., Lesser V.R., Gorkill D.D. Frends in cooperative distributed problem solving. IEEE Trans. Knowledge and Data Eng. March. 1989, v. 1, № l,p. 63-83.

172. Devedzic V^Velasevic D. Features of Second-generation Expert Systems. An Extended Overview. Engineering Applications of Artificial Intelligence, 1990, vol. 3, № 4, p. 255-270.

173. Eisenstein J., Puerta A. Adaption in automated user-interface design. -IUI2000: International Conference on Intelligent User Interfaces, ACM, New York, 2000, p. 74-81.

174. Elmqvist H., Mattsson S.E. Other M. Modelica-an international effort to design an object-oriented modeling language. Summer computer simulation conference-98, Reno, Nevada, USA, 1998.

175. Gensym Corp., G2 Reference Manual, Version 5.0. Cambridge (Mass. USA).

176. Ginsberg M.J., Stohr E.A. A decision support: Issues and Perspectives. -Processes and Tools for Decission Support. Amsterdam, North-Holland Publ. Co, 1983.

177. Harmon Paul. G2: Gensym's Real-Time Expert System. Intelligent Software Strategies. - Vol. 9. -1993. March, № 3.

178. Hermens L.A., Schlimmer J.C. A Machine Learning Apprentice for teh Completion of Repetitive Forms. IEEE Expert, 1994, p. 28-33.

179. Hinkle D., Toomey C.N. Clavier: Applying Case-based Reasoning to Composite Part Fabrication. Proceedings of the Sixth Innovative Applications of Artificial Intelligence Conference, AAAI Press, Seattle, WA, 1994, p. 55-62.

180. Horvitz E., Breese L., Hecherman D., Hovel D., Rommelse K. The Luemere project: Bayesian User Modelling for Inferring the Goals and Needs of Software Users. UAI-98, 1998, p. 256-265.

181. Horvitz E., Jacobs A., Hovel D. Attention-sensitive alerting. Uncertainty in Intelligence: Proceedings of the Fifteenth Conference, San Francisco, 1999, p. 305-313.

182. IEEE International Symposium on Intelligent Control (ISIC'93) IEEE Rob. and Autom. Mag. 1994, № 1. p. 30.

183. Ignatushchenko V.V. A principle of dynamic control of parallel computing processes on the basis of static forecasting. Proc. of the 10-th Int. Conf. on Parallel and Distributed Computing Systems (PDCS-97). New Orleans, USA, Oct. 1997, p. 593-597.

184. Kay A. User interface: a personal view. The art of human-computer interface design. Adison-Wesley, reading, Mass, 1990.

185. Kerpedjiev S., Roth S.F. Mapping communicative goals into conceptual tasks to generate graphics in discourse. IUI2000: International Conference on Intelligent User Interfaces, ACM, New York, 2000, p. 157-164.

186. Korving A. Power Plant Modeling and Visualization. MMS User Group Meeting, Lynchburg, USA, 23-27 October, 1995.

187. Kuck D.J. A survey of parallel machine organization and programming. -ACM Сотр. Surveys, 1977, 9, N 1, p. 29-59.

188. Lamport L. The hyperplane method for an array computer. LNCS, 24, Parallel Processing. Proc. of Sagamore Сотр. Conf., 1974, p. 113-131.

189. Lamport L. The parallel execution of DO loops. Communication of the ACM, vol. 17, No.2 , 1974, p. 83-93.

190. Lang K. NewsWeeder: Learning to Filter News. Proceedings of the Twelfth International Conference on Machine Learning, Lake Tohoe, CA, 1995, p. 331-339.

191. Langley P. Machine Learning for Adaptive User Interfaces. Proceedings of the 21st German Annual Conference on Artificial Intelligence, Freiburg, Germany, 1997, p. 53-62.

192. Langley P. User Modeling in Adaptive Interfaces. Proceedings of the Seventh Internation Conference on User Modeling, Springer, 1999, p. 357-371.

193. Lanier, Jaron. My problems with agents. Wired, 1996.

194. Lebedev V.G. and Yu.M. Shuraits. Paralleling Loops with an Arbitrary Step. Automation and Remote Control, v. 40, N. 9, part 2, New York, 1979, p. 1386-1395.

195. Lefebvre V.A. The fundamental structures of Human Reflexion. Journal of Social and Biological Structures. 1987, N 10.

196. Lieberman H. Integrating User Interface Agents with Conventional Applications. Proceeding of IUI-1999, 1999.

197. Maes P. Agents that reduce work and information overload. -Communications of the ACM, 1994, p. 31-40.

198. Malinowski U., Dieterich H. A taxonomy of adaptive user interfaces. -HCI'92, People and computers VII, Cambridge University Press, 1992.

199. McKim C.S., Matthews M.T. Modular Modeling System Model Builder. -Proc. of 1996 Intersociety Energy Conversion Engineering Conference, Aug 11-16, Washington, D.C., USA, 1996.

200. Pavlov B.V., Vladimirov A.V., Grigorov N.L., Kahidze G.P., Lebedev V.G. The project of an orbital astrophysical observatory "PROTON-5" 2-я Международная конференция no проблемам управления. M., 2003, с. 180181.

201. Pazzani М., Muramatsa J., Billsus D. Syskill & Webert: Identifying interesting web sites. Proceedingsof the Thirteenth National Conference on Artificial Intelligence, AAAI Press, Portland, 1996, p. 54-61.

202. Prangishvili I.V., Lebedev V.G., Legovich U.S., Tolstykh A.V., Voronin B.N., Nazarov V.D. Industrial Enterprise Ecological Monitoring Integrated System. The Fourth International Forum "High Technology of XXI", M., 2003, c. 176-177.

203. Rataj J., Bender K., Kohrs R. Pilot assistant for approach and departure. -27th Evropean Rotorcraft Forum, Moscow, Russia, 2001, p. 17.1-17.12.

204. Reeves C.R. Modern heuristic techniques for combinatorial problems. -Blackwell Scientific Publication. Oxford, 1993.

205. Rich E. User modeling via stereotypes. Cognitive Science, 1979, p. 329354.

206. Ross E. Intelligent User Interfaces: Survey and Research Directions. -http://citeseer.ni.nec.com/rossOOintelligent.html. 2000.

207. Shneiderman В. Direct manipulation for Comprehensible, Predictable and Controllable User Interfaces. Proc. Of 1997 International Conference on Intelligent user Interfaces, ACM, Orlando, 1997.

208. Strachan L., Anderson J., Sneesby M., Evans M. Pragmatic User Modeling in Commercial Software System. Proceedings of the Sixth International Conference on User Modeling, Springer, New York, 1997, p. 189-200.

209. Stefanuk V.L. Intelligent Systems: A semiotic Perspective. Proceedings of the 1996 International Multidisciplinary Conference. V.2: Applied Semiotics, Gaithersburg, MD, USA, 1996, p. 1-6.

210. АСПК автоматический стационарный пост контроля атмосферного воздуха АСУ ТП - автоматизированная система управления технологическим процессом

211. ИАЦ информационно-аналитический центр ИАД - интеллектуальный анализ данных КТК - компьютерный тренажёрный комплекс JIA - летательный аппарат

212. МЧС Министерство РФ по делам гражданской обороны, чрезвычайнымситуациям и ликвидации последствий стихийных бедствий ПДК предельно допустимая концентрация ПЛ - передвижная лаборатория

213. СППОР система поддержки принятия оперативных решений

214. CI1IIP система поддержки принятия решений

215. СППРЭ система поддержки принятия решений экипажем

216. СУБД система управления базой данных

217. ХАЛ химико-аналитическая лаборатория