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

• Антонович, Виктор Михайлович
• кандидат технических наук
• 2004

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

ПЕРЕЧЕНЬ СОКРАЩЕНИЙ, УСЛОВНЫХ ОБОЗНАЧЕНИЙ, СИМВОЛОВ,

ТЕРМИНОВ.

ВВЕДЕНИЕ.

РАЗДЕЛ 1. ОБЗОР МЕТОДОВ ПРОЕКТИРОВАНИЯ ИНТЕРФЕЙСОВ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ.

1.1. Понятие интерфейса. Роль интерфейса в измерительных системах различных типов.

1.2. Общий подход к проектированию интерфейсов ИИС.

1.3. Постановка задачи проектирования ГИИ СИИС.

1.4. ВЫВОДЫ ПО РАЗДЕЛУ 1.

РАЗДЕЛ 2. РАЗРАБОТКА МЕТОДА ВЫБОРА СТРУКТУРЫ ГИБКОГО ИНТЕЛЛЕКТУАЛЬНОГО ИНТЕРФЕЙСА.

2.1. Концепция выбора структуры ГИИ СИИС.

2.2. Синтез категории ГИИ.

2.3. Операции на категории ГИИ.

2.4. Классификация элементов априорных знаний.

2.5. ВЫВОДЫ ПО РАЗДЕЛУ 2.

РАЗДЕЛ 3. РАЗРАБОТКА ИНЖЕНЕРНОЙ МЕТОДИКИ СИНТЕЗА ГИБКОГО ИНТЕЛЛЕКТУАЛЬНОГО ИНТЕРФЕЙСА.

3.1. Типовой состав АД на каждом из уровней интерфейса.

3.2. Алгоритм инженерного проектирования.

3.3. Пример проектирования структуры интерфейса.

3.4. Оптимизация реализации структуры интерфейса.

3.5. ВЫВОДЫ ПО РАЗДЕЛУ 3.

РАЗДЕЛ 4. МЕТРОЛОГИЧЕСКИЙ АНАЛИЗ ГИБКОГО ИНТЕЛЛЕКТУАЛЬНОГО ИНТЕРФЕЙСА.

4.1. Общий подход к определению метрологических характеристик интерфейса.

4.2. Оценка метрологических характеристик интерфейса по его структуре.

4.3. Марковская модель передачи измерительной информации через интерфейс.

4.4. Экспериментальная проверка модели марковской дискретной цепи процесса генерации ошибок при передаче ИИ.

4.5. ВЫВОДЫ ПО РАЗДЕЛУ 4.

Введение диссертации (часть автореферата) на тему «Структурный метод синтеза гибкого интеллектуального интерфейса сложной информационно-измерительной системы»

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

Усложнение объектов измерения привело к созданию информационно-измерительных систем (ИИС), которые, в соответствии с ГОСТ 8.437-81, определяются как совокупность функционально объединенных измерительных, вычислительных и других вспомогательных технических средств для получения измерительной информации, ее преобразования, обработки с целью представлению потребителю в требуемом виде, либо автоматического осуществления логических функций контроля, диагностики и идентификации. Обмен информационными и управляющими сигналами между составляющими ИИС устройствами осуществляется посредством специализированных систем сопряжения, объединяемых термином «интерфейс» (interface). При этом, для того, чтобы устройства, участвующие в обмене информацией, могли быть объединены в измерительную систему без какого-либо дополнительного оборудования, необходимо задать и выполнить на этапе проектирования ряд правил, относящихся к физической реализации сопряжений, конструктивному исполнению устройств, а также характеристикам вырабатываемых и принимаемых блоками сигналов.

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

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

Анализ литературы [6, 9, 21, 35, 53, 56, 63, 72, 73, 81] показал, что на данный момент методика, в полной мере удовлетворяющая всем предъявляемым к ней требованиям, отсутствует.

Цель и задачи работы. Конечной целью работы является разработка методики инженерного синтеза и метрологического анализа гибкого интеллектуального интерфейса сложной информационно-измерительной системы (ГИИ СИИС), для чего необходимо решить следующие задачи: — провести анализ существующих методов проектирования интерфейсов СИИС, на основании результатов которого либо принять решение о возможности применения для решения поставленной задачи одного из рассмотренных методов, либо, в случае отсутствия метода, удовлетворяющего в полной мере предъявляемым к нему требованиям, предложить новый метод;

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

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

- разработать инженерную методику синтеза ГИИ СИИС;

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

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

Новые научные результаты работы заключаются в следующем:

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

- обоснована корректность использования математического аппарата теории категорий для представления процесса иерархической обработки информации ГИИ СИИС;

- разработан метод представления структуры ГИИ СИИС в категорном виде, позволяющий универсальным образом описывать как представление ИИ на каждом из уровней иерархии интерфейса, так и преобразования, которым подвергается ИИ;

- предложена методика перехода от категорного представления структуры ГИИ СИИС к его аппаратной реализации;

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

Практическая ценность работы заключается в том, что:

- разработана методика построения полной категории ГИИ СИИС;

- разработана методика инженерного синтеза аппаратного и алгоритмического составов ГИИ СИИС по его структуре, представленной в категорном виде;

- разработана методика проведения метрологического анализа ГИИ СИИС по структуре, представленной в категорном виде.

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

- методология структурного синтеза ГИИ СИИС;

- методика формирования полной категории ГИИ СИИС;

- методика инженерного синтеза ГИИ СИИС по структуре, представленной в категорном виде;

- методика оценки метрологических характеристик ГИИ СИИС по результатам инженерного синтеза.

Практическая реализация результатов:

Предложенная методика инженерного синтеза была применена для проектирования интерфейсов полевого контроллера и рабочего места оператора в рамках хозяйственного договора на создание научно-технической продукции №31/166-01 «Разработка и изготовление опытной АСУ ТП дозирования компонентов шликера КДСМ-1 для линии SACMI», заключенного с ОАО «Волгоградский керамический завод».

Апробация работы. Основные положения и результаты работы докладывались и обсуждались:

- на I Всероссийской НТК «Компьютерные технологии в науке, проектировании и производстве» (3-4 февраля 1999 г), г. Нижний Новгород, Нижегородский ГТУ;

- на VII Региональной конференции молодых исследователей Волгоградской области (12-15 ноября 2002 г), г. Волгоград, ВолгГТУ;

- на VI Международной научно-технической конференции "Оптико-электронные приборы и устройства в системах распознавания образов, обработки изображений и символьной информации", г. Курск, 2003 г;

- на научных семинарах кафедры ВТ ВолгГТУ, 2000-2003 гг.

Публикации. Материалы диссертации опубликованы в 7 печатных работах, из них одна - тезис доклада на Региональной конференции, одна -тезис доклада на Всероссийской научно-технической конференции, одна тезис доклада на Международной научно-технической конференции, четыре - статьи.

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

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

ОСНОВНЫЕ ВЫВОДЫ И РЕЗУЛЬТАТЫ

1. Для анализа структуры ГИИ как СПД может быть использована ЭМВОС.

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

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

4. Для декомпозиции структур высших уровней в множество базовых структур и устранения несущественных отображений введены операторы расширения и сужения категории.

5. Рассмотрен состав АД, описывающий поуровневый набор объектов, необходимых для представления ИИ в рамках теории категорий, а также морфизмов, осуществляющих преобразование этих объектов.

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

7. Модель дискретного марковского процесса позволяет производить оценку временной задержки, вносимой интерфейсом при передаче ИИ, а также вероятности возникновения ошибки в переданном через интерфейс блоке ИИ.

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

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

1. Авдеюк О.А. Категориальный подход к синтезу системных функций измерительного интерфейса: Тезис доклада на всероссийской НТК «Информационные технологии в науке, проектировании и производстве» (октябрь 2000г.), часть I, Нижний Новгород, 2000. С. 22.

2. Автоматизированное управление технологическими процессами: Учеб. пособие / Зотов Н. С., Назаров О. В., Петелин Б .В., Яковлев В. Б.; Под ред. проф. В. Б. Яковлева. Л.: Изд-во ЛГУ, 1988. 224 с.

3. Антонович В. М. Система автоматизации технологического процесса дозирования компонентов шликера: Тезисы доклада на VII Региональной конференции молодых исследователей Волгоградской области (12-15 ноября 2002 г) Волгоград, 2003. - С. 219-221.

4. Антонович В. М., Муха Ю. П. Иерархическая организация передачи информации в нейронной телемедицинской информационно-измерительной сети. //Биомедицинские технологии и радиоэлектроника, 2003 г.,№4.-С. 57-59.

5. Арсеньев Ю. Н., Журавлев В. М. Проектирование систем логического управления на микропроцессорных средствах : Учеб. пособие для вузов по спец. «Вычисл. машины, комплексы, системы и сети». М. : Высш. шк., 1991.-319с.

6. Баруча-Рид А. Т. Элементы теории марковских процессов и их приложения. М.: Наука, 1969. - 512 с.

7. Вениаминов Е. М. Основания категорного подхода к представлению знаний. Категорные средства. Изв. АН СССР Техн. кибернет., №2, 1988, С. 21-33.

8. Богуславский Л. Б., Дрожжинков В. И. Основы построения вычислительных сетей для автоматизированных систем. М.: Энергоатомиздат, 1990. - 256с.

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

10. ЬБрауэр А. С. Введение в теорию конечных автоматов. М: Радио и связь, 1987.-382 с.

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

12. Букур И., Деляну А. Введение в теорию категорий и функторов. — М.: «Мир», 1972.-259 с.

13. Бурбаки Н. Теория множеств. М.: Мир, 1966.-425 с.

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

15. Васильев Ф.П. Лекции по методам решения экстремальных задач. -М.: Изд. МГУ, 1974. 374 с.

16. Гилл А. Введение в теорию конечных автоматов. М.: Наука, 1966.-272 с.

17. Гмурман В. Е. Теория вероятностей и математическая статистика: Учеб. пособие для вузов. М.: Высшая школа, 1998. - 479 с.

18. Голдблатт Р. Топосы. Категорный анализ логики. М.: Мир, 1983.

19. ГОСТ 15971-90. «Системы обработки информации. Термины и определения».

20. ГОСТ 26016-81 «Единая система стандартов приборостроения. Интерфейсы, признаки классификации и общие требования».

21. Гук М. Интерфейсы ПК: Справочник. СПб.: ЗАО Издательство Питер, 1999.-416 с.

22. Гутников В. С. Интегральная электроника в измерительных устройствах. -2-е изд. JL: Энергоатомиздат, 1988. - 304 с.

23. Дынкин Е. Б. Основы теории марковских процессов. М., 1959. - 228 с.

24. Еид Муса, Цветков Э.И. Потенциальная точность измерительных автоматов. СПб.: СЗО МА, 1999. - 80 с.

25. Елкин В. И. Редукция нелинейных управляемых систем. Дифференциально-геометрический подход. М.: Наука, 1997. - 316 с.

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

27. Калабеков Б. А. Микропроцессоры и их применение в системах передачи и обработки сигналов. М.: Радио и связь, 1988. - 368 с.

28. Кемени Дж., Снелл Дж. Конечные цепи Маркова. М.: Наука, 1970. -272 с.

29. Кудрявцев В. Б., Алешин С. В., Подколзин А. С. Введение в теорию конечных автоматов. М: Наука, 1985. - 320 с.

30. ЗЬКунегин С. В. Системы передачи информации. Курс лекций. М.: в/ч 33965,1997.-317 с.

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

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

33. Лиггетт Е. Марковские процессы с локальным взаимодействием. -М.: Мир, 1989.-550 с.

34. Максименков А. В., Селезнев М. Л. Основы проектирования информационно-вычислительных систем и сетей ЭВМ. М.: Радио и связь, 1991.

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

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

37. Методы электрических измерений: Учеб. пособие для вузов/ JI. Г. Журавин, А. А. Мариненко, Е. И. Семенов, Э. И. Цветков; под ред. Э. И. Цветкова. JL: Энергоатомиздат., Ленингр. отд-ние, 1990. - 288 с.

38. Мирский Г. Я. Электронные измерения. 4-е изд. - М.: Радио и связь, 1986.-440 с.

39. Мищенко С. В., Муромцев Ю. Л., Цветков Э. И., Чернышов В. Н. Анализ и синтез измерительных систем. Тамбов, Тамб. гос. техн. ун-т, 1995. — 234 с.

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

41. Муха Ю. П. Конспект лекций по основам системотехники: Учебное пособие / ВолгГТУ, Волгоград, 1996.

42. Муха Ю. П. Теория переменных экстремальных структур. I. Топология экстремальных множеств. //Кибернетика, 1986. №2.-С. 102-105.

43. Муха Ю. П. Теория переменных экстремальных структур. И. Графовый анализ экстремальных структур. //Кибернетика, 1986. №6.-С. 80-83,97.

44. Муха Ю. П. Элементы алгебраической теории синтеза ИИС //Вестник Поволжского отделения метрологической академии России «Вопросы физической метрологии», Волгоград, 1999 г. С. 23-30.

45. Муха Ю. П., Авдеюк О. А. Блочно-функциональное распределение при оптимальном проектировании ИВК: Тезисы доклада на 4-й всероссийской

46. НТК «Методы и средства измерений физических величин» (16 17 июня 1999г.), ч. 6. - Н. Новгород, 1999. - С. 34.

47. Муха Ю. П., Авдеюк О. А., Авдеюк Н. В. Оптимизация ИВС с использованием экстремальных структур на графах: Тезисы доклада на 2-й межвузовской НПК студентов и молодых ученых г. Волжского (13 — 18 мая 1996г.).- Волжский, 1996г.-С. 162- 163.

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

49. Муха Ю. П., Антонович В. М. Концепция гибкого интеллектуального интерфейса телемедицинской информационно-измерительной сети. //Зарубежная радиоэлектроника. Успехи современной радиоэлектроники, 2002 г., №8.-С. 48-51.

50. Муха Ю. П., Антонович В. М. Принципы проектирования интерфейсов для медицинских информационно-измерительных сетей. //Биомедицинские технологии и радиоэлектроника, 2002 г., № 4. — С. 34-38.

51. Муха Ю. П., Антонович В. М., Богатырёв Р. С. Медицинский комплекс «искусственная рука». Структура и информационные потоки. //Биомедицинская радиоэлектроника, 2001 г., № 4. С. 53-57.

52. Мячев А. А. Интерфейсы средств вычислительной техники: Справочник. — М.: Радио и связь, 1993. 352 с.

53. Мячев А. А., Иванов В. В. Интерфейсы вычислительных систем на базе мини- и микроЭВМ / Под ред. Б.Н. Наумова. М: Радио и связь, 1986. -248 с.

54. Мячев А. А., Степанов В. Н., Щербо В. К. Интерфейсы систем обработки данных: Справочник / Под ред. А. А. Мячева. М.: Радио и связь, 1989. -416 с.

55. Науман Г., Майлинг В., Щербина А. Стандартные интерфейсы для измерительной техники: Пер. с нем. М.: Мир, 1982. - 304 с.

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

57. Норенков И. П. Введение в автоматизированное проектирование технических устройств и систем: Учеб. пособие для втузов 2-е изд., перераб. и доп. - М.: Высш. шк., 1986. - 304 с.

58. Овчинников В. Н. Организация передачи информации в автоматизированных системах управления. -М.: Энергия, 1974. 128 с.

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

60. Пронин Е. Г., Могуева О. В. Проектирование бортовых систем обмена информацией. М.: Энергоиздат, 1981. - 240 с.

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

62. Родионов В. Д., Терехов В. А., Яковлев В. Б. Технические средства АСУ ТП: Учеб. пособие для вузов по спец. «Автом. и управл. в технич. сист.» / Под ред. В. Б. Яковлева. М.: Высш. шк., 1989. - 263 с.

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

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

65. Ронкин М. А., Натензон М. Я., Тарнопольский В. И. Телемедицина -медицина XXI века. //Биомедицинская радиоэлектроника, 2001 г., № 5-6. -С. 5-14.

66. Системы и сети передачи информации: Учеб. пособие для вузов / М. В. Гаранин, В.И.Журавлев, С. В. Кунегин. М.: Радио и связь, 2001. -336 с.

67. Соучек Б. Мини-ЭВМ в системах обработки информации. М.: Мир, 1976.-520 с.

68. Структурные методы в проектировании сложных систем, ч. I: Уч. пособие / Ю.П. Муха, Волгоград, политехнический ин-т. 1992 г. 80 с.

69. Структурные методы в проектировании сложных систем, ч. II: Уч. пособие / Ю.П. Муха, Волгоград, политехнический ин-т. 1992 г. 80 с.

70. Фрид Э. Элементарное введение в абстрактную алгебру. М.: Мир, 1979.-260 с.

71. Хазанов Б. И. Интерфейсы измерительных систем. М.: Энергия, 1979. -120 с.

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

73. Ховард Р. А. Динамическое программирование и марковские процессы. -М.: Сов. Радио, 1964. 192 с.

74. Хоровиц П., Хилл У. Искусство схемотехники: В 3-х томах: Т. 2. М.: Мир, 1993.-371 с.

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

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

77. Цветков Э. И. Основы математической метрологии: Часть 1, 2, 3, 4, 5. -СПб.-2001.-320 с.

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

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

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

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

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

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

84. AVR Microcontroller with 2К Bytes of In-System Programmable Flash. http://www.atmel.com/dyn/resources/proddocuments/DOC0839.PDF

85. D. G. Luenberger. Introduction to Dynamic Systems: Theory, Models, and Applications. J. Wiley & Sons, New York NY, 1979.

86. E. Behrends. Introduction to Markov Chains, with Special Emphasis on Rapid Mixing. Vieweg & Sohn, Braunschweig/Wiesbaden, 2000.

87. Fokkinga M.M. A Gentle Introduction to Category Theory. The calculational approach. University of Twente, 1992. - 80 p.

88. Georgescu I. A Categorial approach to knowledge-based systems. Computers and Artical Intelligence, V.3, №2,1984, pp. 105-113.

89. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.

90. J. R. Norris. Markov Chains. Cambridge University Press, 1998.

91. Michael Barr, Charles Wells. Toposes, Triples and Theories. -E-print: http://www.cwru.edu/artsci/math/wells/pub/ttt.html.

92. Haggstrom. Finite Markov Chains and Algorithmic Applications. -Cambridge University Press, 2002.

93. R. F. C. Walters, Categories and computer science. Cambridge University Press, 1991.

94. RFC1171. The point-to-point protocol for the transmission of multi-protocol datagrams over point-to-point links.

95. Vladimir V. Kisil, Mikhail V. Kuz'min. Informational systems with structures simulating their contents.

96. E-print: http://www.amsta.leeds.ac.uk/~kisilv/kuzminl.pdf.

97. W. Thomas. Languages, Automata, and Logic, Rep. 9607, Inst. f. Informatik u. Prakt. Math., University of Kiel, 1996.