Method of analytical synthesis of coording control systems

The problems of coordinating control are discussed. The method of analytical synthesis of coordinating automatic systems is proposed. Their purpose of control is formulated in the form of the task of control relations between the state variables of a multichannel object or a group of objects. The problem of coordination is studied in a different formulation compared to the classical papers. Control processes are formed by means of two multi-dimensional contours: the contour of aggregate control by the dynamics of the object as a whole, and the contour of regulation of inter-coordinate relations. The autonomy of the second contour plays a key role in the proposed solutions. The procedures for calculating the control contours are based on the devise of the transfer matrices apparatus.

VECTOR-DRIVEN LOGIC AND STRUCTURE FOR TESTING AND DEDUCTIVE FAULT SIMULATION

Context. It is known that data structures are decisive for the creation of efficient parallel algorithms and high-performance computing devices. Therefore, the development of mathematically perfect and technologically simple data structures takes about 80 percent of the design time, when about 20 percent of time and material resources are spent on algorithms and their hardware-software coding. This lead to search for such primitives of data structures that will significantly simplify the parallel high-performance algorithms which are working on them. Models and methods for testing and simulation of digital systems are proposed, which containing certain advantages of quantum computing in terms of implementation of vector qubit data structures in technology of classical computational processes. Objective. The goal of the work is development of an innovative technology for qubit-vector synthesis and deductive analysis of tests for their verification based on vector data structures that greatly simplify algorithms that can be embedded as BIST components in digital systems on chips. Method. The deductive faults simulation is used to obtain analytical expressions focused on transporting fault lists through a functional or logical element based on the xor-operation, which serves as a measure of similarity-difference between a test, a function and faults which is specified in the same way in one of the formats − a table, graph, equation. A binary vector is proposed as the most technologically advanced primitive of data structures for setting logical functionality for the purpose of parallel synthesis and analysis of digital systems. The parallelism of solving combinatorial problems is a physical property of quantum computing, which in classical computing, for parallel simulation and faults diagnostics, is provided by unitary-coded data structures due to excess memory. Results. 1) A method of analytical synthesis of deductive logic for functional elements on the gate level and register transfer level has been developed. 2) A deductive processor for faults simulation based on transporting input lists or faults vectors to external outputs of digital circuits was proposed. 3) The qubit-vector form of logic setting and methods of qubit synthesis of deductive equations for faults simulation were described. 4) A qubit-vector method for the tests’ synthesis which is using derivatives calculated by vector coverage of logic has been developed. 5) Models and methods verification is performed on test examples in the software implementation of structures and algorithms. Conclusions. The scientific novelty lies in the new paradigm of the technology for the synthesis of deductive RTL logic based on metric test equation, which forms the. A vector form for structures description is introduced, which makes it possible to apply wellknown technologies for the synthesis and analysis of logical circuits tests to effectively solve the problems of graph structures testing and state machine models of digital devices. The practical significance is reflected in the examples of analytical synthesis of deductive logic for functional elements on gate level and register transfer level. A deductive processor for faults simulation which is focused on implementation as a BIST tool, which is used in online testing, simulation and fault diagnosis for digital systems on chips is proposed. A qubit-vector form of the digital systems description is proposed, which surpasses the existing methods of computing devices development in terms of the metric: manufacturability, compactness, speed and quality. A software application has been developed that implements the main testing, simulation and diagnostics services which are used in the educational process to study the advantages of qubit-vector data structures and algorithms. The computational complexity of synthesis processes and deductive formulas for logic and their usage in fault simulation are given.

Indicators of the Quality of Work in Residential Treatment Centres

In the last year, residential treatment centres in Slovenia have made a significant shift from traditional approaches to programs for young people which are adapted to their needs within the entire continuum of help: from preventive work to early detection, a range of support programs, various programs in out-ofhome care, and intensive treatment, up to the most difficult cases. It is therefore important that the work be properly reflected through quality settings. These concern all aspects of an institution's operation. Using a comparative method of comparing sources and analytical synthesis, we have shown all the important areas of operation of such a system. Orientation towards the areas of work quality represents a modern and current discourse, while simultaneously providing starting points for development.

Analytical Synthesis of Control Acceleration of Unmanned Aerial Vehicle

. The problem of analytical synthesis of the control acceleration for an unmanned aerial vehicle (UAV) during its flight along a complex trajectory, consisting of sequentially located horizontal flight sections, located at different heights relative to the earth's surface has been solved in the paper. The problem has been solved as an analytical definition of the optimal control of a linear non-stationary system for a specified minimized quality functional. The mathematical model of the system is presented in the form of differential equations of UAV motion in the vertical plane of a fixed coordinate system related to the earth's surface. A feature of the proposed methodology for solving the problem is the substantiation of the original form of the minimized functional and parameters included in the law of variation of the control acceleration obtained by known methods. As the components of the quality functional, the values of coordinates and velocity of the UAV are considered and they are specified at the corresponding points in space through which the UAV path must pass, in order to obtain the optimal curvature of the trajectory. The derived mathematical dependences make it possible to implement them on board of an aircraft and, ultimately, solve the problem of ensuring the minimum energy consumption when controlling an object (UAV). Computer simulation of the analytically obtained results in the form of the UAV flight trajectory and the processes of changing its acceleration and speed have shown the efficiency of the proposed technique and the prospects of its use at the initial stage of the synthesis of the UAV control system.

Step-by-step analytical synthesis of the mathematical model of automotive unmanned aircraft

The problem of the stage-by-stage synthesis of the mathematical model of the autopilot of an unmanned aerial vehicle (UAV) is considered. At the first stage, an analytical synthesis of the control acceleration applied to the center of mass of the UAV is performed to form a specified trajectory of its flight. On the basis of the results received at the first stage, at the subsequent stages, the problem of synthesizing a mathematical model of the UAV autopilot is solved with the specified requirements for ensuring the stability and dynamic accuracy of UAV control. Under actual assumptions about the corresponding nature of changes in the trajectory parameters and variables that characterize the motion of the UAV in space, the use of a linear mathematical model of the evolution of the state vector of the UAV and its control system is substantiated. When synthesizing a mathematical model of the UAV autopilot, the method of modal control of the system was used for a specified mathematical model of the object. For a specified model of motion and aerodynamic characteristics of the UAV, the law of deviation of the control steering surface is analytically received, which depends on the parameters of the translational and rotational movement of the UAV. Computer simulation of the analytically received results of control synthesis for the specified characteristics of UAVs and specific using conditions was carried out, which clearly showed the efficiency and prospects of using this approach for the synthesis of control systems for UAVs of various purposes and design.

Analytical Synthesis of Non-Linear Control Algorithms of a Chemical Reactor Thermal Mode

The paper deals with two approaches to the synthesis of a non-linear control system of the thermal regime of a liquid-phase chemical reactor at the realization of a bimolecular exothermic reaction. Synthesis of control algorithms is carried out by the method of analytical design of aggregated regulators (ADAR). The first variant assumes synthesis of temperature controller by classic ADAR method on the basis of a sequential set of invariant manifolds. The second one is based on the cascade control system structure. Computer simulation is used to study and compare the synthesized control systems.

The expression and essence of social functions of the state

The purpose of the work is to gain an understanding of the social function of the state, to understand the relationship between the social and other functions of the state, to improve the social function of the state. The article uses comparative-legal, systematic, analytical, synthesis methods. The article offers suggestions for creating a legal framework for the social function of the state.