МАТРОСОВА (дев. Калмыкова) Анжела Юрьевна (р. 2 февр. 1941, Томск) - профессор кафедры программирования. Отец М., Юрий Николаевич Соколов (1903-1981), окончил Сиб. технол. ин-т, был проф. и деканом теплоэнергетического ф-та ТПИ. Мать М., Татьяна Ивановна Калмыкова (1906-1997), была учителем начальных классов, перед уходом на пенсию работала мед. лаборантом. М. начинала учиться в Загорске Моск. обл. Продолжила учебу с 1950 в Томске. После окончания средней школы № 12 (1958) поступила на радиофиз. ф-т ТГУ. Среди ее унив. преподавателей Э.С. Воробейчиков, А.Д. Закревский, В.Н. Кессених, А.Б. Сапожников, Ф.П. Тарасенко и др. Окончила с отличием ун-т (1963) по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник», защитив дипломную работу, посвященную исследованию пороговых булевых функций (науч. руководитель аспирант радиофиз. ф-та, в н. в. проф. Е.А. Бутаков). С 1964 - мл. науч. сотр., с 1965 - инженер лаб. счетно-решающих устройств (СчРУ) ТГУ, затем СФТИ. С 1969 - аспирант каф. мат. логики и программирования ф-та прикл. математики. С 1972 - ст. науч. сотр. СчРУ. С 1974 - cт. преп., с 1975 - доц., c 1976 - зав. каф., с 1986 - доц. каф. мат. логики и программирования (затем каф. программирования), c 1991 - проф., c 1995 - зав. каф. программирования ф-та прикл. математики и кибернетики ТГУ. Учен. звание проф. по каф. программирования присвоено в 1994. Читает курсы: дискретная математика (мат. логика и теория графов), введение в искусственный интеллект; спецкурсы: «Доп. главы дискретной математики (теория логических сетей)»; «Диагностика дискретных автоматов» и др. Обл. науч. интересов М. - тестирование и контролепригодное проектирование дискретных систем. Она продолжатель традиций науч. школы прикл. дискретной математики в ТГУ, основанной в кон. 50-х А.Д. Закревским. М. разработан единый подход, к развитию методов синтеза тестовых последовательностей для синхронных и асинхронных дискретных устройств и обеспечению контролепригодности дискретных устройств на этапе их проектирования, основанный на решении логических уравнений. Разработаны методы решения булевых уравнений спец. классов, ориентированных на задачи диагностики, в частности уравнений, заданных скобочными формами. Введен класс троичных логических уравнений и предложены методы их решений. Предложена мат. модель описания функционирования асинхронного устройства, в которой учтены состязания конкретной структурной реализации устройства. На основе использования этой модели развиты методы синтеза тестовых последовательностей для асинхронных устройств. Разработаны методы обеспечения контролепригодности дискретных устройств: а) за счет оптимального выделения контрольных точек; б) выбора подходящего метода синтеза устройства; в) внесения избыточности в компоненты устройства. В 1973 в совете по кибернетике и приборостроению отд-ния физ.-техн. наук АН БССР защитила дис. «Методы решения булевых уравнений и их применение в диагностике неисправностей дискретных автоматов» на соиск. учен. ст. канд. техн. наук (науч. руководитель проф. А.Д. Закревский; офиц. оппоненты проф. П.П. Пархоменко и доц. А.А. Уткин; утв. ВАК 1973). В окт. 1990 в совете ТГУ защитила дис. «Алгоритмические методы контроля и диагностики дискретных устройств упр. и проблемы контролепригодного проектирования» на соиск. учен. ст. д-ра техн. наук (офиц. оппоненты д-ра техн. наук В.А. Ведешенков, В.М. Разин и Д.В. Сперанский; утв. ВАК в 1991). В дальнейшем М. разработала вероятностный подход к вычислению оценок управляемости и наблюдаемости узлов дискретных устройств и вычислению вероятностных оценок принятия решений. Предложила также вероятностный подход к реализации троичного моделировния синхронных логических сетей (синхронных схем) с целью обеспечения совпадения его результатов с получаемыми на практике. Создала элементы теории синтеза самопроверяемых синхронных сетей, на основе которых предложила методы синтеза самопроверяемых синхронных схем, ориентированные на минимизацию дополнительных аппаратурных затрат, a также методы синтеза самовосстанавливаемых синхронных схем. Предложила архитектуру самопроверяемого тестера, ориентированную на FPGA технологии проектирования дискретных схем. Принимала участие в работе ряда междунар. науч. конф. В их числе: IEEE European test workshop 1997 (Cagliari, Itali, 1997); 4th Inter. on-line testing workshop (Capri, Italy, 1998); 4th Inter. conf. on computer aided design of discrete devices (Minsk, Republic of Belarus, 2001) и др. Автор более 80 работ, опубликованных в России, Франции, Италии, Испании, Греции, CША и др. Чл. оргкомитета III Всерос. конф. с междунар. участием «Новые информ. технологии в исследовании дискретных структур». С целью обмена опытом в науч. исследованиях была в Политехн. нац. ин-те Гренобля (Франция, 1995), в Потсдамском ун-те (Германия, 1996), в Тель-Авивском ун-те (Израиль, 1998 и 2001). Автор более 90 работ, в т. ч. 1 монографии и 2 учеб. пособий. Подготовила 3 канд. наук. Чл. редколлегии сб. сотр. и аспирантов ф-та прикл. математики и кибернетики (1999-2001). Чл. докт. дис. советов (мат. и программное обеспечение вычисл. машин, комплесков и компьютерных сетей; мат. моделирование, числ. методы и комплексы программ) и (системный анализ, упр. и обработка информации) в ТГУ. Д. чл. Междунар. академии информатизации (2001). Награждена почетной грамотой МВиССО РСФСР (1980). Лауреат конкурса Том. обл. в сфере образования и науки (1998). Любит путешествовать, а в свободное время читает книги на рус. или англ. яз. Была замужем за Игорем Ивановичем (1941-1978). Он окончил геол.-геогр. ф-т, был канд. геол.-минерал. наук, ст. науч. сотр. ТГУ. Их сын Евгений (р. 1967) окончил экон. ф-т ТГУ, экономист. Соч.: Совм. с А.Д. Закревским, А.Ю. Калмыковой. Решение системы логических уравнений // Логический яз. для представления алгоритмов синтеза дискретных автоматов. М., 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 Inter. on-line testing workshop. July 6-8, 1998. Capry, Italy; Совм. с I. Levin, S. Ostanin. Survivable self-checking sequentional circuits // Proc. of the IEEE Inter. symposium on defect and fault tolerance in VLSI systems. 2001. San Francisko, California. Источн. и лит.: Домашний очаг или огонь познания? // Alma Mater. 1998. 5 марта; Горцев А.М. Ф-т прикл. математики и кибернетики: История создания ф-та // Вестн. ТГУ. 2000. Т. 271; Агибалов Г.П. О прикл. дискретной математике в ТГУ (1970-1999) // Там же.