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

• Опарин, Геннадий Анатольевич
• доктор технических наук
• 1998

Оглавление диссертации доктор технических наук Опарин, Геннадий Анатольевич

Содержание

Введение

Глава I. Методологические основы автоматизации процессов разработки и применения пакетов знаний в области исследования динамики и проектированиям сложных управляемых движущихся объектов

§1. Характеристики ПО и требования к организации расчетных работ

§2. Принципы организации процессов разработки и применения пакетов знаний

§3. Язык 8АТЬ для представления и использования пакетных знаний

§4. Концептуальная схема спецификаций ПО и выбор модели данных

§5. Методы планирования схем решения задач

§6. Методические и технологические аспекты проектирования пакетов знаний

Глава II. Инструментальная система САТУРН для разработки и эксплуатации пакетов знаний

§1. Архитектура инструментальной САТУРН-среды пакетов знаний

§2. Макросредства в инструментальной системе САТУРН

§3. Особенности архитектуры и реализации инструментальной системы СА-

ТУРН/М

§4. Особенности архитектуры и реализации инструментальной системы САТУРН/Б

§5. Технология использования инструментальной системы САТУРН

Глава III. Инструментальная среда моделирования динамики составных непрерывно-дискретных объектов

§1. Характеристики типовых объектов моделирования

§2. Формальная модель составных непрерывно-дискретных объектов

§3. Каноническая форма уравнений динамики составных непрерывно-дискретных объектов и планирование вычислений

§4. Языковые средства

§5. Архитектура инструментальной среды моделирования

§6. Моделирование динамики системы управления движением в пространстве

космического аппарата средствами системы БАЙКАЛ

Глава IV. Пакеты программ для исследования динамики прецизионных электромеханических систем

§1. Пакет прикладных программ по динамическому анализу и параметрическому синтезу прецизионных электромеханических систем (ДИАНА)

§3. Исследование динамики высокоточной системы стабилизации орбитального телескопа средствами пакета ДИАНА

§4. Пакет программ С О С. 4M для моделирования динамики режимов работы

системы ориентации и стабилизации космического аппарата

§5. Методический пакет знаний СПЕКТР для вычисления собственных значений и векторов с использованием библиотеки NAG

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

§1. Комплексирование пакетов программ

§2. Имитационная система сложного оптикомеханического комплекса

Заключение

Список литературы

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

Введение

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

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

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

смысле поведению моделируемой системы. В этом контексте совокупность понятий "модель+метод+методика" несет ярко выраженную алгоритмическую окраску и составляет базу алгоритмических знаний расчетных работ.

Традиционно процесс исследования динамики и проектирования СУ СДО представляет собой организованную в соответствии с технологией системного анализа [5] последовательность многовариантных расчетов - вычислительных экспериментов, на каждом шаге которой в соответствии со стратегией и тактикой исследования и поиска приемлемых решений варьируются структура и значения параметров модели, методов и методик, выполняются запланированные расчетные работы, производится оценка результатов и принимается решение о дальнейшем направлении исследований.

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

Основной целью диссертации является исследование, разработка и применение инфраструктуры, или системной инструментальной программной среды, компьютерного исследования динамики и проектирования СУ СДО с использованием средств и методов баз знаний [6] и доказательного программирования [7]. Автоматизированная технология, в которой фундаментальную роль играет алгоритмическое знание и сборочно-конкретизирующее программирование, именуется далее как САТУРН-технология.

Первичным понятием в этой технологии является понятие пакета прикладных программ, точнее - пакета знаний, представляющего разновидность прикладной интеллек-

туальной 1 системы.

1. Пакеты программ в автоматизированном проектировании управляемых систем (обзор).

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

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

Источником идей нового направления следует считать проблемы программной реализации на ЭВМ численных методов решения задач математической физики, сформулированные впервые А.А.Самарским и Н.Н.Яненко в начале 70-х годов. Очень скоро стало понятно, что ППП являются эффективным инструментом решения расчетных задач и что методология ППП применима и во многих других проблемных областях.

Большую роль для становления и развития пакетной проблематики сыграл семинар по комплексам программ математической физики под руководством академика Н.Н.Яненко. Координация работ по пакетной тематике осуществлялась в рамках Научного совета АН СССР по комплексной проблеме "Математическое моделирование"

хНа наш взгляд, терминологически правильнее говорить об интеллектных системах (т.е. использующих методы и средства искусственного интеллекта).

(председатель совета - академик А.А.Самарский). Инструментально-технологические вопросы обсуждались на заседаниях Комитета по технологии программирования и инструментальных средств вычислительного эксперимента (председатель комитета В.И.Легоньков, автор диссертации входил в состав этого комитета) Секции программного обеспечения математического моделирования упомянутого Научного совета. Хорошо известны таллинская школа Э.Х.Тыугу и ее направление исследований по пакетам с автоматическим синтезом программ. В Иркутском ВЦ (ныне Институт динамики систем и теории управления) СО РАН пакетная тематика была активно поддержана его первым директором В.М.Матросовым и с конца 70-х годов стала одним из научных направлений деятельности коллектива. В связи с Иркутским ВЦ следует отметить Сибирскую школу по пакетам прикладных программ под руководством В.М.Матросова и то влияние, которое она оказала на молодых ученых и специалистов, приезжавших на нее не только из Сибирского региона.

Большое значение для становления пакетной проблематики имели, выходящие в издательстве "Наука", серия "Алгоритмы и алгоритмические языки", сборники "Пакеты прикладных программ" (главный редактор - А.А.Самарский).

Наряду с уже упомянутыми именами, с историей формирования и развития пакетной проблематики связаны имена таких исследователей, как А.С.Алексеев, О.Б.Арушанян, М.М.Бежанова, С.Н.Васильев, В.М.Глушков, Н.Н.Говорун, М.М.Горбунов-Посадов, А.А.Дородницын, Ю.Г.Евтушенко, А.П.Ершов, В.Д.Ильин, В.П.Ильин, В.М.Ковеня, А.Н.Коновалов, Д.А.Корягин, С.С.Лавров, В.В.Липаев, Г.И.Марчук, О.Н.Перевозчикова, Г.С.Поспелов, И.В.Поттосин, И.В.Сергиенко, Л.Н.Столяров, Б.Г.Тамм, А.Н.Тихонов, Ю.И.Шокин, В.М.Фомин, Л.И.Эрлих и др. Из числа зарубежных следует отметить коллектив специалистов из Германии, известный под названием «Группа ПАКЕТЫ ПРОГРАММ» (П.Бахманн и др.), а также такие имена, как Ф.П.Брукс, Б.Дисков, Д.Л.Парнас и др.

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

решение задач из некоторого заранее определенного класса в содержательных терминах ПО [8] - [13]. В основе разработки функционального наполнения ППП лежит модульный принцип, сформулированный и развитый в первой половине 70-х годов [14, 15] и др. Согласно этому принципу функциональное наполнение есть набор базисных, сравнительно простых, вычислительных модулей, композицией которых можно получить решение всех задач рассматриваемого класса.

Понятие модуля, как программной единицы, является многозначным и в каждом конкретном случае зависит, в основном, от способа комплексирования программы из модулей. Модулем может быть процедура или фрагмент текста алгоритмического языка, набор данных, схема счета, программная единица на языке загрузки и др. Разнообразны и инструментальные средства, автоматизирующие создание функционального наполнения [16]: это общепринятые компоненты операционных систем (редакторы текстов, средства организации библиотек модулей, документаторы, макрогенераторы, средства управления наборами данных и др.) и специальные средства, создаваемые на базе штатных с целью обеспечения более простого доступа к ним.

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

В последние 15 лет наблюдается устойчивая тенденция повышения уровня автоматизации решения задач за счет использования методов искусственного интеллекта [6, 7, 17, 18]. Применительно к ППП речь идет в первую очередь о внедрении методов баз знаний и доказательного программирования (в смысле А.П.Ершова). Именно в таком контексте построен этот краткий обзор.

Исторически сложилось четыре укрупненных типа ППП и, соответственно, четыре

типа инструментальных систем (ИС) для их построения. Это:

- ППП библиотечного типа;

- ППП с развитой системной частью;

- интеллектуальные ППП;

- гибридные экспертные системы.

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

И С создания ППП библиотечного типа развиваются в рамках штатных систем программирования ЭВМ. К числу первых отечественных ИС такого типа относится программа ИС-2 [19], разработанная под руководством М.Р.Шура-Бура. Решение задачи с помощью ППП данного типа сопряжено с ручным написанием программы на некотором языке программирования и требует высокой программистской квалификации.

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

К ИС построения ППП с развитой системной частью можно отнести систему автоматизации физических расчетов САФРА [13], систему СТАРТ [20] и комплекс ТРАП [21] для решения задач вычислительного эксперимента, систему модульного программирования МОПР [22] для решения задач электрооптики, систему организации программ СОП [23] на основе структурно-модульного подхода и систему организации комплексов СОК [24] в области больших задач математической физики, систему СОФИСТ [25], систему ИСТОК [26] для построения инженерно-физических пакетов в области га-

зодинамических расчетов, систему ВИКАР [27] для создания ППП по выводу теорем метода векторных функций Ляпунова и принятию решений, систему ВИЛЬНЮС [31] для конструирования ППП в области календарно-тематического планирования и управления, систему ДИСУ ППП [32] для проектирования управляющих программ для станков с числовым программным управлением, близкие по принципам построения систему автоматизации проектирования ядерных реакторов [33] и систему ИСП [34], системы RADIOS и PBS [218] для задач вычислительной математики и автоматизации проектирования.

Бесспорным лидером в этом классе пакетов и ИС для их построения является система САФРА, базирующаяся на каркасной методологии построения пакетов программ

[36], как наиболее адекватной потребностям решения задач математической физики. В концентрированном виде эта потребность может быть определена термином " исследовательское программирование" - который означает не создание новых, а развитие существующих программ за счет включения в программный фонд все новых и новых вариантов модулей. Исследовательское программирование характерно для многих проблем, для решения которых используются те или иные математические модели и численные методы их решения. С исследовательским программированием кореллирует в определенном смысле рассматриваемая в диссертации проблема анализа динамики и проектирования СУ С ДО. О таком же стиле программирования упоминается в работе

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

Схемы решения задач описываются с помощью таблиц решений [27], нагруженных графов [31, 32], расширений алгоритмических языков [22, 26], специально созданных для этих целей языковых средств [13, 20], [23] - [25],[34]. Для исполнения схем решения задач в основном используется техника конкретизации, препроцессирования и макрогенерации в сочетании с пакетным режимом работы ЭВМ [13], [22] - [31], хотя имеются примеры систем, в которых диалоговый режим взаимодействия в сочетании с интерпретацией схемы решения задачи является основным [32]. И С построения ППП такого

типа включают средства создания и модификации таблиц решений [27], нагруженных графов [31, 32], архивов паспортов модулей и стандартных величин [22, 26, 33, 34], библиотек вставок и макроопределений [13, 20], [23] - [25].

Основным для интеллектуальных ППП является наличие модели (схемы) ПО, под которой понимается совокупность сведений об объектах ПО и отношениях между ними, а также возможность постановки задач пакету в непроцедурном Виде: "по известным значениям объектов с именами х1, х2, ..., хк вычислить значения объектов с именами у1, у2, ..., ут". С помощью средств планирования непроцедурная постановка задачи преобразуется в схему решения задачи, которая, как и в случае ППП с развитой системной частью, далее интерпретируется или для нее генерируется программа на некотором языке программирования. ППП такого типа в [18, 35] называются также расчетно-логическими системами, а в [38] системой решения задач на основе базы знаний.

К числу первых ИС построения ППП высокого уровня следует отнести систему ФИХАР [39] для автоматизации реакторных расчетов. К этому же классу относятся широко известная система ПРИЗ [40], послужившая источником идей для многих других систем этого типа, система автоматизации расчетов теплоэнергетических установок СМПП-б [41], система автоматизации работ в области астрономии СПОРА [42], диалоговая система моделирования альтернатив и выбора решений в проектировании теплотехнических систем МАВР [43], система КАПРИЗ для организации интеллектуального интерфейса САПР [44], система МП для решения задач вычислительной геометрии [45], система ГЕНПАК [46] для решения задач учета и планирования, система ГИЛ ЕЯ [37] для моделирования целенаправленных движений биомеханических систем, интеллектуальная программная оболочка 8ЫР11 для математического моделирования ядерных реакторов [47].

В качестве основы языков спецификации модели ПО используются формализмы в виде вычислительных моделей [40, 44, 45], типизированных формальных теорий [42], разнообразных графов [39, 41], фреймов и функциональных семантических сетей [43] и

других конструкций. Планирование схемы решения задачи рассматривается как поиск доказательства теоремы в некоторой формальной теории [40, 42], построение ориентированного подграфа в функциональной семантической сети [39, 41], [43] - [45] и другие механизмы. Во всех перечисленных системах осуществляется статическое планирование схемы решения задачи, выполняемое до выхода задачи на этап счета. Основной режим работы перечисленных систем - пакетный в сочетании с техникой компиляции расчетных программ. Исключение составляет система МАВР, где используется техника интерпретации в сочетании с диалоговым режимом. Средства описания, хранения, коррекции модели ПО являются отличительным инструментарием создания ППП высокого уровня.

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

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

щений для численного вычисления составляющих градиента в методах оптимизации и т. п.). Для ИС построения гибридных экспертных систем характерно наличие средств описания, хранения и корректировки эвристик по решению проблемы. Здесь в качестве знаний закладываются не только планы проведения тех или иных расчетных работ, но и условия применимости этих планов, а также логика проведения многоэтапного вычислительного эксперимента. Некоторые частные примеры классов таких знаний приведены в [48].

В самом общем виде гибридная экспертная система определяется в [18] как объединение возможностей традиционных пакетов программ с возможностями традиционных экспертных систем. Важно [17], что интеграция этих компонент обеспечивает для пользователя комфортный вход в мир вычислительных моделей даже тогда, когда пользователь не имеет профессиональной подготовки в области вычислительной математики.

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

Термин Пакет Знаний появился в результате слияния понятий Пакет Программ и База Знаний и впервые употреблен в [49]. Другой вариант термина, который можно построить из этих составляющих, - это База Программ. Этот термин используется в работах С.Г.Маслова [37] применительно к моделированию целенаправленных движений биомеханических систем. Понятие базы программ по ряду характеристик близко к понятию пакета знаний, однако, эти понятия имеют и существенные различия (например, в базе программ отсутствуют средства описания знаний продукционного типа).

Представителями ИС построения гибридных экспертных систем можно считать систему автоматизации проектирования ТРОПИК [50], систему НУТ [51], систему МАВР-ЭС [18], систему ПИКС [52] достаточно широкий класс экспертных систем имитационного моделирования (см., например обзор [53]). К этому классу можно отнести систему 02 [54], как содержащую в своем составе подсистему моделирования непрерывных и дискретных процессов. Создание рассматриваемой в диссертации ИС САТУРН связано с возможностью конструирования с ее помощью гибридных экспертных систем - пакетов знаний для решения задач анализа динамики и проектирования СУ С ДО.

Из числа близких к рассматриваемой тематике современных зарубежных работ по автоматизации решения задач в различных проблемных областях с использованием технологии баз знаний можно отметить работы [55, 56, 57, 58]. В [55] предложены концептуальные и формальные спецификации методов решения задач на основе формализации отображений методов из библиотеки на прикладные области. В работе [56] рассматривается система на основе знаний РУТН1А для выбора алгоритмом в научных применениях. Эта система обеспечивает возможность работы с моделями с высоким уровнем абстракции. Система имеет естественноязыковый интерфейс и применялась в построении и решении систем уравнений в частных производных. В [57] выполнена классификация задач проектирования конфигураций и методов их решения. Особое внимание уделено типам используемых знаний и оболочкам для программирования. Работа [58] посвящена обзору передовых технологий в области автоматизации проектирования с использованием функциональных рассуждений для построения моделей объектов.

Логическим продолжением первой части обзора можно считать §6 главы I, где нашли отражение методические и технологические системы проектирования пакетов знаний и их анализ с точки зрения современных тенденций автоматизации разработки программ.

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

ванного проектирования систем управления.

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

В периодической печати к настоящему времени накоплен достаточно большой материал по программному обеспечению решения задач синтеза и проектирования систем управления [3, 4],[59] - [98]. Первыми отечественными монографиями, посвященными этой проблеме, является книга [59], в которой приводятся некоторые алгоритмы решения задач линейной алгебры, необходимые для исследования систем управления, а также работа [60], содержащая набор методов, ориентированных на их применение в условиях ЭВМ. Широкое применение в практике проведения динамических расчетов находят процедуры из справочника [61].

Создание библиотек подпрограмм ведется как путем алгоритмизации отдельных классических методов теории автоматического регулирования, широко внедренных в практику проектирования автоматических систем, так и путем создания новых оригинальных машинно-ориентированных процедур [3, 4], [63] - [67], [75] - [80], [94] - [96]. В [68] отмечается, что машинная ориентация существующих методов и создание новых методов, учитывающих специфику машинных вычислений, является одной из актуальных проблем с точки зрения эффективного решения задач при проведении динамических расчетов автоматических систем. Возникающие при разработке машинно-ориентированных алгоритмов трудности связаны с необходимостью преодо-

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

ППП с развитой системной частью широкое распространение получили при реализации метода цифрового моделирования непрерывных, дискретных и комбинированных автоматических систем. К числу ППП для автоматизации моделирования можно отнести системы моделирования непрерывных (СЯМР/ЗбО [89]), дискретных (СРЗЯ [87]) и непрерывно-дискретных (ДИСНЕМ [72]) динамических объектов. Примерами ППП, построенных на базе других (не только цифрового моделирования) методов теории регулирования являются интерактивный пакет ЗАТЕИ [74], системы ДИСПАС [82], МОНСТР [84], КОМИКС [85], САПР А [83], РАДИУС [70], МАСС [71], ДИАКОМ [77], ДИАЛ [90], ДИНАМИКА [97]. Особо следует отметить книгу [4], в которой рассматриваются возможности 37 зарубежных пакетов программ, наиболее известным из которых в нашей стране является Ма1;ЬАВ [91]. Не вдаваясь в подробный анализ указанных систем и пакетов программ, отметим лишь основные тенденции, которые сложились в этой области к концу 80-х годов:

1) языки описания математической модели динамической системы в форме структурных схем, уравнений состояния и передаточных функций, наличие операций преобразования модели из одной формы представления в другую;

2) использование широкого спектра методов как классической, так и современной теории управления;

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

4) наличие средств расширения пакетов новыми командами;

5) простейшие системы управления расчетными данными для проведения многовариантных расчетов;

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

Список публикаций, посвященных интеллектуальным пакетам программ для задач проектирования систем управления не так обширен, как список публикаций для ППП с простой организацией. Можно отметить работу [86], где предлагается способ построения лингвистического и программного обеспечения, который опирается на представление знаний в области теории автоматического управления в виде некоторой семантической модели, а так же основанный на знаниях программный комплекс проектирования стационарных систем управления [55].Планирование вычислительного процесса на вычислительной модели применяется в пакетной системе автоматизированного синтеза многомерных регуляторов частотным методом [73]. Модель ПО и средства планирования вычислительного эксперимента входят в состав среды моделирования составных объектов СПС/СИ [98].

В диссертации рассматриваются три системы, которые можно отнести к интеллектуальным пакетам программ. Это пакеты ДИАНА и ДИСАН, разработанные с помощью ИС САТУРН, и система моделирования БАЙКАЛ. Отличительной особен-

ностью пакетов ДИАНА и ДИСАН является ориентация на решение задач динамического анализа и параметрического синтеза прецизионных непрерывных (ДИАНА) и цифровых (ДИСАН) систем управления электромеханическими объектами. Система моделирования БАЙКАЛ предназначена для моделирования динамики составных непрерывно-дискретных объектов и спроектирована в стиле САТУРН-среды, однако уровень описания морфологии цифровой системы управления динамическим объектом выше, чем это может быть обеспечено в САТУРН-среде. Речь идет о схеме сопряжения элементов в системе (или достаточно близком ему понятии технической модели в системе МАВР [43]), которая в дальнейшем переводится в описание схемы ПО, аналогичное имеющемуся в САТУРН-среде.

Четвертая группа пакетов программ в виде гибридных экспертных систем может быть представлена упоминавшимся уже проектом МАВР, в рамках которого проводится ориентация инструментальных средств на задачи расчетов динамических и переходных режимов блочно-модульных объектов [92], экспертной системой для синтеза систем управления ориентацией космических аппаратов [93], а также разработанным с помощью системы САТУРН и представленным в диссертации методическим пакетом знаний для вычисления собственных значений и векторов действительных матриц общего вида на основе библиотеки NAG [100], широко применяемой в задачах анализа систем управления. К этому же классу можно отнести приложения системы G2 [54], ориентированные на моделирование динамики автоматических систем.

2. Актуальность темы

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

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

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

3. Апробация

Основные результаты работы докладывались на III Всесоюзной Четаевской конференции по устойчивости движения, аналитической механике и управлению движением (Иркутск, 1977), на Сибирских семинарах по динамике управляемых космических объектов (Новосибирск, 1978, 1981, 1983, Иркутск, 1986, Красноярск, 1988, Томск,

1990), на Советско-финском симпозиуме "Интерактивные системы" (Тбилиси, 1979), на школах по технологии разработки ППП (Иркутск, 1979, 1980, 1981, 1989, Владивосток, 1982, Томск, 1984, Ярополец, 1987, Адлер, 1991), на II Всесоюзной конференции "Автоматизация производства пакетов прикладных программ и трансляторов" (Таллин, 1983), на всесоюзных конференциях "Диалог ЧЕЛОВЕК-ЭВМ" (Протвино, 1983, Серпухов, 1984, Свердловск, 1989), на VIII Всесоюзной конференции по комплексам программ математической физики (Ташкент, 1983), на Конференции рабочей группы по ППП комиссии стран СЭВ по научным проблемам вычислительной техники (Тбилиси, 1983), на III Международной конференции "Искусственный интеллект и информационно-управляющие системы роботов" (Чехословакия, 1984), на научной конференции с участием ученых из социалистических стран "Проблемы искусственного интеллекта и распознавания образов" (Киев, 1984), на V Всесоюзной конференции по управлению в механических системах (Казань, 1985), Втором Всесоюзном совещании "Моделирование авиационных космических кибернетических систем" (Сухуми, 1985), на Школе-семинаре по комплексам программ матфизики (Шушенское, 1986), на III Всесоюзной конференции по технологии программирования (Киев, 1986), на совещаниях Комитета по технологии программирования и программным средствам вычислительного эксперимента (Красноярск, 1987, Ленинград, 1989), на Республиканском семинаре "Численные методы и средства проектирования и испытания элементов РЭА" (Таллин, 1987, 1989), на Всесоюзном научно-техническом семинаре по управлению движением и навигации специальных летательных аппаратов (Куйбышев, 1988), на Научно-практическом семинаре "Программные системы в автоматизации проектирования изделий машиностроения" (Ижевск, 1988), на Научно-техническом совете ЦНИ-ИАГ (1988, 1989), на семинаре Кафедры математического обеспечения ЭВМ (ЛГУ, 1988), семинаре ВЦ СО РАН (1988), на II Всесоюзном совещании "Комплексирова-ние систем управления движением" ( Тбилиси, 1988), Городском семинаре по программированию (Ленинград, 1989), на IV Всесоюзной научной конференции "Системы баз данных и знаний" (Калинин, 1989), на школе-семинаре "Программные изделия-

89" (Одесса, 1989), на всесоюзных школах "Автоматизация создания матобеспечения и архитектуры систем реального времени" (Иркутск, 1990, Саратов, 1992), на Всесоюзном совещании "Экспертные системы" (Суздаль, 1990), на Всесоюзной научно-технической конференции "Интеллектуальные системы в машиностроении" (Самара, 1991), на Международном семинаре "Методы и программное обеспечение для систем автоматического управления" (Иркутск, 1991), на VI Всероссийском семинаре по управлению движением и навигации летательных аппаратов (Самара, 1993), на Всероссийской школе "Компьютерная логика, алгебра и интеллектное управление" (Иркутск, 1994), на IV Национальной конференции с международным участием "Искусственный интеллект-94" (Рыбинск, 1994), на IV Международной конференции "Прикладная логика-95" (Иркутск, 1995), на Всероссийской конференции "Новые информационные технологии в исследовании дискретных структур" (Екатеринбург, 1996), на II Международном симпозиуме "Интеллектуальные системы (ИНТЕЛС'%)" (Санкт-Петербург, 1996), на семинарах ИДСТУ СО РАН (Иркутск).

4. Практическое применение

Исследование, разработка и применение рассматриваемых в диссертации программных средств выполнены в течении 1978-1998г.г. по заданию директивных органов (ГКНТ СССР, ГКВТИ СССР, президиум РАН, ГК при СМ СССР по ВПВ) в рамках следующих основных плановых тем Иркутского ВЦ СО РАН: ДИНАМИКА (1978-1980Г.г.); РАУС-СО, РЕЗАРИН-СО, РЕЙД-СО, N81096352 (1981-1985г.г.); РАПИД-СО (1981-1990г.г.); РАБКОР-СО, РАКУРС-СО, N0186.0096390 (1986-1990г.г.); РАВНЕНИЕ-МОП, N01.9.10.0067440 (1991-1995 г.г.). Исследования и разработка ИС САТУРН для персональных компьютеров выполнялись также в рамках ГНТП "Информатизация России" (проект N 222.30, 1991-1995г.г.; проект 037.02.296.108/1-96, 1996-1998г.г.), а также поддержаны двумя грантами РФФИ (проект N95-07-19045, проект N98-01-00160). Темы приняты соответствующими межведомственными комиссиями. ППП ДИАНА и ИС САТУРН для МВК ЭЛЬБРУС-1 К2 приняты в ГосФАП (per.номера П006822 и 50910000253, соответственно). Вер-

сия ИС САТУРН для персональных компьютеров типа IBM PC/AT зарегистрирована в РосАПО (свидетельство об официальной регистрации программ для ЭВМ N960294). ИС САТУРН применена в ИДСТУ СО РАН для разработки десяти ППП научно-промышленного назначения. Разработанные программные системы внедрены в двенадцати научно-исследовательских организациях и научно-промышленных объединениях. Результаты исследований и автор отмечены премией ГК при СМ СССР, дипломом III степени на конкурсе прикладных работ СО АН СССР и тремя медалями Федерации космонавтики России.

Использование для первых реализаций всех рассматриваемых в диссертации программных систем ЭВМ БЭСМ-6, МВК ЭЛЬБРУС-1 К2, ЕС-1061 не снижает значимости полученных в диссертации теоретических и практических результатов. Действительно, результаты перепроектирования указанных и разработки новых программных систем для персональных компьютеров типа IBM PC/AT с операционной системой MS-DOS с использованием и развитием этих результатов показали, что принципы построения, архитектурные решения, внешние спецификации, алгоритмы функционирования, языковые средства - то есть те аспекты, которые затрагиваются в диссертации, - являются в основном инвариантными по отношению к типу вычислительной установки. Некоторые отличия касаются внешних форм диалогового взаимодействия в связи с новыми техническими возможностями монитора персонального компьютера, при этом схемы и структуры диалога остаются также практически неизменными (диалоговый режим для рассматриваемых программных систем изначально был основнымна машинах класса БЭСМ и ЕС ЭВМ). Такая преемственность позволяет получить "компактную" реализацию на персональном компьютере, что согласуется с лозунгом Н.Вирта "долой жирные программы" [196]. Немаловажно, что три группы используемых инструментальных языков программирования - Фортран и Алгол-ГДР для БЭСМ-6, Фортран и PL/1 для ЕС ЭВМ, Фортран и Си для IBM PC/AT - включают общий инструментальный язык программирования Фортран.

5. Личный вклад автора

Рассматриваемые в диссертации исследования и практические работы выполнены в руководимой автором лаборатории "Технология разработки прикладных программных средств" Иркутского ВЦ СО РАН в рамках обозначенных ранее плановых тем, по которым автор являлся ответственным исполнителем или научным руководителем (совместно с В.М.Матросовым). Лично автором выполнен обзор по пакетной проблематике, разработаны методологические основы автоматизации процессов разработки и применения пакетов знаний, сформулированы требования и выполнено проектирование всех программных систем, реализованы начальные версии ряда программных систем и выполнены расчетные работы по анализу динамики и синтезу параметров нескольких систем управления спецобъектами. Остальные работы выполнялись совместно с сотрудниками лаборатории и под руководством автора.

6. Структура работы и публикации

Диссертация состоит из пяти глав и заключения. Глава 1 в диссертации является центральной и посвящена методологическим основам автоматизации процессов разработки и применения пакетов знаний в области исследования динамики и проектирования СУ С ДО. В этой главе приведены особенности математических моделей СУ С ДО и требования к организации расчетных работ, сформулированы согласованные с ними принципы процессов разработки и применения пакетов знаний, разработаны концептуальная схема спецификации ПО и адекватная модель данных для ее представления, дано подробное описание разработанного для представления знаний о проблемной области и формулирования постановок исследовательских задач формального языка БАТЬ, предложены и обоснованы методы и алгоритмы планирования схем решения задач. Глава завершается анализом методологических и технологических аспектов проектирования пакетов знаний с позиций программной инженерии. Полученные в первой главе результаты составляют теоретический и методический фундамент САТУРН-технологии, на базе которого "воздвигаются этажи" рассматриваемых в последующих главах инструментальных средств, так, что каждый следующий уровень инструментария опирается в той или иной степени на предыдущие уровни.

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

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

В главе 4 представлены разработанные в рамках ИС САТУРН пакеты программ высокого уровня для динамического анализа и параметрического синтеза непрерывных (пакет ДИАНА) и непрерывно-дискретных (пакет ДИСАН) прецизионных электромеханических систем. Технологическая схема динамических расчетов демонстрируется на задачах исследования динамики высокоточной системы стабилизации орбитального телескопа средствами пакета ДИАНА. Фрагмент пакета СОС.ЧМ иллюстрирует возможности И С САТУРН для моделирования динамики спутника связи с бл очно-ориентированным представлением описания ее алгоритма функционирования. Методическая разработка пакета знаний СПЕКТР призвана продемонстрировать использование продукционных знаний при решении задач вычисления собственных значений и векторов с использованием библиотеки подпрограмм NAG.

И наконец, глава 5 посвящена проблеме разработки сложных многопакетных имитационных комплексов. Приводится анализ схем и средств комплексирования, поддерживаемых ИС САТУРН. Технология комплексирования демонстрируется на примере разработки многопакетной программной имитационной системы сложного оптико-механического комплекса.

В заключении сформулированы полученные в диссертации основные результаты.

Содержание диссертации отражено в 70 публикациях [2], [101] - [169] в виде статей в научных журналах, препринтов, трудов и тезисов докладов конференций, семинаров и совещаний. Более детальное изложение выполненных исследований содержится в 77 научно-исследовательских отчетах ИрВЦ СО РАН и технической документации на разработанные по плановым темам программные системы.

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

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

Заключение

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

Более детально, на защиту выносятся:

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

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

3) Формальный язык ЯАТЬ спецификации пакетных знаний для характеризации разнесенных по слоям описаний конкретных объектов ПО и отношений между ними, постановок исследовательских задач и работы с расчетными данными. Специализированная объектно-ориентированная модель проектных данных, позволяющая выполнить эффективную реализацию транслятора с языка БАТЬ.

4) Новые модели задачи планирования с применением систем матричных логических уравнений, позволяющие расширить возможности планирования" с помощью алгоритмов решения таких систем, в частности, позволяющие осуществить диагностику неразрешимости задачи и организовать инициируемый компьютером диалог по извлечению дополнительных знаний ("проталкивание зависших задач").

5) Архитектура и две базовые схемы реализации инструментальной системы САТУРН для автоматизации процессов конструирования, отладки, модификации, ком-плексирования и применения пакетов знаний.

6) Архитектура и основные алгоритмы функционирования специализированной инструментальной среды БАЙКАЛ для автоматизации моделирования составных непрерывно-дискретных объектов.

7) Разработанные с помощью САТУРН-среды три пакета программ: 1) ДИАНА и ДИСАН для автоматизации исследования динамики и синтеза параметров прецизионных электромеханических систем (высокоточных систем стабилизации движущихся объектов) с приложением пакета ДИАНА к задаче исследования динамики системы стабилизации орбитального телескопа, и 2) СОС.ЧМ для решения задач крупноблочного описания и моделирования режимов функционирования космического аппарата на основе готовой библиотеки проблемных модулей.

8) Технология комплексирования пакетов программ при создании многопакетных интегрированных программных комплексов с использованием базовых средств инструментальной системы САТУРН с приложением в задаче иммитационного моделирования сложного оптико-механического комплекса.

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

Различные версии инструментальной системы САТУРН использованы для разработки более 20 пакетов программ в ИрВЦ СО РАН и других организациях (см., например [236] - [242]) и внедрены в следующих организациях: НПО "Автоматика", ВЦ РАН, Новосибирский госуниверситет, Нижегородский политехнический институт, ИТПМ СО РАН, НИИ ПММ при Томском госуниверситете, ЦНИИ им. А.Н.Крылова, НПО "Прикладная механика", ИММ УНЦ РАН, ЦНИИ автоматики и гидравлики. Пакет программ ДИАНА внедрен на предприятии ЦСКБ, пакеты программ ДИАНА и ДИСАН внедрены в ЦНИИ автоматики и и гидравлики, НПО "Прикладной механики". Инструментальная среда моделирования БАЙКАЛ внедрена в НПО им.Лавочкина.

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

Список литературы диссертационного исследования доктор технических наук Опарин, Геннадий Анатольевич, 1998 год

Список литературы

[1] Данилов A.M., Дулькин А.З., Земляков A.C., Матросов В.М., Стрежнев В.А. Динамика и управление внеатмосферными астронамическими обсерваториями // Управление в пространстве.- М.: Наука, 1976.- Т.1.- С.153-171.

[2] В.М.Матросов , Р.И.Козлов, Сомов Е.И., Бутырин С.А., Бурносов Е.А., Бондарен-ко Е.А., А.Е.Журавлев, Г.А.Опарин, С.А.Симонов. Методы и программное обеспечение для автоматизированного проектирования систем управления ориентацией космических аппаратов // Динамика и управление космическими объектами, /под ред. Матросова В.М., Решетнева М.Ф. Новосибирск: Наука, 1992.- С.163-179.

[3] Динамика систем управления ракет с бортовыми вычислительными машинами / Под.ред. М.С.Хитрика, С.М.Федорова. М.: Машиностроение, 1972.- 231с.

[4] Автоматизированное проектирование систем управления / Под.ред. М.Джамшиди, Ч.Дж.Хергета. М.: Машиностроение, 1989.- 340с.

[5] Моисеев H.H. Математические задачи системного анализа.- М.: Наука, 1981.- 488с.

[6] Искусственный интеллект: Справочник в 3-х кн.: Кн.1. Системы общения и экспертные системы / Под ред. Э.В.Попова - 464с. Кн.2. Модели и методы / Под.ред. Д.А.Поспелова - 304с. Кн.З. Программные и аппаратные средства / Под ред. В.Н.Захарова, В.Ф. Хорошевского - 304с. - М.: Радио и связь, 1990.

[7] Ершов А.П. Научные основы доказательного программирования // Вестник Академии наук СССР.- 1984, N10.- С.9-19.

[8] Карпов В.Я., Корягин Д.А., Самарский A.A. Принципы разработки пакетов прикладных программ для задач математической физики // Журнал вычислительной математики и математической физики.- 1978, Т.18, N2. - С.458-467.

[9] Яненко A.A., Карначук В.И., Коновалов А.Н. Проблемы математической технологии // Численные методы механики сплошной среды. - Новосибирск: ВЦ и ИТПМ СО РАН СССР.- 1977, - Т.8, N3.- С.129-157.

[10] Яненко A.A., Ковеня В.М. Некоторые проблемы развития пакетов программ для решения задач аэродинамики // Сб. Численные методы механики сплошной среды.-1979.- Т.10, N3.- С.89-98.

[11] Тамм Б.Г., Тыугу Э.Х. Пакеты программ // Известия АН СССР: Техническая кибернетика.- 1977, N5.- С.111-124.

[12] Ершов А.П., Ильин В.П. Пакеты программ. - Технология решения прикладных задач // Пакеты прикладных программ: Проблемы и перспективы.- М.: ВЦ АН СССР, 1982,- С.4-18.

[13] Горбунов-Посадов М.М., Корягин Д.А., Мартынюк В.В. Системное обеспечение пакетов прикладных программ.- М.: Наука, 1990.- 206с.

[14] Коновалов А.Н., Яненко H.H. Модульный принцип построения программ, как основа создания пакета прикладных программ решения задач математической физики. - Новосибирск: ВЦ СО АН СССР, 1972. - С.48-54.

[15] Самарский A.A. Общие вопросы модульного программирования для задач математической физики // Структура и организация пакетов программ: Междуна-родн.конф., Тбилиси: Менциеребе, 1976.- С.24-25.

[16] Бежанова М.М., Ильин В.П. Некоторые вопросы технологии разработки ППП // Пакеты прикладных программ: Функциональное наполнение.- М.: Наука, 1986.-С.99-109.

[17] Будущее искусственного интеллекта.- М.: Наука, 1991.- 302с.

[18] Поспелов Г.С. Искусственный интеллект - основа новой информационной технологии.- М.: Наука, 1988.- 280с.

[19] Ляшенко В.Ф. Программирование для ЦВМ с системой команд типа М-20. - М.: Советское радио, 1974.- 414с.

[20] Бежанова М.М., Москвина A.A. Простая система построения и функционирования пакетов прикладных программ // Программирование.- 1982, N2.- С.59-63.

[21] Бежанова М.М. и др. Технологический комплекс проектирования пакетов прикладных программ на основе языка проектирования и проблемно-ориентированных банков модулей (ТРАП) //Инф. бюллетень Алгоритмы и программы. - М.: ВНИ-Центр,1990. - N12, N50900000906.

[22] Гололобова С.П., Ильин В.П. Система МОПР для автоматизации разработок и эксплуатации пакетов прикладных программ / / Пакеты прикладных программ: Системное наполнение.- М.: Наука, 1984.- С.29-43.

[23] Воронков A.B., Легоньков В.И. О системе программного обеспечения больших задач математической физики: Препринт N45.- М.: ИПМ АН СССР, 1979.- 22с.

[24] Воронков A.B., Зименков В.И., Легоньков В.И. и др. Система обеспечения комплексов программ математической физики: Препринт N49.- М.: ИПМ АН СССР, 1979.- 26с.

[25] Пененко В.В., Поттосин И.В., Светлакова Ф.Г. Принципы построения базового системного обеспечения пакетов прикладных программ / / Пакеты прикладных программ: Системное наполнение.- М.: Наука, 1984.- С.12-28.

[26] Яненко H.H., Фомин В.М., Чернышева Р.Т., Тюрина О.В. Инструментальная система организации и эксплуатации пакетов прикладных программ ИСТОК-1 // Программирование.- 1987, N1.- С.67-73.

[27] Каратуев В.Г. ВИКАР - инструментальная система поддержки разработки и функционирования пакетов прикладных программ // Пакеты прикладных программ: Опыт разработки.- Новосибирск: Наука, 1985.- С.96-109.

[28] Матросов В.М., Васильев С.Н., Каратуев В.Г. Пакет прикладных программ вывода теорем метода векторных функций Ляпунова // Пакеты прикладных программ и их построение.- Новосибирск: Наука, 1981.- С.119-131.

[29] Васильев С.Н., Селедкин А.П. К построению пакета по принятию решений // Пакеты прикладных программ и их построение.- Новосибирск: Наука, 1981.- С.197-215.

[30] Матросов В.М., Васильев С.Н. Эвролог, или о творческих возможностях одной системы с профессиональным искусственным интеллектом // Будущее науки, вып.19.- М.: Знание, 1986.- С.10-23.

[31] Чаплинскас A.A., Матулис В.А. Система Вильнюс. Концепция, структура и технология ее использования // Вильнюс: ИМК АН ЛитССР, 1981.- 47с.

[32] Перевозчикова О.Л., Ющенко Е.Л. Системы диалогового решения задач на ЭВМ.-Киев: Наукова Думка, 1986.- 264с.

[33] Лайнеман К., Шлехтендаль Е.Г. Система автоматизированного проектирования REGENT // Системы автоматизированного проектирования.- М.: Наука, 1985.-С.129-149.

[34] Интегрированная система программирования. Под общей редакцией Б.Г.Тамма // Труды ИНЭУМ, 1974.- Вып.43,- 80с.

[35] Поспелов Г.С., Эрлих А.И. Расчетно-логические системы // Представление знаний в человеко-машинных и робототехнических системах.- М.: ВЦ АН СССР, 1984.-Т.В.- С. 137-145.

[36] Горбунов-Посадов М.М. Конфигурации программ. Рецепты безболезненных изменений.- М.: Малип, 1994.- 272с.

[37] Маслов С.Г. База программ - капитал знаний // Информационные процессы и системы,- 1993, N1.- С.1-9.

[38] Лавров С.С. Архитектура баз знаний // Программное обеспечение вычислительных комплексов новой архитектуры.- Новосибирск: НФ ИТМ и ВТ АН СССР, 1986.-С.3-13.

[39] Зизин М.Н., Загацкий Б.А., Темноева Г.М., Ярославцева Д.Н. Автоматизация реакторных расчетов.- М.: Атомиздат, 1974.- 102с.

[40] Кахро М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ).- М.: Финансы и статистика, 1981.- 158с.

[41] Попырин Л.С., Самусев В.И., Эпелынтейн В.В. Автоматизация математического моделирования теплоэнергетических установок.- М.: Наука, 1981.- 236с.

[42] Бабаев И.О., Лавров С.С., Нецветаева Г.А., Новиков Ф.А., Шувалов Г.М. СПОРА - система программирования с автоматическим синтезом программ / / Применение методов математической логики.- Таллин: ИК АН ЭССР, 1983.- С.29-41.

[43] Эр лих А. И. Диалоговая система моделирования альтернатив и выбора решения в проектировании / / Представление знаний в человеко-машинных и робототехниче-ских системах.- Москва: ВЦ АН СССР, 1984.- Т.В.- С.209-220.

[44] Кубарева О.Г., Чистов В.П. Интеллектуальный интерфейс САПР // Математическое обеспечение автоматического проектирования (синтез логических сетей) -Свердловск: ИММ УНЦ АН СССР, 1984,- С.3-15.

[45] Бухштаб Ю.А., Горлин А.И., Камынин С.С., Корягин Д.А., Любимский Э.З. Интеллектуальный пакет, использующий при планировании вычислений знания о предметной области и функциональных модулях // Техническая кибернетика.-1981, N5,- С.123-125.

[46] Ильин В.Д. Системы порождения программ. - М.: Наука, 1989. - 264с.

[47] Зизин М.Р., Дементьев Д.Ю., Шушаков A.B. Интеллектуальная программная оболочка оболочка Shi PR для математического моделирования ядерных реакторов. NUCLEUS - ядро системы SHIPR //Препринт /Российский научный центр "Курчатовский институт" (Москва) - 1995 - N5867/4.- С.1-17.

[48] Макшиев В.В., Тарасов В.Б. Использование методов искусственного интеллекта в САПР. Анализ отечественного и зарубежного опыта // Техническая кибернетика. - 1991, N1. - с.164-176.

[49] Опарин Г.А. Разработка и применение инструментальных средств для автоматизации конструирования и поддержки функционирования пакетов прикладных программ в области исследования динамики сложных управляемых систем: Ав-тореф.дис. ... Канд. физ.-мат. наук. Новосибирск: ВЦ СО АН СССР, 1988.

[50] Латомб Ж.К. Искусственный интеллект в автоматизированном проектировании: система ТРОПИК // Системы автоматизированного проектирования.- М.: Наука, 1985.- С.62-110.

[51] Мацкин М.Б., Пеньям Я.Э., Тыугу Э.Х., Шмундак А.Л. Персональная система программирования / / Пакеты прикладных программ. Инструментальные системы.- М.: Наука, 1987.- С.54-64.

[52] Ардышев С.П., Заикин П.Н. ПИКС - инструментальная компьютерная система //Программирование. - 1990, N4. - с.79-82.

[53] Меркурьева Г.В., Меркурьев Ю.А. Экспертные системы имитационного моделирования (обзор) //Техническая кибернетика, 1991, N3. - С.156-173.

[54] Статические и динамические экспертные системы (классификация, состояние, тенденции). - М.: РосНИИ ИТиСАП, 1995.- 125с.

[55] Fensel Dieter, Eriksson Henric. Conseptual and formal specifications of problem solving method //Int. J. Expert Syst. - 1996 - 9,N4. - C.507-532.

[56] Weerawazana Sanjiva, Houstis Flias N., Rice John R., Joshi Anupam, Houstis Catherine E. PHITHIA: A knowledge-based system to select scientific algorithms //ACM Trans. Math. Software. 1996 - 22,N4. - C.447-468.

[57] Wielinga Bob, Schreiber Guas. Configuration-design problem solving //IEEE Expert. - 1997. - 12,N2. - C.49-56.

[58] Umeda Yasushi, Tomiyama Tetsuo. Functional reasoning in design //IEEE Expert. -1997. - 12,N2 - C.42-48.

[59] Барковский В.В., Захаров В.Н., Шаталов A.C. Методы синтеза систем управления.- М.: Машиностроение, 1969.- 327с.

[60] Чернецкий В.И., Дидук Г.А., Потапенко A.A. Математические методы и алгоритмы исследования автоматических систем.- JL: Энергия, 1970.- 374с.

[61] Уилкинсон Дж. и Райнш К. Справочник алгоритмов на языке АЛГОЛ. Линейная алгебра.- М.: Машиностроение, 1976.- 390с.

[62] Проектирование следящих систем с помощью ЭВМ / Под ред. Медведева В.С.-М.: Машиностроение, 1979.- 367с.

[63] Расчет систем управления на ЦВМ. Спектральный и интерполяционный методы / Под ред. В.Солодовникова, М.Пешеля.- М.: Машиностроение, 1979.- 663с.

[64] Данев Божидар В., Куклева Аделина Л. Пакет программ "Преобразование данных" // Проблемы технической кибернетики.- 1978, N7.- С.69-77.

[65] Белова Д.А., Кузин P.E. Применение ЭВМ для анализа и синтеза систем управления.- М.: Энергия, 1979.- 264с.

[66] Томов И., Маджаров Н., Стойчев И. Пакет прикладных программ для идентификации, моделирования, анализа и синтеза систем автоматического управления // Вычисл. техн. соц. стран.- 1979, N5.- С.78-86.

[67] Дж.Л.Мелса, С.К.Джонс. Программы в помощь изучающим теорию линейных систем.- М.: Машиностроение, 1981.- 200с.

[68] Анализ и оптимальный синтез на ЭВМ систем управления // Под ред. Воронова A.A. и Орурка И.А.- М.: Наука, 1984.- 344с.

[69] Траубос Х.Х., Санг С.П., Дюр Р. Система программного обеспечения для моделирования и анализа систем управления космическими объектами / / Управление в простроанстве,- М.: Наука, 1976.- Т.2.- С.107-117.

[70] Дорри М.К., Климачев С.Н. Некоторые проблемы автоматизации проектирования структур систем управления непрерывными объектами // Автоматика и телемеханика.- 1982, N3.- С.117-128.

[71] Чхартишвили Г.С. Специальное программное обеспечение отечественных универсальных больших и мини-ЭВМ для решения задач проектирования динамических систем // Программирование.- 1980, N3.- С.74-79.

[72] Осипов Б.Л. ДИСНЕМ - программные средства для моделирования дискретно-непрерывных систем автоматического управления // Программирование.- 1982, N4,- С.88-94.

[73] Солодовников В.В., Сивцов В.И., Чулин H.A. Пакетная система для автоматизированного синтеза частотным методом // Автоматизация проектирования систем управления. - М.: Финансы и статистика, 1982. - Вып.4. - С.62-75.

[74] The interactive packagey SATER. Part 1: Description on the SATER system / by A.J.W. van den Boom and R.Bollen - report, Group Measurement and Control, EE Dept., Eindhoven University of Technogy, the Netherland, 1982.

[75] Острем К., Виттенмарк Б. Системы управления ЭВМ.- М.: Мир, 1987.- 480с.

[76] Дискретные нелинейные системы / А.Д.Аверина, А.Н.Герасимов, С.П.Забродин и др.; Под.ред. Ю.И.Топчеева.- М.: Машиностроение, 1982.- 312с.

[77] Методы автоматизированного проектирования нелинейных систем / С.К.Коваленко, М.А.Колывагин, В.С.Медведев и др.; Под.ред. Ю.И.Топчеева.-М.: Машиностроение, 1993.- 576с.

[78] Потемкин В.Г. Автоматизированное проектирование: Алгоритмы исследования систем управления.- М.: МИФИ, 1980.- 85с.

[79] Топчеев Ю.И. Атлас для проектирования систем автоматического регулирования: Учеб.пособие для втузов.- М.: Машиностроение, 1989.- 752с.

[80] Справочник по теории автоматического управления / Под.ред. А.А.Красовского.-М.: Наука, 1987.- 712с.

[81] Машинное проектирование систем автоматического управления / Под.ред. В.А.Букатова.- JL: Судостроение, 1978.

[82] Диалоговая система проектирования систем автоматического управления ДИСПАС, версия 2,- М.: МАИ, 1981.

[83] Андриевский Б.Р., Деревицкий Д.П., Спиридонов A.A., Уткин В.Н., Фрадков A.JI. Принципы построения и входной язык САПР адаптивных систем управления / / Вопросы кибернетики. Актуальные задачи адаптивного управления.- М.: Науч. совет АН СССР по комплекс, пробл. "Кибернетика", 1982,- С.31-49.

[84] Подчукаев В.А., Ильин С.А., Петрова Т.А. Диалоговая система моделирования нелинейных структур - МОНСТР / / Автоматизированное проектирование систем управления.- М.: МВТУ им. Н.Э.Баумана, 1983.- С.44-52.

[85] Ойт М., Яааксоо Ю. Диалоговая система машинного проектирования многомерных регуляторов // Автоматизация проектирования систем управления. Вып. 4.-М.: Финансы и статистика, 1982.- С.145-156.

[86] Семенов В.В. Принципы формирования и фрагменты базы знаний теории управления / / Общее математическое обеспечение систем автоматизированного проектирования.- М.: МАИ, 1981.- С.3-17.

[87] Штрайбер Т.Дж. Моделирование на GPSS.- М.: Машиностроение, 1980.- 592с.

[88] Киндлер Е. Языки моделирования.- М.: Энергоатомиздат, 1985.- 288с.

[89] Gordon G. System Simulation. Englewood Cliffs, Prenfice-Hall, 1969.

[90] Потёмкин В.Г., Кривченко В.В. Диалоговая система проектирования ДИАЛ. - М.: МИФИ,1980. - 72с.

[91] Дьяконов В.П. Справочник по применению систем PC MatLAB. - М.: Физматлит, 1993.- 112с.

[92] Христьяновский Д.Г. Интеллектуальная система автоматизации моделирования и инженерных расчетов динамических объектов блочно модульной структуры / / Сборник научных трудов национальной конференции с международным участием "Искусственный интеллект - 94". В двух томах. Т. 2. - М.: ВЦ РАН,1994. - с. 386-389.

[93] Бутырин С.А., Васильев С.Н., Мукумов P.P., Сомов Е.И., Макаров В.П. Экспертная система для синтеза систем управления ориентацией космических аппаратов // Оптимизация, управление, интеллект. - Иркутск: ИрВЦ СО РАН,1995. - с.177-197.

[94] Болнокин В.Е., Чинаев П.И. Анализ и синтез систем автоматического управления на ЭВМ. Алгоритмы и программы. - М.: Радио и связь,1986. - 248с.

[95] Сольпицев Р.И. Автоматизация проектирования САУ. - М.: Высшая школа,1991, - 352с.

[96] Автоматизированное проектирование САУ /Под ред. В.В. Солодовникова. - М.: Машиностроение,1990. - 335с.

[97] Матросов В.M., Решетнев М.Ф., Раевский В.А., Козлов А.Г., Титов Г.П., Сомов Е.И., Бутырин С.А., Герасин И.А., Герасин С.А. Система программного обеспечения ДИНАМИКА - инструмент автоматизированного моделирования и имитации отказоустойчивых систем управления космических аппаратов / / Актуальные проблемы, эксперимент.- 1997, N2.- С.7-16.

[98] Технология системного моделирования / Аврамчук Е.В., Вавилов A.A., Емельянов C.B. и др. Под общей ред. Емельянова C.B. и др.- М.: Машиностроение; Берлин: Техник, 1988.- 520с.

[99] Soodamani R., Sivanandam S.W. A knowledge-based CAD for control system //Proc. Conf. AI Appl. Phys. Sei., Bombay, Jan. 15-16, 1992. - Bombay, 1992. - P.G2/1 - C2/14.

[100] Зарубежные библиотеки и пакеты программ по вычислительной математике / Под ред. Кауэлла - М.: Наука,1993. - 344 с.

[101] Данилов A.M., Опарин Г.А., Стрежнев В.А. К синтезу нелинейных слабодемпфи-рованных колебательных управляемых систем // Вычислительные и управляемые системы летательных аппаратов.- Казань: КАИ, 1978.- Вып.1.- С.24-29.

[102] Опарин Г.А. Комплекс программ для параметрического синтеза прецизионных электромеханических систем // Теория устойчивости и ее приложения.- Новосибирск: Наука, 1979.- С.284-292.

[103] Опарин Г.А. САТУРН - метасистема для построения пакетов прикладных программ. Инф.листок N355-80 // Иркутск: ЦНТИ, 1980,- 4с.

[104] Опарин Г.А. К теории планирования вычислительного процесса в пакетах прикладных программ // Пакеты прикладных программ. Методы и разработки. - Новосибирск: Наука, 1981. - С. 5-20.

[105] Опарин Г.А. САТУРН - метасистема для построения пакетов прикладных программ // Разработка пакетов прикладных программ. - Новосибирск: Наука, 1982. - С. 130-160.

[106] Опарин Г.А., Феоктистов Д.Г. Генерация управляющей программы пакета прикладных программ в метасистеме САТУРН // Пакеты прикладных программ. Технология разработки. - Новосибирск: Наука, 1983. - С. 4-14.

[107] Опарин Г.А., Феоктистов Д.Г. САТУРН - метасистема для разработки пакетов прикладных программ //II Всесоюз. конф. "Автоматизация производства пакетов прикладных программ и трансляторов". - Таллин: ИК АН ЭССР, 1983. - С. 73-75.

[108] Опарин Г.А. Пакет программ ДИАНА для анализа динамики прецизионных электромеханических систем (библиотека процедур) // Пакеты прикладных программ. Технология разработки.- Новосибирск: Наука, 1983.- С.87-101.

[109] Лавров С., Левин Д., Матулис В., Мацкин М., Нариньяни А., Опарин Г., Тыугу Э., Хорошевский В. Технологические системы поддержки разработок искусственного интеллекта// Представление знаний в человеко-машинных и робототехнических системах,- М.: ВЦ АН СССР, ВИНИТИ, 1984.- Том В. - С. 102-123.

[110] Опарин Г.А., Феоктистов Д.Г. Организация диалога в пакетах программ, конструируемых с помощью метасистемы САТУРН // Материалы III Всесоюз. конф. "ДИАЛОГ - "ЧЕЛОВЕК - ЭВМ". - Серпухов: ИФВЭ ГКАЭ СССР, 1984. - С. 105.

[111] Матросов В.М., Опарин Г.А., Почтаренко М.В. Пакет прикладных программ по динамическому анализу нелинейных мехенических и управляемых систем (Рег.номер ГосФАП П006822) // Алгоритмы и программы. - М.: ВНТИЦентр, 1984, N1(58).- С.72.

[112] Алдошкин Ю.Г., Киселев С.И., Опарин Г.А., Рыбачук Ю.В., Рыжов В.П. Специализированное программное обеспечение моделирования динамики составных

непрерывно-дискретных систем // Пакеты прикладных программ: Функциональное наполнение.- Новосибирск: Наука, 1985.- С. 11-19.

[113] Опарин Г.А. Пакет программ ДИАНА для анализа динамики прецизионных электромеханических систем (языковые средства) // Пакеты прикладных программ. Функциональное наполнение. - Новосибирск: Наука, 1985. С. 135-142.

[114] Опарин Г.А., Киселев С.И. БАЙКАЛ - система автоматизации моделирования сложных непрерывных объектов, управляемых ЦВМ // В сб.: V Всесоюзной конф. по управлению в механических системах.- Казань: КАИ, 1985.

[115] Опарин Г.А., Киселев С.И. Специализированное программное обеспечение для автоматизации моделирования динамики сложных непрерывно-дискретных управляемых систем // Тезисы докладов II Всесоюзного совещания "Моделирование авиационных и космических кибернетических систем".- Сухуми, 1985.- С.94-97.

[116] Опарин Г.А., Феоктистов Д.Г. САТУРН - метасистема для автоматизации конструирования и поддержки функционирования пакетов прикладных программ с автоматическим планированием вычислительного процесса / / Пакеты прикладных программ. Итоги и применения. - Новосибирск: Наука, 1986. - С. 12-21.

[117] Опарин Г.А., Киселев С.И. ЯМБ - входной язык системы моделирования БАЙКАЛ // Пакеты прикладных программ: Итоги и применения.- Новосибирск: Наука, 1986,- С.21-31.

[118] Опарин Г.А., Феоктистов Д.Г. Планирование вычислительного процесса в метасистеме САТУРН // Проблемы искусственного интеллекта и распознавания образов. Научная конф. с участием ученых из соц. стран. Тез. докл. и сообщений. Секция 1. Искусственный интеллект. - Киев: ИК АН УССР, 1984. - С. 132-134.

[119] Matrosov V.M., Vassilyev S.N., Divakov O.G., Oparin G.A. On the intellectual program packages// Artifical Intelligence and Information - Control Systems of Robots:

Proc. of the Third International Conference, Smolenice, Chechoslovakia, 14-15 June, 1984. - Elsevier Science Publishers B.V.(North-Holland), 1984,- P. 241-246.

[120] Опарин Г.А., Феоктистов Д.Г. Новые языковые средства пакетов прикладных программ в метасистеме САТУРН // Пакеты прикладных программ. Функциональное наполнение. - Новосибирск: Наука, 1985. - С. 20-28.

[121] Опарин Г.А., Феоктистов Д.Г. Опыт разработки и применения инструментальной системы САТУРН для автоматизации конструирования и поддержки функционирования ППП // Численные методы и средства проектирования и испытания РЭА. Тез. докл. Том 2. - Таллин: ТПИ, 1987. - С. 97-100.

[122] Журавлев А.Е., Опарин Г.А. Диалоговая инструментальная система САТУРН-ЕС для автоматизации производства и эксплуатации комплексов пакетов программ на ЕС ЭВМ // Комплексы программ математической физики и архитектура ЭВМ.-Красноярск: ВЦ СО АН СССР, 1988,- С. 114-127.

[123] Опарин Г.А., Феоктистов Д.Г. Управление памятью в метасистеме САТУРН // Инструментальные системы и моделирование. - Новосибирск: Наука, 1988. - С. 8491.

[124] Журавлев А.Е., Опарин Г.А. Технология комплексирования пакетов программ в инструментальной системе САТУРН-ЕС при построении систем автоматизации проектирования // Численные методы и средства проектирования и испытания элементов твердотельной электоники. Тезисы докладов Республиканского семинара. Том 2,- Таллин: ТТУ, 1989,- С. 89-92.

[125] Матросов В.М., Опарин Г.А., Козлов Р.И., Сомов' Е.А., Бутырин С.А. СППО для исследования динамических движущихся объектов // Программные системы в автоматизации проектирования изделий машиностроения.- Ижевск, 1988.- С.10-11.

[126] Опарин Г.А., Киселев С.И. Информационное и программное обеспечение системы БАЙКАЛ // Инструментальные системы и моделирование. - Новосибирск: Наука, 1988. - С.91-99.

[127] Опарин Г.А. Инструментальное программное обеспечение для автоматизации инженерных расчетов сложных автоматических систем / / Программное обеспечение ЭВМ новых поколений. Тезисы докладов VIII Сибирской школы по пакетам прикладных программ. - Иркутск: Иркутский ВЦ СО АН СССР, 1989.- С.44-45.

[128] Опарин Г.А., Киселев С.И. БАЙКАЛ - диалоговая система моделирования сложных непрерывно-дискретных объектов // Материалы конф. ДИАЛОГ-ЧЕЛОВЕК-ЭВМ. Часть 2.- Свердловск: УрО АН СССР, 1989.- С.118-121.

[129] Журавлев А.Е., Опарин Г.А. Языковые средства спецификации проблемной области и постановок задач в ИС САТУРН-ЕС // Программное обеспечение ЭВМ новых поколений. Тезисы докладов VIII Сибирской школы по пакетам прикладных программ. - Иркутск: Иркутский ВЦ СО АН СССР, 1989.- С. 39.

[130] Журавлев А.Е., Опарин Г.А. Организация диалога на основе баз знаний в инструментальной системе САТУРН-ЕС // Тезисы докладов VIII Всесоюзной конференции "Диалог "ЧЕЛОВЕК-ЭВМ". Часть 2,- Свердловск: УрО АН СССР, 1989.-С. 107-108.

[131] Журавлев А.Е., Опарин Г.А. Принципы организации и функционирование объектно-ориентированной диалоговой системы управления базами знаний "ОБЪЕКТ" // Тезисы докладов IV Всесоюзной научной конференции "Системы баз данных и знаний". - Калинин: НПО "Центрпрограммсистем", 1989.

[132] Опарин Г.А., Переверзева С.В., Тухалова О.Г. Пакеты программ для автоматизации динамических расчетов непрерывных и цифровых автоматических систем // Машинные методы в задачах механики устойчивости и управления.- Казань: КАИ, 1990,- С.51-52.

[133] Опарин Г.А. Инструментальное программное обеспечение для разработки интеллектуальных САПР систем управления движением // Автоматизация создания математического обеспечения и архитектуры систем реального времени.- М.: НИИ АС, 1990.- С.50-51.

[134] Опарин Г.А., Киселев С.И. Инструментальный комплекс БАЙКАЛ и его использование для моделирования систем реального времени // Автоматизация создания математического обеспечения и архитектуры систем реального времени.- М.: НИИ АС, 1990.- С.54-56.

[135] Матросов В.М., Раевский В.А., Козлов Р.И., Сомов Е.И., Титов Т.П., Клима-рев A.M., Кондратьев В.В., Опарин Г.А., Бутырин С.А., Симонов С.А. СППО для автоматизированного проектирования систем управления движением // Автоматизация создания математического обеспечения и архитектуры систем реального времени,- М.: НИИ АС, 1990.- С.45-48.

[136] Журавлев А.Е., Опарин Г.А. Инструментальная среда разработки и эксплуатации экспертных систем организации вычислительных процессов на основе библиотек подпрограмм // Экспертные системы. Всесоюзное совещание. Тезисы докладов. - М: ИПУ, 1990. - С. 165-166.

[137] Журавлев А.Е., Опарин Г.А. Специализированная система управления базами данных в инструментальной системе САТУРН-ЕС. // Интеллектуализация средств программирования. - Новосибирск: Наука. Сиб. отд-ние, 1990. - С. 55-66.

[138] Опарин Г.А., Черемных C.B. Алгоритмическое обеспечение динамического анализа и параметрического синтеза линейных непрерывно-дискретных прецизионных электромеханических систем в пакете прикладных программ ДИСАН // Интеллектуализация программных средств.- Новосибирск: Наука, 1990.- С.132-142.

[139] Опарин Г.А., Феоктистов Д.Г., Феоктистов А.Г. Диалоговая инструментальная система для автоматизации разработки, производства и эксплуатации пакетов прикладных программ с планированием схем вычислений и гибким управлением вычислительным процессом (САТУРН-МВК) (Per. номер 50910000253) // Алгоритмы и программы.- М.: ВНТИЦентр, 1991, N4.- С.13.

[140] Опарин Г.А., Феоктистов Д.Г. Журавлев А.Е. Инструментальное программное обеспечение для автоматизации разработки прикладных интеллектуальных систем // Интеллектуальные системы в машиностроении. Материалы Всесоюзной научно-технической конференции. Часть 3. - Самара: Самарский филиал Института машиноведения АН СССР, 1991. - с. 93-96.

[141] Matrosov V.M., Oparin G.A., Feoktistov D.G., Zhuravlev А.Е. Kiselev A.I. A Software Tool and Technology of its Application (SATURN - Technology) for Development and Explotation of Applied Intelligent Packages for Mathematical Modelling and Investigation of Control System of Complex Objects' Motion // IMACS/IFAC International Workshop "Methods and Software for Automatic Control System", Summaries of Papers. - Irkutsk: Irkutsk Computing Center, 1991. - P. 92-93.

[142] А.Е.Журавлев, Г.А.Опарин, Д.Г.Феоктистов. Инструментальные средства построения и эксплуатации гибридных экспертных систем вычислительного типа для решения задач математического моделирования и вычислительного эксперимента // Программное обеспечение математического моделирования, управления и искусственного интеллекта. Тезисы докладов IX Школы по ППП (ноябрь, Адлер, 1991). - Иркутск, ИрВЦ СО АН СССР, 1991.- С.96-97.

[143] В.Г.Богданова, А.Е.Журавлев, Г.А.Опарин, Д.Г.Феоктистов. PQBASE- Профессиональная инструментальная СУБД для разработчиков диалоговых систем автоматизированной обработки данных на ПЭВМ типа IBM PC/XT/AT // Программное обеспечение математического моделирования, управления и искусственного ин-

теллекта. Тезисы докладов IX Школы по ППП (ноябрь, Адлер, 1991). - Иркутск, ИрВЦ СО АН СССР, 1991.- С.91-92.

[144] С.И.Киселев, Г.А.Опарин. Интеллектуальная среда моделирования динамики цифровых систем управления сложными объектами / / Программное обеспечение математического моделирования, управления и искусственного интеллекта. Тезисы докладов IX Школы по ППП (ноябрь, Адлер, 1991). - Иркутск, ИрВЦ СО АН СССР, 1991.- С.99-100.

[145] Г.А.Опарин, А.Г.Феоктистов. Организация системной части пакета прикладных программ по линейной алгебре Е18РАСК средствами инструментальной системы САТУРН // Программное обеспечение математического моделирования, управления и искусственного интеллекта. Тезисы докладов IX Школы по ППП (ноябрь, Адлер, 1991). - Иркутск, ИрВЦ СО АН СССР, 1991,- С.112.

[146] Г.А.Опарин, О.Г.Тухалова, С.В.Переверзева. Пакет программ ДИСАН для исследования динамики нелинейных цифровых систем стабилизации электромеханическими объектами // Программное обеспечение математического моделирования, управления и искусственного интеллекта. Тезисы докладов IX Школы по ППП (ноябрь, Адлер, 1991). - ИрВЦ СО АН СССР, Иркутск, 1991.- С.113.

[147] Г.А.Опарин. Двоичные динамические модели планирования вычислений в модульных программных системах / / Программное обеспечение математического моделирования, управления и искусственного интеллекта. Тезисы докладов IX Школы по ППП (ноябрь, Адлер, 1991). - Иркутск, ИрВЦ СО АН СССР, 1991.- С.113-114.

[148] Г.А.Опарин, Д.Г.Феоктистов, А.Е.Журавлев. Инструментальные средства автоматизированной разработки и эксплуатации интеллектуальных САПР систем управления движением // Автоматизация создания математического обеспечения и архитектуры систем реального времени. Тезисы докладов Ш Всесоюзной школы.-Саратов, 1992,- С.80-81.

[149] С.И.Киселев, Г.А.Опарин. Сборочное конструирование математических моделей цифровых систем управления подвижными объектами // Автоматизация создания математического обеспечения и архитектуры систем реального времени. Тезисы докладов Ш Всесоюзной школы.- Саратов, 1992.- С.90-91.

[150] В.М.Матросов, Ю.Г.Алдошкин, С.И.Киселев, Г.А.Опарин. Автоматизация моделирования динамики составных непрерывно-дискретных систем управления движущимися объектами / / Динамика и управление космическими объектами /под ред. Матросова В.М., Решетнева М.Ф. Новосибирск: Наука, 1992.- С.179-193.

[151] А.Е.Журавлев, Г.А.Опарин, Д.Г.Феоктистов. Инструментальные средства построения и эксплуатации гибридных экспертных систем вычислительного типа // Вычислительные технологии. - Новосибирск: ИВТ СО РАН, 1993, - т.2, N 6, с. 13-26.

[152] В.Г. Богданова, А.Е.Журавлев, Г.А.Опарин, Д.Г. Феоктистов. Высокопроизводительная xBASE совместимая СУБД с оптимизирующим компилятором входного языка и открытой архитектурой / Программные продукты и системы. - 1994, - N 2, с. 18-21.

[153] Г.А.Опарин, Д.Г.Феоктистов. Организация знаний при математическом моделировании и исследовании динамики систем управления движущимися объектами. // Сборник докладов VI Всероссийского семинара по управлению движением и навигации летательных аппаратов. - Самара: Аэрокосмический университет, 1994.-С.56-60.

[154] Опарин Г.А., Феоктистов Д.Г. Планирование схем решения задач в инструментальном комплексе САТУРН/ПЗ // Компьютерная логика, алгебра и интеллектное управление.- Иркутск: ИрВЦ СО РАН, 1994, Т.1. - С.3-13.

[155] Журавлев А.Е., Опарин Г.А. Представление знаний о проблемной области в инструментально-технологическом комплексе САТУРН/ПЗ. Концептуальная схема и выбор модели данных // Компьютерная логика, алгебра и интеллектное управление,- Иркутск: ИрВЦ СО РАН, 1994, Т.1. - С.76-88.

[156] Опарин Г.А., Феоктистов А.Г., Феоктистов Д.Г. Конкретизатор схем вычислительного процесса в пакетах программ с автоматическим планированием вычислений // Компьютерная логика, алгебра и интеллектное управление.- Иркутск: ИрВЦ СО РАН, 1994, Т.1.- С.140-157.

[157] Богданова В.Г., Опарин Г.А., Феоктистов А.Г., Автоматизация разработки схе-моориентированных языков графического описания для моделирования систем блочной структуры // Компьютерная логика, алгебра и интеллектное управление.-Иркутск: ИрВЦ СО РАН, 1994, Т.1.- С.101-114.

[158] Опарин F.A. Инструментальная САТУРН-среда для разработки и эксплуатации прикладных интеллектуальных систем в области математического моделирования и вычислительного эксперимента // Сборник научных трудов IV Национальной конференции с международным участием "Искусственный интеллект - 94". - М.: ВЦ РАН, ИПС РАН. - 1994. - Т.2. - С.332-336.

[159] Опарин Г.А. Методологические аспекты технологии компьютерного исследования и проектирования систем управления сложными движущимися объектами. // Устойчивость и управление для трансформирующихся нелинейных систем. Международная научная конференция. 27 - 29 июня 1995 года. Москва: Тезисы докладов /МАИ, С. 69.

[160] Опарин Г.А. Численное решение больших разреженных систем булевых уравнений. //IV Международная конференция "ПРИКЛАДНАЯ ЛОГИКА - 95". Иркутск, 15 - 17 июня, 1995 года. Иркутск: Тезисы докладов /ИГУ.

[161] Опарин Г.А., Феоктистов А.Г., Феоктистов Д.Г. Комбинированный исполнитель схем вычислительного процесса в инструментально-технологическом комплексе САТУРН/ПЗ // Компьютерная логика, алгебра и интеллектное управление. -Иркутск: ИрВЦ СО РАН, 1995.- Т.З.- С.156-168.

[162] Опарин Г.А. Сборочно-конкретизируюгцее моделирование в инструментальной САТУРН-среде. // Компьютерная логика, алгебра и интеллектное управление. -Иркутск: ИрВЦ СО РАН, 1995.- Т.З.- С.139-155.

[163] Опарин Г.А., Феоктистов А.Г., Феоктистов Д.Г. Комбинированный режим исполнения абстрактных программ в инструментально-технологическом комплексе САТУРН/ПЗ // Автоматика и вычислительная техника. - 1996, N6, С.77-84.

[164] Опарин Г.А., Феоктистов А.Г., Богданова В.Г. Системная САТУРН-среда пакетов знаний / Труды II Международного симпозиума "Интеллектуальные системы" (ИНТЕЛС'96)". Под ред. Пупкова К.А. (Санкт-Петербург, 1-4 июля 1996г.) В двух томах. Т.2.- М.: Изд-во РУДН-ПАИМС, 1996,- С.99-104.

[165] Опарин Г.А., Феоктистов А.Г., Феоктистов Д.Г., Журавлев А.Е., Богданова В.Г. Инструментальная система для разработки и эксплуатации пакетов знаний для ПЭВМ IBM PC/AT (САТУРН/ПЗ). Свидетельство об официальной регистрации программы для ЭВМ N 960294. Москва: РосАПО, 1996.

[166] Опарин Г.А. Алгоритм решения больших разреженных систем булевых уравнений // Новые информ. технологии в исследовании дискр. структур. Екатеринбург: УрО РАН, 1996.- С.137-144.

[167] Журавлев А.Е., Опарин Г.A. SATL - язык для представления и использования пакетных знаний / Программные продукты и системы. - 1996, N3, С.26-35.

[168] Опарин Г.А., Феоктистов А.Г., Феоктистов Д.Г., Журавлев А.Е. Инструментальные средства построения и эксплуатации пакетов знаний // Управляющие системы и машины. - 1997, N1-3, С.138-143.

[169] Журавлев А.Е., Опарин Г.А. Управление данными в инструментальной САТУРН-среде для накопления и использования пакетных знаний // Программные продукты и системы.- 1997, N3.- С.21-27.

[170] Раевский В.А., Монахов В.В., Глазунов А.Ф. Цифровая система ориентации и стабилизации геостационарного спутника-ретранслятора " Луч" / / Динамика и управление космическими объектами / Под ред. В.М.Матросова, М.Ф.Решетнева,-Новосибирск: Наука, 1992,- С.40-47. .

[171] Литвинов В.В., Марьянович Т.П. Методы построения имитационных систем.-Киев: Наукова Думка, 1991.- 117с.

[172] Системы управления базами данных и знаний: Справ.изд. / А.Н.Наумов, А.М.Вендров, В.К.Иванов и др.; Под.ред. А.Н.Наумова.- М.: Финансы и статистика, 1991.- 352с.

[173] Colmerauer A. An introduction to Prolog III. Communication of the ACM, 33, 1990, N7.

[174] Агафонов B.H. Спецификация программ: понятийные средства и их организация.-Новосибирск: Наука, 1987.- 210с.

[175] Бежанова М.М., Поттосин И.В. Средства разработки прикладного программного обеспечения с точки зрения современных требований и возможностей / / Пакеты прикладных программ. Программное обеспечение вычислительного эксперимента.-М.: Наука, 1987.- С.82-100.

[176] Тыугу Э.Х. Концептуальное программирование. - М:Наука, 1984,- 256с.

[177] Бабаев И.О., Новиков Ф.А., Петрушина Т.И. Язык Декарт - входной язык системы СПОРА //Прикладная информатика. - М.: Финансы и статистика, 1981. -Вып.1,- С.35-73.

[178] Герман О.В., Боровский Ю.В., Безверхов В.Н., Фролов Ю.В. Входной язык спецификации задач в человеко-машинной решающей системе //Программирование. -1997,N6.- С.51-57.

[179] Страустрап Б. Язык программирования С++. - Киев: ДиаСофт,1993. - 669с.

[180] Цаленко М.Ш. Семантические и математические модели базы данных. Итоги науки и техники. Информатика,- М.: ВИНИТИ, 1985. т.9. - 207с.

[181] Андреев A.M., Березкин Д.В., Кантонистов Ю.А. Среда и хранилище: ООБД // Мир ПК.- 1998, N4.- С.74-81.

[182] Цикритзис Д., Лоховски Ф. Модели данных. - М.: Финансы и статистика,1985. -344с.

[183] Мейер Д. Теория реляционных баз данных.- М.: Мир, 1987.- 608с.

[184] Канович М.И., Минц Г.Е. Планирование при синтезе программ // Искусственный интеллект. В 3-х кн. Кн.2. Модели и методы: Справочник /Под ред. Д.А. Поспелова. - М.: Радио и связь,1990. - с.243-251.

[185] Васильев С.Н. Вывод теорем на основе логических уравнений и типизации переменных // Функции Ляпунова и их применения. - Новосибирск: Наука,1987. -С.60-84.

[186] Васильев С.Н. Диалоговый синтез программ в частично-формализованном языке // Применение методов математической логики.- Таллин, 1986.- С.46-47.

[187] Васильев С.Н. Методы и программные средства синтеза математических теорем // Инструментальные системы и моделирование. - Новосибирск: Наука,1988. - С.4-27.

[188] Гулямов Ш.Б. Метод решения логических уравнений в дескриптивно-конструктивной семантике // Теория и системы управления. - 1995, N5. - С.24-38.

[189] Пандеф Е. Булевы матрицы // Булева алгебра и конечные автоматы. - М.: Мир,1969. - С.53-61.

[190] Ледли P.C. Программирование и использование цифровых вычислительных машин. - М.: Мир,1966. - 644с.

[191] Лорьер Ж.Л. Системы искусственного интеллекта. - М.: Мир,1991. - 568с.

[192] Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи.- М.: Мир, 1982,- 416с.

[193] Катериночкина H.H., Мадатян Х.А., Платоненко И.М., Королёва З.Е. Методы решения булевых уравнений // Сообщения по прикладной математике.- М.: ВЦ АН СССР,1988,- 21с.

[194] Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика.- М.: Мир,1980.- 476с.

[195] Аджиев В. Объектная ориентация: философия и футурология // Открытые системы. - 1996, N6. - С.40-45.

[196] Вирт Н. Долой "жирные программы" //Открытые системы. - 1996, N6. - с.27-31.

[197] Соловьев В.П., Рудаков А.О. Состояние и тенденции развития CASE-средств // Автоматика и вычислительная техника. - 1994, N4. - с.32-36.

[198] Вагин В.Н., Головина Е.Ю., Салапина Н.О. Искусственный интеллект в CASE-технологии // Программные продукты и системы. - 1996, N3. - С.13-21.

[199] Викторова Н.П., Мосалева Е.А., Шугаева Е.В. HELPS - система автоматизации проектирования сложных программных комплексов / / Техническая кибернетика. -1989, N5. - С.168-178.

[200] Lamb David Alex, Jain Nitil. An overview of knowlege-based tools for software development // New comput Techn. Phys. Res.. Proc. 1-st Int. workshop Software

Eng., Artif. Intell. and Expert Syst. High Energy and Nucl. Phys., Lyon, March 19-24, 1990.- Paris.- P.3-21.

[201] Хорошевский В.Ф. Управление проектами в интеллектуальной системе Pies WorkBench // Техническая кибернетика. - 1993, N5. - С.156-171.

[202] Агафонов В.Н. CASE-системы и методы спецификации программ // Программные продукты и системы. - 1993, N1. - С.54-58.

[203] Калянов Г.Н. CASE-технологии проектирования программного обеспечения // Кибернетика и системный анализ. - 1993, N5. - С.152-164.

[204] 191. Турский В.М. Методология программирования. - М.: Мир,1981. - 265с.

[205] Брукс Ф.П. Как проектируются и создаются программные комплексы: мифический человеко-месяц. Очерки по системному программированию.- М.: Наука, 1979.-151с.

[206] Parnas D.L. On the criteria to be used in decomposing systems into moduls // Comm. of the ACM.- V.15, N12.- 1972.- P.1053-1058.

[207] Агафонов B.H., Борщев В.Б., Воронков А.А. Логическое программирование в широком смысле //Логическое программирование. - М.: Мир,1988. - С.299-366.

[208] Кузнецов В.Е. Представление в ЭВМ неформальных процедур. - М.: Наука,1989. - 160с.

[209] Хамби Э. Программирование таблиц решений. - М.: Мир,1976. - 86с.

[210] Буч Г. Объектно-ориентированное проектирование с примерами применения. -М.: Конкорд,1992. - 519с.

[211] Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при разработке программ. - М.: Мир,1989. - 424с.

[212] Коутс Р., Влейминк И. Интерфейс "человек - компьютер". - М.: Мир,1990. - 501с.

[213] Бежанова М.М. Входные языки пакетов прикладных программ. Препринт N168.-Новосибирск: ВЦ СО АН СССР, 1979.- 30с.

[214] Донован Дж. Системное программирование.- М.: Мир, 1975.- 540с.

[215] Цикритзис Д., Бернстайн Ф. Операционные системы. - М.: Мир,1977. - 336с.

[216] Jeffcoate Judith. Object-oriended system for information management //Inf.Manay. and Technol. - 1996.-29,N1. - C21-25.

[217] Кнут Д. Искусство программирования для ЭВМ. Т.1. Основные алгоритмы.- М.: Мир, 1976.- 735с.

[218] Программные системы / Под ред. Бахманна. - М.: Мир, 1988. - 288с.

[219] Отне Р., Эноксон J1. Прикладной анализ временных рядов.- М.: Мир, 1982,- 428с.

[220] Ракитский Ю.В., Устинов С.М., Черноруцкий И.Г. Численные методы решения жестких систем.- М.: Наука, 1979.- 208с.

[221] Gear G.W. DIFSUB for solution of the ordinary differential equations // Comm. ACM, 1971, v.14, N3.- P.185-190.

[222] Бахвалов H.C. Численные методы.- M.: Наука, 1975.- Т.1.- 631с.

[223] Dell A.M., Weil R.L., Thompson G.L. Roots of matrix pensils // Comm. ICM, 1971, v.14, N2,- P113-117.

[224] Попов Е.П., Пальтов И.П. Приближенные методы исследования нелинейных автоматических систем.- М.: Физматгиз, I960.- 792с.

[225] Айзерман М.А., Гантмахер Ф.Р. Абсолютная устойчивость нелинейных регулируемых систем.- М.: Наука, 1963.

[226] Карпов А.И., Стрежнев В. А. Построение динамических моделей и идентификация в задачах исследования динамики сложных систем / / Теория устойчивости и ее приложения.- Новосибирск: Наука, 1974.- С.277-284.

[227] Дейч A.M. Методы идентификации динамических объектов.- М.: Энергия, 1979.-240с.

[228] Налимов В.В., Чернова H.A. Статистические методы планирования экстремальных экспериментов.- М.: Наука, 1985.- 285с.

[229] Андреев Ю.Н. Управление конечномерными линейными объектами.- М.: Наука, 1976.- 424с.

[230] Стрейц В. Метод пространства состояний в теории дискретных линейных систем управления.- М.: Наука, 1985.

[231] Косякин A.A., Шамриков Б.М. Колебания в цифровых автоматических системах.- М.: Наука, 1983.- 336с.

[232] Изерман Р. Цифровые системы управления.- М.: Мир, 1984.- 541с.

[233] Иванов В.А., Югценко A.C. Теория дискретных систем автоматического управления.- М.: Наука, 1983.- 336.

[234] Бесекерский В.А. Цифровые автоматические системы.- М.: Наука, 19976.- 576с.

[235] Раевский В.А., Титов Г.П., Панкрац А.И. Анализ структуры, постановка задачи и определение области применения средств искусственного для бортовых систем ориентации и управления динамики КА связи и навигации. Научно-технический отчет по НИР "КОВЫЛЬ-СО".- Красноярск, 1991.- 170с.

[236] Р.З.Абдуллин, Л.Ю. Анапольский, А.И.Маликов и др. Пакет программ по численному построению векторных функций Ляпунова // Пакеты прикладных программ. Опыт разработки. - Новосибирск: Наука, 1985.- С. 18-28.

[237] Г.М.Ружников. A.B. Данеев, Г.Ф.Сигалов и др. Пакет прикладных программ МИКРОН - Иркутск, 1988. - 36 с. (Препр./ Иркутский ВЦ СО АН СССР; N 6).

[238] Абдуллин Р.З., Каратуева H.A., Ласкин В.М. Функциональное наполнение пакета программ по анализу и устойчивости и других динамических свойств систем // Интеллектуализация средств программирования. - Новосибирск: Наука. Сиб. отд-ние, 1990. - С. 112-123.

[239] Бурносов C.B., Коздов Р.И. Состояние и перспективы развития ППП по построению количественных оценок динамики и синтезу нелинейных систем управления методом ВФЛ // Интеллектуализация средств программирования. - Новосибирск: Наука. Сиб. отд-ние, 1990. - С. 142-152.

[240] Боткин Н.Д., Зарх М.А. Разработка и функционирование пакетов программ решения задач гарантированного управления в среде инструментальной системы САТУРН // Программное обеспечение ЭВМ новых поколений. Тез. докл. 8 Сибирской школы по пакетам прикладных программ. - Иркутск: ИрВЦ СО АН СССР,1989. -с.94.

[241] Панченков A.A., Орлов Ю.Ф., Шлаустас Р.Ю., Антошкина Г.И., Борисюк М.Н. Математическая технология пакета прикладных программ ПОЛЕТ.- Новосибирск: Наука, 1988.- 122с.

[242] Арфин Б.А., Дремучев H.H., Наумов В.Л. и др. Концепция пакета прикладных программ для расчета эффективного реактора на быстрых нейтронах. Промежуточный отчет.- Горький: ГПИ, 1989.

[243] Пакет прикладных программ по динамическому анализу и параметрическому синтезу прецизионных электромеханических систем. Техническая документация по НИР РАКУРС-СО,- Иркутск: ИрВЦ СО АН СССР, 1990.- 279с.

[244] Пакет прикладных программ для динамического анализа и параметрического синтеза непрерывно-дискретных электромеханических систем. Техническая документация по НИР РАКУРС-СО.- Иркутск: ИрВЦ СО АН СССР, 1990.- 219с.

[245] Инструментальная система для автоматизации создания и поддержки функционирования пакетов прикладных программ на ЕС ЭВМ (САТУРН-ЕС). Техническая документация по НИР РАКУРС-СО.- Иркутск: ИрВЦ СО АН СССР, 1990.- 241с.

[246] Диалоговая инструментальная система для автоматизации разработки, производства и эксплуатации пакетов прикладных программ с планированием схем вычислений и гибким управлением вычислительным процессом. Техническая документация по НИР РАБКОР-СО,- Иркутск: ИрВЦ СО АН СССР, 1990.- 158с.

[247] Инструментальная среда моделирования динамики составных непрерывно дискретных объектов (БАЙКАЛ). Техническая документация по НИР РАПИД-СО.-Иркутск: ИрВЦ СО АН СССР, 1989.- 91с.

[248] Инструментально-технологический комплекс ИНГЭС/ВТ для построения гибридных экспертных систем вычислительного типа. Техническая документация (проект N 222.30 ГНТП "Информатизация России").- Иркутск: ИрВЦ СО РАН, 1995.- 94с.

[249] Матросов В.М., Опарин Г.А., Феоктистов Д.Г., Киселев С.И. Корректировка первой версии имитационной системы оптико-механического комплекса по результатам приемо-сдаточных испытаний. Научно-технический отчет по теме "РЕЙД-СО".- Иркутск: ИрВЦ СО АН СССР, 1984,- 91с.