Евтушенко, Нина Владимировна
250px
Дата рождения:	18 августа 1949 г.
Место рождения:	Томск

ЕВТУШЕНКО (дев. Ванина) Нина Владимировна (р. 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.