Search academic texts

Information × Registration Number 0311U003872, 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 13-07-2011 Organization Institute of Applied Mathematics and Mechanics of National Academy of Sciences of Ukraine popup.description2 The basic methods of graph recognition by mobile agents were developed. There were suggestered new parallel genetic methods of simulation and identifying sequences generation for faulty digital devices for the multicore computer systems. There was developed model for research of quality of different algorithms of management of external heat exchange the modes in the machine of the continuous casting of purveyances. Product Description popup.authors Іванов Дмитро Євгенійович Іванова Ганна Олександрівна Грунський Ігор Сергійович Козловський Валерій Анатолійович Курганський Олексій Миколайович Сапунов Сергій Валерійович Скобєлєв Володимир Геннадійович Скобелэв Володимир Володимирович Скобцов Вадим Юрійович Хашан Тетяна Сергіівна popup.nrat_date 2020-04-02 Close