Верификация моделей

@JanusPatrus · Регистрация: 29.03.2016

Author24 — интернет-сервис помощи студентам

Интересует способ верификации моделей в AnyLogic, скорее способ верификации дискретных моделей чем каких-то других.
Чтобы быть более понятным, скажу, что в AnyLogic еще толком не сидел и знаю не очень много, поэтому прошу сильно не ругать, если вопрос покажтя глупым.
Ну так вот. В MatLab, если говорить про Simulink, есть очень наглядный способ отладки и проверки корректности - Scope, т.е. у нас есть спецификация подсистемы (иногда даже автомат состояний) его входов и выходов, мы подключаемся с помощью scope и смотрим на графики, так и понимаем, работает корректно или нет.

А какие есть способы верификации моделей в AnyLogic?

Для примера внизу есть картинка модели и скоупа.

@Dukalys · 30.03.2016, 07:47

В AnyLogic также существуют средства верификации.

Часто применяются протые средства типа вывода значений в консоль приложения интсересующих данных - по событиям например в модели при переходе или по событию начала/завершения обслуживания в каком либо блоке можем вывести промежуточный результат в консоль traceln("я заявка №"+agent.номер+" вхожу в блок delay"+ ". Время "+time());

Далее графики.

А если нужна полная трассировка - то тут как в обычных средах программирования - все данные в вашем распоряжении. Запускаем модель в спец режиме отладки и поехали по шагам - анализируем всё происходящее, в том числе по значениям всех переменных и массивов.

Все эти средства познаются в применении, стоит отметить что первое средство используется куда чаще других.

@JanusPatrus 0 / 0 / 0 Регистрация: 29.03.2016 Сообщений: 1
		1
	Верификация моделей 29.03.2016, 20:26. Показов 1158. Ответов 1 Метки нет (Все метки) Интересует способ верификации моделей в AnyLogic, скорее способ верификации дискретных моделей чем каких-то других. Чтобы быть более понятным, скажу, что в AnyLogic еще толком не сидел и знаю не очень много, поэтому прошу сильно не ругать, если вопрос покажтя глупым. Ну так вот. В MatLab, если говорить про Simulink, есть очень наглядный способ отладки и проверки корректности - Scope, т.е. у нас есть спецификация подсистемы (иногда даже автомат состояний) его входов и выходов, мы подключаемся с помощью scope и смотрим на графики, так и понимаем, работает корректно или нет. А какие есть способы верификации моделей в AnyLogic? Для примера внизу есть картинка модели и скоупа. Миниатюры 0

@Dukalys 1816 / 1030 / 285 Регистрация: 13.02.2012 Сообщений: 3,339
	30.03.2016, 07:47	2
	В AnyLogic также существуют средства верификации. Часто применяются протые средства типа вывода значений в консоль приложения интсересующих данных - по событиям например в модели при переходе или по событию начала/завершения обслуживания в каком либо блоке можем вывести промежуточный результат в консоль traceln("я заявка №"+agent.номер+" вхожу в блок delay"+ ". Время "+time()); Далее графики. А если нужна полная трассировка - то тут как в обычных средах программирования - все данные в вашем распоряжении. Запускаем модель в спец режиме отладки и поехали по шагам - анализируем всё происходящее, в том числе по значениям всех переменных и массивов. Все эти средства познаются в применении, стоит отметить что первое средство используется куда чаще других. 0