Федеральное агентство по образованию Российской Федерации
САРАТОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Кафедра дискретной математики
и информационных технологий
Студента 4 курса факультета КНиИТ
дневного отделения
Научный руководитель
доцент, к.ф.-м.н. Л.Б. Тяпаев
Зав. Кафедрой ДМиИТ
доцент, к.ф.-м.н. Л.Б. Тяпаев
Введение
1. Теоретическая часть
1.1 Конечные динамические системы
1.2 Сокращение мономиальных систем
1.3 Линейные системы над конечными коммутативными кольцами.
Заключение
Список использованных источников
ВВЕДЕНИЕ
Важнейшая проблема в теории динамических систем заключается в том, чтобы связать структуру системы с её динамикой. В данной курсовой работе рассматривается такая связь для семейства нелинейных систем над произвольными конечными областями. Для систем, которые могут быть описаны мономами, можно получить информацию о конечной циклической структуре для структуры мономов. В частности, курсовая работа содержит достаточное условие для мономиальных систем, имеющих только фиксированные элементы, в качестве конечных циклов. Условие позволяет уменьшить проблему изучения Булевых мономиальных систем и линейных систем над конечными кольцами.
1. ТЕОРЕТИЧЕСКАЯ ЧАСТЬ
1.1 Конечные динамические системы
Конечные динамические системы – динамические системы с конечным набором состояний в дискретном времени. Широко известны примеры использование клеточного автомата и Булевой сети, они нашли широкое применение в машиностроении, в компьютерных науках, и, ещё раньше, в биологической статистике. Чаще общие многопозиционные системы используются в теории управления, в проектировании и анализе компьютерного моделирования. Основной математический вопрос, который обычно возникает в большинстве из этих наук – как анализировать динамику модели без фактического перечисления всех состояний переходов, так как перечисление имеет экспоненциальную сложность в количестве переменных в модели.
Для ответа на поставленный вопрос, обозначим конечную динамическую систему как функцию
Любую Булеву сеть можно представить как конечную динамическую систему
Пусть
В случае, где все
В данной курсовой работе рассматривается класс нелинейных систем, описанных специальным типом полиномиалов, а именно мономами. То есть, рассматриваются системы
В работе «Булевы мономиальные системы» изучался специальный класс Булевых мономиальных систем, а именно те, которые имеют фиксированные элементы в качестве конечных циклов, так называемые системы конечных элементов. Причиной для рассмотрения именно этого класса стало использование полиномиальных систем в качестве моделей для биохимических сетей. В зависимости от экспериментально рассматриваемой системы, такие сети часто проявляют устойчивые состояния динамики. То есть, их динамические модели имеют фазовые пространства, в которых конечные циклы – фиксированные элементы. С целью подбора модели, было бы полезно иметь структурный критерий распознания фиксированных элементов системы. Главная цель данной работы ответить на вопрос о мономиальных системах над общей конечной областью
1.2 Сокращение мономиальных систем
Пусть