Научная библиотека ТГУ catalog › Results of search for 'an:"491131"'

Search

Your search returned 9 results.

	1.	No cover image available Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей В. З. Тычинский, В. В. Андреева by Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.Material type: Article; Format: electronic available online ; 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 (remove)
	2.	No cover image available Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы В. З. Тычинский, В. В. Андреева by Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.Material type: Article; Format: electronic available online ; 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 (remove)
	3.	No cover image available Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем А. Ю. Матросова, В. А. Провкин, В. З. Тычинский [и др.] by Матросова, Анжела Юрьевна \| Провкин, Виктор Алексеевич \| Тычинский, Вячеслав Зиновьевич \| Николаева, Екатерина Александровна \| Гошин, Геннадий Георгиевич. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей В. З. Тычинский, В. В. Андреева by Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.Material type: Article; Format: electronic available online ; 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 (remove)
	5.	No cover image available Разработка и реализация специализированного программного обеспечения для курса "Методы оптимизации" В. З. Тычинский by Тычинский, Вячеслав Зиновьевич. Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.Material type: Article; Format: electronic available online ; 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 (remove)
	6.	No cover image available Метод исключения переменной из КНФ Цейтина В. З. Тычинский by Тычинский, Вячеслав Зиновьевич. Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.Material type: Article; Format: electronic available online ; 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 (remove)
	7.	No cover image available Использование ROBDD-графов для тестирования задержек логических схем А. Ю. Матросова, В. В. Андреева, В. З. Тычинский, Г. Г. Гошин by Андреева, Валентина Валерьевна \| Тычинский, Вячеслав Зиновьевич \| Гошин, Геннадий Георгиевич \| Матросова, Анжела Юрьевна. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул А. Ю. Матросова, В. З. Тычинский, В. В. Андреева by Матросова, Анжела Юрьевна \| Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Other title: Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	No cover image available Булева разность и обнаружение неисправностей задержек пути А. Ю. Матросова, В. З. Тычинский, В. В. Андреева by Матросова, Анжела Юрьевна \| Тычинский, Вячеслав Зиновьевич \| Андреева, Валентина Валерьевна. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Other title: Boolean difference and path delay faults detection.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)