We offer a new logical method for a parametric synthesizing linear static regulator in binary dynamic systems. To describe the dynamics in the general case of a nonlinear object and linear regulator state equations ar...
We offer a new logical method for a parametric synthesizing linear static regulator in binary dynamic systems. To describe the dynamics in the general case of a nonlinear object and linear regulator state equations are used. The required dynamics property (in our case the property of stability) specification of a closed system is given in the formal logic language. In this formulation, the synthesis problem is reduced to the qualitative analysis problem - the verification of the truth of the quantified Boolean formula with the simultaneous search for the feedback matrix. The proposed method allows the natural parallelization based on data and high scalability with increasing the problem dimension in case of it is implemented in a high-performance computing environment. We develop a service-oriented solver, including the tools intended to automatically create a Boolean model of the original problem and solve the synthesis problem of a linear regulator using this model.
This paper describes a simplified model of an electric circuit with a DC-DC converter and a PID-regulator as a system of integral differential equations with an identically singular matrix multiplying the higher deriv...
详细信息
Execution of large-scale search and survey operations by groups of autonomous mobile robots requires the ability to respond to unforeseen events of different nature in a quick and efficient manner. In order to achieve...
Execution of large-scale search and survey operations by groups of autonomous mobile robots requires the ability to respond to unforeseen events of different nature in a quick and efficient manner. In order to achieve this requirement, the available information about recent changes should be spread among all active group members as soon as possible. Informing a non-stationary group of mobile robots distributed across different regions of the operational area is a nontrivial task for large groups with limited communication capabilities. The paper addresses the problem of agent-based information distribution throughout a network in a new original formulation. In essence, the problem is to define an effective order of transferring data between single robots in order to achieve the fastest way of sharing it among the whole group. A number of heuristic strategies are proposed for building initial solutions alongside with the local search scheme for their further optimization. The comparison between the suggested approaches is made regarding both the solution quality and the speed of algorithm operation. Some issues related to the test instances generation are also considered.
The paper addresses the nonconvex nonsmooth optimization problem with the cost function and equality and inequality constraints given by d.c. functions. The original problem is reduced to a problem without constraints...
The paper addresses the nonconvex nonsmooth optimization problem with the cost function and equality and inequality constraints given by d.c. functions. The original problem is reduced to a problem without constraints with the help of the exact penalization theory. After that, the penalized problem is represented as a d.c. minimization problem without constraints, for which the new mathematical tools under the form of global optimality conditions (GOCs) are developed. The GOCs reduce the nonconvex problem in question to a family of convex (linearized with respect to the basic nonconvexities) problems. On the base of the proposed theory we develop numerical methods of local and global search for the problem in question.
The issue of ensuring strength reliability remains relevant due to the insurmountable imperfections and/or violations of methods and means of its provision at all stages of the life cycle of Complex Mechanical systems...
The issue of ensuring strength reliability remains relevant due to the insurmountable imperfections and/or violations of methods and means of its provision at all stages of the life cycle of Complex Mechanical systems. The uncertainty of some properties of strength reliability leads to catastrophic failures. To improve the efficiency and quality of the substantiation of properties, we developed a self-organizing information processing technology based on the interaction of logical heuristic procedures. We also identified the main uncertainties and the method for their acceptable neutralization based on additional expert information.
Modern detectors of cosmic gamma-rays are a special type of imaging telescopes (air Cherenkov telescopes) supplied with cameras with a relatively large number of photomultiplier-based pixels. For example, the camera o...
详细信息
Nonlocal chiral quark model is self-consistently extended beyond mean field using a strict 1 / N c expansion scheme. The parameters of the nonlocal model are refitted to the physical values of the pion mass and the we...
Nonlocal chiral quark model is self-consistently extended beyond mean field using a strict 1 / N c expansion scheme. The parameters of the nonlocal model are refitted to the physical values of the pion mass and the weak pion decay constant. The size of the 1 / N c correction to the quark condensate is carefully studied in the nonlocal and the usual local Nambu–Jona-Lasinio models. It is found that even the sign of the corrections can be different. This can be attributed to the mesonic cut-off of the local model. It is also found that the 1 / N c corrections lead to lowering of the temperature of the chiral phase transition in comparison with the mean-field result. On the other hand, near the phase transition the 1 / N c expansion breaks down and a non-perturbative scheme for the inclusion of mesonic correlations is needed in order to describe the phase transition point.
This article is aimed at solving an urgent problem for modern transport science – development of tools to support the modeling of railway transport objects. Since railway transport belongs to the category of so-call...
This article is aimed at solving an urgent problem for modern transport science – development of tools to support the modeling of railway transport objects. Since railway transport belongs to the category of so-called “complex systems”, the analytical approach is of little use for carrying out system analysis using methods of mathematical modeling, and it is necessary to use the simulation modeling methods. During the analysis of the subject area and the known approaches used for simulation modeling of complex technical systems, it was found that, firstly, the most convenient in this case is the method of agent-based modeling; secondly, AnyLogic that has a well-developed railway library is the most suitable as a modeling environment. The railway marshalling yard is considered as an object of modeling. The main technological processes are built in the form of blocks of the AnyLogic railway library. The simulation process of the model is visualized and presented in 3D. The offered method is suitable for describing a wide range of systems for freight and passenger transport that is expected to be implemented in the future.
暂无评论