Методические указания к выполнению лабораторных работ Санкт-Петербург, 2007 г (стр. 2 из 8)
Рис. 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 :