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

Add to Quick Collection   All 79 Results

Showing items 1 - 15 of 79.
Sort:
 Add All Items to Quick Collection
Add   Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером
Authors: Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Сотников, Александр Павлович | Шабалдина, Наталия Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 107-114
Type: статьи в журналах
Date: 2023
Description: Рассматривается задача оптимизации клиентской компоненты взаимодействующих по клиент-серверной архитектуре приложений. Критерием оптимизации выступает уменьшение количества взаимодействий, т.е. уточне ... More
Add   Adaptive experiments for state identification in finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: Machines, computations, and universality : 9th International conference, MCU 2022 Debrecen, Hungary, August 31 – September 2, 2022 : proceedings. Cham, 2022. P. 172-188
Type: статьи в сборниках
Date: 2022
Description: Homing and synchronizing sequences are used for the current state identification in finite state machines (FSMs). Adaptive homing and synchronizing sequences for which the next input depends on the ou ... More
Add   Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 75-76
Type: статьи в сборниках
Date: 2022
Add   Adaptive homing sequences for partial weakly-initialized observable FSMs
Authors: Vinarskii, Evgenii | Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 335-339
Type: статьи в сборниках
Date: 2021
Description: Finite State Machine (FSM) based state identification problem is widely used for analysis of discrete event systems. A homing sequence (HS) allows to determine the current state of an FSM under invest ... More
Add   Efficient FPGA implementation of a reconfigurable FSM based on substitutions
Authors: Razenkov, S. I.
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 188-191
Type: статьи в сборниках
Date: 2021
Add   FSM-based sequential circuits optimization by changing initial state of specification
Authors: Gromov, Maxim L. | Shabaldina, Natalia V. | Tvardovskii, Aleksandr | Prokopenko, Svetlana A.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021. [S. l.], 2021. P. 361-366
Type: статьи в сборниках
Date: 2021
Description: Finite State Machines (FSMs) are widely used for analysis and synthesis of hardware designs. In particular FSM can be used to specify and optimize sequential circuits. The number of gates of a circuit ... More
Add   Optimizing components of finite state machines composition based on don’t care input sequences in hardware implementation
Authors: Shirokova, Ekaterina | Evtushenko, Larisa | Laputenko, Andrey V.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 212-216
Type: статьи в сборниках
Date: 2021
Description: The paper is devoted to the problem of optimization of discrete multi-module systems. The proposed optimization is based on iterative component-wise optimization. This approach has established itself ... More
Add   Problems in theory of cryptanalytical invertibility of finite automata
Authors: Agibalov, G. P.
Source: Прикладная дискретная математика. 2020. № 50. С. 62-71
Type: статьи в журналах
Date: 2020
Description: The paper continues an investigation of the cryptanalytical invertibility concept of finite automata with a finite delay introduced by the author in his previous papers where he also gave a constructi ... More
Add   К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов
Authors: Болтова, Виктория Сергеевна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна | Михайлова, Александра Николаевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 133
Type: статьи в сборниках
Date: 2020
Add   Оптимизация компонентов автоматных сетей
Authors: Широкова, Екатерина Владимировна | Шварцкоп, Виктор Александрович
Source: Электронные средства и системы управления : XVI Международная научно-практическая конференция, 18–20 ноября 2020 г. : материалы докладов : в 2 ч.. Томск, 2020. Ч. 2. С. 54-58
Type: статьи в сборниках
Date: 2020
Description: Рассматривается задача оптимизации дискретных многомодульных систем. Предлагаемая оптимизация основана на итеративной покомпонентной оптимизации. Подход основан на использовании так называемых «безраз ... More
Add   Синтез установочных последовательностей для автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 138-
Type: статьи в сборниках
Date: 2020
Add   Cryptanalytic concept of finite automaton invertibility with finite delay
Authors: Agibalov, G. P.
Source: Прикладная дискретная математика. 2019. № 44. С. 34-42
Type: статьи в журналах
Date: 2019
Description: The automaton invertibility with a finite delay plays a very important role in the analysis and synthesis of finite automata cryptographic systems. The automaton cryptanalitic invertibility with a fin ... More
Add   Cryptanalytical finite automaton invertibility with finite delay
Authors: Agibalov, G. P.
Source: Прикладная дискретная математика. 2019. № 46. С. 27-37
Type: статьи в журналах
Date: 2019
Description: The paper continues an investigation of the cryptanalytical invertibility concept with a finite delay introduced by the author for finite automata. Here, we expound an algorithmic test for an automato ... More
Add   К построению параллельной композиции расширенных автоматов
Authors: Широкова, Екатерина Владимировна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 48. С. 83-91
Type: статьи в журналах
Date: 2019
Description: Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Иссл ... More
Add   Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна (научный руководитель)
Type: диссертации
Date: 2019

Creator

Date

Subject

Resource Type

^