Search academic texts

Information × Registration Number 0214U000065, 0109U002770 , R & D reports Title Modern algebraic, logical and evolutional methods of verification, authentification and management the discrete and continuous systems. popup.stage_title Head Tkacnenko Valeriy Nikolayevich, Registration Date 15-01-2014 Organization Institute of Applied Mathematics and Mechanics of National Academy of Sciences of Ukraine popup.description2 A model of expert decision-making system on the behavior of air radio sources on the basis of information obtained from passive radar systems is developed. Formal finite-state model is developed and investigated: it is designed to simulate the behavior of any machine belonging to a given family of automata over a finite ring. A genetic algorithm for test generation models of cross-delay damages, based on a multi-valued logic simulation and critical paths, is created. Based on the two-level model using genetic algorithms algorithm screening test for large digital devices with memory is developed. Based on the theory of optimal control problems and mathematical modeling of the temperature field with the presence of the phase transition, isoperimetric problem of determining the optimal heat transfer coefficient in the secondary cooling zone of continuous casting machine is solved. Product Description popup.authors Іванов Дмитро Євгенійович Іванова Ганна Олександрівна Грунський Ігор Сергійович Курганський Олексій Миколайович Новаковська Ганна Олегівна Сапунов Сергій Валерійович Скобєлєв Володимир Володимирович Скобєлєв Володимир Геннадійович Скобцов Вадим Юрійович Скобцов Юрій Олександрович Хашан Тетяна Сергіївна popup.nrat_date 2020-04-02 Close