PETROV / ____. ____ ____. ______ No.3 [2013-2014]
.pdf
Методы исследования и моделирования информационных процессов и технологий (10 семестр )
Мягкий параллелизм: параллельная композиция (2 / 2)
|
|
|
|
′ |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
, 0 |
|
, 0 |
|
, 0 |
|
|
|
, |
|
|
|||
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
′ |
|
|
|
|
|
|
||
|
|
|
|
|
||||
|
|
|
|
, |
|
|||
|
|
|
|
, 1 |
, 1 |
, 1 |
||
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
0 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
41 |
Методы исследования и моделирования информационных процессов и технологий (10 семестр )
Задача №1
Построить автоматную и языковую модель DES, соответствующей индивидуальному варианту. Проанализировать DES на устойчивость к блокировкам.
42
Методы исследования и моделирования информационных процессов и технологий (10 семестр )
Задача №1: варианты
1. |
Распознаватель |
7. Дешифратор на 4 входа. |
13. |
Распознаватель целых |
19. Распознаватель имени |
заданных суффиксов |
|
dec-чисел со знаком и без |
в любом (именительном, |
||
длины 4. |
|
него. |
косвенном) падеже. |
||
|
|
|
|
|
|
2. |
Распознаватель |
8. Полный одноразрядный |
14. |
Распознаватель |
20. Верификатор номера |
четности длины строки |
сумматор |
меандра: 010101… / |
телефона (любой формат). |
||
символов. |
|
101010… |
|
||
|
|
|
|
|
|
3. |
Распознаватель |
9. Поток (процесс) в UNIX- |
15. |
Распознаватель |
21. Верификатор |
четности числа вхождений |
подобной ОС. |
скобочной |
контрольной суммы |
||
0 и 1 в строке. |
|
последовательности: {[()]} |
(любой алгоритм). |
||
|
|
|
|
|
|
4. |
Алфавитно-цифровой |
10. Мьютекс (семафор Э. |
16. |
Распознаватель |
22. Верификатор имен |
фильтр строки. |
Дейкстры). |
четности числа. |
регистров ЦП: R00, R01, |
||
|
|
|
|
|
…, R31. |
|
|
|
|
|
|
5. |
Счетчик импульсов по |
11. Общий ресурс. |
17. |
Распознаватель |
23. Сервер с 4 ЦП, |
модулю 10. |
|
делимости на 3 целого |
отключаемый, когда все |
||
|
|
|
dec-числа без знака. |
ЦП свободны. |
|
|
|
|
|
|
|
6. |
Шифратор на 16 входов. |
12. Распознаватель целых |
18. |
Распознаватель |
|
|
|
hex-чисел без знака |
делимости на 8 целого bin- |
|
|
|
|
(формат C++ / Java). |
числа без знака. |
|
|
|
|
|
|
|
|
43
Методы исследования и моделирования информационных процессов и технологий (10 семестр )
Вопросы и обсуждение
44