Версия 09:42, 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.