1. Аналитический раздел. 4




Название1. Аналитический раздел. 4
страница7/15
Дата публикации22.06.2013
Размер0.94 Mb.
ТипДокументы
lit-yaz.ru > Математика > Документы
1   2   3   4   5   6   7   8   9   10   ...   15
^

2.Конструкторский раздел.




2.1Общая структура программного продукта.



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

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

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

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

На рисунке 2.1 представлена общая структура программы.



Рисунок 2.1 Общая структура программы.
Программный комплекс состоит из следующих основных модулей:

  • FSM.Core – содержит все примитивы, связанные с предметной областью теории конечных автоматов, включая определения вероятностного автомата и вероятностной сети автомата;

  • FSM.DecomposeAlgorithm – содержит реализацию алгоритма декомпозиции вероятностного автомата;

  • IDecomposeAlg – интерфейс для алгоритма декомпозиции вероятностного автомата, необходим для возможности дальнейшего расширения функционала разрабатываемой библиотеки за счёт увеличения методов декомпозиции;

  • FSMRepresenter – данный модуль позволяет формировать различное представление данных из предметной области, например в виде таблиц или диаграмм;

  • Пользоватеский интерфейс;

  • DLib – утилитарная библиотека, используемая всеми модулями системы; содержит вспомогательные классы общего назначения;

Рассмотрим подробнее модель предметной области.

^

2.2Библиотека для работы с конечными автоматами.



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

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

На рисунке 2.2 представлена принципиальная схема разрабатываемой библиотеки.



Рисунок 2.2 Диаграмма основных классов программной библиотеки, предназначенной для работы с вероятностными конечными автоматами.
Основные сущности, используемые в библиотеке:

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

StructAtom – обёртка для простых типов входных и выходных символов автомата (целых чисел, строк и т.п.).

CompositeStructAtom – обёртка для составных типов входных и выходных символов автомата.

IFSM – интерфейс автоматной сущности. Подразумевает наличие имени, входного и выходного алфавитов, множества состояний, способности обрабатывать входные символы. Для определения сущностей данного типа необходимо указать шаблонные типы входных и выходных типов.

FiniteStateMachine – вероятностный конечный автомат, реализует интерфейс IFSM.

^ FSMNet – сеть вероятностных автоматов (подавтоматов). Реализует интерфейс IFSM. Содержит коллекцию подавтоматов.

ComponentFSM – подавтомат сети вероятностных автоматов.

FSMState – сущность состояния автомата, содержит информацию обо всех переходах из данного состояния.

FSMAction – сущность действия, совершаемого при срабатывании перехода.

Transition – сущность перехода из заданного состояния при воздействии определённого входного символа. Содержит коллекцию возможных исходов (TransitionRes).

TransitionRes – сущность исхода перехода (Transition). Содержит результирующее состояние, выходной символ и вероятность данного исхода.
1   2   3   4   5   6   7   8   9   10   ...   15

Похожие:

1. Аналитический раздел. 4 iconС. М. Горбенко (раздел 1), С. Ю. Кацко (раздел 12-14), С. А. Вдовин (раздел 5-7)
Данный материал будет полезен для самостоятельной подготовки студентов к лабораторным работам

1. Аналитический раздел. 4 iconКурс «управление проектами» Авторы: Сооляттэ Андрей Юрьевич (Раздел...
Тем не менее, некоторые приведенные в тексте примеры и рассуждения несут неизбежный отпечаток «традиций», сложившихся в какой-либо...

1. Аналитический раздел. 4 iconАналитический отчет раздел «социальная сфера» Руководитель фцб «Развитие...
Руководитель фцб «Развитие человеческого потенциала» первый заместитель главы муниципального района Шитова В. Л

1. Аналитический раздел. 4 iconАналитический отчет раздел «культура и искусство» Руководитель фцб...
Руководитель фцб «Развитие человеческого потенциала» первый заместитель главы муниципального района Шитова В. Л

1. Аналитический раздел. 4 iconКонтрольная работа по бух. Учету На тему основные средства. Синтетический...
На тему основные средства. Синтетический и аналитический учет основных средств

1. Аналитический раздел. 4 iconУчебное пособие по курсу: “Общая и возрастная психофизиология” раздел...
Методы изучения и диагностики эмоций раздел III. Психофизиология познавательной сферы

1. Аналитический раздел. 4 iconГиа) в новой форме Единого государственного экзамена (егэ). Обязательными
Зачетная сессия III четверти проводится в соответствии с календарем зачетных сессий (раздел V информационного письма №2 от 10. 09....

1. Аналитический раздел. 4 iconСодержание программы раздел I пояснительная записка (цели и задачи...
Учебно-методическое и материально-техническое обеспечение образовательного процесса

1. Аналитический раздел. 4 iconТ з «Программное обеспечение для образовательных учреждений» Тарификация
Выполнение приказа №1 – это процедура формирования нового модуля Текущая тарификация и внесение изменений в модуль Кадры – в раздел...

1. Аналитический раздел. 4 iconАналитический отчёт заместителя директора по воспитательной работе...
Аналитический отчёт заместителя директора по воспитательной работе по итогам организации процесса воспитания в моу сош №15



Образовательный материал



При копировании материала укажите ссылку © 2013
контакты
lit-yaz.ru
главная страница