Базовый формализм для моделирования концептуально сложных динамических систем
Предопределенные контексты интерпретации, используемые при построении моделей динамических систем. Модель системы светофора, представленная на языке описания контекстных систем CML. Абстрактные машины, задающие формальную семантику языка программирования.
Подобные документы
Характеристика и особенности подхода к организации проектирования сложных информационных управляющих систем. Описание основных концепций и направлений реализации генного подхода к созданию, эксплуатации сложных информационных управляющих систем.
статья, добавлен 19.06.2018Особенности, характеристики и типы задач экспертных систем. Структура и режимы использования ЭС. Приобретение знаний и решение задач как режимы работы экспертных систем. Организация знаний в ЭС. Отличия языков программирования экспертных систем.
лекция, добавлен 23.07.2015Системные вызовы, структура системы, виртуальные машины, проектирование и реализация системы. Действия, связанные с управлением процессами. Многовходовый модуль M, в котором определены общие для процессов данные D (скрытые) и (абстрактные) операций.
презентация, добавлен 24.01.2014Методики разработки интеллектуальных геоинформационных систем (ГИС): создание программного средства визуальной разработки и интерпретатора встроенного в объектную модель языка программирования SOML для управления ГИС-объектами из прикладных задач.
автореферат, добавлен 10.12.2013Проведен комплексный анализ возможности и целесообразности совместного использования теоретико-игровых и когнитивных моделей для описания сложных систем. В целях интеграции этих двух подходов классифицированы возникающие на их пересечении задачи.
статья, добавлен 19.01.2018Сущность программного обеспечения информационных систем. Трансляторы языка программирования, основные понятия файловой системы. Особенности сетевых операционных систем, пакеты прикладных программ MATCAD, MATLAB, MAPL. Текстовый редактор WordPad.
контрольная работа, добавлен 15.02.2020Методы автоматизации сложных программных информационных систем (ИС). Структура языка моделирования UML и история его создания. Диаграммы функциональности и принципы проектирования ИС с использованием визуальной нотации. Rational Rose 98i – поддержка UML.
реферат, добавлен 27.11.2013Разработка разных моделей сложных электромеханических систем. MATLAB – пакет прикладных программ для решения задач технических вычислений и одноимённый язык программирования. Воспроизведение моделирования электрической схемы привода напора экскаватора.
статья, добавлен 02.04.2019Системы массового обслуживания и их применение при моделировании средств вычислительной техники. Основные принципы построения многоцелевой системы имитационного моделирования. Правила и приемы создания программ на языке программирования GPSS World.
учебное пособие, добавлен 14.09.2017Основные функции управляющих операторов (блоков) языка моделирования систем GPSS. Главная особенность создания и уничтожения транзактов. Проведение сбора статистических данных с помощью очередей. Существенная характеристика изменения маршрутов сообщений.
презентация, добавлен 06.04.2018Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
статья, добавлен 28.10.2018- 112. Операционные системы
Организация файловых систем, межпроцессных взаимодействий, построение сетевых служб. Основные понятия, используемые в теории операционных систем. Принципы организации и управления памятью. Сетевые возможности операционных систем. Вызов удаленных процедур.
методичка, добавлен 05.12.2013 Классификация видов моделирования автоматизированных систем обработки баз данных и средств управления ими. Разработка модели информационной системы автосалона. Обзор методов создания диаграмм декомпозиции. Обоснование выбора языка программирования.
контрольная работа, добавлен 07.08.2013Проведение исследования основных способов построения простейших моделей непрерывных систем с помощью методов аналитического и имитационного моделирования. Главная особенность изучения технологии системно-динамического проектирования в среде AnyLogic.
лабораторная работа, добавлен 06.12.2017Системы программного обеспечения. Методы повышения эффективности труда пользователя. Функции, связанные с работой ЭВМ. Автоматизации программирования задач на ЭВМ. Изучение основных преимуществ компиляции. Отличительная черта многоязыковых систем.
реферат, добавлен 13.05.2013- 116. Рекомендательная система выбора художественной литературы на основе тематического моделирования
Представлен обзор и анализ области применения рекомендательных систем в области литературы, а также русскоязычных систем рекомендаций книг, определены их достоинства и недостатки. Рассмотрены способы работы с тематическими моделями в языке python.
дипломная работа, добавлен 28.11.2019 Особенности применения метода имитационного моделирования для моделирования систем массового обслуживания. Основные понятия теории систем массового обслуживания. Методика обработки результатов моделирования с использованием статистических подходов.
методичка, добавлен 23.07.2012Ускорение процесса принятия решений в динамических организационных системах, особенно при необходимости обработки большого количества значимых слабоструктурированных текстовых данных. Обработка слабоструктурированных текстовых данных на русском языке.
статья, добавлен 03.04.2023Модель нечетких растущих сетей Петри. Графическое представление архитектуры системы. Программный интерфейс библиотеки, содержащей интеллектуальную имитационную модель. Графический редактор для визуального представления пользователю модели интерфейса.
статья, добавлен 30.04.2018Рассмотрение последовательных вероятностных мультиагентных систем. Вычисление семантики вероятностной логической программы. Глобальное поведение ВМАС. Определение Марковских процессов принятия решений. Верификация динамических свойств вероятностных МАС.
статья, добавлен 18.01.2018Модель - предмет, воспроизводящий те или иные геометрические, физические и другие характеристики оригинала. Компьютерное моделирование как метод решения задач анализа или синтеза сложных систем на основе использования компьютерных моделей (образов).
статья, добавлен 12.02.2018Системы и модели массового обслуживания в коммерческой деятельности. Характеристика и анализ средств инженерного программного пакета MATLAB для построения, отладки и тестирования моделей систем массового обслуживания. Пути совершенствования моделей.
курсовая работа, добавлен 14.04.2013Основные понятия технологии проектирования и организация разработки информационных систем. Особенности моделирования информационного обеспечения. Унифицированный язык визуального моделирования. Этапы проектирования информационных систем с применением UML.
курс лекций, добавлен 22.10.2012Анализ существующих методов интеграции. Анализ процесса внедрения сторонних систем в архитектуру информационных систем компании. Постановка задачи динамической интерпретации метаинформации. Интеграция автоматизированных систем управления предприятий.
курсовая работа, добавлен 11.02.2017Инструментальные средства разработки экспертных систем. Характеристика систем EXSYS и GURU. Важнейшие критерии создания экспертной системы. Зарождение системы MatLab. Prolog как язык логического программирования, основанный на логике дизъюнктов Хорна.
реферат, добавлен 13.11.2011