| [досмотренная версия] | [досмотренная версия] |
Mgrib (обсуждение | вклад) |
Mgrib (обсуждение | вклад) |
||
| (не показаны 4 промежуточные версии 2 участников) | |||
| Строка 7: | Строка 7: | ||
|Роспись = | |Роспись = | ||
|Дата рождения = [[2 февраля в истории Томского университета|2]] [[Февраль 1941 года в истории Томского университета|февраля]] [[1941 год в истории Томского университета|1941]] г. | |Дата рождения = [[2 февраля в истории Томского университета|2]] [[Февраль 1941 года в истории Томского университета|февраля]] [[1941 год в истории Томского университета|1941]] г. | ||
| − | |Место рождения = Томск | + | |Место рождения = [[:Категория: Родившиеся в Томске|Томск]] |
|Дата смерти = | |Дата смерти = | ||
|Место смерти = | |Место смерти = | ||
| Строка 15: | Строка 15: | ||
|Период работы в Томском университете = | |Период работы в Томском университете = | ||
|Место работы в Томском университете = | |Место работы в Томском университете = | ||
| − | |Учёная степень = | + | |Учёная степень = доктор технических наук |
| − | |Учёное звание = | + | |Учёное звание = [[:Категория: Профессора Томского университета|профессор]] |
|Альма-матер = | |Альма-матер = | ||
| − | |Научный руководитель = | + | |Научный руководитель = [[Закревский, Аркадий Дмитриевич|А.Д. Закревский]] |
|Знаменитые ученики = | |Знаменитые ученики = | ||
| − | |Награды и премии = | + | |Награды и премии = [[:Категория: Лауреаты премии Томской области в сфере образования и науки|Лауреат премии Томской области в сфере образования и науки]] (1998) |
}} | }} | ||
| − | ''' МАТРОСОВА ( | + | ''' МАТРОСОВА (девичья фамилия Калмыкова) Анжела Юрьевна ''' (родилась [[2 февраля в истории Томского университета|2]] [[Февраль 1941 года в истории Томского университета|февраля]] [[1941 год в истории Томского университета|1941]] г., Томск) – профессор кафедры программирования. |
=='''Семья'''== | =='''Семья'''== | ||
| − | Отец | + | Отец А.Ю. Матросовой, Юрий Николаевич Соколов (1903–1981), окончил Сибирский технологический институт, был профессором и деканом теплоэнергетического факультета ТПИ. Мать А.Ю. Матросовой, Татьяна Ивановна Калмыкова (1906–1997), была учителем начальных классов, перед уходом на пенсию работала медицинским лаборантом. |
| − | Была замужем за Игорем Ивановичем ( | + | Была замужем за Игорем Ивановичем (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). |
=='''Увлечения'''== | =='''Увлечения'''== | ||
| − | + | Путешествия, чтение книг на русском и английском языках. | |
=='''Труды'''== | =='''Труды'''== | ||
| − | + | [http://wiki.lib.tsu.ru/wiki/Матросова,_Анжела_Юрьевна Список трудов в разделе "Персоналии ученых ТГУ" на сайте НБ] | |
| − | Построение проверяющих тестов для каскадных схем // | + | * Совместно с [[Закревский, Аркадий Дмитриевич|А.Д. Закревским]], А.Ю. Калмыковой. Решение системы логических уравнений // Логический язык для представления алгоритмов синтеза дискретных автоматов. М., 1966; |
| − | Построение полного теста для схем, синтезированных методом факторизации // Автоматика и | + | * Построение проверяющих тестов для каскадных схем // Техническая диагностика. М., 1971; |
| − | Алгоритмические методы синтеза тестов. Томск, 1990; | + | * Методы обнаружения неисправности в синхронном устройстве // Автоматика и телемеханика. № 12. 1977; |
| − | + | * Построение полного теста для схем, синтезированных методом факторизации // Автоматика и вычислительная техника. 1978. № 5; | |
| − | О вероятностном моделировании дискретных устройств // Автоматика и телемеханика. 1995. № 1; | + | * Алгоритмические методы синтеза тестов. Томск, 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 марта; | + | [http://wiki.lib.tsu.ru/wiki/Матросова,_Анжела_Юрьевна Список источников и литературы в разделе "Персоналии ученых ТГУ" на сайте НБ] |
| − | Горцев А.М. | + | * Домашний очаг или огонь познания? // [https://www.lib.tsu.ru/mminfo/2018/000025030/1998/1998_004.pdf 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).
Путешествия, чтение книг на русском и английском языках.
Список трудов в разделе "Персоналии ученых ТГУ" на сайте НБ
Список источников и литературы в разделе "Персоналии ученых ТГУ" на сайте НБ
