бміну між RAM і HDD, продовження звукозапису
Дослідження і висновки:
Ефективність процесу. Перевіримо це властивість - процес повинен задовольняти трьом умовам ефективності:
1. () = TRUE. З будь-якої ситуації (НЕ Результант) у цьому процесі є траєкторія до Результант (в даному випадку - єдиному);
. () = TRUE. Будь-яка траєкторія, яка веде до Результант, починається в ініціатора;
. (Не ситуацій) = FALSE. Контрприклад - ситуації S1 і S2: процес, на увазі ідеальності моделі, має нескінченний цикл (об'єднання траєкторій 5 і 7). p align="justify"> Таким чином, процес не ефективний. З цього висновку випливає, що процес не може бути керованим або простим (за визначеннями, що вимагає ефективності процесу). br/>
В§ 4. Операції над процесами
.1 Репозиція асинхронного процесу В«ЗвукозаписВ»
P = , F , I , R >.
Ситуації процесу:
S = IURUSD = {S1, S2, S5, S6, S7, S8} U {S9} U {S10} - безліч ситуацій процесу-репозиції, складене за визначенням. У даному випадку, враховуючи специфіку процесу, а саме: домінуючу роль ініціатора S1, який знаходиться у відношенні еквівалентності E з усіма іншими ініціаторами і за семантикою є В«точкою перед розвилкою гілок процесуВ», виключимо з безлічі S ініціатори {S2, S5, S6, S7, S8}, залишивши лише еквівалентний їм S1.
S : = S {S2, S5, S6, S7, S8} = {S1} U { S9} U {S10} - підсумкове безліч ситуацій процесу-репозиції.
В· S1 - головний ініціатор вихідного процесу;
В· S9 - єдиний результант початкового процесу;
В· S10 - єдина додаткова ситуація для процесу-репозиції.
Таблиця № 2
№ DSPVRAMHDDT № +11000019000119101000110 № DSPVRAMHDDT №
Ініціатори процесу:
За визначенням процесу-репозиції IR: I '= R = {S9} - репозиція починається, коли звукозапис завершена (повернутий сигнал про успішне закінчення звукозапису).
Результант процесу:
За визначенням процесу-репозиції R'I: R '= {S1} - результат репозиції - відновлення стану для початку звукозапису.
Безліч додаткових ситуацій процесу:
SD = {S10 = 10001}// Конфліктна ситуація В«є сигнал в DSP і процес завершеноВ» - це аналог переривання, обробляється, як скидання всіх налаштувань процесу і повернення до початку звукозапису.
Ставлення безпосереднього проходження процесу:
F ': представлено графом (рис. 2)
В
(рис. 2)
Дослідження та висновки:
. Репозиція має місце бути, так як F не порожнє безліч.
. Репозиція не полная (за визначенням), так як порушується умова (R '= I) & (I' = R), але з точки зору роботи процесу (домінуюче властивість ініціатора S1), об'єднання початкового процесу і отриманої репозиції утворює автономний процес.
.2 Редукція асинхронного процесу В«ЗвукозаписВ»
Ініціатори початкового процесу P =
= {S1, S2, S5, S6, S7, S8} = {10000, 11000, 10010, 01000, 01100, 00110}.
Результант початкового процесу P = :
= {S9} = {00011}.
Ситуації початкового процесу P = :
= {S1, S2, S3, S4, S5, S6, S7, S8, S9} = {10000, 11000, 11100, 10110, 10010, 01000, 01100, 00110, 00011}.
Безліч вхідних компонент:
Робимо p-блочне розбиття множини S, де число вхідних компонент p = 4:
= {10, 11, 01, 00}.
Безліч вхідних компонент для редукції:
Вибираємо число r
* = {00,01}.
Ситуації, що потрапляють під редукцію по вхідний компоненті:
Вхідна компонента виділена курсивом.
* = {S6, S7, S8, S9} = {01000, 01100, 00110, 00011}.
Можливі траєкторії:
1.S6 S7 S8S9 ;//оцифровка звуку при порожній черзі пристрої DSP з очікуванням сигналу в S7 і S8 ситуаціях, закінчення процесу звукозапису
2.S7 S8S9 ;//міститься в першій
3.S8S9 ;//міститься в першій
Ситуації редукції: