lunar and mars landing is a crucial part of any exploration mission. its importance is manifested by the considerable interest in the past couple of decades. solution of lunar descent can be either numerical or analytical. numerical solutions are iterative and computationally demanding and some of them might not be suitable for on-board implementation. on the other hand, analytical solutions ar...

this paper studies the hybrid flow shop scheduling where the optimization criterion is the minimization of total tardiness. first, the problem is formulated as a mixed integer linear programming model. then, to solve large problem sizes, an artificial immune algorithm hybridized with a simple local search in form of simulated annealing is proposed. two experiments are carried out to evaluate th...

In this work, we present a theoretical study about NP-hard optimization problems of cuts in graphs and the state of the art in approximation algorithms that use techniques of mathematical programming and of metric spaces. Three problems of cuts in graphs were modeled by integer mathematical programs and they are relaxed to admit solutions with continuous values. The solution of these programs d...

Mathematical equations for the multi-criteria task of the optimisation of chemical engineering systems, for example for the optimisation of working regimes for industrial installations for benzene production, have been formulated and developed, and based on fuzzy mathematical methods, algorithms for their solution have been developed. Since the chemical engineering system, which is being resear...

Extended mathematical programs are collections of functions and variables joined together using specific optimization and complementarity primitives. This paper outlines a mechanism to describe such an extended mathematical program by means of annotating the existing relationships within a model to facilitate higher level structure identification. The structures, which often involve constraints...

Since its beginnings back in 1989, the development of the Mizar Mathematical Library is strongly stimulated by the formalization of general topology. In the paper we describe a solution of the famous Kuratowski closure-complement (and, as a side-effect, the interiorcomplement) problem, which are more a kind of mathematical puzzle (or exercise for students) than regular mathematics. Based on the...

The theory of impulsive state feedback control is used to establish a mathematical model in the pest management strategy. Then, the qualitative analysis of the mathematical model was provided. Here, a successor function in the geometry theory of differential equations is used to prove the sufficient conditions for uniqueness of the 1-periodic solution. It proved the orbital asymptotic stability...

the aim of present paper is to provide mathematical modelling for the two-dimensional mhd flow with induced magnetic field. the flaws in the already existing equations have been pointed out. the results of low magnetic reynolds number approximation are recovered as a special case from the developed equations. as an example, the peristaltic flow for a couple stress fluid in a channel is consider...

the paper is devoted to solution of some problems in nuclear power station generating unit intellectual control systems using genetic algorithms on the basis of control system model development, optimizations methods of their direct quality indices and improved integral quadratic estimates. some mathematical vector models were obtained for control system multicriterion quality indices with due ...