Search academic texts

Information × Registration Number 0502U000479, Doctoral dissertation Status д.т.н. Date 05-12-2002 popup.evolution o Title Provably-correct development of algorithms of reactive systems operation Author Chebotarev Anatoly Nikolajevich, popup.head Koval V.N. popup.opponent Анісімов Анатолій Васильович popup.opponent Кузнєцов Олег Петрович popup.opponent Литвинов Віталій Васильович Description Об'єкт - доказове проектування реактивних алгоритмів на початкових етапах їхньої розробки; мета - забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності; методи - математична логіка, теорія автоматів; новизна - побудована теорія та методологія доказового проектування реактивних алгоритмів; результати - запропоновано дворівневу систему мов специфікації, розроблено методи перевірки несуперечності специфікацій, одержано розв'язок проблеми забезпечення коректності взаємодії системи, що проектується, і зовнішнього середовища, одержано ряд нових методів розв'язання задачі синтезу автомата за його логічною специфікацією; галузь - розробка систем управління потенційно небезпечними об'єктами. Registration Date 2002-12-05 popup.nrat_date 2020-04-04 Close