Голубева Ольга Ивановна

Голубева Ольга Ивановна
Голубева Ольга Ивановна (Golubeva O.I.)
Должность: доцент кафедры программирования
Учёная степень: кандидат технических наук
Учёное звание: доцент
Окончила с отличием факультет прикладной математики и кибернетики Томского государственного университета в 1996 г. по специальности «Прикладная математика», специализация «Математическое и программное обеспечение вычислительных машин и систем». В 1996 г. поступила в аспирантуру по кафедре программирования ТГУ. В 2000 г. защитила диссертацию на тему «Разработка и исследование методов моделирования и оценки мер тестопригодности логических схем» (научный руководитель – А.Ю. Матросова). С 1999 г. сотрудник кафедры программирования. С 2001 г. по 2007 г. проходила стажировку в Туринском политехническом университете (Италия). С 2007 г. по настоящее время – доцент кафедры программирования.
Учебная работа
Читал или читает общие и специальные курсы:
– Дискретная математика;
– Методы программирования;
– Верификация программ;
– Формальная верификация ПО.
Ведет практические и лабораторные занятия по курсам:
– Информатика;
– Языки и методы программирования;
– Базы данных.
Осуществляет научное руководство выполнением курсовых и дипломных работ студентов ФПМК.
Опубликованы (в соавторстве): 1) Учебное пособие «Введение в язык С» в двух частях 2) Учебно-методическое пособие «Введение в теорию графов».
Научная работа
С 1996 года занимается исследованиями в области диагностики дискретных устройств. Вела исследования по темам «Троичное моделирование комбинационных и синхронных последовательностных схем», «Меры тестопригодности» и «Самопроверяемые системы». В частности, были разработаны методы точного троичного моделирования синхронных последовательностных схем; методы точного вычисления мер тестопригодности: управляемости, наблюдаемости и вероятности обнаружения неисправности; методы получения функций наблюдаемости и обнаружения неисправности в виде ОДНФ и BDD представлений.
С 2001 до 2007 стажировалась в Туринском политехническом университете, где вела исследования в области диагностики и энергосберегающего проектирования электронных схем.
Опубликовала 35 научных работ. Представляла доклады на 12 научных симпозиумах и конференциях.
Организационная работа
Занималась организационной работой по делам молодежи на ФПМК. Являлась членом ученого совета ФПМК.
Награды
Государственные награды
  1. Лауреат государственной научной стипендии Российской академии наук (2000 г.).
  2. Лауреат конкурса ФЦП «Интеграция» по направлению «Обеспечение участия талантливых молодых исследователей университетов в международных конференциях по фундаментальным проблемам математических и естественных наук» (2001 г.).
Региональные награды
  1. Премия Государственной Думы Томской области в номинации «Технические науки» за 2007 год.
Награды Томского государственного университета
  1. Премия Томского государственного университета для молодых ученых по направлению «Информатика и кибернетика» (2000 г.).
  2. Премия Томского государственного университета «За высокие достижения в науке» среди молодых ученых (2007 г.).
Публикации
  1. Голубева О.И. Функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемы // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. №1(30). С. 77–86.
  2. Голубева О.И. Исследование возможности обнаружения неисправностей переходов последовательностной схемы в процессе функционирования // Материалы Десятой российской конференции с международным участием «Новые информационные технологии в исследовании сложных структур». Пос. Катунь. 9 – 11, июня 2014. –Томск: НИ ТГУ, 2014. – С. 49–50.
  3. 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.
  4. Голубева О.И. Моделирование синхронных схем с памятью на не полностью определенных входных последовательностях произвольной длины // Тез. докл. седьмой Российской конференции с международным участием «Новые информационные технологии в исследовании сложных структур». Томск. 2 – 5, сентября 2008. –Томск: Изд-во НТЛ, 2008. – С. 46.
  5. O. Golubeva. On-Line Control-Flow Checking for FSMs // Вестник Томского государственного университета. – 2007. – Приложение. №23. Докл. VI Сибирской научной школы-семинара с межд. участием «Компьютерная безопасность и криптография» – SIBERCRYPT’07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4 - 7 сентября 2007 г.) – С. 264 - 269.
  6. 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.
  7. 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.
  8. 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.
  9. O. Goloubeva, M. Rebaudengo, M. Sonza Reorda, M. Violante. Software-Implemented Hardware Fault Tolerance. – New-York: Springer Science+Business Media, LLC, 2006. – 228 p.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. Голубева О.И., Матросова А.Ю. Точный метод вычисления вероятности обнаружения неисправности, основанный на ОДНФ-представлении функции // Материалы 3-й междунар. конференции «Автоматизация проектирования дискретных систем». Минск. 10-12 ноября 1999. – Минск: ИТК НАН Беларуси, 1999. – Т. 3. – С. 64 - 71.
  27. Голубева О.И. Метод вычисления вероятности обнаружения неисправности, основанный на BDD представлении функции // Тр. 3-го междунар. симпозиума «Application of the Conversion Research Results for International Cooperation». Томск. 18-20 мая 1999. – Томск, 1999. – Т. 1. – С. 195 - 197.
  28. Голубева О.И. Троичное моделирование синхронных последовательностных схем // Математическое моделирование. Кибернетика. Информатика. – Томск: Изд-во ТГУ, 1999. – С. 53 - 59.
  29. Голубева О.И. Коррекция результатов троичного моделирования на последовательностях произвольной длины // Докл. 2-й всероссийской конф. «Новые информационные технологии в исследовании дискретных структур». Екатеринбург. 2 - 5 ноября 1998. – Екатеринбург: ИМАШ УрО РАН, 1998. – С. 62 - 68.
  30. Матросова А.Ю., Голубева О.И. О коррекции результатов одного шага троичного моделирования // Докл. 2-й всероссийской конф. «Новые информационные технологии в исследовании дискретных структур». Екатеринбург. 2 - 5 ноября 1998. – Екатеринбург: ИМАШ УрО РАН, 1998. – С. 112 - 116.
  31. 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.
  32. О.И. Голубева. Реализация троичного моделирования синхронных последовательностных устройств без потери точности // Материалы междунар. конф. «Сибирская конференция по исследованию операций». Новосибирск. 22-27 июня 1998. – Новосибирск: Изд-во ин-та математики СО РАН, 1998. – С. 124.
  33. Голубева О.И., Матросова А.Ю., Ошлакова Т.А. Об оценке корректности моделирования дискретных устройств // Тез. докл. междунар. конф. «Всесибирские чтения по математике и механике». Томск. 17 - 20 июня 1997. – Томск: Из-во Томского ун-та, 1997. – Т. 1. – С. 153 - 154.
  34. 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.
  35. Матросова А.Ю., Голубева О.И., Коновалова А.А. К проблеме устойчивости вероятностного поведения синхронных последовательностных устройств // Тр. 3-й междунар. науч.-техн. конф. «Актуальные проблемы электронного приборостроения». Новосибирск. 13 – 16 ноября 1996. – Новосибирск, 1996. – Т. 6. – Ч.1. – С. 100 - 101.