Помощь в написании студенческих работ
Антистрессовый сервис

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

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

В первой главе данной диссертации рассматриваются общие проблемы проектирования, возникающие на ранних этапах при создании структуры, будет дан о краткое описание структурно-иерархического подхода, его применения к некоторым прикладным задачам, в частности к задаче распознавания образов, конструирования печатных плат, смыслового анализа текста, проектирования систем экологического мониторинга… Читать ещё >

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

Содержание

  • ГЛАВА 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. Выведены аналитические зависимости оценки погрешности для программно реализованной функции преобразования данных обычного графа в двудольный и предложен алгоритм для получения подобных аналитических зависимостей. Приведён пример метрологического исследования измерительного канала ИИС машиностроительного производства до и после применения оптимизации.

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

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

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

  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. С. 132 140.
  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. Н. С, 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. Т. 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.
Заполнить форму текущей работой

Сессия? Спокойно!