Перегляд за автором "Laptev, M."

Зараз показано 1 - 2 з 2
  • Зображення мініатюри
    Публікація
    Modeling computer system states on the structural level in the form of finite state machine
    (Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС), 2007) Krivoulya, G. F.; Laptev, M.
    The construction of diagnostic model of computer system states in the form of finite state machine is considered in the article. The advantage of the model consists in the fact to determine the transitions from one state of the computer system to diagnostic state having the number of input signals.
  • Зображення мініатюри
    Публікація
    The diagnostic model of computer system in the form of Petri Net
    (Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС), 2008) Krivoulya, G. F.; Laptev, M.; Gharibi, W.
    The construction of structural computer system model in the form of automatic, limited Petri Net are considered in the article. Proposed model can be used for building diagnosability provision of the computer system. Increasing quantity and complexity of current computer systems (CS) usability leads to necessity of it quality service. Modern computer engineering decides this problem by creating the diagnostic systems and automatic searching for the faults. With usage of them service and repair becomes simpler (1). For modeling the automation diagnostic system of CS necessary to have structure model of CS (2), which permit to define CS transitions from one state to another having different combination of input signals. In this work the structural model of CS in the form of automatic, limited Petri Nets (PN) are proposed.