Алгоритмы голосования для мультиверсионных информационно-управляющих систем

• Автор: Морозов, Владимир Андреевич
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2007
• Место защиты: Красноярск
• Количество страниц: 134 с. : ил.

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

1.1. Программный компонент систем управления и обработки информации

1.2. Надежность функционирования программного обеспечения.

1.2.1. Надежностная характеристика программного модуля.

1.2.2. Обеспечение надежности программ с помощью введения избыточности

1.3. Мультиверсионное программирование как методология проектирования отказоустойчивого программного обеспечения систем

управления и обработки информации.

Выводы.

2. Алгоритмы голосования в мультиверсионном программном обеспечении.

2.1. Алгоритмы голосования, основанные на сравнении выходных
данных.
2.1.1. Неформатизованные алгоритмы голосования.
2.1.2. Формализованные алгоритмы голосования.
2.2. Алгоритмы с принятием решения вне зависимости от схожести выходных данных
2.2.1. Максимально вероятное голосование МЬУ.
2.2.2. Усредннное голосование .
Выводы.
3. Специфика применения алгоритмов голосования в мультиверсионном программном обеспечении информационноуправляющих систем
3.1. Неоднозначность принятия решения в алгоритмах голосования согласованным большинством.
3.2. Склеивание подмножеств выходных данных.
3.3. Оценка результатов голосования.
3.4. Несовместность разбиений в алгоритмах с минимизацией.
3.5. Выбор значения Хсечения в нечтких алгоритмах.
3.6. Комплексное применение алгоритмов голосования в
мультиверсионном программном обеспечении
Выводы.
4. Программная реализация результатов работы
4.1. Программа ЫУХ
4.1.1. Особенности программы
4.1.2. Взаимодействие с исполняемыми версиями.
4.1.3. Общая схема работы программы.
4.1.4. Обобщенная схема работы версии
4.1.5. Требования к разработке версий
4.2. Программа ПУХт.
Заключение
Список использованных источников


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