1. Наука
  2. Видання
  3. Системи озброєння і військова техніка
  4. 1(37)'2014
  5. Метод контроля корректности графа сетевой модели, описывающей порядок и правила использования ресурсов

Метод контроля корректности графа сетевой модели, описывающей порядок и правила использования ресурсов

А.И. Тимочко
УДК 621.396
Мова статті: російська
Анотації на мовах:

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