Метод контроля корректности графа сетевой модели, описывающей порядок и правила использования ресурсов
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Метод контроля корректности графа сетевой модели, описывающей порядок и правила использования ресурсов
Метод контролю коректності графа мережевої моделі що описує порядок і правила використання ресурсів The network model count correctness control method, describing order and rules of the use of resources |
|
| Creator |
А.И. Тимочко
О.І. Тимочко O.I. Tymochko |
|
| Subject |
Теоретичні основи розробки систем озброєння
УДК 621.396 ресурс, контроль корректности, сетевая модель, непротиворечивость графа сетевой модели, полнота графа сетевой модели, целевая установка ресурс, контроль коректності, мережева модель, несуперечність графа мережевої моделі, повнота графа мережевої моделі, цільова настанова resource, control of correctness, network model, uncontradiction of count of network model, plenitude of count of network model, a special purpose |
|
| Description |
Представлен метод контроля корректности графа сетевой модели, описывающей порядок и основные правила использования ресурсов. Контроль корректности графа сетевой модели заключается в анализе его на непротиворечивость и полноту описания. Анализ полноты сетевой модели предполагает проверку возможности достижения целевой вершины при любом логически истинном наборе начальных условий. При этом определяются неопределенные по условиям достижения вершины – изолированные, тупиковые и висячие. Анализ непротиворечивости графа сетевой модели заключается в нахождении контуров графа. Для этого выделяются граничные вершины и составляется логическая цепочка образования контура.
Представлений метод контролю коректності графа мережевої моделі, що описує порядок і основні правила використання ресурсів. Контроль коректності графа мережевої моделі полягає в аналізі його на несуперечність і повноту опису. Аналіз повноти мережевої моделі припускає перевірку можливості досягнення цільової вершини при будьякому логічно дійсному наборі початкових умов. При цьому визначаються невизначені за умовами досягнення вершини – ізольовані, тупикові і висячі. Аналіз несуперечності графа мережевої моделі полягає у знаходженні контурів графа. Для цього виділяються граничні вершини і складається логічний ланцюжок утворення контуру. The network model count correctness control method, describing an order and basic rules of the use of resources is presented. The network model count correctness control consists in the analysis of it on uncontradiction and plenitude of description. The analysis of plenitude of network model supposes verification of possibility of reaching a special purpose summit at any logically veritable set of initial conditions. Indefinite on the terms of achievement tops are thus determined – isolated, deadlock and hangings. The analysis of network model count uncontradiction consists in finding of contours of count. For this purpose scope tops are selected and the logical chainlet of formation of contour is made. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2014
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/2353
|
|
| Source |
Системи озброєння і військова техніка. — 2014. — № 1(37). 230-232
Системы вооружения и военная техника. — 2014. — № 1(37). 230-232 Systems of Arms and Military Equipment. — 2014. — № 1(37). 230-232 1997-9568 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/2353/soivt_2014_1_51.pdf
|
|