ВОПРОСЫ

для подготовки к сдаче вступительного экзамена в аспирантуру

по специальности 05.13.11

«Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»

1.  Назначение, основные этапы развития операционных систем (ОС). Принципы построения ОС.

2.  Понятие процесса, потока, ресурса, свойства, классификация. Концепция виртуализации. Концепция прерывания.

3.  Типы файлов. Владельцы файлов. Управление правами доступа в файловой системе. Атрибуты файлов. Управление свойствами файлов. Работа с файлами. Структура файловой системы.

4.  Понятие об алгоритмической неразрешимости неразрешимости. Понятие сложности алгоритмов.

5.  Понятие алгоритма и его уточнения: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции. Эквивалентность данных формальных моделей алгоритмов.

6.  Булевы функции, канонические формы задания булевых функций.

7.  Процедурные языки программирования (Си).

8.  Функциональные языки программирования (Erlang).

9.  Логическое программирование (Пролог).

10.  Объектно-ориентированные языки программирования (Ява).

11.  Процедурные языки программирования. Основные управляющие конструкции, структура программы.

12.  Классификация вычислительных систем (ВС) по способу организации параллельной обработки.

13.  Многопроцессорные и многомашинные комплексы. Вычислительные кластеры. Проблемно-ориентированные параллельные структуры: матричные ВС, систолические структуры, нейросети.

НЕ нашли? Не то? Что вы ищете?

14.  Назначение, архитектура и принципы построения ИВС. Локальные и глобальные ИВС, технические и программные средства объединения различных сетей.

15.  Методы и средства передачи данных в ИВС, протоколы передачи данных.

16.  Анализ исходной программы в компиляторе. Технология разработки и сопровождения программ.

17.  Жизненный цикл программы. Этапы разработки.

18.  Сущность и принципы параллельного программирования.

19.  Режимы функционирования вычислительных систем, структура и функции ОС. Основные блоки и модули.

20.  Основные средства аппаратной поддержки функций ОС: система прерываний, защита памяти, механизмы преобразования адресов в системах виртуальной памяти, управление каналами и периферийными устройствами.

21.  Виды процессов и управления ими в современных ОС. Представление процессов, их контексты, иерархии порождения, состояния и взаимодействие.

22.  Многозадачный (многопрограммный) режим работы. Команды управления процессами. Средства взаимодействия процессов.

23.  Модель клиент-сервер и ее реализация в современных ОС.

24.  Концепция типа данных. Абстрактные типы данных. Объекты – основные свойства и отличительные признаки.

25.  Основные структуры данных, алгоритмы обработки и поиска. Сравнительная характеристика методов хранения и поиска данных.

26.  Основные понятия реляционной и объектной моделей данных.

27.  Теоретические основы реляционной модели данных (РДМ). Реляционная алгебра, реляционное исчисление. Функциональные зависимости и нормализация отношений.

28.  CASE-средства и их использование при проектировании базы данных (БД).

29.  Организация и проектирование физического уровня БД. Методы индексирования. Обобщенная архитектура, состав и функции системы управления базой данных (СУБД).

30.  Основные принципы управления транзакциями, журнализацией и восстановлением.

31.  Аппаратные и программные методы защиты данных и программ.

32.  Защита данных и программ с помощью шифрования.

33.  Система безопасности и разграничения доступа к ресурсам в OC Linex.

34.  Защита от разрушающих программных воздействий. Вредоносные программы и их классификация.

35.  Загрузочные и файловые вирусы, программы-закладки.

36.  Методы обнаружения и удаления вирусов, восстановления программного обеспечения.

37.  Приемы и средства оценки качества программ, программных комплексов и пакетов прикладных программ.

38.  Актуальность темы и научная новизна диссертационного исследования.

39.  Характеристика предметной области диссертационного исследования;

40.  Гипотеза диссертационного исследования.

41.  Методологические основы (принципы) диссертационного исследования.

42.  Характеристика объекта диссертационного исследования.

43.  Научная задача и цель диссертационного исследования.

44.  Научная новизна результатов и выводов диссертации.

45.  Практическая полезность результатов и выводов диссертации.

46.  Авторский вклад в разработку темы диссертации.

Литература для подготовки к вступительному экзамену

Основная литература

1.  Ульман Дж. Компиляторы: Принципы, технологии, Инструменты: пер. с англ., 2-е изд.- М.: Вильямс, 2008.-768 с.

2. Введение в криптографию / Под ред. . СПб.: МЦНМО, 2001.

3. Дж. Введение в системы баз данных. М.: Вильямс, 1999.

4. . Введение в операционные системы. - 2-е изд., перераб. и доп. - СПб.: БХВ-Петербург, 2008. - 1040 с.: ил. – (Учебное издание)

5. Когаловский технологий баз данных. М.: Финансы и статистика, 2002.

6. Алгоритмы, построение и анализ. М.: МЦНМО, 2000.

7. Механизмы защиты в сетях ЭВМ. М.: Мир, 1993.

8. Молчанов программное обеспечение: Учебник для вузов. 3-е изд. – Спб.: Питер, 2010. – 400 с.: ил.

9. Яблонский в дискретную математику. М.: Наука, 2001.

Дополнительная литература

1.  Введение в операционные системы. М.: Мир, 1987.

2. UNIX – универсальная среда программирования. М.: Финансы и статистика, 1992.

3. Корнеев вычислительные системы. М.: Нолидж, 1999.

4. Королёв ЭВМ и их математическое обеспечение. М.: Наука, 1980.

5. , Сабельфельд схем программ. М.: Наука, 1991.

6. Мельников информации в компьютерных системах. М.: Финансы и статистика, 1997.

7. , Сёмушкина разработки кандидатской диссертации по техническим наукам: учебно-методическое пособие. Под ред. . – Москва: ФГАУ ГНИИ ИТТ «Информика», 2015. – 164 с.: ил.

8. . Операционные системы. Разработка и реализация. СПб.: Питер, 2006. - 568 с.

9. Хопкрофт Дж. Э., Ульман Дж. Д. Введение в теорию автоматов, языков и вычислений, 2-е изд. М.: Вильямс, 2002. - 528 с.

10. , Сабельфельд схем программ. М.: Наука, 1991.

11. Искусство программирования. Т. 1 – 3. М., СПб., Киев: ИД «Вильямс», 2000.

Программное обеспечение и Интернет-ресурсы:

1.  SMV. Symbolic Model Verifier. Carnegie Mellon University.

http://www. cs. cmu. edu/~modelcheck/smv. html

2. SPIN. http:///spin/whatispin. html

3. UPPAAL. http://www.