Реклама на сайте



Методические пособия

Системы автоматизированного проектирования

• Понятие проектирования
• Стадии проектирования
• Типовые проектные процедуры
• Цели создания САПР
• Оптимальное проектирование с использованием САПР
• История развития систем автоматизации проектирования. Развитие инженерного мышления
• История развития систем автоматизации проектирования. Автоматизация проектирования вычислительных машин и электронных схем
• История развития систем автоматизации проектирования.Автоматизированное проектирование в машиностроении
• Системы автоматизированного проектирования: определение, назначение
• Принципы создания систем автоматизированного проектирования
• Взаимосвязь САПР с другими АС
• Структура и виды обеспечения САПР
• Классификация САПР
• Лингвистическое обеспечения САПР: определение, назначение, состав
• Лингвистическое обеспечения САПР: определение: языки программирования, языки проектирования
• Требования, предъявляемые к техническому обеспечению САПР
• Структура технического обеспечения САПР
• Информационное обеспечение САПР
• Структура программного обеспечения САПР
• Требования, предъявляемые к программному обеспечению САПР
• Математическое обеспечение САПР: определение, назначение, состав
• Требования, предъявляемые к математическому обеспечению САПР: универсальность, надежность. Универсальность
• Требования, предъявляемые к математическому обеспечению САПР: точность, экономичность
• Сущность и история развития математического моделирования
• Этапы математического моделирования
• Построение математических моделей на основе фундаментальных законов природы
• Построение математических моделей на основе вариационных принципов
• Применение аналогий при построении математических моделей
• Иерархический подход к получению математических моделей
• Нелинейность математических моделей
• Этапы создания математической модели
• Современное состояние рынка САПР. Тенденции развития САПР
• Архитектура и характеристики современных САПР: AutoCAD
• Архитектура и характеристики современных САПР: Autodesk Inventor
• Архитектура и характеристики современных САПР: ANSYS
• Способы интеграции приложений
• Способы интеграции приложений: передача файла, общая база данных
• Способы интеграции приложений: удаленный вызов процедуры, обмен сообщениями
• Интеграция CAD и САМ
• Стандарты обмена данными между САПР
• Формат IGES Формат DXF Формат STEP
• Механизмы OLE и COM в САПР

Социология молодёжи

• Предмет изучения социологии молодежи
• Цель социологии молодёжи
• Возрастная стратификация молодежи
• Психологические особенности молодости
• Социальный статус и социальное развитие молодежи
• Сущность и структура социализации
• ЭТАПЫ СОЦИАЛИЗАЦИИ
• АГЕНТЫ СОЦИАЛИЗАЦИИ
• МЕХАНИЗМЫ СОЦИАЛИЗАЦИИ
• УСЛОВИЯ СОЦИАЛИЗАЦИИ
• Специфика социализации современной молодежи
• Нарушения процесса социализации. Девиантное поведение молодежи
• Образование как система и социальный институт
• Молодежь в системе высшего образования
• Уровень и качество образования российской молодежи
• Сущность и этапы трудовой деятельности
• Проблемы молодежной безработицы
• Становление и развитие молодежной субкультуры
• Типология молодежных субкультур
• Брак и семья как социальный институт
• Молодежь и семья
• Понятия и виды миграции
• Миграция молодого поколения на территорию России
• Миграция молодого поколения с территории России

Общая социология

• История социологии
• Предмет объект социологии
• Активность и деятельность, поведение, свобода действий
• Иерархия потребностей. Их динамика
• Мотивы и мотивация
• Виды социальной мобильности и механизм ее возникновения
• Последствия социальной мобильности
• Индивидуальная восприимчивость к социальной мобильности. Процесс миграции в обществе
• Социальное взаимодействие
• Социализация и формирование социального «Я»
• Де- и ресоциализация. Социальный контроль
• Социальные группы
• Классификация социальных групп
• Формы массового поведения
• Социальные институты, их функционирование
• Гражданское общество
• Взаимосвязь государства и общества

Криптография

• Введение в криптографию
• Терминология
• Требования к криптосистемам
• Симметричные криптосистемы
• Перестановки
• Системы подстановок
• Подстановка Цезаря
• Многоалфавитные системы. Системы одноразового использования
• Системы шифрования Вижинера
• Гаммирование
• Датчики ПСЧ
• Конгруэнтные датчики
• Датчики М-последовательностей
• Стандарт шифрования данных ГОСТ 28147-89
• Системы с открытым ключом
• Алгоритм RSA
• Практическая реализация RSA
• Криптосистема Эль-Гамаля
• Криптосистемы на основе эллиптических уравнений
• Электронная подпись
• Электронная подпись на основе алгоритма RSA
• Цифровая сигнатура
• Хэш-функции
• Управление ключами
• Генерация ключей
• Накопление ключей
• Распределение ключей
• Алгоритм Диффи-Хеллмана
• Шифрование больших сообщений и потоков данных
• Использование блуждающих ключей
• Шифрование, кодирование и сжатие информации
• Реализация криптографических методов
• Заключение

Проектирование трансляторов

• Основные концепции ЯП
• Императивные или процедурные языки
• Функциональные языки
• Логические или декларативные
• Объектно-ориентированные языки
• Критерии ЯП
• Язык расширенного лямбда исчисления (РЛИ)
• Синтаксические конструкции
• Предикаты
• Арифметические операции
• Условные выражения
• Лямбда – выражение
• Вызов функции
• Разработка интерпретатора для языка РЛИ
• Связывание. Замыкание функций
• Проектирование интерпретатора
• Переменные
• Константы
• Бинарные операции
• Унарные операции
• Условное выражение
• Вызов функции
• Блок рекурсивных определений letrec
• Реализация интерпретатора языка РЛИ на языке PASKAL
• Команды реализации условного оператора
• LDF
• Команды для вычисления и вызова функции
• Команды для вычисления рекурсивного вызова функции
• Проектирование компилятора для языка РЛИ. Правила Компиляции
• Вызов функции
• Блок локальных определений
• Блок рекурсивных определений

Компьютерная графика

• Что такое компьютерная графика
• Двумерные геометрические (аффинные) преобразования
• Представление точек и общая схема преобразования с использованием матриц
• Преобразование масштабирования
• Преобразование поворота
• Преобразование переноса и однородные координаты
• Выполнение произвольных преобразований на плоскости. Композиция преобразований
• Выводы по плоским геометрическим преобразованиям
• Трехмерные преобразования
• Преобразования поворота в пространстве
• Преобразования как изменение координатных систем
• Координатные системы двух мерного геометрического конвейера и их преобразование
• OpenGL
• Синтаксис команд OpenGL
• Настройка библиотеки
• Задание аффинных преобразований
• Координатные системы
• Задание векторных примитивов
• Порядок соединения вершин. Вершины
• Проекции
• Параллельные проекции
• Центральные проекции
• Ортографические проекции
• Реализация проекций в OpenGL Ортографическая проекция
• Реализация проекций в OpenGL Перспективная проекция
• Реализация проекций в OpenGL Ориентация в пространстве
• Реализация проекций в OpenGL Построение дополнительных плоскостей отсечения
• Простая модель освещения
• Диффузное отражение
• Зеркальное отражение
• Общая модель
• Источники света в OpenGL
• Модель освещения
• Грани
• Свойства материала
• Плоское закрашивание
• Закрашивание методом Гуро
• Закраска Фонга
• Цвет в машинной графике
• Цветовая модель HSV
• Наложение текстуры
• Удаление невидимых линий
• Удаление невидимых линий и поверхностей
• Алгоритм плавающего горизонта
• Алгоритм Ньюэла-Нюэла-Санча
• Алгоритм использующий Z-буфер
• Интервальный алгоритм построчного сканирования
• Алгоритм Вейлера— Азертона
• Алгоритм определения видимых поверхностей путем трассировки лучей

Моделирование систем

• Компоненты дискретно-событийной имитационной модели и их организация
• Определение событий и переменных
• SMPL Список событий
• SMPL список средств
• SMPL список очередей
• Операции инициализации языка SMPL
• Операции над списком событий языка SMPL
• Операции над средствами языка SMPL
• Операции над очередями языка SMPL
• Моделирование производственной системы на SMPL
• Управление информационной системой с обратной связью
• Основные принципы системной динамики
• Последовательность вычислений в моделях системной динамики
• Классы уравнений
• 15. Простейшая системно-динамическая модель розничного звена
• 16. Зависимость запаздывания от величины запаса в простейшей системно-динамической модели розничного звена
• Выходные данные и стохастические процессы моделирования, характеристики случайного процесса
• 17. Характеристики случайного процесса
• Статистический анализ выходных данных автономной системы
• Переходное и установившееся поведение стохастического процесса
• Типы имитационного моделирования и анализ выходных данных
• 22. Оценка средних значений при переходном режиме моделирования
• 22. Получение заданной точности при переходном режиме моделирования
• Проблема начального переходного процесса
• Процедура Велча
• Общие принципы построения факторных планов
• Полный факторный эксперимент 2т, построение планов
• Оценка главных эффектов и эффектов взаимодействия
• Поверхности отклика и метамодели
• Общие принципы оценки адекватности модели
• Основные особенности проверки адекватности модели
• Аккредитация модели
• Методы верификации моделирующих компьютерных программ

Информационная безопасность

• 01 Понятие информационной безопасности
• 02 Проблемы безопасности в области телекоммуникаций и ИТ
• 03 Особенности системного подхода к обеспечению информационной безопасности телекоммуникационных систем
• 04 Защищенный документооборот
• 05 Технологические системы защиты и обработки конфиденциальных док-в
• 07 Автоматизированный учет конфиденциальных документов
• 08 Модель ТКУИ
• 11 Технический канал утечки информации (ТКУИ) за счет цепей электропитания
• 12 Технический канал утечки информации (ТКУИ) за счет цепей заземления
• 13 Технический канал утечки информации (ТКУИ) за счет высокочастотного (ВЧ) облучения или навязывания
• 14 Модель технических каналов утечки информации при использовании ПЭВМ и возможности по перехвату излучений
• 15 Криптографические методы защиты. Требования к криптосистемам
• 16 Совершенная секретность и практическая секретность
• 17 Симметричные криптосистемы. Гаммирование
• 18 Системы с открытым ключом Общие принципы построения
• 19 Системы с открытым ключом Криптосистема RSA
• 20 Системы с открытым ключом Криптосистема Эль-Гамаля
• 21 Электронная подпись
• 22 Управление ключами
• 23 Квантовая криптография
• 24 Стеганография
• 25 Перспективы криптографических систем
• 26 Датчики ПСЧ
• 27 Математические модели обеспечения безопасности в АСУ Общие положения
• 28 Сравнительный анализ математических моделей обеспечения безопасности в АСУ
• 29 Технологическая и эксплуатационная безопасность программ на этапах жизненного цикла
• 30) Модели угроз технологической безопасности ПО
• 31) Принципы обеспечения безопасности на этапах ЖЦ
• 32) Формальные методы доказательства правильности программ и их спецификаций.
• 33) Методы и средства анализа безопасности программного обеспечения
• 34) Контрольно-испытательные методы анализа безопасности программного обеспечения
• 35) Логико-аналитические методы контроля безопасности программ
• 36) Классификация разрушающих программных средств.
• 37) Принципы функционирования РПС
• 39) Защита информации в операционных системах
• 40) Защита информации в базах данных
• 41) Защита ВС. Обобщенная модель
• 42) Классификация вторжений в ВС
• 43) Методология оценки защищенности ВС
• 44) Концепция защищенной ВС
• 45) Защита объектов ВС
• 46) Защита линий связи
• 47) Защита баз данных
• 48) Защита подсистемы управления ВС
• 49) Методы получения информации об атаках
• 50) Анализ и корреляция данных в системах обнаружения атак
• 51) Организация систем обнаружения атак
• 52) Методы реагирования в системах обнаружения атак
• 55) Руководящие нормативно-техни­чес­кие, методические документы в области ИБ
• 57) Предпосылки возникновения стандартов по ИБ
• 58) Оценка ИБ на основе стандарта ISO 15408.
• 59) Применение стандартов в России. Отечественный стандарт шифрования. ГОСТ 28147
• 60) Организационные мероприятия и процедуры по обеспечению защиты инфы в АС.
• 61) Концепция и основные понятия информационной войны.
• 62) Способы применения информационного оружия
• 64) Проблемы и перспективы равития методов и средств защиты информации

Теория вычислительных процессов

• Абстрактный синтаксис языка While
• Естественная семантика. Правила, определяющие естественную семантику языка арифметических выражений.
• Доказать теорему о том, что отношение => для языка Exp является функцией.
• Структурно - операционная семантика. Структурно - операционная семантика языка Exp.
• Окружение переменных. Отношение => для языка Exp2. Естественная семантика языка Exp2.
• Абстрактный синтаксис языка Exp3. Естественная семантика языка Exp3.
• Операция расширения окружения. Множество свободных переменных. Множество связанных переменных.
• Доказать теорему о том, что каждого выражения e?Exp3 если r =FVar(e) r’, то из ?? e => n следует, что ?’? e => n.
• Применение подстановки к выражению.
• Естественная семантика языка Exp4.
• Абстрактный синтаксис языка Fpl. Определение функций.
• Отношения =>A и =>B для языка Fpl.
• Естественная семантика языка Fpl. Способы передачи параметров. Передача параметров по имени.
• Структурно - операционная семантика языка Fpl.
• Структурно - операционная семантика языка Fpl (отношение ->B)
• Абстрактная машина для языка Exp. Состояния абстрактной машины. Переходы абстрактной машины.
• Абстрактная машина для языка Fpl. Состояния абстрактной машины. Переходы абстрактной машины.
• Естественная семантика языка While.
• Индукция по структуре дерева вывода.
• Доказать что естественная семантика языка While – детерминированная (только случаи [ass], [skip] и [comp]).
• Доказать, что естественная семантика языка While – детерминированная (только случаи [ift], [iff], [whilet] и [whilef]).
• Семантическая функция SNS.
• Структурно-операционная семантика языка While.
• Последовательность вывода в структурно-операционной семантике языка While.
• Индуктивное доказательство по длине последовательности вывода.
• Доказать лемму, что если ->k s” , то существует состояние s’ и натуральные числа k1 и k2 такие, что ->k1 s’ и ->k2 s”, а k = k1 + k2
• Семантическая функция SSOS.
• Эквивалентность естественной и структурно-операционной семантик языка While. Доказать, что для каждой команды S и любых состояний s и s’ справедливо, что из => s’ следует ->* s’ (случаи ass, skip, comp).
• Эквивалентность естественной и структурно-операционной семантик языка While. Доказать, что для каждой команды S и любых состояний s и s’ справедливо, что из => s’ следует ->* s’ (случаи if).
• Эквивалентность естественной и структурно-операционной семантик языка While. Доказать, что для каждой команды S и любых состояний s и s’ справедливо, что из => s’ следует ->* s’ (случаи while).
• Эквивалентность естественной и структурно-операционной семантик языка While. Доказать, что для каждой команды S, любых состояний s и s’ и натурального числа k справедливо, что из ->k s’ следует => s’(случаи ass, skip, comp).
• Эквивалентность естественной и структурно-операционной семантик языка While. Доказать, что для каждой команды S, любых состояний s и s’ и натурального числа k справедливо, что из ->k s’ следует => s’(случай if).
• Эквивалентность естественной и структурно-операционной семантик языка While. Доказать, что для каждой команды S, любых состояний s и s’ и натурального числа k справедливо, что из ->k s’ следует => s’(случай while).
• Абстрактная машина для языка While. Команды АМ. Семантика команд АМ.
• Последовательность вычислений абстрактной машины для языка While.
• Функция выполнения ? для абстрактной машины для языка While.
• Транслятор с языка While в коды абстрактной машины.
• Семантическая функция SAM.
• Доказать лемму, что для всех арифметических выражений e истинно:
• Корректность реализации транслятора языка While. Доказать, что если =>s’ , то #>k . Случай [assNS].
• Корректность реализации транслятора языка While. Доказать, что если =>s’, то #>k . Случай [compNS].
• Корректность реализации транслятора языка While. Доказать, что если =>s’, то #>k . Случаи if.
• Корректность реализации транслятора языка While. Доказать, что если =>s’, то #>k . Случаи while.
• Деннотационная семантика языка While.
• Денотационная семантика команд ввода-вывода.
• Денотационная семантика языка с окружениями.
• Денотационная семантика на продолжениях. Команда goto.
• Аксиоматическая семантика команд присваивания, ввода, вывода, последовательной композиции. Вспомогательные правила вывода.
• Аксиоматическая семантика команды while.

Логические основы искусственного интелекта

• История развития систем искусственного интеллекта
• Понятие экспертных систем
• Структура экспертных систем
• Представление знаний в экспертных системах
• Этапы разработки экспертных систем
• Основные термины и определения в области искусственного интеллекта.
• Уровни представления и уровни детальности
• Организация знаний в рабочей системе
• Организация знаний в базе данных
• Особенности знаний
• Продукционные системы
• Компоненты продукционных систем
• Классификация ядер продукции
• Стратегии решений организации поиска
• Представление простых фактов
• Синтаксис логики предикатов
• Примеры применения логики для представления знаний
• Системы, основанные на знаниях. Управление функционированием интерпретатора
• Программирование на языке CLIPS
• Правила и функции в CLIPS
• Определение фактов и правил в CLIPS
• Использование шаблонов в CLIPS. Определение функций
• Основные стратегии разрешения конфликтов
• Системы распознавания образов
• Геометрический и структурный подходы к проблеме ОРО
• Эвристический поиск. Основные определения
• Поиск в глубину
• Поиск в ширину
• Гипотеза компактности
• Обучение и самообучение. Адаптация и обучение
• Распознавание и обучение на основе моделей нейронный сетей
• Состязательные ИНС
• Эволюционное моделирование и генетические алгоритмы
• Оценка эффективности генетического алгоритма
• Обработка естественного языка
• Понимание ЕЯ-высказывания
• Эмпирический подход
• ЕЯ-интерфейс доступа к базам данных
• Структурная схема ЕЯ-интерфейса доступа к БД с промежуточным логическим представлением запроса.

Проектирование распределённых информационных систем

• РИС. Основные понятия. Соединение пользователей с ресурсами
• Задачи РИС. Прозрачность
• Задачи РИС. Открытость
• Задачи РИС. Масштабируемость
• Распределенные БД. Определение Дэйта
• sql. Операции над данными. Insert, update, delete
• sql. Синтаксис оператора SELECT
• sql. Использование спецификатора WHERE для задания условия сравнения
• sql. Выражения, используемые в операторах SELECT
• sql. Подзапросы в операторах SELECT
• sql. Операторы InnerJoin и Outer
• firebird. Хранимые процедуры
• Первая НФ. Вторая НФ
• Третья НФ
• БКНФ
• Четвертая НФ
• Пятая НФ
• Транзакции. Проблемы при параллельном использовании транзакций
• Транзакции. Уровни изолированности транзакций
• Алгоритм - Двухфазная фиксация изменений
• Стили и критерии интеграции приложений
• Способы интеграции приложений. Передача файла
• Способы интеграции приложений. Общая база данных
• Способы интеграции приложений. Удаленный вызов процедуры
• Способы интеграции приложений. Обмен сообщениями
• Пример создания интеграционного решения, основанного на обмене сообщениями
• Необходимость и трудности интеграции
• Роль интеграционных шаблонов проектирования. Типы интеграционных задач
• Слабое связывание
• Сильное связывание. Пример простой интеграции
• Расширяемый язык разметки (xml)
• CORBA
• Технология SOAP. Язык описания веб-сервисов (WSDL)
• COM
• DCOM
• COM+