Электронная библиотека (репозиторий) Томского государственного университета
Твардовский, Александр Сергеевич

Add to Quick Collection   All 21 Results

Showing items 1 - 15 of 21.
Sort:
 Add All Items to Quick Collection
Add   Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 75-76
Type: статьи в сборниках
Date: 2022
Add   Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером
Authors: Сотников, Александр Павлович | Шабалдина, Наталия Владимировна | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 70-71
Type: статьи в сборниках
Date: 2022
Add   Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
Authors: Лапутенко, Андрей Владимирович | Винарский, Евгений Максимович | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 74-75
Type: статьи в сборниках
Date: 2022
Add   Синтез установочных последовательностей для автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 138-
Type: статьи в сборниках
Date: 2020
Add   Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов
Authors: Винарский, Евгений Максимович | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 141
Type: статьи в сборниках
Date: 2020
Add   Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Твардовский, Александр Сергеевич
Type: авторефераты диссертаций
Date: 2019
Add   Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна (научный руководитель)
Type: диссертации
Date: 2019
Add   К построению подавтоматов без слияний для недетерминированных конечных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 85-86
Type: статьи в сборниках
Date: 2018
Add   К синтезу адаптивных различающих последовательностей для конечных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2018
Description: Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с гарантированной полнотой обнаружения неисправностей. В ряде случаев такие тесты достигают экспоненциаль ... More
Add   О возможностях автоматного описания параллельной композиции временных автоматов
Authors: Твардовский, Александр Сергеевич | Лапутенко, Андрей Владимирович
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 1. С. 25-40
Type: статьи в журналах
Date: 2018
Description: Конечные автоматы широко используются для анализа и синтеза дискретных систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вв ... More
Add   Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
Authors: Твардовский, Александр Сергеевич
Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 11-13
Type: статьи в сборниках
Date: 2018
Add   Минимизация автоматов с таймаутами и временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Громов, Максим Леонидович
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2017
Description: Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и в ... More
Add   Разработка методов синтеза тестов для проверки функциональных требований для дискретных систем на основе временных автоматов: магистерская диссертация по направлению подготовки: 03.04.03 - Радиофизика
Authors: Твардовский, Александр Сергеевич
Type: магистерская диссертация
Date: 2017
Add   Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Authors: Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description: В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м ... More
Add   Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
Authors: Твардовский, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 63-64
Type: статьи в сборниках
Date: 2016

Creator

Date

Subject

Resource Type

^