Проблемы синтеза цифровых автоматов [сборник статей]

Проблемы синтеза цифровых автоматов [сборник статей]

Библиографическая информация
Другие авторы:	Лазарев, Владимир Георгиевич (Редактор), Закревский, Аркадий Дмитриевич 1928-2014 (Редактор)
Формат:	Книга
Язык:	Russian
Публикация:	Москва Наука 1967
Предметы:	релейные устройства конечные автоматы логические задачи булевы функции. машинные алгоритмы формализованные языки. дискретные автоматы.
Online-ссылка:	Перейти в каталог НБ ТГУ

Похожие документы

Автоматизация синтеза дискретных автоматов [сборник статей]
Публикация: (1966)

Логические методы анализа и синтеза схем
по: Поспелов, Дмитрий Александрович
Публикация: (1974)

Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Каширова, Лилия Федоровна
Публикация: (1991)

О локальной обратимости конечных автоматов без потери информации
по: Логачев, Олег Алексеевич

Алгоритм матричного отображения графа на булев куб
по: Закревский, Аркадий Дмитриевич 1928-2014

Методы синтеза самопроверяемых дискретных систем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Никитин, Константин Владимирович
Публикация: (2003)

К синтезу условных установочных экспериментов для недетерминированных автоматов
по: Кушик, Наталья Геннадьевна

Homing sequence derivation with quantified boolean satisfiability

Лекции по теории конечных автоматов учебное пособие
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (1984)

К минимизации автоматов с таймаутами
по: Твардовский, Александр Сергеевич

Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика"
по: Дмитриев, И. М.

К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов

Некоторые задачи идентификации состояний для недетерминированных автоматов
по: Евтушенко, Нина Владимировна
Публикация: (2018)

Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Ветрова, Мария Викторовна
Публикация: (2003)

Об обратимости конечных автоматов с конечной задержкой
по: Катеринский, Денис Аркадьевич

Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
по: Kushik, Natalia G.

Параллельные логические вычисления посредством арифметических полиномов
по: Малюгин, Владимир Дмитриевич
Публикация: (1997)

О минимизации временных автоматов
по: Твардовский, Александр Сергеевич

Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
по: Твардовский, Александр Сергеевич

Параллельная композиция конечных автоматов с таймаутами
по: Кондратьева, Ольга Викторовна

Математические вопросы кибернетики [сборник статей]
Публикация: (2005)

О сложности проверки существования установочных последовательностей для недетерминированных автоматов
по: Кушик, Наталья Геннадьевна

О возможностях автоматного описания параллельной композиции временных автоматов
по: Твардовский, Александр Сергеевич

Использование свойств мутационных автоматов для минимизации проверяющих тестов
по: Эль-Факи, Калед

Логическое управление. Методы аппаратной и программной реализации алгоритмов
по: Шалыто, Анатолий Абрамович
Публикация: (2000)

Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
по: Твардовский, Александр Сергеевич

Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
по: Твардовский, Александр Сергеевич

К построению параллельной композиции расширенных автоматов
по: Широкова, Екатерина Владимировна

Модели дискретных устройств с памятью в АСУ Учебное пособие
по: Булыгин, Владилен Серафимович, et al.
Публикация: (1993)

Использование временных автоматов при тестировании киберфизических систем
по: Громов, Максим Леонидович

Программная реализация преобразования глобального полуавтомата во временной автомат
по: Сотников, Александр Павлович

Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Куфарева, Ирина Борисовна
Публикация: (2000)

FSMTest-1.0: a manual for researches
по: Shabaldina, Natalia V

Discrete structures and automata theory
по: Dube, Rakesh
Публикация: (2006)

Тестирование системы автоматов
по: Бурдонов, Игорь Борисович

Характеризация живых решений синхронного автоматного уравнения
по: Вилла, Тизиано

О криптоаналитической обратимости с конечной задержкой конечных автоматов
по: Агибалов, Геннадий Петрович 1939-2020

Refining the specification FSM when deriving test suites w.r.t. the reduction relation
по: Tvardovskii, Aleksandr

On the length of homing sequences for nondeterministic finite state machines
по: Kushik, Natalia G.

Some classes of finite state machines with polynomial length of distinguishing test cases
по: Yenigün, Hüsnü