
Рис. 1. Основное окно интерфейса пользователя
ПК АСМПосле включения ПК АСМ на экране монитора появляется окно с общим наименованием "Программный комплекс автоматизированного структурно-логического моделирования". Окно предназначено для графического ввода новой или вызова и корректировки ранее разработанной СФЦ системы. После ввода графа СФЦ, экран приобретает вид, аналогичный рис. 1.
Работа пользователя с окном ввода СФЦ обеспечивается главным меню и быстрыми кнопками панели инструментов, расположенными в верхней части основного окна интерфейса пользователя (см. рис. 1).
Строка главного меню
Схема:
Новая – открывается новое рабочее поле для графического ввода СФЦ;
Открыть – выводится стандартное дилоговое окно открытия ранее подготовленного
файла СФЦ (с расширением .sfc);
Сохранить – выполняется операция сохранения СФЦ, находящейся в рабочем поле
графического ввода (если имя ранее уже было задано);
Сохранить как – выводится стандартное дилоговое окно сохранения СФЦ, находящейся
в рабочем поле графического ввода, под новым именем;
Загрузить картинку – выводится стандартное окно открытия ранее подготовленного
файла фоновой картинки для текущего рабочего поля графического ввода СФЦ;
Выбор/создание рабочей папки – выводится стандартное дилоговое окно выбора или
создания рабочей папки, куда по умолчанию будут размещаться все промежу-точные и результирующие файлы в процессе автоматизированного моделирования
Размер окна ввода СФЦ – выводится специальное диалоговое окно изменения размеров
рабочего поля графического ввода СФЦ;
Выйти – завершение работы ПК АСМ.
Настройка:
Вида вершин СФЦ – выводится специальное диалоговое окно изменения внешнего вида,
размеров и окраски вершин, ребер и общего фона СФЦ;
Размеров окна ввода СФЦ – выводится специальное диалоговое окно изменения размеров
рабочего поля графического ввода СФЦ. Максимальные размеры окна ввода СФЦ могут достигать 1800´2400 пикселей (примерно 6 экранов монитора);
Окно моделирования:
Запуск ПК – включение (после ввода СФЦ и параметров элементов) системы
автоматизированного моделирования и расчетов, которая имеет специальное окно
автоматизированного моделирования и расчетов интерфейса пользователяю.
Справка:
О программе – выводит краткую справку о ПК АСМ.
Руководство оператора – включает справочную систему.
Панель инструментов
Панель инструментов Окна ввода СФЦ содержит 15 быстрых кнопок (см. рис.1). Их основное назначение следующее:
Новая сеть.

Открывает новое рабочее поле для графического ввода
СФЦ;Открыть.

Выводит стандартное дилоговое окно открытия ранее подготовленного графа
СФЦ (файл с расширением
.sfc);
Сохранить.

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

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

– после нажатия этой кнопки стрелку указателя мыши надо устанавливить в нужное место рабочего поля графического ввода
СФЦ и выполнить одиночный клик левой клавишей. В этом месте появится символ новой функциональной вершины разрабатывамого графа
СФЦ. Сразу после этого автоматически включается (активизируется) кнопка "Перемещение вершин", чем обеспечивается возможность перетаскивания вершин в любое место рабочего поля. Для установки в граф следующей вершины необходимо снова нажать кнопку "Функциональная вершина"
;Фиктивная вершина

– эта кнопка работает аналогично кнопке "Функциональная вершина", но в граф устанавливаются фиктивные вершины
СФЦ;Ребро.

– после включения эта кнопка запоминается. Для построения ребра надо левой клавишей сделать один клик на вершине, откуда ребра должны исходть. Затем переместить указатель мыши (за ним будет протягиваться линия-указатель направления) на ту вершину, куда ребро дожно заходить и сделать один клик левой клавишей. Рядом с указателем мыши появится панель с изображениями четырех вариантов ребер (дизъюнктивная прямая, конъюнктивная прямая, дизюнктивная инверсная, конъюнктивная инверсная). Надо выбрать указателем мыши один из этих вариантов и сделать клик левой клавишей. Между двумя выбранными вершинами будет установлено указанное ребро. Далее можно выбрать следующую заходящую вершину и повторить последние действия. Для прекращения связи с выбранной исходящей вершиной надо нажать на клавиатуре клавишу "Esc". Далее можно выбирать новые исходящие вершины и строить из них нужные ребра до тех пор, пока клавиша "Ребро" не будет отжата.
Пояснительный текст.

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

– данная кнопка становится активной, если информация об
СФЦ была считана из ранее подготовленного файла (см. пункт ) и введены рабочие файлы
Gb.dat и
Harel.dat (см. пункты ). Тогда, нажатие этой кнопки эквивалентно включению пункта главного меню: "Окно моделирования.Запуск ПК" (см. раздел "Строка главного меню"), т.е. включается режим автоматизированного моделирования и расчетов.
Просмотр файла СФЦ.

– данная кнопка позволяет вывести на экран кодовую таблицу внутримашинного представления формируемой
СФЦ, которая затем сохраняется в специальном файле, со стандартным именем
Gb.dat. В первой строке данной таблицы указаны основные параметры
СФЦ:
N – общее сисло вершин,
N1 – максимальное число дуг (ребер), заходящих в одну из вершин
СФЦ, H – число функциональных вершин (элементов, исходных событий),
N2 – заданная, максимальная размерность автоматически формируемых логических функций и многочленов расчетных вероятностных функций исследуемой системы,
F – отладочный параметр Комплекса.
Данная таблица и файл Gb.dat не подлежат корректировке. Используется только кнопка "Записать" для выполнения операции сохранения файла Gb.dat подготовренного с помощью графического редактора СФЦ системы. Исключение составляет только параметр N2. Значение этого параметра определяет важную характеристику процесса моделирования (максимальный размер автоматически формируемых математических моделей) число конъюнкций логической ФРС и число одночленов в многочлене ВФ. По умолчанию значение параметра N2 составляет 10000 слагаемых. Однако это значение может быть изменено пользователем (уменьшено или увеличено).
Просмотр файла параметров.

– данная кнопка позволяет вывести на экран кодовую таблицу значений параметров всех элементов (функциональных вершин) разрабатываемой
СФЦ системы. После записи значений параметров элементов в кодовую таблицу, они сохраняются в стандартном файле параметров
Harel.dat :