Базовый формализм для моделирования концептуально сложных динамических систем
Предопределенные контексты интерпретации, используемые при построении моделей динамических систем. Модель системы светофора, представленная на языке описания контекстных систем CML. Абстрактные машины, задающие формальную семантику языка программирования.
Подобные документы
Критичные информационные системы в иерархии сложности эргатических систем. Модель информационного взаимодействия сложных систем. Концепция построения функционально стабильных систем. Автоматизации анализа и моделирования сложных информационных систем.
статья, добавлен 27.04.2017Поведение динамических систем с применением методов инновационного хромоматематического моделирования. Закономерности изменения входных значений для аттрактора Лоренца на незначительное количество пунктов в случаях двумерного и трехмерного построения.
статья, добавлен 24.05.2018Разработка многоагентной системы. Программные модели на языке Jack. Анализ инструментальных средств построения агентно-ориентированных систем. Многоагентная модель процесса обучения студентов на кафедральном уровне. Проектирование динамических систем.
статья, добавлен 19.01.2018Абстрактные формы - идеальные конструкции, построенные средствами мышления и сознания. Характеристика методов формализованного представления систем. Специфические особенности компьютерных моделей. Анализ основных этапов математического моделирования.
презентация, добавлен 15.11.2014Теоретические аспекты математических основ моделирования. Общие сведения о динамических системах. Описание программного пакета WinSet: окно программы и приемы работы с графическими построениями для отображений и систем ОДУ. Типы данных Mathlab.
дипломная работа, добавлен 28.12.2010Анализ существующих методов моделирования и исследование их возможностей при построении моделей сложных систем. Возможности разработки универсального программного инструментария для автоматизации и моделирования сложных технологических процессов.
автореферат, добавлен 06.08.2018Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Преобразование структурной схемы системы автоматического управления. Определение передаточной функции и динамических характеристик корректирующего звена. Построение динамических характеристик систем. Определение устойчивости по критерию Михайлова.
курсовая работа, добавлен 31.07.2012Разработка программной системы интеграции динамических моделей, неоднородных по своим математическим свойствам или по требованиям к шагу по времени. Применение интегральной модели к гетерогенным физиологическим моделям (пищеварения и почечного выделения).
статья, добавлен 16.09.2018Рассмотрение динамических и частотных характеристик систем автоматического управления. Методика построения корневых годографов для анализа и синтеза линейных систем управления. Исследование динамических систем управления в пространстве состояний.
учебное пособие, добавлен 04.04.2014Особенности многокомпонентных структурно-сложных систем со многими состояниями, оценка их надёжности. Суть и использование метода вероятностно-алгебраического моделирования. Граф как средство для описания структуры сложных систем и их функционирования.
курсовая работа, добавлен 23.05.2013Определение динамических показателей на разных режимах работы механической системы. Изучение динамики механической системы путем комбинации физических экспериментов и компьютерного моделирования. Динамическая модель проектирования механических систем.
статья, добавлен 05.05.2019Применение методов естественных наук в информатике. Феноменологические подходы описания темпоральных массивов данных, характеризующих системы. Метод построения моделей социально-экономических систем, основанный на представлении дискретных данных.
статья, добавлен 01.02.2019Характеристика современных технологий и программных пакетов для веб-разработки. Преимущества использования фреймворка языка JavaScript-VueJS при построении динамических настраиваемых диаграмм, а также автоматическом формировании электронных таблиц.
статья, добавлен 08.02.2022Проведение имитационных экспериментов с моделями сложных систем, языки программирования имитационных моделей на ЭВМ. Свойства моделирования, обеспечивающие создание моделей для решения экономических задач. Механизмы формирования системного времени.
реферат, добавлен 21.02.2014Знакомство с принципами организации кластерных вычислений с помощью неявного распараллеливания. Характеристика задач идентификации и моделирования нелинейных динамических систем на основе моделей Вольтерра. Анализ архитектуры программного обеспечения.
статья, добавлен 28.08.2016Классы экспертных систем и их различие по сложности и типу решаемых задач: анализ или синтез. Структура статистических и динамических экспертных систем. Назначение и необходимость подсистем моделирования внешнего мира и связи с внешним окружением.
реферат, добавлен 03.05.2012MatLab (Matrix Labotary) и ее роль в обработке массивов данных (матриц и векторов). Понятие Simulink как пакета моделирования динамических систем. Дополнительные пакеты прикладных программ и характеристика проблем проектирования энергетических систем.
контрольная работа, добавлен 06.03.2015Проблема моделирования сложных организационно-технических систем, которые не описываются простыми математическими моделями. Применение модельных организмов для изучения живой природы, их трансформация для сложных организационно-технических систем.
статья, добавлен 30.06.2020Систематизация состава линейных операторов, близких к ганкелевому, на основе признаков их симметрий. Разработка аналитических и численных методов поиска собственных и сингулярных функций выделенных систематизированных операторов динамических систем.
автореферат, добавлен 15.02.2018Построение моделей организационных и социально-экономических систем в виде интеллектуальных активных систем на базе применения парадигмы синергетического искусственного интеллекта. Модель нечеткого описания ситуации выбора агентов и активной системы.
статья, добавлен 18.01.2018Необходимость изменения и подстройки алгоритмов управления при изменяющихся условиях функционирования автоматизированных систем. Построение управляющих устройств на основе моделей теории графов. Формализм конечного автомата для устройств управления.
статья, добавлен 08.03.2019Математическое конструирование непрерывных динамических систем управления. Решение задачи минимизирования критерия качества с помощью метода прогонки. Интерпретация с точки зрения динамического программирования. Принцип максимума оптимального управления.
задача, добавлен 26.03.2020Математическое описание линейных систем. Временные и частотные характеристики звенев и систем. Пакет программ Mathcad фирмы MathSoft, состав главного меню. Формирование документов Mathcad. Определение корней характеристического уравнения системы.
методичка, добавлен 01.06.2016Принципы системного и имитационное подхода в моделировании систем. Анализ дискретно–событийных систем и моделей, схемы алгоритма моделирования стохастических дискретно–событийных систем. Основные подходы к построению математических моделей систем.
курсовая работа, добавлен 24.01.2024