Частичные группоиды применительно к информационным системам

Тип работы:
Реферат
Предмет:
Физико-математические науки


Узнать стоимость

Детальная информация о работе

Выдержка из работы

БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Каляев И. А., Гайдук А. Р., Капустян С. Г. Модели и алгоритмы коллективного управления в группах роботов. — М.: Физматлит, 2009.
2. Rus D., Donald B., Jennings J. Moving Furniture with Teams of Autonomous Robots // Proceedings of The IEEE/RSJ International Conference on Intelligent Robots and Systems 95. '-Human Robot Interaction and Cooperative Robots'-. — 1995. — P. 235−242.
3. Гайдук А. Р., Капустян С. Г., Шаповалов И. О. Оптимальное перемещение тела интеллектуальным роботом // Мехатроника, автоматизация, управление. — 2009. — № 7. — С. 43−46.
4. Капустян, С.Г., Шаповалов И. О. Структура и алгоритмы действий коллектива роботов при перемещении тела // Экстремальная робототехника: Труды XXI Международной научно-технической конференции. — СПб.: Изд-во & quot-Политехника-сервис"-, 2010. — С. 375−381.
5. RochefortY., Piet-Lahanier H., Bertrand S., Beauvois D., Dumur D. Guidance of flocks of vehicles using virtual signposts // Preprints of the 18th IFAC world congress. — 2011. — P. 5999−6004.
6. Краткий физико-технический справочник. — М.: ФИЗМАТГИЗ, 1962.
Статью рекомендовал к опубликованию д.т.н., профессор Р. А. Нейдорф.
Шаповалов Игорь Олегович — Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Южный федеральный университет" — e-mail: shapovalovio@gmail. com- 347 928, г. Таганрог, пер. Некрасовский, 44- тел.: 89 508 473 455- кафедра систем автоматического управления- ассистент.
Shapovalov Igor Olegovich — Federal State-Owned Autonomy Educational Establishment of Higher Vocational Education «Southern Federal University" — e-mail: shapovalovio@gmail. com- 44, Nekrasovsky, Taganrog, 347 928, Russia- phone: +79 508 473 455- the department of automatic control systems- assistant.
УДК. 512. 53(043)
Е.С. Арапина-Арапова
ЧАСТИЧНЫЕ ГРУППОИДЫ ПРИМЕНИТЕЛЬНО К ИНФОРМАЦИОННЫМ СИСТЕМАМ
Основным объектом исследования в работе является класс категорийных полугрупп, допускающих разложения в объединение полугрупп Брандта с общим нулем. Например, нулевое расширение фундаментального группоида любого неориентированного графа относится к полугруппам изучаемого класса. Симметрию кристаллов, при помощи группоидов Брандта, описывают Вехлер и Фихтнер. Полугруппа Брандта является наиболее естественным аналогом понятия группы. Основной метод исследования состоит в использовании операции над классами частичных группоидов, которая близка умножению классов полных группоидов, впервые рассмотренному А. И. Мальцевым. В этих терминах можно рассматривать и градуированные алгебры. Получены новые результаты, которые обобщают некоторые известные факты теории полугрупп.
Частичные группоиды- полугруппы Брандта- неориентированные графы- симметрия кристаллов.
E.S. Arapina-Arapova APPLICATION OF PARTIAL GRUPPOIDS TO INFORMATION SYSTEMS
The main object of research in work, is the class of the category semigroups allowing decomposition in association of semigroups of Brandt with the general zero. For example, zero expansion fundamental groupoid any nondirectional count belongs to semigroups of a studied class. Symmetry of crystals, with the help groupoids Brandt, describe Vekhler and Fikhtner.
Brandt'-s semigroup is the most natural analog of concept of group. The main method of research consists in operation use over classes partial groupoids which is close to multiplication of classes full groupoids, for the first time considered by A.I. Maltsev. In these terms it is possible to consider and the graduated algebras. New results are received, which generalize some known facts of the theory of semigroups.
Partial gruppoids- Brandt'-s semigroups- nondirectional count- symmetry of crystals.
Постановка задачи. Как известно, один из способов изучения той или иной алгебраической системы состоит в разложении ее на подсистемы из некоторого достаточно изученного класса. В теории полугрупп широко применяются разложения в объединение попарно непересекающихся подполугрупп или, иногда, попарно пересекающихся в общем нуле. В этом направлении известны работы А. Клиффорда, В. Манна, М. Петрича, Р. Круазо, Д. Хауи, Л. Н. Шеврина, А.В. Ке-ларева и многих других.
Основным объектом исследования является класс категорийных полугрупп, допускающих разложения в объединение полугрупп Брандта с общим нулем. Заметим, что всякое утверждение о полугруппах с нулем влечет в качестве очевидного следствия некоторое утверждение о полугруппах без нуля, если предположить, что в рассматриваемой полугруппе ноль является внешним.
Изучение полугрупп, являющихся 0-объединением полугрупп Брандта, представляется актуальным, так как в классе полугрупп с нулем полугруппа Брандта есть наиболее естественный аналог понятия группы. К примеру, Вехлер и Фихтнер при помощи группоидов Брандта и Эресмана описывают симметрию кристаллов, а нулевое расширение фундаментального группоида любого неориентированного графа также является прямым объединением полугрупп Брандта. Еще пример. Пусть М = (М, | i е I} - множество попарно не пересекающихся непустых множеств. Тогда множество всех биекций, область определения и область значения которых принадлежат М (эти области могут совпадать), относительно обычной суперпозиции отображений является частичным группоидом, нулевое расширение которого является полугруппой, являющейся 0-объединением полугрупп Брандта. Например, в качестве М можно взять множество открытых граней (без ребер) многогранника, в частности, какого-нибудь кристалла.
Формулировки полученных результатов становятся намного короче, а доказательства их значительно упрощаются, если вместо исследуемой полугруппы с нулем рассматривать тот частичный группоид, который получается из данной полугруппы удалением нуля.
Основной метод исследования в работе состоит в использовании операции над классами частичных группоидов, которая близка умножению классов полных группоидов, впервые рассмотренному А. И. Мальцевым. В этих терминах можно рассматривать также и понятие градуированной алгебры.
Для решения поставленной задачи на частичных группоидах с некоторыми условиями типа ассоциативности исследуются конгруэнции, смежные классы которых являются группоидами Брандта. На изучаемых нами частичных группоидах единственной конгруэнцией, удовлетворяющей этому требованию, является эквивалентность Грина 3. При помощи выявления различных свойств этой эквивалентности и последующего перехода к нулевому расширению рассматриваемых частичных группоидов достигается поставленная в работе цель: описывается строение категорийных в нуле полугрупп, являющихся 0-объединением полугрупп Брандта в терминах частичных полурешеток.
Рис. 1. Примеры частичных полурешеток
Описание метода. Понятие катенарного полугруппоида ввел в геометрических целях В. В. Вагнер [1]. Полугруппоидом называется сильно ассоциативный частичный группоид, т. е. частичный группоид (S-^) является полугруппоидом тогда и только тогда, когда из того, что определено в Б одно из произведений (х • у) • I, х • (у • z) следует, что определено и другое, и выполняется равенство
(х • у) • z = х • (у • z). (1)
Если произведение и • V не определено в S, то пишем и • V = 0.
Очевидно, частичный группоид (5 -•) есть полугруппоид тогда и только тогда,
когда его нулевое расширение [2] 50 = 5 и {0} является полугруппой. Поэтому всякое свойство полугруппоидов влечет очевидное следствие для полугрупп (с нулем).
Идемпотентный коммутативный полугруппоид называем частичной полуре-шеткой.
Идемпотентный частичный группоид называется антицепью, если условие ху Ф0 всегда влечет х = у.
Частичный группоид (5--) называют катенарным, если условие х • у Ф0Ф у • z всегда влечет (х • у) • z Ф0Ф х • (у • z).
Условие катенарности частичного группоида 5 равносильно условию кате-горийности в нуле его нулевого расширения 50.
Принятая полугрупповая терминология сохраняется нами и для произвольных полугруппоидов. Понятны, например, термины регулярный, инверсный, простой, вполне простой полугруппоиды и т. д. Вполне простой инверсный полугруппоид называют группоидом Брандта.
Для произвольных классов X, Г полугруппоидов через 2*Г обозначен класс всех полугруппоидов 5, на которых существует такая конгруэнция т, что
е Г, а каждый замкнутый в 5 т -класс принадлежит X. Всякий полугруппоид класса X *Г называем Г -полугруппоидом X -полугруппоидов. В работе рассматривается строение катенарных полугруппоидов, являющихся идемпотентны-ми коммутативными полугруппоидами группоидов Брандта. Частным случаем
полученного в работе результата является одна из основных теорем в [4].
Обозначения:
А — класс антицепей-
В — класс группоидов Брандта-
I — класс полурешеток-
Q — класс катенарных частичных полурешеток-
М — класс инверсных клиффордовых полугруппоидов, в которых идеальная эквивалентность Грина 3 является конгруэнцией-
К — класс тех полугруппоидов 5 е М, для которых бинарное отношение
Теорема 1. Q=I * А
Доказательство. Если S Е I * А, т. е. S — прямое объединение полурешеток, то идемпотентность и коммутативность полугруппоида S очевидны. Пусть x, y, z Е S, xy * 0 * yz. Тогда, по определению (*) и класса А, элементы x, y, z принадлежат некоторой подполурешетке Sa полугруппоида S, а поэтому (xy)z (= x (yz)) принадлежит Sa, т. е. (xy)z *0* x (yz). Значит S — катенарный идемпотентный коммутативный полугруппоид, т. е. S — катенарная частичная по-лурешетка, следовательно, S Е Q. Итак, I * А? Q.
Докажем обратное включение. Если S Е Q, то отношение в = {(x, y) е S x S|xy *0} является эквивалентностью. В самом деле, рефлексивность и симметричность в следуют соответственно из идемпотентности и коммутативности умножения в S. Если, наконец xty, y 6z, т. е xy * 0 * yz, то, в силу кате-нарности, (xy)z * 0. Но S — полугруппоид, поэтому (xz) y = (zx) y = z (xy) * 0. Отсюда следует xez. Значит, в — эквивалентность на S. По определению в, если xey, то xy * 0, т. е. xy Е S. Но x • (xy) = x2y = xy * 0, поэтому xe (xy). Таким образом, каждый в — класс есть обычный (т.е. полный) группоид, а поэтому является обычной полурешеткой. Из сказанного следует S Е I* А. Этим доказано включение Q? I * А, а вместе с ним и требуемое равенство.
В [3] доказано, что полугруппоиды класса К и только они являются катенар-ными частичными полурешетками группоидов Брандта, т. е. К=В *Q, откуда, по теореме 1, К=В *(I* А). Естественно, возникает вопрос о строении катенарных полугруппоидов класса К. Решение этого вопроса и является целью настоящей работы.
Теорема 2. Полугруппоид S класса К катенарен тогда и только тогда, когда для любых а,? Е, таких, что? & lt- а и любого идемпотента e Е d найдется
единственный идемпотент f Е? такой, что f & lt- e.
Доказательство. Пусть S — катенарный полугруппоид из К. В этом случае, как показано в [3], обозначенное в формулировке условие выполнено. Покажем обратное. Пусть S Е К и указанное в формулировке условие выполнено. Берем произвольные идемпотенты e, f, g Е S такие, что ef * 0 * fg и покажем, что
удовлетворяет условию
(2)
efg ±0.
(3)
Так как 5 е К, то 5 является частичной полурешеткой У группоидов Брандта {^ае У}. Следовательно, найдутся такие а, 3, уе У, что ее а, / е 3, g еу. Поскольку е/ Ф0Ф fg то, по определению частичного факторгруппоида Уз = У, имеем, а о 3 Ф 0 Ф 3 о у. Так как частичная полурешетка У катенарна, то
отсюда следует, а о ?3 о у Ф0.
Очевидно
ао ^оу& lt- 3 (4)
Так как е/ е, а о ?3, то по условию, найдется идемпотент И е, а о 3 у, такой, что
& lt- е/ & lt- /. (5)
Аналогично, существует идемпотент И2 е а° /3°у такой, что
/. (6)
Но ао? ЗоуеВ, т. е ао 3оу — группоид Брандта и Н1, И2 е, а о /3 оу, значит, либо Н1Н2 = 0, либо И = Н2. Если й1 Ф Н2, то в группоиде, а о ?3 о у нашлись различные идемпотенты И1, к2, удовлетворяющие (5), (6) и выполняется неравенство (4), что противоречит требованию «единственности» в формулировке теоремы. Значит = Н2, откуда получаем
0 ф = К = ?12 = И (е/) • (fg)h2 = И (е/?)^2,
поскольку 5 -полугруппоид. Отсюда следует efg Ф 0. Таким образом, в инверсной полугруппе 5 0 = 5 и {0} полурешетка идемпотентов категорийна в нуле, а
потому категорийна в нуле и полугруппа 5°, т. е. полугруппоид 5 катенарен.
Заключение. Решение этой задачи на чисто полугрупповом языке представляет значительные сложности. Это вызвано следующим обстоятельством. Разложение полугруппы 5 на подполугруппы с общим нулем не определяет на 5 не только конгруэнции, но даже и эквивалентности. Попытка же изолировать ноль, считая его отдельным классом, несостоятельна: рассматриваемые разложения 5 таковы, что отвечающие им бинарные отношения на частичном группоиде 5{0}, являясь конгруэнциями, сильными конгруэнциями не являются, а потому не являются конгруэнциями на полугруппе 5 их нулевые расширения (при помощи пары (0,0)). Именно поэтому предпочтительнее язык частичных действий, нежели действий полных.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Вагнер В. В. Диаграммируемые полугруппоиды и обобщенные группоиды // Известия вузов. Математика. — 1967. — № 10. — С. 11−23.
2. Клиффорд А., Престон Г. Алгебраическая теория полугрупп. — М.: Мир, 1972. — Т. 1, 2.
3. Кожевников О. Б. Об одной операции на классах полугруппоидов // Вестник ТГПИ. Ес-тест. науки, 2009.
4. Арапина-Арапова Е. С. Разложение полугрупп в объединение декартовых полугрупп // 11-я Международная конференция «Полугруппы: теория и приложения» в честь профессора Е. С. Ляпина. — СПб., 1999. — С. 66−67.
5. Арапина-Арапова Е.С. О катерных инверсных полугруппоидах // Вестник ТГПИ. Физико-математические и естественные науки. — Таганрог: Изд-во Таганрог. гос. пед. инс-та, 2010. — № 1. — С. 3−5.
Статью рекомендовал к опубликованию д.т.н., профессор Я. Е. Ромм.
Арапина-Арапова Елена Сергеевна — ФГБОУ ВПО «Таганрогский государственный педагогический институт им. А.П. Чехова" — e-mail: arapina@mail. ru- 347 926, г. Таганрог, ул. Инициативная, 48- тел.: +79 185 219 138- кафедра информатики- к.ф. -м.н.- доцент.
Arapina-Arapova Elena Sergeevna — FGBOU of VPO «Taganrog State Pedagogical Institute of a name A.P. Chekhov" — e-mail: arapina@mail. ru- 48, Initsiativnaya street, Taganrog, 347 926, Russia- phone: +79 185 219 138- the department of informatics- cand. of phis. -math. sc.- associate professor.
УДК 681. 12
К.В. Бесклубова
ОБЛАСТЬ ПРИТЯЖЕНИЯ ПОЛОЖЕНИЯ РАВНОВЕСИЯ МНОГОМЕРНОГО ОБЪЕКТА С ОГРАНИЧЕННЫМ УПРАВЛЕНИЕМ
Исследуется область притяжения положения равновесия многомерного динамического объекта при ограниченном управлении, формируемом многомерным устройством управления. Построение области производится с применением метода квадратичных функций Ляпунова и инвариантных эллипсоидов. Получены аналитические выражения, определяющие область начальных значений переменных состояния объекта, при которых обеспечивается гарантированная линейность системы управления. Проведено моделирование системы с ограниченным управлением при различных начальных условиях. Результаты моделирования подтверждают справедливость полученных выражений.
Многомерная система управления- ограничение на управление- функция Ляпунова- оценка области устойчивости- переменные состояния.
K.V. Besklubova
STABLE STATE ATTRACTION AREA OF THE MULTIVARIABLE PLANT WITH LIMITED CONTROL
The paper considers the attraction area of stable state of multivariable dynamic plant with limited control formed with the aid of multivariable control unit. The attraction area is formed with application of square Lyapunov'-s function method and invariant ellipsoids. Analytical expressions, defining area of plant’s initial conditions providing the guaranteed system’s linearity, are received. Simulation of the system with limited control is carried out at the various initial conditions which results prove the specified expressions.
Multivariable control system- limited control- Lyapunov'-s function- an estimation of linearity area- state variables.
Введение. Управляющие воздействия реальных объектов, как правило, ограничены по величине. В том случае, когда значение управления, формируемого устройством управления, превышает допустимую величину, система может потерять линейность и, как следствие, устойчивость и работоспособность. В связи с этим в данной работе рассматривается задача построения областей притяжения положения равновесия динамической системы с ограничением на управление. Решение задачи получено методом функций Ляпунова с применением инвариантных эллипсоидов.
Постановка задачи. Рассмотрим линейный многомерный объект управления (МОУ), заданный уравнениями
X = Ax + Bu, y = CT x + Du, (1)
где x — n -вектор состояния МОУ- A, B, C, D — матрицы коэффициентов- u, y -q -векторы управлений и выходов МОУ.

ПоказатьСвернуть
Заполнить форму текущей работой