направление 09.06.01 (05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей), страница 2

Реляционная алгебра, реляционное исчисление. Функциональные зависимое~и и нормализация отношений. САЯЕ-средства и их использование при проектировании базы данных (БД). Организация н проектирование физического уровня БД. Методы индексирования. Обобщенная архитектура, состав и функции системы управления базой данных (СУБД), Характеристика современных технологи)! БД. Примеры соответствугощнх СУБД. Основные принципы управления транзакциями, журнализацией и восстановлени- ем. Язык баз данных ЯО1 . Средства определения и изменения схемы БД. определения ограничений целостности. Контроль доступа.

Средства манипулирования данными. Стандарты языков Я01.. Интерактивный, встроенный, динамический ЯО).. Основные понятия тсх~ологии клиент — сервер. Характеристика Я()1-сервера и клиента. Сетевое взаимодействие клиента и сервера, Информационно-поисковые системы. Классификация. Методы реализапии и ускорения поиска.

Методы представления знании: процедурные представления, логические представления, семантические сети. фреймы, системы продукций. Интегрированные методы представления знаний. Языки представления знаний. Базы знаний. Экспертные системыгЭС). Области применения ЭС, Архитектура ЭС. Механизмы вывода, подсистемы объяснения, общения, приобретения знаний ЭС, Жизненный цикл экспертной системы. Примеры конкретных ЭС.

7. Профессиональные программные среды Модели и этапы жизненного цикла программного изделия. Характеристики современных информационных систем н требования к технологиям проектирования. Средства и методы моделирования и структурного анализа. Методологии ПОЕГ). Диаграммы бизнес-процессов, диаграммы потоков данных. диаграммы потоков работ 1%ог1сйоъч-диаграммы).

Назначение, элементы, методология построения. Методы спецификации процессов. Этапы создание модели с использованием АПГиз)оп Ргоссзз Мог)- е1ег (Вали). Основные характеристики ВРып. Методы коллективной работы по спецификации бизнес-процессов. Возможные способы формирования отчетности. Количественный аначиз диаграмм. Основные задачи автоматизации планирования и управления проектами. Критический путь плана. Планирование работ при ведении проектов на примере МБ Рго1есп).

Семантическая модель данных сущность-связь. Составные части диаграммы сущность-связь. Этапы создание модели с использованием АПГпяоп Егмп 1)ага Моде!ег (ЕгМп). Основные характеристики ЕКв)п. Поддержка нормализации в ЕКюпь Проверка качества ЕК-модели с использованием АПГщйоп Вага Мобе1 Ча!Ыагог (НЬйп-Ехаш1пег). Назначение и способы поддержки стандартов наименования объектов при разработке информационных систем. Вен| ерская нотация. Контроль стандартов наименования объектов в ЕК-Мп. Методология разработки программного обеспечения КЦР.

Набор программных продуктов для поддержки методологии КЕ)Р. Моделирование с использованием ПМ1. Назначение и отличительные особенности. Диаграммы и составляющие языка 1)М1.. Количественные опенки 1)МЕ- диаграмм. Диаграмма вариантов использования. Элементы и методология построения. Диаграмма взаимодействия и диаграмма последовательностей. Элементы и методология построения. Диаграмма классов. Стереотипы классов и вилы связей.

Способы описания поведения системы в 1)МЕ. Диаграммы состояний и активности. Цели и задачи, поставленные при разработке реляционных СУБД (Проект КБуз1еш). Реляционная модель данных. Особенности, преимущества и недостатки реляционной модели данных. Функции, выполняемые реляционными СУБД. Основные структурные составляющие реляционной модели данных. Основные конструкпии языка БО1, (ШЭЕ, ОМ!., ПС1.„СС1.. Ш.). Понятие транзакции. Протокол двухфазной блокировки. Критерий правильности выполнения транзакций. Свойства транзакций.

Проблемы параллельного выполнения транзакции. Виды блокировок. Уровни изолированности транзакций. Проблема сериализации транзакций, синхронизационные захваты.Матрица совместимости блокировок. Гупики, способы их распознавания и разрушения, Назначение индексов. Виды индексов. Рекомендации к использованию инлексов. Статистики реляционной базы данных. Оптимизация запросов к БД. Основные положения 5 оптимизации запросов. Типовые подходы к оптимизации запросов к БД. Достоинства реляционного подхода к построению СУБД. Способы объединения ре.иционного и объектного подходов. Модели качества процессов конструирования ПО. Уровни зрелости модели СММ.

Метрические оценки сложности программ. Размерно-ориентированные. функционально- ориентированные и объектно-ориентированные метрики. Задачи обеспечения безопасности информационных систем и данных. Безопасность и целостность данных в информационных системах. У|розы безопасности. Принципы обеспечения безопасности. Виды управления доступом. Правила безопасности. Классы безопасности. Поддержка мер безопасности в языке Я)1 . Категории криптографических алгоритмов. Симметричная и асимметричная схемы шифрования.

Что такое ЭЦП. Комплексный метод использования различных видов шпоритмов шифрования. Требования к средствам реализации 01.АР. Понятие "хранилище данных". Принципы построения информационных систем, ориентированных на анализ данных, Назначение. основные различия и принципы построения 01.ТР и ОЕАР систем. Многомерные базы данных.

Операции над многомерными базами данных. Архитектура построение информационных систем, ориентированных на анализ данных. Правила разработки пользовательских интерфейсов. Назначение и технология работы с ХМ1.-представлением данных. 8. Компьютерные технологии в обучении Понятие технологий обучения. Обучение. Преподавание. Учение. Педагогическая задача. Педагогическая система. Дидактические принципы обучения. Разомкнутые и замкнугые системы обучения. Место компьютера в прсщессе обучения. Информационные порталы. Понятие об электронном учебнике. Обучение как информационный процесс.

Уровни знания. Этапы обучения. Модульная структура электронного учебника. Управление процессом обучения. Модели требуемых знаний. Модели текущих знаний. Семантическое программирование математический аппарат построения моделей требуемых знаний. Примеры построения моделей требуемых знаний.

'1 ехнология извлечения знаний для построения моделей требуемых знаний. Терминальные тексты: Структура. содержание, оформление. Алгоритмы обучения. Технология овладения знаниями по этапам обучения. Технология управляемого овладения информацией (функциональная структура процесса. технология процесса 'вопрос-ответ", формы высказываний и алгоритмы для инициации н управления работой обучаемого. технология анализа и контроля ответов обучаемого').

Технология управляемого процесса выработки понимания на основе самоконтроля знаний, получения разъяснений, постановки контроля заданий. Элементарные фреймы. Построение семантических моделей. Технологический процесс решения типовых и прикладных задач. Задачи и функциональные средства автоматизации расчета. Принципы организации алгоритмических и проблемных моделей, их связь с понятийно-сущностной и структурной моделями, технология формирования. Примеры моделей. Алгоритмы расчетно-логическнх систем: ввода математических постановок задач, алгоритмов конечного пользователя, планирования вычислений, анализа результатов и принятия решений.

6 Технология управляемой выработки умения решать типовые и прикладные задачи (формировать математические постановки задач, алгоритмы их решения, анализа результатов). Тестирование знаний по разомкнутому и замкнутому циклу. Ахо, Сети Р., Ульман Дж. Компиляторы: принципы„техника реализации и инструменты. М., 200!.

Введение в криптографию 7 Под ред. В.В. Ященко. СПб.: МЦ! 1МО. 2001. Дейт К.Дж. Введение в системы баз данных, М.: Вильямс, 1999. Дейтел Г. Введение в операционные системы. М.: Мир. 1987. Кнут Д. Искусство программирования. Т. 1 — 3. М., СПб., Киев: ИД «Вильямс», 2000. Когаловский М.Р. Энциклопедия технологий баз данных. М.: Финансы и статистика, 2002.

Компьютерные сети. Учебный курс М1сгоаой Согрогайоп. 1997, Кормен '! ., Лейзерсон Ч., Ривест Р. Алгоритмы, построение и анализ. М.: МЦНМО, 2000. Котов В.Е., Сабельфельд В.К. Теория схем программ. М.: Наука, 1991. Матфик С. Механизмы защиты в сетях ЭВМ. М.: Мир, 1993. Мельников В.В. Защита информации в компьютерных системах. М.: Финансы и статистика, 1997. Яблонский С.В. Введение в дискретную математику. М.: Наука, 2001. Дополнительная литература Керниган Б., Пайк П. !3Х!Х вЂ” универсальная среда программирования. М.: Финансы и ста- тистика, 1992. Корнеев В.В.

Параллельные вычислительные системы. М.: Нолидж. 1999. Королев Л.Н. Структуры ЭВМ и их математическое обеспечение. М.: Наука, 1980. Соломон Д., Руссинович М. Внутреннее устройство М1сгоаой Мпс1омз 2000. СПб.: Питер, 2001. Ю.Избачков, В.Петров. Информационнь|е системы: Учебник для ВУЗов. — СПб.: Питер, 2005.

С.В.Маклаков Вр~чп и Егь!и. САЯЕ-средства разработки информационных систем.- Мо- сква «Диалог МИФИ», 1999. С.В.Маклаков Создание информационных систем с А!1раяоп Ргосеаз Яцйе. - Москва, «Диалог МИФИ», 2003. Вендров А.М. — САЯЕ-технологии. Современные методы и средства проектирования ин- формационных систем.. Москва. Финансы и статистика, 1998. Д.Э.Федотова, Ю.Д.Семенов, К.Н,Чижик.

САЯЕ-технологии, — Москва, Горячая линия— Телеком, 2003. У.Боггс. М.Боггс. !3М1. и Ка6опа! Козе. - Изд-во «ЛОРИ», 2001. М.Фаулер, К.Скотт. 13М!. в кратком изложении. Применение стандартного языка объект- ного моделирования. — Москва, «Мир», 1999. К.ДжДейт, Введение в системы баз данных. 6,7 или 8-изд. — Издательский дом «Виль- ямс», 2001. Т.Конноли. К.Бегг, А.Страчан. Базы данных, Проектирование, реализация и сопровожде- ние. Теория и практика. — Издательский дом «Вильямс», 2000, С.Д. Кузнецов, Основы современных баз данных - Ьпр:дз»ъь..сп!оппп.гп! оатаЬаяе!озЬоусоп!еп!з.аЬпп!, информационно-аналитические материалы.

С.Л.Орлов Технологии разработки программного обеспечения. !"азработка сложных программных систем: Учебник лля ВУЗов. СПб.: Питер. 2002. Дьяконов В.П. МАТ1.АВ 6/6.1!6.5+8!пш!!п1с 4/5. Основы применения. Полное руководство пользователя. Мл СОЛОН-Пресс. — 2002. Дьяконов В.П. У!вЯпп+Ма!1!сад+Ма!!а!з. Визуальное математическое моделирование. М,; СОЛОН-Пресс. — 2004.

Семенов В.В. Семантическое про|раммирование в САПР систем управления.- М.: МЛИ, 1983 г. Изучение математических дисциплин в компьютерной среде.- М,:МАИ, 1996. Средства дистанционного обучения // Под ред. 3. Джалиашвили, БХ13. Петербург, 2003. Романов А.Н., Торонцов В.С,. Григорович Д.Б. Технология дистанционного обучения.- !ОНИТИ, 2000. Составители: д.ф.-м.н., проф. Пантелеев А.В. д.ф.-м.н.. проф. Кибзун А.И. За!!ф ии ка дрой 805 Пантелеев А.В. « ~7- » .

бЬ 20!7 г. афедррй 804 /~'ф4бзун А.И. бЯ 2017 г. Завел !ий кафедрой 806 Крылов С.С. «.~7- » б 2 2017 г, г .