Current Proceedings on Technology
Yazarlar: G. Bektemyssova, A. Kuandykov
Konular:-
Anahtar Kelimeler:Axiomatic,Formalization,Processes,Compound
Özet: The authors proposed axiomatic approach to the construction of the theory of compound objects management, including computer systems. The system of formalization of processes of compound objects’ management based on the axiomatic approach is problem-oriented and is different from formal system by classical mathematic logics of semantic direction. That’s why this system is called applied formal system (AFS). The paper contains a part of axioms and rules of theorems proofs, included into AFS processes of object management. These axioms, theorems and their corollaries allow us to construct algorithms and procedures, to provide the correct description of the current situation at the micro level, generalize situations and form a class of situations at macro-level and also correctly define control decisions for current situations. These procedures and algorithms, being included into the method of situational and group control of CO, constitute its foundation.