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

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Проверка эквивалентности частично построенных комбинационных схем
Authors: Матросова, Анжела Юрьевна | Савенкова, Марина Максимовна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2025. № 71. С. 130-139
Type: статьи в журналах
Date: 2025
Description: Предложен алгоритм проверки эквивалентности частично построенной схемы и ее спецификации. Алгоритм основан на использовании операций пересечения однокоренных ROBDD-графов многовыходных подсхем частичн ... More
Add   Проверка исправности частично построенной схемы путем выполнения операций над ROBDD-графами: магистерская диссертация по направлению подготовки: 01.04.02 - Прикладная математика и информатика
Authors: Савенкова, Марина Максимовна
Type: магистерская диссертация
Date: 2024
Add   Тестирование многовыходных комбинационных схем в условиях известных реакций на тестовые наборы
Authors: Матросова, Анжела Юрьевна | Савенкова, Марина Максимовна | Провкин, Виктор Алексеевич | Сухорученко, Ксения Алексеевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 69. С. 134-143
Type: статьи в журналах
Date: 2024
Description: При построении тестовых последовательностей для многовыходных логических схем обычно используются тестовые наборы на множестве входных переменных схемы, такие что реакции на каждый из наборов отличают ... More
Add   Создание приложения для автоматического сохранения информации в сети Интернет
Authors: Савенкова, Марина Максимовна | Пахомова, Елена Григорьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 108-118
Type: статьи в сборниках
Date: 2022
Add   Создание приложения для автоматического сохранения информации в сети Интернет: выпускная бакалаврская работа по направлению подготовки: 01.03.02 - Прикладная математика и информатика
Authors: Савенкова, Марина Максимовна
Type: выпускная бакалаврская работа
Date: 2022
Add   Создание программы для автоматизации удаления публикаций в сообществе социальной сети "ВКонтакте"
Authors: Савенкова, Марина Максимовна | Пахомова, Елена Григорьевна
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 207-214
Type: статьи в сборниках
Date: 2021
  • «
  • ←
  • 1
  • →
  • »
^