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

Add to Quick Collection   All 12 Results

Showing items 1 - 12 of 12.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Checking robustness of web services based on the parallel composition of partial timed finite state machines
Authors: Shirokova, Ekaterina
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 256-261
Type: статьи в сборниках
Date: 2018
Description: In this paper, we discuss how the robustness of the
Add   Deriving tests with guaranteed fault coverage for finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V.
Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedings. Cham, 2018. P. 149-154
Type: статьи в сборниках
Date: 2018
Description: In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivati ... More
Add   Fault-tolerant synchronous FSM network design for path delay faults
Authors: Andreeva, V. V. | Butorina, Natalia B. | Tretyakov, D. | Ostanin, Sergey A.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018. [S. l.], 2018. P. 645-648
Type: статьи в сборниках
Date: 2018
Add   Minimizing deterministic timed finite state machines
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V. | Villa, Tiziano | Gromov, Maxim L. | Bresolin, Davide
Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492
Type: статьи в журналах
Date: 2018
Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More
Add   Testing digital circuits: studying the increment of the number of states and estimating the fault coverage
Authors: Laputenko, Andrey V | López, Jorge | Kushik, Natalia G. | Vinarskii, Evgenii
Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : proceedings. [S. l.], 2018. P. 220-224
Type: статьи в сборниках
Date: 2018
Description: Testing of digital circuits is very important,
Add   Testing microcontroller based physical systems using finite transition models
Authors: Laputenko, Andrey V. | Petukhov, Timofey D. | Vasnev, Nikolai A.
Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : proceedings. [S. l.], 2018. P. 203-206
Type: статьи в сборниках
Date: 2018
Description: Many devices of controlling parts of physical
Add   К синтезу адаптивных различающих последовательностей для конечных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2018
Description: Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с гарантированной полнотой обнаружения неисправностей. В ряде случаев такие тесты достигают экспоненциаль ... More
Add   Криптоанализ двухкаскадного конечно-автоматного генератора с функциональным ключом
Authors: Боровкова, Ирина Вячеславовна | Панкратова, Ирина Анатольевна | Семенова, Екатерина Вадимовна
Source: Прикладная дискретная математика. 2018. № 42. С. 48-56
Type: статьи в журналах
Date: 2018
Description: Рассматривается криптографический генератор G = Ai ■ A 2, представляющий собой последовательное соединение двух абстрактных конечных автоматов Ai и А2 над полем F2 . Ключом генератора является функция ... More
Add   О возможностях автоматного описания параллельной композиции временных автоматов
Authors: Твардовский, Александр Сергеевич | Лапутенко, Андрей Владимирович
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 1. С. 25-40
Type: статьи в журналах
Date: 2018
Description: Конечные автоматы широко используются для анализа и синтеза дискретных систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вв ... More
Add   О локальной обратимости конечных автоматов без потери информации
Authors: Логачев, Олег Алексеевич
Source: Прикладная дискретная математика. 2018. № 39. С. 78-93
Type: статьи в журналах
Date: 2018
Description: Рассматриваются вопросы восстановления фрагментов входных слов конечных автоматов без потери информации по известным выходным словам (локальное обращение). Показана связь локального обращения автомата ... More
Add   Определение временных характеристик автомата, описывающего систему "Микроконтроллер-программа"
Authors: Бабенко, Юрий Дмитриевич | Громов, Максим Леонидович
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 44
Type: статьи в сборниках
Date: 2018
Add   Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
Authors: Твардовский, Александр Сергеевич
Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 11-13
Type: статьи в сборниках
Date: 2018
  • «
  • ←
  • 1
  • →
  • »
^