Защита информации

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

5. кнопка «Далее»,  предназначенная для перехода  к следующему окну мастера.

 

При нажатии на кнопку «Далее» осуществляется переход  ко второму окну мастера. Второе окно мастера предназначено для отображения  хода расчётов, а также для отображения  результатов расчётов.

Рисунок 22 – Отображение  хода расчётов

Окно содержит следующие элементы управления:

1. прогресс-индикатор,  отображающий ход расчётов;

2. Текстовое поле, содержащее информацию о проценте  выполнения расчётов и о приблизительном  оставшемся времени расчёта;

3. Кнопка «Назад»  - путём нажатия на данную кнопку, пользователь может прервать  вычисления и вернуться к вводу  данных.

 

После завершения расчётов в окне отображаются следующие  элементы управления:

Рисунок 23 – Результаты расчёта

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

2. кнопка «Отчёт»,  при нажатии на эту кнопку  отображается окно с полной  информацией о результатах расчётов.

1.1.3.2. Результаты  выполнения расчётов

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

Рисунок 24 – Окно отчёта

Окно отчёта (см. рисунок выше) содержит следующие  элементы управления: главное меню (1), инструментальную панель (2), область  просмотра (3) и строку состояния (4).

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

 
 
 

Таблица 11

Пункт главного меню	Команда	Изображение	Описание
Файл	Сохранить как…		Позволяет пользователю сохранить  отчёт в файле. При выборе данной команды выдаётся окно, в котором  пользователь должен указать имя  файла отчёта и выбрать формат, в котором будет сохранён отчёт (текст, гипертекст).
	Новое окно		Открывает ещё одно окно отчёта.
	Параметры страницы…		При выборе данной команды  выдаётся окно, в котором пользователь может настроить параметры страницы для печати (выбрать формат бумаги, установить поля и пр.).
	Просмотр…		Предварительный просмотр документа  перед печатью. В появившемся  окне пользователь может увидеть, как  будет выглядеть распечатанный  отчёт.
	Печать…		При выборе данной команды  выдаётся диалоговое окно, в котором  пользователь может изменить настройки  печати (выбрать и настроить принтер), а затем начать или отменить печать.
	Выход		Закрытие окна отчёта.
Правка	Копировать		Копирует выделенный фрагмент в буфер обмена.
Вид	Инструментальная панель		Включает или выключает  режим отображения инструментальной панели.
	Строка состояния		Включает или выключает  режим отображения строки состояния.
Справка	О программе…		При выборе данной команды  выдаётся с краткой информацией  о программе, её версии и авторских  правах.

 

В случае успешного  выполнения расчётов, в отчёт выдаётся следующая информация:

1. Общая длительность  вычислений, в мс

2. Вычисленное  значение задержки

3. Обобщённая  схема класса обратных автоматов.

4. Вектор значений  функции γ класса обратных  автоматов. Вектор содержит символы  «0», «1» и «?» (не полностью  определённая функция).

5. Исходные данные

§  схема исходного НФВП;

§  функция выхода НФВП;

§  начальное значение задержки.

 

Если вычислить  задержку не удалось, то в отчёт выводится  пара векторов , не прошедшая тест Месси (2.5.2.2).

1.1.3.3. Окно  моделирования работы НФВП

Программа позволяет  осуществлять моделирование работы НФВП. Доступ к диалоговому окну моделирования работы НФВП осуществляется через системное меню любого из окон верхнего уровня программы.

Рисунок 25 - Окно моделирования работы НФВП

Диалоговое окно моделирования работы НФВП содержит четыре редактируемых поля (пользователь может ввести них только строки, состоящие из символов «0» и «1», ввод прочих символов блокируется):

1. редактируемое  поле, предназначенное для ввода  пользователем вектора значений  выходной функции НФВП;

2. редактируемое  поле, предназначенное для ввода  пользователем начального состояния  регистра НФВП;

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

4. поле, содержащее  выходную последовательность НФВП, данное поля заново заполняется  программой при каждом изменении  любого из всех прочих полей,  причём пользователь имеет возможность  скопировать содержимое данного  поля в буфер обмена Windows; если  содержимое прочих полей противоречиво  (например, вектор значений выходной  функции НФВП имеет длину не  равную степени двойки или  начальное состояние имеет количество  разрядов не равное количеству  аргументов выходной функции  НФВП минус один), данное поле  содержит сообщение об ошибке.

 

1.1.3.4. Окно  моделирования работы обратного  автомата

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

Рисунок 26 – Окно моделирования работы обратного  автомата

Как и окно моделирования  НФВП, данное диалоговое окно содержит четыре редактируемых поля:

1. редактируемое  поле, предназначенное для ввода  функции γ обратного автомата, так как эта функция, вообще  говоря, определена не полностью  (программа строит класс обратных  автоматов), пользователь может вводить  сюда строки, состоящие из символов  «1», «0» и «?».

2. данное редактируемое  поле содержит начальное состояние  НФВП, соответствующего данному  обратному автомату, допустимы символы  «0» и «1»;

3. редактируемое  поле, содержащее выходную последовательность  НФВП, для обратного автомата  эта последовательность является  входной; тоже допустимы только  символы «0» и «1»;

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