Diagnosability of Fuzzy Discrete Event Systems

In order to more effectively cope with the real-world problems of vagueness, {\it fuzzy discrete event systems} (FDESs) were proposed recently, and the supervisory control theory of FDESs was developed. In view of the importance of failure diagnosis, in this paper, we present an approach of the failure diagnosis in the framework of FDESs. More specifically: (1) We formalize the definition of diagnosability for FDESs, in which the observable set and failure set of events are {\it fuzzy}, that is, each event has certain degree to be observable and unobservable, and, also, each event may possess different possibility of failure occurring. (2) Through the construction of observability-based diagnosers of FDESs, we investigate its some basic properties. In particular, we present a necessary and sufficient condition for diagnosability of FDESs. (3) Some examples serving to illuminate the applications of the diagnosability of FDESs are described. To conclude, some related issues are raised for further consideration.Comment: 14 pages; revisions have been mad

Анализ возможности увеличения дальности стрельбы перспективных управляемых ракет для отечественных реактивных систем залпового огня

The article considers a possibility to increase a flying range of the perspective rockets equipped with the control unit with aerodynamic controllers for the multiple launch rocket systems “Smerch”.To increase a flying range and reduce a starting mass of the rocket, the paper studies a possibility to replace the single-mode rocket engine used in the solid-fuel rocket motor for the direct-flow propulsion jet engine (DFPJE) with not head sector air intakes. The DFPJE is implemented according to the classical scheme with a fuel charged in the combustion chamber. A separated solid propellant starting accelerator provides the rocket acceleration to reach a speed necessary for the DFPJE to run.When designing the DFPJE a proper choice of not head air intake parameters is one of the most difficult points. For this purpose a COSMOS Flow Simulation software package and analytical dependences were used to define the following: a boundary layer thickness where an air intake is set, maximum permissible and appropriate angles of attack and deviation angles of controllers at the section where the DFPJE works, and some other parameters as well.Calculation of DFPJE characteristics consisted in determining parameters of an air-gas path of the propulsion system, geometrical sizes of the pipeline flow area, sizes of a fuel charge, and dependence of the propulsion system impulse on the flight height and speed. Calculations were performed both in thermodynamic statement of problem and in using software package of COSMOS Flow Simulation.As a result of calculations and design engineering activities the air intake profile is created and mass-dimensional characteristics of DFPJE are defined. Besides, calculations of the starting solid fuel accelerator were carried out. Further design allowed us to create the rocket shape, estimate its mass-dimensional characteristics, and perform ballistic calculations, which proved that achieving a range of 120 km for the rocket is possible.Thus, with restrictions imposed by the control unit, application of DFPJE allows us to increase a flying range of the rocket more than by 30% in comparison with the existing domestic samples.Предложен способ повышения дальности стрельбы перспективной управляемой ракеты для отечественной реактивной системы залпового огня за счет применения прямоточного воздушно-реактивного двигателя и блока управления. Разработана компоновочная схема ракеты и проведены расчеты прямоточного воздушно-реактивного двигателя с использованием методов математического моделирования и пакетов прикладных программ, подтверждающие возможность реализации предложенного технического решения. Получены конкретные значения повышения дальности стрельбы и показана возможность улучшения характеристик ракеты для отечественной реактивной системы залпового огня до уровня зарубежных аналогов. DOI: 10.7463/aersp.0315.078198

Revised CPA method to compute Lyapunov functions for nonlinear systems

The CPA method uses linear programming to compute Continuous and Piecewise Affine Lyapunov function for nonlinear systems with asymptotically stable equilibria. In it was shown that the method always succeeds in computing a CPA Lyapunov function for such a system. The size of the domain of the computed CPA Lyapunov function is only limited by the equilibrium’s basin of attraction. However, for some systems, an arbitrary small neighborhood of the equilibrium had to be excluded from the domain a priori. This is necessary, if the equilibrium is not exponentially stable, because the existence of a CPA Lyapunov function in a neighborhood of the equilibrium is equivalent to its exponential stability as shown in. However, if the equilibrium is exponentially stable, then this was an artifact of the method. In this paper we overcome this artifact by developing a revised CPA method. We show that this revised method is always able to compute a CPA Lyapunov function for a system with an exponentially stable equilibrium. The only conditions on the system are that it is C² and autonomous. The domain of the CPA Lyapunov function can be any a priori given compact neighborhood of the equilibrium which is contained in its basin of attraction. Whereas in a previous paper we have shown these results for planar systems, in this paper we cover general n-dimensional systems

On the interplay between Babai and Černý’s conjectures

Motivated by the Babai conjecture and the Černý conjecture, we study the reset thresholds of automata with the transition monoid equal to the full monoid of transformations of the state set. For automata with n states in this class, we prove that the reset thresholds are upperbounded by 2n2 -6n + 5 and can attain the value (Formula presented). In addition, we study diameters of the pair digraphs of permutation automata and construct n-state permutation automata with diameter (formula presented). © Springer International Publishing AG 2017

Reliable Correlation for Liquid–Liquid Equilibria outside the Critical Region

A simple model for binary liquid–liquid equilibrium data correlation is explored. The model describes liquid–liquid equilibrium in terms of Henry’s law and unsymmetrically normalized activity coefficients in each phase. A procedure for parameter estimation including an approach to initial guesses, uncertainty analysis of regression results, obtained parameters, and predicted mole fractions has been formulated. The procedure is applied to three cases: hydrocarbons + water, ionic liquids + water, and nitroethane + hydrocarbons. The model has four parameters in the most basic formulation. Depending upon the available data, this number can be extended in a systematic fashion. We compare results of correlation to results obtained with a four-parameter nonrandom two-liquid (NRTL) equation and COSMO-SAC. In general, the new model does nearly as well as NRTL. Advantages of the presented model are a simple form and a parameter set that can be extended in a systematic fashion with an interpretation in terms of thermodynamic properties. The model may be developed further for validation of experimental data

Синтез новых амфифильных блок-сополимеров методом ATRP.

By means of ATRP the amphiphilic block-copolymers of polyisobornylacrylate-polyacrilic acid were produced. Kinetics of polymerization was investigated. Synthesized samples of polymers were characterized with molecular weight and polydispersity.Методом квазиживой радикальной полимеризации с переносом атома (Atom Transfer Radical Polymerization, ATRP) получены амфифильные блок-сополимеры полиизоборнилакрилата–полиакриловой кислоты. Изучена кинетика полимеризации. Полученные образцы полимеров охарактеризованы по молекулярной массе и молекулярно-массовому распределению (ММР)