- На основе проведенных научных исследований разработаны методы и средства создания нового класса программных средств -системы управления преобразованиями программ с переменным набором трансформаций.
- Научная новизна разработанных методов и средств управления преобразованиями программ с переменным набором трансформаций заключается в использовании онтологического подхода и в представлении информации в базах знаний в декларативном представлении.
- Впервые разработана концепция системы для управления преобразованиями программ с переменным набором трансформаций.
- Впервые разработаны онтологии модели структурных программ и онтологии расширенной модели структурных программ.
- Впервые разработаны онтологии методов потокового анализа программ и онтологии знаний о трансформациях программ, а также база знаний о методах потокового анализа программ и база знаний о трансформациях программ.
- Впервые поставлена задача интерпретации декларативного представления базы знаний о трансформациях программ и разработан метод ее решения.
- Впервые разработан и реализован специализированный банк знаний о преобразованиях программ.
- Предложена технология использования методов и средств управления преобразованиями программ с переменным набором трансформаций.
1.Князева М.А. Преобразования программ с переменным набором трансформаций. Монография. - Владивосток: Изд-во Дальневост. ун-та, 2008.-208 с. ISBN 978-5¬7944-2141-0
Статьи, опубликованные в реферируемых журналах из Перечня ВАК: 2.Артемьева И.Л., Князева М.А., Купневич О.А. Модель онтологии предметной области "Оптимизация последовательных программ". Ч.1. Термины для описания объекта оптимизации // НТИ. Сер. 2.-2002.-№ 12.-С. 23-28.
3.Артемьева И.Л., Князева М.А., Купневич О.А. Модель онтологии предметной области "Оптимизация последовательных программ". Ч.2. Термины для описания процесса оптимизации // НТИ. Сер. 2.-2003.-№ 1.-С. 22-29.
4.Артемьева И.Л., Князева М.А., Купневич О.А. Модель онтологии предметной области "Оптимизация последовательных программ". Ч.3. Примеры описания некоторых оптимизирующих преобразований // НТИ. Сер. 2.-2003.-№ 2.-С. 27-34. 5.Клещев А.С., Князева М.А. Управление информацией о преобразованиях программ. I. Анализ проблем и пути их решения на основе методов искусственного
интеллекта //Изв. РАН. ТиСУ. 2005. № 5, с. 120-129.
6.Клещев А.С., Князева М.А. Управление информацией о преобразованиях программ. II. Внутреннее устройство специализированного банка знаний о преобразованиях программ // Изв. РАН. ТиСУ. 2005. № 6, с. 101-110. 7.Князева М.А. Оптимизирующие компиляторы, управляемые базами знаний // Информационные технологии. - 2005.-№ 12.- с. 42-48.
8.Князева М.А., В.А. Тимченко. Структурные редакторы программ на языках программирования высокого уровня и генератор моделей структурных программ в Банке знаний о преобразованиях программ // Вестник Компьютерных и информационных технологий.-2006-№ 6-с.43-49.
9.Князева М.А., Матецкий С.В. Модель онтологии предметной области «Оптимизация коммуникаций для машин с распределенной памятью». Определение расширения языка модели структурных программ // Вестник Компьютерных и информационных технологий.-2006-№ 5-с.49-55.
10.Артемьева И.Л., Гаврилова Т.Л., В.В. Грибова, Клещев А.С., Князева М.А., Никифорова Н.Ю., Орлов В.А., Черняховская М.Ю. , Шалфеева Е.А. Мультидисциплинарная система управления информационными ресурсами различных уровней общности // Проблемы управления.-2006-№4-с.64-68. 11.Князева М.А., Бердник А.Н., Волков Д.А., Жеравин М.В., Зотов И.Ю., Маевский М.С., Плохих С.А., Тимченко В.А. Система, моделирующая процесс преобразования программ, управляемый знаниями // Программы для ЭВМ базы данных топологии интегральных микросхем. Официальный бюллетень Федеральной службы по интеллектуальной собственности, патентам и товарным знакам.-2006.-№4 -с.157.
12.Клещев А.С., Князева М.А. Интернет-система управления информацией о преобразованиях программ // Информационные технологии.- 2007.-№ 1.-с. 42-46. 13.Князева М.А., Волков Д.А. Потоковый анализ программ, управляемый знаниями // Программные продукты и системы. -2007.-№1.-с.49-52. (ISSN 0236-235X) 14.Князева М.А., Жеравин М.В. Генерация низкоуровневого кода, управляемая знаниями // Информационные технологии.-2007.-№10.-с. 7-12.
15.Князева М.А., Маевский М.С. Проверка контекстных условий и поиск участков экономии в системе преобразований программ // Информационные технологии .-2007.-№ 12.-с. 70-73.
16.Князева М.А., Тимченко В.А. Подсистема генерации единого внутреннего представления в системе преобразований программ. // Программные продукты и системы. -2008.-№1.-с.58-62. (ISSN 0236-235X)
17.Князева М.А., Плохих С.А. Концепция системы управления специализированного банка знаний о преобразованиях программ // Информационные технологии.-2009.- №5.-с. 36-40.
Статьи, опубликованные в материалах конференций и других журналах: 18.Артемьева И.Л., Князева М.А., Купневич О.А. Моделирование процесса оптимизации последовательных программ с использованием модели онтологий // Искусственный интеллект, т. 3, 2002, с. 467-473.
19.Князева М.А., Матецкий С.В. Модель онтологии предметной области «Оптимизация коммуникаций для машин с распределенной памятью» // Искусственный интеллект, т. 3, 2003, с. 102-108.
20.Князева М.А. Банк знаний о преобразованиях компьютерных программ // Искусственный интеллект, т. 3, 2004, с. 179-186.
21.Князева М.А., Максимов С.В. Каталог реструктурирующих оптимизирующих преобразований в специализированном банке знаний по оптимизации программ // Научная сессия МИФИ-2004. Сб. научн. тр в 16 томах, т.3. М.: МИФИ, 2004. С.190-191.
22.Князева М.А., Максимов С.В. Модель онтологии реструктурирующих оптимизирующих преобразований // II Международная конференция «Параллельные вычисления и задачи управления» [Электронный ресурс].-Труды конференции.-2004- (CD ROM).-ISBN 5-201-14974-X.
23.Князева М.А. Преобразователь программ специализированного банка знаний о преобразованиях компьютерных программ. Искусственный интеллект. Интеллектуальные и многопроцессорные системы-2004 // Материалы Международной научной конференции Интеллектуальные и многопроцессорные системы - 2004. Т.1. Таганрог: Изд-во ТРТУ, 2004. С.186-189.
24.Князева М.А., Купневич О.А. Модель онтологии предметной области «Оптимизация последовательных программ». Определение языка модели структурных программ // НТИ. Сер. 2.-2005.-№ 2.-С. 17-21.
25.Князева М.А., Купневич О.А. Модель онтологии предметной области «Оптимизация последовательных программ». Определение расширения языка модели структурных программ терминами потокового анализа // НТИ. Сер. 2.-2005.-№ 4.-С. 14-22.
26.Князева М.А., Зотов И.Ю. Подсистема потокового анализа для распараллеливаемых программ в банке знаний о преобразованиях программ // Искусственный интеллект, т.4, 2005, с. 192-199.
27.Князева М.А., Тимченко В.А. Структурные редакторы программ на языках программирования высокого уровня и генератор моделей структурных программ в банке знаний о преобразованиях программ // Искусственный интеллект, т.4, 2005, с. 200-208.
28.Князева М.А.,С.А. Плохих. Измерительная подсистема для преобразователя программ // Научная Сессия МИФИ -2005. Сб. научн. тр. в 14 томах, т.3. М.: МИФИ, 2005.С. 130-131.
29.Князева М.А. Учебно-методический комплекс «Оптимизация программ» //Компьютерные учебные программы и инновации.-2006.-№4. http://www.ofap.ru. 30.Князева М.А., Бердник А.Н. Интерпретация знаний о трансформации программ в специализированном банке знаний о преобразованиях программ // Искусственный интеллект. Украина, Донецк: Институт проблем искусственного интеллекта. 2006, т. 4, с.191-200.
31.Князева М.А., Зотов И.Ю. Поиск участков программ для распараллеливания в системе потокового анализа в специализированном банке знаний о преобразованиях программ // Научная сессия МИФИ-2006. Сб. научн. тр. в 16 томах, т. 3. М: МИФИ, 2006. С. 136-137.
32.Князева М.А., Зотов И.Ю. Решение задачи распараллеливания программ в специализированном банке знаний о преобразованиях программ // III Международная конференция "Параллельные вычисления и задачи управления" [Электронный ресурс]. -Труды конференции.- 2006-(CD ROM).
33.Князева М.А. Интеллектуальная система управления знаниями об оптимизации программ // X национальная конференция по искусственному интеллекту с международным участием: Труды конференции. В 3-т.Т.1. М: Физматлит, 2006. С. 61-68.
34.Князева М.А., Волков Д.А. Онтология потокового анализа программ для классических оптимизирующих преобразований // Вторая международная конференция по когнитивной науке: тезисы докладов. Санкт-Петербург: Филологический факультет СПбГУ, 2006. Т: 2. С. 579-580.
35.Князева М.А., Пронина Е.А. Методы потокового анализа распараллеливаемых программ в специализированном банке знаний о преобразованиях программ // Искусственный интеллект. - Украина, Донецк: Институт проблем искусственного интеллекта. - 2007. - Т.3. - С. 79-85. - ISSN 1561-5359.
Зб.Клещев А.С., Князева М.А., Тимченко В.А. Интеллектуальная система генерации единого внутреннего представления в системе преобразований программ // Труды Второй международной конференции "Системный анализ и информационные технологии" САИТ-2007, 10-14 сентября, 2007, Обнинск, Россия. М.: Издательство ЛКИ, 2007. В 2 т., т.1, с.130-133. - ISBN 978-5-382-00437-2. 37.Князева М.А. Маевский М.С. Модель представления знаний о преобразованиях программ на основе онтологии // Материалы Всероссийской конференции с международным участием «Знания-Онтологии-Теории» (ЗОНТ-07), 14-16 сентября 2007, Новосибирск, Россия. Новосибирск: Институт математики, 2007. В 2 т., т.1, с. 159-165. - ISSN 0568-661X.
38.Knyazeva M.A., Kupnevich O.A. Expert system for simulation of program optimization // Joint NCC&IIS Bull., Comp. Science, 1999, №.12. P. 24-28.
39.Artemjeva I.L., Knyazeva M. A., Kupnevich O. A. Processing of knowledge about optimization of classical optimizing transformations // International Journal Information Theories & Applications, 2003,V. 10, № 2. P. 126-132.
40.Kleshchev A.S., Knyazeva M.A. Controlling Information on Program Transformations: I. Analysis of Problems and Ways of Their Solution with methods of Artificial Intelligence // Journal of Computer and Systems Sciences International, 2005, V.44, № 5.P. 784-792. 41.Kleshchev A.S., Knyazeva M.A. Controlling Information on Program Transformations:
II.The Internal Structure of a Special-Purpose Knowledge Bank on Program Transformations // Journal of Computer and Systems Sciences International, 2005, V.44, № 6. P. 932-941.
42.Knyazeva M.A., Kleschev A.S. A concept of the knowledge bank on computer program transformations // In proceedings of XI-th International conference "Kowledge-dialog-solution"(KDS-2005). 2005.Varna, Bulgaria. V. 1. P.147-152.
43.Knyazeva M.A, Keshchev A.S. A Web-system for Computer Experiments in the Field of Program Transformations // International Journal Information Theories & Applications. - Bulgaria, Sofia: FOI-COMMERCE. - 2006. - Vol. 13. - № 4 - PP. 331-336 - ISSN: 1310-0513 (printed), 1313-0463 (online), 1313-0498 (CD/DVD).
44.Knyazeva M.A, Volkov D.A. Management of information on program flow analysis // Proceedings of XIII-th Conference "Knowledge-Dialogue-Solutions", June 18-24, 2007. -Varna (Bulgaria). - Vol. 2. - PP. 411-417. - ITHEA, Sofia, 2007. - Printed in Sofia (Bulgaria) by Institute of Information Theories and Applications FOI ITHEA. - Текст англ. - ISSN: 1313-0087 (paperback); 1313-1176 (CD); 1313-1206 (online). FSBN Vol2: 978-954-16-2010-6 (paperback); 978-954-16-2011-3 (CD); 978-954-16-2012-0 (online). 45.Knyazeva M.A., Volkov D.A. Management of information on program flow analysis // International Journal Information Technologies & Knowledge. - Bulgaria, Sofia: FOI-COMMERCE. - 2008. - Vol. 2. - № 1 - PP. 11-16 - ISSN: 1313-0455 (printed), 1313-048X (online), 1313-0501 (CD/DVD).
46.Knyazeva M.A., Timchenko V.A. Ontology-based model of representation of knowledge about language mappings // International Book Series "INFORMATION SCIENCE & COMPUTING", Number 5. Supplement to the International Journal "INFORMATION TECHNOLOGIES & KNOWLEDGE" - Bulgaria, Sofia: FOI ITHEA.
- 2008. - Vol. 2. - PP. 111-118 - ISSN: 1313-0455 (printed), 1313-048X (online), 1313-0501 (CD/DVD).
Свидетельства о регистрации программ:
47.Князева М.А., Бердник А.Н., Волков Д.А., Жеравин М.В., Зотов И.Ю., Маевский М.С., Плохих С.А., Тимченко В.А. Система, моделирующая процесс преобразования программ, управляемый знаниями. Свидетельство РОСПАТЕНТА об официальной регистрации программы для ЭВМ № 2006612928., 15 августа 2006г. 48.Князева М.А. Учебно-методический комплекс «Оптимизация программ». Свидетельство об отраслевой регистрации разработки № 5861, 17 марта 2006 г.