Голубева Ольга Ивановна
Основная информация |
Публикации |
Методические пособия |
Программа повышения конкурентоспособности |
История состояний |
{"":{"code":null,"name":null}}
Голубева О.И., Рудай Д.В. Построение графа переходов последовательностной схемы с применением SAT-решателя // Современные проблемы физико-математических наук : материалы VII Всероссийской научно-практической конференции с международным участием, г. Орел, 18-21 ноября 2021 г. Орел, 2021. С. 466‒475. 1 электрон. опт. диск (DVD-R).
Голубева О.И. Алгоритмы получения функций тестопригодности для всех полюсов элементов комбинационной схемы с использованием SAT-решателя // Современные проблемы физико-математических наук : материалы VII Всероссийской научно-практической конференции с международным участием, г. Орел, 18-21 ноября 2021 г. Орел, 2021. С. 455‒465. 1 электрон. опт. диск (DVD-R).
Golubeva O. BDD and DNF Based Algorithms for Constructing All Testability Functions of Combinational Circuit //2021 International Siberian Conference on Control and Communications (SIBCON 2021), Kazan, Russia 13-15 may 2021. [Red Hook]: IEEE, 2021. P. 15-20.
Голубева О.И. Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации //Современные проблемы физико-математических наук : материалы VI Всероссийской научно-практической конференции c международным участием (4-5 декабря 2020 г., г. Орел) : научное электронное издание. Орел: ОГУ им. И.С. Тургенева, 2020. С. 335-340. 1 электрон. опт. диск (DVD-R).
Голубева О.И. Алгоритмы получения функций тестопригодности полюса элемента комбинационной схемы //Современные проблемы физико-математических наук : материалы VI Всероссийской научно-практической конференции c международным участием (4-5 декабря 2020 г., г. Орел) : научное электронное издание. Орел: ОГУ им. И.С. Тургенева, 2020. С. 327-335. 1 электрон. опт. диск (DVD-R).
Golubeva O. Three-Value Simulation of Combinational and Sequential Circuits and its Applications //2020 Moscow Workshop on Electronic and Networking Technologies (MWENT 2020), Moscow, 11-13 march 2020. New York: IEEE, 2020. P. 81-87.
Голубева О.И. Построение графа переходов и функций переходов и выходов последовательностной схемы //Кулагинские чтения: техника и технологии производственных процессов : XIX Международная научно-практическая конференция, 28-30 ноября 2019 г., г. Чита : [в 3 ч.]. Ч. 2. Чита: ЗабГУ, 2019. С. 231-236.
Golubeva O., Ruday D. Construction of Controllability, Observability and Stuck-at Fault Detection Functions //Современные проблемы физико-математических наук : материалы V Всероссийской научно-практической конференции c международным участием, 26-29 сентября 2019 г., Орел. Орёл: ОГУ им. И.С. Тургенева, 2019. P. 281-284.
Голубева О.И. Троичное моделирование комбинационных и синхронных последовательностных схем //Современные проблемы физико-математических наук : материалы V Всероссийской научно-практической конференции c международным участием, 26-29 сентября 2019 г., Орел. Орёл: ОГУ им. И.С. Тургенева, 2019. С. 274-281.
Голубева О.И. Получение достаточных множеств и допустимых функций частичных булевых функций //Современные проблемы физико-математических наук : материалы V Всероссийской научно-практической конференции c международным участием, 26-29 сентября 2019 г., Орел. Орёл: ОГУ им. И.С. Тургенева, 2019. С. 268-273.
Голубева О.И. Определение труднообнаружимых неисправностей на основе функций тестопригодности //Электронные средства и системы управления. XIV Международная научно-практическая конференция, 28-30 ноября 2018 г. : материалы докладов : в 2 ч. Ч. 2. Томск: В-Спектр, 2018. С. 217-221.
Голубева О.И. Получение частичной функции и допустимых функций полюса элемента комбинационной схемы //Кулагинские чтения: техника и технологии про- изводственных процессов. XVIII Международная научно- практическая конференция, 28-30 ноября 2018 г., г. Чита : сборник статей : [в 3 ч.]. Ч. 2. Чита: Издательский комплекс ЗабГУ, 2018. С. 271-276.
Голубева О.И. Троичное моделирование схем с применением SAT-решателей //Кулагинские чтения: техника и технологии про- изводственных процессов. XVIII Международная научно- практическая конференция, 28-30 ноября 2018 г., г. Чита : сборник статей : [в 3 ч.]. Ч. 2. Чита: Издательский комплекс ЗабГУ, 2018. С. 266-270.
Голубева О.И. Построение графа переходов последовательностной схемы //Современные проблемы физико-математических наук : материалы IV Всероссийской научно-практической конференции с международным участием, 22-25 ноября 2018 г., г. Орёл : в 2 ч. Ч. 1. Орел: ОГУ им. И.С. Тургенева, 2018. С. 230-235.
Golubeva O. Construction of Permissible Functions and Their Application for Fault Tolerance //2019 International Siberian Conference on Control and Communications (SIBCON 2019), Tomsk, 18-20 april 2019. [S. l.]: IEEE, 2019. P. 485-489.
Парватов Н.Г., Голубева О.И. Нахождение достаточных множеств частичной функции //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 77.
Голубева О.И. Троичное моделирование комбинационных схем с использованием ROBDD //Компьютерные науки и информационные технологии : материалы Междунар. науч. конф., 2-3 июля 2018 г., Саратов. Саратов: Издательский центр "Наука", 2018. С. 112-114.
Golubeva O. Detection of Hard-to-Detect Stuck-at Faults and Generation of their Tests Based on Testability Functions //2018 IEEE International Conference on Automation, Quality and Testing, Robotics. AQTR 2018 (THETA 21), 24-26 may 2018, Cluj-Napoca, Romania. [Cluj-Napoca], 2018. P. 28-32. 1 электрон. опт. диск (CD-R).
Голубева О.И. Поиск входных последовательностей, обеспечивающих заданные переходы схемы, основанный на ROBDD-представлении функций переходов в состояния //Кулагинские чтения: техника и технологии производственных процессов : XVII Междунар. науч.-практ. конф. : сб. ст. : [в 3 ч.]. Ч. 2. Чита: Издательский комплекс ЗабГУ, 2017. С. 49-54.
Голубева О.И. Получение множества don't care для полюса элемента комбинационной схемы в виде ОДНФ и ROBDD //Кулагинские чтения: техника и технологии производственных процессов : XVII Междунар. науч.-практ. конф. : сб. ст. : [в 3 ч.]. Ч. 2. Чита: Издательский комплекс ЗабГУ, 2017. С. 44-49.
Голубева О.И. Определение труднообнаружимых неисправностей на основе функции обнаружения константной неисправности. //Высокие технологии. Проблемы и решения: сборник избранных статей десятой и одиннадцатой международных научно-практических конференций "Высокие технологии, фундаментальные и прикладные исследования в физиологии и медицине". Санкт-Петербург: Изд-во Политехн. Ун-та Санкт-Петербурга, 2016. С. 33-35.
Голубева О.И. Троичное моделирование синхронных последовательностных схем, основанное на ROBDD представлении функций //Кулагинские чтения: техника и технологии производственных процессов: XVI Междунар. науч.-практ. конф.: сб. ст. [в 3 ч.]. Ч. 2. Чита: Издательский комплекс ЗабГУ, 2016. С. 131-136.
Голубева О.И. Исследование возможности обнаружения неисправностей переходов последовательностной схемы в процессе функционирования //Новые информационные технологии в исследовании сложных структур: материалы Десятой российской конференции с международным участием. Томск: Издательский Дом ТГУ, 2014. С. 49-50.
Голубева О.И. Интервальные расширения булевых функций и троичное моделирование последовательностных схем //Таврический научный обозреватель. 2017. № 5 (22). С. 208-220. URL: http://tavr.science/stat/2017/05/13-Golubeva.pdf.
Голубева О.И. Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем //Таврический научный обозреватель. 2017. № 4 (21). С. 136-146. URL:: http://tavr.science/stat/2017/04/16-Golubeva.pdf(РИНЦ).
Голубева О.И. Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы //Таврический научный обозреватель. 2017. № 4 (21). С. 122-135. URL:: http://tavr.science/stat/2017/04/03-Golubeva.pdf(РИНЦ).
Голубева О.И. Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций //Таврический научный обозреватель. 2017. № 3 (20). С. 129-140. URL:: http://tavr.science/stat/2017/03/17-Golubeva.pdf(РИНЦ).
Голубева О.И. Определение труднообнаружимых неисправностей комбинационных схем //Таврический научный обозреватель. 2017. № 3 (20). С. 114-118. URL:: http://tavr.science/stat/2017/03/02-Golubeva.pdf(РИНЦ).
Голубева О.И. Точные оценки управляемости, наблюдаемости и вероятности обнаружения неисправности для комбинационных схем, основанные на ОДНФ и ROBDD представлениях функций //Таврический научный обозреватель. 2017. № 2 (19). С. 145-150. URL:: http://tavr.science/stat/2017/02/11-Golubeva.pdf.
Голубева О.И. Функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемы // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. № 1(30). С. 77‒86.
Голубева О.И., Матросова А.Ю. Введение в теорию графов. Томск: Изд-во Том. ун-та, 2011. 32c.
Голубева О.И., Сибирякова В.А. Введение в язык С. Часть 2. Томск: Изд-во Том. ун-та, 2011. 49c.