ISSN 2305-5626. Вестник МГТУ им. Н.Э. Баумана: электронное издание. 2013
2
Формализованные знания хранятся в базе знаний, которая фор-
мируется в виде списка в динамической памяти, звено соответствует
описанию элементарного модуля знаний. В качестве модели модуля
используется структура, описывающая интерфейс, содержащий
входные и выходные переменные, их свойства, условия применения
и перечень действий модуля. Этой модели соответствует правило
продукции.
В основу системы логического вывода положен механизм алго-
ритмов планирования вычислений на семантической модели пред-
метной области, который можно рассматривать как решение задачи
поиска пути на графе И-ИЛИ, ведущего из начального состояния в
конечное (целевое состояние). Построение дерева решения задачи
для заданной цели адекватно решению задачи построения плана.
При использовании этой стратегии в процессе поиска формиру-
ются все альтернативные деревья решения. Для формирования дере-
вьев решения, полученных в процессе поиска, разработана структура
специального вида, позволяющая выделить из множества деревьев
поиска оптимальное дерево решения.
Разработаны и реализованы алгоритмы автоматизации процесса
моделирования потоков в сетях, определения наименьшей пропускной
способности сетей, моделирования дерева разрезов сети. Решение ба-
зируется на методе Форда — Фалкерсона, основное содержание кото-
рого заключается в алгоритме поиска дополняющих путей.
Этот метод позволяет определить максимальный поток, величина
которого зависит от минимальной пропускной способности разреза,
отделяющего сток от истока. Решение задачи обеспечивает итераци-
онный процесс определения максимального потока. На текущем шаге
алгоритма формируется дополняющий путь, который используется
для увеличения потока.
Итерационный процесс продолжается до тех пор, пока существует
дополняющий путь, по которому можно увеличить величину потока.
Максимальный поток зависит от минимальной пропускной способно-
сти разреза, отделяющего сток от истока. Решение данной задачи поз-
воляет определить ребра разреза, для чего разработан модифициро-
ванный алгоритм поиска, использующий стратегию в ширину в
условиях ограничения на выбор потомков.
Описание структуры графов основано на представлении в виде
динамического списка: звено списка содержит описание ребра графа.
Для минимального описания ребра сети используются следующие
основные параметры:
i
,
j
— номера узлов, инцидентных ребру;
r
—
стоимость ребра.
Файл описания можно создать в двух режимах — текстовом и
графическом. Графический интерфейс позволяет отобразить граф се-
ти и ветви минимального разреза. Графическое описание создают в
окне графического редактора: выбирают опцию «Создать графиче-
ское описание сети», после чего открывается окно графического ре-
1 3,4,5,6,7,8,9