- Формулировка основных задач математического моделирования функционально избыточных дискретных систем в терминах универсальных автоматов-перечислителей позволяет применять при их решении аппарат теории автоматов и полугрупп. Доказательство алгоритмической неразрешимости этих задач для класса дискретных систем определяет основное направление исследований математических моделей функционально избыточных дискретных систем - исследование моделей частных классов дискретных систем.
- Решения задач математического моделирования функционально избыточных дискретных систем - определение функциональной избыточности системы, ее проектирование, реализация требуемого поведения - основаны на построении перечислимого множества универсального автомата, определении элементов системы образующих полугруппы универсального автомата, определении механизма порождения требуемых автоматных преобразований через выбранную систему образующих.
- Результаты исследования числовой модели автомата позволяют для заданного автомата определить возможность его представления семейством многочленов, построить семейство многочленов, доопределить автомат до автомата, допускающего это моделирование. Предложенные методы решения задач математического моделирования функционально избыточных систем для класса систем, допускающих числовое моделирование, основаны на исследования полугруппы многочленов в кольце вычетов по модулю m.
- Результаты исследования групповых автоматов позволяют решить задачи математического моделирования функционально избыточных систем для класса систем без потери информации. Разработка универсальных перечислителей для этого класса основана на исследовании различных систем образующих симметрической группы степени m. Оценка длин групп автоматов с известными системами образующих позволила получить такую характеристику универсального перечислителя, как длина восстанавливающей последовательности.
- Разработанный комплекс проблемно-ориентированных программ GroupAutomata, реализующий предложенные методы для работы с универсальными групповыми автоматами, может быть использован любым исследователем для решения задач выявления функциональной избыточности, проектирования и реализации требуемого поведения функционально избыточной системы без потери информации.
- Результаты исследований автоматной модели регистров различных типов позволили разработать математические методы решения задач построения восстанавливающих последовательностей, методы синтеза универсальных перечислителей для данных регистров.
- Предложенные схемы проектирования функционально избыточной программной системы основаны на принципах автоматного программирования и различных методах построения универсального автомата-перечислителя. Приведенная структура автоматных программ позволяет реализовать предложенные схемы на любом языке программирования как с помощью Switch-технологии, так и с помощью IfTableSwitch-технологии.
1.Шульга Т.Э. Управление дискретными системами на основе функцио-нальной избыточности/ А.А. Сытник, Т.Э.Шульга Саратов.: Изд-во СГСЭУ, 2009. 196 с.
Статьи в журналах перечня ВАК
2.Шульга Т.Э. Числовые методы функционального восстановления поведения систем/ А.А. Сытник, Т.Э. Шульга //Автоматика и телемеханика. 2003. Вып. 10. С.123-130.
3.Шульга Т.Э. О восстановлении систем, моделируемых автоматами/ А.А. Сытник, Т.Э. Шульга // Интеллектуальные системы: научный журнал. М.: Изд-во МГУ, 2005. Т. 9. Вып. 1-4. С. 265- 279.
4.Шульга Т.Э. Задачи диагностирования и функционального восстановления поведения в теориях автоматов и нейронных сетей/ Т.Э. Шульга, А.С. Ковальская, Е.В. Сорокина// Вестник Саратовского государственного социально-экономического университета. 2006 №14(3). С. 131-133.
5.Шульга Т.Э. Управление поведением мехатронных систем на основе свойств функциональной избыточности/ А.А. Сытник, Т.Э. Шульга, С.В. Папшев // Мехатроника, автоматизация, управление. 2008. №12. С.41-44.
6.Шульга Т.Э. О классе систем, разрешимом относительно задачи управления поведением на основе свойств функциональной избыточности/ Т.Э. Шульга //Вестник Саратовского государственного технического университета. 2008. № 4. С.57-64.
7.Шульга Т.Э. Метод построения восстанавливающих последовательностей для систем без потери информации/ Т.Э. Шульга// Системы управления и информационные технологии. 2009. № 1.3(35). С. 407-411.
8.Шульга Т.Э. Математические модели потери устойчивости неоднородных цилиндрических оболочек от неравномерной радиальной нагрузки/ Э.В. Антоненко, Т.Э. Шульга // Известия Саратовского университета. Новая серая. Математика. Механика. Информатика. 2009. Т. 9. Вып. 3. С. 79–83.
9.Шульга Т.Э. Об управлении поведением регистров на основе свойств функциональной избыточности/ А.А. Сытник, Т.Э. Шульга// Вестник Саратовского государственного технического университета. 2009. №3 (40). С.107-114.
10.Шульга Т.Э. Задачи синтеза и анализа теории управления поведением систем на основе свойств функциональной избыточности для класса групповых автоматов/ А.А. Сытник, Т.Э. Шульга, Н.С. Вагарина // Вестник Самарского государственного аэрокосмического университета. 2009. № 4 (20). С. 248-255.
11.Шульга Т.Э. О длине восстанавливающих последовательностей для систем без потери информации/ Т.Э. Шульга// Вестник Самарского государственного аэрокосмического университета. 2009. № 4. № 4 (20). С. 255-262.
12.Шульга Т.Э. Общая схема управления дискретными системами на основе функциональной избыточности/ Т.Э. Шульга//Современные технологии. Системный анализ. Моделирование. 2010. №1(25). С.167-175.
Журнальные статьи и доклады на конференциях
13.Шульга Т.Э. Численные критерии восстановимости поведения КДА степенным многочленом/ Т.Э. Шульга// Теоретические проблемы информатики и ее приложений. Саратов: ГосУНЦ «Колледж», 1997. Вып.1. С. 132-137.
14.Шульга Т.Э. Об одном подходе к построению автомата-перечислителя/ Н.И. Посохина, Т.Э. Шульга// Методы кибернетики и информационные технологии. Саратов: ГосУНЦ «Колледж». 1997. Вып.1. С. 113-115.
15.Шульга Т.Э. Об одном подходе к решению задачи синтеза автоматов-перечислителей/ А.А. Сытник, Н.И. Посохина, Т.Э. Шульга// Теоретические проблемы информатики и ее приложений. Саратов: ГосУНЦ «Колледж». 1998. Вып.2. С. 103-116.
16.Шульга Т.Э. Необходимые условия моделируемости автоматных функций степенным многочленом/ Т.Э. Шульга// Теоретические проблемы информатики и ее приложений. Саратов: ГосУНЦ «Колледж». 1998. Вып.2. С. 145-153.
17.Шульга Т.Э. О некоторых аспектах задачи восстановления поведения сложных систем/ Т.Э. Шульга // Новые информационные технологии: разработка и аспекты применения: тез. докл. Первой Всерос. науч. конф. молодых ученых и аспирантов Таганрог: ТГУ, 1998. С. 150-151.
18.Шульга Т.Э. О возможностях восстановления поведения сложных систем/ Т.Э. Шульга // Проблемы совершенствования ракетных комплексов: сб. науч. тр. Всерос. военно-технической конф. Саратов: Изд-во Сарат. филиала ВАУ. 1999. С 30-34.
19.Шульга Т.Э. О моделировании автоматных функций/ Т.Э. Шульга// Ломоносов 99: тез. докл. IV Междунар. конф. студентов и аспирантов по фундаментальным наукам М.: Изд-во МГУ. 1999. С.255-256.
20.Шульга Т.Э. О возможностях восстановления поведения сложных систем/ Т.Э. Шульга// Актуальные проблемы военной науки и образования: сб. науч. докладов Академии военных наук, Саратовское отделение. Саратов: Изд-во Сарат. филиала ВАУ. 2000. С. 231-233.
21.Shulga T.E. On Some Methods Of Discrete Systems Goal-Directed Behavior Generating/ A.A. Sytnik, N.I. Posohina, T.E. Shulga // The Fourth Conference of the SCI (Systemics, Cybernetics and Informatics). Orlando, Florida, USA, 2000. P.47-48.
22.Шульга Т.Э. Метод построения перечислимого множества автомата, моделируемого семейством многочленов/ Т.Э. Шульга // Теоретические проблемы информатики и ее приложений. Саратов: ГосУНЦ «Колледж». 2001. Вып.4. С. 148-156.
23.Шульга Т.Э. Проектирование отказоустойчивых дискретных систем на основе принципов функционального восстановления поведения/ А.А. Сытник, Т.Э. Шульга// Автоматизация проектирования дискретных систем: материалы Четвертой Междунар. конф в 3 т. Минск: Ин-т техн. кибернетики НАН Беларуси, 2001. Т. 3. С. 37-45.
24.Шульга Т.Э. Анализ и синтез универсального-автомата перечислителя/ А.А. Сытник, Т.Э. Шульга, А.Н. Кунявская// Тез. докл. Междунар. конф., посвященной памяти А.М. Богомолова. Саратов: Изд-во Сарат. ун-та, 2002. С.70-71.
25.Shulga T.E. Mathematical models of intellectual systems goal-directed behavior generating/ A.A. Sytnik, T.E. Shulga // V international congress on mathematical modeling: book of abstracts Dubna, 2002. Vol. II. P. 133-134.
26. Шульга Т.Э. О методе построения восстанавливающей последовательности для автомата, моделируемого семейством многочленов/ Т.Э. Шульга //. Труды XXIV конф. молодых ученых, М.: Изд-во Моск. ун-та, 2002. С. 154-157.
27.Shulga T.E. Mathematical models of Discrete Systems Goal-Directed Behavior Generating/ А.А. Sytnik, T.E. Shulga// International Journal of Computing Anticipatory. Belgium. Published by CHAOS. 2003. Vol. 14. P.299-310.
28.Shulga T.E. Functional Renewal of Behavior of Systems: Numerical Methods/ A.A. Sytnik, T.E. Shulga// Automation and Remote Control. 2003. Vol. 64, № 10. P. 1620-1634.
29.Шульга Т.Э. О новых подходах к решению задачи синтеза универсального автомата/ Ю.О. Седина, Т.Э. Шульга// Теоретические проблемы информатики и ее приложений: межвуз.сб. Саратов: Изд-во Сарат. ун-та, 2004. Вып.6. С. 175-180.
30.Шульга Т.Э. Об универсальной перечислимости автоматов специального класса/ Т.Э. Шульга//Социально-экономическое развитие России: проблемы, поиски решения: сб. науч. тр. по итогам науч.-исслед. работы СГСЭУ в 2004 г. в 2 ч. Саратов: Издат. центр СГСЭУ, 2005. Ч.2. С. 115 116
31.Сытник А.А., Шульга Т.Э. Об одном методе синтеза отказоустойчивых систем/ А.А. Сытник, Т.Э. Шульга//Информационные технологии в науке, производстве и социальной сфере: cб. науч. тр./ под ред. акад. Ю.В. Гуляева. Саратов: Научная книга, 2005. С.122-131.
32.Шульга Т.Э. Постановка задач диагностирования неисправности и функционального восстановления в теории нейронных сетей по аналогии с теорией конечных детерминированных автоматов/ Т.Э. Шульга, А.С. Ковальская //Математическое и информационное обеспечение экономической деятельности: альманах. Саратов: Издат. центр СГСЭУ, 2006. С. 81-86.
33.Шульга Т.Э. О методе решения задачи диагностирования нейронной сети/ Т.Э. Шульга, А.С. Ковальская// Автоматизация проектирования дискретных систем: материалы Шестой Междунар. конф. Минск: ОИПИ НАН Беларуси, 2007. С. 237-245.
34.Шульга Т.Э. Программные решения систем интеграции данных и корпоративной информации/ Т.Э. Шульга// Интернет и инновации: практические вопросы информационного обеспечения инновационной деятельности: материалы Междунар. науч.-практ. конф. Саратов: Изд-во СГТУ, 2008. С.246-250.
35.Шульга Т.Э. Метод построения восстанавливающих последовательностей для систем без потери информации/ Т.Э. Шульга//Информационные технологии моделирования и управления. Воронеж: Изд-во «Научная книга», 2009. №2(54). С. 276-283.
36.Шульга Т.Э. Метод нахождения длины восстанавливающих последовательностей для систем без потери информации/ Т.Э. Шульга //Математические методы в технике и технологиях: сб. трудов XXII Межунар. науч. конф.: в 10 т. Псков: изв-во Псков. гос. политех. ин-та, 2009. Т.2. C.70-73.
37.Шульга Т.Э. О длине группы автомата/ Т.Э. Шульга//Социально-экономическое развитие России: сб. науч. тр. Саратов: Издат. центр СГСЭУ, 2009. Ч.1. С. 131 133.
38.Шульга Т.Э. Задачи управления функционально избыточными системами/ Т.Э. Шульга // Информатика: проблемы, методология, технологии: материалы Х Междунар. науч.-метод. конф. в 3 т. Воронеж: Изд-во ВГУ 2010. Т.2. С. 283-284.