This paper considers further development of the method for pre-design studies aimed at improving the reliability, survivability, and safety of complex mechanical systems, assembly units, and parts in accordance with t...
This paper considers further development of the method for pre-design studies aimed at improving the reliability, survivability, and safety of complex mechanical systems, assembly units, and parts in accordance with the criteria of strength and resource. The Self-Organization Principle is represented as a combination of a heuristic hierarchical transdisciplinary model and metaheuristic and heuristic rules that automatically create a decision algorithm. The algorithm is determined by the object of study, by the chosen goal, and by the scientific and industrial description of the tasks. The representation of tasks as metaheuristics and heuristics allows for the use of methods and means for artificial intelligence, in particular, expert systems. Metaheuristics and heuristics are compiled by domain experts with further incorporation into the knowledge bases of the corresponding hierarchical complex of Expert systems and Computational Modules.
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.
暂无评论