Search academic texts

Information × Registration Number 0311U003871, 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 Methods of synthesis algorithms for control of external heat transfer modes based on the operational estimation of the thermal state developed. The bases of systematic research of injective discrete information converters were developed. The new approach was suggested to estimation of maximum distinguishing power for automata representation relatively to classes specified by maximum extension to the union of finite quasimanifolds set. The test generation method based on symbolic simulation and multiple observation time strategy was developed for digital sequential circuits. The algorithms of direction-finding of language and special signals were developed for the systems of technical rumor. Product Description popup.authors Іванов Дмитро Євгенійович Іванова Ганна Олександрівна Грунський Ігор Сергійович Козловський Валерій Анатолійович Курганський Олексій Миколайович Сапунов Сергій Валерійович Скобєлєв Володимир Геннадійович Скобцов Вадим Юрійович popup.nrat_date 2020-04-02 Close