Calculation of the function objects as the systems formal theory basis

The paper deals with the conceptual foundations of functional objects calculus as a formal theory of systems. The basic concepts and definitions of the calculus of functional objects are presented, within the framework of which the functional object is considered as a system described in terms of the systemic-object approach "Unit-Function-Object

Formal bases of optimization procedures of system-object imitation models of processes and systems

The paper discusses some optimization methods for system-object simulation models of processes and systems. The authors proposed some optimization principles in the article in order to increase the efficiency of the system-object analysis of organizational, business and industrial processes by improving the theoretical and instrumental means of optimizing the system-object simulation model

System-object modeling of quality management system of medical

The article discusses the problems that commercial organizations face when undergoing external audits of the quality management system. The analysis of the domestic practice of certification of quality management systems is presented. The authors propose the use of system-object simulation to improve the efficiency of the quality management system, as well as to simplify the first certification procedur

Accounting for system-wide patterns of conceptual systems in the modeling of conceptual knowledge

This paper discusses the problem of applying the “Unit-Function-Object” system-object approach to conceptual systems. The results of a comparative analysis of the material systems are presented, i.e., phenomena (systems phenomena) and conceptual systems, i.e., classes (system-classes). A universal definition of the “system” concept has been developed that consider both types of systems. Variants of the formal description of the system class are proposed using the apparatus of calculus of objects and descriptive logi

System-objective representation of conceptual knowledge with description logic

The paper describes the possibilities of applying the system-object approach “Unit- Function-Object” in terms of descriptive logic for describing conceptual knowledge. Conceptual knowledge is represented using a hierarchy of conceptual systems. The syntax and semantics of the descriptive logic ALCOIQ and SHOIQ were described. These allow us to justify the structure of the hierarchy of class systems and the mandatory implementation of the principle of monocentrism for conceptual system

Integration of formalization tools for graphical-analytical "Unit-Function-Object" models

A new method for the formal description of systems in terms of "Unit", "Function", and "Object" based on the comparative study and integration of tools from the Grenander algebraic theory of pat terns and Milner’s process calculus is considered. Decomposition and aggregation procedures are formalized for the graphic-analytical models “Unit-Function-Object” using the proposed approachyesBelgorod State Universit

To the development of intelligent adaptive learning systems

The article describes the prospects for creating an informational adaptive automated learning system (based on the English Language) using advanced artificial intelligence technologies. In particular, the work shows that the quality of education largely depends on the form of educational content and the parameters of the learning object (a student) associated with its perception of informatio

Methodological and practical aspects of developing the unit objects pools in system-object models

The present article deals with formal bases of pool extension procedures with UFO-elements, that represent unit objects in functional units calculus in the frame of system-object imitation modelling. It states there is developed basis on the problems of considering the equilibrium internal system parameters as the functions of outer imitational parameters without real object experiments, and the basis is developed of both computational sciences, and methodolog