Анализ разработки визуальной среды, позволяющей легко создавать модели в виде графического представления сети Петри. Описания моделирования конечных автоматов, параллельных вычислений и синхронизации. Исследование влияния сна на процесс усвоения знаний.
Аннотация к работе
Общие понятия о сетях Петри Применение сетей Петри к задачам моделирования Моделирование конечных автоматов Параллельные вычисления и синхронизация Моделирование процесса усвоения знаний Моделирование процесса усвоения знаний методом сетей Петри Моделирование мотивационных механизмов Моделирование цепочек творческой деятельности Трёхуровневая модель витального интеллекта Принципы оценки эффективности усвоения знаний Непроизвольные методы получения знаний Запоминание и сон Оценка эффективности знаний, полученных во сне Сон в философии Турья Прикладная часть курсового проекта Особенности разработки программы Руководство пользователя Альтернативные проекты Выводы Литература Введение Сети Петри - это инструмент исследования систем. Теория сетей Петри делает возможным моделирование системы математическим представлением её в виде сети Петри [2]. Но следует заметить, что человека как носителя информации и накопителя (то есть как субъекта, реализующего процесс усвоения знаний) можно представить как совокупность некоторых биохимических процессов, свойств и взаимодействий. К сожалению, в России действительно научных исследований на эту тему не проводится и большинство исследований процессов памяти и сна (даже не смотря на существующий в России в Екатеринбурге Клинический Институт Мозга) носят прикладной, а не фундаментальный характер и направлены больше на лечение текущих проблем, например, бессонницы и прочего. В данной работе не будет рассматриваться кратность связей (то есть кратных дуг), но будут использоваться множественные фишка. Итак, сеть Петри C является четвёркой , где - конечное множество позиций, n > 0, - конечное множество переходов, m > 0, таких, что . Пример сети приведён на рис. 1. Рис. 1. Если мы обозначим кружком позиции, а палкой | - переходы, а в качестве отображений переходов примем ориентированные стрелки, то получим граф сети Петри.