Множество действий предполагает активное воздействие на внешнюю среду, сопровождаемое расходом запаса ресурсов системы. Представлена соответствующая модель ресурсов, включающая порядок и основные правила их использования, основные гипотезы, требования по временным ограничениям и методику контроля корректности правил использования ресурсов. Порядок использования ресурса конкретного типа представлен графом состояний. Контроль корректности правил использования ресурсов, представленных в виде системы нелогических аксиом, заключается в анализе их на непротиворечивость и полноту описания.

  Повний текст PDF - 482.132 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"