Компьютерная поддержка процесса структурного проектирования сложных информационно-измерительных систем тема диссертации и автореферата по ВАК РФ 05.11.16, кандидат технических наук Секачёв, Виктор Александрович

• Секачёв, Виктор Александрович
• кандидат технических наук
• 2006

Оглавление диссертации кандидат технических наук Секачёв, Виктор Александрович

ВВЕДЕНИЕ.

ГЛАВА 1. АКТУАЛЬНОСТЬ РАЗРАБОТКИ И АНАЛИЗ НЕКОТОРЫХ ИЗВЕСТНЫХ НА НАСТОЯЩЕЕ ВРЕМЯ ПРИМЕНЕНИЙ СТРУКТУРНОГО ПОДХОДА.

1.1. Проблемы и перепекшим синтеза сложных систем.

1.1.1. Сложность процесса проектирования больших систем.

1.1.2. Известные методы проектирования.

1.1.3. Определение процесса проектирования.

1.2. Применения структурного подхода при решении задач проектировании.

1.2.1. Сущность структурного подхода.

1.2.2. Применения структурного подхода при проектировании алгоритмов распознавания графических изображений.

1.2.3. Топологические методы па графах при конструировании печатных плат.

1.2.4. Топологические методы па графах при проектировании распределенных систем экологического мониторинга (СЭМ).

1.2.5. Топологические методы при проектировании диалогов человеко-машинных систем и при смысловом распознавании текстов.

1.3. Постановка чадами.

1.3.1. Подходы при проектировании измерительных систем и обоснование применения автоматизации при структурном проектировании И НС.

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

1.3.3. Концепция разрабатываемой компьютерной поддержки.

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

Системный этап - наиболее важный :шш в проектировании. От того, насколько правильно и корректно выбрана структура будущей системы, будет зависеть трудоёмкость реализации сё компонентов па последующих этапах, вплоть до изготовления и испытания опытного образца. Системный этап проектирования целесообразен тогда, когда речь идёт о создании любого сложного материального объекта, включающего в себя несколько десятков функциональных компонент и подсистем. Можно его применять и при проектировании нематериальных объектов, в частности алгоритмов и профамм большой сложности. Вряд ли стоит говори ть об использовании системного подхода при проектировании неделимых элементов конструкции (деталей), например, радиодеталей (типовых микросхем различной степени интеграции, транзисторов, диодов, трансформаторов и т. д.), потому что здесь имеет место или расчёт, или выбор необходимых из списка. Имеются программные пакеты для аппаратного программирования микросхем ПЛИС и ПЛМ, предназначенные для реализации цифровых логических схем. Кроме того, имеются программные пакеты для расчёта и моделирования режимов электронных аналоговых и цифровых принципиальных схем (MATLab, SimuLink). На начальных этапах проектирования ИИС, ИВК с использованием средств вычислительной техники, когда необходимо выбрать структуру, невозможно наиболее полно использовать возможности современных программных автоматизированных систем, так как в них пет реализации аппарата переменных экстремальных структур, позволяющих оп тимизировать структуру по функциональному распределению. Программные пакеты (MicroCap, PSpicc) используются на этапе схемотехнического проектирования, когда по имеющейся принципиальной схеме некоторого компонента системы и необходимо рассчитать, например, переходную характеристику с расчётом 'токов во всех ветвях схемы, чтобы убедится, что все радиоэлектронные приборы со своими параметрами подобраны правильно или необходим новый подбор. Пакеты MicroCap, Pspice - пакеты анализа, в то время'как проектирование - проблема синтеза. При конструкторской реализации схемы электрической принципиальной в виде печатных плат используется своя группа программных пакетов (PCAD).

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

Однако ПС для автоматизированного проектирования и выбора оптимальных структур систем на самом первом, системном этапе до сего времени пока не существует, хотя, как упоминалось в самом начале, от выбора начальной структуры в связи с данными ТЗ и A3 во многом зависят характеристики проектируемого изделия и их соответствие заданным требованиям. Имеются редакторы графов, которые предназначены для различных учебных целей [33], но они проблему структурного проектирования не решают. Необходимость применения автоматизированного подхода при выборе структуры объясняется тем, что реализация сложной ИИС мпоговариаитиа, кроме того в процессе необходимо подвергать оптимизации отдельные фрагменты или всю целиком, или замещать отдельные блоки другими структурами, полученную структуру опять подвергать оптимизации и т. д. При этом во время оптимизации процесс необходимо контролировать и иметь возможность возврата назад, а по завершении - изменять полученные результаты. Чтобы выбрать наилучший вариант, необходимо много вычислительной работы на графах, которую можно переложит!, па средства современной вычислительной техники.

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

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

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

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

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

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

Положении, выносимые на защиту:

1. Алгебраическая модель структуры ИИС для функционального и иерархического представления, алгоритмическая модель представления структуры и аппарат её преобразования.

2. Алгоритмы программных модулей и принципы их функционирования.

3. Метрологический анализ структуры с произвольно заданными значениями погрешностей и получение аналитических зависимостей погрешностей в алгоритмах программы.

4. Результаты экспериментов, подтверждающих правильность разработанных алгоритмов и методик.

Заключение диссертации по теме «Информационно-измерительные и управляющие системы (по отраслям)», Секачёв, Виктор Александрович

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ (ЗАКЛЮЧЕНИЕ)

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

1. Получены операторы для преобразования данных, отождествляющей собой структуру ИИС, в процессе проектирования.

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Секачёв, Виктор Александрович, 2006 год

1. Александров П. С, Пасынков Б. А. Введение в теорию размерностей. -М.: Наука, 1973.-575 с.

2. Александров П. С. Введение в теорию множеств и общую топологию. -М.: Наука, 1977.-367 с.

3. Апресян Ю. Д. Экспериментальное Исследование семантики русского глагола. М., «Наука», 1967. 252 с.

4. Бабенко Л. П., Ющенко Е. Л. и др. Об отладочных средствах в системе программирования. Труды Симпозиума «Теория языков и методы построения систем программирования». Киев, 1972. - С. 120-127.

5. Барканов Н. А. и др., Конструирование микромодульной аппаратуры, «Советское радио», М., 1968. 185 с.

6. Берж К. Теория графов и ее применение. М.: Изд.-во иностр. лит., 1962. - 319 с.

7. Болтянский В, Г. Оптимальное управление дискретными системами. -М.: Наука, 1973.-446 с.

8. Борисенко Л. Г., Лаврищева Е. М. Диалоговая семантическая отладка исходных программ на машине «Днепр-2». Труды Симпозиума «Теория языков и методы построения систем программирования». Киев, 1972. - С. 89-95.

9. Борщев В. Б., Хомяков М. В. Схемы для функций и отношений.— Сб. «Исследования по формализованным языкам и неклассическим логикам». М., ВИНИТИ, 1974.

10. Борщев В. Б., Хомяков М. В. Аксиоматический подход к описанию формальных языков. Сб. «Математическая лингвистика». М.ВИНИТИ, 1973.

11. Браславский Д. А., Петров В. В. Точность измерительных устройств. М: Машиностроение, 1976 г. - 236 с.

12. Брусакова И .А., Цветков Э. И. Достоверность результатов метрологического анализа: Учеб. пособие. СПб.: Изд-во СПбГЭТУ "ЛЭТИ", 2001. -120 с.

13. Брусакова И.А., Цветков Э.И. Концепция применения информационных технологий в измерительной технике //Вопросы проектирования измерительных систем («Известия СПбГЭТУ». Вып. 491) 1997. С. 8-17.

14. Бурбаки Н., Теория множеств, «Мир», М., 1965. 256 с.

15. Бурков В. Н., Ловецкий С. Е., Методы решения экстремальных комбинаторных задач, Изв. АН СССР, Техн. кибернетика, 1968, № 4. С. 24-34.

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

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

18. Бутрименко А. В. Разработка и эксплуатация сетей ЭВМ. М.: Финансы и статистика, 1981. - 256 с.

19. Бутрименко А. В., О поиске кратчайших путей по графу при его изменениях, Изв. АН СССР, Техн. Кибернетика, 1964 № 6. С. 10-13.

20. Бутрименко А. В., О среднем расстоянии между вершинами графа. В кн. Сети передачи информации и их автоматизация, «Наука», М., 1965. 189 с.

21. Вальков В. М. Контроль в ГАП. Л.: Машиностроение, Ленингр. отд-ние, 1986. - 232 с.

22. Вейцуман К. Распределенные системы мини- и микро-ЭВМ, -М.: Финансы и статистика, 1982.- 382 с.

23. Вычислительные машины и мышление. Под ред. И. П. Минского М., «Мир», 1967.-378 с.

24. Глушков В. М., Довгялло А. М. и др. Типовая диалоговая обучающая система «ПЕДАГОГ» с сервисным режимом «АВТОР» для обучения языкам программирования.— Труды Симпозиума «Теория языков и методы построения систем программирования». Киев, 1972. С. 132140.

25. Гурвич Е. И., Матюхин Н. Я., Автоматизация проектирования цифровых автоматов, Автоматика и вычислительная техника, 1969, № 5. С. 817.

26. Джоне Дж. К Методы проектирования: Пер. с англ.- 2-е изд, доп. -М.: Мир, 1986. 326 с.

27. Журавлев Ю. П. Системное проектирование управляющих ЦВМ. -М.: Сов. радио, 1974. 368 с.

28. Зиновьев А. А. Об основных понятиях и принципах логики науки. Сб. «Логическая структура научного знания». М., «Наука», 1965. -126 с.

29. Золотов Е. В., Кузнецов И. П. Некоторые направления развития диалоговых систем. Сб. «Исследование систем», вып. 3. ХабКНИИ. Хабаровск, 1973.-С. 34-38.

30. Информационно-поисковая система «БИТ». Киев, «Наукова думка», 1968. 98 с.

31. Кушнеров Ф. Р., Люфанов В. А., Северьянов В. А., Система автоматизации схемного проектирования ЦВМ, Проектирование блоков и узлов вычислительных машин, Киев, 1970. 153 с.

32. Каверкин И. Я., Цветков Э. И. Анализ и синтез измерительных систем. Л.: Энергия, 1974. 156 с.

33. Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ Петербург, 2003. - 1104 с.

34. Клини С. К. Введение в метаматематику. М., «Мир», 1958. 510 с.

35. Клыков Ю. И. Ситуационное управление большими системами. М., «Наука», 1974.-241 с.

36. Клюев Н.И. Информационные основы передачи сообщений. М.: Сов. Радио, 1966.-360 с.

37. Крапчин А. И., Покровский А. Н., Малыйнов Е. И., Компоновка и размещение модулей при автоматизированном проектировании радиоэлектронной аппаратуры, Автоматика и вычислительная техника, 1969, № 5.- С. 514.

38. Крыжановский Ю. М., Компоновка конструкторских элементов цифровых устройств. В кн. Применение вычислительных машин для проектирования цифровых устройств, «Советское радио», М., 1968. С. 15-23.

39. Кузнецов И. JI. Некоторые механизмы порождения текстов описания. «Научно-техническая информация», серия 2, № 9. ВИНИТИ. М., 1975.

40. Кузнецов И. П. Принципы по строения систем, формулирующих осмысленные вопросы. Сб. «Исследование систем», вып. 3. ХабКНИИ. Хабаровск, 1973.-С. 14-19.

41. Лазарев В. Г., Саввин Г. Г. Сети связи. Управление и коммутация. -М.: Связь, 1973.-264 с.

42. Лазарев И. А. Композиционное проектирование сложных агрега-тивных систем. М.: Радио и связь, 1986. - 250 с.

43. Левич А. П., Соловьев А. В. Категорно-функторное моделирование естественных систем //Анализ систем на пороге XXI века. М.: Интеллект, 1997.-С. 66-78.

44. Майоров С. А., Петухов Г. А., Алгоритмические методы проектирования многослойных печатных схем. В кн. Методы, разработки схем конструкций цифровых систем, ЛДНТП, Л., 1967. С . 220-283.

45. Майоров С. А., Проектирование и производство модулей и микромодулей, изд-во «Машиностроение», М., 1967. 193 с.

46. Майорова Т. Л., Минимальное покрытие графа. В кн. Самонастраивающиеся системы. Распознавание образов. Релейные устройства и конечные автоматы, «Наука», М., 1967. С. 123-145 с.

47. Мачулин В. В., Пятибратов А, П. Эффективность систем обработки информации. М.: Сов. радио, 1972. - 280 с.

48. Мелик-Шахназаров А. М., Маркатун М. Г., Дмитриев В. А. Измерительные приборы со встроенными микропроцессорами. М.: Энергоатомиз-дат, 1985. - 240 с.

49. Мелихов А. Н., Ориентированные графы и конечные автоматы, «Наука», М., 1971.- 196 с.

50. Мельчук Н. А. Опыт теории лингвистических моделей «смысл-текст». М., 1974. 217 с.

51. Методы схемотехнического проектирования распределенных информационно-вычислительных систем микропроцессорных систем. М.: Энергоатомиздат, 1988. - 128 с.

52. Михайлов А. И., Черный А. И., Гиляревский Р. С. Основы научной информации. М., «Наука», 1965.-362 с.

53. Многоцелевые системы ЧПУ с гибкой механообработкой / В. Н. Алексеев, В. Г. Воржеев, Г. П. Гырдымов и др.; Под общ. ред. проф. В. Г. Колосова. Л.: машиностроение, Ленингр. отд-ние, 1984. 224 с.

54. Моисеев Н. Я, Иванилов Ю. П., Столяров Е. М Методы оптимизации. М.: Наука, 1978.-351 с.

55. Муха Ю.П., Авдеюк О.А., Антонович В.М. Теория и практика синтеза управляющего и информационного обеспечения измерительно-вычислительных систем: Монография / ВолгГТУ, Волгоград, 2004. - 220 с.

56. Муха Ю.П., Авдеюк О.А., Королёва И.Ю. Алгебраическая теория синтеза сложных систем: Монография / ВолгГТУ, 2003. - 320 с.

57. Муха Ю.П., Секачёв В. А. Общая оценка погрешности медицинской измерительной системы на этапе создания её структуры //Биомедицинская ра-диэлектроника. 2006. - № 4. - С. 47-53.

58. Мэзон С, Циммерман Г. Электронные цепи, сигналы и системы. М.: Изд.-во иностр. Лит., 1963. - 619 с.

59. Недосекин Д.Д., Прокопченко С.В., Чернявский Е.А. Информационные технологии интеллектуализации измерительных процессов. СПб.: Энергоатомиздат, 1995. - 187 с.

60. Нечипоренко В. И. Структурный анализ и синтез. Эффективность и надежность. М.: Сов. радио, 1980. - 216 с.

61. Николаев В.И., Брук В.М. Системотехника: Методы и приложения. -Л.: Машиностроение, 1985. 199 с.

62. Нильсон Н. Искусственный интеллект. М., «Мир», 1973. 446 с.

63. Новиков Ф. А. Дискретная математика для программистов. СПб.: Питер, 2001.-304 с.

64. Новицкий П. В., Зограф И. А. Оценка погрешности результатов измерений. -2-е изд., перераб. и доп. Л.: Энергоатомиздат, ленинг. отд-ние, 1991. - 304 с.

65. Павловский Ю. Н., Смирнова Т. Г. Проблема декомпозиции в математическом моделировании. М.: ФАЗИС, 1998. - 266 с.

66. Падучева Е. В. Проблемы семантического сопоставления естественных языков с языками математической логики. Сб. «Исследование систем», М., «Наука», 1969. - С. 56-68.

67. Панфилов И. В., Половко А. М. Вычислительные системы. М.: Сов. радио, 1980.-304 с.

68. Пастухов Р.П., Секачёв В.А. Автоматизация процесса проектирования средства технической диагностики ЯМР-томографа. //Вопросы физической метрологии. Вестн. Поволжск. отд. Метрол. акад. России. 2004. - № 5. -С. 22-33.

69. Поспелов Д. А. Логические методы анализа и синтеза схем. М.: Энергия, 1974.-368 с.

70. Поспелов Д. А., Пушкин В. Н. Мышление и автоматы. М., «Советское радио», 1972. 256 с.

71. Примак А.В. Методология проектирования и разработки автоматизированных систем контроля и управления качеством воздуха. //Автоматика, 1984, N4, с. 30-38.

72. Примак А.В. Принципы проектирования автоматизированных систем контроля и управления качеством воздуха в городах и промышленных регионах. Киев: Наукова думка, 1989 168 с.

73. Примак А.В., Щербань. Методы и средства контроля загрязнения атмосферы. Киев: Наукова думка, 1980. 278 с.

74. Райншне К., Ушаков И. А. Оценка надежности систем с использованием графов. М: Радио и связь, 1988. - 208 с.

75. Рапопорт Г. Н., Солин Ю. В., Гривцов С. П. Автоматизированные системы управления технологическими процессами. М.: Машиностроение, 1977.-246 с.

76. Розенберг В. Я. Введение в теорию точности измерительных систем. М.: Сов. радио, 1975.-304 с.

77. Романов В. Н., Соболев В. С., Цветков Э. И. Интеллектуальные средства измерений. М.: «Татьянин день», 1994. - 280 с.

78. Секачёв В.А. Специализированный программный пакет для автоматизации проектирования измерительных систем //Биомедицинская радиэлек-троника. 2003. - № 6. - С.59-61.

79. Секачёв В.А. Структурно-иерархический метод на графах для проектирования информационно-измерительных систем. //Вопросы физической метрологии. Вестн. Поволжск. отд. Метрол. акад. России. 2005. - № 2. - С. 3 -12.

80. Слейгл Дж. Искусственный интеллект. М., «Мир», 1973.- 450 с.

81. Соболев B.C. Новые аспекты метрологического обеспечения сложных измерительных процедур, реализация ИИС/Измерительная техника. -1990,№5.-С. 8-15.

82. Строганов Р. П. Управляющие машины и их применение. М.: Высш. Шк., 1986.-240 с.

83. Трауб Дж,, Вожъняковский X. Общая теория оптимальных алгоритмов. М.: Мир, 1983. - 382 с.

84. Туманова Н.А. Автоматизированные системы контроля качества окружающей среды. Опыт ведущих западных фирм, перспективы развития. М.: 1990.-227 с.

85. Хетагуров Я. А., Древе Ю. Г. Проектирование информационно-вычислительных комплексов: Учеб. для вузов по спец. «АСУ». М.: Высш. шк., 1987. - 280 с.

86. Хилл Т. И. Современные теории познания. М., «Прогресс», 1965.234 с.

87. Холмский Н. Три модели описания языка. «Кибернетический сборник», № 2. М., ИЛ, 1961. - С. 13-19.

88. Холмский Н., Миллер Д. Языки с конечным числом состояний. «Кибернетический сборник», № 4. М., ИЛ, 1962. - С. 15-20.

89. Цапенко М. П. Измерительные информационные системы. М.: Энергоатомиздат, 1985. - 440 с.

90. Цветков Э. И. Алгоритмические основы измерений. Л.: Энергоатомиздат, 1992. - 320 с.

91. Цветков Э. И. Основы теории статистических измерений. Л.: Энергия, 1979.-288 с.

92. Цветков Э. И. Основы математической метрологии. СПб.: Политехника, 2005. - 510 с.

93. Цветков Э. И. Процессорные измерительные средства. Л.: Энергоатомиздат, 1989. - 510 с.

94. Чернявский В. С, Лахути Д. Г. О критериях оценки поисковых систем. «Научно-техническая информация», № 3, ВИНИТИ, 1964.

95. Чернявский Е. А., Недосекин Д. Д., Алексеев В. В. Измерительно-вычислительные средства автоматизации производственных процессов: Учеб. пособие для вузов. Л.: Энергоатомиздат., Ленингр. отд-ние, 1989. - 120 с.

96. Шрейдер Ю. А., Шаров А. А. Системы и модели. М.: Радио и связь, 1982.- 152 с.

97. Энкарначчо Ж., Шлехтендаль Э. Автоматизированное проектирование. Основные понятия и архитектура систем: Пер. с англ. М.: Радио и связь, 1986. - 288 с.

98. Ямпольский В. 3., Погребной В. К., Автоматизация некоторых этапов проектирования цифровых устройств, Теория автоматов, Киев, 1969, вып. 2.-С. 28-39.

99. Янбых Г. Ф., Эттингер Б. Я. Методы анализа и синтеза сетей ЭВМ. -М.: Энергия, 1980.-96 с.

100. Янов Ю. И. О логических схемах алгоритмов // Проблемы кибернетики 1968.-№1.-С. 75-127.

101. Якубайтис Э. А. Информационные сети и системы: Справ, книга. -М.: Финансы и статистика, 1996. 365 с.

102. Andrews Н. С, Computer Techniques in Image Processing, Academic Press-New YVk, 1970. 289 p.

103. Andrews H. C, Introduction to Mathematical Techniques in Pattern» Recognition, Wiley, New YVk, 1972. 309 p.

104. Beineke I., Harary Fr., On the thickness of the complete graph., Bull. Amer. Math. Soc, 1964, № 4. pp. 57-61.

105. Bruno I., A new planarity test based on 3-connectivity, IEEE Trans, on Circuit TheVy, 1970, № 2. pp. 28-47.

106. Carnap R. Introduction to semantics; fVmalization of logic. N. J., 1959.-98 p.

107. Chen С. H., Statistical Pattern Recognition, Hayden, Washington, D.C., 1973. 341 p.

108. Demoucron G., Malgrange I., Pertuiset R., Graphs planares; reconnaissance et construction de representation planaires topologiques, Rev. trans, rech. Op-erat., 8,1964. 321 p.

109. Dunn W. R, Jr., Chan S. P., An algVithm N testing the planarity of a graph, IEEE Trans. Circuit TheVy, 15,1968, № 2. pp. 34-68.

110. E. Behrends. Introduction to Markov Chains, with Special Emphasis on Rapid Mixing. Vieweg & Solin, Braunschweig/Wiesbaden, 2000. - 438 p.

111. Engl W. L.; Mlynski D. A., Embedding a graph in a plane with certain constraints, IEEE Trans, on Circuit TheVy, 1970, №2. pp. 39-71.

112. Fokkinga M. M. A Gentle Introduction to CategVy TheVy. The calcula-tional approach. University of Twente, 1992. - 80 p.

113. Fukunaga К., Introduction to Statistical Pattern Recognition, Academic Press, New YVk, 1972.-377 p.

114. GeVgescu I. A CategVial approach to knowledge-based systems. Computers; Artical Intelligence, V.3, №2,1984. pp. 105 - 113.

115. Haggstrom. Finite Markov Chains; AlgVithmic Applications. Cambridge University Press, 2002. - pp. 58-67.

116. Hawkins J. K., Image processing: A review; projection. In Automatic Interpretation; Classification of Images (A. Grasselli, ed.), Academic Press, New YVk, 1969. pp. 78-89.

117. Hewit C. Description; theVetical analyses of PLANNER, Dept. of math., MIT, Cambridge, Mass 1972. 159 p.

118. Hopcrofit J. E.; Ullman J. D. Introduction to Automata TheVy, Languages,; Computation. Addison-Wesley, 1979. 198 p.

119. NVris J. R. Markov Chains. Cambridge University Press, 1998.-384 p.

120. Lin P. M., On the methods of detecting planar graphs, Proc. 8th Midwest Symp. on Circuit TheVy, ColVado State University, 1965. 274 p.

121. Lempei A., Eden S., Cederbaum I., An algVithm fV planarity testing of graphs theVy, New YVk, 1967. 473 p.

122. Meisel W., Computer-Viented Approaches to Pattern Recognition, Academic.Press, New YVk, 1972. 121 p.

123. Mendel J. M.; Fu K. S., eds., Adaptive Learning; Pattern Recognition Systems: TheVy; Applications, Academic Press, New YVk, 1970. -229 p.

124. Michael Barr, Charles Wells. Toposes, Triples; TheVies. E-print: http://www.cwru.edu/artsci/math/wells/pub/ttt.html.

125. Miller W. F.; Shaw A. C, Linguistic methods in picture processing A survey, Proc. AFIPS Fall Joint Comput. Conf., San Francisco, 1968.-pp. 279-290.

126. Nicolas Т. M., Syre Т. С Natural language question answering; automatic deduction in the system SYNTEX. InfVmation processing 74, Stockholm, 1974.- 270 p.

127. Kechepu T. G., Kurtz Т. E. Bacis Programming. N. J. Tohn Wiley, 1967.-178 p.

128. Patrick E. A., Fundamentals of Pattern Recognition, Prentice-Hall Engle wood Cliffs, New Jersey, 1972- 90 p.

129. Pattern Recognition, 3 (1971); 4 (1972). Special issues on syntactic pattern recognition.

130. R. F. C. Walters, CategVies; computer science. Cambridge University Press, 1991.-97 p.

131. Saaty Th. L., Two theVems on the minimum number of intersections fV complete graphs. I, Combin. TheVy, 2, 1967, № 4. pp. 31-82.

132. Sandewall E. PCF-2, A first-Vder calculus fV expressing conceptual infVmation, UPPSALA University, 1972. 307 p.

133. Sandewall E. Some examples of disambiguation, through deduction, UPPSALA University, 1973.

134. Semantic infVmation progressing, editV Marvin Minsky. N. J., 1968. 328 p.

135. Sklansky J., ed., Pattern Recognition: Introduction; Foundations, Dowden, Hutchinson; Ross, Inc., Stroudsburg, Pennsylvania, 1973. 299 p.

136. Smith T. W. JOSS: Central Progressing Routines. The Rand CV-pVation, RM 5270-PK, august, 1967. -169 p.

137. Tacob Palme. Making computers understand natural language, UPPSALA University, 1972. 321 p.

138. Vladimir V. Kisil, Mikhail V. Kuzmin. InfVmational systems with structures simulating their contents. E-print: http://www.amsta.leeds.ac.uk/-kisilv/kuzminl.pdf.

139. Zadeh L. A. Fuzzy logic; its application to approximate reasoning. InfVmation processing 74, Stockholm, 1974. 218 p.