Search academic texts

Information × Registration Number 0202U000778, 0199U002475 , R & D reports Title Investigation and development of formal methods for modeling computerized control systems of complex dynamic objects with critical functioning conditions. popup.stage_title Head Andon P.I., Registration Date 28-02-2002 Organization Institute of Software Systems popup.description2 Object of investigation: formal methods for modeling of complex dynamic systems. Aim of the work: development and investigation of formal-logical tools of modeling of control systems of complex dynamic objects. The work has a theoretical character in investigation methods. Composition nominative logics are proposed and investigated as formal-logical tools of modeling of control systems of complex dynamic objects. Logical operations of these logics are considered as compositions of special partial predicates (equitone predicates), which generalize conventional n-ary predicates. Such logic may be considered as maximal extensions of the classical predicate logic, which preserves its main properties, therefore it is called neoclassical logic. Semantic properties of neoclassical logics of denominational, quantified and functional equational levels are investigated. The languages of such logics are described, normal forms are introduced, and axiomatic calculi are built. On a base of such calculi the syntac tic properties of such logics are investigated, their correctness and completeness are proved. As to intensional aspect of subject domains, composition nominative modal logics are proposed, within the framework of which transitional and temporal logics are defined. Prognostic suggestions about future development of the object under investigation: to continue investigation of formal-logical tools of modeling of control dynamic systems on a base of the conception of neoclassical and modal logics. Product Description popup.authors popup.nrat_date 2020-04-02 Close