Методология информационного проектирования систем авионики тема диссертации и автореферата по ВАК РФ 05.11.16, доктор технических наук Парамонов, Павел Павлович
- Специальность ВАК РФ05.11.16
- Количество страниц 284
Оглавление диссертации доктор технических наук Парамонов, Павел Павлович
ВВЕДЕНИЕ
1. АНАЛИЗ МЕТОДОВ ПРОЕКТИРОВАНИЯ ИЗМЕРИТЕЛЬНО- 19 ИНФОРМАЦИОННЫХ СРЕДСТВ АВИОНИКИ
1.0. Введение
1.1. Типовые структуры измерительно-информационной системы
1.2. Обобщенная схема передачи информации в человеко-машинном комплексе
1.2.1. Общие определения
1.2.2. Количественная оценка информационного содержания сигнала
1.3. Методы исследования
1.3.1. Методы моделирования сенсорной подсистемы
1.3.2. Методы моделирования бортовой вычислительной подсистемы
1.3.3. Методы моделирования подсистемы отображения информации
1.3.4. Методы синтеза бортовых кабельных сетей (БКС)
1.3.5. Критерии оценки бортовых систем информационного обмена
1.4. Выводы
2. ИНФОРМАЦИОННАЯ МОДЕЛЬ СЕНСОРНОЙ ПОДСИСТЕМЫ
2.0. Введение
2.1. Дискретизация аналоговых сигналов
2.2. Погрешности дискретизации аналоговых сигналов
2.3. Квантование сигналов сенсорной подсистемы по уровню
2.4. Дискретизация квантованных сигналов
2.5. Информационные характеристики сигналов датчиков
2.6. Выводы
3. ИНФОРМАЦИОННАЯ МОДЕЛЬ БОРТОВОГО
ВЫЧИСЛИТЕЛЬНОГО КОМПЛЕКСА
3.0. Введение
3.1. Общие свойства и характерные особенности бортовых ЭВМ систем авионики
3.2. Временные характеристики полумарковских процессов
3.3. Описание функционирования бортовых ЭВМ без учета прерываний
3.4. Временные характеристики алгоритмов при наличии внешних прерываний
3.5. Изменение информативности сообщений при обработке сигналов сенсорной системы на ЭВМ
3.6. Суммарная оценка информационных потоков в системе авионики
3.7. Выводы
4. МОДЕЛИРОВАНИЕ СРЕДСТВ ОТОБРАЖЕНИЯ ИНФОРМАЦИИ
4.0. Введение
4.1. Общие принципы формирования сообщений, предъявляемых на экране
4.2. Способы представления информации и информативные признаки
4.2.1. Представление информации абстрактными геометрическими фигурами, условными знаками и контурами
4.2.2. Буквенно-цифровой способ представления информации
4.2.3. Характеристики положения
4.2.4. Геометрические и количественные характеристики
4.2.5. Характеристики восприятия
4.3. Синтез сообщений 138 4.3.1.Общие принципы синтеза сообщений
4.3.2. Синтез сообщений из примитивов
4.3.3. Особенности синтеза двумерных сообщений
4.3.4. Особенности синтеза объемных сообщений
4.4. Информационно-временные характеристики процесса формирования сообщений на экранах средств отображения
4.5. Выводы
5. МЕТОДОЛОГИЯ ПРОЕКТИРОВАНИЯ АВИОНИКИ
С ИСПОЛЬЗОВАИЕМ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ
5.0. Введение
5.1. Проектирование сенсорной подсистемы
5.1.1. Усиление по мощности
5.1.2. Усиление с предварительной аналоговой фильтрацией
5.1.3. Аналоговое уплотнение для передачи по каналу связи
5.1.4. Аналого-цифровое преобразование
5.1.5. Аналого-цифровое преобразование с комиандированием
5.1.6. Аналого-цифровое преобразование с аналоговым уплотнением
5.1.7. Аналого-цифровое преобразование с цифровым уплотнением
5.1.8. Электропитание сенсорной подсистемы
5.2. Проектирование бортовой кабельной сети
5.2.1. Описание кабельной сети
5.2.2. Проектирование кабельной сети
5.2.3. Показатели качества бортовой кабельной сети
5.2.4. Разъемы
5.3. Включение бортовой ЭВМ в авионику
5.3.1. Интерфейс по ГОСТ 18977-79 (ARINC 429)
5.3.2. Интерфейсы по ГОСТ 26765.52-87 (MIL-STD- 1553В), ГОСТ
Р50832 (STANAG 3910), ARINC 629, ARINC
5.3.3. Аналоговый и цифровой радиальные интерфейсы с мультиплексированием
5.3.4. Система прерываний и спецпроцессор
5.4. Оценка основных ресурсов бортовой ЭВМ
5.4.1. Время центрального процессора
5.4.2. Объемы запоминающих устройств
5.5. Оценка деятельности человека-оператора
5.6. Комплексная задача оптимизации системы авионики 216 5.6. Выводы
6. СОЗДАНИЕ ИНФОРМАЦИОННО-МОДУЛЬНОЙ АВИОНИКИ
6.0. Введение
6.1. Технические и программные средства комплекса
6.1.1. Вычислительные мощности и интерфейсы для связи с сенсорной подсистемой
6.1.2. Принципы реализации программного обеспечения
6.2. Конструктивное исполнение комплекса
6.3. Структурные схемы системы авионики
6.3.1. Интеграция навигационно-пилотажной информации
6.3.2. Интеграция аэрометрической информации
6.3.3. Комплексная обработка информации БИИБ, аэрометрических датчиков и системы навигационных средств (СНС) GPS/ГЛОНАСС
6.3.4. Информационное ядро НПК
6.3.5. Структурная схема авионики перспективных самолетов с выделением НПК как интеллектуального ядра
4.3.6. Интерфейсы системы
6.4. НПК на основе резервированных многорежимных пультов-вычислителей (ПВ) и интерфейсов по ГОСТ 18977-79 (ARINC 429)
6.4.1. Пульт-вычислитель
6.4.2. Пульт управления радиотехническими системами ПУ РТС
6.5 НПК на основе резервированных пультов-вычислителей, центрального мультиплекса и интерфейсов по ГОСТ 18977
ARINC 429)
6.6. Система самолетовождения и индикации ССИдля самолета С-80ГП
6.7. Выводы
Рекомендованный список диссертаций по специальности «Информационно-измерительные и управляющие системы (по отраслям)», 05.11.16 шифр ВАК
Методология системного проектирования авионики с отказоустойчивыми свойствами2004 год, доктор технических наук Сабо, Юрий Иванович
Моделирование бортовых информационно-измерительных систем с использованием сетей Петри-Маркова2003 год, кандидат технических наук Жуликова, Наталья Александровна
Построение и исследование структуры бортового информационно-измерительного комплекса с повышенной отказоустойчивостью2006 год, кандидат технических наук Новичков, Вадим Михайлович
Автоматизация контроля и диагностики систем электронной индикации бортовых систем управления в режиме отображения аэронавигационной картографической информации2013 год, кандидат технических наук Борисова, Татьяна Сергеевна
Принципы построения и методы автоматизации проектирования вычислительных систем интегрированных комплексов бортового оборудования2010 год, доктор технических наук Жаринов, Игорь Олегович
Введение диссертации (часть автореферата) на тему «Методология информационного проектирования систем авионики»
Актуальность темы. Современный этап развития систем управления объектами различного назначения, в частности технических средств, используемых при управлении пилотируемыми летательными аппаратами, характеризуется, во-первых, существенным ростом объемов информации, получаемой от объекта с помощью сенсоров и используемой для принятия решений, во-вторых, стремлением извлечь из полученной информации максимум возможного, а в третьих, стремлением переложить решение части задач по выработке управленческих решений на ЭВМ [14, 46, 123]. Указанные обстоятельства привели к тому, что программно-технические комплексы, ниже называемые системами авионики, осуществляющие сбор информации, се предварительную обработку и предъявление результатов предобработки человеку-оператору, стали важнейшим звеном систем управления летательными аппаратами, а приоритеты использования подобных комплексов смещаются в сторону решения все более сложных информационных задач за все более короткое время [60, 84, 93].
С другой стороны, развитие рыночных отношений предопределяет жесткую конкуренцию, как на рынке авиационной техники, так и на рынке вспомогательных средств, что в свою очередь приводит к необходимости существенного сокращения сроков обновления авионики. В настоящее время это возможно только с использованием таких методологий, которые бы обеспечивали сквозной процесс проектирования от общего облика системы до конкретных конструкторских решений и программных продуктов [79, 80, 93, 94, 164, ].
Важным аспектом функционирования авионики является информационный аспект, характеризующийся двумя факторами: информативностью сообщений и скоростью ее обработки и/или передачи. Информационный аспект процесса управления, в основном, определяет эффективность применения технических средств летательного аппарата в процессе выполнения полетов, а в ряде случаев, например в форсмажорных ситуациях, и/или на бортах специального назначения - работоспособность и даже жизнеспособность борта. Типичным примером влияния времени решения задачи на работоспособность комплскса является применение системы авионики в качестве звена, реализующего обратную связь [46,97, 107].
Общепринятым методом решения проблемы ускорения информационных процессов является применение более быстродействующей аппаратной составляющей. Однако, само по себе применение более совершенных технических средств, хотя и приводит к удорожанию аппаратуры, зачастую не дает желаемого результата без организационно-технических мероприятий по их использованию. Другими методами решения задачи является анализ информационной стороны процесса и генерация на каждом этапе таких сообщений, которые бы способствовали ускорению процессов передачи и обработки данных при сохранении релевантной информативной составляющей, а также сокращению времени трафика по бортовым кабельным сетям [59, 63, 77, 102, 163]. С другой стороны, само по себе применение более совершенных технических средств, хотя и приводит к удорожанию аппаратуры, зачастую не дает желаемого результата без организационно-технических мероприятий по их использованию.
Как правило, состав аппаратных средств авионики определяются нормативными документами и редко подвергаются изменениям. Вследствие этого параметры информационных процессов являются едва ли не единственными варьируемыми параметрами для оптимизации времени информационных процессов. В силу сложности информационных процессов и широкой номенклатуры технических средств, решающих в авионике сходные задачи с различными ресурсными затратами, проектирование систем указанного класса с последующей постановкой экспериментов на реальном объекте - весьма длительный и дорогостоящий процесс, в результате которого не обязательно получается оптимальный результат. Поэтому сокращение сроков создания и освоения новых технических решений целесообразно проводить с предварительным моделированием и расчетом параметров систем, что в настоящее время затруднительно, вследствие отсутствия методологии проектирования систем.
Все вышеперечисленное, а именно потребности в создании систем авионики и отсутствие общей теории их анализа и расчета, позволяющей осуществить оптимальное распределение информационных функций между компонентами в пространстве-времени в системах с заданной структурой, объясняет необходимость и актуальность исследований, проведенных в диссертации.
Таким образом, объектом исследования диссертационной работы являются системы авионики, состоящие из сенсорной подсистемы, ряда функциональных компонентов (узлов и бло1ю^ по^преобразованию информации, борто^ в^о^втислителя, средств передачи и отображения информации, взаимодействующие с человеком-оператором на бортулетательного аппарата, и способствующие при указанном взаимодействии достижению цели, определенной полетным заданием. Следует подчеркнуть, что методология^разработанная в диссертации, может быть применена для разработки информационно-измерительных систем другого назначения, например, систем управления морскими или наземными транспортными средствами, следовательно, объект исследования может быть расширен докласса объектовJB известном смысле, к расширенному классу может быть отнесено подавляющее число подвижных электронно-механических технических систем, если рассматривать информационные аспекты их функционирования при управлении оператором и технические параметры узлов и блоков, зависящие от информационных свойств, например роботы, интеллектуальные средства поражения и т.п.
Предмет исследования диссертационной^работы может быть определен как информационные, временные,'^точностные и^массогабаритные характеристики компонентов объекта, при их сочленении в единую систему и взаимодействии, в том числе и эргатическом, для достижения цели функционирования. ^
Необходимым при создании авионики является этап формирования и исследования таких моделей, которые адекватно отражали бы релевантные аспекты их функционирования. Релевантными в данном случае являются: | ^ состояния объекта (компонентов объекта), в которых он пребывает в процессе функционирования; информационные аспекты процессов в определенных состояниях объекта и его компонентов; время пребывания в состояниях;
Оказывается, что подходов к моделированию, в равной мере учитывающих все перечисленные аспекты, в настоящее время не существует. Ниже исследуется подход к исследованию временных характеристик информационных процессов в системах с выделенными состояниями, который опирается на аналитические методы математического моделирования.
В диссертационной работе информационные аспекты функционирования объекта исследуются с применением такого фундаментального понятия информатики как энтропия, которая связывается с другими характеристиками, например, массогабаритными характеристиками технических средств преобразования информации [13, 36, 52, 53, 62, 63]. Математическое моделирование смены состояний и фактора времени производится с применением понятия полумарковского процесса, что позволяет получить широкий диапазон приближений моделей к реальным процессам, от строго детерминированных до стохастических, причем достижимость состояний в моделях рассматриваемого класса определяется с точностью до вероятностей, а определение временных интервалов производится с точностью до плотностей распределения вероятностей и/или числовых характеристик плотностей (математического ожидания, верхней и нижней границ области ненулевых значений [50, 54, 56, 90, 99, 109, 114, 127, 134, 139, 142, 147, 150]. Ряд полученных ранее другими авторами и использованных в диссертации результатов [65, 67, 115, 135, 144, 145, 146] позволяет учитывать и взаимодействие компонентов авионики при функционировании.
Цель диссертационной работы состоит в разработке методологии опти-
------—— мального проектирования систем исследуемого класса, основанной на аналитиу- f ческом описании информационных процессов. у, ^
Задачи исследований. ' ^ °'
1. Исследование особенностей информационных процессов в авионике и подбор фундаментальных теорий, которые могли бы быть положены в основу метода их математического (аналитического) моделирования.
2. Разработка концепции математического моделирования информацион-хйых процессов в системах исследуемого класса.
3. Разработка методологии: оценки информативности сообщений различных типов и'^изменения информативности при преобразованиях сигналов в
V. - ' авионике. if.' ^^
4. Исследование общих закономерностей поведения алгоритмов обработки информации бортовыми ЭВМ и сведение задачи исследования алгоритмов к известным стохастико-временным моделям, в частности к полумарковскому процессу.
5. Создание метода исследования в^^енных^и стохастических алгоритмов по их полумарковским моделям, представленным в виде полумарковской матрицы. yd, CSst-C^^p^-'.
6. Получение зависимостей для оценки информационной точности ввода сигналов, получаемых на выходах датчиков различных типов, в ЭВМ при различных способах формирования сигналов опроса^^, ^ у^ J^'1' "*
7. Исследование информационных характеристик эргатической составляющей авионики, разработкат]^боваш^^составу и содержанию сообщений, формируемых на экране средств отображения ji несущих информацию о состоянии летательного аппарата^ ^^ ^^ <->£>'/% ~
8. Разработка методик моделирования с помощью полумарковских процессов типовых конфигураций технического и программного обеспечения.
9. Разработка метода оптимального структурно-параметрического синтеза авионики с использованием информационных моделей процессов в качестве системы ограничений. Р' ' ''<07 *
10. Экспериментальная проверка разработанного метода информационного моделирования при создании и внедрении в авиации реальных програм
CVit? а-< '<*->- а с<" ' мно-технических комплексов. * "
Научная новизна диссертации заключается в следующем. 1. Сформулирована концепция информационного моделирования авионики состоящей из множества взаимосвязанных функциональных компонентов, для каждого из которых характерным является наличие ряда состоянии, переход из которых в сопряженные состояния связан с изменением информативности сообщений.
2. Создан обобщенный метод комплексного анализа авионики основанный на математическом (аналитическом) структурно-параметрическом моделировании процессов в программных и аппаратных средствах, в том числе при4 взаимодействии ее компонентов. ^
3. Оценена информационная точность-процесса ввода данных с датчиков сенсорной системы в бортовую ЭВМ при различных способах опроса датчиков (поллинг, прерывания), исследовано влияние параметров ввода на ошибку, возникающую в процессе опроса датчиков.
4. На основании исследования информационных характеристик и вычислительной сложности различных способов формирования сообщений, предъявляемых оператору на экране средств отображения, разработаны требования к составу и содержанию сообщений, несущих информацию о состоянии летательного аппарата.
5. Разработаны методы решения ряда проектных задач, в частности распределения функций между узлами и блоками; информационно-временного согласования компонентов при их взаимодействии; распределения ресурсов бортовой ЭВМ при функционировании объекта; пространственно-топологического размещения узлов и блоков на борту летательного аппарата.
6. Предложено при разработке авионики использовать модификацию метода оптимального целенаправленного синтеза, представляющую собой разновидность нисходящего структурно-параметрического проектирования использованием в качестве системы ограничений зависимости, связывающие информационные и технические характеристики систем.
Принципиальный вклад в развитие теории проектирования авионики состоит в следующем:
1. Произведено обоснование общих свойств, которыми должны обладать структурно-параметрические модели авионики, показано, что информационный аспект процессов в программно-технических средствах является важным фактором, который необходимо учитывать при моделировании систем данного класса.
2. Постановлена и решена задача разработки формализованного подхода к математическому (аналитическому) моделированию информационных процессов в компонентах системы на основе определенияэнтропии, как количественной меры информативности сообщений на входе и выходе, а также временных и вероятностных характеристик состояний компонентов, как следствия реализации в них некоторого алгоритма, с использованием достижений таких фундаментальных теорий, как теория полумарковеких процессов, теория алгоритмов и теория информации.
3. Показано, что алгоритмы фу!п<цио1шрования ^ртовь1х ЭВМ моделируются эргодическим полумарковским процессом, а наличие прерываний, поступающих в ЭВМ от компонентов авионики, увеличивает время выполнения операторов алгоритма, получены зависимости для оценки увеличения временных интервалов. , - ;
4. Разработан ряд методов и получены математические выражения для определения информационных и стохастико-временных параметров взаимодействия компонентов в системах исследуемого класса, а также согласования указанных характеристик при сопряжении соответствующих компонентов.
5. Исследован механизм возникновения ошибки при вводе цифровых сигналов в ЭВМ, оценена информационная точность процесса ввода данных с датчиков с цифровым выходом в ЭВМ при различных способах опроса датчиков
V- — поллинг, прерывания), исследовано влияние параметров ввода на ошибку, воз^ никающую в процессе опроса датчиков. v'! ~ "" ~ ^ " с/
6. Определена-информационная емкость сообщений, предъявляемых на экранах средств отображения, показано, что задача адаптации сообщений, поступающих из сенсорной подсистемы, к информационной пропускной способности зрительного канала восприятия оператора сводится к задачам классификации и посимвольного формирования образов, оценена вычислительная сложность формирования плоских и объемных символов.
7. Предложены модели для оценки информационных и конструктивных параметров различных технических решений (как аппаратных, так и программных) при проектировании авионики.
8. Разработан метод целенаправленного структурно-параметрического проектирования систем с использованием в качестве системы ограничений комплекс информационных и стохастико-временных моделей, разработанных в диссертации.
Практическая ценность работы заключается в том, что методология информационного проектирования ориентирована на создание практических рекомендаций, позволяющих повысить качество вновь разрабатываемых систем исследуемого класса при сокращении сроков их разработки.
Достоверность полученных теоретических результатов подтверждается результатами апробаций методологии при решении практических задач разработки ряда навигационно-пилотажных комплексов/самолетов гражданской авиации. № |
Научные положения, выносимые на защиту.
1. Концепция информационного и стохастико-врсменного моделирования авионики, состоящих из ряда компонентов, взаимодействующих в процессе функционирования^^ ^
2. Формализованный подход к математическому (аналитическому) моделированию информационных процессов в компонентах системы на основе определения энтропии, как количественной меры информативности сообщений на входе и выходе, а также временных и вероятностных характеристик состояний компонентов, как следствия реализации в них некоторого алгоритма.
3. Метод определения временных интервалов, формируемых при функционировании бортовой ЭВМ, основанный на операциях с полумарковской матрицей, описывающей эргодический процесс в алгоритмах авионики.
4. Методы определения информационных и стохастико-временных параметров взаимодействия компонентов в системах исследуемого класса, а также согласования указанных характеристик при сопряжении соответствующих компонентов.
5. Модель механизма возникновения ошибки при вводе цифровых сигналов в ЭВМ; метод оценки информационной точности процесса ввода данных с датчиков с цифровым выходом в ЭВМ при различных способах опроса датчиков (поллинг, прерывания).
6. Метод формирования сообщений на экране средств отображения с определением информационной емкости сообщений и адаптацией сообщений, поступающих из сенсорной подсистемы, к информационной пропускной способности зрительного канала восприятия оператора.
7. Метод целенаправленного проектирования авионики с использованием в качестве системы ограничений информационных и стохастико-временных моделей компонентов.
Реализация и внедрение результатов. Предложенные в диссертации концепция, методы и методики реализованы автором в процессе выполнения нижеследующих НИР ОКБ "Электроавтоматика": "Борт-80" (инв. № 8830, 1978), "Зрачок 2" (инв. № 7889, 1974), "Фиалка" (инв. № 9624, 1982), "Структура" (инв. №7889, 1984).
Результаты, полученные в диссертации, внедрены в ОКБ "Электроавтоматика" в следующих разработанных средствах: комплексная система цветной индикации "Панорама"; навигационный комплекс ОЭНК; система экранной индикации СЕИ-124; система отображения информации для вертолета МИ-24В; система отображения информации "Луч" для изделия "Вьюга"; J бортовой вычислительный комплекс БЦК-29; ( машина цифровая вычислительная ЦВМ80-406ХХ; многопрограммный пульт-вычислитель для реализации вычислительных систем самолетовождения; навигационный комплекс высотного самолета; комплекс пилотажно-навигационного оборудования самолета ИЛ-114; пульт-вычислитель для самолета ТУ-204.
Апробация работы.
Основные положения диссертации докладывались на следующих конференциях и семинарах.
1. III Международная научно-техническая конференция "Пилотируемые полеты в космос", РГНИИ ЦПК, Москва, 1997.
2. Международная научно-техническая конференция "Конверсия, приборостроение, рынок", Владимир-Суздаль, 1997.
3. Международный коллоквиум по точной механике, Будапешт, 1997.
4. Международная научно-техническая конференция "Мстрология-97", Минск, 1997.
5. Гагаринские чтения, Москва, 1997.
6. II Международный симпозиум "История авиации и космонавтики", Москва, ИИЕТРАН, 1997.
7. 30 Научно-техническая конференция профессорско-преподавательского состава ГИТМО (ТУ), Санкт-Петербург, 1999.
8. Международный симпозиум «Аэрокосмические приборные технологии, Санкт-Петербург, 2002.
9. Всероссийская научно-техническая конференция «Проблемы проектирования систем и комплексов», Тула, 2002.
По теме диссертации опубликовано 25 работ, включенных в список литературы, в том числе: 1 монография, 19 тезисов докладов на международных, всесоюзных, республиканских и отраслевых конференциях, семинарах и симпозиумах, 5 статей, 2 авторских свидетельства на изобретение.
Характеристика работы. Диссертационная работа состоит из введения, шести глав и заключения, изложенных на 270 страницах машинописного тек
Похожие диссертационные работы по специальности «Информационно-измерительные и управляющие системы (по отраслям)», 05.11.16 шифр ВАК
Алгоритмы контроля вычислительной системы интегрированной модульной авионики и ее функциональных элементов2015 год, кандидат наук Книга, Екатерина Викторовна
Создание информационно-измерительных систем тренажеров, динамически подобных подвижным наземным объектам2006 год, кандидат технических наук Ткач, Виктор Павлович
Методы и алгоритмы оперативного контроля бортовых радиотехнических средств КА2002 год, кандидат технических наук Орлов, Валерий Павлович
Системы обеспечения безопасности функционирования элементов бортового эргатического комплекса в контуре управления летательного аппарата2009 год, доктор технических наук Макаров, Николай Николаевич
Разработка новых принципов построения информационно-измерительных систем технического зрения мобильных роботов2011 год, доктор технических наук Андреев, Виктор Павлович
Заключение диссертации по теме «Информационно-измерительные и управляющие системы (по отраслям)», Парамонов, Павел Павлович
6.7. Выводы
1) Показано, что разработанная методология математического моделирования и проектирования охватывает все основные типы узлов и блоков систем авионики.
2) Показано, что алгоритмическое обеспечение бортовых ЭВМ строится по принципам, исследованным в диссертации; для исследованных принципов построения программного обеспечения разработаны методы его математического моделирования.
3) Показано, что исходными данными для моделирования как технических средств, так и программного обеспечения являются паспортные данные компонентов систем авионики, а результатом проектированиия являются параметры систем, закладываемые в структурные, функциональные схемы и конструкторскую документацию.
4) С использованием разработанной методологии спроектированы, разработаны и внедрены структурные схемы ряда перспективных систем, а также многофункциональный пульт-вычислитель (ПВ) и система самолетовождения и индикации ССИ-80.
ЗАКЛЮЧЕНИЕ
В диссертации разработаны теоретические положения, совокупность которых можно квалифицировать как решение научной проблемы, имеющей важное народно-хозяйственное значение.
1. На основании исследования основных принципов функционирования измерительно-информационных систем авионики сделан вывод о том, что в основу концепции их моделирования может быть положено такое фундаментальное понятие информатики как энтропия которая должна быть связана с техническими характеристиками моделируемых объектов.
2. Сформулирована концепция моделирования авионики, основанная на математическом (аналитическом) стохастико-временном описании информационных процессов, что позволяет в равной степени учитывать в моделях информационные аспекты процессов, в том числе вопросы информационной точности при алгоритмических преобразованиях, фактор времени и фактор перехода объекта из состояния в состояние.
3. Разработана методологии оценки информативности различных типов сообщений и изменения информативности при различного рода преобразованиях сигналов в авионике.
4. Построена обобщенная модель сенсорной подсистемы, описывающая генерацию и ввод в ЭВМ информации с двух типов датчиков: с аналоговым выходом и с квантованным по уровню выходом; для датчиков с аналоговым выходом получены необходимые условия дискретизации и квантования по уровню, обеспечивающие минимальный шум преобразования; для датчиков с квантованным по уровню выходом показано, что ошибки при вводе информации в ЭВМ обусловлены «соревнованием» между процессами переключения выходных сигналов и средствами ввода данных в ЭВМ.
5. Получены выражения, связывающие параметры средств преобразования сигналов сенсорной подсистемы с информативностью генерируемых сообщения, а также выражение для оценки вычислительных ресурсов, необходимых для переработки поступающей информации.
6. Исследованы стохастнко-временные свойства средств преобразования информации в авионике, показано, что математическим подобием их функционирования является эргодический полумарковский процесс, для которого определены понятия выделенных состояний и получены выражения для временных характеристики переходов из одного выделенного состояния в другое, основанные операциях с полумарковской матрицей.
7. Показано, что наличие прерываний при функционировании бортовых ЭВМ увеличивает среднее время возврата в выделенные состояния полумарковского процесса, описывающего бортовую ЭВМ; оценено количественно увеличение времени.
8. Исследован процесс обработки информации программными средствами, доказано, что программная обработка не увеличивает объемов обрабатываемой информации; получены зависимости для оценки сокращения объемов при программной обработке; сформулировано общее требование к программному обеспечению бортовой ЭВМ, учитывающее ее производительность и пропускную способность канала восприятия оператора.
9. Введено понятие информативного признака сообщения и сделан вывод о том, что задача расчета значений информативных признаков сообщения на основании анализа информации сенсорной подсистемы может рассматриваться как классическая задача распознавания образов, в которой вектор состояния контролируемого объекта относят к одному из множества заранее определенных классов.
10. Получены зависимости для оценки энтропии при динамическом распределении информационных ресурсов средств отображения: общего объема информации, выводимой через зону, средний объем информации и объем информации, если появление каждого типа сообщения является случайным.
11. Проведен сравнительный анализ различных способов кодирования сообщений при комбинированном способе кодирования. Показано, что наилучший результат применения комбинированного способа достигается, если для кодирования информативного признака с наименьшим временем восприятия человеком-оператором применяется наименьшее количество состояний.
12. На основании анализа функционирования типовых узлов и блоков авионики разработана система математических моделей, описывающая информационные и массогабаритные характеристики различных схем сенсорной подсистемы, подсистемы электропитания, бортовой кабельной сети, распространенных интерфейсов при различных дисциплинах обслуживания абонентов.
13. Получены зависимости, связывающие потребные ресурсы бортовой ЭВМ с информационными характеристиками сенсорной подсистемы, и параметрами программного обеспечения, в частности дисциплиной разделения времени между потребителями операционной системой ЭВМ (для простой циклической дисциплины и дисциплины с приоритетами).
14. Предложена методика оценки деятельности человека-оператора, включенного в авионику при получении им сообщений через средства отображения, информативность которых понижена с помощью бортовой ЭВМ. Получены зависимости, позволяющие определить эффективность деятельности и методы, повышающие ее в аварийных ситуациях.
15. Решена задача комплексной оптимизации системы авионики при ее проектировании и предложен метод целенаправленного проектирования систем, заключающийся в разделении проектной задачи на иерархические уровни поиске оптимального проектного решения для каждого уровня с использованием информационных моделей процессов в качестве системы ограничений; с целью уменьшения накапливаемой ошибки проектирования предложено ввести в систему проектирования обратную связь между соседними иерархическими уровнями проектирования.
16. Разработанные концепция и методология проектирования авионики апробированы на решении конкретных проектных задач информационно-измерительных программно-технических комплексов самолетов гражданской авиации.
Список литературы диссертационного исследования доктор технических наук Парамонов, Павел Павлович, 2003 год
1. А.С. № 726545. Устройство для отображения цветной информации на экране электронно-лучевой трубки типа «Пенетрон» // Парамонов П.П. и др., 1979.
2. А.С. № 908170. Преобразователь «Фаза-код» //Парамонов и др.,1981.
3. Агафонов В.Н. Сложность алгоритмов и вычислений. Новосибирск: НГУ, 1975.- 146 с.
4. Алексеев Г.И., Мыльников С.П. Программная реализация Петри-машины // Многопроцессорные вычислительные системы и их математическое обеспечение. Новосибирск: ВЦ СО АН СССР, 1982. - С. 94 - 103.
5. Альянах Н.И. Моделирование вычислительных систем. Л.: Машиностроение, 1988.-222 с.
6. Анализ производительности функционально распределенной вычислительной системы // В.Ф. Гузик, В.Е. Золотовский, С.М. Гушанский, В.Н. Пуховский // Многопроцессорные вычислительные структуры. Вып. 12(ХХ1). Таганрог: ТРТИ, 1990. - С. 56 - 59.
7. Андриянов А.В., Шпак И.И. Цифровая обработка информации в измерительных приборах и системах. — Минск: Вышэйшая школа, 1987. — 176 с.
8. Артамонов Г.Т., Тюрин В.Д. Топология сетей ЭВМ и многопроцессорных систем. М.: Радио и связь, 1991. - 248 с.
9. Артамонов Г.Т., Тюрин В.Л. Анализ информационно-управляющих систем со случайным интервалом квантования сигналов по времени. — М.: Энергия, 1977. 112 с.
10. Архангельский Б.В., Никитин А.И. Системы оптимизации программ. Киев: Технжа, 1983. - 167 с.
11. Ачасова С.М., Бандман О.Л. Корректность параллельных вычислительных процессов. М.: Наука, 1990. - 252 с.
12. Байцер Б. Микроанализ производительности вычислительных систем. М.: Радио и связь, 1983. - 360 с.
13. Бендат Д.С.Д., Пирсол А. Прикладной анализ случайных данных. -М.: Мир, 1989.-540 с.
14. Бесекерский В.А., Изранцев В.В. Системы автоматического управления с микроЭВМ. М.: Наука, 1987. - 318 с.
15. Богачев С.К. Авиационная эргономика. М.: Машиностроение, 1978.-138 с.
16. Богуславский Л.Б., Ляхов А.И. Методы оценки производительности многопроцессорных систем. М.: Наука, 1992. - 213 с.
17. Бойко Е.И. Время реакции человека. М.: Медицина, 1964. — 440 с.
18. Бутаков Е.А., Островский В.И., Фадеев Л.И. Обработка изображений на ЭВМ. М.: Радио и связь, 1987. - 236 с.
19. Вальковский В.А., Малышкин В.Э. Синтез параллельных программ и систем на вычислительных моделях. Новосибирск: Наука, СО, 1988. - 126 с.
20. Вальковский В.А., Малышкин В.Э. Элементы современного программирования и супер-ЭВМ. Новосибирск: Наука, СО, 1990. - 139 с.
21. Валях Е. Последовательно-параллельные вычисления. М.: Мир, 1985.-456 с.
22. Венда В.Ф. Инженерная психология и синтез систем отображения информации. М.: Машиностроение, 1975. - 395 с.
23. Венда В.Ф. Средства отображения информации. М.: Энергоатом-издат, 1969.-304 с.
24. Вентцель Е.С., Овчаров Л.А. Теория случайных процессов и ее инженерные приложения. М.: Наука, 1991. - 383 с.
25. Виттих В.А., Цыбатов В.А. Оптимизация бортовых систем сбора и обработки данных. М.: Наука, 1985. - 176 с.
26. Вишенчук И.М., Черкасский Н.В. Алгоритмические операционные устройства и супер-ЭВМ. Киев: Тэхника, 1990. - 196 с.
27. Вычислительные средства комплексированного государственного унитарного предприятия ОКБ «Электроавтоматика» на рубеже 21 века. / Парамонов П.П. и др. «Мир авионики», №4, С-Пб, 1998. - С. 38 - 39.
28. Гельман М.М. Аналого-цифровые преобразователи для информационно-измерительных систем. М.: Изд-во стандартов, 1989. - 317 с.
29. Гитис Э.И., Пискулов Е.А. Аналого-цифровые преобразователи. -М.: Энергоиздат, 1981. 360 с.
30. Голд Б., Рейден И. Цифровая обработка сигналов. — М.: Мир, 1973. -367 с.
31. Головкин Б.А. Графовые модели программ с вероятностными параметрами // Вопросы радиоэлектроники. Серия ЭВТ. 1976. — Вып. 6. - С. 3 - 26.
32. Гольберг JI.M. Цифровая обработка сигналов. М.: Радио и связь, 1990.-325 с.
33. Горелик A.JL, Бутко Г.И., Белоусов Ю.А. Бортовые вычислительные машины. М.: Машиностроение, 1975. - 204 с.
34. Грановский В.А., Сирая Т.Н. Методы обработки экспериментальных данных при измерениях. JL: Энергоатомиздат, 1990. - 288 с.
35. Даджион Д., Мерсеро Р. Цифровая обработка многомерных сигналов. М.: Мир, 1988. - 488 с.
36. Дмитриев В.И. Прикладная теория информации. М.: Высшая школа, 1989.-320 с.
37. Евневич ЕЛ. Статистический метод синтеза смешанного алгоритма, оптимального по устойчивости // Математические методы построения и анализа алгоритмов. JL: Наука, JI.O, 1990. - С. 49-54.
38. Евреинов Э.В. Однородные вычислительные системы, структуры и среды. -М.: Радио и связь, 1981. 208 с.
39. Евстигнеев В.А. Применение теории графов в программировании. — М.: Наука, 1985.-352 с.
40. Ершов А.П. Введение в теоретическое программирование (беседы о методе). М.: Наука, 1977. - 288 с.
41. Журавлев Г.Е. Модель работы оператора в режиме дизъюнктивного реагирования // Проблемы инженерной психологии. Вып. III. М.: Изд-во АН СССР, 1968.-С. 70-79.
42. Журбенко И.Г., Кожевникова И.А. Стохастическое моделирование процессов. М.: МГУ, 1990. - 146 с.
43. Загляднов И.Ю., Касаткин В.Н. Построение изображений на экране персональной ЭВМ. Киев: Тэхника, 1990. - 116 с.
44. Ивашников А.Д. Моделирование микропроцессорных систем. М.: Энергоатомиздат, 1990.- 141 с.
45. Игнатов В.А. Теория информации и передачи сигналов. М.: Советское радио, 1979. - 280 с.
46. Игнатьев В.М., Ларкин Е.В. Анализ производительности ЭВМ. -Тула: ТулГТУ, 1994. 104 с.
47. Каппелини В, Константинидис А. Дж., Эмилиани П. Цифровые фильтры и их применение М.: Энергоатомиздат, 1983 - 360 с.
48. Касьянов В.И. Оптимизирующие преобразования программ. М.: Наука, 1988.-334 с.
49. Катыс Г.П. Обработка визуальной информации М.: Машиностроение, 1990.-320 с.
50. Коваленко И.Н., Москатов Г.К., Барзилович Е.Ю. Полумарковские процессы в задачах проектирования систем управления летательными аппаратами. — М.: Машиностроение, 1973. 176 с.
51. Коваленко И.Н., Кузнецов А.Ю., Шуренков В.М. Случайные процессы: Справочник. Киев: Наукова думка, 1983. - 388 с.
52. Колесник В.Д., Полтырев Г.Ш. Введение в теорию информации (кодирование источников). Л.: ЛГУ, 1980. - 164 с.
53. Колесник В.Д., Полтырев Г.Ш. Курс теории информации. М.: Наука, 1982.-416 с.
54. Кондратенко Г.С. Прикладные модели управления случайными процессами. М.: Машиностроение, 1993. - 224 с.
55. Корнеев В.В. Архитектура вычислительных систем с программируемой структурой. Новосибирск: Наука, 1985. - 166 с.
56. Королюк B.C., Турбин А.Ф. Полумарковскис процессы и их применения. Киев: Наукова думка, 1976. - 184 с.
57. Кофман М.М., Парамонов П.П., Сабо Ю.И. Методология проектирования перспективных авиационных комплексов бортового оборудования // «Авиакосмическое приборостроение». № 5. - 2003. - С. 2 - 8.
58. Котов В.Е., Сабельфельд В.К. Теория схем программ. М.: Наука, 1991.-247 с.
59. Кочегаров В.А., Фролов Г.А. Проектирование систем распределения информации: Марковские и немарковские модели. — М.: Радио и связь, 1991.-215с.
60. Краус М., Вошни Э. Измерительные информационные системы. — М.: Мир, 1975.-312 с.
61. Кузнецов В.П. Интервальные статистические модели. М.: Радио и связь, 1991.-347 с.
62. Кузьмин И.В., Кедрус В.А. Основы теории информации и кодирования. Киев: Вища школа, 1986. - 360 с.
63. Куликовский Л.Ф., Мотов В.В. Теоретические основы информационных процессов. М.: Высшая школа, 1987. - 248 с.
64. Лазарев И.А. Композиционное проектирование сложных агрегатив-ных систем. М.: Радио и связь, 1986. - 312 с.
65. Ларкин Е.В. Временные характеристики параллельно выполняемых операторов // Алгоритмы и структуры систем обработки информации. Тула: ТулПИ, 1989.-С. 20-26.
66. Ларкин Е.В. К оценке временных характеристик алгоритмов диалога пользователя и ЭВМ в системах коллективного пользования//Алгоритмы и структуры систем обработки информации. Тула: ТулПИ, 1988. - С. 33 - 40.
67. Ларкин Е.В. Моделирование параллельных систем одного клас-са//Известия ТулГУ. Сер.: Математика. Механика. Информатика. Т. 6. Вып. 3. Информатика. Тула: ТулГУ, 2000. - С. 92 - 97.
68. Леонтьев А.Н., Кринчик Е.П. Переработка информации человеком в ситуации выбора // Инженерная психология. М.: МГУ, 1964. - с. 295 - 325.
69. Литвак И.И., Ломов Б.Ф., Соловейчик И.Е. Основы построения аппаратуры отображения в автоматизированных системах. М.: Советское радио, 1975.-353 с.
70. Ляшенко Н.И., Евневич Е.Л. Статистические задачи выбора и синтеза оптимальных алгоритмов // Записки научного семинара ЛОМИ. Т. 166. Л: ЛОМИ, 1988.-С. 72-90.
71. Мамаев В.Я., Парамонов П.П., Есин Ю.Ф. Интеллектуальные датчики в автоматизированных обучающих системах //«Мир авионики». • № 2. ■ 2001.-С. 41 -43.
72. Мазалов В.В., Винниченко Е.В. Моменты остановки и управляемые случайные блуждания. Новосибирск: Наука, СО. - 1992. - 104 с.
73. Майника Э. Алгоритмы оптимизации на сетях и графах. — М.: Мир, 1981.-323 с.
74. Мамиконов А.Г., Кульба В.В. Синтез оптимальных систем обработки данных. М.: Наука, 1986. - 280 с.
75. Марков А.А. Теория алгоритмов // Труды математического института им. В.А. Стеклова АН СССР. 1954. - 375 с.
76. Моделирование и экспериментальное исследование информационного обмена в мультиплексных каналах на основе проводной и волоконно-оптической линии передачи информации. / Парамонов П.П. и др. СПб.: ГИТМО, 2000.-15 с.
77. Методология проектирования перспективных комплексов бортового оборудования гражданской авиации // Парамонов П.П. и др. X Санкт-Петербургская международная конференция по интегрированным навигационным системам. - СПб.: 2003. - С. 104 - 106.
78. Моделирование систем сбора и обработки данных / В.И. Мановиц-кий и др. М.: Наука, 1983. - 124 с.
79. Моисеева Н.К. Выбор технических решений при создании новых изделий.-М.: Машиностроение, 1980.- 181 с.
80. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высшая школа, 1983.-272 с.
81. Оппенгейм А.В., Шафер Р.В. Цифровая обработка сигналов. — М.: Связь, 1979.-416 с.
82. Очин Е.Ф. Вычислительные системы обработки изображений. Л.: Энергоатомиздат, 1989. - 132 с.
83. Павлидис Т. Алгоритмы машинной графики и обработки изображений. М.: Радио и связь, 1986. - 400 с.
84. Парамонов П.П., Видин Б.В., Шек-Иовсепянц Р.А. Аппаратные средства вычислительной техники современных и перспективных бортовых информационно-управляющих комплексов. // 30-я научно-техническая конференция ГИТМО. С-Пб: ГИТМО, 1999. - С. 103.
85. Парамонов П.П., Белов И.А., Сизиков B.C. Применение метода регуляции для коррекции искаженных изображений в измерительных системах // «Датчики и системы». № 8. - 2001. - С. 20 - 23.
86. Парамонов П.П., Есин Ю.Ф. Обучающие аппаратно-программные комплексы новых поколений. // 30-я научно-техническая конференция ГИТМО. С-Пб: ГИТМО, 1999. - С. 103.
87. Парамонов П.П., Есин Ю.Ф., Мамаев В.Я. Новые информационные технологии в навигационных стендах и тренажерах // Научно-техническая конференция Центра подготовки космонавтов. М.: РГ НИИ ЦПК, 1996. - С. 14 -15.
88. Парамонов П.П., Есин Ю.Ф., Фильчаков В.В. Система автоматизированного проектирования для разработки программного обеспечения тренажеров (ПТ-CASE) // Научно-техническая конференция Центра подготовки космонавтов. М.: РГ НИИ ЦПК, 1996. - С. 15 - 16.
89. Парамонов П.П., Ильченко Ю.А., Жаринов И.О. Теория и практика статистического анализа картографических изображений в системах навигации пилотируемых летательных аппаратов // «Датчики и системы». № 8.- 2001. -С. 15-19.
90. Парамонов П.П. К вопросу оценки объемов информации, вводимой в бортовую цифровую вычислительную машину // Гироскопия и навигация. -С-Пб: ЦНИИ Электроприбор, 2002. № 4 (39). - С. 71 - 72.
91. Парамонов П.П. Об одном случае ввода в ЭВМ сигналов, квантованных по уровню // «Известия вузов. Приборострение». № 5. - 2002. - С. 14 -21.
92. Парамонов П.П. Организация разработки и производства аппаратуры для авиационных бортовых вычислительных комплексов автоматизации управления JIA // Датчики и системы. -№ 11.- 2002. С. 64 - 67.
93. Парамонов П.П. Основы проектирования авионики. Тула: ТулГУ, 2003. - 164 с.
94. Парамонов П.П. Проектирование систем авионики с использованием информационных моделей // Известия Тульского государственного университета. Сер. Проблемы специального машиностроения. Вып. 5. Ч. 2. Тула: ТулГУ, 2002.-С. 14-18.
95. Парамонов П.П., Рахматов М.Т., Юраков B.C. Генератор периодических сигналов специальной формы // Научное приборостроение. РАН. - Т. 6 -№2. - 1996. -С.257 -259.
96. Парамонов П.П., Сабо Ю.И., Суслов В.Д. Интеграция основная тенденция в развитии авионики И Приборы и приборные системы. Материалы Всероссийской научно-технической конференции. - Тула: ТулГУ, 2001. - С. 41 -43.
97. Парамонов П.П., Сабо Ю.И., Копорский Н.С. Некоторые аспекты интеграции бортового оборудования эргатических систем летательных аппаратов И 30-я научно-техническая конференция ГИТМО. С-Пб: ГИТМО, 1999. -С. 103.
98. Парамонов П.П., Смирнов А.В., Таранов Г.В. Входной экспресс-контроль интегральных микросхем // Физические методы диагностирования в задачах управления качеством и надежностью. Киев: ИПУ АН УССР, 1985. С. 34 - 36.
99. Подловченко Р.И. Недетерминированные схемы алгоритмов // ДАН СССР. 1973. - № 4. - С. 97 - 104.
100. Парамонов П.П., Шалобаев Е.В. Механизмы вывода бортовых оперативно-советующих систем- Санкт-Петербург: ГИТМО (ТУ), 2002. 27 с.
101. Парамонов П.П. Способ ввода в ЭВМ квантованных по уровню сигналов-Санкт-Петербург: ГИТМО (ТУ), 2002. 14 с.
102. Парамонов П.П. Исследование межсистемного информационного обмена цифровым последовательным кодом с использованием аппаратно-программных средств имитации и контроля. СПб.: ГИТМО (ТУ). - 2001. - 16 с.
103. Пронин Е.Г., Могуева О.В. Проектирование бортовых систем обмена информации. М.: Радио и связь, 1989. - 240 с.
104. Птачек М. Цифровое телевидение. Теория и техника. М.: Радио и связь, 1990.-528 с.
105. Рабинер J1. Гоулд Б. Теория и применение цифровой обработки сигналов. М.: Мир, 1978. - 841 с.
106. Розанов Ю.А. Стационарные случайные процессы. М.: Наука, 1990.-271 с.
107. Рылевский Г.И. Анализ и оптимизация систем управления пилотируемых летательных аппаратов. М.: Машиностроение, 1981. - 200 с.
108. Сигнаевский В.А., Коган Я.А. Методы оценки быстродействия вычислительных систем. М.: Наука, 1991. - 256 с.
109. Сильвестров Д.С. Полумарковские процессы с дискретным множеством состояний. М.: Сов. радио, 1980. - 272 с.
110. Скорик В.И., Степанов А.Е., Хорошко В.А. Мультипроцессорные системы. Киев: Техшка, 1989. - 189 с.
111. Современное состояние и перспективы развития автоматизации процесса обучения (на примере навигационного тренажера штурмана IV поколения) // Аэрокосмические приборные технологии: Международный симпозиум. СПб.: ГУАП, 2002. - С. 48.
112. Справочник по устройствам цифровой обработки информации // Н.А. Виноградов, В.Н. Яковлев, В.В. Воскресенский и др. К.: Технжа, 1988. — 415 с.
113. Трауб Д.Ф., Васильковский Г., Вожьняковский X. Информация, неопределенность, сложность. — М.: Мир, 1988. 183 с.
114. Феррари Д. Оценка производительности вычислительных систем. — М.: Мир, 1981.-576 с.
115. Хоар Ч. Взаимодействующие последовательные процессы. — М.: Мир, 1989.-264 с.
116. Хромов Л.И., Цыцулин А.К., Куликов А.Н. Видеоинформатика. Передача и компьютерная обработка видеоинформации.- М.: Машиностроение, 1990.-320 с.
117. Цвиркун А.Д. Основы синтеза структуры сложных систем. — М.: Наука, 1982.-200 с.
118. Цифровая вычислительная техника // Ред. Э.В. Евреинова. — М.: Радио и связь, 1991.- 463 с.
119. Шевченко A.M., Мамедли Э.М., Струков Ю.П. Бортовые вычислительные комплексы// Итоги науки и техники. Авиастроение. Т. 6. - М.: ВИНИТИ АН СССР, 1978. - 239 с.
120. Ширяев А.Н. Вероятность. М.: Наука, 1989. - 576 с.
121. Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. - С. 75 - 127.
122. Ярлыков М.С., Миронов М.А. Марковская теория оценивания случайных процессов. М.: Радио и связь, 1993. - 460 с.
123. Шек-Иовсепянц Р.А., Парамонов П.П., Сабо Ю.И. Авионика на рубеже тысячелетий // «Мир авионики». № 1 - 2. - 2000. - С. 45 - 49.
124. Agerwala Т. A complete model for representing the coordination of asynchronous processes // Hopkins Computer Researche: Report № 32, Computer Science Program. Baltimore, Mariland: John Hopkins University, 1974. - P. 58.
125. Agrawal D.P., Mahgoub I.O. Analysis of cluster-based multiprocessor systems // Information Sciences. 1985. - V. 43. - Pp. 85 - 105.
126. Athreya K.B., McDonald D., Ney P.E. Limit theorems for semi-Marcov processes and renewal theory for Marcov chains // Annual Probabilities. 1978. — № 5.-Pp. 788-797.
127. Borodin A.B. Computational complexity: theory and practice // Currents in the theory of computing. New York: Prentice Hall, Englewood Cliffs, 1973. — Pp. 35 - 89.
128. Boyse J.W., Warn D.R. A strightforward model for computer performance prediction // Computer Survey. 1975. - № 7. - Pp. 73 - 93.
129. Chandy K.M., Mistra J. Asynchronous distributed simulation via a sequence of parallel computations // Communications of the ACM. 1981. - № 4. — Pp. 198-205.
130. Coffman E.G., Muntz R.R., Trotter H. Waiting time distributions for processor sharing systems // Journal of ACM. 1970. - V. 17, № 1. - Pp. 123 - 130.
131. Cook S.A. A hierarchy for non-deterministic time complexity // Journal of Computer and Systems Science. 1973. - № 4. — Pp. 343 - 353.
132. Di R.M. The command and telemetry systems San Marco D/L spacecraft // Proc. IEEE Nat. Aerospace and Electron. Conf. (NAECON). N.Y., 1983. - Pp. 533-538.
133. Filman R.E., Friedman D.P. Coordinated Computing, Tools and techniques for Distributed Software. N.Y.: McGraw-Hill, 1984, - 370 p.
134. Floid R.W. Non-deterministic algorithms // Journal of ACM. 1967. -№ 4. - Pp. 636 - 644.
135. Foo S., Musgrave G. Comparison of graph models for parallel computation and their extension // Proceedings of the 1975 International Symposium on
136. Computer Hardware Description Languages and Their Applications. New York: IEEE, 1975. - Pp.16 - 22.
137. Gil J., Werman M. Computing 2-D min, median and max filters. // IEEE Trans. Pattern Anal, and Mach. Intel., 15, 1993. - P. 117 - 126.
138. Gilbert P., Chandler W. Interference between communicating processes //Communications of the ACM. 1972. -№ 3. - Pp. 171 - 176.
139. Hecht J. Phisical limits of computing // Computer in physics. 1989. -№5.-Pp. 34-40.
140. Heidelberger P., Lavenberg S.S. Computer performance evaluation methodology // IEEE Transactions on Computers. 1984. - V. 33. № 12. - Pp. 1195 -1220.
141. Holliday M.A., Vernon M.K. Exact performance estimates for multiprocessor memory and bus interference // IEEE Transactions on Computers. 1987. -V. 31, № 1. - Pp. 76 - 85.
142. Knessl C., Matkowsky B.J., Schuss Z., Tier C. Asymptotic expansion for a closed multiple access system // SI AM Journal of computer. 1987. - V. 16, № 2. -Pp. 278-398.
143. Lewis P.A.V., Yue P.C. Statistical analysis of series of events in computer systems // Statistical Computer Performance evaluation. — N. Y.: Academic Press, 1972.-P. 265-280.
144. Merlin P. A methodology for the design and implementation of communication protocols // IEEE Transactions on Communications. 1976. - № 6. — Pp. 614-621.
145. Mitra D. Probabilistic models and asymptotic results for concurrent processing with exclusive and non-exclusive locks // SIAM Journal of Computers. -1985.-V. 14. №4.-Pp. 1030- 1051.
146. Mitra D. Weinberger P.J. Probabilistic models of database locking: Solutions, computational algorithms and asymptotics // Journal of ACM. 1984. - V. 31. №4.-Pp. 855-878.
147. Morrison J.A. Asymptotic analysis of the waiting-time distribution for a large closed processor-sharing system // SIAM Journal of Applied Mathematics. -1986.-V. 46, № 1.-Pp.140 170.
148. 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.
149. Negrini R.M., Sami M. Some properties derived from structural analysis of program graph models // IEEE Transactions on Software Engeneering. 1983. -Vol. SE-9(2). - Pp. 172- 178.
150. Pase D.M., Larrabee A.R. Intel iPSC concurrent computer // Programming Parallel Processors. N. Y.: Addison-Wesley, 1988. - Pp. 93 - 105.
151. Savitch W.J. Relationship between non-deterministic and deterministic tape complexities // Journal of Computer and System Science. 1970. - № 2. - Pp. 177 - 192.
152. Schlude F. European sensors on the Space Shuttle // Proc. Int. Geosci-ence and Remote Sensors Simp. (IGARSS-81). Wash., 1981. - Vol. 2. - Pp. 898 -906.
153. Schneidewind N.F. Application of program graphs and complexity analysis to software development and testing // IEEE Transactions on reliability. 1979. - Vol. R-28(3). - Pp. 192 - 198.
154. Scott S., Cavin J. Single chip bus interface unit ears MTL-STD-1533B remote terminal bus controller // Proc. IEEE nat. Aerospace and Electron Conf. (NAECON). — N.Y., 1983, 1983. Pp. 468 - 471.
155. Seitz C.L. Multicomputers: Developments in Concurrency and Communication. N. Y.: Addison-Wesley, 1990. - Pp. 131 - 200.
156. Seitz C.L., Matisoo J. Engeneering limitations on computer performance // Physics Today. 1984. - № 5. - Pp. 38 - 45.
157. Shannon C.E. A mathematical theory of communications // Bell Syst. Tech. J. 1948. - № 27 (Jul.). Pp. 398 - 403.
158. Silveron S. Image processing // Comput. Des. 1995. - № 10. - Pp. 137
159. Singh D.B. Faster implementation of window based filters for machine vision // Proc. Conf. Appl. Phis. Sci. № 7. Bombay, 1992. - Pp. 1 - 7.
160. Software testing and evaluation // R.A. DeMillo, W.M. Mc-Cracken, R.J. Martin, J.F. Passafiume. Menlo Park, California: The Bendjamin/Cummings Publishing Company, Inc., 1987. - 537 p.
161. Traub J.F., Wozniakowski H. A general theory of optimal algorithms. -N. Y.: Academic press. 1980. - 258 p.
162. Tsutsui S., Fujimoto J. Deadlock Prevention in Process Control Computer System // Computer Journal. 1987. - Vol. 30, №1. - Pp. 20 - 26.
163. Welford A.T. On the human demands of automation, mental work, conceptual model, satisfaction and training // Proc. of the XIV intern. Congr. of applied psycholg. Copenhagen, 1961. - V.5.
164. Wilent C.E. Directions in avionic data distribution systems // Proc. of 5th IEAA/AIAA Digital avionics System conf. Seattle, 1983. - Pp. 12.6.1 - 12.6.6.
165. Wise A. Decision theory and design methodology // Design methods and theories.-1981.-Vol. 15, №3.- Pp. 91 104.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.