Лабораторная работа по интеллектуальным системам: анализ параллельных вычислительных структур

Анализ параллельных вычислительных структур с использованием дерева решений и моделей сетей Петри посвящён формальному описанию распределённых и конкурентных процессов, оценке их согласованности и поиску логики выбора ветвей вычислений; в такой работе ключевое — корректная формализация структуры вычислений и построение модели, пригодной для имитации и проверки свойств. Чаще всего требуется не только теоретическое обоснование, но и практическая модель, прогоняемая в среде моделирования.

Что входит в работу

• введение с постановкой цели и описанием исследуемой параллельной архитектуры;
• построение дерева решений для выбранной задачи с объяснением критериев разделения ветвей;
• формальная модель сети Петри: описание мест, переходов, меток и начального маркерного состояния;
• прогон модели в среде моделирования, анализ результатов и интерпретация выходных состояний;
• заключение с выводами о динамике системы и указаниями на ограничения модели.

На что смотрят преподаватели

Оценивают соответствие методическим указаниям: структура по разделам, корректность схем и подписей, полноту описания параметров модели и пояснений к дереву решений; важны обоснование выбранных правил ветвления, корректная нотация сети Петри и адекватный разбор результатов моделирования. Приводят ссылки на использованные источники и кратко описывают используемое программное обеспечение для запусков модели.

Мы оформляем работу по теме и методичке, готовим формальную модель сети Петри и дерево решений, сопровождая их пояснениями и отчётом о прогоне; включены правки по замечаниям преподавателя до 21 дня. Оставьте в заявке задание — пришлите структуру и требования, чтобы получить расчёт и рекомендации.