Смекни!
smekni.com

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