ПРОГРАММА-МИНИМУМ
кандидатского экзамена по специальности
05.13.01 «Системный анализ, управление
и обработка информации»
по физико-математическим и техническим наукам
Введение
В основу настоящей программы положены следующие дисциплины: системный анализ, исследование
операций, теория и методы принятия решений, теория управления, математическое программирование, дискретная оптимизация, методы искусственного интеллекта и экспертные системы, основы информатики, информационные системы и технологии.
Программа разработана экспертным советом Высшей аттестационной комиссии Министерства образования Российской Федерации по управлению, вычислительной технике и информатике при участии Института проблем управления РАН, Института системного анализа РАН, Московского государственного института стали и сплавов и Воронежского государственного технического университета.
1. Основные понятия и задачи системного анализа Понятия о системном подходе, системном анализе. Выделение системы из среды, определение системы.
Системы и закономерности их функционирования и развития. Управляемость, достижимость, устойчивость.
Свойства системы: целостность и членимость, связность, структура, организация, интегрированные качества.
Модели систем: статические, динамические, концептуальные, топологические, формализованные (процедуры формализации моделей систем), информационные, логико-лингвистические, семантические, теоретико-множественные и др.
Классификация систем. Естественные, концептуальные и искусственные, простые и сложные, целенаправленные, целеполагающие, активные и пассивные, стабильные и развивающиеся системы.
Основные методологические принципы анализа систем. Задачи системного анализа. Роль человека в решении задач системного анализа.
2. Модели и методы принятия решений Постановка задач принятия решений. Классификация задач принятия решений. Этапы решения задач.
Экспертные процедуры. Задачи оценивания. Алгоритм экспертизы. Методы получения экспертной информации. Шкалы измерений, методы экспертных измерений. Методы опроса экспертов, характеристики экспертов. Методы обработки экспертной информации, оценка компетентности экспертов, оценка согласованности мнений экспертов.
Методы формирования исходного множества альтернатив. Морфологический анализ.
Методы многокритериальной оценки альтернатив. Классификация методов. Множества компромиссов и согласия, построение множеств. Функция полезности. Аксиоматические методы многокритериальной оценки. Прямые методы многокритериальной оценки альтернатив. Методы нормализации критериев.
Характеристики приоритета критериев. Постулируемые принципы оптимальности (равномерности, справедливой уступки, главного критерия, лексикографический). Методы аппроксимации функции полезности. Деревья решений. Методы компенсации. Методы аналитической иерархии. Методы порогов несравнимости. Диалоговые методы принятия решений. Качественные методы принятия решений (вербальный анализ).
Принятие решений в условиях неопределенности. Статистические модели принятия решений. Методы глобального критерия. Критерии Байеса—Лапласа, Гермейера, Бернулли—Лапласа, максиминный (Вальда), минимаксного риска Сэвиджа, Гурвица, Ходжеса—Лемана и др.
Принятие коллективных решений. Теорема Эрроу и ее анализ. Правила большинства, Кондорсе, Борда.
Парадокс Кондорсе. Расстояние в пространстве отношений. Современные концепции группового выбора.
Модели и методы принятия решений при нечеткой информации. Нечеткие множества. Основные определения и операции над нечеткими множествами. Нечеткое моделирование. Задачи математического программирования при нечетких исходных условиях. Задача оптимизации на нечетком множестве допустимых условий. Задача достижения нечетко определенной цели. Нечеткое математическое программирование с нечетким отображением. Постановки задач на основе различных принципов оптимальности. Нечеткие отношения, операции над отношениями, свойства отношений. Принятие решений при нечетком отношении предпочтений на множестве альтернатив. Принятие решений при нескольких отношениях предпочтения.
Игра как модель конфликтной ситуации. Классификация игр. Матричные, кооперативные и дифференциальные игры. Цены и оптимальные стратегии. Чистые и смешанные стратегии. Функция потерь при смешанных стратегиях. Геометрическое представление игры. Нижняя и верхняя цены игр, седловая точка. Принцип минимакса. Решение игр. Доминирующие и полезные стратегии. Нахождение оптимальных стратегий. Сведение игры к задаче линейного программирования.
3. Оптимизация и математическое программирование Оптимизационный подход к проблемам управления и принятия решений. Допустимое множество и целевая функция. Формы записи задач математического программирования. Классификация задач математического программирования.
Постановка задачи линейного программирования. Стандартная и каноническая формы записи.
Гиперплоскости и полупространства. Допустимые множества и оптимальные решения задач линейного программирования. Выпуклые множества. Крайние точки и крайние лучи выпуклых множеств. Теоремы об отделяющей, опорной и разделяющей гиперплоскости. Представление точек допустимого множества задачи линейного программирования через крайние точки и крайние лучи. Условия существования и свойства оптимальных решений задачи линейного программирования. Опорные решения системы линейных уравнений и крайние точки множества допустимых решений. Сведение задачи линейного программирования к дискретной оптимизации. Симплекс-метод. Многокритериальные задачи линейного программирования.
Двойственные задачи. Критерии оптимальности, доказательство достаточности. Теорема равновесия, ее следствия и применения. Теоремы об альтернативах и лемма Фаркаша в теории линейных неравенств.
Геометрическая интерпретация двойственных переменных и доказательство необходимости в основных теоремах теории двойственности. Зависимость оптимальных решений задачи линейного программирования от параметров.
Локальный и глобальный экстремум. Необходимые условия безусловного экстремума дифференцируемых функций. Теорема о седловой точке. Необходимые условия экстремума дифференцируемой функции на выпуклом множестве. Необходимые условия Куна—Таккера. Задачи об условном экстремуме и метод множителей Лагранжа.
Выпуклые функции и их свойства. Задание выпуклого множества с помощью выпуклых функций.
Постановка задачи выпуклого программирования и формы их записи. Простейшие свойства оптимальных решений. Необходимые и достаточные условия экстремума дифференцируемой выпуклой функции на выпуклом множестве и их применение. Теорема Удзавы. Теорема Куна—Таккера и ее геометрическая интерпретация. Основы теории двойственности в выпуклом программировании. Линейное программирование как частный случай выпуклого. Понятие о негладкой выпуклой оптимизации.
Субдифференциал.
Классификация методов безусловной оптимизации. Скорости сходимости. Методы первого порядка.
Градиентные методы. Методы второго порядка. Метод Ньютона и его модификации. Квазиньютоновские методы. Методы переменной метрики. Методы сопряженных градиентов. Конечно-разностная аппроксимация производных. Конечно-разностные методы. Методы нулевого порядка. Методы покоординатного спуска, Хука—Дживса, сопряженных направлений. Методы деформируемых конфигураций. Симплексные методы. Комплекс-методы. Решение задач многокритериальной оптимизации методами прямого поиска.
Основные подходы к решению задач с ограничениями. Классификация задач и методов. Методы проектирования. Метод проекции градиента. Метод условного градиента. Методы сведения задач с ограничениями к задачам безусловной оптимизации. Методы внешних и внутренних штрафных функций.
Комбинированный метод проектирования и штрафных функций. Метод зеркальных построений. Метод скользящего допуска.
Задачи стохастического программирования. Стохастические квазиградиентные методы. Прямые и непрямые методы. Метод проектирования стохастических квазиградиентов. Методы конечных разностей в стохастическом программировании. Методы стохастической аппроксимации. Методы с операцией усреднения. Методы случайного поиска. Стохастические задачи с ограничениями вероятностей природы.
Прямые методы. Стохастические разностные методы. Методы с усреднением направлений спуска.
Специальные приемы регулировки шага.
Методы и задачи дискретного программирования. Задачи целочисленного линейного программирования.
Методы отсечения Гомори. Метод ветвей и границ. Задача о назначениях. Венгерский алгоритм. Задачи оптимизации на сетях и графах.
Метод динамического программирования для многошаговых задач принятия решений. Принцип оптимальности Беллмана. Основное функциональное уравнение. Вычислительная схема метода динамического программирования.
Основные понятия теории управления: цели и принципы управления, динамические системы.
Математическое описание объектов управления: пространство состояний, передаточные функции, структурные схемы. Основные задачи теории управления: стабилизация, слежение, программное управление, оптимальное управление, экстремальное регулирование. Классификация систем управления.
Структуры систем управления: разомкнутые системы, системы с обратной связью, комбинированные системы. Динамические и статические характеристики систем управления: переходная и весовая функции и их взаимосвязь, частотные характеристики. Типовые динамические звенья и их характеристики.
Понятие об устойчивости систем управления. Устойчивость по Ляпунову, асимптотическая, экспоненциальная устойчивость. Устойчивость по первому приближению. Функции Ляпунова. Теоремы об устойчивости и неустойчивости.
Устойчивость линейных стационарных систем. Критерии Ляпунова, Льенара—Шипара, Гурвица, Михайлова. Устойчивость линейных нестационарных систем. Метод сравнения в теории устойчивости:
леммы Гронуолла—Беллмана, Бихари, неравенство Чаплыгина. Устойчивость линейных систем с обратной связью: критерий Найквиста, большой коэффициент усиления.
Методы синтеза обратной связи. Элементы теории стабилизации. Управляемость, наблюдаемость, стабилизируемость. Дуальность управляемости и наблюдаемости. Канонические формы. Линейная стабилизация. Стабилизация по состоянию, по выходу. Наблюдатели состояния. Дифференциаторы.
Качество процессов управления в линейных динамических системах. Показатели качества переходных процессов. Методы оценки качества. Коррекция систем управления.
Управление при действии возмущений. Различные типы возмущений: операторные, координатные.
Инвариантные системы. Волновое возмущение. Неволновое возмущение. Метод квазирасщепления.
Следящие системы.
Релейная обратная связь: алгебраические и частотные методы исследования.
Стабилизация регулятором переменной структуры: скалярные и векторные скользящие режимы.
Универсальный регулятор (стабилизатор Нуссбаума).
Абсолютная устойчивость. Геометрические и частотные критерии абсолютной устойчивости. Абсолютная стабилизация. Адаптивные системы стабилизации: метод скоростного градиента, метод целевых неравенств.
Управление в условиях неопределенности. Позитивные динамические системы: основные определения и свойства, стабилизация позитивных систем при неопределенности.
Аналитическое конструирование. Идентификация динамических систем. Экстремальные регуляторы – самооптимизация.
Классификация дискретных систем автоматического управления. Уравнения импульсных систем во временной области. Разомкнутые системы. Описание импульсного элемента. Импульсная характеристика приведенной непрерывной части. Замкнутые системы. Уравнения разомкнутых и замкнутых импульсных систем относительно решетчатых функций. Дискретные системы. ZET-преобразование решетчатых функций и его свойства.
Передаточная, переходная и весовая функции импульсной системы. Классификация систем с несколькими импульсными элементами. Многомерные импульсные системы. Описание многомерных импульсных систем с помощью пространства состояний.
Устойчивость дискретных систем. Исследование устойчивости по первому приближению, метод функций Ляпунова, метод сравнения. Теоремы об устойчивости: критерий Шора—Куна. Синтез дискретного регулятора по состоянию и по выходу, при наличии возмущений.
Элементы теории реализации динамических систем.
Консервативные динамические системы. Элементы теории бифуркации.
Основные виды нелинейностей в системах управления. Методы исследования поведения нелинейных систем.
Автоколебания нелинейных систем, отображение А. Пуанкаре, функция последования, диаграмма Ламеррея. Орбитальная устойчивость. Теоремы об устойчивости предельных циклов: Андронова—Витта, Кенигса. Существование предельных циклов: теоремы Бендиксона, Дюлока.
Дифференциаторы выхода динамической системы.
Гладкие нелинейные динамические системы на плоскости: анализ управляемости, наблюдаемости, стабилизируемости и синтез обратной связи.
Управление системами с последействием.
Классификация оптимальных систем. Задачи оптимизации. Принцип максимума Понтрягина. Динамическое программирование.
Управление сингулярно-возмущенными системами.
Н2- и Н? -стабилизация. Minimax-стабилизация.
Игровой подход к стабилизации. I1-оптимизация управления. Вибрационная стабилизация.
Эвристические методы стабилизации: нейросети, размытые множества, интеллектуальное управление.
5. Компьютерные технологии обработки информации Определение и общая классификация видов информационных технологий. Модели, методы и средства сбора, хранения, коммуникации и обработки информации с использованием компьютеров.
Программно-технические средства реализации современных офисных технологий. Стандарты пользовательских интерфейсов.
Создание и обработка текстовых файлов и документов с использованием текстовых редакторов и процессоров. Программные средства создания и обработки электронных таблиц.
Программные средства создания графических объектов, графические процессоры (векторная и растровая графика).
Понятие информационной системы, банки и базы данных. Логическая и физическая организация баз данных. Модели представления данных, архитектура и основные функции СУБД. Распределенные БД.
Принципиальные особенности и сравнительные характеристики файл-серверной, клиент-серверной и интранет технологий распределенной обработки данных.
Реляционный подход к организации БД. Базисные средства манипулирования реляционными данными.
Методы проектирования реляционных баз данных (нормализация, семантическое моделирование данных, ЕR-диаграммы).
Языки программирования в СУБД, их классификация и особенности. Стандартный язык баз данных SQL.
Перспективные концепции построения СУБД (ненормализованные реляционные БД, объектноориентированные базы данных и др.).
Основные сетевые концепции. Глобальные, территориальные и локальные сети. Проблемы стандартизации.
Сетевая модель OSI. Модели взаимодействия компьютеров в сети.
Среда передачи данных. Преобразование сообщений в электрические сигналы, их виды и параметры.
Проводные и беспроводные каналы передачи данных.
Локальные сети. Протоколы, базовые схемы пакетов сообщений и топологии локальных сетей. Сетевое оборудование ЛВС.
Глобальные сети. Основные понятия и определения. Сети с коммутацией пакетов и ячеек, схемотехника и протоколы. Принципы межсетевого взаимодействия и организации пользовательского доступа. Методы и средства защиты информации в сетях. Базовые технологии безопасности.
Сетевые операционные системы. Архитектура сетевой операционной системы: сетевые оболочки и встроенные средства. Обзор и сравнительный анализ популярных семейств сетевых ОС.
Принципы функционирования Internet, типовые информационные объекты и ресурсы. Ключевые аспекты WWW-технологии.
Адресация в сети Internet. Методы и средства поиска информации в Internet, информационно-поисковые системы.
Языки и средства программирования Internet приложений. Язык гипертекстовой разметки HTML, основные конструкции, средства подготовки гипертекста (редакторы и конверторы). Базовые понятия VRML.
Организация сценариев отображения и просмотра HTML документов с использованием объектноориентированных языков программирования.
Представление звука и изображения в компьютерных системах. Устройства ввода, обработки и вывода мультимедиа информации. Форматы представления звуковых и видеофайлов. Оцифровка и компрессия.
Программные средства записи, обработки и воспроизведения звуковых и видеофайлов. Мультимедиа в вычислительных сетях.
Основные разделы теории и приложений искусственного интеллекта. Описание и постановка задачи. Задачи в пространстве состояний, в пространстве целей. Классификация задач по степени сложности. Линейные алгоритмы. Полиномиальные алгоритмы. Экспоненциальные алгоритмы.
Виды и уровни знаний. Знания и данные. Факты и правила. Принципы организации знаний. Требования, предъявляемые к системам представления и обработки знаний. Формализмы, основанные на классической и математической логиках. Современные логики. Фреймы. Семантические сети и графы. Модели, основанные на прецедентах. Приобретение и формализация знаний. Пополнение знаний. Обобщение и классификация знаний. Логический вывод и умозаключение на знаниях. Проблемы и перспективы представления знаний.
Назначение и принципы построения экспертных систем. Классификация экспертных систем. Методология разработки экспертных систем. Этапы разработки экспертных систем. Проблемы и перспективы построения экспертных систем.
Вентцель Е.С. Исследование операций. Задачи, принципы, методология. М.: Наука, 1988.
Ларичев О.И. Теория и методы принятия решений. М.: Логос, 2000.
Мушик Э., Мюллер П. Методы принятия технических решений. М.: Мир, 1990.
Рыков А.С. Методы системного анализа: Многокритериальная и нечеткая оптимизация, моделирование и экспертные оценки. М.: Экономика, 1999.
Реклейтис Г., Рейвиндран А., Регсдел К. Оптимизация в технике. Т. 1, 2. М.: Мир, 1986.
Васильев Ф.П. Методы оптимизации. М.: Факториал Пресс, 2002.
Емельянов С.В., Коровин С.К. Новые типы обратной связи. Управление при неопределенности. М.: Наука, 1997.
Теория автоматического управления. Ч. 1 и 2 / Под ред. А.А. Воронова. М: Высшая школа, 1986.
Попов Е.Н. Теория нелинейных систем автоматического управления. М.: Наука, 1988.
Методы классической и современной теории автоматического управления: Учебник. В 3-х т. М.: Изд-во МГТУ, 2000.
Базы данных: Уч. для высших и средних специальных заведений / Под ред. А.Д. Хомоненко. СПб.: Корона принт-2000, 2000.
Гаврилова Т.А., Хорошевский В.Г. Базы знаний интеллектуальных систем. СПб.: Питер, 2000.
Ларичев О.И., Мошкович Е.М. Качественные методы принятия решений. М.: Наука, 1996.
Саати Т., Керыс К. Аналитическое планирование. Организация систем. М.: Радио и связь, 1991.
Воронов А.А. Введение в динамику сложных управляемых систем. М.: Наука, 1985.
Цыпкин Я.З. Основы теории автоматических систем. М.: Наука, 1977.