[досмотренная версия][досмотренная версия]
 
(не показано 9 промежуточных версии этого же участника)
Строка 2: Строка 2:
 
  |Имя                  = Евтушенко Нина Владимировна
 
  |Имя                  = Евтушенко Нина Владимировна
 
  |Оригинал имени      =  
 
  |Оригинал имени      =  
  |Фото                = ...
+
  |Фото                = ЕвтушенкоНВ!.png
 
  |Ширина              =  
 
  |Ширина              =  
 
  |Подпись              =  
 
  |Подпись              =  
Строка 18: Строка 18:
 
  |Учёное звание        =  
 
  |Учёное звание        =  
 
  |Альма-матер          =  
 
  |Альма-матер          =  
  |Научный руководитель =  
+
  |Научный руководитель = [[Агибалов, Геннадий Петрович|Г.П. Агибалов]]
 
  |Знаменитые ученики  =  
 
  |Знаменитые ученики  =  
  |Награды и премии    =  
+
  |Награды и премии    = [[:Категория: Лауреаты премии Томской области в сфере образования и науки|Лауреат премии Томской области в сфере образования и науки]] (1998);[[:Категория: Награжденные медалью «За заслуги перед Томским государственным университетом»|Медаль «За заслуги перед Томским государственным университетом»]] (1988)
 
}}
 
}}
  
'''ЕВТУШЕНКО (дев. Ванина) Нина Владимировна (р. [[18 августа в истории Томского университета|18]] [[Август 1949 года в истории Томского университета|августа]] [[1949 год в истории Томского университета|1949]] г., [[:Категория: Родившиеся в Томске|Томск]]) – профессор кафедры информационных технологий в исследовании дискретных структур.
+
'''ЕВТУШЕНКО (дев. Ванина) Нина Владимировна''' (р. [[18 августа в истории Томского университета|18]] [[Август 1949 года в истории Томского университета|августа]] [[1949 год в истории Томского университета|1949]] г., [[:Категория: Родившиеся в Томске|Томск]]) – профессор кафедры информационных технологий в исследовании дискретных структур.
 
+
  
 +
=='''Семья'''==
 
Отец Н.В. Евтушенко, Владимир Александрович (1917–?), родом из Петрограда, окончил среднюю школу в Череповце, затем Ленинградский институт инженеров железно-дорожного транспорта. После окончания института был распределен инженером на Западно-Сибирской железной дороге, где проработал свыше 50 лет, из них более 30 лет преподавателем, заместителем директора по учебной работе Томского техникума железно-дорожного транспорта. Мать, Галина Андреевна (дев. Мышко, 1919–1990), родилась в Бологое Тверской губернии, окончила в 1936 г. среднюю школу в Череповце и поступила на механико-математический факультет ЛГУ. После окончания университета (1941) по специальности «астрономия» была распределена в Пулковскую обсерваторию. Работала во время блокады (1941–1942) в воинской части, затем была эвакуирована в Сибирь. В Томске более 30 лет преподавала математику в Томском машиностроительном техникуме. Брат Н.В. Евтушенко, Андрей (р. 1954), окончил ТПИ.  
 
Отец Н.В. Евтушенко, Владимир Александрович (1917–?), родом из Петрограда, окончил среднюю школу в Череповце, затем Ленинградский институт инженеров железно-дорожного транспорта. После окончания института был распределен инженером на Западно-Сибирской железной дороге, где проработал свыше 50 лет, из них более 30 лет преподавателем, заместителем директора по учебной работе Томского техникума железно-дорожного транспорта. Мать, Галина Андреевна (дев. Мышко, 1919–1990), родилась в Бологое Тверской губернии, окончила в 1936 г. среднюю школу в Череповце и поступила на механико-математический факультет ЛГУ. После окончания университета (1941) по специальности «астрономия» была распределена в Пулковскую обсерваторию. Работала во время блокады (1941–1942) в воинской части, затем была эвакуирована в Сибирь. В Томске более 30 лет преподавала математику в Томском машиностроительном техникуме. Брат Н.В. Евтушенко, Андрей (р. 1954), окончил ТПИ.  
  
 +
Замужем за Геннадием Сергеевичем (р. 1947). Он окончил ДВГУ и аспирантуру при [[Томский государственный университет|ТГУ]], доктор технических наук, заведующий кафедрой промышленной и медицинской электроники ТПУ. Их дети: Лариса (р. 1975) окончила факультет прикладной математики и кибернетики [[Томский государственный университет|ТГУ]], работает в одной из фирм Томска; Татьяна (р. 1979) окончила Институт иностранных языков ТГПУ, преподаватель ТГПУ; Наталья (р. 1987) ученица Академлицея.
  
Н.В. Евтушенко окончила с серебряной медалью томскую среднюю школу № 47 (1966). Особый интерес проявила к математике. Была активным участником математического кружка, который вел преподаватель механико-математического факультета ТГУ С.А. Шварцман. Посещала математическую школу при ТГПИ, физико-математическую школу при ТИРиЭТ и успешно окончила ее. Принимала активное участие в общественной жизни школы (член редколлегии стенгазеты, пионервожатая, член комитета ВЛКСМ). Занималась спортом и выступала на соревнованиях по волейболу.  
+
=='''Школьные и студенческие годы'''==
 +
Н.В. Евтушенко окончила с серебряной медалью томскую среднюю школу № 47 (1966). Особый интерес проявила к математике. Была активным участником математического кружка, который вел преподаватель механико-математического факультета [[Томский государственный университет|ТГУ]] С.А. Шварцман. Посещала математическую школу при ТГПИ, физико-математическую школу при ТИРиЭТ и успешно окончила ее. Принимала активное участие в общественной жизни школы (член редколлегии стенгазеты, пионервожатая, член комитета ВЛКСМ). Занималась спортом и выступала на соревнованиях по волейболу.  
  
После окончания школы Н.В. Евтушенко поступила на радиофизический факультет ТГУ. Слушала лекции Г.П. Агибалова, Э.С. Воробейчикова, А.Д. Закревского, Г.И. Карпова, В.Ф. Конусова, А.С. Майдановского, В.В. Слухаева, Ю.В. Чистякова, Н.Г. Шеглова и др. На 3-м курсе выступила с докладом на студенческой научной конференции. Окончила университет (1971) по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник». Дипломную работу «Верхняя граница различимости нормальных период. последовательностей» выполнила под руководством доц. Г.П. Агибалова. Ее результаты были доложены на итоговой научной конференции ТГУ по математике и механике (1972) и опубликованы в трудах конференции.  
+
После окончания школы Н.В. Евтушенко поступила на радиофизический факультет [[Томский государственный университет|ТГУ]]. Слушала лекции [[Агибалов, Геннадий Петрович|Г.П. Агибалова]], [[Воробейчиков, Сергей Эрикович|Э.С. Воробейчикова]], [[Закревский, Аркадий Дмитриевич|А.Д. Закревского]], [[Карпов, Георгий Иванович|Г.И. Карпова]], В.Ф. Конусова, А.С. Майдановского, В.В. Слухаева, [[Чистяков, Юрий Вячеславович|Ю.В. Чистякова]], Н.Г. Шеглова и др. На 3-м курсе выступила с докладом на студенческой научной конференции. Окончила университет (1971) по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник». Дипломную работу «Верхняя граница различимости нормальных периодических последовательностей» выполнила под руководством доцента [[Агибалов, Геннадий Петрович|Г.П. Агибалова]]. Ее результаты были доложены на итоговой научной конференции [[Томский государственный университет|ТГУ]] по математике и механике (1972) и опубликованы в трудах конференции.  
  
 
+
=='''Научно-организационная и преподавательская деятельность'''==
С 17 августа 1971 г. – мл. науч. сотр. проблемной лаборатории счетно-решающих устройств ТГУ. С 16 июня 1973 г. – младший научный сотрудник лаборатории синтеза дискретных автоматов (ЛСДА) СФТИ. С 1 октября 1973 г. – аспирант по специальности «математическая кибернетика». С 10 сентября 1977 г. – старший научный сотрудник, с 28 марта 1986 г. – заведующий ЛСДА. По совместительству с 1 октября 1988 г. – ст. преп. факультета прикладной математики и кибернетики, с 1991 г. – проф. кафедры математической логики и проектирования, с 1999 г. – зав. каф. информационных технологий в исследовании дискретных структур радиофизического факультета ТГУ.  
+
С 17 августа 1971 г. – [[:Категория: Младшие научные сотрудники Томского университета|младший научный сотрудник]] проблемной лаборатории счетно-решающих устройств [[Томский государственный университет|ТГУ]]. С 16 июня 1973 г. – младший научный сотрудник лаборатории синтеза дискретных автоматов (ЛСДА) СФТИ. С 1 октября 1973 г. – аспирант по специальности «математическая кибернетика». С 10 сентября 1977 г. – старший научный сотрудник, с 28 марта 1986 г. – заведующий ЛСДА. По совместительству с 1 октября 1988 г. – [[:Категория: Старшие преподаватели Томского университета|старший преподаватель]] факультета прикладной математики и кибернетики, с 1991 г. – [[:Категория: Профессора Томского университета|профессор]] кафедры математической логики и проектирования, с 1999 г. – [[:Категория: Заведующие кафедрами Томского университета|заведующий кафедрой]] информационных технологий в исследовании дискретных структур радиофизического факультета [[Томский государственный университет|ТГУ]].  
  
 
Ученое звание профессора по кафедре математической логики и проектирования присвоено Госкомитетом РФ по высшему образованию 21 декабря 1994 г.  
 
Ученое звание профессора по кафедре математической логики и проектирования присвоено Госкомитетом РФ по высшему образованию 21 декабря 1994 г.  
Строка 40: Строка 42:
 
Читает курсы: линейная алгебра и аналитическая геометрия; общая алгебра; теория кодирования; теория автоматов; спецкурсы: «Искусственный интеллект»; «Техническая диагностика».  
 
Читает курсы: линейная алгебра и аналитическая геометрия; общая алгебра; теория кодирования; теория автоматов; спецкурсы: «Искусственный интеллект»; «Техническая диагностика».  
  
 
+
=='''Научно-исследовательская деятельность'''==
Научные интересы Н.В. Евтушенко лежат в области теории конечных автоматов и протоколов вычислительных сетей, использования этой теории в задачах синтеза и анализа дискретных систем. Совместно с Г.П. Агибаловым ею была развита теория каскадной декомпозиции автоматов. Н.В. Евтушенко разработала технологию синтеза проверяющих тестов для контроля автоматных сетей, моделирующих вычислительные протоколы, основанную на оригинальном представлении сетевых эквивалентов компонент недетерминированными автоматами и гарантирующую полноту теста для широкого класса неисправностей. Метод построения сетевого эквивалента разработан Н.В. Евтушенко совместно с научной группой профессора Г. Бохмана из Монреальского университета (Канада) - для асинхронного поведения сети и совместно с А.В. Лебедевым и В.Н. Тренькаевым - для синхронного поведения сети.  
+
Научные интересы Н.В. Евтушенко лежат в области теории конечных автоматов и протоколов вычислительных сетей, использования этой теории в задачах синтеза и анализа дискретных систем. Совместно с [[Агибалов, Геннадий Петрович|Г.П. Агибаловым]] ею была развита теория каскадной декомпозиции автоматов. Н.В. Евтушенко разработала технологию синтеза проверяющих тестов для контроля автоматных сетей, моделирующих вычислительные протоколы, основанную на оригинальном представлении сетевых эквивалентов компонент недетерминированными автоматами и гарантирующую полноту теста для широкого класса неисправностей. Метод построения сетевого эквивалента разработан Н.В. Евтушенко совместно с научной группой профессора Г. Бохмана из Монреальского университета (Канада) для асинхронного поведения сети и совместно с А.В. Лебедевым и В.Н. Тренькаевым для синхронного поведения сети.  
  
 
В 1998 г. была сформирована международная группа из ученых России, США, Италии и Канады, которая активно работает над решением автоматных уравнений и их использованием в различных приложениях. Другой важной задачей теории автоматов является задача распознавания конечного автомата, тесно связанная с задачей построения проверяющих и диагностических тестов для дискретных управляющих систем. Н.В. Евтушенко предложила технологию построения тестов для протоколов вычислительных сетей, позволяющую разрабатывать эффективные методы построения тестов с гарантированной полнотой в различных обл. неисправности для произвольных, в т. ч. недетерминированных, автоматов и существенно расширяющую возможности применения автоматных методов для тестирования протоколов. В процессе разработки данной технологии были проведены фундаментальные исследования в области недетерминированных автоматов и получены новые результаты.  
 
В 1998 г. была сформирована международная группа из ученых России, США, Италии и Канады, которая активно работает над решением автоматных уравнений и их использованием в различных приложениях. Другой важной задачей теории автоматов является задача распознавания конечного автомата, тесно связанная с задачей построения проверяющих и диагностических тестов для дискретных управляющих систем. Н.В. Евтушенко предложила технологию построения тестов для протоколов вычислительных сетей, позволяющую разрабатывать эффективные методы построения тестов с гарантированной полнотой в различных обл. неисправности для произвольных, в т. ч. недетерминированных, автоматов и существенно расширяющую возможности применения автоматных методов для тестирования протоколов. В процессе разработки данной технологии были проведены фундаментальные исследования в области недетерминированных автоматов и получены новые результаты.  
  
17 ноября 1983 г. в специальном совете в Саратовском университете Н.В. Евтушенко защитила диссертацию «Приводимость конечных автоматов в классе сетей без обратных связей» на соискание ученой степени кандидата физико-математических наук (научный руководитель кандидат физико-математических наук Г.П. Агибалов; официальные оппоненты доктор физ.-мат. и доктор технических наук, профессор Р.Г. Бухараев и кандидат физико-математических наук, доцент В.А. Твердохлебов; утвержден ВАК 10 мая 1984 г.).  
+
17 ноября 1983 г. в специальном совете в Саратовском университете Н.В. Евтушенко защитила диссертацию «Приводимость конечных автоматов в классе сетей без обратных связей» на соискание ученой степени кандидата физико-математических наук (научный руководитель кандидат физико-математических наук [[Агибалов, Геннадий Петрович|Г.П. Агибалов]]; официальные оппоненты доктор двух наук физико-математических и технических, профессор Р.Г. Бухараев и кандидат физико-математических наук, доцент В.А. Твердохлебов; утвержден ВАК 10 мая 1984 г.).  
  
В январе 1991 г. в совете при ТГУ она защитила дис. «Синтез тестов для контроля систем логического управления методом теории экспериментов с автоматами» на соиск. учен. ст. д-ра техн. наук (офиц. оппоненты проф. В.Н. Тоценко, чл.-корр. АН Республики Беларусь А.Д. Закревский и проф. В.З. Ямпольский; утв. ВАК 31 мая 1991).  
+
В январе 1991 г. в совете при [[Томский государственный университет|ТГУ]] она [[:Категория: Защитившие докторские диссертации в Томском университете|защитила диссертацию]] «Синтез тестов для контроля систем логического управления методом теории экспериментов с автоматами» на соискание ученой степени доктора технических наук (официальные оппоненты профессор В.Н. Тоценко, член-корреспондент АН Республики Беларусь [[Закревский, Аркадий Дмитриевич|А.Д. Закревский]] и профессор В.З. Ямпольский; утвержден ВАК 31 мая 1991 г.).  
  
 +
Автор более 70 работ, в т. ч. 1 монографии и 3 учебных и учебно-методических пособий.
  
Принимала участие в работе междунар., всесоюзн. и рос. науч. конф. В их числе: ежегодные междунар. IFIP конф. «Formal Description Techniques/Protocol Specification, Testing and Verification» (FORTE/PSTV) и «Testing of Communicating Systems» (с 1993). Подготовила 3 канд. наук. Автор более 70 работ, в т. ч. 1 монографии и 3 учеб. и учеб.-метод. пособий. Ряд работ написан в соавт. с учеными Канады, США, Италии и Франции. В 1994, 1995, 1996 Е. работала в Монреальском ун-те (Канада) в должности приглашенного проф. в науч. группе проф. Г. Бохмана по проекту совместных науч. исследований в обл. тестирования систем связи, итогом чего явилось подписание договора о проведении совместных работ с участием аспирантов и студентов ТГУ (1998).  
+
=='''Участие в конференциях, совещаниях, симпозиумах и международная деятельность'''==
 +
Принимала участие в работе международных, всесоюзных и российских научных конференций. В их числе: ежегодные международные IFIP конференции «Formal Description Techniques/Protocol Specification, Testing and Verification» (FORTE/PSTV) и «Testing of Communicating Systems» (с 1993).  
  
 +
Ряд работ написан в соавторстве с учеными Канады, США, Италии и Франции. В 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).  
+
Исследования Н.В. Евтушенко поддержаны грантами РФФИ (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).  
  
 +
=='''Деятельность по подготовке кадров высшей квалификации'''==
 +
Подготовила 3 канддидата наук. 
  
Получает Гос. науч. стипендию (с 1997). Лауреат конкурса Том. обл. в сфере образования и науки (1998). Награждена медалью «За заслуги перед Том. гос. ун-том» (1988). Увлекается чтением худож. лит. и изучением иностр. языками. Активно занималась спортом. Имела I разряд по волейболу и много лет играла за сборную ТГУ. В н. в. капитан сборной сотр. ТГУ по волейболу. Замужем за Геннадием Сергеевичем (р. 1947). Он окончил ДВГУ и аспирантуру при ТГУ, д-р. техн. наук, в н. в. зав. каф. пром. и мед. электроники ТПУ. Их дети: Лариса (р. 1975) окончила ф-т прикл. математики и кибернетики ТГУ, в н. в. работает в одной из фирм Томска; Татьяна (р. 1979) окончила Ин-т иностр. яз. ТГПУ, в н. в. преп. ТГПУ; Наталья (р. 1987) ученица Академлицея.
+
=='''Награды и премии'''==
 +
* Получает Государственную научную стипендию (с 1997 г.);
 +
* [[:Категория: Лауреаты премии Томской области в сфере образования и науки|Лауреат премии Томской области в сфере образования и науки]] (1998);
 +
* [[:Категория: Награжденные медалью «За заслуги перед Томским государственным университетом»|Медаль «За заслуги перед Томским государственным университетом»]] (1988).  
  
 +
=='''Увлечения'''==
 +
Увлекается чтением художественной литературы и изучением иностранных языков. Активно занималась спортом. Имела I разряд по волейболу и много лет играла за сборную [[Томский государственный университет|ТГУ]]. Капитан сборной сотрудников [[Томский государственный университет|ТГУ]] по волейболу.
  
Совм. с Г.П. Агибаловым. К декомпозиции конечных автоматов // Автоматика и вычисл. техника. 1976. № 5;  
+
=='''Труды'''==
Они же. Декомпозиции конечных автоматов. Томск, 1985;  
+
* Совместно с [[Агибалов, Геннадий Петрович|Г.П. Агибаловым]]. К декомпозиции конечных автоматов // Автоматика и вычислительная техника. 1976. № 5;  
Совм. с А.В. Лебедевым, А.Ф. Петренко. Построение проверяющих тестов для автоматных сетей // Автоматика и телемеханика. 1994. № 8;  
+
* Совместно с [[Агибалов, Геннадий Петрович|Г.П. Агибаловым]]. Декомпозиции конечных автоматов. Томск, 1985;  
Совм. с A.F. Petrenko, G.V. Bochmann. Fault models for testing in context. Protocol Specification, Testing and Verification, XII. Champton & Hall, 1996;  
+
* Совместно с А.В. Лебедевым, А.Ф. Петренко. Построение проверяющих тестов для автоматных сетей // Автоматика и телемеханика. 1994. № 8;  
Совм. с A. Cavalli, L. Lima. Test suite minimization for testing in context, Testing of Communicating Systems, 11. Kluwer Academic Publishers, 1998;  
+
* Совместно с A.F. Petrenko, G.V. Bochmann. Fault models for testing in context. Protocol Specification, Testing and Verification, XII. Champton & Hall, 1996;  
Совм. с A. Petrenko. Solving asynchronous equations. Protocol Specification, Testing and Verification, XIV. Kluwer Academic Publishers, 1998;  
+
* Совместно с A. Cavalli, L. Lima. Test suite minimization for testing in context, Testing of Communicating Systems, 11. Kluwer Academic Publishers, 1998;  
Совм. с А.В. Лебедевым. О контрольном эксперименте с детерминированной реализацией при недетерминированном эталоне // Кибернетика и системный анализ. 1998. № 3;  
+
* Совместно с A. Petrenko. Solving asynchronous equations. Protocol Specification, Testing and Verification, XIV. Kluwer Academic Publishers, 1998;  
Совм. с T. Villa, R. Brayton, A. Petrenko, A. Sangiovani-Vincenteli. Solving parallel language equation. International Conference on Computer-Aided-Design ICCAD’2001. USA, 2001.
+
* Совместно с А.В. Лебедевым. О контрольном эксперименте с детерминированной реализацией при недетерминированном эталоне // Кибернетика и системный анализ. 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.
  
Архив ТГУ. Ф. Р-815. Оп. 28. Д. 78;
+
[[Категория: Персоналии]]
Оп. 57. Д. 1074;
+
[[Категория: Заведующие кафедрами Томского университета]]
Липский В. Портрет делового человека // За сов. науку. 1988. 3 марта;
+
[[Категория: Младшие научные сотрудники Томского университета]]
Ева. Прил. к газ. «Красное знамя». 2001. 17 февр.;
+
[[Категория: Профессора Томского университета]]
Том. гос. ун-т: Ежегодник-2001 / Под ред. Г.В. Майера. Томск, 2002.
+
[[Категория: Доценты Томского университета]]
 +
[[Категория: Старшие преподаватели Томского университета]]
 +
[[Категория: Сотрудники Факультета прикладной математики и кибернетики Томского университета]]
 +
[[Категория: Сотрудники Радиофизического факультета Томского университета]] [[Категория: Выпускники Томского университета]]
 +
[[Категория: Выпускники Радиофизического факультета Томского университета]]
 +
[[Категория: Доктора технических наук]]
 +
[[Категория: Лауреаты премии Томской области в сфере образования и науки]]
 +
[[Категория: Награжденные медалью «За заслуги перед Томским государственным университетом»]]
 +
[[Категория: Защитившие докторские диссертации в Томском университете]]
 +
[[Категория: Родившиеся в Томске]]
 +
[[Категория: Все статьи]]
 +
[[Категория: Е]]

Текущая версия на 00:10, 9 апреля 2025

Евтушенко Нина Владимировна
ЕвтушенкоНВ!.png
Дата рождения:

18 августа 1949 г.

Место рождения:

Томск

Научный руководитель:

Г.П. Агибалов

Награды и премии:


Лауреат премии Томской области в сфере образования и науки (1998);Медаль «За заслуги перед Томским государственным университетом» (1988)


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

Семья

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

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

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

Н.В. Евтушенко окончила с серебряной медалью томскую среднюю школу № 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 г.).

Автор более 70 работ, в т. ч. 1 монографии и 3 учебных и учебно-методических пособий.

Участие в конференциях, совещаниях, симпозиумах и международная деятельность

Принимала участие в работе международных, всесоюзных и российских научных конференций. В их числе: ежегодные международные IFIP конференции «Formal Description Techniques/Protocol Specification, Testing and Verification» (FORTE/PSTV) и «Testing of Communicating Systems» (с 1993).

Ряд работ написан в соавторстве с учеными Канады, США, Италии и Франции. В 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).

Деятельность по подготовке кадров высшей квалификации

Подготовила 3 канддидата наук.

Награды и премии

Увлечения

Увлекается чтением художественной литературы и изучением иностранных языков. Активно занималась спортом. Имела I разряд по волейболу и много лет играла за сборную ТГУ. Капитан сборной сотрудников ТГУ по волейболу.

Труды

  • Совместно с Г.П. Агибаловым. К декомпозиции конечных автоматов // Автоматика и вычислительная техника. 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.