Матросова Анжела Юрьевна
МатросоваАЮ.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 // Proceedings 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.