Showing 1 - 20 results of 21 for search 'Голубева, Ольга Ивановна', query time: 0.05s Refine Results
  1. 1
    Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
    Перейти в каталог НБ ТГУ
    Book
  2. 2
    Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
    Перейти в каталог НБ ТГУ
    Book
  3. 3
    Алгоритмы получения функций тестопригодности полюса элемента комбинационной схемы
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  4. 4
    Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  5. 5
    Троичное моделирование синхронных последовательных схем
    Перейти в каталог НБ ТГУ
    Book Chapter
  6. 6
    Об оценке корректности моделирования дискретных устройств
    Перейти в каталог НБ ТГУ
    Book Chapter
  7. 7
    Моделирование синхронных схем с памятью на не полностью определенных входных последовательностях произвольной длины
    Перейти в каталог НБ ТГУ
    Book Chapter
  8. 8
    Интервальные расширения булевых функций и троичное моделирование последовательностных схем
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  9. 9
    Определение труднообнаружимых неисправностей комбинационных схем
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  10. 10
    Точные оценки управляемости, наблюдаемости и вероятности обнаружения неисправности для комбинационных схем, основанные на ОДНФ и ROBDD представлениях функций
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  11. 11
    Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  12. 12
    Исследование возможности обнаружения неисправностей переходов последовательностной схемы в процессе функционирования
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  13. 13
    Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  14. 14
    Функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемы
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  15. 15
    Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  16. 16
    Троичное моделирование комбинационных схем с использованием ROBDD
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  17. 17
    Нахождение достаточных множеств частичной функции
    Other Authors: “...Голубева, Ольга Ивановна...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  18. 18
    Базы данных рабочая программа дисциплины : направление подготовки: 010400 - Прикладная математика и информатика; квалификация выпускника: Бакалавр; форма обучения: очная
    Other Authors: “...Голубева, Ольга Ивановна...”
    Перейти в каталог НБ ТГУ
    eBook
  19. 19
    Введение в теорию графов учебно-методическое пособие
    Published 2011
    Other Authors: “...Голубева, Ольга Ивановна...”
    Book
  20. 20
    Введение в язык C учебное пособие
    Published 2011
    Other Authors: “...Голубева, Ольга Ивановна...”
    Get full text
    eBook
Search Tools: Get RSS Feed