PETROV-____. ____ ____. ______ No.2 [2013-2014]

• Використання моделювання при дослідженні та проектуванні ІСПТ. Модель як робоча документація. Структурні та поведінкові моделі

• Моделеорієнтована системна та програмна інженерія (MDSE). Методології PLM/ALM та CAx

• Моделеорієнтована технологія (MDD). Ініціатива OMG MDA. імоделі. Мови трансформації моделей та проблемноорієнтовані мови (DSL)

Методи дослідження та моделювання інформаційних процесів та технологій (10 семестр)

Якісні, кількісні, дискретні та безперервні ММ

 Залежно від виду

використовуваних множин параметрів , , і

станів моделі поділяються на:

 якісні та кількісні (засновані на числових відношеннях параметрів до еталонів);

 безперервні, дискретні та гібридні (змішані).

або для кінцевого.

Методи дослідження та моделювання інформаційних процесів та технологій (10 семестр)

Системи з дискретними станами

 Дискретна (порівн. безперервна) система (ДС) - це система, що має лічильну (часто - кінцеву) кількість помітних внутрішніх станів її компонентів.

 Найпростішою моделлю системи з дискретними станами є довільний

або для кінцевого.

Методи дослідження та моделювання інформаційних процесів та технологій (10 семестр)

Моделі з дискретним часом (1/2)

 Моделі з дискретним часом передбачають визначення вхідних та вихідних параметрів у дискретні моменти часу.

 Дискретний час характерний для цифрових ЕОМ та систем управління.

 Багато систем спочатку мають дискретний час (напр.

Методи дослідження та моделюванняінформаційних процесів та технологій (10 семестр)

Моделі з дискретним часом (2/2)

 Вісь часу в таких системах суть послідовність відліків, що віддаляються на постійний крок дискретизації ∆:

 При цьому безперервний час замінюється

цілим параметром , що відображає кількість

кроків, що пройшли з опорного моменту часу = 0, а

модель набуває вигляду:

 лінійний стаціонарний випадок:

Методи дослідження та моделювання інформаційних процесів та технологій (10 семестр)

 Динамічна природа більшості сучасних систем обумовлена ​​дискретними подіями, які відбуваються асинхронно, поділяються на керовані та некеровані, спостерігаються та неспостерігаються.

Методи дослідження та моделювання інформаційних процесів та технологій (10 семестр)

Системи, керовані часом

 Система називається керованою часом (англ. timedriven system), якщо:

 безперервний випадок: протягом її системного часу тягне за собою безперервну зміну безперервних змінних стану, а сам час (0, = 0, 1, 2, …) є незалежною функцією ∙ ,

 дискретний випадок: переходи між станами синхронізуються механізмом відліку часу (таймером), а з кожним новим значенням системного часу відбувається одне з (або кілька) допустимих

подій (можливо, «порожнє»).

Методи дослідження та моделювання інформаційних процесів та технологій (10 семестр)

Системи, керовані подіями

 Система називається керованою подіями (англ. eventdriven system), якщо:

 дискретний випадок: подія кожного роду пов'язана зі своїм власним процесом визначення часу його наступу, а переходи між станамиє результатом поєднання цих асинхронних та паралельних подійних процесів.

 Система з дискретними подіями ( англ. discrete event system, DES) - це керована подіями

система з дискретними станами.

Методи дослідження та моделювання інформаційних процесів та технологій (10 семестр)

DEDS- та гібридні системи (1/2)

 Динамічним системам з дискретними подіями ( англ. discrete event dynamic system, DEDS) протиставляють динамічні системи з безперервними змінними

(англ. dynamic system, CVDS).

 доповнені безліччю дискретних подій, носять назву гібридних (англ. hybr & траекторіями стану, перемикання між

режимами роботи, заміну рівнянь стану.

 Час у CVDS/DEDS може бути як безперервним, так і дискретним.

Методи дослідження та моделювання інформаційних процесів та технологій (10 семестр)

---