| Евтушенко Нина Владимировна | |
| 250px | |
| Дата рождения: | |
|---|---|
| Место рождения: | |
ЕВТУШЕНКО (дев. Ванина) Нина Владимировна (р. 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;
Архив ТГУ. Ф. Р-815. Оп. 57. Д. 1074;
Липский В. Портрет делового человека // За советскую науку. 1988. 3 марта;
Ева. Приложение к газете «Красное знамя». 2001. 17 февр.;
Томский государственный университет: Ежегодник-2001 / Под ред. Г.В. Майера. Томск, 2002.
