Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 34 results.

    1.
    No cover image available
    Stuck-at-faults tester as a web-service N. A. Shalyapina, A. A. Zaytsev, S. V. Batratskiy, M. L. Gromov

    by Zaytsev, A. A | Batratskiy, S. V | Gromov, Maxim L | Shalyapina, N. A.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Тесты на константные неисправности как веб-сервис.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Единичные проверяющие тесты для схем из функциональных элементов в базисе "конъюнкция-отрицание" К. А. Попков

    by Попков, Кирилл Андреевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Single fault detection tests for logic networks of and, not gates.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед.

    Source: Моделирование и анализ информационных системMaterial type: Article Article; Format: electronic available online remote Other title: Testing timed nondeterministic finite state machines with the guaranteed fault coverage.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    К синтезу проверяющих тестов для программной реализации протокола DCCP М. А. Лештаев, С. А. Прокопенко

    by Лештаев Максим Александрович | Прокопенко, Светлана Анатольевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Оптимизация проверяющего теста для неисправностей задержек контролепригодных схем А. Ю. Матросова, А. В. Мельников

    by Матросова, Анжела Юрьевна | Мельников, А. В.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

    by Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Метод построения полного проверяющего теста для входо-выходных полуавтоматов М. Л. Громов

    by Громов, Максим Леонидович.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    К синтезу проверяющих тестов для мутационного автомата М. Ю. Дорофеева

    by Дорофеева, Маргарита Юрьевна.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов Е. А. Акеньшина, Н. В. Шабалдина

    by Акеньшина, Екатерина Алексеевна | Шабалдина, Наталия Владимировна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Refining specifications in adaptive testing of nondeterministic finite state machines A. F. Petrenko, N. V. Yevtushenko

    by Petrenko, Alexandre F | Yevtushenko, Nina V.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов К. А. Попков

    by Попков, Кирилл Андреевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Synthesis of easily testable logic networks under arbitrary stuck-at faults at inputs and outputs of gates.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    Сокращение длины проверяющего теста, обнаруживающего кратные константные неисправности на полюсах логических элементов комбинационной схемы В. В. Андреева

    by Андреева, Валентина Валерьевна.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    14.
    No cover image available
    Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика" И. М. Дмитриев, М. В. Жигулин, Д. Д. Попов

    by Дмитриев, И. М | Жигулин, Максим Владимирович | Попов, Дмитрий Дмитриевич.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    15.
    No cover image available
    К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции Н. В. Евтушенко, А. Ф. Петренко

    by Евтушенко, Нина Владимировна | Петренко, Александр Федорович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    16.
    No cover image available
    Минимизация проверяющих тестов для конечных автоматов М. Дорофеева, И. Куфарева

    by Дорофеева, Маргарита Юрьевна | Куфарева, Ирина Борисовна.

    Source: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

    by Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    18.
    No cover image available
    Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента И. Б. Куфарева, В. Н. Тренькаев

    by Куфарева, Ирина Борисовна | Тренькаев, Вадим Николаевич.

    Source: Вестник Томского государственного университетаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа Д. А. Третьяков, С. А. Останин

    by Третьяков, Дмитрий Александрович | Останин, Сергей Александрович.

    Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    20.
    No cover image available
    Increasing Manufacturing Yield Using Partially Programmable Circuits with CLB implementation of Incompletely Specified Boolean Function of the Corresponding Sub-circuit A. Y. Matrosova, S. A. Ostanin, I. E. Kirienko

    by Matrosova, Anzhela Yu | Ostanin, Sergey A | Kirienko, Irina E | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Научное управление Лаборатории НУ | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Proceedings 2015 IEEE : 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS 2015), 22-24 April 2015, Belgrade, SerbiaMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    21.
    No cover image available
    Тестирование кратных неисправностей в схемах, полученных покрытием вершин ROBDD-графов Invert-AND-XOR подсхемами Е. В. Митрофанов

    by Митрофанов, Евгений Владимирович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы 11-й международной конференции, 6–10 июня 2016 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    22.
    No cover image available
    Экспериментальное сравнение методов синтеза проверяющих тестов для детерминированных автоматов М. Ю. Дорофеева

    by Дорофеева, Маргарита Юрьевна.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Adolescent; Availability: No items available :
    Log in to add tags Add to cart
    23.
    No cover image available
    Короткие проверяющие тесты для контактных схем при произвольных слабо связных неисправностях контактов К. А. Попков

    by Попков, Кирилл Андреевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Short fault detection tests for contact circuits under arbitrary weakly connected faults of contacts.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    24.
    No cover image available
    Построение проверяющих тестов для одиночных и кратных константных неисправностей на полюсах элементов схем, синтезированных на базе ПЛИС (FPGA)-технологий по системе Free BDD-графов Е. А. Николаева

    by Николаева, Екатерина Александровна.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    25.
    No cover image available
    Короткие единичные проверяющие тесты для схем при произвольных неисправностях функциональных элементов К. А. Попков

    by Попков, Кирилл Андреевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: Short single fault detection tests for logic networks under arbitrary faults of gates.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов А. Коломеец, М. Громов, С. Прокопенко, Н. Евтушенко

    by Коломеец, Антон Владимирович | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна.

    Source: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ (29 сентября - 4 октября 2003 г.)Material type: Article Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    27.
    No cover image available
    Экспериментальное исследование полноты тестов, построенных по конечно-автоматным срезам расширенного автомата А. Л. Никитин

    by Никитин, Александр Леонидович.

    Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участиемMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    Log in to add tags Add to cart
    28.
    No cover image available
    К тестированию недетерминированных автоматов с таймаутами относительно неразделимости Н. В. Шабалдина

    by Шабалдина, Наталия Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    29.
    No cover image available
    К построению подавтоматов без слияний для недетерминированных конечных автоматов А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    30.
    No cover image available
    Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата А. С. Твардовский

    by Твардовский, Александр Сергеевич.

    Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    31.
    No cover image available
    Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей А. В. Лапутенко, Х. Е. Лопез, Н. В. Евтушенко

    by Лапутенко, Андрей Владимирович | Лопез Коронадо, Хорхе Елеазар | Евтушенко, Нина Владимировна.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    32.
    No cover image available
    К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами Н. В. Шабалдина, Р. Ф. Галимуллин

    by Шабалдина, Наталия Владимировна | Галимуллин, Рустам Фанисович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    33.
    No cover image available
    О схемах, допускающих короткие единичные проверяющие тесты при произвольных неисправностях функциональных элементов К. А. Попков

    by Попков, Кирилл Андреевич.

    Source: Прикладная дискретная математикаMaterial type: Article Article; Format: electronic available online remote Other title: On logic networks allowing short single fault detection tests under arbitrary faults of gates.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    34.
    No cover image available
    Использование свойств мутационных автоматов для минимизации проверяющих тестов К. Эль-Факи, Н. В. Евтушенко, М. Ю. Дорофеева

    by Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart