Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

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

Диссертация: Моделирование сложных систем на основе распределенных алгоритмических сетей
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Необходимость широкого применения вычислительной техники в народном хозяйстве сегодня ни у кого не вызывает сомнений. Однако ее внедрение до сих пор тормозится рядом проблем, и, в первую очередь проблемой взаимодействия человека и ЭВМ. Компьютер становится доступен для самых разных категорий пользователей, с разным уровнем компьютерной грамотности и математической подготовки и, соответственно… Читать ещё >

Содержание

  • Глава 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), на семинарах и рабочих совещаниях во время заграничных командировок в 19 881 990гг. в ЧССР (Integrated energy systems. HAS A, Praga, 1988) и ГДР. Публикации.

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

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

Заключение

.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Показать весь текст

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

  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. 50 850 000 165. Иванищев В. В., Марлей В. Е., Морозов В. П. Проблемный пакет программ «Россия-84. Л.: ЛНИВЦ АН СССР, 1984, 65 с.
  14. В.Е., Морозов В. П. Интерпретация алгоритмических сетей как языковых конструкций. // Проблемы автоматизации в научных и производственных процессах. М.: Наука, 1985, с. 37−46.
  15. В.В., Егоров М. Б. Логико-графический предпроцессор в системах автоматизации моделирования. // Проблемы автоматизации в научных и производственных процессах. М.: Наука, 1985, с. 9−14.
  16. В.В., Марлей В. Е., Морозов В. П., Ионова Л. С., Мещерин В. А. Модель экономического и социального развития республики («Русь»). Л.: ЛНИВЦ АН СССР, 1985, 42 е., препринт № 70.
  17. В.Е., Морозов В. П. Использование метода резолюций для планирования вычислений на алгоритмических сетях. // Методы и системы автоматизации в задачах науки и производства. М.: Наука, 1986, с.23−34.
  18. В.Е. Алгоритм планирования вычислений на алгоритмических сетях, использующий ситуацию переопределенности. // Методы и системы автоматизации в задачах науки и производства. М.: Наука, 1986, с.34−38.
  19. В.В. Автоматизация моделирования потоковых систем. Л.:Наука, 1986, 142с.
  20. В.В., Иванищев В. В., Марлей В. Е., Морозов В. П. Модель социального и экономического развития РСФСР. // Проблемы создания «АСУ-Россия». М.: Госплан РСФСР, 1984, с. 120−122.
  21. В.А., Ионова Л. С., Иванищев В. В., Марлей В. Е., Морозов В. П. Пакет прикладных программ «Россия-84». // Интегрирование обработки плановой информации. М.: Госплан РСФСР, 1986, с.5−9.
  22. В.В., Марлей В. Е., Морозов В. П. Модель экономического и социального развития республики. // Проблемы автоматизации в научных и производственных процессах. М.: Наука, 1985, с.5−9.
  23. В.В., Игнашкина Е. М., Марлей В. Е., Пономарев В. В. Укрупненная алгоритмическая потоковая модель региона. Л.: ЛНИВЦ АН СССР, 1981,48 с.
  24. В.В., Мовчан B.C., Пономарев В. В. Структура алгоритмического описания отраслей непроизводственной сферы региона. // Алгоритмические модели в автоматизации исследований. М.: Наука, 1980, с.46−51.
  25. В.П., Федоров В. П. Укрупненная алгоритмическая модебль «автомобильный транспорт» региона. // Вычислительные системы и методы автоматизации исследований и управления. М.: Наука, 1982, с. 14−19.
  26. В.В. Алгоритмическая потоковая модель биотического блока экосистемы крупного озера. // Проблемы автоматизации в научных и производственных процессах. М.: Наука, 1985, с. 39−48.
  27. В.В., Корсакова Л. И. Задачи оптимизации на алгоритмических сетях. // Проблемы автоматизации научных и производственных процессов. М.:Наука, 1985, с.23−30.
  28. В.В., Корсакова Л. И. Процедура паретовской оптимизации на алгоритмических потоковых сетях. // Проблемы информационой технологии и интегральной автоматизации производства. М.: Наука, 1989, с.114−124.
  29. В.П. Процедура принятия решений на основе автоматизации программирования. // Проблемы информационной технологии и интегральной автоматизации производства. Л.: 1989, 125−130.
  30. В.В., Марлей В. Е., Морозов В. П. Система автоматизации моделирования САПФИР-Искра. Основы построения системы. Л.: ЛИИАН, 1989, 63 е., препринт № 99.
  31. В.В., Марлей В. Е. Типовые конструкции алгоритмических сетей. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 7−25.
  32. В.В., Марлей В. Е., Морозов В. П., Ионова Л. С., Мещерин В. А. Алгоритмические модели годового планирования республики. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 131−139.
  33. 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.
  34. В.Е. Входной язык системы САПФИР как язык программирования высокого уровня. // II Всесоюзная конференция ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ 90 Минск: САИИ, 1990, с. 85−88.
  35. 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.
  36. В.Е. Алгоритмические сети и параллельные граф-схемы алгоритмов.// Проблемы информационной технологии и интегральной автоматизации производства. JL: Наука, 1989, с 130−136.
  37. В.В., Кругов А. П., Марлей В. Е., Петров A.A., Поспелов И. Г. Реализация математической модели плановой экономики с элементами рынка в терминах алгоритмических сетей. JL: ЛИМАНД 991, 59 е., препринт № 152.
  38. В.В., Михайлов В. В., Тубольцева В. В. Инженерная экология (вопросы моделирования). Л.: Наука, 1989,144с.
  39. В.П. Алгоритмы синтаксического контроля при автоматической генерации программ в системе САПФИР-Искра.87. // Методы и средства информационной технологии в науке и производстве. С.-Петербург: НаукаД992, с.114−130.
  40. В.П. Задачи на вычисление при наличии ограничений. Метод обращения. // Алгоритмическое моделирование: инструментальные средства и модели. С.-Петербург: СПИИРАН, 1992, с.112−137.
  41. Бомбина-Михайлова Е.В., Игнашкина Е. М., Марлей В. Е. Диалоговая процедура принятия решений на основе алгоритмической потоковой модели. // Вычислительные системы и методы в автоматизации исследований и управления. М.: Наука, 1982, с.11−13.
  42. В.В., Коплан-Дикс И.С., Игнашкина Е. М. Алгоритмическая модель управления потоками фосфора на водосборе Ладожского озера. Л.: ЛНИВЦ АН СССР, 1984, 42 е., препринт № 96.
  43. В.В. Секторная модель таймырской популяции северных оленей. // Экология, охрана и хозяйственное использование диких северных оленей. Новосибирск: 1985, с.63−71.
  44. .М., Михайлов В. В., Зырянов В. А., Колпаков Л. А. Комплексный анализ балланса (пополнение-отход) таймыской популяции диких северных оленей. // Экология, охрана и хозяйственное использование диких северных оленей. Новосибирск: 1985, с. 71−83.
  45. Коплан-Дикс И.С., Иванищев B.B. Проблема управления потоками бигенных веществ на водосборе (на примере Ладожского озера). // Проблемы исследования крупных озер СССР. Л.: 1985, с.76−78.
  46. В.В. Система автоматизаци моделирования экологических объектов ЭКО-САПФИР. // Проблемы обработки информации и интегральной автоматизации производства. Л.: Наука ЛО, 1986, с. 102−110.
  47. В.В. Блок настройки параметров в системе ЭКО-САПФИР. // Проблемы обработки информации и интегральной автоматизации производства. Л.:Наука ЛО, 1986, с.111−118.
  48. A.C., Быстрицкий С. П. Модель экономического и социального развития «Край-85». Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с. 140 147.
  49. Э.И., Коломийцев Ф. И., Фролова А. Э. Алгоритмическая потоковая модель рыбохозяйственного комплекса. Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с. 162−172.
  50. Е.А., Корсакова Л. И. Алгоритмическая модель природно-экономической системы бассейна реки Камчатка. Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с. 185−189.
  51. В.В., Марлей В. Е., Машистов С. Н., Морозов В. П., Тубольцева В. В., Щекатихин Е. А. Алгоритмическая модель развития машиностроительного предприятия («Потенциал-86»). Л.: ЛИИАН, 1988, 62с., препринт № 65.
  52. В.В., Михайлов В. В., Тубольцева В. В., Флегонтов A.B., Абакумов A.B. и др. Имитационное моделирование природной системы «озеро-водосбор». Л.: ЛИИАН, 1987, 232с.
  53. В.В., Маркитантов Б. С., Мурый В. Я. Потоковые технические системы энергоснабжения (идеографический подход). Л.: ЛИИАН, 1987, 35с., препринт № 48.
  54. В.В., Тубольцева B.B. Особенности системы автоматизации Экологического моделирования. // Вопросы алгоритмического моделирования сложных систем. JL: ЛИИАН, 1989, с 26−31.
  55. А.Э. Диалоговая процедура принятия решений на основе алгоритма поиска знаков приращений входных переменных сети. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 50−67.
  56. М.Б., Каширская Е. В. Программное обеспечение системы автоматизации САПФИР-РС. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 97−113.
  57. С.А., Дедков A.B. Моделирование дискретного производства на основе потоковых алгоритмических сетей. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 114−130.
  58. С.А., Щекатихин Е. А. Модель технического перевооружения машиностроительного предприятия (Потенциал-V). Л.:ЛИИАН, 1988, 57с., препринт 86.
  59. В.В., Казанский А. Б. Алгоритмическая модель озерного рыбопитомника. Л.: ЛИИАН, 1989, 27 е., препринт № 86.
  60. А.Г. Алгоритмическая модель НТП в машиностроении и анализ ее динамики. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 173−184.
  61. Коплан-Дикс И.С., Тубольцева В. В. О модели потоков органического вещества в нечерноземной зоне РСФСР. // Вопросы алгоритмического моделирования сложных систем. Л.: ЛИИАН, 1989, с 200−210.
  62. В.В., Павлов Б. Н., Соломаха О. И., Мордовии В. Ю. Моделирование природно-экономической системы «популяция-кормовая база-промысловая модель». // Вопросы алгоритмического моделирования сложных систем. Л.:ЛИИАН, 1989, с.211−229.
  63. B.B. Когнитивный анализ процесса построения алгоритмических сетей. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.5−27.
  64. В.В. Матричное расширение языка алгоритмических сетей. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.28−46.
  65. М.Б. Особенности программной реализации системы САПФИР 2.0. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.47−77.
  66. A.A. Организация диалога в системе моделирования САПФИР 2.0. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.78−96.
  67. Е.В. Алгоритми планирования блочной сети. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург:СПИИРАН, 1992, с.97−111.
  68. В.В. Алгоритм обеспечения функциональной полноты экспертных знаний. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.138−151.
  69. В.Ю. Принципы моделириования многоуровневых сетей снабжения. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с. 152−164.
  70. В.Ю., Тубольцева В. В. Алгоритмическая модель двухуровневой сети снабжения и задачи управления. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с. 165−170.
  71. В.В., Павлов Б. М. Управление возрастно-половой структурой промысловой популяции. // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.171−184.
  72. Е.И., Лимонов В. И. Односекторная экономико-математическая модель прогнозирования развития народного хозяйства РСФСР «8,УСЮ-1». // Алгоритмическое моделирование: инструментальные средства и модели. С-Петербург: СПИИРАН, 1992, с.185−200.
  73. В.В., Марлей В. Е. Макроэкономическая модель развития региона в условиях рынка. // Информатика и вычислительная техника. Выпуск 1,1994, с. 7−11.
  74. В.В. Метод формирования знаний с использованием средств когнитивной графики. // III КОНФЕРЕНЦИЯ ПО ИСКУССТВЕННОМУ ИНТЕЛЛЕКТУ КИИ-92. Сборник научных трудов. Том 1. Тверь: АИИ, 1992, с. 145−147.
  75. В.Е. Эквивалентность в алгоритмических моделях и алгоритмических сетях. // IV С-Петербургская международная конференция «РЕГИОНАЛЬНАЯ ИНФОРМАТИКА 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 75−76.
  76. В.Е., Скуратов В. Б. Концепция информатизации агропромышленного комплекса Нечерноземной зоны России. // IV С-Петербургская международная конференция «РЕГИОНАЛЬНАЯ ИНФОРМАТИКА 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 25−26.
  77. В.В., Морозов В. П., Михайлов В. В., Быков Я. А., Костельцев A.B. Система искусственного интеллекта для моделирования. // IV С-Петербургская международная конференция «РЕГИОНАЛЬНАЯ ИНФОРМАТИКА 95. Труды конференции. С-Петербург: 1995, с. 126−130.
  78. 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.
  79. В.П. Процедура поддержки принятия решений в инструментальной системе моделирования КОГНИТРОН. // V Санкт-Петербургская Международная конференция «Региональная информатика 96». Тезисы докладов. Часть 2. Спб: 1996, с 231−231.
  80. 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.
  81. Королев О.Ф. Microsoft Excel: средство представления алгоритмических сетей. // Информайионные технологии и интеллектуальные методы. Вып. 2. С-ГГ.1997, с.190−193.
  82. О.Ф. Королев, В. Е. Марлей. Вычисления на распределенных алгоритмических сетях. // Материалы первой международной конференции по проблемам самооорганизации и управления в сложных коммуникационных пространствах. С-П.: 1997, с 58−60.
  83. И.В. Иванищев, В. Е. Марлей, В. П. Морозов, В. В. Михайлов, ЯЛ. Быков, С. М. Алексеев. Инструментальная система автоматизации моделирования КОГНИТРОН. // Информационные технологии и вычислительные системы. 1998, в печати (8 е.).
  84. В.Е. Марлей. Алгебра алгоритмических сетей. Юбилейный сборник трудов СПИИРАН. С-Петербург: Наука, 1998, в печати (14 е.).
  85. V.E. Marley. Operations over algorithmic networks. // Interactional conference on informatics and control. Proceedings. ST. Peterburg: 1997, p 451−458.
  86. B.B., Михайлов B.B., Флегонтов A.B., Тубольцева В. В. Алгоритмическая модель абиотического блока экосистемы крупного озера. // Проблемы автоматизации научных и производственных процессов. М.: Наука, 1985, с.30−42.
  87. В.В., Решетников Ю. С., Смолей А. И., Южакова Г. Г., Пивазян С. А. Моделирование популяции севанского сига. JL: ЛНИВЦ, 1983,47 е., препринт.
  88. В.В., Евсеев A.B., Кудасов В. И. Процедура прогнозирования развития отрасли на базе алгоритмической модели. // Системы и методы автоматизации научных исследований. М.: Наука, 1981, с. 4−11.
  89. В.В., Михайлов В. В. Распределенные модели: принципы построения. // Системы автоматизации в науке и производстве. М.: Наука, 1984, с. 5−10.
  90. В.В. Математическое описание алгоритмических сетей. // Системы автоматизации в науке и производстве. М.: Наука, 1984, с. 30−40.
  91. Я.А., Иванищев В. В. Теоретико-множественные операции на алгоритмических сетях. // IV С-Петербургская международная конференция «РЕГИОНАЛЬНАЯ ИНФОРМАТИКА 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 126−126.
  92. Я.А. Графический интерфейс в системе представления системы автоматизации моделирования «КОГНИТРОН». // IV С-Петербургская международная конференция «РЕГИОНАЛЬНАЯ ИНФОРМАТИКА 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 124−125.
  93. P.M., Иванищев В. В., Костельдев В. И., Суворов А. И. Принципы квалиметрии моделей. // IV С-Петербургская международная конференция «РЕГИОНАЛЬНАЯ ИНФОРМАТИКА. 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 90−91.
  94. A.B., Метод повышения точности моделирования динамических процессов в языке алгоритмических сетей. // IV С-Петербургская международная конференция «РЕГИОНАЛЬНАЯ ИНФОРМАТИКА 95. Тезисы докладов. Часть 1. С-Петербург: 1995, с. 69−70.
  95. 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.
  96. B.B., Игнашкина E.M. Процедура логического вывода на основе сетевой формы описания проблемной Среды. // IX Всесоюзный симпозиум по кибернетике. Т.1. Представление знаний. М.: 1981, с. 35−38.
  97. 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.
  98. B.B. Анализ стационарных состояний таймырской популяции диких северных оленей. // Млекопитающие и птицы Севера средней Сибири. Новосибирск: СО ВАСХНИЛ, 1989, с. 39−46.
  99. В.В., Мордовии В. Ю. Биоклиматическая модель популяции диких северных оленей. // Освоение Севера и проблема рекультивации. Доклады 2 Международной Конференции. Сыктывкар: 1994, с. 218−228.
  100. В.В. Комплексирование взаимно противоречивых алгоритмических моделей. // Материалы первой международной конференции по проблемам самооорганизации и управления в сложных коммуникационных пространствах. С-П.: 1997, с 60−61.
  101. В.В., Иванищев В. В. База сельскохозяйственных моделей для решения задач управления фермерским хозяйством. // V Санкт-Петербургская Международная конференция «Региональная информатика 96». Тезисы докладов. Спб: 1996, с. 259−260.
  102. Я.А., Иванищев В. В., Михайлов В. В. Планирование сельскохозяйственного производства с учетом экологических последствий. // Тезисы 2-ой международной конференции «Экология и развитие Северо-Запада России». Спб: 1997, с.97−98.
  103. Дж. Основы кибернетики предприятия. М.: Прогресс, 1974, 340 с.
  104. Г. Описание морских экосистем в виде диаграммэнергетических цепей. // Моделирование морских систем. JI.: Гидрометеоиздат, 1978, с. 125−150.
  105. Bossel Н. Umweltdynamik. Munhen: te-wi Verlag Gmbh, 1985,466 p.
  106. В.В. Язык моделирования гидробиологических процессов. // Гидробиологический журнал. 1975, T. l 1, № 6, с. 271−276.
  107. Методы прикладного микропрограммирования (под редакцией Бандман О.Д.). Новосибирск: Наука СО, 1981,180 с.
  108. Д.А. Введение в теорию вычислительных систем. М.: Советское радио, 1972, 280 с.
  109. Sussman G.J., Steele G.L. CONSTRAINTS expressing almoust hierarchical descriptions. Artifisial Intellegense., 1980, vol.14,1, p. 1−39.
  110. И.П. Семантические представления. М.: Наука, 1986, 295 с.
  111. Дж.Б., Фоссин Дж.Б., Линдерман Дж.П. Схемы потока данных. // Теория программирования. Часть 2. Труды симпозиума. Новосибирск: ВЦ СО АН СССР, 1972, с.7−41.
  112. A.A. Операторные структуры (расширяемая модель расширяемого языка). // Теория программирования. Часть 2. Труды симпозиума. Новосибирск: ВЦ СО АН СССР, 1972, с. 4481.
  113. Э.Х. Концептуальное программирование. М.: Наука, 1984,256 с.
  114. В.А., Малышкин В. Э. Синтез параллельных программ и систем на вычислительных моделях. Новосибирск: Наука СО, 1988, 127 с.
  115. И.О., Новиков Ф. А., Петрушина Т. И. Язык Декарт входной язык системы СПОРА. // Прикладная информактика. 1981, вып.1, с. 35−73.
  116. A.C. Реляционная модель вычислений. // Программирование, 1980, № 4, с. 20−29.
  117. Д.А. Ситуационное управление. Теория и практика. М.: Наука, 1986,284с.
  118. А.П., Петров A.A., Поспелов И. Г. Математическая модель воспроизводства в централизованной плановой экономики с товарно-денежными отношениями. М.: ВЦ АН СССР, 1989,49 с.
  119. A.C. Модель или алгоритм: новая парадигма информационной технологии. // Информационные технологии. № 4,1997, с. 11−16.
  120. А.Н. Ориентированные графы и конечные автоматы. М.:Наука, 1971, 416с.
  121. Ope О. Теория графов. М.: Наука, 1968, 440 с.
  122. С.С., Залогова Л. А., Петрушина Т. И. Принципы планирования решения задач в системе автоматического синтеза программ. // Программирование, № 3,1982, с. 35−43.
  123. Д. Наука программирования. М.: Мир, 1984, 416 с.
  124. А.П. Введение в теоретическое программирование. М.: Наука, 1977,288 с.
  125. Элементы теории испытаний и контроля в технических системах, (под. ред. Юсупова P.M.). Л.: Энергия, 1978, 178 с.
  126. А.П., Луппов С. П. Реккурентные уравнения в популяционной биологии. М.: Наука, 1983,134 с.
  127. Н.П., Калашников В. В., Коваленко И. И. Лекции по теории сложных систем. М.: Советское радио, 1973, 440 с.
  128. Э.В., Прангешвили И. В. Цифровые автоматы с настраиваемой структурой. М.: Энергия, 1974, 240 с.
  129. В.А. Управление вычислительными процессами в машинах с динамической архитектурой. Л.: ЛНИВЦ АН СССР, 1982, 14 е., препринт № 33.
  130. В.И. Информационные технологии и многоагентные системы. http://www.spiiras.nw.ru/ai.html
  131. В.И. Многоагентные системы: основные свойства и модели координации поведения, http://www.spiiras.nw.ru/ai.html
Заполнить форму текущей работой

Заказал и сдал!