name: Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной
keyword_list: ВРЕМЕННЫЕ АВТОМАТЫ, КОНЕЧНЫЕ АВТОМАТЫ С ОДНОЙ ВРЕМЕННОЙ ПЕРЕМЕННОЙ, МИНИМИЗАЦИЯ, КОМПОЗИЦИЯ, СИНТЕЗ ТЕСТОВ
abstract: Цель: разработка методов оптимизации временных автоматов и их композиций и синтеза тестов с гарантированной полнотой для контроля выполнения функциональных и нефункциональных требований к системам, поведение которых описано такой моделью. Предложены: метод построения единственной с точностью до изоморфизма минимальной формы детерминированных полностью определенных неинициальных автоматов с таймаутами и временными ограничениями; алгоритм построения параллельной бинарной композиции детерминированных временных автоматов (определены условия замкнутости класса детерминированных автоматов относительно такой операции); методы синтеза и оптимизации тестов с гарантированной полнотой для детерминированных и недетерминированных временных автоматов. Область применения: анализ и синтез управляющих систем с временными аспектами; учебные курсы по теории автоматов и тестированию.
chairman_dissertation_council.surname: Горцев А. М.
chairman_dissertation_council.position: Заведующий кафедрой
chairman_dissertation_council.degree: Доктор технических наук
organization_supervisor.surname: Ворожцов А. Б.
organization_supervisor.position: Проректор по НИД
organization_supervisor.degree: Доктор физико-математических наук
rubrics.code: 28.25.15
rubrics.name: Анализ и синтез конечных автоматов
oecds.code: 01.02.EX
oecds.name: COMPUTER SCIENCE, THEORY & METHODS
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Системный анализ, управление и обработка информации (по отраслям)
speciality_codes.code: 05.13.01
supervisors.fio: Евтушенко Н. В.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Системный анализ, управление и обработка информации (по отраслям)
supervisors.responsible_type: Научный руководитель
opponents.fio: Соколов В. А.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Дискретная математика и математическая кибернетика
opponents.responsible_type: Оппонент
opponents.fio: Масленникова М. И.
opponents.scientific_degree: Кандидат физико-математических наук
opponents.speciality_code: Дискретная математика и математическая кибернетика
opponents.responsible_type: Оппонент
protection_organization.short_name: Томский государственный университет, ТГУ
protection_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский Томский государственный университет"
protection_organization.ogrn: 1027000853978
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: Томский государственный университет, ТГУ
author_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский Томский государственный университет"
author_organization.ogrn: 1027000853978
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения