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

  • Жуликова, Наталья Александровна
  • кандидат технических науккандидат технических наук
  • 2003, Тула
  • Специальность ВАК РФ05.11.16
  • Количество страниц 172
Жуликова, Наталья Александровна. Моделирование бортовых информационно-измерительных систем с использованием сетей Петри-Маркова: дис. кандидат технических наук: 05.11.16 - Информационно-измерительные и управляющие системы (по отраслям). Тула. 2003. 172 с.

Оглавление диссертации кандидат технических наук Жуликова, Наталья Александровна

ВВЕДЕНИЕ

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

1.1. Информационно-измерительный комплекс летательного аппарата

О 1.2. Функции авионики на борту летательного аппарата

1.3. Концепции моделирования процесса взаимодействия компонен- 24 тов авионики

1.4. Задачи исследования процесса взаимодействия компонентов 33 авионики

1.5. Выводы

2. СЕТИ ПЕТРИ-МАРКОВА КАК ИНСТРУМЕНТ АНАЛИТИЧЕСКОГО МОДЕЛИРОВАНИЯ АВИОНИКИ

2.1. Определение сети

2.2. Характер траекторий в пространстве состояний СПМ

2.3. Сводимость СПМ к полумарковскому процессу

2.4. Временные характеристики полумарковского процесса

2.5. Сведение СПМ к идеально упрощенной сети

2.6. Двухпереходные СПМ

2.7.Выводы

3. МОДЕЛИРОВАНИЕ СОГЛАСОВАНИЙ В ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНОМ КОМПЛЕКСЕ АВИОНИКА 71 3.1. Система обмена данными конвейерного типа 3.2. Системы обмена данными с предварительной обработкой информации

3.3. Система передачи данных от внешних устройств к центральному 84 процессору

3.4. Выводы

4. ГЕНЕРАЦИЯ СЕТЕЙ В ИНТЕРАКТИВНОМ РЕЖИМЕ

4.1. Требования к программному обеспечению

4.2. Структура представления данных в системе 99 © 4.3. Алгоритм расчета состояний моделируемой системы

4.4. Интерфейс программы

4.5. Система самолетовождения и индикации ССИ-80 для самолета С-80ГП

4.6. Выводы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2. Разработана методика анализа сетей Петри-Маркова на основании табличного преобразования логических условий переходов.

3. Построена модель согласования информационных характеристик сенсорной системы с бортовой ЭВМ и системой обмена данными.

4. Разработано алгоритмическое и программное обеспечение для генерации сетей Петри-Маркова в интерактивном режиме.

Методы исследотнш

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

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

1. Показана возможность применения аппарата сетей Петри для анализа временных характеристик взаимодействия систем авионики между собой.

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

3. Разработана методика анализа сетей Петри-Маркова на основании табличного преобразования логических условий переходов, представляющая собой математический аппарат расчета временных характеристик.

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

5. На основании сформированных моделей разработана методика расчетов потребных ресурсов бортовых ЭВМ летательных аппаратов, которая позволяет сократить сроки разработки отказоустойчивых бортовых локальных вычислительных сетей.

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

Реализация результатов диссертационной работы. Прикладные результаты диссертационной работы были внедрены в производство ФГУП "Санкт-Петербургское ОКБ "Электроавтоматика" в качестве "Методики расчетов потребных ресурсов бортовых ЭВМ летательных аппаратов". Методика предусматривает расчет потребной производительности бортовой ЭВМ и объемов запоминающих устройств на этапе системного проектирования средств интегрированной модульной авионики. Внедрение методики дает технический эффект, заключающийся в сокращении сроков разработки отказоустойчивых бортовых локальных вычислительных сетей для интеграции перспективных навигационно-пилотажных комплексов самолетов гражданской авиации, удовлетворяющих современным и перспективным требованиям безопасности и точности полетов.

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

Лтобття работы. Основные положения диссертационной работы до-кладывались на следующих конференциях и семинарах:

1. Системы управления электротехническими объектами. Всероссийская научно-практическая конференция. (Тула, ТулГУ, 2000).

2. XVIII научная сессия, посвященная Дню радио и 75-летию завода "Октава" (Тула, ТулГУ, 2001).

3. Проблемы специального машиностроения. Международная научно-техническая конференция. (Тула, ТулГУ, 2001 и 2002 г.г.).

4. Проблемы управления электротехническими объектами. Научно-практическая конференция (Тула, ТулГУ, 2002).

5. Проблемы специального машиностроения. Всероссийская научно-техническая конференция. (Тула, ТулГУ, 2002).

6. XIX научная сессия, посвященная Дню радио и 75-летию завода "Октава" (Тула, ТулГУ, 2002).

7. Ежегодная научно-техническая конференция профессорско-преподавательского состава кафедры (Тула, ТулГУ, 2001, 2002, 2003 г.г.).

Полученные в ходе исследований результаты использованы при работе над грантами:

1. Грант Губернатора Тульской области № 21-2000 "Исследование процесса разрушения информации на магнитных носителях".

2. Грант Министерства образования Российской Федерации 2001-2002 г.г. "Математическое моделирование параллельных процессов в мехатрон-ных системах"

Публмттм. По результатам исследований опубликовано 16 работ, в том числе 6 статей, 10 тезисов докладов.

Хтактетсгжт работы. Диссертационная работа состоит из введения, четырех разделов и заключения, содержит 29 рисунков, 5 таблиц, список использованной литературы из 100 наименований и 4 приложения. Объем основного текста диссертации - 135 страницы.

Похожие диссертационные работы по специальности «Информационно-измерительные и управляющие системы (по отраслям)», 05.11.16 шифр ВАК

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

4.6. Выводы

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

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

3. ПО выполнено для работы в ОС Windows 95 и выше.

4. Разработаны требования к аппаратному и программному обеспечению для системы самолетовождения и индикации ССИ-80 для самолета С-80ГП с использованием математического аппарата сетей Петри-Маркова.

ЗАКЛЮЧЕНИЕ

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

-разбиение общего процесса на подпроцессы, в свою очередь разбиваемые на последовательности шагов;

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

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

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

- наличие средств, определяющих текущее состояние каждого подпроцесса;

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

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

3. Разработана общая методика моделирования взаимодействий систем авионики, которая включает следующие этапы:

1. Составление первичной СПМ

2. Сведение СПМ к полумарковскому процессу

3. Уничтожение примитивных переходов - сведение сети к упрощенной, а затем к идеальной упрощенной.

4. Сведение к двухпереходной сети.

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

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

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

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

8. Прикладные результаты диссертационной работы были внедрены в производство ФГУП "Санкт-Петербургское ОКБ "Электроавтоматика" в качестве "Методики расчетов потребных ресурсов бортовых ЭВМ летательных аппаратов". Внедрение методики дает технический эффект, заключающийся в сокращении сроков разработки отказоустойчивых бортовых локальных вычислительных сетей для интеграции перспективных навигационно-пилотажных комплексов самолетов гражданской авиации, удовлетворяющих современным и перспективным требованиям безопасности и точности полетов.

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

Список литературы диссертационного исследования кандидат технических наук Жуликова, Наталья Александровна, 2003 год

1. Агафонов В.Н. Сложность алгоритмов и вычислений. - Новосибирск: НГУ, 1975.-146 с.

2. Альянах Н.И. Моделирование вычислительных систем. Л.: Машиностроение, Л.0,1988. - 222 с.

3. Андриянов А.В., Шпак И.И. Цифровая обработка информации в измерительных приборах и системах. Мн.: Выш. шк., 1987. - 176 с.

4. Артамонов Г.Т., Тюрин В.Л. Анализ информационно-управляющих систем со случайным интервалом квантования сигналов по времени. -М.: Энергия, 1977. 112 с.

5. Баев В.В., Паненко С.В. Пакет программ моделирования дискретных процессов расширенными сетями Петри // УСиМ. 1991. - N 8. - С.83-87

6. Байцер Б. Микроанализ производительности вычислительных систем. М.: Радио и связь, 1983. - 360 с.

7. Богачев С.К. Авиационная эргономика. М.: Машиностроение, 1978. -138 с.

8. Вашкевич Н.П., Зинкин С.А., Кулагин В.П. Комплекс программ для анализа сложных вычислительных устройств в процессе проектирования // Алгоритмы и программы: Информ. бюллетень ГосФАП СССР, 1985. N 2. - П008008

9. Вентцель Е. С., Овчаров Л. А. Теория вероятностей и ее инженерные приложения. М.: Наука, 1988. - 480 с.

10. Вентцель Е.С. Теория вероятностей. М.: Наука, 1964. - 574 е.: ил

11. Виттих В.А., Цыбатов В.А. Оптимизация бортовых систем сбора и обработки данных. М.: Наука, 1985. - 176 с.

12. Гельман М.М. Аналого-цифровые преобразователи для информационно-измерительных систем. М.: Изд-во стандартов, 1989. - 317 с.О

13. Гитлиц М.В. Магнитная запись в системах передачи информации. -М.:Связь, 1978. 304с.

14. Гольберг JI.M. Цифровая обработка сигналов. М.: Радио и связь, 1990. - 325с.

15. Горелик A.JL, Бутко Г.И., Белоусов Ю.А. Бортовые вычислительные машины. -М.: Машиностроение, 1975. 204 с.

16. Гофман В. Э., Хомоненко А. Д. Delphi 5. — СПб.: БХВ — Санкт-Петербург, 2000. — 800 с.

17. Грановский В.А., Сирая Т.Н. Методы обработки экспериментальных данных при измерениях. Л.: Энергоатомиздат, 1990. - 288 с.

18. Гудмэн Дж. Секреты жесткого диска/Пер. с англ. Киев: Диалектика, 1994.-256 с.

19. Дмитриев В.И. Прикладная теория информации. М.: Высшая школа, 1989.-320 с.

20. Дубинин В.Н. Вычисление логических запросов, основанных на временной логике / Пензенский гос.техн.ун-т. Пенза,1996. - 54 с. - Деп. в ВИНИТИ 14.02.96; N 488-В96

21. Дубинин В.Н.,Зинкин С.А. Система структурного проектирования ^ вычислительных систем на основе сетевых формализмов /

22. Пенз.политехи, ин-т. Пенза,1986. - 114 с. - Деп. в ВИНИТИ 26.01.87; N 555-В87

23. Евстигнеев В.А. Применение теории графов в программировании. -М.: Наука, 1985. 352 с.

24. Жуликова Н.А. Анализ надежности хранения информации на магнитных носителях (тезисы доклада) //XVIII Научная сессия, посвященная дню радио (материалы конференции). Тула: Тулгу, 2001. - С. 32.

25. Жуликова Н.А. Моделирование параллельных процессов в мехатрон-ных системах (тезисы доклада) // Известия ТулГУ. Серия: Проблемы специального машиностроения. Вып.4(ч.2). Материалы международной научно-технической конференции. Тула, 2001. - С. 225 - 228.

26. Жуликова Н.А. Моделирование функционирования систем с помощью двухпереходных сетей Петри-Маркова // Приборы и управление: Сборник статей молодых ученых ТулГУ. Тула, 2003. - с. 32-35.

27. Жуликова Н.А. Эффективность загрузки процессора бортовой ЭВМ // Известия ТулГУ. Сер. Вычислительная техника. Автоматика. Управление. Т. 4. Вып. 3. Управление. Тула: ТулГУ, 2002. С. 70 - 72.

28. Жуликова Н.А., Куренков А.В. Метод динамического движения по расписанию //Известия ТулГУ. Серия: Математика. Механика. Информатика. Вып. 3. Информатика. - Тула: ТулГУ, 2001.- С. 88-92.

29. Жуликова Н.А., Куренков А.В. Нециклические расписания загрузки оборудования // XIX научная сессия, посвященная Дню радио и 75-летию завода "Октава": материалы конференции. Тула: Левша, 2002. -С. 120

30. Жуликова Н.А., Куренков А.В. Составление нециклических расписаний неритмичных производств// Известия ТулГУ. Серия: Проблемы управления электротехническими объектами. Вып.2. Сборник трудов конференции. Тула, 2002. - С. 151.

31. Жуликова Н.А., Куренков А.В. Управление производственными системами в современных условиях (Тезисы доклада) //Системы управления электротехническими объектами. Всероссийская научно-практическая конференция.- Тула, 2000. С. 101

32. Жуликова Н.А., Ларкин Е.В. Анализ надежности записи и хранения информации. //Известия ТулГУ. Серия: Вычислительная техника. Авотоматика. Управление. Т.З. Вып.З. Управление. Тула: ТулГУ, 2001. -С. 176-182.

33. Жуликова Н.А., Ларкин Е.В. Математическая модель обработки данных бортовым вычислителем // Известия ТулГУ. Серия: Проблемы управления электротехническими объектами. Вып.2. Сборник трудов конференции. Тула, 2002. - С. 6 - 7.

34. Жуликова Н.А., Ларкин Е.В. Моделирование процесса несанкционированного доступа к информации (тезисы доклада) //XVIII Научная сессия, посвященная дню радио (материалы конференции). Тула: Тулгу, 2001.-С. 13.

35. Жуликова Н.А., Ларкин Е.В. Оценка производительности бортовых управляющих ЭВМ // Известия ТулГУ. Серия: Проблемы специального машиностроения. Вып.5(ч.2). Материалы всероссийской научно-технической конференции. Тула, 2002. - С. 366 - 371.

36. Жуликова Н.А., Ларкин Е.В. Энтропия цифровой обработки данных // XIX научная сессия, посвященная Дню радио и 75-летию завода "Октава": материалы конференции. Тула: Левша, 2002. - С. 40.

37. Жуликова Н.А., Ларкин Е.В., Пушкин А.В. Формирование и отображение сетей Петри-Маркова // Известия ТулГУ. Серия: Проблемы управления электротехническими объектами. Вып.2. Сборник трудов конференции. Тула, 2002. - С. 150.

38. Жуликова Н.А., Сычугов А.А. Применение сетей Петри-Маркова для анализа надежности записи и хранения информации // Известия ТулГУ. Серия: Математика. Механика. Информатика. Т7. Вып.З. Информатика. Тула, 2002. - с. 47 - 54.

39. Журбенко И.Г., Кожевникова И.А. Стохастическое моделирование процессов. М.: МГУ, 1990. - 146 с.

40. Игнатьев В.М., Ларкин Е.В. Анализ производительности ЭВМ: Учеб.Qпособие. Тула: ТГТУ, 1994. - 104 с.

41. Кириллов В.Ю., Нижняк В.В. Пакет программ работы с сетями Петри для ПЭВМ // УСиМ. 1989. - N 4. - С.48-51

42. Коваленко И.Н., Москатов Г.К., Барзилович Е.Ю. Полумарковские процессы в задачах проектирования систем управления летательными аппаратами. -М.: Машиностроение, 1973. 176 с.

43. Кокс Д., Смит В. Теория восстановления. Пер. с англ. М.: Советское радио, 1967.-299 с.

44. Колесник В.Д., Полтырев Г.Ш. Курс теории информации. М.: Наука, 1982.-416 с.

45. Корн Г., Корн Т. Справочник по математике (для научных работникови инженеров). М.: Наука, 1973. - 831 с.

46. Королюк B.C., Турбин А.Ф. Полумарковские процессы и их приложения. Киев: Наукова думка, 1976. -184 с.

47. Королюк B.C., Турбин А.Ф. Процессы марковского восстановления в задачах надежности систем. Киев: Наукова Думка, 1982. - 236 с.

48. Костин А.Е., Илюшечкин В.М., Шаньгин В.Ф. Принципы организации диалоговой системы имитационного моделирования вычислительных систем // Алгоритмичческое обеспечение и проектирование микропроцессорных управляющих систем: Сб.нау.тр. М.:МИЭТ,1981.- С.3-10

49. Котов В.Е. Сети Петри. М.:Наука,1984. - 158 с.

50. Котов Е.П., Руденко М.И. Ленты и диски в устройствах магнитной записи. М.: Радио и связь, 1986. - 223 с.

51. Котов Е.П., Руденко М.И. Носители магнитной записи: Справочник. -М.: Радио и связь, 1990. 384 с.

52. Кочегаров В.А., Фролов Г.А. Проектирование систем распределения информации: Марковские и немарковские модели. М.: Радио и связь, 1991.-215 с.

53. О 53. Краус М., Вошни Э. Измерительные информационные системы. М.:О1. Мир, 1975.-312 с.

54. Кузнецов В.П. Интервальные статистические модели. М.: Радио и связь, 1991.-347 с.

55. Куликовский Л.Ф., Мотов В.В. Теоретические основы информационных процессов. М.: Высшая школа, 1987. - 248 с.

56. Ларкин Е.В. Временные характеристики однородных параллельных систем//Алгоритмы и структуры систем обраб. информ. Тула: ТулГТУ, 1994.-С. 20-26.

57. Ларкин Е.В. Некоторые случаи "соревнований" в многопроцессорных Ф системах//Алгоритмы и структуры систем обраб. информ. Тула:1. ТулГТУ, 1994. С. 26-38.

58. Ларкин Е.В. Сети Петри-Маркова для моделирования параллельных процессов//Приборы и приб. системы: Тез. докл. Всеросс. конф. -Тула: ТулГТУ, 1994. С. 41.

59. Леонтьев А.Н., Кринчик Е.П. Переработка информации человеком в ситуации выбора. В кн.: Инженерная психология. - М.: Изд-во МГУ, 1964.-с. 295-325

60. Лескин А.А., Мальцев A.M., Спиридонов A.M. Сети Петри в моделировании и управлении. Л.: Наука, Ленинград, отд.-ние, 1989.-135 с.

61. Мазалов В.В., Винниченко Е.В. Моменты остановки и управляемые случайные блуждания. Новосибирск: Наука, СО. - 1992. - 104 с.

62. Майника Э. Алгоритмы оптимизации на сетях и графах. М.: Мир. -1981.-323 с.

63. Мамиконов А.Г., Кульба В.В. Синтез оптимальных систем обработки данных. М.: Наука, 1986. - 280 с.

64. Марков А.А. Теория алгоритмов // Тр. мат. ин-та им. В.А. Стеклова АН СССР.-1954.-376 с.

65. Моделирование систем сбора и обработки данных /В.И. Мановицкий О и др.-М.: Наука, 1983.- 124 с.U

66. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высшая школа, 1983. - 272 с.

67. Очин Е.Ф. Вычислительные системы обработки изображений. JL: Энергоатомиздат, 1989. - 132 с.

68. Парамонов П.П. Основы проектирования авионики. -Тула: Гриф и К, 2003. 228 е., ил.

69. Питерсон Дж. Теория сетей Петри и моделирование систем / Пер. с англ. М. В. Горбатовой и др. Под ред. В. А. Горбатова. М.: Мир, 1984.-263 с.

70. Подловченко Р.И. Недетерминированные схемы алгоритмов// ДАН СССР. 1973. - № 4. - С. 97-104.

71. Пронин Е.Г., Могуева О.В. Проектирование бортовых систем обмена информации. М.: Радио и связь, 1989. - 240 с.

72. Рылевский Г.И. Анализ и оптимизация систем управления пилотируемых летательных аппаратов. М.: Машиностроение, 1981. -200 с.

73. О 76. Сигнаевский В.А., Коган Я.А. Методы оценки быстродействияОвычислительных систем. М.: Наука, 1991. - 256 с.

74. Сильвестров Д.С. Полумарковские процессы с дискретным множеством состояний. М.: Сов. радио, 1980. - 272 с.

75. Справочник по устройствам цифровой обработки информации // Н.А. Виноградов, В.Н. Яковлев, В.В. Воскресенский и др. К.: Тэх-ника, 1988.-415 с.

76. Тихонов В.И., Миронов М.А. Марковские процессы. М.: Сов. радио, 1977-488 с.

77. Токарев B.JI. Построение моделей сложных многофункциональных Ф интегральных схем // Обмен производственно-техническим опытом.1989.-N3. С.35-39.

78. Токарев B.JI. Функционально-логическая модель сложной системы // Известия ТулГУ. Сер. Вычислительная техника. Автоматика. Управ-ление.Т.2,вып.2:Автоматика.-Тула,1999.-С.83-87.

79. Федоров В.Ю., Чуканов В.О. Интегрированный пакет моделирования сетей Петри с отказами // УСиМ. 1992. - N 3/4. - С.97-100

80. Феллер В. Введение в теорию вероятностей и ее приложения: В 2-ух т., т. 1. — М.: Мир, 1984.-538 с.

81. Феллер В. Введение в теорию вероятностей и ее приложения: В 2-ух т., т.2. -М.: Мир, 1984. 528 с.

82. Феррари Д. Оценка производительности вычислительных систем. -М.: Мир, 1981.-576 с.

83. Хастингс Н., Пиккок Дж. Справочник по статистическим распределениям. М.: Статистика, 1980. - 95 с.

84. Хоар Ч. Взаимодействующие последовательные процессы. М.: Мир, 1989.-264 с.

85. Хромов Л.И., Цыцулин А.К., Куликов А.Н. Видеоинформатика. Передача и компьютерная обработка видеоинформации,- М.: Машино1. О строение, 1990. 320 с.1. С*

86. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука, 2000., 780 с.

87. Шевченко A.M., Мамедли Э.М., Струков Ю.П. Бортовые вычислительные комплексы// Авиастроение. Итоги науки и техники. Т. 6. -М.: ВИНИТИ АН СССР, 1978. - 239 с.

88. Ширяев А.Н. Вероятность. М.: Наука, 1989. - 640 с.

89. Boyse J.W., Warn D.R. A strightforward model for computer performance prediction //Computer Survey. 1975. - № 7. - Pp. 73-93.

90. Coffman E.G., Muntz R.R., Trotter H. Waiting time distributions for processor sharing systems //Journal of ACM. 1970.- V. 17, № 1. - Pp. 123130.

91. Feldbrugge F. Petri net overview 1986 // Lect.Notes Comput. Sci. 1987. -v.255. - P.20-61

92. Floid R.W. Non-deterministic algorithms //Journal of ACM. 1967. - № 4.-Pp. 636-644.

93. Gilbert P., Chandler W. Interference between communicating processes //Communications of the ACM. 1972. -№ 3. - Pp. 171-176.

94. Jensen K. Computer tools for construction, modification and analysis of Petri nets // Lect. Notes Comput. Sci. 1987. - v.255. - P.4-19

95. Mudge T.N., Al-Sadoun H.B. A semi-Markov model for the performance of multiple-bus systems //IEEE Transactions on Computers. 1985. - V. 34. №10.-Pp. 934-942.

96. Shannon C.E. 1948. A mathematical theory of communication. Bell Syst. Tech. J. - № 27 (Jul.). - Pp. 398-403.

97. Wilent C.E. Directions in avionic data distribution systems //Proc. 5-th IEAA/AIAA Digital avionics System conf. Seattle, 1983. - Pp. 12.6.112.6.6.

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