Вводная лекция Теория вычислительных процессов Разработал: к. п. н. , доцент Ишакова Е. Н.
План лекции: 1 Цель и задачи дисциплины. 2 Основные темы дисциплины. 3 Рекомендуемая литература.
1 Цель и задачи дисциплины
Цель дисциплины: создание теоретической основы для изучения специальных дисциплин учебного плана подготовки, связанных с новыми информационными и сетевыми технологиями на базе принципов параллельной и распределенной обработки информации.
Иметь представление: q о проблемах и направлениях развития теории вычислительных процессов и структур, новых способах их формального описания и верификации; q об основных тенденциях развития способов задания семантики программ, их формальной спецификации и верификации.
Знать и уметь использовать: q формальные модели вычислительных процессов и структур, основные классы моделей и методы решения задач анализа моделей; q сетевые модели вычислительных процессов - сети Петри; q принципы построения моделей процессов, методы и средства формализации, алгоритмизации и реализации модели на ЭВМ;
Знать и уметь использовать: qметоды управления процессами, протоколы взаимодействия объектов вычислительных структур, методы анализа структур и процессов; q основные классы схем программ и программных механизмов.
Иметь опыт: q применения различных формальных средств реализации моделей асинхронных процессов и систем взаимодействующих вычислительных процессов с целью анализа, расчетов и оптимизации разрабатываемых систем; q использования метода системного моделирования при исследовании и проектировании программных систем; применения прикладных методов верификации программ.
2 Основные темы дисциплины
Основные темы: 1 Асинхронные процессы 2 Модели динамической логики 3 Функционирование сетей Петри 4 Анализ сетей Петри 5 Взаимодействие процессов 6 Синхронизация процессов с активным ожиданием 7 Синхронизация процессов с пассивным ожиданием
Основные темы: 8 Применение семафорных механизмов 9 Модели состояний вычислительных процессов 10 Модель повторно используемых ресурсов 11 Формальное представление параллельных алгоритмов 12 Распараллеливание вычислительных алгоритмов 13 Семантическая теория программ
Основные темы: 14 Верификация программ 15 Анализ завершения программ 16 Операционная и денотационная семантика программ 17 Теория схем программ 18 Свойства стандартных схем программ
3 Рекомендуемая литература
Основная литература 1 Гордеев, А. В. Системное программное обеспечение: учеб. пособие для вузов / А. В. Гордеев, А. Ю. Молчанов. - CПб. : Питер, 2003. - 736 с. 2 Ишакова Е. Н. Теория вычислительных процессов. – Оренбург: ИПК ГОУ ОГУ, 2007. – 160 с.
Дополнительная литература 1 Варшавский, В. И. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах/ В. И. Варшавский, М. А. Кишиневский, В. Б. Мараховский; под. общ. ред. В. И. Варшавского. - М. : Наука, 1986. – 398 с. 2 Котов, В. Е. Теория схем программ / В. Е. Котов. - М. : Наука, 1991 – 247 с. 3 Котов, В. Е. Сети Петри / В. Е. Котов. – М. : Наука, 1984. - 158 с.
Скачать презентацию Вводная лекция Теория вычислительных процессов Разработал к п
Вводная.ppt