Базовый формализм для моделирования концептуально сложных динамических систем
Предопределенные контексты интерпретации, используемые при построении моделей динамических систем. Модель системы светофора, представленная на языке описания контекстных систем CML. Абстрактные машины, задающие формальную семантику языка программирования.
Подобные документы
- 76. Исследуя сложность: от искусственной жизни и искусственного интеллекта к киберфизическим системам
Классическая кибернетика в традиции Нортона Винера как часть математической теории сложных систем и нелинейной динамики. Обзор теорий сложных систем, их применение для описания эволюции мозга и познания. Предпосылки для развития социальных роботов.
статья, добавлен 01.02.2022 Составные части объектно-ориентированной методологии, основные этапы жизненного цикла при разработке проекта, диаграммы унифицированного языка моделирования UML. Наиболее распространенные CASE-средства, поддерживающие такую методологию разработки систем.
учебное пособие, добавлен 22.02.2019Автоматизированное проектирование инженерных систем и коммуникаций. Использование возможностей 3D моделирования в теплотехническом проектировании. Конструирование трехмерной модели простого и сложного трубопроводов для теплоэнергетической системы.
статья, добавлен 17.12.2019Характеристика основных элементов теории массового обслуживания. Язык имитационного моделирования дискретных систем GPSS как один из наиболее эффективных, распространенных программных средств проектирования сложных комплексов на компьютерной технике.
дипломная работа, добавлен 15.10.2015Результаты исследований разработанной нечетко-вероятностной модели оценок рисков сложных технических систем. Разработка алгоритма нечеткого логического вывода и схематическая структура нечетко-вероятностной модели оценок рисков сложных технических систем.
статья, добавлен 28.08.2016Понятие, признаки и классификация систем как взаимосвязанных, взаимозависимых частей, образующих целостность, единство. Моделирование процессов и явлений. Решение задач массового обслуживания, транспортных, маршрутных с помощью создания системных моделей.
реферат, добавлен 15.09.2015Принцип логического программирования на языке Пролог. Программная реализация экспертных систем. Разработка структур экспортных систем. Система пользовательского интерфейса. Структура базы знаний экспертной системы. Результат работы экспертной системы.
курсовая работа, добавлен 09.02.2011Характеристика, назначение и типы систем программирования. Инструменты и библиотеки среды Delphi. Состав объектно-ориентированного языка C++. Изучение комплекса программ, поставляемых компанией Microsoft. Разработка открытой операционной система UNIX.
курсовая работа, добавлен 15.12.2014Системы линейных уравнений. Метод решения через обратную матрицу. Вопросы, связанные с методом Гаусса. Разработка программного обеспечения для автоматизации процесса решения систем линейных уравнений. Использование языка программирования C++ Builder.
курсовая работа, добавлен 04.07.2013Рассмотрение моделей развертывания облачных систем хранения данных. Описание модели организации взаимодействия удаленных пользователей с использованием облачных систем хранения данных – виртуальное предприятие. Иерархия систем виртуального предприятия.
статья, добавлен 01.02.2019Пути и принципы обеспечения качества сложных информационных систем как актуальная многоплановая проблема, направления и перспективы ее разрешения в будущем. Разработка эффективного подхода к тестированию данных систем, а также оптимизации их работы.
статья, добавлен 30.05.2018Введение в логическое программирование на языке Prolog. Арифметические операции, ввод данных пользователем, разветвление. Работа со списками и файловой системой. Создание динамических баз данных. Создание экспертных систем. Решение логических задач.
методичка, добавлен 07.04.2016Основные понятия теории систем и системного анализа, определение их места среди других научных направлений. Виды моделей и уровни моделирования. Целевое назначение моделей, их применение при анализе систем. Процедуры системного анализа и их характеристика
учебное пособие, добавлен 15.04.2013Классификация и облик компьютерных систем имитационного моделирования, позволяющих на отдельных этапах разработки бортовых интеллектуальных систем отрабатывать их базы знаний. Разработка информационной системы "Ситуационная осведомленность экипажа".
статья, добавлен 18.01.2018Типы информационных систем. Классификация информационных систем по функциональному признаку и уровням управления. Процессы, протекающие на протяжении жизненного цикла системы. Методология структурного анализа и моделирования информационных систем.
презентация, добавлен 15.10.2013История создания систем счисления. Системы счисления, используемые в вычислительной технике. Сравнение непозиционных и позиционных систем счисления. Изучение основных правил десятичной, двоичной, восьмеричной и шестнадцатиричной систем счисления.
реферат, добавлен 31.10.2016Подходы к построению математических моделей процессов функционирования систем. Реализация функций алгоритма средствами универсальных языков программирования. Моделирование работы участка в течение 24 ч. Определение возможных мест появления очередей.
контрольная работа, добавлен 16.10.2017Построение новой научной картины мира с помощью теории сложных систем. Междисциплинарность как основа образования ХХI в. Определение перспективных направлений развития междисциплинароности и теории сложности. Описательные дефиниции теории сложных систем.
статья, добавлен 10.08.2018Роль и место компьютерного моделирования в инструментарии методов исчисления различных динамических процессов. Свойства и классификация математических моделей. Принципы арифметического программирования в MathCad. Описание процесса реализации задачи.
курсовая работа, добавлен 30.03.2014Определение понятий имитационной модели и моделирования информационных систем. Классификация видов моделирования систем в зависимости от степени полноты модели и характера изучаемых процессов в системе. Основные принципы имитационного моделирования.
презентация, добавлен 13.04.2016История возникновения потребности в использовании понятия "система". Сущность системы и ее элементы. Строение, функционирование и развитие систем. Деление сложных систем на подсистемы или на компоненты. Виды и формы представления структур, их примеры.
лекция, добавлен 24.06.2015Общность трудностей при отображении, систематизации и изучении составов сложных систем разных типов. Ранговая формула состава (РФ). Информационная энтропия двухкомпонентной системы. Элементы языка RHA, приемы упорядочения при создании языков описания.
автореферат, добавлен 30.08.2014Описание метода имитационного моделирования сложных технических систем, представленных графовой структурой, при решении многокритериальных задач оптимизации функционирования технологического цикла производства. Технология применения данного метода.
статья, добавлен 25.12.2016Выбор системы управления базами данных (СУБД) при построении информационных систем. Специфика информационных программных систем. Общая классификация архитектур приложений. Файловые системы и функции СУБД, критерии их сравнения и методология выбора.
дипломная работа, добавлен 12.02.2012Проектирование с помощью "Rational Rose" систем любой сложности: от банковской системы до разработки кода на С++. Возможности программного инструмента. Типы сущностей в объектно-ориентированном языке моделирования UML. Преимущества "Rational Rose".
реферат, добавлен 29.12.2014