Голубева Ольга Ивановна (Golubeva O.I.)
Должность: доцент кафедры программирования
Учёная степень: кандидат технических наук
Учёное звание: доцент
Учёная степень: кандидат технических наук
Учёное звание: доцент
Окончила с отличием факультет прикладной математики и кибернетики Томского государственного университета в 1996 г. по специальности «Прикладная математика», специализация «Математическое и программное обеспечение вычислительных машин и систем». В 1996 г. поступила в аспирантуру по кафедре программирования ТГУ. В 2000 г. защитила диссертацию на тему «Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем» (научный руководитель – А.Ю. Матросова). С 1999 г. сотрудник кафедры программирования. С 2001 г. по 2007 г. проходила стажировку в Туринском политехническом университете (Италия). С 2007 г. по настоящее время – доцент кафедры программирования.
Учебная работа
Читал или читает общие и специальные курсы:
– Дискретная математика;
– Методы программирования;
– Верификация программ;
– Формальная верификация ПО.
Ведет практические и лабораторные занятия по курсам:
– Информатика;
– Языки и методы программирования;
– Базы данных.
Осуществляет научное руководство выполнением курсовых и дипломных работ студентов ФПМК.
Опубликованы (в соавторстве): 1) Учебное пособие «Введение в язык С» в двух частях 2) Учебно-методическое пособие «Введение в теорию графов».
Научная работа
С 1996 года занимается исследованиями в области диагностики дискретных устройств. Вела исследования по темам «Троичное моделирование комбинационных и синхронных последовательностных схем», «Меры тестопригодности» и «Самопроверяемые системы». В частности, были разработаны методы точного троичного моделирования синхронных последовательностных схем; методы точного вычисления мер тестопригодности: управляемости, наблюдаемости и вероятности обнаружения неисправности; методы получения функций наблюдаемости и обнаружения неисправности в виде ОДНФ и BDD представлений.
С 2001 до 2007 стажировалась в Туринском политехническом университете, где вела исследования в области диагностики и энергосберегающего проектирования электронных схем.
Опубликовала 35 научных работ. Представляла доклады на 12 научных симпозиумах и конференциях.
Организационная работа
Занималась организационной работой по делам молодежи на ФПМК. Являлась членом ученого совета ФПМК.
Награды
Государственные награды
- Лауреат государственной научной стипендии Российской академии наук (2000 г.).
- Лауреат конкурса ФЦП «Интеграция» по направлению «Обеспечение участия талантливых молодых исследователей университетов в международных конференциях по фундаментальным проблемам математических и естественных наук» (2001 г.).
Региональные награды
- Премия Государственной Думы Томской области в номинации «Технические науки» за 2007 год.
Награды Томского государственного университета
- Премия Томского государственного университета для молодых ученых по направлению «Информатика и кибернетика» (2000 г.).
- Премия Томского государственного университета «За высокие достижения в науке» среди молодых ученых (2007 г.).
Публикации
- Голубева О.И. Функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемы // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. №1(30). С. 77–86.
- Голубева О.И. Исследование возможности обнаружения неисправностей переходов последовательностной схемы в процессе функционирования // Материалы Десятой российской конференции с международным участием «Новые информационные технологии в исследовании сложных структур». Пос. Катунь. 9 – 11, июня 2014. –Томск: НИ ТГУ, 2014. – С. 49–50.
- M. Loghi, O. Golubeva, E. Macii, M. Poncino Architectural Leakage Power Minimization of Scratchpad Memories by Application-Driven Subbanking. IEEE Transactions on Computers. –2010. – V. 59, N. 7. – pp. 891 - 904.
- Голубева О.И. Моделирование синхронных схем с памятью на не полностью определенных входных последовательностях произвольной длины // Тез. докл. седьмой Российской конференции с международным участием «Новые информационные технологии в исследовании сложных структур». Томск. 2 – 5, сентября 2008. –Томск: Изд-во НТЛ, 2008. – С. 46.
- O. Golubeva. On-Line Control-Flow Checking for FSMs // Вестник Томского государственного университета. – 2007. – Приложение. №23. Докл. VI Сибирской научной школы-семинара с межд. участием «Компьютерная безопасность и криптография» – SIBERCRYPT’07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4 - 7 сентября 2007 г.) – С. 264 - 269.
- O. Golubeva, M. Loghi, E. Macii, M. Poncino Locality-driven architectural cache sub-banking for leakage energy reduction. Proceedings. International Symposium on Low Power Electronics and Design. Portland, OR, USA. August 27 - 29, 2007.
- O. Golubeva, M. Loghi, M. Poncino. On the Energy Efficiency of Synchronization Primitives for Shared-Memory Single-Chip Multiprocessors. Proceedings. The 17th edition of ACM Great Lakes Symposium on VLSI. Stresa – Lago Maggiore, Italy. March 11-13, 2007. – pp. 489 - 492.
- O. Golubeva, M. Loghi, M. Poncino, E. Macii. Architectural Leakage-Aware Management of Partitioned Scratchpad Memories. Proceedings. IEEE Design, Automation and Test in Europe Conference and Exhibition. Nice, France. April 16 - 20, 2007.
- O. Goloubeva, M. Rebaudengo, M. Sonza Reorda, M. Violante. Software-Implemented Hardware Fault Tolerance. – New-York: Springer Science+Business Media, LLC, 2006. – 228 p.
- O. Goloubeva, M. Rebaudengo, M. Sonza Reorda, M. Violante Improved Software-Based Processor Control-Flow Errors Detection Technique. Proceedings. IEEE Annual Reliability and Maintainability Symposium. Los Angeles, CA, USA. January 24 - 27, 2005. – pp. 583 - 589.
- O. Goloubeva, M. Sonza Reorda, M. Violante. Test Generation: A Heuristic Approach // System-level Test and Validation of Hardware/Software Systems. – London (UK): Springer-Verlag, 2005. – pp. 47 - 65.
- O. Goloubeva, M. Sonza Reorda, M. Violante. Automatic Generation of Validation Stimuli for Application-Specific Processors. Proceedings. IEEE Design, Automation and Test in Europe Conference and Exhibition. Paris, France. February 16 - 20, 2004. – pp. 188 - 193.
- O. Goloubeva, M. Rebaudengo, M. Sonza Reorda, M. Violante. Software Techniques for Dependable Computer-based Systems // Space Radiation Environment and its Effects on Spacecraft Components and Systems. – Toulouse (France): Cépaduès éd., 2004. – pp. 461 - 480.
- O. Goloubeva, M. Sonza Reorda, M. Violante. Concurrent Error Detection Technique Oriented to Data Dominated Systems. Proceedings. 18th Conference on Design of Circuits and Integrated Systems. Ciudad Real, Spain. November 19 - 21, 2003. – pp. 339 - 343.
- O. Goloubeva, M. Sonza Reorda, M. Violante. High-level test generation for hardware testing and software validation. Proceedings. 8th IEEE International High Level Design Validation and Test Workshop 2003. San Francisco, California. November 12 - 14, 2003. – pp. 143 - 148.
- O. Goloubeva, M. Rebaudengo, M. Sonza Reorda, M. Violante. Soft-error Detection Using Control Flow Assertions. Proceedings. 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. Cambridge, MA, USA. November 3 - 5, 2003. – pp. 581 - 588.
- Matrosova A., Andreeva V., Goloubeva O., Nikitin K., Ostanin S., Sedov Yu. Self-Checking and Fail-Safe Synchronous Sequential Circuit Design // Радиоэлектроника и информатика. – 2003. – №3. – С. 107 - 112.
- O. Goloubeva, M. Sonza Reorda, M. Violante. An RT-level Concurrent Error Detection Technique for Data Dominated Systems. Proceedings. 9th IEEE International On-Line Testing Symposium. Kos Island, Greece. July 7 - 9, 2003. – pp. 159.
- O. Goloubeva, M. Sonza Reorda, M. Violante. High level input stimuli generation for testing hardware/software system. Proceedings. IEEE European Test Workshop. Maastricht, The Netherlands. May 25 - 28, 2003. – pp. 295 - 296.
- O. Goloubeva, M. Sonza Reorda, M. Violante. Behavioral-level test vector generation: fault model selection and preliminary test generation results. Proceedings. 17th Conference on Design of Circuits and Integrated Systems. Santander, Spain. November 19 - 22, 2002. – pp. 39 - 43.
- G. Jervan, Z. Peng, O. Goloubeva, M. Sonza Reorda, M. Violante. High-Level and Hierarchical Test Sequence Generation. Proceedings. 7th Annual IEEE International High Level Design Validation and Test Workshop. Cannes, France. October 27 - 29, 2002. – pp. 169 - 174.
- O. Goloubeva, M. Sonza Reorda, M. Violante. Behavioral-level Fault Models Comparison: an Experimental Approach. Proceedings. 4th All-Russian Conference with Foreign Participation “New informational technologies in researching of complicated structures”. Tomsk, Russia. September 10 - 13, 2002. – pp. 305 - 309.
- O. Goloubeva, M. Sonza Reorda, M. Violante. Experimental Analysis of Fault Models for Behavioral-Level Test Generation. Proceedings. 5th International Workshop IEEE “Design and Diagnostics of Electronic Circuits and Systems”. Brno, Czech Republic. April 17 - 19, 2002. – pp. 416 - 419.
- A. Matrosova, O. Goloubeva, K. Nikitin, S. Ostanin Self-Checking FSM Design Based on BDD Synthesis Methods and FPGA Implementation. Proceedings. 4th International Conference on Computer-Aided Design of Discrete Devices. Minsk, Belarus. November 14 - 16, 2001.
- A. Matrosova, K. Nikitin, O. Goloubeva. Totally Self-Checking FSM Design Based on Multilevel Synthesis Methods and FPGA Implementation. Proceedings. 7th IEEE International On-Line Testing Workshop. Giardini Naxos, Taormina, Italy. July 9 - 11, 2001. – pp. 144.
- Голубева О.И., Матросова А.Ю. Точный метод вычисления вероятности обнаружения неисправности, основанный на ОДНФ-представлении функции // Материалы 3-й междунар. конференции «Автоматизация проектирования дискретных систем». Минск. 10-12 ноября 1999. – Минск: ИТК НАН Беларуси, 1999. – Т. 3. – С. 64 - 71.
- Голубева О.И. Метод вычисления вероятности обнаружения неисправности, основанный на BDD представлении функции // Тр. 3-го междунар. симпозиума «Application of the Conversion Research Results for International Cooperation». Томск. 18-20 мая 1999. – Томск, 1999. – Т. 1. – С. 195 - 197.
- Голубева О.И. Троичное моделирование синхронных последовательностных схем // Математическое моделирование. Кибернетика. Информатика. – Томск: Изд-во ТГУ, 1999. – С. 53 - 59.
- Голубева О.И. Коррекция результатов троичного моделирования на последовательностях произвольной длины // Докл. 2-й всероссийской конф. «Новые информационные технологии в исследовании дискретных структур». Екатеринбург. 2 - 5 ноября 1998. – Екатеринбург: ИМАШ УрО РАН, 1998. – С. 62 - 68.
- Матросова А.Ю., Голубева О.И. О коррекции результатов одного шага троичного моделирования // Докл. 2-й всероссийской конф. «Новые информационные технологии в исследовании дискретных структур». Екатеринбург. 2 - 5 ноября 1998. – Екатеринбург: ИМАШ УрО РАН, 1998. – С. 112 - 116.
- A. Matrosova, O. Golubeva, T. Oshlakova. On Correction of the Results of a Ternary Simulation and a Preliminary Estimation of the Correction Results. Proceedings. 6th Biennial Conference on Electronics and Microsystems Technology “Baltic Electronics Conference”. Tallinn, Estonia. October 7 - 9, 1998. – pp. 183 - 186.
- О.И. Голубева. Реализация троичного моделирования синхронных последовательностных устройств без потери точности // Материалы междунар. конф. «Сибирская конференция по исследованию операций». Новосибирск. 22-27 июня 1998. – Новосибирск: Изд-во ин-та математики СО РАН, 1998. – С. 124.
- Голубева О.И., Матросова А.Ю., Ошлакова Т.А. Об оценке корректности моделирования дискретных устройств // Тез. докл. междунар. конф. «Всесибирские чтения по математике и механике». Томск. 17 - 20 июня 1997. – Томск: Из-во Томского ун-та, 1997. – Т. 1. – С. 153 - 154.
- A. Matrosova, O. Golubeva, S. Tsurikov. A Random Approach to Correcting the Results of a Ternary Simulation. Compendium of papers. IEEE European Test Workshop. Cagliari, Italy. May 28 - 30, 1997.
- Матросова А.Ю., Голубева О.И., Коновалова А.А. К проблеме устойчивости вероятностного поведения синхронных последовательностных устройств // Тр. 3-й междунар. науч.-техн. конф. «Актуальные проблемы электронного приборостроения». Новосибирск. 13 – 16 ноября 1996. – Новосибирск, 1996. – Т. 6. – Ч.1. – С. 100 - 101.