автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.13, диссертация на тему:Формирование структур и алгоритмов в системе организации аналого-цифровых моделей с автоматической реконфигурацией

ВВЕДЕНИЕ.

1. АНАЛИЗ СПОСОБОВ И СРЕДСТВ МОДЕЛИРОВАНИЯ ДИНАМИЧЕСКИХ СИСТЕМ С ПЕРЕМЕННОЙ СТРУКТУРОЙ . ТО

1.1. Концептуальная основа построения моделей динамических систем с переменной структурой (ДСПС). ТО

1.2. Особенности технических средств и методов реализации моделей ДСПС

1.3. Классификация программных средств моделирования

ДСПС.

1.4. Способы организации процесса управления реконфигурацией моделей в непрерывных и комбинированных СИМ.

1.5.Выводы и основные задачи диссертационной работы.

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

2.1. Обобщенная модель как сложная динамическая система

2.2. Организация процесса управления моделью сложной динамической системы

2.3. Обобщенная модель как композиция автоматов. гл. Выводы

3. ВЫБОР СТРУКТУРЫ И ФУНКЦИОНАЛЬНАЯ ОРГАНИЗАЦИЯ МОДУЛЕЙ ПРЕПРОЦЕССОРА ПЕРЕСТРАИВАЕМЫХ АНАЛОГО-ЦИФРОВЫХ

МОДЕЛЕЙ .Ю

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

ДСПС.

3.2. Организация языкового процессора . ^

3.3. Формирование базы данных для АСМ ДСПС

3 Стр. 3.4. Выводы.

4. ОРГАНИЗАЦИЯ ПРОЦЕССА ФОРМИРОВАНИЯ ОПЕРАЦИОННОЙ И УПРАВЛЯЮЩЕЙ ЧАСТЕЙ МОДЕЛИ ДСПС

4.1. Концептуальная основа формирования динамически ре-конфигурируемых плексов абстрактных схем моделирования ( АСМ) ДСПС.

4.2. Разработка языка описания плекса ДСПС

4.3. Отображение АСМ ДСПС в реальную модель на множестве аппаратурно-программируемых средств АЦВС.

4.4. Выводы

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

Эффективным направлением повышения производительности современной вычислительной техники является развитие и совершенствование ее аналоговых и аналого-цифровых средств. Пути и методы уско рения прогресса в этой области рассматривались на Всесоюзной научно-технической конференции "Развитие и использование аналоговой и аналого-цифровой вычислительной техники ( Москва, 1981 г.) и . ХХХУШ Всесоюзной научной сессии, посвященной Дню радио ( Москва, 1983 г.«) и нашли отражение в их решениях, где особо подчеркивалась необходимость повышения темпов внедрения новых средств аналоговой и аналого-цифровой техники ( АВТ и АЦВТ ) в народное хозяйство, включая автоматизацию их работ, развитие операционного и математического обеспечения и т.п. В решении этих проблем принимают участие коллективы научно-исследовательских институтов и высших учебных заведений страны: НИИСчетмаш, ИПМЭ, ИЛУ, МАИ, ХИРЭ, ДЛИ, ЛЭТИ и другие, .

Средства АВТ и АЦВТ традиционно широко используются при машинном моделировании, а также при автоматизации инженерных и научных исследований. Их применение позволяет ускорять создание управляемых процессов и объектов, успешно решать ряд других важнейших задач в различных областях науки и техники. Исследования» проблем, связанных с разработкой и совершенствованием этих средств, а также методов их эффективного использования посвящены работы известных советских ученых: Пухова Г.Б., Витенберга И.М., Когана Б.Я., Самойлова В.Д., Смолова В.Б., Верланя А.Ф., Белякова В.Г., Бердя-кова Г.И., Святного В.А., Казьмина А.И., Ясинявичуса Р.Ю. и многих других / 8,10,12,16,23,26,53,55,57,87,92,94 /. Аналогичные работы проводятся также и за рубежом /41,132,109,132,137 /•

В настоящее время в нашей стране проводятся работы по созданию аналоговых вычислительных комплексов четвертого поколения (АВК-4-1), обеспечивающих режим разделения во времени ресурсов аналогового процессора и полную автоматизацию набора модели, включая настройку на требуемые параметры и автокоммутацию всех решающих элементов. Разрабатываемые на базе АВК-41 аналого-цифровые вычислительные системы четвертого поколения (АЦВС-41) позволяют расширить область применения и круг решаемых с помощью АЦВТ задач задачами исследования и синтеза динамических систем с переменной структурой (ДСПС), решения которых в настоящее время требует развитие авиационной и космической техники, атомной энергетики, наземного и морского транспорта, управление технологическими процессами, промышленными и другими объектами. Необходимость решения подобных задач отражена в правительственных постановлениях и целевых программах, в том числе в целевой комплексной научно-технической программе ГКНТ СМ СССР 0.Ц.026 ( раздел 03), соисполнителем которой является Донецкий политехнический институт. Реализация этих задач средствами АЦВТ второго и третьего поколений затруднялась отсутствием средств полной автокоммутации наборного поля аналогового процессора, что не позволяло полностью автоматизировать вычислительный процесс формирования и автоматической реконфигурации АЦМ ДСПС.

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

Важность этих проблем определяется соответствующим постановлением ем ГКНТ СМ СССР от 17 марта^ТЁ 79 ( проблема 0.80.14. задание 09 ).

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

Целью диссертационной работы является разработка средств и методов автоматического формирования структур аналого-цифровых моделей ДСПС и организации процесса управления их реконфигурацией, ориентированных на технические средства АЦВТ четвертого поколения.

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

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

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

- способ организации вычислительного процесса в операционной и управляющей компонентах АЦМ, основанный на использовании согласованного принципа управления;

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

- алгоритмы синтеза структуры моделей ДСПС, учитывающие требования к их быстродействию и технические возмояности аналоговых ресурсов инструментальных АЦВС.

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

На защиту выносятся следующие положения диссертационной работы:

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

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

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

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

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

Практическая ценность работы заключается в том, что проведенные научные исследования и полученные результаты позволили paspa* ботать препроцессор АЦМ ДСПС, осуществляющий формирование моделей и алгоритмов управления их реконфигурацией для любого способа гибридизации по исходному описанию задачи. Являясь структурной единицей прикладного программного обеспечения АЦВС, осуществляющего автоматизацию моделирования, препроцессор снижает требования к квалификации исследователей в области применения технических средств АЦВС четвертого поколения, упрощает интерфейс "исследователь - АЦБС", повышает эффективность моделирования за счет сокращения временных и людских затрат, что позволит значительно расширить круг пользователей и решаемых ими задач.

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

Структурная организация и алгоритмы автоматического формирования аналоговых схем моделирования сложных динамических систем использованы при разработке модулей программного обеспечения АЦ6С-31 и АЦВС-32, разработанных по постановлению ГКНТ СМ СССР № 79 ( проблема 0.80.14, задание 0, 9) от 17 марта 1978 г.,успешно выдержавшего междуведомтвенные испытания. Результаты работы используются также в учебном процессе в Донецком политехническом институте при выполнении курсовых и дипломных работ.

Документы, подтверждающие использование и эффективность выполненных разработок, приведены в Приложении 3.

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

I. АНАЛИЗ СПОСОБОВ И СРЕДСТВ МОДЕЛИРОВАНИЯ ДИНАМИЧЕСКИХ СИСТЕМ С ПЕРЕМЕННОЙ СТРУКТУРОЙ

Повышение требований к качеству исследований и синтезу динамических систем привело к необходимости усложнения их математических моделей и появлению понятия "сложная система"• Вопросам описания и исследования сложных динамических систем (ДС) посвящен ряд работ, проводимых советскими и зарубежными учеными / 17, 18, 19, 23, 33, 34, 98 /.

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

Определим терминологию и концепции формирования моделей ДСПС для анализа существующих средств и методов их реализации.

4.4. Выводы

В четвертой главе предложены методы реализации операционной и управляющей частей модели ДСПС. Для этого решены следующие вопросы:

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

- минимума расходуемых логических и управляющих элементов;

- минимума расходуемых на плекс решающих элементов.

2. Для решения этой задачи разработаны два варианта структур ( рис. 3.4 и 3.5 ) операционных частей плексов, учитывающих эти критерии и приведены формулы оценки их объемов, (4.6) и (4.8), которые используются при формировании алгоритма выбора способа структурной организации Р Асм , основанного на сравнении реальных ресурсов АЦВС и объемов плексов абстрактных моделей решаемых задач. В результате анализа и сопоставления имеющихся и требуемых объемов функциональных элементов выбирается одна из указанных структур либо выдается сообщение пользователю о необходимости реализации части РАсм цифровым способом.

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

Объединенный алгоритм реконфигурации модели от ядра. ПУп ана.лог.оВая ро.зь1 гибридная

Пересь/л/ья 6 рабочее поле циаэробой части пооъли у т/э # годе.у?и на. за 9а н ну го структуру

Пересылка € робоуее поле таблиц доя абтокоыну -таиии г конец \

• 3 вести данные 9о9 но боа <р сгз ы 6 регистр управления ин -тесро тора ни

Рис. 4.14. и их иерархию. Язык содержит функционально полный набор аналого-ориентированных плекс-элементов.

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

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

А уп части выделено ядро Я , граф функционирования которого не зависит от конкретной модели и представляет собой автомат с

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

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

ЗАКЛЮЧЕНИЕ

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

Выполненные исследования позволяют сделать следующие выводы:

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

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

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

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

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

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

7. Использование аппарата теории пяекс-языков и применение его формализмов для создания языка описания структуры абстрактной схемы моделирования дало возможность разработать компактную форму представления плексов АСМ в памяти ЦВМ, названную векторной, и алгоритмы их обработки, основанные на использовании шестисловных кортежей, описывающих плекс-элемент.

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

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

10. Проведенный анализ методов и средств организации структур препроцессора динамически реконфигурируемой модели ДСПС позволил разработать алгоритм формирования модуля управления настройкой и автокоммутацией в соответствии с техническими ресурсами реальной АЦВС и требованиями, предъявляемыми исследователем к временным характеристикам модели.

11. Алгоритм формирования операционной и управляющей частей модели ДСПС, инвариантной к техническим средствам конкретной АЦВС и способу гибридизации, реализованы на ЭВМ серии БС 1020 в системе Ф0РТРАН-1У, что обеспечивает их мобильность и использование в системе генерации ПО АЦВС.

12. Расчетный экономический эффект от внедрения разработанных модулей препроцессора ДСПС в серийное МО АЦВС составляет

45 тыс. руб. в год.

1. Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных./ Под ред. М. Брайера. - М.: Мир, 1979. - 462 с.

2. Ажогин В.В., Згуровский М.З. Моделирование на цифровых, аналоговых и гибридных ЭВМ. Киев: Вита школа, 1983. - 279 с.

3. Анкудинов Г.И. Вопросы теории Плекс-языков. Кибернетика,1978, № 3, с. 44-49.

4. Апериодические автоматы./ Под ред. В.И. Варшавского. М.: Наука, главная ред. физ.-мат. литературы, 1976. - 424 с.

5. Балабошко Н.Г., Горбатов Ю.В., Деснер И.Г., Леоненко В.И., Роговцев A.A. Аналого-цифровая вычислительная система коллективного пользования. Вопросы радиоэлектроники. Серия ЭВТ, 1982, вып. 2, с. 46-55.

6. Баранов С.И. Синтез микропрограммных автоматов. Л.: Энергия,1979. 232 с.

7. Беляков В.Г. Методика оценки эквивалентного быстродействия АВМ. Вопросы радиоэлектроники. Серия ЭВТ, 1974, вып.2, с. 73-90.

8. Берестовская С.Н. Об одном подходе к описанию языков программирования.- Программирование, 1982, № 2, с. 52-59.

9. Ю.Бердяков Г.И., Витенберг И.М. Автоматизация программирования АЦВМ основные результаты и направления развития. - В кн.: Автоматизация программирования аналого-цифровых и микропроцессорных систем. Л.: МДНТП, 1982, с. 5-8.

10. Бердяков Г.И., Битенберг И.М., Гуничева В.П. Языки моделирования динамических систем. В кн.: Машинное моделирование. Материалы семинара. - М.: МДНТП им. Дзержинского, 1979,с. II6-I22. .

11. Бердяков Г.И., Потемкин С.Б. Методы организации диалога в системах инженерных исследований. В кн.: Машинное моделирование. Материалы семинара. - М.: МДНТП, 1980, с. 9-14.

12. Биркгоф Г., Барти Т. Современная прикладная алгебра. М.: Мир, 1976. - 400 с.

13. Бондаренко В.Е,, Самойлов В.Е. Система исследования моделей для тренажеров АЭС. В кн.: Повышение эффективности машинног го моделирования. - М.: МДНТП, 1981, с. 55-59.

14. Боэм Б. и др. Характеристики качества программного обеспечения. М.: Мир, 1981. - 206 с.

15. Бусленко Б.Н. К сведению понятия ориентированной схемы формализации. В сб.: Вопросы кибернетики, вып. 46. - М.: Научныйсовет по комплексной проблеме "Кибернетика" АН СССР, 1978, с. 123-130. . .

16. Бусленко В.Н. Требования к программному обеспечению моделирования сложных систем. В кн.: Моделирование сложных системи Материалы семинара. -.11.: МДНТП, 1978, с. 72-78.

17. Бусленко В.Н. Автоматизация имитационного моделирования сложных систем. М.: Наука, 1977. - 240 с.

18. Бусленко Н.П., Калашников В.В., Коваленко И.Н. Лекции по теории сложных систем. М.: Сов. радио, 1973. - 400 с.

19. Браун П. Обзор макропроцессоров. М.: Статистика, 1975. -80 с.

20. Бэки Дж., Карплюс У. Теория и применение гибридных вычислительных систем. М.: Мир. 1970. - 484 с.

21. Варюха A.M. Исследование и разработка методов эффективной организации аналоговых вычислений: Автореф. Дис. . к-та техн. наук. М., 1975. - 21 с.

22. Верлань А.Ф., Ефимов Й.Е., Латышев A.B. Вычислительные процессы в системах управления и моделирования. Л.: Судостроение, 1981. - 248 с.

23. Витенберг И.М. Методологические вопросы машинного моделирования. В кн.: Машинное моделирование. Материалы семинара. -М.: МДНТП, 1980, с. 3-8.

24. Витенберг И.М., Губенко Н.Е., Фельдман Л.П. Подсистема аналого-цифрового моделирования динамических объектов переменной структуры. В кн.: Повышение эффективности машинного моделирования. - М.: МДНТП, 1981, с. 48-54.

25. Витенберг И.М., Танкелевич Р.Л. Алгоритмическое использование аналоговых машин. М.: Энергия, 1976. - 376 с.

26. Витенберг И.М., Танкелевич Р.Л. Структура и основные характеристики УМНС-оператор. В кн.: Автоматизация программирования средств АВТ. - М.: МДНТП, 1971, с. 26-34.

27. Вопросы реализации подсистемы диалога в аналого-цифровых вычислительных системах./ И.М. Витенберг и др. В кн.: Автоматизация инженерных исследований и эксперимента. Материалы семинара. М.: МДНТП им. Дзержинского, 1978, с. 158-164.

28. Бунш Г. Теория систем. М.: Сов. радио, 1978. - 288 с.

29. Глушков В.М., Капитонова И.В., Летичевский A.A. Автоматизация проектирования вычислительных машин. Киев: Наукова думка, 1975. - 2^2 с.

30. Глушков В.М., Цейтлин Т.Е., Ющенко ЕЛ. Алгебра. Языки. Программирование. Киев: Наукова думка, 1978. 320 с.

31. Глушков В.М. Обобщенные динамические системы и процессионное прогнозирование. В сб.: Проблемы прикладной математики и механики: ВЦАН СССР. М.: Наука, 1971, с. 12-18.

32. В.М. Глушков и др. Программные средства моделирования непрерывно-дискретных систем. Киев: Наукова думка, 1975. - 208 с.

33. Голованов О.В., Дуванов С.Г., Смирнов В.И. Моделирование сложных дискретных систем на ЭВМ третьего поколения. М.: Энергия, 1978« - 159 с.

34. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975« - 544 с.

35. Губенко Н.Е., Фельдман Л.П. Автоматизация разработки монитора гибридной модели динамического объекта с переменной структурой. В кн.: Автоматизация программирования аналого-цифровых и микропроцессорных систем. Материалы семинара. - М.: 1982, с. 15-19.

36. Гуничева В.П., Ивченко И.И. Автоматизация генерации программного обеспечения АЦВС. В кн.: Автоматизация программирования аналого-цифровых и микропроцессорных систем. Материалы семинара. - М.: МДНТП им. Дзержинского, 1982. с.8-14.

37. Гусев В.В., Марьянович Т.П., Сахнюк М.А. Система программирования ИВДИС. Киев: ИК АН УССР, 1975, 394 е.:

38. Гросс М., Лантен А. Теория формальных грамматик. М.: Мир, 1971, - 294 с.

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

40. Дал У., Мюрхауг Б., Нюгорд К. СИМУЛА-67. М.: Мир, 1969, -264 с.

41. Дедищев В.А. Организация структур и вычислительных процессов системы дискретно-непрерывного моделирования для управляющих и гибридных вычислительных комплексов: Дис. . к-та техн. наук. Донецк, 1983. - 212 с.

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

43. Дружнин В.В., Конторов Д.С., Проблемы системологии. Проблемы теории сложных систем. М.: Сов радио, 1976, - 296 с.

44. Дудкин М.В., Казьмин А.Ш., Меин A.A., Пополитов В.Н. Программное обеспечение гибридных вычислительных систем. В сб.: Вопросы кибернетики, вып. 46. М.: Научный совет по комплексной проблеме "Кибернетика" АН УССР, 1979, с. 65-81.

45. Г.Ф. Дюбко, Ю.Н. Якушев Об одном способе отображения системы обыкновенных дифференциальных уравнений в нормальную форму

46. В кн.: Отбор и передача информации , вып. 57, Киев: Наукова думка, I97S,' с. 55-60.

47. Египко В.М., Погосян H.A. Вопросы теории проектирования систем автоматизации экспериментов. Киев: Наукова думка, 1973.284 с.

48. Исследование принципов построения двухуровневой аналого-цифровой вычислительной системы на базе машин УВК СМ-2 и ЕС ЭВМ. ( Отчет). № гос. per. 80078325. Донецк: ДПИ, 1982. - 236 с.

49. Ершов A.n. Введение в теоретическое программирование. М.: Наука, 1978, - с. 312.

50. Калман Р., Фалб П., Арбиб М., Очерки по математической теории систем. М.: Мир, 1971. - 446 с.

51. Каляев A.B. Теория цифровых интегрирующих машин и структур. -М.: Сов. радио, 1970. 176 с.

52. A.B. Каляев. Многопроцессорные системы с распределенной памятью, универсальной коммутацией и программируемой структурой микропроцессоров. Электронное моделирование, 1979, № I, с. 31-427.

53. Казьмин А.И., Пополитов В.Н. Языки непрерывного моделирования. Автоматика и телемеханика, 1979, № 2, с. I4I-I55.

54. Казьмин А.И., Пополитов В.Н. Языки моделирования ( обзор).

55. В сб.: Языки моделирования и программное обеспечение гибридных вычислительных систем, вып. 46. М.: Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1978, с. 5-20.

56. Килда Б.Ю., Тетраускас В.А., Ясинявичус Р.Ю. Гибридные аппаратные подпрограммы. УСИМ, 1983, № 3, с. 41-56.

57. Коган Б.Я., Менн A.A. Об использовании потенциального быстродействия аналоговых вычислительных машин в гибридных вычислительных системах. Автоматика и телемеханика, 1976, № 12.

58. Коган Б.Я., Менн A.A. О принципах эффективного использования серийных ЦВМ в гибридных вычислительных системах. Приборы и системы управления, 1978, № 2, с. 5-9.

59. Костюк В.И., Краскевич В.Е., Бондаренко В.Е. Математическое обеспечение ЭВМ для моделирования динамических систем автома- -тического управления. Управляющие системы и машины, 1977, te6, с. 45-53.

60. Кузин Л.Г. Общее описание системы имитационного моделирования непрерывных процессов. М.: МИФИ, 1979. - 47 с.

61. Кузьмин И.В. Оценка эффективности и оптимальности АСКУ. М.: Сов. радио, 1971. - 296 с.

62. Кулик М.Н., Бакуменко В.Д. Решение дифференциальных и конечных систем уравнений на вычислительных структурах с аналоговыми подпрограммами. В кн.: Гибридные вычислительные машины и комплексы: Тезисы докладов. - Киев: КДНТП, 1974, с.22-23.

63. Лазарев В.Г., Пийль Е.й. Синтез управляющих автоматов. М.: Энергия, 1978. - 400 с.

64. Лантен Ф., Розенкранц Д., Стирнз Р. Теоретические основыпроектирования компиляторов. М.: Мир, 1979. 654 с.

65. Литвинов В.В. Методы и средства имитационного моделирования при проектировании систем обработки данных. Киев: Знание, 1981. - 22 с.

66. Литвинов В.В., Дубровина Е.В., Панчук А.Н., Селик А.П. Язык моделирования сложных систем. Киев: КПИ, 1976. - 90 с.

67. Логвинов В.В. Описание непрерывных динамических систем на языке ДИСТАЛ ОС ЕС. Владивосток, 1980. - 13 с. ( Препринт/ Ин-т автомат, и процессов управления Дальневосточный научный центр АН СССР ).

68. Малые ЭВМ и их применение./ Под ред. Б.Н. Наумова. М.: Статистика, 1980. - 232 с.

69. Майоров С.А., Новиков Г.й. Структура электронных вычислительных машин.:- Л.: Машиностроение. Ленинградское отделение,1979. 384 с.

70. Мартин Дж. Программирование для вычислительных систем реального времени. М.: Наука, 1975. - 359 с.

71. Мартин Дж. Организация баз данных в вычислительных системах реального времени. М.: Мир, 1978, - 615 с.

72. Марьянович Г.П. Имитационное моделирование средствами систем НЕДИС и C/4SP 1У.- Кибернетика, Киев: Наукова думка,1980, № 3, с. 35-50.7 3. Месарович М., Такахара Я. Общая теория систем: математические основы. М.: Мир, 3978. - 311 с.

73. Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем. М.: Мир, 1973. - 344 с.

74. Мультипроцессорные системы и параллельные вычисления./ Под ред. Ф.Г. Енслоу. М.: Мир, 1976. - 384 с.

75. Мурашко А.Г., Сенченко Н.И., Якушев Ю.Н. Алгоритмы выбора и оценки вычислительных структур по точностным и временнымпараметрам, В сб. Отбор и передача информации. Киев: Науко-ва думка, 1980, с. 40-47.

76. Маркович Г., Хаускер Б., Kapp Г. СИМСКРИПТ алгоритмический язык для моделирования. - М.: Сов радио, 1966. - 152 с.

77. Нейлор Т. и др. Машинные имитационные эксперименты с моделями экономических систем. М.: Мир, 1975. - 500 с.

78. А. Оллонгрен. Определение языков программирования интерпретирующими автоматами. М.: Мир, 1977. - 288 с.

79. Основы теории вычислительных систем. М.: Высшая школа, 1978. - 408 с.

80. Перестраиваемые цифровые структуры на основе интегрирующих процессоров./ Под ред. A.B. Каляева. М.: Радио и связь, 1972.- 368 с.

81. Петров Г.М., Лакунин Н.Б., Бартольд Э.Е. Методы моделирования систем управления на аналоговых и аналого-цифровых вычислительных машинах. М.: Машиностроение, 1975. - 256 с.

82. Поляков А.К. Проблемы имитационного моделирования в САПР ЭВМ.- В кн.: Труды МЭИ. Тематический сборник. М.: 1979, вып. 419, с. 10-19.

83. Поляков А.К., Горбатенко Д.Д. Методические указания по курсовому проектированию. Автоматизация проектирования ЭВМ. -М.: МЭИ, 1978. 40 с.

84. Пронина В.А., Казьмин А.И. Математическое обеспечение гибридной вычислительной системы ГВС-ЮО, вып. 6. Язык СААП. М., Институт проблем управления, 1974. 43 с.

85. Пухов Г.Ё., Самойлов В.Д., Арестов В.В. Автоматизированные аналого-цифровые устройства моделирования. Киев:Техника, 1974. - 322 с.

86. Самойлов В.Д. Некоторые модели переменной структуры. В сб.: "Математическое моделирование и теория электрических цепей".

87. Киев: Наукова думка, 1968, N° 6.

88. Самойлов В.Д., Аристов В.В., Тарасенко-Зеленая Л.И. Неоднородные вычислительно-измерительные системы с центральной интерпретирующей малой ЦВМ. В кн.: Неоднородные вычислительные системы. Киев: Наукова думка, 1975, с. 77-97.

89. Святный В.А. Гибридные вычислительные системы. Киев: Вища школа. Головное из-во, 1980. - 248 с.

90. Святный В.А. Гибридные вычислительные системы на базе комплексов М-6000/М-7000. В кн.: Перспективы развития вычислительных комплексов М-6000/М-7000 и применением их в АСУ. Тез. докл. Всесоюзн. конф. M., 1976, с. 17-20.

91. Смолов В.Б. Состояние и перспективы развития средств гибридной и вычислительной техники. В кн.: Неоднородные вычислительные системы. - Киев: Наукова думка, 1975, с. 3-19.

92. Теория систем с переменной структурой./ Под ред. Емельянова C.B. М.: Наука, 1970. - 592 с.

93. Создать и ввести в эксплуатацию систему автоматизации составления программ для аналого-цифровых вычислительных систем

94. САСП АУВС) с использованием языков высокого уровня и библиотеки прикладных программ, ориентированную на машины ЕС ЭВМ. ( отчет)/ НИИСЧЕТМАШ. Шифр темы 830. - Москва, 1980. - 126с.

95. Суслов В.Ю., Гара В •К. Организация проблемного математического обеспечения в моделирующем комплексе АЛСИМ-2. Киев: Знание, 1981. 24 с.

96. Фельдман Л.П., Дедшцев В.А., Сараев A.B. Средства автоматизации имитационного моделирования параллельных структур в системе СИМПС. В кн.: Однородные вычислительные структуры и малые ЭВМ: Тез. докл. Всесоюзного семинара. Звенигород, 1979, с. 64-65.

97. Фельдман Л.П., Дедищев В.А. Принципы организации и средства моделирования в системе имитации для АЦВС. В кн.: Развитие и использование аналоговой и аналого-цифровой вычислительной техники: Тез, докл. Всесоюзной научно-техн. конф. М., 1981, с. 15.

98. Фельдман Л.П. Исследование динамики и синтез систем автоматического управления проветриванием угольных шахт. Автореферат дис. . докт. техн. наук. Донецк, 1974. - 45 с.

99. Хомский Н. Формальные свойства грамматик. Кибернетический сборник, вып. 2, 1966, с. I2I-I30.

100. Ю1.Чаки Ф. Современная теория систем. М.: Мир, 1975. - 424 с.1С2.Шенон Р. Имитационное моделирование систем искусство и наука. - М.: Мир, 1978. - 418 с.

101. ЮЗ.Шигин А.Г., Галь Ю.Ф. Основные концепции специализированной системы моделирования для анализа некоторого класса вычислительных систем. В кн.: Труды МЭИ. - М., 1979, с. 27-30.

102. Языки и автоматы./ Под ред. Маслова А.Н. и Стоцкого Э.Д. -М.: Мир, 1975. 358 с.

103. Языки программирования. / Под ред. Ф. Кенюи. М.: Мир, 1972. - 406 с.

104. Яковлев Е.И. Машинная имитация. М.: Наука, 1975. - 160 с.

105. Benhman R.D., Тш/&г £.R. Interactive simuPaüon tan-уиаре for kußriä computers.- Simulation, 137T, V.28, Mo. 2., p. W-55.

106. Bre/man R.D., Seiierbero M.Y. The System /360 Con-tinuos System Modemno Program Simulation, 4968, V.U, No. 6, p. 3M-3W.

107. W. BuchmuWerV. HYTRAN : HYTRAN operations interpreter for kySrid Computer system operation Proc. LIKSC Conference Computer simulation, Chester, 4978.

108. M2. E£?zas M. S., Kettenis D. Lnnyua^es ¿or HyBrid¡Dtijilat Simulation. — Proc. af AiCA, 4975, v. yvii, No.H, p. 2LI5- 259.

109. EEzas M. S. Simulation languages and hyBrid computers : principles and techniques. — Proc. symposium aa advanced hySrid computing, San Francisco9 /975, juey25-2v, p. 77-79.

110. FahrchEand D. Combined Discrete — event j Continuous System SimaiatCon, A/o.2, p. 64-72.

111. N5. Gaefe P.W.U., Nernonen I. K., StroSeh K.A. SymuPatlon of combined discrete and continuous system and hyBrid computer, SimuEaiion, Mm, V.22, No. 5, p. 429-437.

112. UeQscjcLnn X. Disco a SIMULA - êasad tancjuage S or- continuous comBined and discrete SirnuiaUon-SirnuEatioa, 4980, v. 35; Mo.f;; p. ¿-12.

113. Korn Gran ¿no A- BD A RE. ~ a portaMe LnieractiiyQ simulation. system programmed In. ANSI minimal BASIC.— Sim u 8a Hon, 4979, V.32, No.d, p. 23-28.

114. Lineèeryer R.N. 7 Srennaa /?.D. A Survey of Di<jLia£ SC-mutcitCon : Digiéaê Anafocj Simulation Programs.— Simulation, 4Q€Hy V.3, No. 6*, p. 22-26.

115. JVU-fcckeß E.E.L., Gauthier J. S. Advanced Continuous Slmu&x-fclon. Language (AtSi). — Simulation., 4976, V26,Uo.3?p.72-78.

116. Moore L. J., Lee S.M., Tayior B.V/ Combined continuous discrete system simulation zurilk GASP- IV. — Comp. Opt. Res., 4977, V.^ p. 429-/37.

117. AICA, 1979, V. XV; No.-/, p. -/7-25.

118. Sc/n V. M- j Lirxe&arcjer R.N. DSi/SO -A DigiiaE SùrnueatLon Program for Continuous System Modeling.— AFÏPS Proc. , 4966, V 28, p. /65 ML

119. The s Ce Continuous System SUnu&xALon Lan^uaqes CCSSL).-Simulation, 1967, V. 9, No. 6, p. 284-303.

120. Trevor A.B., Wait XV. 3MRE-ÎM -a CSSL-type Batch-Mode SimuicdLon, Pancjuaye for CJ)C 6000 -Serier Computers.- Simulation, 4972, V.17, No. 6\p. 2-/5-226.