Электронная библиотека (репозиторий) Томского государственного университета
Громов, Максим Леонидович | Евтушенко, Нина Владимировна

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Минимизация автоматов с таймаутами и временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Громов, Максим Леонидович
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2017
Description: Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и в ... More
Add   Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Authors: Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description: В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м ... More
Add   Использование временных автоматов при тестировании киберфизических систем
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2016. Т. 59, № 12. С. 174-176
Type: статьи в журналах
Date: 2016
Add   К упрощению временных полуавтоматов при синхронизации компонентов физических систем
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11. С. 150-152
Type: статьи в журналах
Date: 2015
Description: Исследуются возможности уменьшения числа временных переменных во временном полуавтомате, которые используются при синхронизации компонентов в физических системах, например лазерных. Уменьшение числа в ... More
Add   Различающие эксперименты с неинициальными недетерминированными автоматами
Authors: Громов, Максим Леонидович | Кушик, Наталья Геннадьевна | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4. С. 93-101
Type: статьи в журналах
Date: 2011
Add   Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна
Source: Прикладная дискретная математика. 2009. № 4. С. 90-101
Type: статьи в журналах
Date: 2009
  • «
  • ←
  • 1
  • →
  • »
^