Моделирование сложных систем на основе распределенных алгоритмических сетей тема диссертации и автореферата по ВАК РФ 05.13.16, доктор технических наук Марлей, Владимир Евгеньевич

• Марлей, Владимир Евгеньевич
• доктор технических наук
• 1998

Оглавление диссертации доктор технических наук Марлей, Владимир Евгеньевич

Содержание

Введение

Глава 1. Концепция алгоритмического моделирования на основе распределенных алгоритмических сетей

1.1. Алгоритмическое моделирование и текущее состояние теории алгоритмических сетей

1.2. Концептуальная модель процесса алгоритмического моделирования

на основе распределенных алгоритмических сетей

1.3. Обсуждение и выводы по главе 1

Глава 2. Алгоритмические сети - формализм для описания структуры моделей сложных

систем

2.1. Алгоритмические модели и алгоритмические сети, основные определения

2.2. Операции над алгоритмическими сетями и отношения на алгоритмических сетях

2.3. Вычисления на алгоритмических сетях

2.4. Обсуждение и выводы по главе 2

Глава 3. Преобразования алгоритмических моделей,

описанных на основе алгоритмических сетей в процессе

их разработки и эксплуатации

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

3.2. Методы формирования структуры алгоритмических моделей

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

3.4. Методы принятия решений на алгоритмических моделях

3.5. Обсуждение и выводы по главе 3

Глава 4. Распределенные алгоритмические сети и алгоритмические модели

4.1. Операции, отношения и вычисления на распределенных алгоритмических сетях

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

4.3. Обсуждение и выводы по главе 4

Глава 5. Автоматизации моделирования на основе распределенных алгоритмических сетей

5.1. Существующие возможности автоматизации моделирования

на основе алгоритмических сетей

5.2. Структура системы автоматизации моделирования на основе распределенных алгоритмических сетей

5.3. Обсуждение и выводы по главе 5

Заключение

Литература

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

Введение

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

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

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

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

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

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

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

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

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

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

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

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

5) Разработаны методы преобразования алгоритмических моделей (распределенных и нераспределенных) при формировании структуры алгоритмических моделей, анализе их поведения и поиске решений.

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

1) Разработанные методы и модели позволили повысить эффективность разработок новых версий системы автоматизации алгоритмического моделирования, повысить степень автоматизации процесса алгоритмического моделирования в этих системах, обеспечить, на основе распределенных алгоритмических сетей, сетевые режимы эксплуатации алгоритмических моделей (система автоматизации моделирования КОГНИТРОН, версия 2.0, разработана в СПИИРАН в 1997г. при непосредственном участии автора).

2) Разработанные алгоритмы были использованы при создании в СПИИРАН, при участии автора, версии системы автоматизации алгоритмического моделирования КОГНИТРОН 2.0,

использовавшейся в Комитете по сельскому хозяйству при правительстве Ленинградской области, в Ивановском энергетическом университете, в Региональном информационно-вычислительном центре С-ЗНЦ РАСХН. Апробация работы.

Основные результаты исследований по теме диссертации докладывались на 2-ой международной конференции Советской ассоциации искусственного интеллекта (Минск, 1990г.), международной конференции "Искусственный интеллект - промышленное применение" (Ленинград, 1990г.), международных конференциях "Региональная информатика" (С-Петербург, 1994-1996, 1998), международной конференции "Информатика и управление" (С-Петербург, 1997), "Первой международной конференции по проблемам самоорганизации и управления в сложных коммуникационных пространствах" (С-Петербург, 1997), на семинарах и рабочих совещаниях во время заграничных командировок в 19881990гг. в ЧССР (Integrated energy systems. HAS A, Praga, 1988) и ГДР. Публикации.

По теме диссертации опубликовано 31 печатная работа. Структура работы.

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

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

последовательность этапов работ необходимых для достижения поставленной цели исследования.

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

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

В пятой главе рассматривается реализация операций на АС в крупноформатных электронных таблицах (EXCEL), системе автоматизации моделирования КОГНИТРОН, формируется структура сетевой системы автоматизации моделирования на основе распределенных алгоритмических сетей.

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

Заключение диссертации по теме «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», Марлей, Владимир Евгеньевич

Заключение

Перечислим основные результаты рассматриваемой работы:

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

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

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

4. Уточнена формальная модель процесса вычислений на АС, рассмотрены условия однозначности результата вычислений и особенности синтеза программ по АС.

5. Сформулированы условия возможности сравнения и взаимодействия АМ, разработана общая схема преобразований АМ на основе преобразований АС.

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

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

8. Разработаны общие алгоритмы реализации введенных операций и распознавания отношений для распределенных АС.

9. Введена формальная модель процесса вычислений на распределенных АС, исследованы его свойства, даны алгоритмы организации процесса вычислений.

10. Введены преобразования распределенных АМ на основе соответствующих преобразований нераспределенных АМ.

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

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

Практическое использование различных версий системы КОГНИТРОН созданных для различных приложений (сельское хозяйство, теория корабля, экономический анализ деятельности предприятий и т.п.) показывает высокую эффективность полученных в диссертации результатов. Так, например, использование системы для автоматизированного построения моделей в Госплане РСФСР позволило сократить процесс формирования сводного плана и, за счет этого, рассматривать не как обычно 1-2 варианта, а 10-20 вариантов плана.

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

Список литературы диссертационного исследования доктор технических наук Марлей, Владимир Евгеньевич, 1998 год

Литература

1. Бирюков Б.В. Кибернетика и методология науки. М.: Наука, 1974,412с.

2. Поспелов Г.С., Ириков В.А., Курилов А.Е. Процедуры и алгоритмы формирования комплексных программ. М.: Наука, 1985, 423с.

3. Управление, информация, интеллект. (Под ред. Берга А.И.) М.: Мысль, 1976, 383с.

4. Пономарев В.М. Алгоритмические модели в задачах исследования систем. // "Алгоритмы и системы автоматизации исследований и проектирования." М.: Наука, 1980,с.4-8.

5. Пономарев В.М., Александров В.В. Алгоритмические модели как средство автоматизации исследований. // Автоматизация исследований и проектирования. М.: 1978, с. 5-8.

6. Иванищев В.В. Алгоритмический базис для описания механизмов экономики. // "Алгоритмические модели в автоматизации исследований. М.: Наука, 1980, с.37-42.

7. Иванищев В.В. Об одной модели региона. // "Алгоритмы и системы автоматизации исследований и проектирования." М.: Наука, 1980, с. 13-16.

8. Иванищев В.В. Система автоматизации представления проблемной области, формирования программ и решений (САПФИР). Л.:ЛНИВЦ АН СССР, 1982,26 с.

9. Иванищев В.В., Егоров М.Б., Марлей В.Е., Морозов В.П. Проблемно-ориентированный решатель задач. Л.: ЛНИВЦ АН СССР, 1983,24 с, препринт доклада.

10. Ivanischev V.V., Egorov М.В., Marley V.E., Morozov V.P. Problem-oriented tasksolver. L.: LRCC AS USSR, 1983,20 p.

11. Иванищев В.В. Об автоматизации построения алгоритмических граф-моделей. // Информационно-вычислительные проблемы автоматизации научных исследований. М.: Наука, 1983, с.5-9.

12. Иванищев В.В., Марлей В.Е., Морозов В.П. Диалоговая процедура автоматизации построения программного обеспечения модели на основе матричного представления ее сети. // Системы автоматизации в науке и производстве. М.: Наука, 1984, с. 14-22.

13. Иванищев В.В., Марлей В.Е., Морозов В.П. Язык алгоритмических сетей. Л.: ЛНИВЦ АН СССР, 1984, 37 с, препринт № 63.

14. 50850000165. Иванищев В.В., Марлей В.Е., Морозов В.П. Проблемный пакет программ "Россия-84. Л.: ЛНИВЦ АН СССР, 1984, 65 с.

15. Марлей В.Е., Морозов В.П. Интерпретация алгоритмических сетей как языковых конструкций. // Проблемы автоматизации в научных и производственных процессах. М.: Наука, 1985, с. 37-46.

16. Иванищев В.В., Егоров М.Б. Логико-графический предпроцессор в системах автоматизации моделирования. // Проблемы автоматизации в научных и производственных процессах. М.: Наука, 1985, с. 9-14.

17. Иванищев В.В., Марлей В.Е., Морозов В.П., Ионова Л.С., Мещерин В.А. Модель экономического и социального развития республики ("Русь"). Л.: ЛНИВЦ АН СССР, 1985, 42 е., препринт №70.

18. Марлей В.Е., Морозов В.П. Использование метода резолюций для планирования вычислений на алгоритмических сетях. // Методы и системы автоматизации в задачах науки и производства. М.: Наука, 1986, с.23-34.

19. Марлей В.Е. Алгоритм планирования вычислений на алгоритмических сетях, использующий ситуацию переопределенности. // Методы и системы автоматизации в задачах науки и производства. М.: Наука, 1986, с.34-38.

20. Иванищев В.В. Автоматизация моделирования потоковых систем. Л.:Наука, 1986, 142с.

21. Пономарев В.В., Иванищев В.В., Марлей В.Е., Морозов В.П. Модель социального и экономического развития РСФСР. // Проблемы создания "АСУ-Россия". М.: Госплан РСФСР, 1984, с. 120-122.

22. Иванищев В.В., Марлей В.Е., Морозов В.П. Инструментальная экспертная система синтеза программ для построения моделей плановой экономики. // III Всесоюзная конференция "Автоматизация производства систем программирования". Таллин: АН ЭССР, 1986, с. 120-122.

23. Мещерин В.А., Ионова Л.С., Иванищев В.В., Марлей В.Е., Морозов В.П. Пакет прикладных программ "Россия-84". // Интегрирование обработки плановой информации. М.: Госплан РСФСР, 1986, с.5-9.

24. Иванищев В.В., Марлей В.Е., Морозов В.П. Модель экономического и социального развития республики. // Проблемы автоматизации в научных и производственных процессах. М.: Наука,1985, с.5-9.

25. Иванищев В.В., Игнашкина Е.М., Марлей В.Е., Пономарев В.В. Укрупненная алгоритмическая потоковая модель региона. Л.: ЛНИВЦ АН СССР, 1981,48 с.

26. Иванищев В.В., Мовчан B.C., Пономарев В.В. Структура алгоритмического описания отраслей непроизводственной сферы региона. // Алгоритмические модели в автоматизации исследований. М.: Наука, 1980, с.46-51.

27. Морозов В.П., Федоров В.П. Укрупненная алгоритмическая модебль "автомобильный транспорт" региона. // Вычислительные системы и методы автоматизации исследований и управления. М.: Наука, 1982, с. 14-19.

28. Михайлов В.В. Алгоритмическая потоковая модель биотического блока экосистемы крупного озера. // Проблемы автоматизации в научных и производственных процессах. М.: Наука, 1985, с. 39-48.

29. Иванищев В.В., Корсакова Л.И. Задачи оптимизации на алгоритмических сетях. // Проблемы автоматизации научных и производственных процессов. М.:Наука, 1985, с.23-30.

30. Иванищев В.В., Корсакова Л.И. Процедура паретовской оптимизации на алгоритмических потоковых сетях. // Проблемы информационой технологии и интегральной автоматизации производства. М.: Наука, 1989, с.114-124.

31. Морозов В.П. Процедура принятия решений на основе автоматизации программирования. // Проблемы информационной технологии и интегральной автоматизации производства. Л.: 1989, 125-130.

32. Иванищев В.В., Марлей В.Е., Морозов В. П. Система автоматизации моделирования САПФИР-Искра. Основы построения системы. Л.: ЛИИАН, 1989, 63 е., препринт № 99.

33. Иванищев В.В., Марлей В.Е. Типовые конструкции алгоритмических сетей. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 7-25.

34. Иванищев В.В., Марлей В.Е., Морозов В.П., Ионова Л.С., Мещерин В.А. Алгоритмические модели годового планирования республики. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН,1989, с 131-139.

35. Okorokov V.R., Ivanischev V.V., Bahorev A.A., Marley V.E.. Comparative Simulation of New Power Technolgies. // INTEGRATED ENERGY SYSTEMS. Socioeconomic and Ecological Issues. HAS A, 1989, p. 144-147.

36. Марлей В.Е. Входной язык системы САПФИР как язык программирования высокого уровня. // II Всесоюзная конференция ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ - 90 Минск: САИИ, 1990, с. 85-88.

37. Ivanischev V.V., Marley V.E., Morozov V.P., Tuboltzeva V.V. Decision-making in the SAPFIR simulation automation system. // International conference ARTIFICIAL INTELLIGENCE -INDUSTRIAL APPLICATION. Leningrad: LIIAN, 1990, p. 231-233.

38. Марлей В.Е.. Алгоритмические сети и параллельные граф-схемы алгоритмов.// Проблемы информационной технологии и интегральной автоматизации производства. JL: Наука, 1989, с 130-136.

39. Иванищев В.В., Кругов А.П., Марлей В.Е., Петров A.A., Поспелов И.Г. Реализация математической модели плановой экономики с элементами рынка в терминах алгоритмических сетей. JL: ЛИМАНД 991, 59 е., препринт № 152.

40. Иванищев В.В., Михайлов В.В., Тубольцева В.В. Инженерная экология (вопросы моделирования). Л.: Наука, 1989,144с.

41. Морозов В.П. Алгоритмы синтаксического контроля при автоматической генерации программ в системе САПФИР-Искра.87. // Методы и средства информационной технологии в науке и производстве. С.-Петербург: НаукаД992, с.114-130.

42. Морозов В.П. Задачи на вычисление при наличии ограничений. Метод обращения. // Алгоритмическое моделирование: инструментальные средства и модели. С.-Петербург: СПИИРАН, 1992, с.112-137.

43. Бомбина-Михайлова Е.В., Игнашкина Е.М., Марлей В.Е. Диалоговая процедура принятия решений на основе алгоритмической потоковой модели. // Вычислительные системы и методы в автоматизации исследований и управления. М.: Наука, 1982, с.11-13.

44. Иванищев В.В., Коплан-Дикс И.С., Игнашкина Е.М. Алгоритмическая модель управления потоками фосфора на водосборе Ладожского озера. Л.: ЛНИВЦ АН СССР, 1984, 42 е., препринт № 96.

45. Михайлов В.В. Секторная модель таймырской популяции северных оленей. // Экология, охрана и хозяйственное использование диких северных оленей. Новосибирск: 1985, с.63-71.

46. Павлов Б.М., Михайлов В.В., Зырянов В.А., Колпаков Л.А. Комплексный анализ балланса (пополнение-отход) таймыской популяции диких северных оленей. // Экология, охрана и хозяйственное использование диких северных оленей. Новосибирск: 1985, с. 71-83.

47. Коплан-Дикс И.С., Иванищев B.B. Проблема управления потоками бигенных веществ на водосборе (на примере Ладожского озера). // Проблемы исследования крупных озер СССР. Л.: 1985, с.76-78.

48. Тубольцева В.В. Система автоматизаци моделирования экологических объектов ЭКО-САПФИР. // Проблемы обработки информации и интегральной автоматизации производства. Л.: Наука ЛО, 1986, с. 102-110.

49. Михайлов В.В. Блок настройки параметров в системе ЭКО-САПФИР. // Проблемы обработки информации и интегральной автоматизации производства. Л.:Наука ЛО, 1986, с.111-118.

50. Ревайкин A.C., Быстрицкий С.П. Модель экономического и социального развития "Край-85". Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с. 140147.

51. Ширков Э.И., Коломийцев Ф.И., Фролова А.Э. Алгоритмическая потоковая модель рыбохозяйственного комплекса. Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с. 162-172.

52. Тарасов Е.А., Корсакова Л.И. Алгоритмическая модель природно-экономической системы бассейна реки Камчатка. Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с. 185-189.

53. Иванищев В.В., Марлей В.Е., Машистов С.Н., Морозов В.П., Тубольцева В.В., Щекатихин Е.А. Алгоритмическая модель развития машиностроительного предприятия ("Потенциал-86"). Л.: ЛИИАН, 1988, 62с., препринт №65.

54. Иванищев В.В., Михайлов В.В., Тубольцева В.В., Флегонтов A.B., Абакумов A.B. и др. Имитационное моделирование природной системы "озеро-водосбор". Л.: ЛИИАН, 1987, 232с.

55. Иванищев В.В., Маркитантов Б.С., Мурый В.Я. Потоковые технические системы энергоснабжения (идеографический подход). Л.: ЛИИАН, 1987, 35с., препринт №48.

56. Михайлов В.В., Тубольцева B.B. Особенности системы автоматизации Экологического моделирования. // Вопросы алгоритмического моделирования сложных систем. JL: ЛИИАН, 1989, с 26-31.

57. Фролова А.Э. Диалоговая процедура принятия решений на основе алгоритма поиска знаков приращений входных переменных сети. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 50-67.

58. Егоров М.Б., Каширская Е.В. Программное обеспечение системы автоматизации САПФИР-РС. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 97-113.

59. Машистов С.А., Дедков A.B. Моделирование дискретного производства на основе потоковых алгоритмических сетей. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 114-130.

60. Машистов С.А., Щекатихин Е.А. Модель технического перевооружения машиностроительного предприятия (Потенциал-V). Л.:ЛИИАН,1988, 57с., препринт 86.

61. Михайлов В.В., Казанский А.Б. Алгоритмическая модель озерного рыбопитомника. Л.: ЛИИАН, 1989, 27 е., препринт № 86.

62. Медведев А.Г. Алгоритмическая модель НТП в машиностроении и анализ ее динамики. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 173-184.

63. Коплан-Дикс И.С., Тубольцева В.В. О модели потоков органического вещества в нечерноземной зоне РСФСР. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 200-210.

64. Михайлов В.В., Павлов Б.Н., Соломаха О.И., Мордовии В.Ю. Моделирование природно-экономической системы "популяция-кормовая база-промысловая модель". // Вопросы алгоритмического моделирования сложных систем. Л.:ЛИИАН,1989, с.211-229.

65. Иванищев B.B. Когнитивный анализ процесса построения алгоритмических сетей. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.5-27.

66. Михайлов В.В. Матричное расширение языка алгоритмических сетей. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.28-46.

67. Егоров М.Б. Особенности программной реализации системы САПФИР 2.0. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.47-77.

68. Уткин A.A. Организация диалога в системе моделирования САПФИР 2.0. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.78-96.

69. Каширская Е.В. Алгоритми планирования блочной сети. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург:СПИИРАН, 1992, с.97-111.

70. Иванищев В.В. Алгоритм обеспечения функциональной полноты экспертных знаний. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.138-151.

71. Попов В.Ю. Принципы моделириования многоуровневых сетей снабжения. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с. 152-164.

72. Попов В.Ю., Тубольцева В.В. Алгоритмическая модель двухуровневой сети снабжения и задачи управления. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с. 165-170.

73. Михайлов В.В., Павлов Б.М. Управление возрастно-половой структурой промысловой популяции. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.171-184.

74. Поздняков Е.И., Лимонов В.И. Односекторная экономико-математическая модель прогнозирования развития народного хозяйства РСФСР "8,\УСЮ-1". // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.185-200.

75. Иванищев В.В., Марлей В.Е. Макроэкономическая модель развития региона в условиях рынка. // Информатика и вычислительная техника. Выпуск 1,1994, с. 7-11.

76. Иванищев В.В. Метод формирования знаний с использованием средств когнитивной графики. // III КОНФЕРЕНЦИЯ ПО ИСКУССТВЕННОМУ ИНТЕЛЛЕКТУ КИИ-92. Сборник научных трудов. Том 1. Тверь: АИИ, 1992, с. 145-147.

77. Марлей В.Е. Эквивалентность в алгоритмических моделях и алгоритмических сетях. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 75-76.

78. Иванищев В.В., Марлей В.Е., Михайлов В.В. Реккурентная модель технологического процесса в терминах матричного представления. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 61-63.

79. Марлей В.Е., Скуратов В.Б. Концепция информатизации агропромышленного комплекса Нечерноземной зоны России. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 25-26.

80. Быков Я.А., Иванищев В.В., Морозов В.П. Структура системы автоматизации средств моделирования на основе когнитивной графики. // IV С-Петербургская международная

конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95". Тезисы докладов. Часть 1. С-Петербург: 1995, с. 125-126.

81. Иванищев В.В., Морозов В.П., Михайлов В.В., Быков Я.А., Костельцев A.B. Система искусственного интеллекта для моделирования. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Труды конференции. С-Петербург: 1995, с. 126-130.

82. Ivanischev V.V., Morozov V.P., Michailov V.V., Bykov Ya. A., Kosteltcev A.V. The system of artificial intelligence for a modelling. The IV St.Peterburg International Conference "Regional Informatics - 95". Proceeding. S-Peterburg, 1995, p.91-95.

83. Иванищев B.B., Морозов В.П., Михайлов B.B., Быков Я.А., Костельцев A.B. Система искусственного интеллекта для моделирования. // Проблемы информатизации: теоретический и научно-практический журнал. Российская академия наук, Министерство науки и технической политики Российской Федерации. М..Т996. Вып. 1. с.51-55.

84. Морозов В.П., Быков Я.А., Костельцев A.B. Структура программного обеспечения инструментальной системы моделирования на основе экспертных знаний и средств когнитивной графики (КОГНИТРОН). // V Санкт-Петербургская Международная конференция "Региональная информатика-96". Тезисы докладов. Спб: 1996, с. 231.

85. Морозов В.П. Процедура поддержки принятия решений в инструментальной системе моделирования КОГНИТРОН. // V Санкт-Петербургская Международная конференция "Региональная информатика - 96". Тезисы докладов. Часть 2. Спб: 1996, с 231-231.

86. Baranov S., Domaratsky A., Lastochkin N., Morozov V. An automated system for software project planning. International Conference on Informatics and Control. Proceeding. Volume 2 of 3. StPeterburg. SPIIRAS, 1997, p. 785-795.

87. Баранов C.H., Домарацкий A.H., Ласточкин H.K., Морозов В.П. Модель зрелости организации выпускающей программные изделия коммерческого качества и ее практическое

применение. // Информационные технологии и интеллектуальные методы. Выпуск № 3. С-П: 1998, в печати.

88. Королев О.Ф. Microsoft Excel: средство представления алгоритмических сетей. // Информайионные технологии и интеллектуальные методы. Вып. 2. С-ГГ.1997, с.190-193.

89. О.Ф. Королев, В.Е. Марлей. Вычисления на распределенных алгоритмических сетях. // Материалы первой международной конференции по проблемам самооорганизации и управления в сложных коммуникационных пространствах. С-П.: 1997, с 58-60.

90. И.В. Иванищев, В.Е. Марлей, В.П. Морозов, В.В. Михайлов, ЯЛ. Быков, С.М. Алексеев. Инструментальная система автоматизации моделирования КОГНИТРОН. // Информационные технологии и вычислительные системы. 1998, в печати (8 е.).

91. В.Е. Марлей. Алгебра алгоритмических сетей. Юбилейный сборник трудов СПИИРАН. С-Петербург: Наука, 1998, в печати (14 е.).

92. V.E. Marley. Operations over algorithmic networks. // Interactional conference on informatics and control. Proceedings. ST.Peterburg: 1997, p 451-458.

93. Иванищев B.B., Михайлов B.B., Флегонтов A.B., Тубольцева В.В. Алгоритмическая модель абиотического блока экосистемы крупного озера. // Проблемы автоматизации научных и производственных процессов. М.: Наука, 1985, с.30-42.

94. Иванищев В.В., Михайлов В.В., Тубольцева В.В. Инструментальная система автоматизации экологического моделирования. // Математическое моделирование в прогблемах рационального природопользования. Тезисы докладов областной ХП школы-семинара, Ростов-на-Дону, 1988, с.256-258.

95. Иванищев В.В., Михайлов В.В., Тубольцева В.В. Система автоматизации построения экологических моделей. // Применение методов имитационного моделирования в пресноводной экологии и в рыбохозяйственных исследованиях на внутренних водоемах. JL: ГОСНИОРХ, 1989, с. 141-153.

96. Михайлов В.В., Решетников Ю.С., Смолей А.И., Южакова Г.Г., Пивазян С.А. Моделирование популяции севанского сига. JL: ЛНИВЦ, 1983,47 е., препринт.

97. Иванищев В.В., Евсеев A.B., Кудасов В.И. Процедура прогнозирования развития отрасли на базе алгоритмической модели. // Системы и методы автоматизации научных исследований. М.: Наука, 1981, с. 4-11.

98. Иванищев В.В.,Михайлов В.В. Распределенные модели: принципы построения. // Системы автоматизации в науке и производстве. М.: Наука, 1984, с. 5-10.

99. Иванищев В.В. Математическое описание алгоритмических сетей. // Системы автоматизации в науке и производстве. М.: Наука, 1984, с. 30-40.

100. Юсупов P.M., Иванищев В.В., Михайлов В.В., Костельцев В.И. Технология "мягкого" моделирования и задачи управления экологической ситуацией в регионе. // Тезисы докладов Всероссийской конференции по актуальным проблемам математического моделирования (Решма-93). Иваново: 1994,17-18.

101. Иванищев В.В., Михайлов В.В., Селезнева В.В. Матричное расширение системы автоматизации для решения многомерных задач. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 133-134.

102. Быков Я.А., Иванищев В.В. Теоретико-множественные операции на алгоритмических сетях. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 126-126.

103. Быков Я.А. Графический интерфейс в системе представления системы автоматизации моделирования "КОГНИТРОН". // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 124-125.

104. Юсупов P.M., Иванищев В.В., Костельдев В.И., Суворов А.И. Принципы квалиметрии моделей. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА. - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 90-91.

105. Костельцев A.B., Костельцев В.И. Способы повышения точности вычислительных экспериментов с алгоритмическими сетевыми моделями. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 70-71.

106. Костельцев A.B., Метод повышения точности моделирования динамических процессов в языке алгоритмических сетей. // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 69-70.

107. Костельцев A.B., Костельцев В.И. Новый способ построения явных методов дискретизации обыкновенных дифференциальных уравнений (ОДУ) // IV С-Петербургская международная конференция "РЕГИОНАЛЬНАЯ ИНФОРМАТИКА - 95". Труды конференции. С-Петербург: 1995, с. 40-46.

108. Ivanischev V.V. The technology of modeling on a basis of visual representation. // Interactional conference on informatics and control. Proceedings. St.Peterburg:1997, p. 448-450.

109. Иванищев B.B., Игнашкина E.M. Процедура логического вывода на основе сетевой формы описания проблемной Среды. // IX Всесоюзный симпозиум по кибернетике. Т.1. Представление знаний. М.: 1981, с. 35-38.

110. Michailov V.V., Kazansky A.B. An ecosystem model for rearing fish in lake. // Polish arthives of Hydrobiology. 1992, vol. 39, 3-4, p. 761-769.

111. Михайлов B.B. Анализ стационарных состояний таймырской популяции диких северных оленей. // Млекопитающие и птицы Севера средней Сибири. Новосибирск: СО ВАСХНИЛ, 1989, с. 39-46.

112. Михайлов В.В., Мордовии В.Ю. Биоклиматическая модель популяции диких северных оленей. // Освоение Севера и проблема рекультивации. Доклады 2 Международной Конференции. Сыктывкар: 1994,с. 218-228.

113. Михайлов В.В. Комплексирование взаимно противоречивых алгоритмических моделей. // Материалы первой международной конференции по проблемам самооорганизации и управления в сложных коммуникационных пространствах. С-П.: 1997, с 60-61.

114. Михайлов В.В., Иванищев В.В. База сельскохозяйственных моделей для решения задач управления фермерским хозяйством. // V Санкт-Петербургская Международная конференция "Региональная информатика - 96". Тезисы докладов. Спб: 1996, с. 259-260.

115. Быков Я.А., Иванищев В.В., Михайлов В.В. Планирование сельскохозяйственного производства с учетом экологических последствий. // Тезисы 2-ой международной конференции "Экология и развитие Северо-Запада России". Спб: 1997, с.97-98.

116. Форрестер Дж. Основы кибернетики предприятия. М.: Прогресс, 1974, 340 с.

117. Одум Г. Описание морских экосистем в виде диаграммэнергетических цепей. // Моделирование морских систем. JI.: Гидрометеоиздат, 1978, с. 125-150.

118. Bossel Н. Umweltdynamik. Munhen: te-wi Verlag Gmbh, 1985,466 p.

119. Менынуткин В.В. Язык моделирования гидробиологических процессов. // Гидробиологический журнал. 1975, T.l 1, №6, с. 271-276.

120. Методы прикладного микропрограммирования (под редакцией Бандман О.Д.). Новосибирск: Наука СО, 1981,180 с.

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

122. Sussman G.J., Steele G.L. CONSTRAINTS - expressing almoust hierarchical descriptions. Artifisial Intellegense., 1980, vol.14,1, p. 1-39.

123. Кузнецов И.П. Семантические представления. М.: Наука, 1986, 295 с.

124. Деннис Дж.Б., Фоссин Дж.Б., Линдерман Дж.П. Схемы потока данных. // Теория программирования. Часть 2. Труды симпозиума. Новосибирск: ВЦ СО АН СССР, 1972, с.7-41.

125. Берс A.A. Операторные структуры (расширяемая модель расширяемого языка). // Теория программирования. Часть 2. Труды симпозиума. Новосибирск: ВЦ СО АН СССР, 1972, с. 4481.

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

127. Вальковский В.А., Малышкин В.Э. Синтез параллельных программ и систем на вычислительных моделях. Новосибирск: Наука СО, 1988, 127 с.

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

129. Клещев A.C. Реляционная модель вычислений. // Программирование, 1980, №4, с. 20-29.

130. Поспелов Д.А. Ситуационное управление. Теория и практика. М.: Наука, 1986,284с.

131. Крутов А.П., Петров A.A., Поспелов И.Г. Математическая модель воспроизводства в централизованной плановой экономики с товарно-денежными отношениями. М.: ВЦ АН СССР, 1989,49 с.

132. Нариньяни A.C. Модель или алгоритм: новая парадигма информационной технологии. // Информационные технологии. № 4,1997, с. 11-16.

133. Мелихов А.Н. Ориентированные графы и конечные автоматы. М.:Наука, 1971, 416с.

134. Ope О. Теория графов. М.: Наука, 1968, 440 с.

135. Лавров С.С., Залогова Л.А., Петрушина Т.И. Принципы планирования решения задач в системе автоматического синтеза программ. // Программирование, №3,1982, с. 35-43.

136. Грис Д. Наука программирования. М.: Мир, 1984, 416 с.

137. Ерщов А.П. Введение в теоретическое программирование. М.: Наука, 1977,288 с.

138. Элементы теории испытаний и контроля в технических системах, (под. ред. Юсупова P.M.). Л.: Энергия, 1978, 178 с.

139. Шапиро А.П., Луппов С.П. Реккурентные уравнения в популяционной биологии. М.: Наука, 1983,134 с.

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

142. Евреинов Э.В., Прангешвили И.В. Цифровые автоматы с настраиваемой структурой. М.: Энергия, 1974, 240 с.

143. Торгашев В.А. Управление вычислительными процессами в машинах с динамической архитектурой. Л.: ЛНИВЦ АН СССР, 1982, 14 е., препринт №33.

144. Городецкий В.И. Информационные технологии и многоагентные системы. http://www.spiiras.nw.ru/ai.html

145. Городецкий В.И. Многоагентные системы: основные свойства и модели координации поведения, http://www.spiiras.nw.ru/ai.html