Пошук академічних текстів

Інформація × Реєстраційний номер 0502U000479, Докторська дисертація На здобуття д.т.н. Дата захисту 05-12-2002 Статус Запланована Назва роботи Доказове проектування алгоритмів функціонування реактивних систем Здобувач Чеботарьов Анатолій Миколайович, Керівник Коваль Валерій Миколайович Опонент Анісімов Анатолій Васильович Опонент Кузнєцов Олег Петрович Опонент Литвинов Віталій Васильович Опис Об'єкт - доказове проектування реактивних алгоритмів на початкових етапах їхньої розробки; мета - забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності; методи - математична логіка, теорія автоматів; новизна - побудована теорія та методологія доказового проектування реактивних алгоритмів; результати - запропоновано дворівневу систему мов специфікації, розроблено методи перевірки несуперечності специфікацій, одержано розв'язок проблеми забезпечення коректності взаємодії системи, що проектується, і зовнішнього середовища, одержано ряд нових методів розв'язання задачі синтезу автомата за його логічною специфікацією; галузь - розробка систем управління потенційно небезпечними об'єктами. Дата реєстрації 2002-12-05 Додано в НРАТ 2020-04-04 Закрити