Formalization of the open knowledge area of the distributed control system
When managing processes in various industries, especially in the information sphere, quite often there is a need for decision making in poorly structured dynamic situations when parameters (values of variables), laws and patterns of development of a situation are described not quantitatively but qua...
Main Authors: | Volodymyr Shemaiev, Ihor Liashenko, Serhii Stefantsev |
---|---|
Format: | Article |
Language: | English |
Published: |
National Defence University of Ukraine named after Ivan Cherniakhovsky
2019-05-01
|
Series: | Sučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni |
Subjects: | |
Online Access: | http://sit.nuou.org.ua/article/view/164880 |
Similar Items
-
A Formal System of Axiomatic Set Theory in Coq
by: Tianyu Sun, et al.
Published: (2020-01-01) -
Models For the Formal Axiomatic Epistemology Theory "Ksi"
by: V.O. Lobovikov
Published: (2018-08-01) -
Introducing formalism in economics: The growth model of John von Neumann
by: Gloria-Palermo Sandye
Published: (2010-01-01) -
CREATING A CONCEPT AND AXIOMATIZATION OF THE APPLIED THEORY OF EFFICIENCY OF COMPLEX TECHNICAL SYSTEMS WITH DISTRIBUTED PARAMETERS OF INPUT AND OUTPUT PRODUCTS
by: Lutsenko, I., et al.
Published: (2022) -
A Logically Formalized Axiomatic Epistemology System Σ + C and Philosophical Grounding Mathematics as a Self-Sufficing System
by: Vladimir Olegovich Lobovikov
Published: (2021-08-01)