Представлен метод контроля корректности графа сетевой модели, описывающей порядок и основные правила использования ресурсов. Контроль корректности графа сетевой модели заключается в анализе его на непротиворечивость и полноту описания. Анализ полноты сетевой модели предполагает проверку возможности достижения целевой вершины при любом логически истинном наборе начальных условий. При этом определяются неопределенные по условиям достижения вершины – изолированные, тупиковые и висячие. Анализ непротиворечивости графа сетевой модели заключается в нахождении контуров графа. Для этого выделяются граничные вершины и составляется логическая цепочка образования контура.
Ключові слова: ресурс, контроль корректности, сетевая модель, непротиворечивость графа сетевой модели, полнота графа сетевой модели, целевая установка
Бібліографічний опис для цитування:
Тимочко А.И.
Метод контроля корректности графа сетевой модели, описывающей порядок и правила использования ресурсов / А.И. Тимочко
// Системи озброєння і військова техніка. – 2014. – № 1(37). – С. 230-232.
ENG
