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

ВВЕДЕНИЕ.

ГЛАВА I. СОСТОЯНИЕ ПРОБЛЕМЫ ПОСТРОЕНИЯ

ОДНОРОДНЫХ ВЫЧИСЛИТЕЛЬНЫХ СТРУКТУР И ИССЛЕДОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ ДИСКРЕТНОГО МОДЕЛИРОВАНИЯ.

1.1 Однородные структуры. Особенности построения и функционирования нейроподобных ОВС

1.2 Моделирование при анализе и синтезе однородных дискретных структур

1.3 Средства моделирования дискретных процессов. Языки, системы, комплексы

1.4 Постановка задачи исследования нейроподобной однородной вычислительной структуры

ВЫВОДЫ ПО ГЛАВЕ I.

ГЛАВА 2. АНАЛИЗ И РАЗРАБОТКА МЕТОДИКИ,

МОДЕЛИРУЮЩЕГО АЛГОШМА И СТРУКТУРЫ ИМИТАЦИОННОГО КОМПЛЕКСА.

2.1 Методика имитационного исследования и моделирующий алгоритм комплекса.

2.2 Разработка принципов построения основных алгоритмов имитационного комплекса

2.2.1 Алгоритм планирования эксперимента и принцип работы блока "контрольная точка"

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

2.2.3 Организация диалога исследователя и системы моделирования

2.3 Функциональная организация имитационного комплекса. вывода ПО ГЛАВЕ

ГЛАВА 3. РАЗРАБОТКА ОСНОВНЫХ АЛГОРИТМОВ

ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИКДЩ.

3.1 Разработка алгоритмов управляющей части

3.1.1 Управляющий блок.

3.1.2 Блок планирования эксперимента

3.1.3 Блок настройки и функции настройки

3.1.4 Блок статистической обработки . ИЗ

3.2 Разработка алгоритмов операционной части

3.3 Организация данных.

3.4 Метрические характеристики разработанных программ.

ВЫВ0Д1 ПО ГЛАВЕ 3.

ГЛАВА 4. ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ

ИМИТАЦИОННОГО КОМПЛЕКСА ДЛЯ

ИССЛЕДОВАНИЯ ОДНОРОДНЫХ СТРУКТУР.

4.1 Исследование модели ОВС при реализации операций "размножение", "деление", "сложение"

4.2 Моделирование решения разностного уравнения на ОВС.

4.3 Применение комплекса для исследования структур типа " склад ".

4.4 Сравнительный анализ возможностей ИКДМ вывода ПО ГЛАВЕ 4.

Основной чертой современного развития научно-технической революции является интенсивное внедрение средств вычислительной техники во все сферы народного хозяйства. ХХУ1 съезд КПСС поставил задачу: ". Всемерно внедрять комплексную механизацию и автоматизацию производственных процессов, .развивать производство и обеспечить широкое применение встроенных систем автоматического управления с использованием микропроцессоров и микро ЭВМ; .миниатюрных электронных управляющих машин, промышленных роботов"[1].

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

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

Анализ большого количества зарубежных систем показывает, что 44% из них созданы для обеспечения необходимой производительности, 28% - обеспечения гибкости, 15% - уменьшения стоимости, 11% - обеспечения надежности [б].

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

Данная работа посвящена вопросам разработки методов и алгоритмов имитационного моделирования, а также создания программного обеспечения имитационных комплексов для исследования моделей однородных вычислительных структур с нейронным принципом обработки информации. Работа выполнена в соответствии с координационным планом научно-исследовательских работ Академии наук Украинской ССР по комплексной проблеме " Теоретическая электротехника, электроника и моделирование" на 1981-1985 гг.

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

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

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

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

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

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

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

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

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

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

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

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

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

Выводы по главе 4

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

В результате рассмотренных в работе вопросов можно сделать следующие выводы.

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

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

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

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

5. Для облегчения построения математического обеспечения комплекса оно по функциональному назначению разделено на управляющую, операционную части и данные.

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

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

8. На основании разработанных алгоритмов отдельных блоков и частей предложены конкретные процедурные реализации программ на алгоритмическом языке ПЛ/1. В качестве технологии программирования использованы принципы структурного подхода.

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

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

11. На основании предложенного моделирующего алгоритма разработан вариант комплекса для исследования работы поточно-транспортной системы складов коллективного пользования, который позволяет исследовать многофазные многоканальные системы обслуживания. Его программное обеспечение создано на базе программного обеспечения ИКДМ и унифицировано с ним.

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

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

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

15. Основные положения диссертации были опубликованы в работах [63], [64], [бв], [70], [75], [84], [бб], [88].

1. Материалы ХХУ1 съезда КПСС. М.: Политиздат, 1981. - 223с.

2. Дерниак А. Сверхбольшие интегральные схемы потрясают основы архитектуры ЭВМ. Электроника, 1979, №11, с. 27-58.

3. Евреинов Э.В. Однородные вычислительные системы, структуры и среды. М.: Радио и связь, 1981. - 208с.

4. Поспелов Д.А. Введение в теорию вычислительных систем. М.: Сов. радио, 1972. - 280с.

5. Баумс А.К. Проблемы создания микропроцессорных систем.

6. В кн.: Синтез управляющих устройств на основе микропроцессоров и однородных сред. Труды / II Всесоюзный семинар, Рязань, 1979. - M.: 1979, с. 3 - 6.

7. Литвинов В.В. Методы и средства имитационного моделирования при проектировании систем обработки данных. Киев: Общество"Знание" Украинской ССР, 1981, 24с.

8. Каляев A.B. Однородные коммутационные регистровые структуры.- М.: Сов. радио, 1978. 334с.

9. Аксенов В.П., Бочков C.B., Мотков A.A. Структура и характеристики высокопроизводительных ЭЕМ и систем. Часть I, Часть II.- Зарубежная радиоэлектроника, 1982, №3, с.35-53, №4, с.33-57.

10. Мамзелев И.А. Архитектура параллельных вычислительных систем и тенденции их развития. Зарубежная радиоэлектроника, 1980, №11, с. 3-28.

11. Балашов Е.П., Пузанков Д.В. Микропроцессоры и микропроцессорные системы. M.J Радио и связь, 1981. - 328с.

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

13. Pazkinson D. Cin intzoduction to azzay pzocessozs. -System intcznationaù0 Í977\ Vot. 5, лН, p. 21-23.

14. Балашов Е.П., Частиков А.П. Эволюция вычислительных систем.- M.: Знание, 1981. 64с.

15. Прангишвили И.В., Стецюра Г.Г. Микропроцессорные системы.- М.: Наука, 1980. 237с.

16. Дмитриев Ю.К., Хорошевский В.Г. Вычислительные системы из мини ЭВМ / Под. ред. Э.В.Евреинова. - М.: Радио и связь, 1982. - 304с.

17. Корнеев В.В., Хорошевский В.Г. Вычислительные системы с программируемой структурой. Электронное моделирование, 1979, №1, с.42-52.

18. Додонов А.Г., Пелехов С.П., Шишмарев В.М. Организация вычислений в параллельно-последовательных вычислительных структурах. Электронное моделирование, 1982, №2, с.19-27.

19. BLsLani R.jWauezsêezg H. Softwaze development foz task-ozitnted mulUpzocessoz azchibectuzes /COMPCON Fait 79, nineteenth IEEE computeг society LnteznatLonal confezence .- Washington, 1979, p. 20-27.

20. У atada M., Wiyama K.} Jhazü Ъ. Q mictopzoces-soz-Based multi-loop netu/ozk system /COMPCON Fatt 79, nineteenth IEEE computet, society inteznationat confezence . — Washington,,975, p. 454-461.

21. Тодуа Д.А., Вепхвадзе A.H., Гоголадзе O.B. К вопросу создания ЭВМ нового типа ЭВМ на однородных перестраиваемых структурах / Сообщения Академии наук Грузинской ССР, 97, №3,1980, с.589-592.

22. Филиппенко И.Г. Описание элемента нейроподобной проблемно-ориентированной структуры конечным автоматом с памятью.- Электронное моделирование, 1984, №1, с.24-31.

23. Мэгун Г. Бодрствующий мозг. М.:Мир, 1965, - 211с.

24. Сочивко В.П. Электрические модели нейронов. М.: Энергия, 1965. - 88с.

25. Das D. £xpezcmenta£ studies of zandom neutat nets / AACC Proceedings ? Joint automatic conttoi conftzence) Ъемег, Co£o, 1979,p. УЪЪ-lkl.

26. Филиппенко И.Г. Аксиоматическое описание элемента нейроподобной проблемно-ориентированной структуры конечным автоматом с памятью. Харьков, 1982, 32с. - Рукопись представлена Харьковским ин-том инж. ж.д. тр-та. Деп. в ВИНИТИ, 1982, №6190-82.

27. Горожанин B.C. Структурные представления об организации нервной системы. Автоматика и телемеханика, 1979, Щ, с.152-160.

28. Dost М.Н. Simulation a pazt of 1ф at IBM. -Simulation } 1977, 23, tf-5, p. i88-iS0.

29. Шеннон P. Имитационное моделирование систем искусство и наука. - М.: Мир, 1978. - 420с.

30. Основы моделирования сложных систем / Под ред. Кузьмина И.В. Киев: Вища школа, 1981. - 360с.

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

32. Клейнен Дж. Статистические методы в имитационном моделировании. В 2-х т. М.: Статистика, 1978.

33. Калашников B.B., Лутков В.И., Ривес Н.Я. Организация направленных экспериментов на основе агрегативной имитационной системы. В кн.: Теория сложных систем и методы их моделирования: Тр. семинара / Отв. ред. Калашников В.В. - М.: ВНИИСИ, 1982. - 120с.

34. Казьмин А.И.,Пополитов В.Н. Языки моделирования /обзор/. В сб.: Вопросы кибернетики / АН СССР, Науч. совет по комплекс, пробл. "Кибернетика", М.: Науч. совет по комплекс, пробл."Кибернетика" АН СССР, 1978, с.20-64.

35. Женни Ф. Языки программирования. М.: Мир, 1972. - 406с.

36. Гусев В.В., Марьянович Т.П., Сахнюк М.А. Сравнительный анализ средств программного моделирования сложных систем. Управляющие системы и машины, 1973, PI, с.1-7.

37. Марьянович Т.П., Азаров С.С., Гусев В.В., Сахнюк М.А., Шемшур A.B. Имитационное моделирование средствами систем НЕЩИС и GASP" IV . Кибернетика, 1980, РЗ, с. 35-50.

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

39. Поляков А.К., Горбатенко Д.Д. Язык моделирования МПЛ/1. В кн.: Автоматизация проектирования ЭВМ. - Киев: 1979, с. II3-II9.

40. Полляк Ю.Г. Вероятностное моделирование на электронных вычислительных машинах. М.: Сов. радио, 1971, - 400 с.

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

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

43. Калашников В.В. Организация моделирования сложных систем.- M.s Знание, 1982. 64 с.

44. Марьянович Т.П., Колосовский И.Г., Шваб Н.Д. Система имитационного моделирования дискретных процессов на ЕС ЭВМ -ДИОСИМ. Управляющие системы и машины, 1982, Р6, с. 55-57.

45. Литвинов В.В. О структуре моделирующего комплекса. В кн.; Вопросы проектирования автоматизированных моделирующих и управляющих систем. - Куйбышев: 1978, с. I06-II3.

46. Бакаев A.A., Костина Н.И., Яровицкий Н.В. Автоматные модели экономических систем. / Под ред. Бакаева A.A. Киев: Наукова думка, 1970. - 192 с.

47. Бакаев A.A., Кайдан Л.И. Методологические основы построения диалоговой системы проектирования трубопроводов ДИСПРОТ.- Киев: ИК АН УССР, 1981. 36 с.

48. Литвинов В.В., Белостоцкий А.И., Дубровина Е.В. Моделирующий комплекс: идеологические основы и принципы организации. В кн.: Вопросы моделирования сложных систем. - Киев: 1976,с.12-22.

49. Стоян Ю.Б., Гиль Н.И., Ещенко В.Г. Пакет программ "Размещение",- Управляющие системы и машины, 1980, № 4, с.131-135.

50. Калиниченко Л.А., Щербин В.М. СКИФ независимый от языков программирования пакет программ, ориентированный на имитационное моделирование систем с дискретными событиями. - Управляющие системы и машины, 1976, №4, с.32-42.

51. Митрофанов Ю.И., Иванов А.Н. КИМДС комплекс процедур имитационного моделирования обобщенных дискретных систем. - Программирование, 1978, №5, с.74-83.

52. Мановицкий В.И., Сурков Е.М. Система имитационного моделирования дискретных процессов. Киев: Вшца школа, 1981. -96с.

53. Schmidt Ь. Simulation of dishzztt systems using GPSS-FORTRAN.- Comput.J4982, 25, /Jo 1, p. 84-86.

54. Маркович Г., Хауснер В., Kapp Г. Симскрипт: Алгоритмический язык для моделирования. М.: Сов. радио, 1966. - 152 с.

55. Дал У., Ньюгард К., Мюрхауг Б. СИМУЛА 67 - универсальный язык программирования. - М.: Мир, 1969, - 94с.

56. ПРОЕКТ ЕС: Базисный инструментальный язык программирования / Глушков В.М., Бублик В.В., Гороховский С.С. и др. - Киев ИК АН УССР, 1979. - 50с.

57. ПРОЕКТ ЕС: Программирование на языке L2E> / Глушков В.М., Бублик В.В., Гороховский С.С. и др. - Киев: ИК АН УССР, 1979. - 36с.

58. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Теоретические основы проектирования дискретных систем. Кибернетика, 1977, т, с.5-20.

59. Литвинов В.В. Банк проектных решений и его влияние на технологию проектирования в моделирующем комплексе АЛСИМ 2. Электронное моделирование, 1981, PI, с.51-54.

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

61. КгеиЬцег У. Comparison and evaluation ofdisczetc event simulation pzogzamming languages foz management decision ma&cnq. -iimut. Syst. Р-гос. 8& /ПСА Сопуг. Delft.,1977, p. 429-438.

62. Филиппенко И.Г., Карасюк В.В., Меркулов B.C. Моделирующий алгоритм нейроподобной однородной вычислительной структуры. В кн.: Проблемы бионики, Харьков, 1983, вып.30, с.76-85.

63. Филиппенко И.Г., Карасюк В.В., Меркулов B.C. Модель обмена информацией в однородной вычислительной среде. Электронное моделирование, 1982, №5, с.84-86.

64. Решодько JI.B., Коларж П., Грим И. Клеточные автоматы и клеточные биологические системы. Кибернетика, 1977, РЗ, с.134-146.

65. Бусленко Н.П. Моделирование сложных систем. М.: Наука,1978. 400с.

66. Бутомо И.Д. Методы имитационного моделирования вычислительных систем. Ленинград, 1979. - 71с.

67. Филиппенко И.Г., Карасюк В.В., Меркулов B.C. Имитационная модель нейроподобной однородной вычислительной структуры.- В кн.: Локальные автоматизированные системы автоматики, Киев, Наукова думка, 1983 г., с.145-148.

68. Первозванский A.A., Поиск. М.: Наука, 1970. - 264с.

69. Криштопа И.В., Мусаев М.Н., Перевозчикова О.Л. Проблемно-ориентированные языки и специализированные системы. Киев, Общество "Знание" Украинской ССР , 1981. - 36с.

70. Глушков В.М., Довгялло A.M., Рабинович З.Л., Стогний A.A. Диалог, управляемый машиной. Управляющие системы и машины, 1974, Р6, с.1-12.

71. Геминтерн В.И., Штильман М.С. Оптимизация в задачах проектирования. М.: Знание, 1982. - 64с.

72. Филиппенко И.Г., Карасюк В.В., Меркулов B.C. Имитационный комплекс для моделирования однородных структур. Харьков, 1981, 7с. - Рукопись представлена Харьковским ин-том инж. ж.д. тр-та. Деп. в ВИНИТИ, 1981, P4I72 - 81.

73. Йодан Э. Структурное программирование и конструирование программ. М.: Мир, 1979. - 416с.

74. Хьюз Дж., Мичтом Дк. Структурный подход к программированию.- М.: Мир, 1979, 278с.

75. Огг Kennet Т. Stzuctuzed pzogiamming in the 1980s. ACM80: Ргос. Annu. Conf., Washvitte, Term., Oct. 27-29, «80, Tlew W.p. 323-326.

76. Огг Kennet Т. St-zuzturted -геуасъетегтЬ definition in the mOs ACM&O : Ргос. t^nna. Conf.} tlashritfe) Tenn.j Od. Ш0. Tleu/fixl, П. у. }m0} p. 350 -354.

77. Лепин-Дмитрншов Г.А. Программирование на языке ПЛ/1.- М.: Сов. радио, 1978. 288.

78. Сборник научных программ на фортране. /Руководство для программиста. Вып.1. Статистика. М.: Статистика, 1974. - 316с.

79. Холстед М.Х. Начала науки о программах. М.: Финансы и статистика, 1981. - 128с.

80. Карасюк В.В. Применение средств имитационного моделирования при исследовании однородных вычислительных структур. В кн.: Научно-техническая конференция "Проблемы развития АСУ и ВТ"- Харьков, 1982.

81. Филиппенко И.Г., Карасюк В.В., Меркулов B.C. Использование средств имитационного моделирования для исследования дискретных структур. В кн.: X областная научно-техническая конференция. Тезисы докладов. Новгород, 1983. с. 70-71.

82. Майерс Г. Искусство тестирования программ. М.: Финансы и статистика, 1982. - 176с.

83. Система математического обеспечения ЕС ЭВМ / Под ред. Ларионова A.M. M.: Статистика, 1974.

84. Карасюк В.В. Автоматизированный комплекс имитационного моделирования для анализа и синтеза однородных вычислительных структур. В кн.: Научно-техническая конференция "Проблемы развития АСУ и ВТ" - Харьков, 1983. с.II.

85. Соколов E.H., Шмелев Л.А. Нейробионика. М.: Наука, 1983.- 280с.