Матросова Анжела Юрьевна
МатросоваАЮ.jpeg
Дата рождения:

2 февраля 1941 г.

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

Томск

Учёная степень:

доктор технических наук

Учёное звание:

профессор

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

А.Д. Закревский

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


Лауреат премии Томской области в сфере образования и науки (1998)

МАТРОСОВА (девичья фамилия Калмыкова) Анжела Юрьевна (родилась 2 февраля 1941 г., Томск) – профессор кафедры программирования.

Семья

Отец А.Ю. Матросовой, Юрий Николаевич Соколов (1903-1981), окончил Сибирский технологический институт, был профессором и деканом теплоэнергетического факультета ТПИ. Мать А.Ю. Матросовой, Татьяна Ивановна Калмыкова (1906-1997), была учителем начальных классов, перед уходом на пенсию работала медицинским лаборантом.

Была замужем за Игорем Ивановичем (1941-1978). Он окончил геолого-географический факультет, был кандидатом геолого-минеральных наук, старшей научной сотрудницей ТГУ. Их сын Евгений (родился в 1967 г.) окончил экономический факультет ТГУ, экономист.

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

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

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

С 1964 г. – младший научный сотрудник, с 1965 г. – инженер лаборатории счетно-решающих устройств (СчРУ) ТГУ, затем СФТИ. С 1969 г. – аспирант кафедры математической логики и программирования факультета прикладной математики. С 1972 г. – старший научный сотрудник СчРУ. С 1974 г. – старший преподаватель, с 1975 г. – доцент, c 1976 г. – заведующий кафедрой, с 1986 г. – доцент кафедры математической логики и программирования (затем кафедры программирования), c 1991 г. – профессор, c 1995 г. – заведующий кафедрой программирования факультета прикладной математики и кибернетики ТГУ.

Ученое звание профессора по кафедре программирования присвоено в 1994 г. Читает курсы: дискретная математика (математическая логика и теория графов), введение в искусственный интеллект; спецкурсы: «Дополнительные главы дискретной математики (теория логических сетей)»; «Диагностика дискретных автоматов» и др.

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

Область научных интересов А.Ю. Матросовой – тестирование и контролепригодное проектирование дискретных систем. Она продолжатель традиций научной школы прикладной дискретной математики в ТГУ, основанной в конце 50-х А.Д. Закревским. А.Ю. Матросовой разработан единый подход, к развитию методов синтеза тестовых последовательностей для синхронных и асинхронных дискретных устройств и обеспечению контролепригодности дискретных устройств на этапе их проектирования, основанный на решении логических уравнений. Разработаны методы решения булевых уравнений специальных классов, ориентированных на задачи диагностики, в частности уравнений, заданных скобочными формами. Введен класс троичных логических уравнений и предложены методы их решений. Предложена математическая модель описания функционирования асинхронного устройства, в которой учтены состязания конкретной структурной реализации устройства. На основе использования этой модели развиты методы синтеза тестовых последовательностей для асинхронных устройств. Разработаны методы обеспечения контролепригодности дискретных устройств: а) за счет оптимального выделения контрольных точек; б) выбора подходящего метода синтеза устройства; в) внесения избыточности в компоненты устройства.

В 1973 г. в совете по кибернетике и приборостроению отделения физико-технических наук АН БССР защитила диссертацию «Методы решения булевых уравнений и их применение в диагностике неисправностей дискретных автоматов» на соискание ученой степени кандидата технических наук (научный руководитель профессор А.Д. Закревский; официальные оппоненты профессор П.П. Пархоменко и доц. А.А. Уткин; утверждено ВАК в 1973 г.).

В октябре 1990 г. в совете ТГУ защитила диссертацию «Алгоритмические методы контроля и диагностики дискретных устройств упрпаления и проблемы контролепригодного проектирования» на соискание ученой степени доктора технических наук (официальные оппоненты доктора технических наук В.А. Ведешенков, В.М. Разин и Д.В. Сперанский; утверждено ВАК в 1991 г.).

В дальнейшем А.Ю. Матросова разработала вероятностный подход к вычислению оценок управляемости и наблюдаемости узлов дискретных устройств и вычислению вероятностных оценок принятия решений. Предложила также вероятностный подход к реализации троичного моделировния синхронных логических сетей (синхронных схем) с целью обеспечения совпадения его результатов с получаемыми на практике. Создала элементы теории синтеза самопроверяемых синхронных сетей, на основе которых предложила методы синтеза самопроверяемых синхронных схем, ориентированные на минимизацию дополнительных аппаратурных затрат, a также методы синтеза самовосстанавливаемых синхронных схем. Предложила архитектуру самопроверяемого тестера, ориентированную на FPGA технологии проектирования дискретных схем.

Автор более 90 работ, в том числе 1 монографии и 2 учебных пособий.

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

Принимала участие в работе ряда международных научных конференций. В их числе: IEEE European test workshop 1997 (Cagliari, Itali, 1997); 4th International on-line testing workshop (Capri, Italy, 1998); 4th International conference on computer aided design of discrete devices (Minsk, Republic of Belarus, 2001) и др. Автор более 80 работ, опубликованных в России, Франции, Италии, Испании, Греции, CША и др. Член оргкомитета III Всероссийской конференции с международным участием «Новые информационные технологии в исследовании дискретных структур». С целью обмена опытом в научных исследованиях была в Политехническом национальном институте Гренобля (Франция, 1995), в Потсдамском университете (Германия, 1996), в Тель-Авивском университете (Израиль, 1998 и 2001).

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

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

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

Член редколлегии сборника сотрудников и аспирантов факультета прикладной математики и кибернетики (1999-2001). Член докторских диссертационных советов (математическое и программное обеспечение вычислительных машин, комплесков и компьютерных сетей; математическое моделирование, численные методы и комплексы программ) и (системный анализ, управление и обработка информации) в ТГУ. Действительный член Международной академии информатизации (2001).

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

Увлечения

Путешествия, чтение книг на русском и английском языках.

Труды

  • Совместно с А.Д. Закревским, А.Ю. Калмыковой. Решение системы логических уравнений // Логический язык для представления алгоритмов синтеза дискретных автоматов. М., 1966;
  • Построение проверяющих тестов для каскадных схем // Техническая диагностика. М., 1971; Методы обнаружения неисправности в синхронном устройстве // Автоматика и телемеханика. № 12. 1977;
  • Построение полного теста для схем, синтезированных методом факторизации // Автоматика и вычислительная техника. 1978. № 5;
  • Алгоритмические методы синтеза тестов. Томск, 1990;
  • Совместно с Н.В. Евтушенко, С.В. Цуриковым, А.Е. Янковской. Логический подход к вычислению вероятностных оценок принятия решений в системах искусственного интеллекта // Известия РАН. Техническая кибернетика. 1994. № 2;
  • О вероятностном моделировании дискретных устройств // Автоматика и телемеханика. 1995. № 1;
  • Совместно с Н.Г. Кудрявцевым. Кольцевая технология тестирования трудно обнаружимых неисправностей // Автоматика и телемеханика. 1996. № 12;
  • Совместно с S.A. Ostanin. Self-checking synchronous FSM network design. Compendium of papers 4th IEEE International on-line testing workshop. July 6-8, 1998. Capry, Italy;
  • Совместно с I. Levin, S. Ostanin. Survivable self-checking sequentional circuits // Proc. of the IEEE International symposium on defect and fault tolerance in VLSI systems. 2001. San Francisko, California.

Источники и литература

  • Домашний очаг или огонь познания? // Alma Mater. 1998. 5 марта;
  • Горцев А.М. Факультет прикладной математики и кибернетики: История создания факультета // Вестник ТГУ. 2000. Т. 271;
  • Агибалов Г.П. О прикладной дискретной математике в ТГУ (1970-1999) // Вестник ТГУ. 2000. Т. 271.