Search academic texts

Information × Registration Number 0313U005002, 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 10-01-2013 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