Версия 10:45, 25 марта 2025

ЕВТУШЕНКО (дев. Ванина) Нина Владимировна (р. 18 августа 1949 г., Томск) – профессор кафедры информационных технологий в исследовании дискретных структур.

Семья

Отец Н.В. Евтушенко, Владимир Александрович (1917–?), родом из Петрограда, окончил среднюю школу в Череповце, затем Ленинградский институт инженеров железно-дорожного транспорта. После окончания института был распределен инженером на Западно-Сибирской железной дороге, где проработал свыше 50 лет, из них более 30 лет преподавателем, заместителем директора по учебной работе Томского техникума железно-дорожного транспорта. Мать, Галина Андреевна (дев. Мышко, 1919–1990), родилась в Бологое Тверской губернии, окончила в 1936 г. среднюю школу в Череповце и поступила на механико-математический факультет ЛГУ. После окончания университета (1941) по специальности «астрономия» была распределена в Пулковскую обсерваторию. Работала во время блокады (1941–1942) в воинской части, затем была эвакуирована в Сибирь. В Томске более 30 лет преподавала математику в Томском машиностроительном техникуме. Брат Н.В. Евтушенко, Андрей (р. 1954), окончил ТПИ.

Школьные и студенческие годы

Н.В. Евтушенко окончила с серебряной медалью томскую среднюю школу № 47 (1966). Особый интерес проявила к математике. Была активным участником математического кружка, который вел преподаватель механико-математического факультета ТГУ С.А. Шварцман. Посещала математическую школу при ТГПИ, физико-математическую школу при ТИРиЭТ и успешно окончила ее. Принимала активное участие в общественной жизни школы (член редколлегии стенгазеты, пионервожатая, член комитета ВЛКСМ). Занималась спортом и выступала на соревнованиях по волейболу.

После окончания школы Н.В. Евтушенко поступила на радиофизический факультет ТГУ. Слушала лекции Г.П. Агибалова, Э.С. Воробейчикова, А.Д. Закревского, Г.И. Карпова, В.Ф. Конусова, А.С. Майдановского, В.В. Слухаева, Ю.В. Чистякова, Н.Г. Шеглова и др. На 3-м курсе выступила с докладом на студенческой научной конференции. Окончила университет (1971) по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник». Дипломную работу «Верхняя граница различимости нормальных период. последовательностей» выполнила под руководством доц. Г.П. Агибалова. Ее результаты были доложены на итоговой научной конференции ТГУ по математике и механике (1972) и опубликованы в трудах конференции.

Научно-организационная и преподавательская деятельность

С 17 августа 1971 г. – мл. науч. сотр. проблемной лаборатории счетно-решающих устройств ТГУ. С 16 июня 1973 г. – младший научный сотрудник лаборатории синтеза дискретных автоматов (ЛСДА) СФТИ. С 1 октября 1973 г. – аспирант по специальности «математическая кибернетика». С 10 сентября 1977 г. – старший научный сотрудник, с 28 марта 1986 г. – заведующий ЛСДА. По совместительству с 1 октября 1988 г. – ст. преп. факультета прикладной математики и кибернетики, с 1991 г. – проф. кафедры математической логики и проектирования, с 1999 г. – зав. каф. информационных технологий в исследовании дискретных структур радиофизического факультета ТГУ.

Ученое звание профессора по кафедре математической логики и проектирования присвоено Госкомитетом РФ по высшему образованию 21 декабря 1994 г.

Читает курсы: линейная алгебра и аналитическая геометрия; общая алгебра; теория кодирования; теория автоматов; спецкурсы: «Искусственный интеллект»; «Техническая диагностика».

Научно-исследовательская деятельность

Научные интересы Н.В. Евтушенко лежат в области теории конечных автоматов и протоколов вычислительных сетей, использования этой теории в задачах синтеза и анализа дискретных систем. Совместно с Г.П. Агибаловым ею была развита теория каскадной декомпозиции автоматов. Н.В. Евтушенко разработала технологию синтеза проверяющих тестов для контроля автоматных сетей, моделирующих вычислительные протоколы, основанную на оригинальном представлении сетевых эквивалентов компонент недетерминированными автоматами и гарантирующую полноту теста для широкого класса неисправностей. Метод построения сетевого эквивалента разработан Н.В. Евтушенко совместно с научной группой профессора Г. Бохмана из Монреальского университета (Канада) - для асинхронного поведения сети и совместно с А.В. Лебедевым и В.Н. Тренькаевым - для синхронного поведения сети.

В 1998 г. была сформирована международная группа из ученых России, США, Италии и Канады, которая активно работает над решением автоматных уравнений и их использованием в различных приложениях. Другой важной задачей теории автоматов является задача распознавания конечного автомата, тесно связанная с задачей построения проверяющих и диагностических тестов для дискретных управляющих систем. Н.В. Евтушенко предложила технологию построения тестов для протоколов вычислительных сетей, позволяющую разрабатывать эффективные методы построения тестов с гарантированной полнотой в различных обл. неисправности для произвольных, в т. ч. недетерминированных, автоматов и существенно расширяющую возможности применения автоматных методов для тестирования протоколов. В процессе разработки данной технологии были проведены фундаментальные исследования в области недетерминированных автоматов и получены новые результаты.

17 ноября 1983 г. в специальном совете в Саратовском университете Н.В. Евтушенко защитила диссертацию «Приводимость конечных автоматов в классе сетей без обратных связей» на соискание ученой степени кандидата физико-математических наук (научный руководитель кандидат физико-математических наук Г.П. Агибалов; официальные оппоненты доктор физ.-мат. и доктор технических наук, профессор Р.Г. Бухараев и кандидат физико-математических наук, доцент В.А. Твердохлебов; утвержден ВАК 10 мая 1984 г.).

В январе 1991 г. в совете при ТГУ она защитила дис. «Синтез тестов для контроля систем логического управления методом теории экспериментов с автоматами» на соиск. учен. ст. д-ра техн. наук (офиц. оппоненты проф. В.Н. Тоценко, чл.-корр. АН Республики Беларусь А.Д. Закревский и проф. В.З. Ямпольский; утв. ВАК 31 мая 1991).

Принимала участие в работе междунар., всесоюзн. и рос. науч. конф. В их числе: ежегодные междунар. IFIP конф. «Formal Description Techniques/Protocol Specification, Testing and Verification» (FORTE/PSTV) и «Testing of Communicating Systems» (с 1993). Подготовила 3 канд. наук. Автор более 70 работ, в т. ч. 1 монографии и 3 учеб. и учеб.-метод. пособий. Ряд работ написан в соавт. с учеными Канады, США, Италии и Франции. В 1994, 1995, 1996 Е. работала в Монреальском ун-те (Канада) в должности приглашенного проф. в науч. группе проф. Г. Бохмана по проекту совместных науч. исследований в обл. тестирования систем связи, итогом чего явилось подписание договора о проведении совместных работ с участием аспирантов и студентов ТГУ (1998).

Исследования Е. поддержаны грантами РФФИ (1993-1994, 2000), Госкомвуза (1994-1995), МОПО (2000), НАТО (совм. с проф. Р. Брайтоном, ун-т Беркли, США). С 2002 - чл. канд. дис. совета (мат. анализ; мат. логика, алгебра теории и чисел) в ТГУ. Чл. Программного комитета междунар. IFIP конференции «Formal Description Techniques/Protocol Specification, Testing and Verification» (FORTE/PSTV) и междунар. IFIP совещ. «Testing of Communicating Systems» (1996-2002), проведенного на базе ТГУ и ТНЦ СО РАН (Томск, 1998). В 1995-2002 в качестве приглашенного проф. Е. участвовала в работах науч. групп ун-тов Монреаля и Оттавы (Канада) и Нац. ин-та по телекоммуникациям (Франция). Председатель Оргкомитета IV Рос. конф. с междунар. участием «Новые информационные технологии в исследовании дискретных структур» на базе ТГУ и ТНЦ СО РАН (Томск, 2002).

Получает Гос. науч. стипендию (с 1997). Лауреат конкурса Том. обл. в сфере образования и науки (1998). Награждена медалью «За заслуги перед Том. гос. ун-том» (1988). Увлекается чтением худож. лит. и изучением иностр. языками. Активно занималась спортом. Имела I разряд по волейболу и много лет играла за сборную ТГУ. В н. в. капитан сборной сотр. ТГУ по волейболу. Замужем за Геннадием Сергеевичем (р. 1947). Он окончил ДВГУ и аспирантуру при ТГУ, д-р. техн. наук, в н. в. зав. каф. пром. и мед. электроники ТПУ. Их дети: Лариса (р. 1975) окончила ф-т прикл. математики и кибернетики ТГУ, в н. в. работает в одной из фирм Томска; Татьяна (р. 1979) окончила Ин-т иностр. яз. ТГПУ, в н. в. преп. ТГПУ; Наталья (р. 1987) ученица Академлицея.

Совм. с Г.П. Агибаловым. К декомпозиции конечных автоматов // Автоматика и вычисл. техника. 1976. № 5; Они же. Декомпозиции конечных автоматов. Томск, 1985; Совм. с А.В. Лебедевым, А.Ф. Петренко. Построение проверяющих тестов для автоматных сетей // Автоматика и телемеханика. 1994. № 8; Совм. с A.F. Petrenko, G.V. Bochmann. Fault models for testing in context. Protocol Specification, Testing and Verification, XII. Champton & Hall, 1996; Совм. с A. Cavalli, L. Lima. Test suite minimization for testing in context, Testing of Communicating Systems, 11. Kluwer Academic Publishers, 1998; Совм. с A. Petrenko. Solving asynchronous equations. Protocol Specification, Testing and Verification, XIV. Kluwer Academic Publishers, 1998; Совм. с А.В. Лебедевым. О контрольном эксперименте с детерминированной реализацией при недетерминированном эталоне // Кибернетика и системный анализ. 1998. № 3; Совм. с T. Villa, R. Brayton, A. Petrenko, A. Sangiovani-Vincenteli. Solving parallel language equation. International Conference on Computer-Aided-Design ICCAD’2001. USA, 2001.

Архив ТГУ. Ф. Р-815. Оп. 28. Д. 78; Оп. 57. Д. 1074; Липский В. Портрет делового человека // За сов. науку. 1988. 3 марта; Ева. Прил. к газ. «Красное знамя». 2001. 17 февр.; Том. гос. ун-т: Ежегодник-2001 / Под ред. Г.В. Майера. Томск, 2002.