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

Add to Quick Collection   All 23 Results

Showing items 1 - 15 of 23.
Sort:
 Add All Items to Quick Collection
Add   Материалы XII-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-26 мая 2025 г. : [сборник]
Authors: Шмырин, Игорь Сергеевич | Замятин, Александр Владимирович | Сущенко, Сергей Петрович | Нежельская, Людмила Алексеевна | Моисеев, Александр Николаевич (доктор физ.-мат. наук) | Еремина, Наталия Леонидовна | Твардовский, Александр Сергеевич
Type: сборники
Date: 2025
Description: Сборник содержит материалы XII-й Международной молодѐжной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", проводившейся 23–26 мая 202 ... More
Add   Методы детектирования виртуальных машин на основе анализа CPUID, DMI и системных артефактов
Authors: Чалых, Григорий Валерьевич | Твардовский, Александр Сергеевич
Source: Информационные технологии и математическое моделирование (ИТММ-2025) : материалы XXIV Международной конференции имени А. Ф. Терпугова, 20-25 октября 2025 г.. Томск, 2025. С. 417-422
Type: статьи в сборниках
Date: 2025
Description: В целях защиты корпоративного программного обеспечения от несанкционированного копирования в виртуализированных средах предложены методы детектирования, опирающиеся на особенности работы процессора, д ... More
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

Creator

Date

Subject

Resource Type

^