Останин Сергей Александрович

Останин Сергей Александрович
Останин Сергей Александрович (Ostanin S.A.)
Должность: доцент кафедры программирования
Учёная степень: кандидат технических наук
Учёное звание: доцент
В 1991 г. поступил на факультет прикладной математики и кибернетики Томского государственного университета. Окончил его в 1996 г. по специальности «Прикладная математика», квалификация — «математик». В период с 1996 по 1999 гг. обучался в аспирантуре на кафедре программирования ФПМК ТГУ. В 2000 г. защитил кандидатскую диссертацию “Методы синтеза контролепригодных дискретных устройств” (научный руководитель — профессор А.Ю. Матросова).
С 1996 по 1999 гг. – ассистент кафедры программирования ФПМК ТГУ, с 1999 по 2000 г. – старший преподаватель кафедры программирования ФПМК ТГУ, с 2001 по настоящее время – доцент кафедры программирования ФПМК ТГУ.
В 2001-2002 гг. проходил научную стажировку (postdoc) в Тель-Авивском университете (Израиль).
Учебная работа
В разное время вел занятия по курсам «Математика и информатика» (филологический факультет), «Информатика», «Дискретная математика», «Языки программирования и методы трансляции», «Методы программирования», «Объектно-ориентированное программирование» и «Базы данных».
В настоящее время читает лекции:
– для бакалавров: «Верификация программного обеспечения»;
– для магистров: «Анализ и синтез логических сетей», «Графовые представления БФ».
Осуществляет научное руководство бакалаврами, магистрами и аспирантами ФПМК.
Подготовлено 6 учебно-методических пособий, в том числе электронных:
– Функции алгебры логики : учебно-методическое пособие : [для студентов физико-математических специальностей] / Том. гос. ун-т, ФПМК ; [сост.: Е. А. Николаева, С. А. Останин, А. Ю. Матросова]. - Томск : [б. и.], 2013.
– Останин С. А. Бинарные решающие диаграммы и их приложения : учебно-методический комплекс / С. А. Останин, А. Ю. Матросова ; Том. гос. ун-т, [Ин-т дистанционного образования]. - Томск : [ИДО ТГУ], 2011.
– Останин С. А. Базы данных : учебно-методический комплекс / Останин С. А. ; Том. гос. ун-т, Ин-т дистанционного образования. - Томск : ИДО ТГУ, 2007.
– Матросова А. Ю. Тестирование программного обеспечения : учебно-методический комплекс / Матросова А. Ю., Останин С. А. ; Том. гос. ун-т, Ин-т дистанционного образования. - Томск : ИДО ТГУ, 2007.
– Матросова А. Ю. Дискретная математика : учебное пособие / А. Ю. Матросова, С. А. Останин ; Том. гос. ун-т, Ин-т дистанционного образования. - Томск : ИДО ТГУ, 2007.
– Элементы теории графов : учебно-методическое пособие [для студентов физико-математических специальностей] / Том. гос. ун-т, ФПМК ; [сост.: С. А. Останин]. - Томск : [б. и.], 2007.
Научная работа
Научная работа связана с актуальными проблемами дискретной математики и теории автоматов – диагностикой дискретных устройств и синтезом контролепригодных, самопроверяемых и отказоустойчивых дискретных устройств.
Принимал участие в выполнении 10 научных проектов, в том числе:
– РНФ «Тестирование и контролепригодное проектирование логических схем высокой производительности», 2014-2016 гг. (рук. проф. А.Ю. Матросова);
– Госзадание Минобрнауки России «Исследование и разработка вероятностных, статистических и логических методов и средств оценки качества компонентов телекоммуникационных систем», 2014-2016 гг. (рук. проф. Н.В. Евтушенко);
– РФФИ «Синтез логических схем, обеспечивающий их качественное тестирование и обнаружение неисправностей, снижающих производительность схем», 2011-2012 гг. (рук. проф. А.Ю. Матросова).
Опубликовано более 70 научных работ. Принимал участие в работе более 30 научных симпозиумов, конференций и школ-семинаров.
Организационная работа
Является членом Ученого совета и конкурсной комиссии факультета прикладной математики и кибернетики ТГУ.
Входит в составы программных комитетов нескольких международных конференций (IEEE Asian Test Symposium, IEEE Workshop on RTL and High Level Testing, International Symposium on VLSI Design and Test и др.)
Член профессионального компьютерного сообщества (Computer Society) Institute of Electrical and Electronics Engineers (IEEE).
Является членом общественного совета при Томском ЛО МВД России.
Награды
  1. Премия Томской области в сфере образования и науки по номинации «Премии молодым научным сотрудникам, преподавателям, докторантам, аспирантам» (2003 г.)
  2. Государственная научная стипендия Российской академии наук в области энергетики и информатики (2000-2003 гг.)
  3. Премия молодым ученым Томского государственного университета (2000 г.)
Объекты интеллектуальной собственности
  1. Свидетельство № 2016660205 Российская Федерация. Программа синтеза монотонного детектора равновесных кодов : свидетельство о государственной регистрации программы для ЭВМ / С. А. Останин, А. О. Гребнев, Н. Б. Буторина ; заявитель и правообладатель Федеральное гос. автономное образоват. учреждение высшего образования «Национальный исследовательский Томский гос. ун-т». - № 2016614580 ; заявл. 05.05.2016 ; зарегистр. 08.09.2016.
  2. Свидетельство № 2016660206 Российская Федерация. Программа синтеза самопроверяемых и отказоустойчивых последовательностных схем : свидетельство о государственной регистрации программы для ЭВМ / С. А. Останин, И. Е. Кириенко, Е. А. Николаева ; заявитель и правообладатель Федеральное гос. автономное образоват. учреждение высшего образования «Национальный исследовательский Томский гос. ун-т». - № 2016614579 ; заявл. 05.05.2016 ; зарегистр. 08.09.2016.
  3. Свидетельство № 2015613797 Российская Федерация. Программа выделения подсхем для внутреннего полюса комбинационной схемы : свидетельство о государственной регистрации программы для ЭВМ / С. А. Останин, И. Е. Кириенко ; заявитель и правообладатель Федеральное гос. автономное образоват. учреждение высшего образования «Национальный исследовательский Томский гос. ун-т». - № 2015610554 ; заявл. 04.02.2015 ; зарегистр. 25.03.2015.
  4. Свидетельство № 2016610012 Российская Федерация. Программа минимизации частично определенных булевых функций, представленных BDD-графами : свидетельство о государственной регистрации программы для ЭВМ / С. А. Останин, И. Е. Кириенко ; заявитель и правообладатель Федеральное гос. автономное образоват. учреждение высшего образования «Национальный исследовательский Томский гос. ун-т». - № 2015660575 ; заявл. 05.11.2015 ; зарегистр. 11.01.2016.
Публикации
  1. Останин С.А., Кириенко И.Е., Лавров В.А. Синтез самопроверяемых последовательностных схем для неисправностей задержек путей // Известия вузов. Физика. 2016.
  2. Останин С.А., Матросова А.Ю., Буторина Н.Б., Гребнев А.О. Синтез монотонных детекторов для подмножества равновесных кодов // Известия вузов. Физика. 2016.
  3. Останин С.А., Матросова А.Ю., Кириенко И.Е., Николаева Е.А. Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей // Известия вузов. Физика. 2016.
  4. Ostanin S., Matrosova A., Butorina N., Lavrov V. A Fault-tolerant Sequential Circuit Design for Soft Errors Based on Fault-Secure Circuit // Proceedings of IEEE East-West Design & Test Symposium (EWDTS’2016). Армения, Ереван: IEEE, 2016.
  5. Matrosova A., Ostanin S., Kirienko I., Nikolaeva E. A Fault-tolerant Sequential Circuit Design for SAFs and PDFs Soft Errors // Proceedings of the 22 IEEE International On-Line Testing Symposium. Sant Feliu de Guixols, Catalunya, Spain, July 4-6, 2016. P. 2.
  6. Matrosova A., Ostanin S., Andreeva V. Patching circuit design based on reserved CLBs Design // Proceedings of IEEE Automation, Quality and Testing, Robotics (AQTR). Romania, Cluj-Napoca: IEEE, 2016. P. 49-54.
  7. Останин С.А., Кириенко И.Е., Лавров В.А. Синтез самопроверяемых последовательностных схем для неисправностей задержек путей // Новые информационные технологии в исследовании сложных структур : материалы 11-й международной конференции, Екатеринбург, 6–10 июня 2016 г. С. 56-57.
  8. Останин С.А., Матросова А.Ю., Буторина Н.Б., Гребнев А.О. Синтез монотонных детекторов для подмножества равновесных кодов // Новые информационные технологии в исследовании сложных структур : материалы 11-й международной конференции, Екатеринбург, 6–10 июня 2016 г. С. 58-59.
  9. Останин С.А., Матросова А.Ю., Кириенко И.Е., Николаева Е.А. Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей // Новые информационные технологии в исследовании сложных структур : материалы 11-й международной конференции, Екатеринбург, 6–10 июня 2016 г. С. 59-60.
  10. Matrosova A.Yu., Ostanin S.A., Nikolaeva E. A., Kirienko I.E. Fully delay and multiple stuck-at fault testable sequential circuit design //Вестн. Том. гос. ун-та. УВТиИ. 2015. № 4(33). P. 82-90.
  11. Останин С.А., Кириенко И.Е. Минимизация частично определенных булевых функций, представленных BDD-графами //Известия вузов. Физика. 2015. Т. 58, № 11/2. С. 89-93.
  12. Matrosova A.Yu., Ostanin S.A., Kirienko I.E., Nikolaeva Ekaterina Aleksandrovna. Fault-tolerant High Performance Scheme Disign //Proceedings of IEEE East-West Design & Test Symposium (EWDTS’2015). Ukraine, Kharkov: SCITEPRESS, 2015. P. 286-289.
  13. Ostanin S.A., Kirienko I.E., Lavrov V.A. A Fault-Tolerant Combinational Circuit Design //Proceedings of IEEE East-West Design & Test Symposium (EWDTS’2015). Ukraine, Kharkov: SCITEPRESS, 2015. P. 302-305.
  14. Matrosova A.Yu., Ostanin S.A., Kirienko I.E. Increasing Manufacturing Yield Using Partially Programmable Circuits with CLB implementation of Incompletely Specified Boolean Function of the Corresponding Subcircuit //Proceedings of 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Belgrade, Serbia: IEEE Computer Society, 2015. P. 267-270.
  15. Matrosova A.Yu., Ostanin S.A., Kirienko I.E. Generating all Test Patterns for Stuck-at Faults and their Connection with the Incompletely Specified Boolean Function //Proceedings of the 14th Biennial Baltic Electronics Conference. Tallinn, Estonia, 2014. P. 85-88.
  16. Гребнев А.О., Останин С.А. Версионная миграция структуры базы данных с использованием ECM7.Migrator //Информационные технологии и математическое моделирование (ИТММ-2014) : Материалы XIII Международной начно-практической конференции им. А. Ф. Терпугова (20-22 ноября 2014 г.). Томск: Издательский Дом ТГУ, 2014. Часть 3. С. 32-36.
  17. Матросова А.Ю., Останин С.А., Бухаров А.В., Кириенко И.Е. Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом //Новые информационные технологии в исследовании сложных структур: материалы Десятой российской конференции с международным участием. Томск: Издательский Дом ТГУ, 2014. С. 53-54.
  18. Matrosova A.Yu., Ostanin S.A., Kirienko I.E. Generating all test patterns for stuck-at faults at a gate pole and their connection with the incompletely specified Boolean function of the corresponding subcircuit //Proceedings of the 14th Biennial Baltic Electronics Conference. Tallinn, Estonia, 2014. P. 85-88.
  19. Matrosova A.Yu., Ostanin S.A., Kirienko I.E., Singh V. Partially programmable Circuit Design //Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2014). Kharkov, Ukraine, 2014. P. 164-167.
  20. Matrosova A.Yu., Ostanin S.A., Kirienko I.E. All Stuck-at Fault Test Patterns and Incompletely Specified Boolean Functions //Proceeding of the 11th International Workshop on Boolean Problems. Freiberg, Germany, 2014. P. 165-170.
  21. Матросова А.Ю., Останин С.А., Бухаров А.В., Кириенко И.Е. Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом //Вестн. Том. гос. ун-та. УВТиИ. 2014. № 2(27). С. 82-89.
  22. Матросова А.Ю., Останин С.А., Кириенко И.Е. Обеспечение надежности физических систем: синтез частично программируемых логических схем //Известия вузов. Физика. 2014. Т. 57, № 6. С. 127-132.
  23. Ostanin S.A. Testable Combinational Circuit Design Based on Free ZDD-implementationof Irredundant SOPof Boolean Function //Proceedings of IEEE East-West Design&Test Symposium (EWDTS 2013). Ukrain, 2013. P. 257-260.
  24. Матросова А.Ю., Останин С.А., Сингх В. Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов //Автоматика и телемеханика. 2013. № 9. С. 126-142.
  25. Matrosova A.Yu., Ostanin S.A., Melnikov A.V., Singh V. Observability Calculation of State Variable Oriented to Robust PDFs and LOC or LOS Techniques //Proceedings of IEEE East-West Design&Test Symposium (EWDTS 2012). Ukrain, 2012. P. 155-160.
  26. Матросова А.Ю., Мельников А.В., Останин С.А., Сингх В. Оценка наблюдаемости внутренней переменной при использовании LOС-техники сканирования //Новые информационные технологии в исследовании сложных структур. Материалы девятой Российской конференции с международным участием. Томск: Изд-во НТЛ, 2012. С. 65-65.
  27. Matrosova A.Yu., Melnikov A.V., Mukhamedov R.V., Ostanin S.A., Singh V. Selection of the flip-flops for partial enhanced scan techniques //Вестн. Том. гос. ун-та. УВТиИ. 2012. № 2(19). P. 112-120.
  28. Matrosova A.Yu., Nikolaeva E.A., Ostanin S.A., Singh V. Robust PDFs testing of combinational circuits based on covering BDDs //Вестн. Том. гос. ун-та. УВТиИ. 2012. № 3(20). P. 129-138.
  29. A. Matrosova, E. Nikolaeva, S. Ostanin, V. Singh. Robust PDFs Testing of Combinational Circuits based on Covering BDDs //Proceeding of IEEE Twelfth Workshop on RTL and High Level Testing (WRTLT2011). Jaipur, 2011. С. 1-6.
  30. A. Matrosova, A. Melnikov, R. Mukhamedov, S. Ostanin, V. Singh. Selection of the Flip-Flops for Partial Enhanced Scan Techniques //Proceeding of IEEE Twelfth Workshop on RTL and High Level Testing (WRTLT2011). Jaipur, 2011. С. 1-5.
  31. A. Matrosova, S. Ostanin, A. Melnikov, V. Singh. Using AND-OR tree for path delay faults //Proceeding of IEEE International Workshop on Processor Verification, Test and Debug (IWPVTD2011). Trondheim, 2011. С. 1-6.
  32. N. Butorina, S. Ostanin. Implementation by the Special Formula of an Arbitrary Subset of Code Words of (m, n)-code for Designing of a Self-Testing Checker //Proceeding of IEEE East-West Design&Test Symposium. IEEE, 2011. С. 255-258.
  33. A. Matrosova, E. Nikolaeva, S. Ostanin, V. Singh. PDFs Testing of Circuits Based on Covering BDDs //Proc. of the WiP Session of the 14th EUROMICRO Conference on Digital System Design. Оулу, 2011. С. 15-16.