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

Графовое программирование 1-6 Теория графов применительно к программированию начало развиваться в школе А.П. Ершова (Котов В.Е., Касьянов В.И, Иткин В.Э., Евстигнеев А.А. и др.). Были выпушены теоретические работы по теории схем программ1-5 и применению теории графов при представлении модульных структур программ матрицами достижимости, которые эквивалентны матрицам смежности ориентированного графа, например в сборочном программировании5-6. Графовая теория активно развивается в ИСП РАН для схемной организации памяти в ОС Linux и используется в авиации и медицине7-8 . У этой теории есть перспективы развития. 1. Ершов А. П., Введение в теоретическое программирование М., 1977. 2. Евстигнеев А.А. Применение теории графов в программирование. Москва.-Наука.- Редакция физ.- мат. наук, Под редакцией А.П. Ершова. 1985 г. 351с. 3. Котов В. Е., Введение в теорию схем программ, Новосибирск, 1978. 4.Кристофидес Н. Теория графов. Алгоритмический подход.-М.: Мир. 1978. 5.Лаврищева Е.М., Грищенко В.Н. Сборочное программирование, Основы индустрии программных продуктов,- 2009.-Наук.думка.- 471с. 6.. Лаврищева Е.М. Теория объектно-компонентного моделирования изменяемых программных систем.-www/ispras.ru/ . ISP RAN, 2016, ISBN 928-5-91474-025. 7. И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин Теория соответствия для систем с блокировками и разрушениями. Москва, Физматлит, 2008.-411с. 8. И.Б. Бурдонов, А.С. Косачев, Coртин А. Распределенные алгоритмы на корневых неориентированных графах. Труды ИСП РАН, 2007. Том.29 выпуск.5. Стр.283-310.