Моделирование и исследование систем в RanD-Designer РэнД Сервис, 2010 © В презентации использованы модели профессора Бирюкова С. В. ©

Презентация:



Advertisements
Похожие презентации
RanD Model Designer Описание продукта. Что такое RanD Model Designer? В ЫСОКОПРОИЗВОДИТЕЛЬНАЯ СРЕДА МОДЕЛИРОВАНИЯ ФИЗИЧЕСКИХ.
Advertisements

Моделирование и исследование систем в RanD Model Designer. Примеры РэнД Сервис, 2010 ©
Модели в переменных состояния Представление моделей в векторно-матричной форме.
Введение в задачи исследования и проектирования цифровых систем Санкт-Петербургский государственный университет Факультет прикладной математики - процессов.
Современное состояние проблемы моделирования систем Докладчик: Виноградов Андрей Группа: ИТО-4-07 Группа: ИТО-4-07.
В общем виде вероятностный ( стохастический ) автомат ( англ. probabilistic automat) можно определить как дискретный потактный преобразователь информации.
Дипломная работа Ивановой О.О., группа 545 Научный руководитель: д. ф.-м. н., профессор Терехов А.Н. Генерация кода по диаграмме активностей.
1 Диаграммы реализации (implementation diagrams).
Теория систем и системный анализ Тема3 «Системный анализ: сущность, принципы, последовательность »
Разработка программного обеспечения при объектном подходе Объектно-ориентированный подход.
Тема 2 Основные подходы к построению математических моделей систем Дисциплина «Имитационное моделирование экономических процессов» Специальность
МЕТОДЫ СОВРЕМЕННОЙ ТЕОРИИ РЕГУЛИРОВАНИЯ (ТАУ) Выполнил студент Гр. ЭСП-32 Чугаев С,А, Проверил.
Пучков С Пучков С. Классификация по разным общим признакам По способу представления По способу реализации.
ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ. Задача Коши.
ФГОС основного общего образования Метапредметные результаты освоения основной образовательной программы Формирование и развитие компетентности в области.
Цель проекта: Просмотрев презентацию, вы узнаете: Что такое Исполнитель; Что означает понятия программы и программирования; Как классифицируется программное.
Унифицированный язык моделирования UML является графическим языком для визуализации, конструирования и документирования систем, в которых большая роль.
Декомпозиция сложных дискретных систем, формализованных в виде вероятностных МП-автоматов. квалификационная работа Выполнил: Шляпенко Д.А., гр. ИУ7-83.
ОБЪЕКТНО-ОРИЕНТИРОВАННЫЙ ПОЛЬЗОВАТЕЛЬСКИЙ ИНТЕРФЕЙС Примером операционной системы, в которой реализован объектно- ориентированный подход, является Windows.
Моделирование как метод познания.. Модели позволяют представить в наглядной форме объекты и процессы, недоступные для непосредственного восприятия. Модели.
Транксрипт:

Моделирование и исследование систем в RanD-Designer РэнД Сервис, 2010 © В презентации использованы модели профессора Бирюкова С. В. ©

RanD Model Designer В ИЗУАЛЬНАЯ СРЕДА ОБЪЕКТНО - ОРИЕНТИРОВАННОГО МОДЕЛИРОВАНИЯ И ИССЛЕДОВАНИЯ СЛОЖНЫХ ДИНАМИЧЕСКИХ СИСТЕМ. С ЛОЖНАЯ ДИНАМИЧЕСКАЯ СИСТЕМА – ЭТО МАТЕМАТИЧЕСКАЯ МОДЕЛЬ, ПОЗВОЛЯЮЩАЯ ПОЛЬЗОВАТЕЛЮ ОПИСЫВАТЬ ПОВЕДЕНИЕ ИЗУЧАЕМЫХ ОБЪЕКТОВ В ВИДЕ СИСТЕМ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ, АЛГЕБРО - ДИФЕРЕНЦИАЛЬНЫХ ИЛИ РАЗНОСТНЫХ УРАВНЕНИЙ Г ИБРИДНАЯ СИСТЕМА – ЭТО КОНЕЧНОЕ МНОЖЕСТВО КЛАССИЧЕСКИХ ДИНАМИЧЕСКИХ СИСТЕМ, РЕШАЕМЫХ ПОСЛЕДОВАТЕЛЬНО. П ОСЛЕДОВАТЕЛЬНОСТЬ ЗАДАЕТСЯ АВТОМАТОМ, ВЫБИРАЮЩИМ ОЧЕРЕДНУЮ СИСТЕМУ ИСХОДЯ ИЗ ПРЕДЫСТОРИИ И НАСТУПИВШЕГО СОБЫТИЯ.

RanD Model Designer В ИЗУАЛЬНАЯ СРЕДА ОБЪЕКТНО - ОРИЕНТИРОВАННОГО МОДЕЛИРОВАНИЯ И ИССЛЕДОВАНИЯ СЛОЖНЫХ ДИНАМИЧЕСКИХ СИСТЕМ. В ИЗУАЛЬНАЯ СРЕДА – ЭТО СРЕДА ИМЕЮЩАЯ ГРАФИЧЕСКИЕ ИНСТРУМЕНТЫ : М ОДЕЛИРОВАНИЯ, И ССЛЕДОВАНИЯ, П ЛАНИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ЭКСПЕРИМЕНТОВ, О ТЛАДКИ, И O СНАЩЕННАЯ ВИЗУАЛЬНЫМИ ИНСТРУМЕНТАМИ АНАЛИЗА И СИНТЕЗА МОДЕЛЕЙ.

Визуальная среда RanD Model Designer Р ЕДАКТОР МОДЕЛЕЙ ( МОДЕЛИРОВАНИЕ ) В ИРТУАЛЬНЫЙ СТЕНД ( ИССЛЕДОВАНИЕ )

RanD Model Designer В ИЗУАЛЬНАЯ СРЕДА ОБЪЕКТНО - ОРИЕНТИРОВАННОГО МОДЕЛИРОВАНИЯ И ИССЛЕДОВАНИЯ СЛОЖНЫХ ДИНАМИЧЕСКИХ СИСТЕМ. R AND -D ESIGNER ИСПОЛЬЗУЕТ РАСШИРЕННУЮ UML- НОТАЦИЮ П РИСПОСОБЛЕННУЮ ДЛЯ ПРОЕКТИРОВАНИЯ ТЕХНИЧЕСКИХ СИСТЕМ ( ДИАГРАММЫ КЛАССОВ - ИЕРАРХИЧЕСКИЕ ФУНКЦИОНАЛЬНЫЕ СХЕМЫ ; МАШИНА СОСТОЯНИЙ - КАРТА ПОВЕДЕНИЯ ) П ОЗВОЛЯЮЩУЮ ИСПОЛЬЗОВАТЬ ДЛЯ ПОСТРОЕНИЯ МОДЕЛЕЙ А КТИВНЫЕ Д ИНАМИЧЕСКИЕ О БЪЕКТЫ ( ЭКЗЕМПЛЯРЫ АКТИВНЫХ КЛАССОВ ) М ОДЕЛЬ ПРЕДСТАВЛЯЕТСЯ В ВИДЕ СОВОКУПНОСТИ ПАКЕТОВ, КАК ОРИГИНАЛЬНЫХ, РАЗРАБОТАННЫХ ДЛЯ КОНКРЕТНОГО ПРОЕКТА, ТАК И БИБЛИОТЕЧНЫХ, ИМПОРТИРУЕМЫХ ИЗ ДРУГИХ ПРОЕКТОВ.

Проект и его компоненты Р ЕДАКТОР КЛАССОВ П РОЕКТ

История создания RanD Model Designer R AND -D ESIGNER ЯВЛЯЕТСЯ КОММЕРЧЕСКОЙ ВЕРСИЕЙ АКАДЕМИЧЕСКОЙ ВИЗУАЛЬНОЙ СРЕДЫ M V S TUDIUM, СОЗДАННОЙ НАУЧНО - ИССЛЕДОВАТЕЛЬСКОЙ ГРУППОЙ M V S TUDIUM _G ROUP MVS M V S TUDIUM M V S TUDIUM 6.0 П РОДУКТ R AND -D ESIGNER РАБОТАЕТ НА I NTEL ® - СОВМЕСТИМЫХ КОМПЬЮТЕРАХ ПОД УПРАВЛЕНИЕМ ОПЕРАЦИОННЫХ СИСТЕМ MS W INDOWS XP, VISTA И W INDOWS -7

MvStudium Group

Истоки RanD Model Designer

Моделирование в RAND-Designer: от простого к сложному И ЗОЛИРОВАННЫЕ Н ЕПРЕРЫВНЫЕ И Д ИСКРЕТНЫЕ СИСТЕМЫ И ЗОЛИРОВАННЫЕ Г ИБРИДНЫЕ СИСТЕМЫ О ТКРЫТЫЕ Г ИБРИДНЫЕ СИСТЕМЫ ( КОМПОНЕНТНОЕ МОДЕЛИРОВАНИЕ ) К ОМПОНЕНТНОЕ МОДЕЛИРОВАНИЕ Ф УНКЦИОНАЛЬНЫЕ ДИАГРАММЫ : К ОМПОНЕНТЫ С ВХОДАМИ И ВЫХОДАМИ К ОМПОНЕНТЫ С КОНТАКТАМИ ПОТОКАМИ К ОМПОНЕНТЫ С ПРОИЗВОЛЬНЫМИ СВЯЗЯМИ Ф УНКЦИОНАЛЬНЫЕ СХЕМЫ С УПРАВЛЯЮЩИМ АВТОМАТОМ

Классические динамические системы. Непрерывное время Д ЛЯ ОПИСАНИЯ ИСПОЛЬЗУЮТСЯ : Д ИФФЕРЕНЦИАЛЬНО - АЛГЕБРАИЧЕСКИЕ УРАВНЕНИЯ, ЗАПИСАННЫЕ В ПРОИЗВОЛЬНОЙ ФОРМЕ, НЕРАЗРЕШЕННЫЕ ОТНОСИТЕЛЬНО ПРОИЗВОДНЫХ, СКАЛЯРНЫЕ ИЛИ ВЕКТОРНЫЕ

Непрерывные и дискретные системы

Гибридные системы Д ЛЯ ОПИСАНИЯ ИСПОЛЬЗУЮТСЯ ВИЗУАЛЬНЫЕ КАРТЫ ПОВЕДЕНИЙ, ЯВЛЯЮЩИЕСЯ РАСШИРЕНИЕМ КАРТ СОСТОЯНИЯ ЯЗЫКА UML В КАЧЕСТВЕ АКТИВНОСТЕЙ МОЖНО ИСПОЛЬЗОВАТЬ ПОВЕДЕНИЕ, ЗАДАННОЕ СИСТЕМАМИ АЛГЕБРО - ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ

Дискретные системы ( дискретное время ) П РЕВРАЩЕНИЕ ГИБРИДНОГО АВТОМАТА В МАШИНУ СОСТОЯНИЙ, С АКТИВНОСТЯМИ В ВИДЕ АЛГОРИТМИЧЕСКИХ КОНСТРУКЦИЙ, В ЧАСТНОСТИ В ВИДЕ РАЗНОСТНЫХ УРАВНЕНИЙ

Непрерывно - дискретные системы Н ЕПРЕРЫВНЫЙ ОБЪЕКТ И ДИСКРЕТНОЕ УПРАВЛЯЮЩЕЕ УСТРОЙСТВО, НА КАЖДОМ ТАКТЕ ПОЛУЧАЮЩЕЕ ИНФОРМАЦИЮ ОБ ОБЪЕКТЕ И ФОРМИРУЮЩЕЕ КУСОЧНО - ПОСТОЯННОЕ УПРАВЛЯЮЩЕЕ ВОЗДЕЙСТВИЕ

Компонентное моделирование О БЪЕКТНО - ОРИЕНТИРОВАННЫЙ ПОДХОД В КОМПОНОВКЕ МОДЕЛЕЙ

Компоненты с входами - выходами

Компоненты с контактами - потоками В ОЗМОЖНОСТЬ КОМПОНОВКИ МОДЕЛЬНЫХ БЛОКОВ ПРИБЛИЖЕНО К ВНЕШНЕМУ ВИДУ РЕАЛЬНОЙ ТЕХНОЛОГИЧЕСКОЙ СХЕМЫ МОДЕЛИРУЕМОГО ПРОЦЕССА ИЛИ ОБОРУДОВАНИЯ

Обобщенные компоненты

Equations Обобщенные автоматы

Технологический процесс О ПИСАНИЕ М ОДЕЛИ О ТЛАДКА М ОДЕЛИ В ИЗУАЛИЗАЦИЯ М ОДЕЛИ О ПТИМИЗАЦИЯ МОДЕЛИ Н ЕЗАВИСИМАЯ МОДЕЛЬ В ВИДЕ ОТДЕЛЬНОГО ПРИЛОЖЕНИЯ Г ЕНЕРАЦИЯ DLL ДЛЯ ИНТЕГРАЦИИ ВО ВНЕШНЕЕ ПРИЛОЖЕНИЕ

Описание модели

Отладка моделей

Визуальная модель под управление оболочки

Оптимизация моделей Р АЗРАБАТЫВАЕТСЯ КОМПОНЕНТА, ПОЗВОЛЯЮЩАЯ ПРОВОДИТЬ ПАРАМЕТРИЧЕСКУЮ ОПТИМИЗАЦИЮ ( КОМПОНЕНТА ОБЕСПЕЧИВАЕТ ДОСТУП Д ОСТУП К БИБЛИОТЕКЕ IMSL ( РАЗДЕЛ ОПТИМИЗАЦИИ )

Независимая модель в виде отдельного приложения

Генерация модели в форме DLL

Пользователи продукта RanD Model Designer С АНКТ - П ЕТЕРБУРГСКИЙ П ОЛИТЕХНИЧЕСКИЙ У НИВЕРСИТЕТ МГТУ ИМ Б АУМАНА Н ОВОСИБИРСКИЙ П ОЛИТЕХНИЧЕСКИЙ У НИВЕРСИТЕТ Ю ЖНО - УРАЛЬСКИЙ У НИВЕРСИТЕТ С АНКТ - П ЕТЕРБУРГСКИЙ Т ЕХНОЛОГИЧЕСКИЙ У НИВЕРСИТЕТ А ТАК ЖЕ РЯД КОММЕРЧЕСКИХ ОРГАНИЗАЦИЙ И ЧАСТНЫХ ЛИЦ