Мономиальные динамические системы - Математика курсовая работа

Главная

Математика
Мономиальные динамические системы

Сущность теории динамических систем и роль связи структуры системы с её динамикой. Конечные динамические системы и сокращение мономиальных систем. Проблема изучения Булевых мономиальных систем и линейных систем над конечными коммутативными кольцами.


посмотреть текст работы


скачать работу можно здесь


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


весь список подобных работ


Нужна помощь с учёбой? Наши эксперты готовы помочь!
Нажимая на кнопку, вы соглашаетесь с
политикой обработки персональных данных

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Федеральное агентство по образованию Российской Федерации
САРАТОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Важнейшая проблема в теории динамических систем заключается в том, чтобы связать структуру системы с её динамикой. В данной курсовой работе рассматривается такая связь для семейства нелинейных систем над произвольными конечными областями. Для систем, которые могут быть описаны мономами, можно получить информацию о конечной циклической структуре для структуры мономов. В частности, курсовая работа содержит достаточное условие для мономиальных систем, имеющих только фиксированные элементы, в качестве конечных циклов. Условие позволяет уменьшить проблему изучения Булевых мономиальных систем и линейных систем над конечными кольцами.
Конечные динамические системы - динамические системы с конечным набором состояний в дискретном времени. Широко известны примеры использование клеточного автомата и Булевой сети, они нашли широкое применение в машиностроении, в компьютерных науках, и, ещё раньше, в биологической статистике. Чаще общие многопозиционные системы используются в теории управления, в проектировании и анализе компьютерного моделирования. Основной математический вопрос, который обычно возникает в большинстве из этих наук - как анализировать динамику модели без фактического перечисления всех состояний переходов, так как перечисление имеет экспоненциальную сложность в количестве переменных в модели.
Для ответа на поставленный вопрос, обозначим конечную динамическую систему как функцию , где - конечный набор. Динамика заключается в повторении и кодируется в его фазовом пространстве , которое является ориентированным графом определённым следующим образом. Вершина - элемент из . Существует ориентированная дуга в если . В частности, допустима ориентированная дуга в саму себя. То есть кодирует все состояния переходов , и имеет свойство: для каждой вершины имеется полустепень исхода точно равная 1. Каждый компонент связанного графа состоит из направленного цикла, так называемого конечного цикла, с направленным деревом приложенным к каждой вершине в цикле, состоящем из так называемых переходов.
Любую Булеву сеть можно представить как конечную динамическую систему , где - конечная область над двумя элементами и . В данной курсовой работе, изучаются конечные динамические системы , где - любая конечная область и . Точнее, рассматривается семейство нелинейных конечных систем, для которых можно получить информацию относительно динамики структуры функции.
Пусть , - конечная динамическая система. Рассмотрим, как может быть описана в зависимости от координатных функций , то есть, . Известно что любая теоретико-множественная функция может быть представлена полиномиалом в . Этот полиномиал может быть выбран таким образом, чтобы любая переменная в нём была в степени меньшей чем . То есть, для любого имеется уникальное , такое что для всех . Следовательно, любая конечная динамическая система над конечной областью может быть представлена как полиномиальная система.
В случае, где все - линейные полиномиалы без константного описания, динамику линейных систем можно полностью определить ее матричным представлением. Пусть - матричное представление линейной системы . Тогда количество конечных циклов и их длинна, так же как структура переходов, может быть определена разложением на множители характерной полиномиальной матрицы . Структура конечных циклов была определена ранее Элспасом, и для аффинных систем Миллиганом и Уилсоном.
В данной курсовой работе рассматривается класс нелинейных систем, описанных специальным типом полиномиалов, а именно мономами. То есть, рассматриваются системы , такие, что каждый был полиномиалом вида , или константой. Допустимо предположение, что никакая координатная функция не константа, так как это частный случай переменной. Некоторые классы мономиальных систем и их динамические поведения изучались прежде в работах: Мономы клеточного автомата, Булевы мономиальные системы, мономиальные системы над периодическими числами и мономиальные системы над конечными областями.
В работе «Булевы мономиальные системы» изучался специальный класс Булевых мономиальных систем, а именно те, которые имеют фиксированные элементы в качестве конечных циклов, так называемые системы конечных элементов. Причиной для рассмотрения именно этого класса стало использование полиномиальных систем в качестве моделей для биохимических сетей. В зависимости от экспериментально рассматриваемой системы, такие сети часто проявляют устойчивые состояния динамики. То есть, их динамические модели имеют фазовые пространства, в которых конечные циклы - фиксированные элементы. С целью подбора модели, было бы полезно иметь структурный критерий распознания фиксированных элементов системы. Главная цель данной работы ответить на вопрос о мономиальных системах над общей конечной областью , а так же, на вопрос о связи Булевой мономиальной системы и линейной системы над кольцом .
Пусть : - полиномиальная система, где каждый - моном, такой, что , где - неотрицательное целое число. То есть, может быть описано матрицей . В первую очередь связывается с Булевой мономиальной системой и линейной системой над кольцами . В работе «Булевы мономиальные системы» называется системой конечных элементов если все конечные циклы заключаются в фиксированном элементе. Покажем что - конечный элемент системы тогда, и только тогда, когда и - системы конечных элементов.
Для , мы определим базис , обозначенный supp ( u ) , равный , где
Мономиальная система порождает Булеву мономиальную систему на с параметрами , где и v = supp ( u ) .
Это прямо доказывается тем что supp ( f ( u ))= f ( supp ( u )) .
Так как на множестве всех таких, что supp ( u )= u , появляется следующие прямые следствия.
Фазовое пространство - подграф фазового пространства .
Предположим что - система конечных элементов. Если - цикл в фазовом пространстве , тогда для всех .
- состоит из всех возможных наборов длины 3 из трёх элементов: 0, 1, 2.
Используя функцию , определим переходы в фазовом пространстве .
Так как , то . Используя эту функцию, определим переходы в фазовом пространстве .
На рисунке 1.2.1 и 1.2.2 изображены фазовое пространство системы и ее «Булеанизяция» , соответственно.
Затем связывается с - размерной линейной системой над конечным кольцом. Заметим сначала что - изоморфный, как Абелева группа, для через изоморфизм , появляется возможность генератора для циклической группы . В первую очередь обратим внимание, что множество векторов со всеми ненулевыми вхождениями - постоянны для .
Пусть - генератор для циклической группы ,и пусть .
Видно что - линейное преобразование - элемента. Но можно рассматривать его, как линейное преобразование для - элемента, рассматривая как конечное кольцо, которое обозначим - . То есть, имеется линейное преобразование .
Обратим внимание, что вертикальные стрелки - изоморфизмы. Это значит, что они сохраняют фазовое пространство структуры, включая длину конечных циклов. В частности, имеется следующее следствие.
Фазовое пространство изоморфно к подграфу фазового пространства , состоя из всех наборов с базисным вектором .
Для мономиальной системы в примере 1.2.1, определим , где
Рассчитаем переходы в фазовом пространстве .
Фазовое пространство изображено на рисунке 1.2.3.
Пусть - мономиальная динамическая система. Тогда - система конечных элементов тогда, и только тогда, когда и - системы конечных элементов.
Из следствий 1.2.1 и 1.2.3, если - система конечных элементов, то и тоже системы конечных элементов. Для доказательства от противного, предположим что и - системы конечных элементов, а - нет. Для каждого конечного цикла , любой из двух связанных наборов имеет все координаты ненулевые, или все наборы имеют минимум одну нулевую координату. В первом случае из этого следует, что имеет конечный цикл, той же длины. Следовательно, если имеет конечный цикл длины большей чем , тогда включаются только наборы имеющие минимум одну нулевую координату.
Пусть - наборы в конечном цикле. Так как этот конечный цикл должен отображать конечный элемент для из этого следует, что имеет тот же самый базисный вектор, то есть, тот же самый образец нулевых вхождений, и отличается только в ненулевых координатах. Кроме того, мономы в ненулевых координатах не включают никакие переменные, соответствующие нулевым координатам. Таким образом, если построить новый набор , заменяя каждый в , на , - будет частью конечного цикла длины, по крайней мере , что является противоречием. Это доказывает теорему.
1.3 Линейные системы над конечными коммутативными кольцами
Теорема в предыдущей части показывает что для того чтобы решить, будет ли данная мономиальная система , над конечной областью , системой с конечными элементами, достаточно решить этот вопрос для связанных булевых систем, для которых определена линейная система над конечным кольцом . Поэтому остаётся развить критерий для линейных систем над конечными коммутативными кольцами, для того чтобы решить будет ли система - системой конечных элементов. Здесь мы сведем общий случай к имеющему первичную мощность.
Путь для взаимно простых целых чисел и , и пусть -линейная система для размерности . Выбрав изоморфизм получим, что - изоморфно к произведению , где и - линейные системы над и , соответственно. Используя факт того, что фазовое пространство является прямым произведением тогда, когда ориентированы графы фазовых пространств для и , мы получаем следующий результат.
Пусть для взаимно простых целых чисел и , и пусть - линейная система над размерности . Пусть и - линейные преобразования над и , соответственно. Тогда - система конечных элементов тогда, и только тогда, когда и - системы конечных элементов.
Имея цель развить критерий для изучения систем конечных элементов, достаточно изучить линейные системы над кольцами вида для простых чисел . Следующая теорема обеспечивает критерий для дальнейшего решения проблемы с линейной системой над областью простых чисел .
Пусть - линейное отображение, и пусть - проекционное отображение на . Тогда , где . Тогда фазовое пространство - изоморфно подграфу фазового пространства .
Пусть определяется . Тогда легко проверить что , так как - линейные отображения для всех . Поэтому, прямо проверяется что тогда, и только тогда, когда , и, следовательно, фазовое пространство изоморфно подграфу фазового пространства .
Пусть - линейное отображение, и пусть - проекционное отображение на . Если не является системой конечных элементов, тогда - не является системой конечных элементов.
- состоит из всех возможных наборов длины 2 из четырёх элементов: 0, 1, 2,3.
Используя функцию , определим переходы в фазовом пространстве .
Так как , переходы в фазовом пространстве определены следующим образом.
Фазовые пространства и изображены на рисунках 1.3.1 и 1.3.2, соответственно.
Результат позволяет изучить динамику линейных систем над конечными кольцами, в частности для нахождения критерия для линейной системы быть системой конечных элементов. Также обеспечивается алгоритм решения того, чтобы мономиальная система над произвольной конечной областью была системой конечных элементов. Однако, пока, трудно изучается даже динамика линейных систем над кольцам вида , из-за недостатка уникальной факторизации в полиномиальном кольце .
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
1. Colon-Reyes O., Jarrah A., Laubenbacher R., Sturmfels B. Monomial dynamical systems over finite fields// Complex Systems. 2006. Том 16, стр. 333-342.
Динамические системы в математическом понимании. Определение функционирующей системы и системы процессов. Основные и неосновные переменные динамики систем, множества их значений, типовые кванторы. Определения и классификация динамических свойств. курсовая работа [144,0 K], добавлен 04.05.2011
Основные понятия теории систем уравнений. Метод Гаусса — метод последовательного исключения переменных. Формулы Крамера. Решение систем линейных уравнений методом обратной матрицы. Теорема Кронекер–Капелли. Совместность систем однородных уравнений. лекция [24,2 K], добавлен 14.12.2010
Математические и педагогические основы исследования системы линейных уравнений. Компьютерная математика Mathcad. Конспекты уроков элективного курса "Изучение избранных вопросов по математике с использованием системы компьютерной математики Mathcad". дипломная работа [1001,0 K], добавлен 03.05.2013
Дифференциальные уравнения как модели эволюционных процессов. Автономные системы дифференциальных уравнений и их фазовые пространства. Асимптотическая устойчивость линейных однородных автономных систем. Изображения фазовых кривых при помощи ПО Maple. дипломная работа [477,4 K], добавлен 17.06.2015
Основные понятия и теоремы систем линейных уравнений, характеристика методов их решения. Критерий совместности общей системы. Структура общих решений однородной и неоднородной систем. Матричный метод решения и обобщение. Методы Крамера и Гаусса. курсовая работа [154,5 K], добавлен 13.11.2012
Основные действия над матрицами, операция их умножения. Элементарные преобразования матрицы, матричный метод решения систем линейных уравнений. Элементарные преобразования систем, методы решения произвольных систем линейных уравнений, свойства матриц. реферат [111,8 K], добавлен 09.06.2011
Некоторые математические вопросы теории обслуживания сложных систем. Организация обслуживания при ограниченной информации о надёжности системы. Алгоритмы безотказной работы системы и нахождение времени плановой предупредительной профилактики систем. реферат [1,4 M], добавлен 19.06.2008
Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д. PPT, PPTX и PDF-файлы представлены только в архивах. Рекомендуем скачать работу .

© 2000 — 2021



Мономиальные динамические системы курсовая работа. Математика.
Статья На Тему Технологія Проведення Метеорологічних Спостережень За Погодою На Аеродромі Київ (Жуляни)
Тургенев Сфинкс Сочинение Анализ Стихотворения В Прозе
Как Писать Эссе По Обществознанию Экономика
Контрольная работа по теме Общественный и государственный строй Киевской Руси
Реферат: Финансы предприятий сельского хозяйства 2
Доклад: Топа Элимбаев
Сочинение На Тему Экология В Современном Мире
Сочинение На Тему Никогда
Курсовая работа: Юридическая и нравственная школы учения об искуплении
Доклад: Ревизионная теория истины
Дипломная работа: Слияния и поглощения транснациональных корпораций как инструмент повышения стоимости и конкурентоспособности
Реферат по теме Армия в политической системе
Реферат: Грудне вигодовування
Курсовая работа: Лидерские качества руководителя
План Сочинения Обломов
Реферат: Ілля Ілліч Мечников
Реферат: Disobedience Virtue Or Vice Essay Research
Курсовая работа по теме Развитие качеств выносливости в избранном виде лёгкой атлетике 400м с/б.
Стих Самого Сочинения
Курсовая работа по теме Антидепрессанты
Соотношение права и культуры в контексте основных правовых семей современности - Государство и право дипломная работа
Аудит основных средств предприятия - Бухгалтерский учет и аудит курсовая работа
Феномен славянства в книге Н.Я. Данилевского "Россия и Европа" - История и исторические личности анализ книги