Том 57, № 3 (2018)
- Год: 2018
- Статей: 12
- URL: https://journals.rcsi.science/1064-2307/issue/view/13638
Control in Deterministic Systems
Controlling the One-Dimensional Motion of Hybrid Vibrational Rod Systems
Аннотация
A mathematical model of the one-dimensional controlled motion of a hybrid vibrational system is proposed. The plant includes an inhomogeneous elastic rod with loads concentrated at its endpoints. An analytical-numerical procedure for finding the eigenvalues (eigenfrequencies) and eigenfunctions is developed. A novel procedure to take into account the nonuniform distributed forces and forces concentrated at the endpoints using a modification of Grinberg’s approach is presented. Efficient statements and constructive approximate solutions of the problems for controlling the motion of a countably dimensional vibrational system with a complex distribution of eigenfrequencies are proposed.
Dynamic Reconstruction of System Disturbances Using Inaccurate Discrete Measurements of Phase Coordinates
Аннотация
This paper studies the dynamic reconstruction of unknown disturbances for a system of differential equations that is nonlinear in phase variables. In the case of imperfectly measured phase coordinates within the given intervals, we develop a reconstruction algorithm with the integration of the feedback control and optimal programmed control. The algorithm is stable against data noises and computational errors. An illustrative example is given.
Data Processing and Identification
Identification of Aerodynamic Coefficients of Longitudinal Movement and Error Estimates for Onboard Measurements of Supercritical Angles of Attack
Аннотация
We propose an identification method for the aerodynamic coefficients of the lift force, drag force, and pitch moment in the supercritical range of angles of attack. The investigated models take into account the hysteresis with respect to the angle of attack, which is the main specific feature of aerodynamic coefficients in the specified range. Also, we consider the problem to find and correct errors of onboard measurements in the channels of the angle of attack and the air speed and the computational model for the forces and moments created by engines with a deflected thrust vector. We provide processing examples for the flight test data obtained during maneuvers on supercritical angles of attack; they confirm the efficiency of the proposed methods.
Optimal Control
Shock Isolation with Anticipating Control for External Disturbances of Various Shapes
Аннотация
Limiting performance analysis is performed for isolation of an object on a movable base from short-duration impact excitations by means of an active shock isolator with anticipating control. The external disturbance (excitation) is modeled by the time history of the absolute acceleration of the base. The control is performed by a force that acts between the base and the object to be protected. The absolute value of the control force is subject to a constraint. A procedure is proposed for constructing optimal anticipating controls that minimize the peak magnitude of the displacement of the object relative to the base for external disturbances from a certain class. For a number of types of external disturbances, the solution of the optimal control problem is obtained in closed form. The controls that are constructed in closed form are modified to be applicable for the disturbances for which closedform solutions are absent.
Computer Methods
Minimization of Multicast Traffic and Ensuring Its Fault Tolerance in Software-Defined Networks
Аннотация
In recent years, the widespread TCP/IP computer network model has been replaced by the software-defined network model, where the control plane is separated from the data plane and is logically centralized. The new model requires a revision of traditional network control protocols. One group of such revised protocols consists of multicast routing protocols. In this paper, the multicast routing protocols used in traditional TCP/IP networks are analyzed, and their basic disadvantages and difficulties in their application in software-defined networks are revealed. Multicast routing algorithms that use the capabilities of software-defined networks and ensure the optimization and reliability of routes in multicast routing are described. These algorithms are exempt from the drawbacks of traditional networks. The proposed algorithms are implemented as an application for the RunOS controller. This experimental study shows that the delays due to the use of the proposed algorithms for restructuring routes satisfy the requirements of telecommunications operators of large regional networks.
Test-Based Diagnosis of Faults in Data Exchange Addressing in Computer Systems Using Parallel Model
Аннотация
Test-based diagnosis of an arbitrary real-time computer system represented by a set of functionally related software modules executed on a single computer or concurrently on a set of computers is considered. The approach called diagnosis using a parallel model is used. An efficient procedure for test generation is proposed.
Systems Analysis and Operations Research
A Truncation Algorithm for Minimizing the Frobenius-Schatten Norm to Find a Sparse Matrix
Аннотация
A problem of optimizing a matrix sparse in the joint Frobenius-Schatten norm is considered. The least rows are proposed to be truncated according to the lower bound to fight the ill-conditionality of the matrix. Truncation not only helps avoid incorrect termination of the algorithm but it also reduces the computational complexity. Convergence analysis ensures that a truncation algorithm finds an approximate solution to the problem. The numerical experiments show the advantage of the truncation method over the previous algorithm.
Technique of Monitoring a Human Operator’s Behavior in Man-Machine Systems
Аннотация
Monitoring a human operator’s behavior in man-machine systems is aimed at detecting and diagnosing unwanted behavioral deviations of a human operator from the preset sequence of actions, taking into account their possible response to the current state of the system. The human operator’s behavior is described using the nondeterministic finite-state machine (FSM) model. Techniques for constructing and determinizating this model are proposed to ensure the minimal possible loss of information. The solution of the task is illustrated by the example of working IT system operators.
Linear Formulations for the Vehicle Routing Problem with Synchronization Constraints
Аннотация
This paper studies a vehicle routing problem with synchronization constraints and time windows. In this problem, a subset of nodes requires more than one vehicle to satisfy its demand simultaneously. We propose three new mixed integer linear formulations for this problem and we evaluate their efficiency over a large set of instances taken from the literature. The computational results reveal that the proposed linear formulations allow solving larger instances in a shorter computational time than the ones previously proposed in the literature.
Artificial Intelligence
Methods of Inference for Logical-Type Systems Based on the Fuzzy Degree of Truth
Аннотация
The work is devoted to the development of methods of inference (that are used in logicaltype production systems) based on the fuzzy degree of truth for the most commonly used fuzzy implications. For the block of rules at the stage of defuzzification, the discrete version of the method of the center of gravity is applied. The inference of an output value is considered for two cases: where the membership functions of consequents of rules intersect and where these functions are disjoint. The second case also includes models of the singleton type. For both cases, the relations of computing the clear output of the block of system rules are derived; they reduce the computational complexity to the polynomial complexity.
Models and Languages for Description of Parallel Processes
Аннотация
This paper considers models and languages of parallel processes that make it possible to adequately describe the properties and relationships among real processes both at the level of events and in real time. The proposed models and languages are shown to provide more flexibility in the description of parallelism compared to similar well-known models and languages. We also discuss the practical application of models and languages for parallel processes to design high-level concurrent programming languages, as well as distributed computing and control systems.
Control Systems of Moving Objects
Long-Term Linear-Quadratic Control of Satellite Constellations in Highly Elliptical Orbits
Аннотация
A mathematical model is proposed for representing a multisatellite constellation as a tree graph for the purpose of maintaining its formation. The method of correction of the satellite constellation with transversal impulses using the classical linear-quadratic control is developed. The results of the long-term modeling of a satellite constellation (SC) of four spacecraft for different variants representing its formation as a graph are presented. Questions on the stability of the control laws and accuracy of maintaining the fformation are discussed; the necessary expenses of the characteristic velocity of the corrective impulses are listed. The choice of the control-law parameters reflects a compromise between the accuracy of maintaining the formation and the required fuel consumption. The method allows taking into account an additional requirement, which is typical for highly elliptical orbits: the restriction of the minimum altitude of the perigee. The modeling of the constellations involved using a highly accurate model to predict the spacecraft’s motion, which takes into account the noncentrality of the Earth’s gravitational field, the gravity of the Moon and Sun, and the pressure of solar radiation.