[досмотренная версия] | [досмотренная версия] |
Mgrib (обсуждение | вклад) |
Mgrib (обсуждение | вклад) |
||
Строка 15: | Строка 15: | ||
|Период работы в Томском университете = | |Период работы в Томском университете = | ||
|Место работы в Томском университете = | |Место работы в Томском университете = | ||
− | |Учёная степень = | + | |Учёная степень = доктор технических наук |
− | |Учёное звание = | + | |Учёное звание = [[:Категория: Профессора Томского университета|профессор]] |
|Альма-матер = | |Альма-матер = | ||
− | |Научный руководитель = | + | |Научный руководитель = [[Закревский, Аркадий Дмитриевич|А.Д. Закревский]] |
|Знаменитые ученики = | |Знаменитые ученики = | ||
− | |Награды и премии = | + | |Награды и премии = [[:Категория: Лауреаты премии Томской области в сфере образования и науки|Лауреат премии Томской области в сфере образования и науки]] (1998) |
}} | }} | ||
− | ''' МАТРОСОВА ( | + | ''' МАТРОСОВА (девичья фамилия Калмыкова) Анжела Юрьевна ''' (родилась [[2 февраля в истории Томского университета|2]] [[Февраль 1941 года в истории Томского университета|февраля]] [[1941 год в истории Томского университета|1941]] г., Томск) – профессор кафедры программирования. |
=='''Семья'''== | =='''Семья'''== | ||
− | Отец | + | Отец А.Ю. Матросовой, Юрий Николаевич Соколов (1903-1981), окончил Сибирский технологический институт, был профессором и деканом теплоэнергетического факультета ТПИ. Мать А.Ю. Матросовой, Татьяна Ивановна Калмыкова (1906-1997), была учителем начальных классов, перед уходом на пенсию работала медицинским лаборантом. |
− | Была замужем за Игорем Ивановичем (1941-1978). Он окончил | + | Была замужем за Игорем Ивановичем (1941-1978). Он окончил геолого-географический факультет, был кандидатом геолого-минеральных наук, старшей научной сотрудницей [[Томский государственный университет|ТГУ]]. Их сын Евгений (родился в 1967 г.) окончил экономический факультет [[Томский государственный университет|ТГУ]], экономист. |
=='''Школьные и студенческие годы'''== | =='''Школьные и студенческие годы'''== | ||
− | + | А.Ю. Матросова начинала учиться в Загорске Московской области. Продолжила учебу с 1950 г. в Томске. После окончания средней школы № 12 (1958) поступила на радиофизический факультет [[Томский государственный университет|ТГУ]]. Среди ее университетских преподавателей [[Воробейчиков, Сергей Эрикович|Э.С. Воробейчиков]], [[Закревский, Аркадий Дмитриевич|А.Д. Закревский]], [[Кессених, Владимир Николаевич|В.Н. Кессених]], [[Сапожников, Александр Борисович|А.Б. Сапожников]], [[Тарасенко, Феликс Петрович|Ф.П. Тарасенко]] и др. Окончила с отличием университет (1963) по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник», защитив дипломную работу, посвященную исследованию пороговых булевых функций (научный руководитель аспирант радиофизического факультета, профессор Е.А. Бутаков). | |
=='''Научно-организационная и преподавательская деятельность'''== | =='''Научно-организационная и преподавательская деятельность'''== | ||
− | С 1964 | + | С 1964 г. – [[:Категория: Младшие научные сотрудники Томского университета|младший научный сотрудник]], с 1965 г. – инженер лаборатории счетно-решающих устройств (СчРУ) [[Томский государственный университет|ТГУ]], затем СФТИ. С 1969 г. – аспирант кафедры математической логики и программирования факультета прикладной математики. С 1972 г. – [[:Категория: Старшие научные сотрудники Томского университета|старший научный сотрудник]] СчРУ. С 1974 г. – [[:Категория: Старшие преподаватели Томского университета|старший преподаватель]], с 1975 г. – [[:Категория: Доценты Томского университета|доцент]], c 1976 г. – [[:Категория: Заведующие кафедрами Томского университета|заведующий кафедрой]], с 1986 г. – [[:Категория: Доценты Томского университета|доцент]] кафедры математической логики и программирования (затем кафедры программирования), c 1991 г. – [[:Категория: Профессора Томского университета|профессор]], c 1995 г. – [[:Категория: Заведующие кафедрами Томского университета|заведующий кафедрой]] программирования факультета прикладной математики и кибернетики [[Томский государственный университет|ТГУ]]. |
− | + | Ученое звание профессора по кафедре программирования присвоено в 1994 г. Читает курсы: дискретная математика (математическая логика и теория графов), введение в искусственный интеллект; спецкурсы: «Дополнительные главы дискретной математики (теория логических сетей)»; «Диагностика дискретных автоматов» и др. | |
=='''Научно-исследовательская деятельность'''== | =='''Научно-исследовательская деятельность'''== | ||
− | + | Область научных интересов А.Ю. Матросовой – тестирование и контролепригодное проектирование дискретных систем. Она продолжатель традиций научной школы прикладной дискретной математики в [[Томский государственный университет|ТГУ]], основанной в конце 50-х [[Закревский, Аркадий Дмитриевич|А.Д. Закревским]]. А.Ю. Матросовой разработан единый подход, к развитию методов синтеза тестовых последовательностей для синхронных и асинхронных дискретных устройств и обеспечению контролепригодности дискретных устройств на этапе их проектирования, основанный на решении логических уравнений. Разработаны методы решения булевых уравнений специальных классов, ориентированных на задачи диагностики, в частности уравнений, заданных скобочными формами. Введен класс троичных логических уравнений и предложены методы их решений. Предложена математическая модель описания функционирования асинхронного устройства, в которой учтены состязания конкретной структурной реализации устройства. На основе использования этой модели развиты методы синтеза тестовых последовательностей для асинхронных устройств. Разработаны методы обеспечения контролепригодности дискретных устройств: а) за счет оптимального выделения контрольных точек; б) выбора подходящего метода синтеза устройства; в) внесения избыточности в компоненты устройства. | |
− | В 1973 в совете по кибернетике и приборостроению | + | В 1973 г. в совете по кибернетике и приборостроению отделения физико-технических наук АН БССР защитила диссертацию «Методы решения булевых уравнений и их применение в диагностике неисправностей дискретных автоматов» на соискание ученой степени кандидата технических наук (научный руководитель профессор [[Закревский, Аркадий Дмитриевич|А.Д. Закревский]]; официальные оппоненты профессор П.П. Пархоменко и доц. А.А. Уткин; утверждено ВАК в 1973 г.). |
− | В | + | В октябре 1990 г. в совете [[Томский государственный университет|ТГУ]] [[:Категория: Защитившие докторские диссертации в Томском университете|защитила диссертацию]] «Алгоритмические методы контроля и диагностики дискретных устройств упрпаления и проблемы контролепригодного проектирования» на соискание ученой степени доктора технических наук (официальные оппоненты доктора технических наук В.А. Ведешенков, В.М. Разин и Д.В. Сперанский; утверждено ВАК в 1991 г.). |
− | Автор более 90 работ, в | + | В дальнейшем А.Ю. Матросова разработала вероятностный подход к вычислению оценок управляемости и наблюдаемости узлов дискретных устройств и вычислению вероятностных оценок принятия решений. Предложила также вероятностный подход к реализации троичного моделировния синхронных логических сетей (синхронных схем) с целью обеспечения совпадения его результатов с получаемыми на практике. Создала элементы теории синтеза самопроверяемых синхронных сетей, на основе которых предложила методы синтеза самопроверяемых синхронных схем, ориентированные на минимизацию дополнительных аппаратурных затрат, 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 | + | Подготовила 3 кандидатов наук. |
=='''Научно-организационная и экспертная деятельность'''== | =='''Научно-организационная и экспертная деятельность'''== | ||
− | + | Член редколлегии сборника сотрудников и аспирантов факультета прикладной математики и кибернетики (1999-2001). Член докторских диссертационных советов (математическое и программное обеспечение вычислительных машин, комплесков и компьютерных сетей; математическое моделирование, численные методы и комплексы программ) и (системный анализ, управление и обработка информации) в [[Томский государственный университет|ТГУ]]. Действительный член Международной академии информатизации (2001). | |
=='''Награды и премии'''== | =='''Награды и премии'''== | ||
− | + | * Почетная грамота МВиССО РСФСР (1980); | |
− | Лауреат | + | * [[:Категория: Лауреаты премии Томской области в сфере образования и науки|Лауреат премии Томской области в сфере образования и науки]] (1998). |
=='''Увлечения'''== | =='''Увлечения'''== | ||
− | + | Путешествия, чтение книг на русском и английском языках. | |
=='''Труды'''== | =='''Труды'''== | ||
− | + | * Совместно с [[Закревский, Аркадий Дмитриевич|А.Д. Закревским]], А.Ю. Калмыковой. Решение системы логических уравнений // Логический язык для представления алгоритмов синтеза дискретных автоматов. М., 1966; | |
− | Построение проверяющих тестов для каскадных схем // | + | * Построение проверяющих тестов для каскадных схем // Техническая диагностика. М., 1971; Методы обнаружения неисправности в синхронном устройстве // Автоматика и телемеханика. № 12. 1977; |
− | Построение полного теста для схем, синтезированных методом факторизации // Автоматика и | + | * Построение полного теста для схем, синтезированных методом факторизации // Автоматика и вычислительная техника. 1978. № 5; |
− | Алгоритмические методы синтеза тестов. Томск, 1990; | + | * Алгоритмические методы синтеза тестов. Томск, 1990; |
− | + | * Совместно с Н.В. Евтушенко, С.В. Цуриковым, А.Е. Янковской. Логический подход к вычислению вероятностных оценок принятия решений в системах искусственного интеллекта // Известия РАН. Техническая кибернетика. 1994. № 2; | |
− | О вероятностном моделировании дискретных устройств // Автоматика и телемеханика. 1995. № 1; | + | * О вероятностном моделировании дискретных устройств // Автоматика и телемеханика. 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 марта; | + | * Домашний очаг или огонь познания? // Alma Mater. 1998. 5 марта; |
− | Горцев А.М. | + | * Горцев А.М. Факультет прикладной математики и кибернетики: История создания факультета // Вестник [[Томский государственный университет|ТГУ]]. 2000. Т. 271; |
− | Агибалов Г.П. О | + | * Агибалов Г.П. О прикладной дискретной математике в [[Томский государственный университет|ТГУ]] (1970-1999) // Вестник [[Томский государственный университет|ТГУ]]. 2000. Т. 271. |
[[Категория: Персоналии]] | [[Категория: Персоналии]] | ||
[[Категория: Профессора Томского университета]] | [[Категория: Профессора Томского университета]] | ||
+ | [[Категория: Заведующие кафедрами Томского университета]] | ||
+ | [[Категория: Доценты Томского университета]] | ||
+ | [[Категория: Старшие преподаватели Томского университета]] | ||
+ | [[Категория: Младшие научные сотрудники Томского университета]] | ||
+ | [[Категория: Старшие научные сотрудники Томского университета]] | ||
+ | [[Категория: Лауреаты премии Томской области в сфере образования и науки]] | ||
+ | [[Категория: Сотрудники Радиофизического факультета Томского университета]] [[Категория: Выпускники Томского университета]] | ||
+ | [[Категория: Выпускники Радиофизического факультета Томского университета]] | ||
+ | [[Категория: Защитившие докторские диссертации в Томском университете]] | ||
+ | [[Категория: Доктора технических наук]] | ||
+ | [[Категория: Все статьи]] | ||
+ | [[Категория: М]] |
Матросова Анжела Юрьевна | |
Дата рождения: | |
---|---|
Место рождения: |
Томск |
Учёная степень: |
доктор технических наук |
Учёное звание: | |
Научный руководитель: | |
Награды и премии: |
|
МАТРОСОВА (девичья фамилия Калмыкова) Анжела Юрьевна (родилась 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).
Путешествия, чтение книг на русском и английском языках.