Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01

Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01

Библиографическая информация
Главный автор:	Голубева, Ольга Ивановна
Соавтор:	Томский государственный университет
Формат:	Книга
Язык:	Russian
Публикация:	Томск 2000
Предметы:	диссертации. теория автоматов. моделирование управляющих систем. тесты. математические методы. управляемость. наблюдаемость. тестирование вероятностное. логические автоматы. моделирование троичное.
Online-ссылка:	Перейти в каталог НБ ТГУ

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

Построение частичных функций для подсхем
по: Ложкин, Алексей Сергеевич

Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем
по: Голубева, Ольга Ивановна

Точные оценки управляемости, наблюдаемости и вероятности обнаружения неисправности для комбинационных схем, основанные на ОДНФ и ROBDD представлениях функций
по: Голубева, Ольга Ивановна

Троичное моделирование синхронных последовательных схем
по: Голубева, Ольга Ивановна

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
по: Голубева, Ольга Ивановна

Троичное моделирование комбинационных схем с использованием ROBDD
по: Голубева, Ольга Ивановна

Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций
по: Голубева, Ольга Ивановна

Определение труднообнаружимых неисправностей комбинационных схем
по: Голубева, Ольга Ивановна

Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Тренькаев, Вадим Николаевич
Публикация: (2000)

К верификации логических схем на основе временных автоматов
по: Кидярова, Галина Владимировна

Методы синтеза контролепригодных дискретных устройств Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Останин, Сергей Александрович
Публикация: (2000)

Моделирование синхронных схем с памятью на не полностью определенных входных последовательностях произвольной длины
по: Голубева, Ольга Ивановна

Интервальные расширения булевых функций и троичное моделирование последовательностных схем
по: Голубева, Ольга Ивановна

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

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

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

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Громов, Максим Леонидович
Публикация: (2009)

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

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

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

Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
по: Голубева, Ольга Ивановна
Публикация: (2000)

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

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

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

Метод построения полного проверяющего теста для входо-выходных полуавтоматов
по: Громов, Максим Леонидович

Методы идентификации систем
по: Гроп, Даниэль
Публикация: (1979)

Обеспечение надежности физических систем: выявление мест возможного включения вредоносных подсхем (Trojan Circuits) в последовательностных схемах

Теория тестирования логических устройств
Публикация: (2006)

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

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

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

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

Элементы математической кибернетики [учебник для вузов для студентов механико-математических и математических факультетов, а также факультетов прикладной математики университетов]
по: Яблонский, Сергей Всеволодович 1924-1998
Публикация: (2007)

Теория автоматов учебник
по: Кудрявцев В. Б. Валерий Борисович
Публикация: (2024)

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

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

Криптографические методы защиты информации учебно-методическое пособие : [для студентов вузов по специальности 080801 "Прикладная информатика" и другим междисциплинарным специальностям]
по: Бабаш, Александр Владимирович
Публикация: (2014)

Экспериментальное сравнение методов синтеза проверяющих тестов для детерминированных автоматов
по: Дорофеева, Маргарита Юрьевна

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

Символическая логика и разумные машины
по: Беркли, Э.
Публикация: (1961)