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

• Разумовский, Алексей Игоревич
• кандидат технических наук
• 2005

Оглавление диссертации кандидат технических наук Разумовский, Алексей Игоревич

Содержание

Введение

Глава 1. Исследование принципов построения и методов проектирования 16 структур интерактивных систем

1.1 Сущность, виды и модели систем

1.2 Классификация и особенности программных интерактивных систем 18 1.2.1 Методы проектирования и программирования САПР

1.3 Образцы программирования сложных систем

1.3.1 Программирование через операции и программирование через объекты

1.3.2 Модели, используемые для проектирования САПР.

1.3.3 Стили построения архитектур сложных систем.

1.4 Жизненный цикл программной системы

1.5 Проблематика проектирования программных систем с 34 недетерминированными алгоритмами.

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

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

Постоянное развитие производственных процессов стимулирует появление все более совершенных интерактивных автоматизированных систем, реализующих сложные алгоритмы функционирования в реальном времени, использующих 2Б и ЗБ геометрические модели со сложными структурами данных, поддерживающих международные стандарты по представлению информации для взаимодействия с внешними объектами и системами. К ним относятся, например, системы автоматизированного проектирования (САПР), автоматизированные системы управления производством (АСУП и АСУТП), БСАОА-системы, промышленные информационные системы и т.п. В таких системах, как правило, на начальных стадиях проектирования наблюдается некоторая неопределенность в перечне операций в алгоритмах функционирования системы, в смысле окончательного формулирования, а также неопределенность характеристик операндов в алгоритмах, в частности, касающихся точностей представления, способов кодирования и форм их внешнего представления. Таким образом, можно выделить новый класс программных интерактивных систем с, так называемыми, недетерминированными алгоритмами (ПрИС).

Известны исследования зарубежных ученых: Г. Буча, М. Шоу в области моделирования архитектур программных систем, К. Кнута, Г. Берна в области анализа и обобщения структур данных, а также отечественных ученых: Кульбы В.В., Косяченко С.А., Цвиркуна А.Д. по методам проектирования сложных систем обработки данных, Артамонова Е.И. по синтезу структур специализированных программно-аппаратных средств и т.п.

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

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

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

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

Говоря о передачи информации, изначально, имеют в виду характер ввода-вывода данных в собственной форме, способ их кодирования и точность представления, которые требуют специальных преобразователей, существенным образом влияющих на структуры системы [1]. При этом для повышения производительности труда, сокращения сроков и трудоемкости технологической подготовки производства используются системы автоматизированного проектирование (САПР).

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

При создании таких систем большое внимание уделяется разработке стандартов по методологии организации систем, стандартов на неизменные части систем и на структуру данных для обмена с прикладными частями. Таким образом разработан международный стандарт по CALS-технологиям. При проектировании программного обеспечения получила распространение CASE-технология (Computer- Aided Software Engineering), техника и средства структурного анализа SADT (Structured Analyzes and Design Technique), включающего метод интегрального описания, интегральной спецификации IDEF (Integrated Computer Aided DEFinition method), стандарт для описания данных об изделии (STEP), стандарты представления текстовой информации (SGML) и графики и т.п.

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

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

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

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

Цель и задачи исследования

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

В пределах поставленной цели, в диссертационной работе обращается внимание на следующие основные задачи:

- Исследование и проектирование алгоритмов функционирования, операций по формированию структур алгоритмов и уточнению их характеристик.

Анализ и разработка методов структурной организации и математических моделей ПрИС.

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

- Разработка алгоритмов и программного обеспечения промышленных систем проектирования и управления.

Методы исследования

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

Научная новизна

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

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

- На примере реализации недетерминированных алгоритмов пересечения сплайнов первой степени, замкнутых контуров, триангуляции 2Б контуров по методу Сейделя показана результативность использования естественноязыкового тезауруса операций и операндов.

- С использованием естественно-языкового тезауруса разработаны алгоритмы и программное обеспечение автоматической обработки контуров.

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

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

- Создано программное обеспечение для визуализации процессов испытаний разгонных двигателей РКТ, мониторинга экологической обстановки при уничтожении химического оружия.

Практическая ценность работы

Исследования, выполненные в диссертации, осуществлялись в рамках следующих НИР "Разработка программного обеспечения для геометрического моделирования крупногабаритных машиностроительных конструкций" (тема 318-96/18, per. номер 01.96.0009913) по заданию РАН, "Система моделирования и проектирования крупногабаритных конструкций" (тема 46597/18.) по заданию Миннауки РФ, "Интегрированные САПР"( 463-97/18) по заданию Миннауки РФ.

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

Реализация результатов работы

Эффективность разработанных в диссертационной работе концепций, методик и моделей подтверждена положительным опытом их применения при разработке ряда САПР для функционирования на заводе им. Хруничева и в НПО «Энергия». Также, кроме указанных работ, многие разработанные блока и модули инструментальных средств внедрены в состав комплексов программных средств ГРАФИКА-81, ГРАФИКА-97 и ГРАФИКА-2000, созданных в ИПУ РАН и использованных при конструировании сложных объектов.

Апробация работы

Основные положения работы докладывались на международных конференциях САБ/САМ/РОМ-2002, САБ/САМ/РОМ-2003 и САБ/САМ/РОМ-2004, а также на научных семинарах лаборатории Института проблем управления РАН. Публикации.

По материалам выполненных исследований опубликовано 9 печатных работ.

Структура работы.

Диссертация состоит из введения, четырех глав, заключения и приложения.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Разумовский, Алексей Игоревич

4.4 Основные выводы главы 4.

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

2. С использованием полученных в диссертационной работе методов проектирования разработаны алгоритмы, общие структуры, структуры данных и программное обеспечение систем визуализации параметров в процессе испытания разгонных блоков РКТ (ПКУИ) и визуализации параметров при уничтожении химического оружия. Сформирована структура ПКУИ, выделены основные и второстепенные направления разработки. Определена область тестирования ПКУИ.

3. Создана подсистема визуализации мониторинга экологической обстановки объекта ПУ-327. Геометрические и графические алгоритмы, разработанные с использованием метода тезауруса и унификации операций, были успешно применены для построения системы экологического мониторинга.

Заключение.

В диссертации получены следующие основные теоретические и практические результаты:

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

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

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

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

5. Проведен анализ основных алгоритмов по работе с 2D и 3D моделями объектов в САПР. На примере реализации недетерминированных алгоритмов пересечения сплайнов первой степени, замкнутых контуров, триангуляции 2D контуров по методу Сейделя показана результативность использования естественно-языкового тезауруса их операций и операндов. Недетерминированность алгоритмов присутствует при автоматической обработке контуров, без вмешательства человека в процесс обработки, и объясняется трудностью предсказания конфигурации ломаных линий контуров при их последовательном просмотре. С использованием естественно-языкового тезауруса разработаны оригинальные алгоритмы и программное обеспечение автоматической обработки контуров. Программное обеспечение распространяется в составе комплексов «Графика-81» и «Графика-01-Т».

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

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

Список литературы диссертационного исследования кандидат технических наук Разумовский, Алексей Игоревич, 2005 год

1. Артамонов Е.И., Хачумов В.М. Синтез структур специализированных средств машинной графики. М., Институт проблем управления.-1991.

2. Вендров A.M. Проектирование программного обеспечения экономических информационных систем, М., Финансы и статистика, 2000.

3. Артамонов Е.И., Разумовский А.И., Шурупов A.A. Система проектирования каминов. Автоматизация проектирования, 4, 1998, с. 33-40.

4. Поспелов Г.С., Ириков В.А. Программно-целевое планирование и управление. М.

5. Моисеев H.H. Математика ставит эксперимент. М.: Наука, 1979- 222 с.

6. Тамм Б.Г., Пуусенн М.З., Таваст P.P. Анализ и моделирование производственных систем. М.: Финансы и статистика , 1987. - 191 с.

7. Краткая философская энциклопедия / Под ред. Е.Ф. Губенога, Г.В. Кораблева, В.А. Лутченко. -М.: Прогресс, 1994. с. 203-205.

8. Искусственный интеллект : в 3 кн., кн. 2 Модели и методы: Справочник/ Под ред. Д.А. Поспелова. М.: Радио и связь, 1990. - 304 с.

9. Перегудов Ф.И., Тарасенко Ф.П. Введение в системный анализ: учебное пособие для вузов. М.: Высшая школа, 1989. - 367 с.

10. Осуга С. Обработка знаний М.: Мир, 1989. - 293 с.

11. Силич В.А. Содержательные модели систем и их использование при проектировании АСУ. Томск.: ТГУ , 1984. - 115 с.

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

13. Искусственный интеллект: в 3 кн.: справочник / Под ред. Э.В. Попова. — М.: Радио и связь, 1990. 464 с.

14. Элти Дж., Кумбс М. Экспертные системы: концепции и примеры. — М.: Финансы и статистика, 1987. 191 с.

15. Поспелов Д.А. Логико-лингвистические модели в системах управления. -М.: Энергоиздат, 1981.-231 с.

16. А. Закис, Н. Приезжий, Системы сквозного проектирования., Материалы технической конференции "Корпоративные базы данных '97".

17. Абт К. И., Фостер Р.Н., Ри Р. Г. Методика составления сценариев. В кн. Руководство по научно-техническому прогнозированию. — М.: Прогресс , 1977.-С. 132-162.

18. Кант И. Критика чистого разума. . пер. с нем., изд. «ТАЙМ-АУТ», Санкт-Петербург, 1993., 478 с.

19. Басакер Р., Саати Т. Конечные графы и сети. М.: Наука, 1974. - 368 с.

20. Артамонов Е.И. Проектирование структур программных средств CAD/CAM систем. - Автоматизация проектирования, N2, 1997.

21. Богданов А. А. Тектология: (Всеобщая организационная наука). В 2-х книгах: Кн.1\2. Москва: Экономика, 1989.- 304X351.

22. Северилов В.А. Методы декомпозиции прикладных программ и процессов их разработки. Сб.науч.тр. Декомпозиционные методы проектирования систем. Киев. ИК им. В.М. Глушкова АН УССР, 1988, с 2132.

23. Боровская Т.Н. Синтез структур реконфигурируемых САУ. Сб.науч.тр. -Декомпозиционные методы проектирования систем. Киев. ИК им. В.М. Глушкова АН УССР, 1988, с 13-20.

24. Грицык В.В., Дубров Я.А., Домбровский Б.Т. Декомпозиционные методы в исчислениях систем и параллельной обработке информации. Сб.науч.тр. -Декомпозиционные методы проектирования систем. Киев. ИК им. В.М. Глушкова АН УССР, 1988, с 3-13.

25. Hoare C.A.R., Proof of a structured program: The sieve of Eratosthenes, Comp. J., 15, N 11, 1972, 321-325.

26. Hoare C.A.R., An axiomatic basic for computer programming, Comm. ACM, 12, 1969, 567-583.

27. Ройс Уокер., Управление проектами по созданию программного обеспечения., М., Лори. 2002, 425 с.

28. М. М. Горбунов-Посадов., Расширяемые программы, М.,Полиптих, 1999,336 с.

29. Гегель Г. Наука логики. Ч. 1. М., 1970.

30. Шикин Е.В., Плис А.И. Кривые и поверхности на экране компьютера. -М.: Диалог- МИФИ, 1996. 240 с.

31. Wegner P. Dimensions of object-oriented modeling. IEEE Computer 25(10) 1992, pp. 12-19.

32. Элиенс А. Принципы OO разработки программ. «Вильяме» M.2002. 496 с.

33. Зиглер К. Методы проектирования программных систем. М. Мир, 1985.

34. Сэлтон Г. Автоматическая обработка, хранение и поиск информации. -М.: Сов. радио , 1973. 560 с.

35. Проблема программно-целевого планирования и управления. / Под ред. Поспелова Г.С. М.: Наука, 1981. - 464 с.

36. Поспелов Д.А. Моделирование рассуждений. М.: Радио и связь , 1989. -183 с.

37. Маслов С.Ю. Обратный метод установления выводимости в классическом исчислении предикатов. ДАН СССР, 1964. Т. 159. - С. 17-20.

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

39. Бар Р. Язык Ада в проектировании систем. М.: Мир , 1988. - 320 с.

40. Керрол JI. История с узелками. М.: Мир , 1973. - 407 с.

41. Поппер К. Логика и рост научного знания. М.: Прогресс , 1983. - 608 с.

42. Ковальски Р. Логика решения проблем. М.: Наука , 1990. - 280 с.

43. Рубцов С.В. Системы управления бизнес-процессами и корпоративная культура. PC WEEK/RE, N47, 2001, с.32.

44. On the criteria to be used in decomposing systems into modules, Commun. Ass. Comput. Mach.,Vol.l5, PP 1053-1058, Dec. 1972.

45. D.L.Parnas, D.p.Siewiorek, Use of transparency in the design of hierarchically structured systems, Commun. Ass. Comput. Mach.,Vol.18, PP 401-408, July. 1975.

46. Baines R.W., Colquhoun G.J. An integration and analysis tool for engineers. -Assembly Automation, Aug 1990.

47. Stat S.B. ШРО and Integrated Program design. IBM System J., 1976, N2, P143-154.

48. Zachman J. A framework for information architecture. IBM systems journal, V26, N3, 1987.

49. McClur C. The CASE Experience BYTE, 1989, April, P235-245.

50. An introduction to SADT. SofTech, Inc., Waltham, MA 1976.

51. Godwin A.N., Gleeson J.W., Gwillian D. An assessment of the IDEF notations as descriptive tools. Information systems, V14, N1, P13-28, 1989.

52. Papalambros Fanos Y., Chirebdast Mehran . An integrated environment for structural configuration design. J.Eng.Des. 1990, N1, P73-96.

53. Banerjee S.K. Information systems design for computer integrated manufacture a methodology. - Production management and manufacturing technology, 1991, C79-100.

54. Норенков И.П. Разработка САПР. Издательство МГТУ им. Баумана, 1994.

55. D.L.Parnas On the Criteria To Be Used in Decomposing Systems into Modules, Commun. Ass. Comput. Mach., Vol. 15, No. 12, December 1972 pp. 1053 1058.

56. Э.Дейкстра. Дисциплина программирования., M., Мир, 1978, 275 с.

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

58. М. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, G. Zelesnik. Abstraction for Software Architecture and Tools to Support Them. IEEE Transactions on Software Engineering, Vol. 21, No. 4, 1995.

59. Liskov B.H., Zilles S.N. Programming with abstract data types, ACM Sigplan Notices 9, pp 50-59.

60. Liskov, B. A Design Methodology for Reliable Software Systems, in Tutorial on Software Design Techniques. Third Edition. New York, NY: IEEE Computer Society, 1980, p.66.

61. Parnas, D. L., Clements, P. and Weiss, D. The Modular Structure of Complex Systems. IEEE Transactions on Software Engineering, March 1985, vol.SE-11(3), p.260.

62. S. Kumar and D. Manocha. Interactive display of large scale NURBS models. Technical Report TR94-008, Department of Computer Science, University of North Carolina, 1994.

63. R. Seidel. A simple and fast incrémental randomized algorithm for Computing trapezoidal décompositions and for triangulating polygons. Computational Geometry: Theory and Applications, 1(1): 51-64, 1991.

64. Dani Lischinski. Incrémental Delaunay triangulation. In Paul Heckbert, editor, Graphics Gems IV, pages 47-59. Academic Press, Boston, 1994.

65. A. Narkhede and D. Manocha. Graphics Gems 5, Editor: Alan Paeth, Academic Press, 1995.

66. Артамонов Е.И., Загвоздкин B.A., Шурупов A.A., Щегольков М.Ю. Языки взаимодействия пользователя с ЭВМ в системе «Графика-81». М., Институт проблем управления.-1993.

67. Артамонов Е.И., Исмаилов Ш-М.А., Кокаев О.Г., Хачумов В.М. Специализированные алгоритмы и устройства обработки массивов данных. Махачкала, Дагестанское книжное издательство.-1993.

68. Артамонов Е.И., Высотин О.В., Разумовский А.И., Макаров А.М., Шурупов А.А. Объемное геометрическое моделирование орбитального комплекса «МИР». Автоматизация проектирования, 4, 1998, с. 3-8.

69. Разумовский А.И. Комплекс программных средств по управлению испытаниями сложных объектов. Материалы международной конференции CAD/CAM/PDM-2002, с. 395-399.,ISBN 5-201-14937-5

70. Разумовский А.И. Анализ и исследование разработки алгоритма пересечения контуров. Материалы международной конференции СAD/CAM/PDM-2003, ISBN 5-201-14954-5.

71. Разумовский А.И. Ассоциация частных алгоритмов. Материалы международной конференции С AD/CAM/PDM-2003, ISBN 5-201-14954-5.

72. Разумовский А.И. Исследование и построение алгоритма треангуляции произвольных полигонов. Материалы международной конференции С AD/CAM/PDM-2003, ISBN 5-201-14954-5.

73. Dijktra, Е. 1979. Programming Considered as a Human Activity. Classics in Software Engineering. New York, NY: Yourdon Press, p.5.

74. Pamas, D. December 1985. Software Aspects of Strategic Defense Systems. Communications of the ACM vol.28(12), p. 1328.

75. Г. Буч, Якобсон А. Унифицированный процесс разработки программного обеспечения., Питер, 2002.

76. Холл А.Д. Опыт методологии для системотехники. М.: Сов. радио, 1975.-448 с.

77. Уинстон П. Искусственный интеллект. М.: Мир , 1980. - 519 с.

78. Разумовский А.И Использование метода "тезауруса" при проектировании систем с недетерминированными алгоритмами CAD/CAM/PDM-2004, ISBN 5-201-14977-4.

79. Кульба В.В., Микрин Е.А., Павлов Б.В. Проектирование информационно- управляющих систем долговременных орбитальных станций, М., Наука, 2002, 350 с.

80. Кульба В.В., Кононов Д.А., Косяченко С.А., Шубин А.Н. Методы формирования сценариев развития социально- экономических систем, М., СИНТЕГ, 2004, 255 с.