Ответы на билеты по предмету: Автоматизация технологических процессов (Пример)
Содержание
1. Асинхронные процессы. Автономные и эффективные асинхронные процессы. Примеры
2. Управляемые и простые асинхронные процессы. Протокол асинхронного процесса. Примеры
3. Модельная и предметная интерпретация асинхронного процесса
4. Диаграммы переходов. Конфликтность. Полумодулярность. Управляемость
5. Модель Маллера. Построение модели Маллера по заданной диаграмме переходов
6. Сети Петри: структура, граф, маркировка, функционирование сети
7. Построение покрывающего и полного покрывающего дерева сети Петри
8. Свойства сети Петри: достижимость, ограниченность, живость, безопасность
9. Матричный подход к описанию сети Петри. Исследование достижимости разметки в сети
10. Моделирование систем на основе сетей Петри
11. Независимые и взаимодействующие вычислительные процессы
12. Классические задачи взаимодействия асинхронных процессов
13. Средства синхронизации вычислительных процессов: блокировка памяти и команды типа «проверка-установка».
14. Семафорные примитивы Дейкстры
15. Мониторы Хоара
16. Почтовые ящики
17. Конвейеры и очереди сообщений
18. Понятие тупиковой ситуации при выполнении параллельных вычислительных процессов. Проблема тупиков
19. Примеры тупиковых ситуаций при выполнении параллельных вычислительных процессов и причины их возникновения.
20. Вычислительные схемы.
21. Модель пространства состояний системы
22. Обнаружение тупика посредством редукции графа повторно используемых ресурсов
23. Алгоритм обнаружения тупика по наличию замкнутой цепочки запросов
24. Формализация семантики программ
25. Методика верификации программы на основе метода матем. Индукции
26. Доказательство частичной корректности свойств программы
27. Анализ завершаемости программы
28. Автоматизация верификации программ
29. Схемы программ и программы: определение и принципиальные отличия.
30. Стандартные схемы программ: базис, графовая и линейная форма.
31. Интерпретация стандартных схем программ. Протокол выполнения программы.
32. Свойства стандартных схем программ
33. Свободные интерпретации стандартных схем програм
Выдержка из текста
1. Асинхронные процессы. Автономные и эффективные асинхронные процессы. Примеры
2. Управляемые и простые асинхронные процессы. Протокол асинхронного процесса. Примеры
3. Модельная и предметная интерпретация асинхронного процесса
4. Диаграммы переходов. Конфликтность. Полумодулярность. Управляемость
5. Модель Маллера. Построение модели Маллера по заданной диаграмме переходов
6. Сети Петри: структура, граф, маркировка, функционирование сети
7. Построение покрывающего и полного покрывающего дерева сети Петри
8. Свойства сети Петри: достижимость, ограниченность, живость, безопасность
9. Матричный подход к описанию сети Петри. Исследование достижимости разметки в сети
10. Моделирование систем на основе сетей Петри
11. Независимые и взаимодействующие вычислительные процессы
12. Классические задачи взаимодействия асинхронных процессов
13. Средства синхронизации вычислительных процессов: блокировка памяти и команды типа «проверка-установка».
14. Семафорные примитивы Дейкстры
15. Мониторы Хоара
16. Почтовые ящики
17. Конвейеры и очереди сообщений
18. Понятие тупиковой ситуации при выполнении параллельных вычислительных процессов. Проблема тупиков
19. Примеры тупиковых ситуаций при выполнении параллельных вычислительных процессов и причины их возникновения.
20. Вычислительные схемы.
21. Модель пространства состояний системы
22. Обнаружение тупика посредством редукции графа повторно используемых ресурсов
23. Алгоритм обнаружения тупика по наличию замкнутой цепочки запросов
24. Формализация семантики программ
25. Методика верификации программы на основе метода матем. Индукции
26. Доказательство частичной корректности свойств программы
27. Анализ завершаемости программы
28. Автоматизация верификации программ
29. Схемы программ и программы: определение и принципиальные отличия.
30. Стандартные схемы программ: базис, графовая и линейная форма.
31. Интерпретация стандартных схем программ. Протокол выполнения программы.
32. Свойства стандартных схем программ
33. Свободные интерпретации стандартных схем програм
Список использованной литературы
1. Асинхронные процессы. Автономные и эффективные асинхронные процессы. Примеры
2. Управляемые и простые асинхронные процессы. Протокол асинхронного процесса. Примеры
3. Модельная и предметная интерпретация асинхронного процесса
4. Диаграммы переходов. Конфликтность. Полумодулярность. Управляемость
5. Модель Маллера. Построение модели Маллера по заданной диаграмме переходов
6. Сети Петри: структура, граф, маркировка, функционирование сети
7. Построение покрывающего и полного покрывающего дерева сети Петри
8. Свойства сети Петри: достижимость, ограниченность, живость, безопасность
9. Матричный подход к описанию сети Петри. Исследование достижимости разметки в сети
10. Моделирование систем на основе сетей Петри
11. Независимые и взаимодействующие вычислительные процессы
12. Классические задачи взаимодействия асинхронных процессов
13. Средства синхронизации вычислительных процессов: блокировка памяти и команды типа «проверка-установка».
14. Семафорные примитивы Дейкстры
15. Мониторы Хоара
16. Почтовые ящики
17. Конвейеры и очереди сообщений
18. Понятие тупиковой ситуации при выполнении параллельных вычислительных процессов. Проблема тупиков
19. Примеры тупиковых ситуаций при выполнении параллельных вычислительных процессов и причины их возникновения.
20. Вычислительные схемы.
21. Модель пространства состояний системы
22. Обнаружение тупика посредством редукции графа повторно используемых ресурсов
23. Алгоритм обнаружения тупика по наличию замкнутой цепочки запросов
24. Формализация семантики программ
25. Методика верификации программы на основе метода матем. Индукции
26. Доказательство частичной корректности свойств программы
27. Анализ завершаемости программы
28. Автоматизация верификации программ
29. Схемы программ и программы: определение и принципиальные отличия.
30. Стандартные схемы программ: базис, графовая и линейная форма.
31. Интерпретация стандартных схем программ. Протокол выполнения программы.
32. Свойства стандартных схем программ
33. Свободные интерпретации стандартных схем програм
