Омский государственный университет им. Ф.М. Достоевского Факультет компьютерных наук Утверждено ученым советом факультета компьютерных наук «___»______________ 2005 г. ПРОГРАММА ГОСУДАРСТВЕННОГО ЭКЗАМЕНА по специальности 220100 “Вычислительные машины, комплексы, системы и сети” СД.01 Теория автоматов 1. Математическая модель абстрактного автомата. Автоматы Мура и Мили и связь между ними. 2. Формальные грамматики и языки. Классификация грамматик по Хомскому. 3. Автоматные языки и автоматы как распознаватели. 4. Машина Тьюринга. 5. Схема формального нейрона по Маккалоку-Питтсу. Примеры нейронных сетей. 6. Минимизация полностью определенных автоматов. 7. Логические схемы и структура дискретного автомата. 8. Кодирование состояний и сложность логической схемы. 9. Канонический метод синтеза автомата Глушкова. 10. Синтез микропрограммного автомата Мили по ГСА. 11. Синтез микропрограммного автомата Мура по ГСА. Рекомендуемая литература: 1. 2. 3. 4. Глушков В.М. Синтез цифровых автоматов, М., 1962. Баранов С.И. Синтез микропрограммных автоматов. Л.: Энергия, 1974. Майоров С.А., Новиков Г.И. Принципы организации цифровых машин. Л.: «Машиностроение», 1974. Савельев А.Я. Принципы организации цифровых машин. М: Изд-во МГТУ им. Баумана, 2001. СД.02 Моделирование 1. Основные понятия моделирования. Виды моделирования: математическое моделирование, имитационное моделирование, компьютерное моделирование. 2. Принципы построения имитационных моделей. Элементы имитационной модели системы массового обслуживания. 3. Основные понятия система моделирования GPSS: классы сущностей, транзакты, сегменты модели, цепи транзактов, объекты GPSS. 4. Варианты моделей систем обслуживания. 5. Генерация случайных чисел. Аппроксимация обратной функции распределения. 6. Распределения фазового типа. Преобразование распределений. 7. Обработка результатов моделирования. Точечные и интервальные оценки. 8. Эксперименты над моделями. Теория планирования эксперимента. Дробный эксперимент. 9. Проверка статистических гипотез. Проверка нормальности распределения признака. 10. Проверка наличия корреляции. Линейный регрессионный анализ. Метод наименьших квадратов. Статистическая значимость модели линейной регрессии. Рекомендуемая литература: 5. 6. 7. Боев В.Д. Моделирование систем. Инструментальные средства GPSS World: Учеб. пособие. – СПб.: БХВ-Петербург, 2004. Рыжиков Ю.И. Имитационное моделирование. Теория и технологии. – СПб.: КОРОНА принт; М.: Альтекс – А, 2004. Советов Б.Я., Яковлев С.А. Моделирование систем. – М.: Высшая школа, 1998. СД.04 Конструкторско-технологическое обеспечение производства ЭВМ 1. Факторы, влияющие на работоспособность ЭВМ. 2. Схемная документация. Виды и типы схем. Правила выполнения электрических схем. 3. Особенности конструктивной иерархии ЭВМ. Уровни конструктивной иерархии ЭВМ. 4. Классификация и система обозначений ИС. 5. Технологические методы осуществления диффузионных процессов. 6. Физические основы процесса ионного легирования. 7. Защита поверхности окислением. 8. Термическое вакуумное напыление. 9. Обеспечение тепловых режимов конструкций ЭВМ. 10. Основные характеристики и параметры надежности ЭВМ. Рекомендуемая литература: 1. 2. 3. 4. 5. 6. Аваев Н.А., Наумов Ю.Е., Фролкин В.Т. Основы микроэлектроники. М.: Радио и связь, 1991. Парфенов О.Д. Технология микросхем. М.: Высшая школа, 1986. Ефимов И.Е., Козырь И.Я. Горбунов Ю.И. Микроэлектроника. М.: Высшая школа, 1986. Степаненко И.П. Микроэлектроника. М: Лаборатория базовых знаний, 2004. Савельев М.В. Конструкторско-технологическое обеспечение производства ЭВМ. М.: Высшая школа, 2001 Конструкторско-технологическое проектирование электронной аппаратуры./ Под. ред. Шахнова В.А. М.: Изд. МГТУ,2002. СД.05 Системное программное обеспечение 1. Трансляторы, компиляторы, интерпретаторы. Этапы и фазы трансляции. Схема работы транслятора. 2. Однопроходные и многопроходные интерпретаторы. Ассемблеры. Макроязыки, препроцессоры. 3. Лексический анализ. Назначение. Выделение лексем. Таблицы лексем. Конечные автоматы. Граф переходов. Детерминированные и недетерминированные конечные автоматы. 4. Синтаксический анализ. Автоматы с магазинной памятью. Расширенные и детерминированные МП-автоматы. Разновидности синтаксических анализаторов. Приведенные грамматики. 5. Семантический анализ. 6. Подготовка к генерации кода. Распределение памяти. Виды переменных и областей памяти. Выравнивание границ. Менеджеры памяти. Статическое и динамическое связывание. Стековая организация дисплея памяти подпрограммы. 7. Системы программирования. Интегрированные среды разработки. Структура современной системы программирования. Текстовые редакторы Лексический анализ «на лету». 8. Система подсказок и справок. Компоновщики. Загрузчики. Трансляция адресов. Настраивающий загрузчик. Динамические загрузчики. 9. Отладчики. Функции отладчиков. Библиотеки подпрограмм. Статические и динамические библиотеки подпрограмм. Ресурсы пользовательского интерфейса. 10. Мобильность и переносимость программного обеспечения. Условия мобильности и переносимости. Преимущества и недостатки переносимости. Рекомендуемая литература: 1. 2. 3. 4. 5. Молчанов А.Ю. Системное программное обеспечение: Учебник для вузов. - СПб.: Питер, 2003. Ахо А.В., Сети Р., Ульман Дж. Д. Компиляторы: принципы, технологии и инструменты. - М.: Вильямс, 2003. Гордеев А.В., Молчанов А.Ю. Системное программное обеспечение: Учебник для вузов. - СПб.: Питер, 2003. Ахо А.В., Ульман Дж. Д. Теория синтаксического анализа, перевода и компиляции. Т.1., Т.2. - М. Мир, 1978. Хантер Р. Проектирование и конструирование компиляторов. М.: Финансы и статистика, 1984. СД.06 Интерфейсы периферийных устройств 1. Обобщенная структура внешнего устройства. Структура модуля (порта) ввода/вывода (МВВ). 2. Основные функции МВВ. 3. Каналы и процессоры ввода/вывода. Структура вычислительной машины с канальной системой ввода/вывода. 4. Общие принципы организации интерфейса. Состав шин интерфейса. 5. Классификация интерфейсов. 6. Структура и сигналы магистрали ISA. 7. Характеристика и сигналы шины PCI. 8. Характеристика магистрального интерфейса AGP. 9. Характеристика интерфейса SCSI. 10. Характеристика и требования стандарта на интерфейс HP-IB (IEC-625). 11. КАМАК – интерфейс магистрально-модульных систем. Рекомендуемая литература: 1. 2. 3. Мячев А.А., Иванов В.В. Интерфейсы вычислительных систем на базе мини- и микро-ЭВМ. – М.: Радио и связь. 1986. Гук М. Аппаратные средства IBM PC. Энциклопедия. – СПб: Питер КОМ, 1999. Ратхор Т.С. Цифровые измерения. Методы и схемотехника. – М.: Техносфера, 2004. СД.07 Микропроцессорные системы 1. Архитектура микропроцессорных систем. Типы микропроцессорных систем. 2. Общая организация системного интерфейса микропроцессорной системы. Простейшая микропроцессорная система на базе архитектуры "общая шина". 3. Буферизация шин. Технические средства и практические решения. 4. Логика управления системной магистралью. 5. Адресация операндов в микропроцессорной системе. Сегментация памяти. 6. Регистры процессора. Система команд процессора. 7. Интерфейс памяти микропроцессорной системы. Энергонезависимая память. Организация оперативной памяти микропроцессорной системы. 8. Классификация и структура микроконтроллеров. Классификация архитектур микропроцессоров. 9. Архитектура суперскалярных микропроцессоров. Мультискалярные процессоры, мультискалярные программы. 10. Организация мультимиропроцессорных систем. 11. Архитектура и структура транспьютеров. Рекомендуемая литература: 1. 2. 3. 4. Корнеев В.В., Киселев А.В. Современные микропроцессоры. - М.: Нолидж, 1999 Новиков Ю.В., Скоробогатов П.К. Основы микропроцессорной техники. - М.: ИНТУИТ.РУ "Интернет-Университет Информационных технологий", 2003. Микропроцессоры. Учеб для втузов / П.В.Нестеров, В.Ф.Шаньгин, В.Л.Горбунов и др.; под редакцией Л.Н.Преснухина. М.: Высш. шк., 1986. Микро-ЭВМ: В 8-и кн.: Практи. пособие / Под ред. Л.Н.Преснухина. - М.: Высш. шк., 1988. СД.08 Технологии программирования 1. Проблемы создания сложных программных систем. Блочно-иерархический подход к созданию сложных систем. 2. Жизненный цикл и этапы разработки программного обеспечения. Эволюция моделей жизненного цикла программного обеспечения. 3. Оценка качества процессов создания программного обеспечения. 4. Анализ требований и проектирование. Спецификации. Архитектура программного продукта. Проектирование архитектуры. Методы анализа и построения спецификаций. 5. Разработка технического задания программно-аппаратной системы. 6. Архитектура программного обеспечения. Типы пользовательских интерфейсов. 7. Критические системы. Надежность систем. Составляющие функциональной надежности. 8. Работоспособность, безотказность, безопасность и защищенность систем. Терминология и подходы к улучшению показателей систем. 9. Разработка критических систем. Требования к разработке безотказного программного обеспечения. Предотвращение ошибок программирования. Языковые конструкции, подверженные ошибкам. Сокрытие информации. 10. Устойчивость к сбоям. Отказоустойчивые архитектуры. Проектирование безопасных систем. Рекомендуемая литература: 1. 2. 3. Иан Соммервилл. Инженерия программного обеспечения. – М.: Вильямс, 2002. Иванова Г.С. Технология программирования. – М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. Элиенс А. Принципы объектно-ориентированной разработки программ. – М.: Вильямс, 2002. ДС.01 Вычислительные сети 1. Сетевая модель ISO/OSI. 2. Сетевая модель TCP/IP. 3. Принципы работы локальных сетей на основе технологии Ethernet. 4. Адресация в сетях IP. 5. Доставка пакетов между узлами составной сети в модели TCP/IP. 6. Протокол TCP. 7. Система доменных имен. Принципы работы службы DNS. 8. Основные службы сети Internet. 9. Электронная почта в Internet. Протоколы SMTP, POP3 и IMAP4. 10. Организация локальных сетей на основе Windows. Рекомендуемая литература: 1. 2. 3. 4. Олифер В.Г., Олифер Н.А. Компьютерные сети. СПб.: Питер, 2002. – 672 с. Храмцов П.Б. Лабиринт Internet. М.: Электроинформ, 1996. – 256 с. Олифер В.Г., Олифер Н.А. Сетевые операционные системы. СПб.: Питер, 2003. – 539 с. Назаров С.В. Администрирование локальных сетей Windows NT/2000/.NET. М.: Финансы и статистика, 2003. – 480 с.