автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.01, диссертация на тему:Методы синтеза эталонных интерфейсов информационного взаимодействия для технических систем дискретного типа

Введение.

Глава 1. Метод синтеза эталонных интерфейсов информационного взаимодействия для дискретных систем на основе модели универсального автомата.

1.1. Универсальность в классах моделей технических систем дискретного типа.

1.2.Универсальные автоматы при синтезе эталонных интерфейсов информационного взаимодействия дискретных систем.

Глава 2. Методы синтеза и анализа моделей эталонных интерфейсов информационного взаимодействия для дискретных систем на основе переменных множеств (программируемых множеств).

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

2.2. Программируемые множества и их свойства.

2.3. Синтез и анализ программируемых отношений.

Одна из актуальных проблем при системном анализе информационного взаимодействии технических систем связана с неоднозначным пониманием информации и ее потери при передачи от одной системы к другой. Постоянный рост сложности технических объектов привел к отказу от использования формальных средств представления их законов функционирования из-за чрезмерной громоздкости описаний. Место формального аппарата заняли произвольные свободные языки передачи информации о взаимодействии как внутри системы, так и вне её. Это вызвало потерю однозначности в понимании поведения дискретных объектов (ДО). Неоднозначность понимания поведения систем ограничивает эффективность их использования, приводит к ошибкам эксплуатации. Кроме того, свободно излагаемая информация мало пригодна для формальных систем синтеза, анализа и организации целенаправленного поведения как самих ДО, так и систем синтеза и анализа аппаратуры на их основе. Одновременно с этим, отсутствие унификации формальных средств изложения данных о ДО препятствует совместимости и взаимодействию систем.

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

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

Традиционно, для описания поведения дискретных систем используется модель конечного детерминированного автомата. Исследованию теории автоматов, вопросам их возможного применения, а также вопросам системного анализа сетей передачи данных посвящено большое количество работ отечественных и зарубежных авторов. Следует отметить исследования Дж. фон Неймана, А.Гилла, В.М.Глушкова, П.П.Пархоменко, А.М.Богомолова, М.Ф.Каравая, А.Ф.Резчикова, В.А.Твердохлебова, Ю.И. Митрофанова, А.А. Сытника.

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

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

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

Указанные цели конкретизированы через решение следующих задач:

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

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

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

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

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

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

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

В разделе 1.2. рассматривается возможность применения универсальных моделей при автоматном описании эталонных интерфейсов при информационном обмене ДО. Описывается общая схема, содержащая этапы автоматного моделирования дискретных систем на основе универсальности (перенастраиваемое™ ) их поведения. Формулируются и обосновываются Задачи 1-4 синтеза автоматов, способных выступать в качестве эталонных интерфейсных языков.

Задача 1. Поиск в автомате типовых функциональных зависимостей и способов описания автомата средствами этих зависимостей с ориентацией в конечном итоге на повышение уровня абстракции автоматного описания ДУ.

Задача 2. Поиск формы представления автомата в виде системы частных интегративных зависимостей, каждая из которых является однозначно-определённым упрощением общего закона поведения автомата.

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

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

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

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

Раздел 2.2. содержит исследование основной (базовой ) конструкции рассматриваемого эталонно- модельного инструментария- программируемого отношения. Вводится ряд определений, описывающих различного типа программируемые отношения и так -называемые программы- законы варьирования (своеобразный индекс переменности) трех основных автоматных множеств S,X,Y. Совокупность правил изменения этих множеств и правил выбора элементов названа процессом программирования. Теорема 2.2.1. устанавливает взаимосвязь между конечными детерминированными автоматами и программируемыми отношениями. Дальнейшее исследование посвящено рассмотрению вопросов взаимодействия программирований различных множеств. Теоремы 2.2.1.,2.2.2., 2.2.3., 2.2.4., 2.2.5. описывают возможные типы и свойства программирований.

Проведенные исследование свойств программируемых отношений позволяют перейти в разделе 2.3. к решению задач синтеза и анализа. По существу, с автоматной точки зрения, это означает переход к синтезу и анализу структурных автоматов, описывающих поведения сложных структурированных систем дискретного типа. Теоремы 2.3.1. и 2.3.2. содержат соотношения, описывающие в явном виде принципы взаимодействия программируемых отношений. Подводят итог исследования теоремы 2.3.3. и 2.3.4., в которых указаны принципы решений задач синтеза и анализа программируемых отношений.

Таким образом, глава 1 и глава 2 содержат описания двух, вообще говоря, противоположных подходов к построеннию универсальных (эталонных) математических моделей дискретных систем. В первом случае (глава 1) речь идет о возможности перенастраиваемости поведения за счет внешних воздействий по специальному каналу и согласно специальной процедуре (при традиционном условии неизменности состава и мощности трех основных автоматных множеств S,X,Y) - это так называемый "макроуровень" универсальности. При другом подходе (глава 2), основной упор делается на возможность варьирования составом множеств S, X, Y , а также на предположении о наличии некоторого закона выбора их элементов - "микроуровень" универсальности.

Основные результаты диссертации докладывались на Международной конференции «Компьютерные науки и информационные технологии» (Саратов, 2002), на Всероссийской конференции "Телематика-1999 (Санкт- Петербург, 1999), на семинарах в Саратовском государственном университете им Н.Г. Чернышевского, Саратовском государственном социально-экономическом университете, Тамбовском государственном техническом университете, в Институте проблем точной механики и управления РАН, Центральном научно-исследовательском институте измерительной аппаратуры, на Всероссийских совещаниях информационной сети RUNNet (Саратов-2005, Владимир-2006).

Заключение

Диссертационное исследование посвящено исследованию и разработке методов синтеза моделей информационного взаимодействия технических систем дискретного типа с памятью на основе эталонных интерфейсов.

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

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

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

4. Описана и обоснована схема синтеза автоматной модели эталонного интерфейса информационного взаимодействия технических систем дискретного типа на основе универсальности (перенастраиваемости) моделей их поведений.

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

1. Автоматы. //Сборник статей под редакцией К.Шеннона. М. Иностранная литература. 1956. 403 с.

2. Айзерман М.А. и др. Логика. Автоматы. Алгоритмы. М. Физматгиз. 1963. 140 с.

3. Аксенова Г.П. Генератор исчерпывающего теста на основе двоичного счетчика для одного вида синхронного автомата с конечной памятью / Аксенова Г.П., Халчев В.Ф. //Автоматика и Телемеханика- 2000.- №10.-С.164.-171.

4. Александров А.Ю. Об устойчивости сложных систем в критических случаях / Александров А.Ю. //Автоматика и Телемеханика 2001.- т.49. №9.-С.3.-14.

5. Арбиб М. Алгебраическая теория автоматов, языков, полугрупп. М. Статистика. 1975. 335 с.

6. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. М. Мир. 1978. 4.1. 612 с.

7. Барздинь Я.М., Калниньш Я.Я. Универсальный автомат с переменной структурой. //Автоматика и вычислительная техника. 1974. N2. С.9-18.

8. Бахтурин Ю.А. Основные структуры современной алгебры. М. Наука. 1990.318 с.

9. Башмаков В.А. Моделирование процессов распределения магазинной памяти. /Башмаков В.А., Дронкин С.Ю. // Теоретические проблемы информатики и ее приложений. Вып. 1. Издательство Саратовского государственного университета, 1997, с. 9-14.

10. Ю.Башмаков В.А. Моделирование сети МП-автоматов. / Башмаков В.А., Дронкин С.Ю. //Теоретические проблемы информатики и ее приложений. Вып. 1. Издательство Саратовского государственного университета, 1998, с. 8-11.

11. П.Богомолов A.M., Сперанский Д.В. Аналитические методы в задачах кон-роля и анализа дискретных устройств. Саратов. Изд- во Сарат. ун- та. 1986. 240 с.

12. Богомолов A.M., Сытник А.А. Универсальные конечные автоматы.

13. Доклады АН СССР. 1987. Т. 294.N3. С. 525-528. П.Богомолов A.M., Твердохлебов В.А. Диагностика сложных систем. Киев.

14. Наукова Думка. 1974. 128 с. Н.Богомолов A.M., Твердохлебов В.А. Целенаправленное поведение автоматов. Киев. Наукова Думка. 1975. 123 с.

15. Богомолов А.С. Об одной разновидности задачи стабилизации линейной дискретной системы. /Богомолов А.С., Сперанский Д.В. //Автоматика и Телемеханика,-2002.- №9.- С.111.-125.

16. Богомолов А.С., Оптимальные синхронизирующие эксперименты с линейными автоматами /Богомолов А.С., Сперанский Д.В. //Автоматика и Телемеханика,- 2001,- №10.- С.203.-209.

17. П.Богомолов С. А. О восстановлении автомата по экспериментам. //Дискретная математика. 1989. Т.1. Вып.1. С. 135-146.

18. Брауэр В. Введение в теорию конечных автоматов. М. Радио и связь. 1987.392 с.

19. Буевич В.А. Построение универсальной о.-д. функции с двумя переменными. //Проблемы кибернетики. 1965. N 15. С. 249-252.

20. Бунич A.JI. О некоторых нестандартных задачах синтеза дискретных систем / Бунич A.JI //Автоматика и Телемеханика 2000.- №6.- С. 114.-124.

21. Бурбаки Н. Теория множеств. М. Мир. 1965. 455 с.

22. Бусленко Н.П. Моделирование сложных систем. М. Наука. 1978. 399 с.

23. Вагнер В.В. Теория полугрупп и ее приложения. Саратов. Изд-во Сарат. ун-та. 1965. С. 3-179.

24. Ван дер Варден Б.Л. Алгебра. М. Наука. 1979. 623 с.

25. Варшавский В.И. Апериодические автоматы. М.Наука. 1976. 424 с.

26. Варшавский В.И. Коллективное поведение автоматов. М. Наука. 1973. 407 с.

27. Ведешенков В.А. Организация самодиагностирования технического состояния цифровых систем /Ведешенков В.А. //Автоматика и Телемеханика.-2003.-№11.-С.165.-183.

28. Ведешенков В.А. Процедура восстановления работоспособности отказоустойчивых цифровых систем с динамической избыточностью / Ведешенков В.А. //Автоматика и Телемеханика 2003.- №5.- С. 167-180

29. Воробьев В.В. Модифицированный метод идентификации отказов в динамических системах /Воробьев В.В. //Автоматика и Телемеханика 2000.-№11.- С.168.-175.

30. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. М. Наука. 1977. 352 с.

31. Геллер С.И., Журавлев Ю.И. Основы логического проектирования цифровых вычислительных машин. М. Сов. радио. 1969 272 с.

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

33. Глушков В.Г., Цейтлин Г.Е., Ющенко E.JL Алгебра, язаки, программирование. Киев. Наукова Думка. 1974. 328 с.

34. Глушков В.М. Абстрактная теория автоматов. //Успехи мат.наук. 1961. Т. 14. Вып. 5. С. 3-62.

35. Глушков В.М. Синтез цифровых автоматов. М. Физматгиз. 1962. 476 с.

36. Глушков В.М., Капитонова Ю. В., Летичевский А.А. Теоретические основы проектирования дискретных систем. //Кибернетика. 1977. N 6. С. 5-20.

37. Горбатов В.А. Основы дискретной математики. М. Высшая школа. 1986. 311 с.

38. Гороховский С.С., Рысцов И.К. Об изоморфизме графов отображений. //Кибернетика. 1982. N 6. С. 45-52.

39. Дроздов Е.А. Оптимизация структур цифровых автоматов. М. Сов. радио. 1975. 352 с.

40. Дронкин С.Ю. «Программируемые множества как математический аппарат информационного обмена»// Вестник СГСЭУ 2006 с.101-105

41. Дронкин С.Ю. Об одном подходе к синтезу дискретных систем при передаче информации.// Материалы Всероссийской конференции «Телематика» 1999. с.144-145

42. Евреинов Э.В., Прангишвили И.В. Цифровые автоматы с настраиваемой структурой. М. Энергия. 1974. 240 с.

43. Заде JT. Общая теория систем. М. Мир. 1966.

44. Закревский А.Д. Алгоритмы синтеза дискретных автоматов. М. Наука. 1971. 512 с.

45. Зыков А.А. Основы теории графов. М. Наука. 1987. 381 с.

46. Какубава Р.В. Вероятностный анализ производительности технических систем со структурной и временной избыточностью / Какубава Р.В., Ху-родзе Р.А. //Автоматика и Телемеханика 2004.- №5.- С. 154-166

47. Капитонова Ю.В. Об изоморфизме абстрактных автоматов. //Кибернетика. 1965. N4,5.

48. Каравай М.Ф. Минимизированное вложение произвольных гамильтоно-вых графов в отказоустойчивый граф и реконфигурация при отказах / Каравай М.Ф. //Автоматика и Телемеханика 2004.- №12,- С. 159-178

49. Кобринский Н.Е., Трахтенброт Б.А. Введение в теорию конечных автоматов. М. Физматгиз. 1962. 404 с.

50. Кратко М.И. Алгоритмическая неразрешимость проблемы полноты для конечных автоматов. //Доклады АН СССР. 1964. Т. 155. N 1. С. 35-37.

51. Креницкий А.П., Сытник А.А. Универсальные модели и информационные технологии в проектировании дискретных систем. //Материалы Всероссийской конференции "Телематика- 97". С- Петербург. 1997.

52. Кудрявцев В.Б., Алешин С.В., Подколзин А.С. Введение в теорию автоматов. М. Наука. 1985. 319 с.

53. Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. М. Энерго-атомиздат. 1989. 328 с.

54. Мамедли Э.М. Метод обеспечения отказоустойчивости в резервированных управляющих вычислительных системах /Мамедли Э.М., Соболев Н.А. //Автоматика и Телемеханика 2000.- №2,- С. 172.-183.

55. Мелихов А.Н. и др. Применение графов для проектирования дискретных устройств. М. Наука. 1974. 294 с.

56. Месарович М., Такахара Я. Общая теория систем: математические основы. М. Мир. 1978. 256 с.

57. Митрофанов Ю.И. Системный анализ: Учебное пособие. Саратов: Научная книга. 2000. 232 с.

58. Нейман Дж. Теория самовоспроизводящихся автоматов. М. Мир. 1971. 382.

59. Пархоменко П.П. О технической диагностике. М. Знание. 1969. 64 с.

60. Пикар С. О базисах симметрической группы.//Кибернетический сборник. 1965. Вып. I.e. 7-34.

61. Реализация систем, управляемых событиями/Рахимбердыев А., Ксенофон-тов А., Адаменков Е. и др. // RSDN Magazine. 2005. - №5.

62. Резчиков А.Ф., Твердохлебов В.А. Управление и диагностирование в сложных системах. Изд. СГУ. 1997. 129 с.

63. Самойленко С.И. Модели сетей передачи данных с различными методами коммутации. / Самойленко С. И., Митрофанов Ю. И., Квашнин Г.А. // Препринт.М: Научный совет АН СССР комплексной проблеме «Кибернетика», 1986. 50с.

64. Сперанский Д.В. О тестировании линейных автоматов / Сперанский Д.В. //Автоматика и Телемеханика 2000,- №5.-С.157.-166.

65. Сытник А.А. Восстановление поведения сложных систем. Саратов. Изд-во Сарат. ун-та. 1992. 192 с.

66. Сытник А.А. Методы и модели восстановления поведения автоматов. //Автоматика и телемеханика. 1992. N 11.

67. Сытник А.А. Перечислимость при восстановлении поведения автоматов. //Доклады РАН N 328 N 1.1993.

68. Сытник А.А. Числовые методы функционального восстановления поведения систем / Сытник А.А., Шульга Т.Э. //Автоматика и Телемеханика-2003.-№10,- С.123.-140.

69. Сытник А.А., Креницкий А.П. Информационные технологии в проектировании дискретных систем.//Материалы семинара "Интеллектуальные средства диагностирования РЭА". Ленинград. 1991.

70. Твердохлебов В.А. Логические эксперименты с автоматами. Саратов. Изд- во Сарат. ун- та. 1988. 184.

71. Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы. Поведение и синтез. М. Наука. 1970. 400 с.

72. Ушаков И.А. Построение высоконадежных систем. М. Энергия. 1974. 64 с.

73. Феррари Д. Оценка производительности вычислительных систем. М. Мир. 1981.376 с.

74. Харари Ф. Теория графов. М. Мир. 1973. 300 с.

75. Цетлин М.Л. Исследования по теории автоматов и моделированию биологических объектов. М. Наука. 1969. 317 с.

76. Цифровая вычислительная техника. //Под ред. Э.В. Евреинова. М. Радио и связь. 1991. 464 с.

77. Цыпкин Я.З. Адаптация и обучение в автоматических системах. М. Наука. 1968. 399 с.

78. Яблонский С.В. Введение в дискретную математику. М. Наука. 1979. 272 с.

79. Якубайтис Э.А. Логические автоматы и микромодули. Рига. Зинатне. 1975. 260 с.

80. Development of unified education and information network in schools of Saratov region /Dronkin S.U.,Papshev S.V., Sytnik A.A., Khachaturyan S.S. //SIIT&T Informika- MoscowrVIZCOM, 2005,- p.218-221.

81. Guey-Yun Chang (t,k)- Diagnosis for Matchng Composition Networks / Guey-Yun Chang, Gen-Huen Chen, Gerard J Chang // IEEE TRANSACTIONS ON COMPUTERS- 2006.- Vol.55 N1.- c.88,-92.

82. Information technology in development of the united information environment of Saratov region /Averyanova S.F., Dronkin S.U.,Papshev S.V. e.t.c.// SIIT&T Informika- MoscowrVIZCOM, 2005.- p.162-164

83. Objective Optimal Algorithms for Long-term Web prefetching / BinWu, Ajay D. Kshemkalyani // IEEE TRANSACTIONS ON COMPUTERS- 2006,-Vol.55.Nl.-c.2.-17.

84. Skuratov A.K. The Analysis and monitoring of telecommunication networks on the basis of statistical methods/ Skuratov А.К./ .// SIIT&T Informika- MoscowrVIZCOM, 2005,- p.221-225

85. Yi Zou A Distributed Coverage- and Connectivity- Centric Technique for Selecting Active Nodes in Wireless Sensor Networks/ Yi Zou, Krishnendu Chak-rabarty //IEEE TRANSACTIONS ON COMPUTERS- 2005- Vol.54 N8- c.978-991