Экзаменационные вопросы по курсу ТВП и Стр
.docЭкзаменационные вопросы
по курсу "Теория вычислительных процессов"
для студентов специальности 220400
2007/08 уч. год.
1. Общая проблематика построения моделей реальных объектов.
2. Обобщённые показатели качества ВС.
3. Большие системы и их атрибуты.
4. Графы алгоритмов и их свойства. Свойства алгоритмов.
5. Графы алгоритмов и автоматы.
6. Стохастические сети. Концепция и классификация.
5. Разомкнутые экспоненциальные сети. Свойство линейности.
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. Рекурсии и полное распараллеливание.
34. СОП структура и принцип действия.
35. Примеры СОП для операции взвешивания и поиска больших.
36. Обогащённые схемы программ.
37. Мощность класса схем программ.
38. Диаграмма сравнения полных чистых классов схем программ.
39. Задачи оптимального синтеза ВС, заданной структуры
а). Для разомкнутых сетевых моделей.
б). Для замкнутых сетевых моделей.
40. Системы оперативного диспетчирования. Описание приоритетных
дисциплин. Свойство матрицы приоритетов.
41. Выбор минимальной границы быстродействия ВС.
42. Закон сохранения времени ожидания. Обобщённая формула
Поллачека-Хинчина.
43. Синтез приоритетной дисциплины обслуживания при заданных
ограничениях на время ожидания.
44. Синтез групповой дисциплины обслуживания типа "расписание".
45. Общая проблематика программирования.
а). Проблема доказательства программ.
б). Проблема формализации спецификаций программ.
в). Источники ошибок программирования и операторы языков.
46. Системы пакетной обработки.
а). Сетевая модель производительности СПО.
б). Выбор оптимальной смеси задач в пакете.
в). Выбор оптимального значений коэффициента
мультипрограммирования.
47. Системы разделения времени.
а). Сетевая модель СРВ.
б). Выбор длины кванта времени τ.
в). Определение времени реакции системы на запрос пользователя.