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

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

Библиографическая информация
Главные авторы:	Карибский, В. В. Вячеслав Владимирович (Автор), Пархоменко, П. П. Павел Павлович (Автор), Согомонян, Е. С. Егор Сергеевич (Автор)
Формат:	Книга
Публикация:	М.: Энергия 1967
Серии:	Библиотека по автоматике; Вып. 261
Предметы:	ЛОГИЧЕСКАЯ МОДЕЛЬ ФУНКЦИОНАЛЬНАЯ МОДЕЛЬ КОМБИНАЦИОННЫЕ УСТРОЙСТВА КОНТРОЛЬ РАБОТОСПОСОБНОСТИ ПОИСК НЕИСПРАВНОСТЕЙ КОНЕЧНЫЕ АВТОМАТЫ
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

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

Техническая диагностика объектов контроля (методы анализа непрерывных и дискретных объектов)
по: Карибский, Вячеслав Владимирович
Публикация: (1967)

Синтез и тестирование дискретных систем учебное пособие
по: Буркатовская, Ю. Б. математик доцент Томского политехнического университета, кандидат физико-математических наук 1973-
Публикация: (2012)

Автоматический поиск неисправностей
Публикация: (1967)

Синтез и тестирование дискретных устройств учебное пособие
по: Буркатовская, Ю. Б. математик доцент Томского политехнического университета, кандидат физико-математических наук 1973-
Публикация: (2012)

Отыскание неисправностей и настройка цветных телевизоров: научное издание/
по: Ельяшкевич, С. А. Самуил Абрамович
Публикация: (1976)

Отыскание неисправностей и настройка цветных телевизоров: научное издание/
по: Ельяшкевич, С. А. Самуил Абрамович
Публикация: (1972)

Азбука разработчика цифровых устройств: научно-популярная литература/
по: Лобанов Владимир Иванович
Публикация: (2001)

Обеспечение работоспособности систем с произвольным доступом и самопроверяемости логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Седов, Юрий Владимирович
Публикация: (2004)

Refining specifications in adaptive testing of nondeterministic finite state machines
по: Petrenko, Alexandre F.

Применение конечных автоматов для нечеткого бинарного поиска
по: Панкратов, Иван Владимирович

Цифровые устройства на интегральных схемах в технике связи: /
по: Гольденберг, Л. М. Лев Моисеевич, et al.
Публикация: (1979)

Теория автоматов учебно-методическое пособие
по: Буркатовская, Юлия Борисовна
Публикация: (2010)

Диагностика отказов цифровых вычислительных систем пер. с англ.
по: Чжен, Г. Я.
Публикация: (1972)

Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ]
по: Евтушенко, Нина Владимировна
Публикация: (2013)

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

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

Some classes of finite state machines with polynomial length of distinguishing test cases
по: Yenigün, Hüsnü

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

Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
по: Останин, Сергей Александрович

Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью
по: Сперанский, Дмитрий Васильевич 1939-

Adaptive homing sequences for partial weakly-initialized observable FSMs
по: Vinarskii, Evgenii

Логическое проектирование цифровых устройств радиотехнических систем: монография/
по: Пухальский, Г.И. Геннадий Иванович
Публикация: (1976)

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

Автоматы с распределенной памятью: /
по: Захаров, В. Н. Валерий Николаевич
Публикация: (1975)

A practical approach for testing timed deterministic finite state machines with single clock
по: El-Fakih, Khaled

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

Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Тихомирова, Светлана Владимировна
Публикация: (2008)

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

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

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

Клеточные автоматы как модель реальности Поиски новых представлений физических и информационных процессов: Пер. с англ.
по: Беркович, Семен Яковлевич
Публикация: (1993)

Уточнение стратегии майнинга для небольшой группы участников
по: Черемушкин, Александр Васильевич

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

Логическое проектирование цифровых систем на основе программируемых логических интегральных схем
по: Соловьев, Валерий Васильевич
Публикация: (2018)

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

Locating a faulty component of an EFSM composition
по: Prokopenko, Svetlana A.

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

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

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

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