Приказ овнесении изменений в приказ от 19 марта 2008г., №395
| Вид материала | Документы |
- Приказ овнесении изменений в приказ от 19 марта 2008г., №395, 699.48kb.
- Приказ № г. Сыктывкар Овнесении изменений в Положение о стипендиальном обеспечении, 13.72kb.
- Приказ г. Липецк 19 декабря 2010 г. №556 0 Овнесении изменений в приказ, 162.69kb.
- Приказ 19 января 2012 г. №12 Биробиджан Овнесении изменений в приказ офмс россии, 30.24kb.
- Приказ 30. 07. 2010 №84н Овнесении изменений в приказ Министерства финансов Российской, 37.33kb.
- Приказ г. Челябинск от «03» 12. 2010 г. №1593 Овнесении изменений в приказ Минздрава, 21.23kb.
- Приказ г. Москва 18. 03. 2011 №144 Овнесении изменений в приказ Росприроднадзора, 42.12kb.
- Приказ Министерства Финансов РФ 2 февраля 2009, 12.59kb.
- Приказ МинФин РФ №147н от 25. 12. 2007, внесший изменения в пбу 3/2006. 6 Приказ МинФина, 489.37kb.
- Приказ Федеральной налоговой службы от 29 января 2008 г. N мм-3-06/27 "О внесении изменений, 281.32kb.
Паспорт научной специальности
05.02.23 "Стандартизация и управление качеством продукции"
Технические науки
Формула специальности
"Стандартизация и управление качеством продукции" – специальность, занимающаяся исследованием проблем гармоничного развития производства проукции во всех отраслях науки, техники и производства и сферах услуг с целью обеспечения охраны окружающей среды, защиты интересов потребителей, безопасности жизнедеятельности общества и конкурентоспособности товаров и услуг на мировом рынке.
Содержанием специальности 05.02.23 – "Стандартизация и управление качеством продукции" являются: создание и развитие научно-технической терминологии, организационно-технических и методических основ стандартизации, сертификации и управления качеством продукции в рыночных условиях и исследование совместимости, взаимозаменяемости, используемости и безопасности товаров и услуг на ос-нове современных математических методов управления, информационных и инновационных технологий;
разработка путей повышения результативности (экономичности, ресурсосбережения, прибыльности, производительности, действенности, безопасности трудовой деятельности и продукции и др.) технологи-ческих систем производства на основе принципа сквозного интегрированного управления качеством и требований систем международных стандартов ISO (International Organization for Standardization) и поло-жений ТQМ (Total Quality Management).
- разработка систем качества, управления информационными потоками и ресурсами, систем аккре-дитации испытательных центров и лабораторий в различных отраслях экономики;
- разработка механизмов управления процессами контроля и испытаний при оценке погрешностей измерения в условиях неопределенности и обработки многомерной информации;
разработка систем метрологического обеспечения производства, ориентированных на методы системного анализа
Область исследования:
Математические и информационные модели, методы анализа, синтеза и оптимизации состояния и динами-ки качества объектов и услуг.
Теоретические и прикладные проблемы стандартизации, сертификации и управления качеством на различ-ных стадиях жизненного цикла объектов и услуг.
Теоретические и прикладные проблемы квалиметрии, в том числе методы определения уровни качества объекта и услуги, методики определения и комплексирования показателей качества.
Методы стандартизации и управления качеством в САLS - технологиях и автоматизированных системах производства.
Совершенствование направлений сертификации товаров и услуг, систем качества, производств.
Основные положения и содержание Всеобщего Управления Качеством (ТQМ).
Теоретические и прикладные проблемы автоматизации и информатизации управления объектами и процессами на основе системы стандартизации и управления качеством.
Теоретические и прикладные проблемы создания и развития экспертных систем в области технического регулирования и метрологии.
Теоретические и прикладные проблемы совершенствования связей взаимодействия системы (постав-щик - разработчик - изготовитель - субъект по стандартизации и метрологии - субъект по сертификации) при сквозном интегрированном управлении качеством с целью максимизации результативности.
Теория взаимозаменяемости, включая методы оптимизации принятия проектных решений, расчета пара-метрических цепей, оценивания качества взаимозаменяемых изделий.
Смежные специальности:
05.02.22 – "Организация производства".
05.02.01- Материаловедение (по отраслям)
05.11.15 – "Метрология и метрологическое обеспечение".
05.11.13 - Приборы и методы контроля природной среды, веществ, материалов и изделий
05.11.16 – Информационно-измерительные и управляющие системы (по отраслям).
05.13.01 – Системный анализ, управление и обработка информации (по отраслям)
05.13.06 - Автоматизация и управление технологическими процессами и производствами (по отраслям)
05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компью-
терных сетей
05.13.12 – Системы автоматизации проектирования (по отраслям)
ПАСПОРТ СПЕЦИАЛЬНОСТИ
05.13.11 – «Математическое и программное обеспечение вычислительных машин,
комплексов и компьютерных сетей»
Отрасли науки: физико-математические и технические
Технические науки (в случае преобладания вопросов реализации технических аспектов). Физико-математи-ческие науки (в случае преобладания вопросов исследования математических аспектов).
II. Формула специальности
Специальность 05.13.11 - «Математическое и программное обеспечение
вычислительных машин, комплексов и компьютерных сетей» - специальность, занимающаяся разработкой и применением методов программирования, моделей, алгоритмов, программ и программных комплексов с целью повышения эффективности процессов программирования и функционирования, включая защиту ресурсов, вычислительных машин, комплексов и компьютерных сетей.
III. Область исследований
Разработка и развитие научных (концептуальных, математических) основ, принципов и методов техноло-гии программирования.
Разработка и развитие научных основ, принципов, методов и программных систем управления базами данных и знаний.
Разработка и развитие научных основ, принципов, методов и систем автоматизации программирования, автоматизированного проектирования, отладки и верификации программ.
Разработка и исследования языков программирования, языков спецификации и их реализации, естествен-ных языков и их программных реализаций, перевода с одного языка на другой, анализа и синтеза речи.
Разработка и развитие научных основ, методов и программных средств управления ресурсами и функцио-нированием (операционных систем) вычислительных машин, комплексов и компьютерных сетей.
Разработка и развитие научных основ, методов организации и функционирования, включая обеспечение безопасности, программного обеспечения информационных и автоматизированных систем, прикладных программных систем в локальных и глобальных компьютерных сетях.
Разработка и развитие научных основ, методов организации и функционирования систем реального времени, программного управления системами коллективного доступа и интерактивными системами.
IV. Шифры и наименования смежных специальностей
05.13.01 – «Системный анализ, управление и обработка информации».
05.13.12 – «Системы автоматизации проектирования (по отраслям)».
05.13.15 – «Вычислительные машины и системы».
05.13.17 – «Теоретические основы информатики».
05.13.19 – «Методы и системы защиты информации, информационная безопасность».
V. Разграничения со смежными специальностями
Работы с преобладанием системных аспектов управления при разработке систем обработки информации – специальность 05.13.01 – «Системный анализ, управление и обработка информации».
Работы, в которых предлагаемые методы, математические модели и алгоритмы нацелены на проектирова-ние других классов систем и объектов, относятся к специальности 05.13.12 – «Системы автоматизации проектирования (по отраслям)».
Работы с преобладанием технических аспектов вычислительных машин, комплексов и сетей – специаль-ность 05.13.15 – «Вычислительные машины и системы».
Работы с преобладанием математических аспектов информации, алгоритмов и программ – специальность 05.13.17 – «Теоретические основы информатики».
Работы с преобладанием технических, нормативно-правовых и организационных аспектов защиты инфор-мации – специальность 05.13.19 – «Методы и системы защиты информации, информационная безопасность».
ПРОГРАММА-МИНИМУМ
кандидатского экзамена по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»
по физико-математическим и техническим наукам
Введение
В основу настоящей программы положены следующие дисциплины: математические основы программ-мирования; вычислительные машины, системы и сети; языки и системы программирования; технология разработки программного обеспечения; операционные системы; методы хранения и доступа к данным, организация баз данных и знаний; защита данных и программных систем.
1. Математические основы программирования
Понятие алгоритма и его уточнения: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции. Эквивалентность данных формальных моделей алгоритмов. Понятие об алгоритмической неразрешимости. Примеры алгоритмически неразрешимых проблем.
Понятие сложности алгоритмов. Классы P и NP. Полиномиальная сводимость задач. Теорема Кука об NP-полноте задачи выполнимости булевой формулы. Примеры NP-полных задач, подходы к их решению. Точные и приближенные комбинаторные алгоритмы.
Примеры эффективных (полиномиальных) алгоритмов: быстрые алгоритмы поиска и сортировки; полиномиальные алгоритмы для задач на графах и сетях (поиск в глубину и ширину, о минимальном остове, о кратчайшем пути, о назначениях).
Автоматы. Эксперименты с автоматами. Алгебры регулярных выражений. Теорема Клини о регулярных языках.
Алгебра логики. Булевы функции, канонические формы задания булевых функций. Понятие полной системы. Критерий полноты Поста. Минимизация булевых функций в классах нормальных форм.
Исчисление предикатов первого порядка. Понятие интерпретации. Выполнимость и общезначимость фор-мулы первого порядка. Понятие модели. Теорема о полноте исчисления предикатов первого порядка.
Отношения и функции. Отношение эквивалентности и разбиения. Фактор множества. Отношения частич-ного порядка. Теоретико-множественное и алгебраическое определения решетки, их эквивалентность. Свойства решеток. Булевы решетки. Полные решетки.
Формальные языки и способы их описания. Классификация формальных грамматик. Их использование в лексическом и синтаксическом анализе.
?-исчисление, правила редукции, единственность нормальной формы и правила ее достижения, представ-ление рекурсивных функций.
Основы комбинаторного анализа. Метод производящих функций, метод включений и исключений. Примеры применения.
Коды с исправлением ошибок. Алфавитное кодирование. Методы сжатия информации.
Основы криптографии. Задачи обеспечения конфиденциальности и целостности информации. Теоретико-информационный и теоретико-сложностный подходы к определению криптографической стойкости. Американский стандарт шифрования DES и российский стандарт шифрования данных ГОСТ 28147-89. Системы шифрования с открытым ключом (RSA). Цифровая подпись. Методы генерации и распределения ключей.
2. Вычислительные машины, системы и сети
Архитектура современных компьютеров. Организации памяти и архитектура процессора современных вы-числительных машин. Страничная и сегментная организация виртуальной памяти. Кэш-память. Командный и арифметический конвейеры, параллельное выполнение независимых команд, векторные команды. Специализированные процессоры. Машины, обеспечивающие выполнение вычислений, управляемых пото-ком данных. Организация ввода-вывода, каналы и процессоры ввода-вывода, устройства сопряжения с об-ъектами.
Классификация вычислительных систем (ВС) по способу организации параллельной обработки. Многопроцессорные и многомашинные комплексы. Вычислительные кластеры. Проблемно-ориентирован-ные параллельные структуры: матричные ВС, систолические структуры, нейросети.
Назначение, архитектура и принципы построения информационно – вычислительных сетей (ИВС). Локальные и глобальные ИВС, технические и программные средства объединения различных сетей.
Методы и средства передачи данных в ИВС, протоколы передачи данных.
Особенности архитектуры локальных сетей (Ethernet, Token Ring, FDDI).
Сеть Internet, доменная организация, семейство протоколов TCP/IP. Информационно-вычислительные сети и распределенная обработка информации.
3. Языки и системы программирования.
Технология разработки программного обеспечения
Языки программирования. Процедурные языки программирования (Фортран, Си), Функциональные языки программирования (Лисп), логическое программирование (Пролог), объектно-ориентированные языки программирования (Ява).
Процедурные языки программирования. Основные управляющие конструкции, структура программы. Работа с данными: переменные и константы, типы данных (булевский, целочисленные, плавающие, символьные, типы диапазона и перечисления, указатели), структуры данных (массивы и записи). Процедуры (функции): вызов процедур, передача параметров (по ссылке, по значению, по результату), локализация переменных, побочные эффекты. Обработка исключительных ситуаций. Библиотеки процедур и их использование.
Объектно-ориентированное программирование. Классы и объекты, наследование, интерфейсы. Понятие об объектном окружении. Рефлексия. Библиотеки классов. Средства обработки объектов (контейнеры и итераторы).
Распределенное программирование. Процессы и их синхронизация. Семафоры, мониторы Хоара. Объектно-ориентированное распределенное программирование. CORBA. Параллельное программирование над общей памятью. Нити. Стандартный интерфейс Open MP. Распараллеливание последовательных программ. Параллельное программирование над распределенной памятью. Парадигмы SPMD и MIMD. Стандартный интерфейс MPI.
Основы построения трансляторов. Структура оптимизирующего транслятора. Промежуточные представления программы: последовательность символов, последовательность лексем, синтаксическое дерево, абстрактное синтаксическое дерево. Уровни промежуточного представления: высокий, средний, низкий. Формы промежуточного представления.
Анализ исходной программы в компиляторе. Автоматные (регулярные) грамматики и сканирование, контекстно свободные грамматики и синтаксический анализ, организация таблицы символов программы, имеющей блочную структуру, хеш-функции. Нисходящие (LL(1)-грамматики) и восходящие (LR(1)-грамматики) методы синтаксического анализа. Атрибутные грамматики и семантические программы, построение абстрактного синтаксического дерева. Автоматическое построение лексических и синтаксических анализаторов по формальным описаниям грамматик. Системы lex и yacc. Система Gentle.
Оптимизация программ при их компиляции. Оптимизация базовых блоков, чистка циклов. Анализ графов потока управления и потока данных. Отношение доминирования и его свойства, построение границы области доминирования вершины, выделение сильно связанных компонент графа. Построение графа зависимостей. Перевод программы в SSA-представление и обратно. Глобальная и межпроцедурная оптимизация.
Генерация объектного кода в компиляторах. Перенастраиваемые (retargetable) компиляторы, gcc (набор компиляторов Gnu). Переработка термов (term rewriting). Применение оптимизационных эвристик (целочисленное программирование, динамическое программирование) для автоматической генерации генераторов объектного кода (системы BEG, Iburg и др.).
Машинно-ориентированные языки, язык ассемблера. Представление машинных команд и констант. Команды транслятору. Их типы, принципы реализации. Макросредства, макровызовы, языки макроопределений, условная макрогенерация, принципы реализации.
Системы программирования (СП), типовые компоненты СП: языки, трансляторы, редакторы связей, отладчики, текстовые редакторы. Модульное программирование. Типы модулей. Связывание модулей по управлению и данным.
Пакеты прикладных программ (ППП). Системная часть и наполнение. Языки общения с ППП. Машинная графика. Средства поддержки машинной графики. Графические пакеты.
Технология разработки и сопровождения программ. Жизненный цикл программы. Этапы разработки, степень и пути их автоматизации. Обратная инженерия. Декомпозиционные и сборочные технологии, механизмы наследования, инкапсуляции, задания типов. Модули, взаимодействие между модулями, иерархические структуры программ.
Отладка, тестирование, верификация и оценивание сложности программ. Генерация тестов. Системы генерации тестов. Срезы программ (slice, chop) и их применение при отладке программ и для генерации тестов.
Методы спецификации программ. Методы проверки спецификации. Схемное, структурное, визуальное программирование. Разработка пользовательского интерфейса, стандарт CUA, мультимедийные среды интерфейсного взаимодействия.
4. Операционные системы
Режимы функционирования вычислительных систем, структура и функции операционных систем. Основные блоки и модули. Основные средства аппаратной поддержки функций операционных систем (ОС): система прерываний, защита памяти, механизмы преобразования адресов в системах виртуальной памяти, управление каналами и периферийными устройствами.
Виды процессов и управления ими в современных ОС. Представление процессов, их контексты, иерархии порождения, состояния и взаимодействие. Многозадачный (многопрограммный) режим работы. Команды управления процессами. Средства взаимодействия процессов. Модель клиент-сервер и ее реализация в современных ОС.
Параллельные процессы, схемы порождения и управления. Организация взаимодействия между параллельными и асинхронными процессами: обмен сообщениями, организация почтовых ящиков. Критические участки, примитивы взаимоисключения процессов, семафоры Дейкстры и их расширения. Проблема тупиков при асинхронном выполнении процессов, алгоритмы обнаружения и предотвращения тупиков.
Операционные средства управления процессами при их реализации на параллельных и распределенных вычислительных системах и сетях: стандарты и программные средства PVM, MPI, OpenMP, POSIX .
Одноуровневые и многоуровневые дисциплины циклического обслуживания процессов на центральном процессоре, выбор кванта.
Управление доступом к данным. Файловая система, организация, распределение дисковой памяти. Управление обменом данными между дисковой и оперативной памятью. Рабочее множество страниц (сегментов) программы, алгоритмы его определения.
Управление внешними устройствами.
Оптимизация многозадачной работы компьютеров. Операционные системы Windows, Unix, Linux. Особенности организации, предоставляемые услуги пользовательского взаимодействия.
Операционные средства управления сетями. Эталонная модель взаимодействия открытых систем ISO/OSI. Маршрутизация и управление потоками данных в сети. Локальные и глобальные сети. Сетевые ОС, модель клиент — сервер, средства управления сетями в ОС UNIX, Windows NT. Семейство протоколов TCP/IP, структура и типы IP-адресов, доменная адресация в Internet. Транспортные протоколы TCP, UDP .
Удаленный доступ к ресурсам сети. Организация электронной почты, телеконференций. Протоколы передачи файлов FTP и HTTP, язык разметки гипертекста HTML, разработка WEB-страниц, WWW-серверы.
5. Методы хранения данных и доступа к ним
Организация баз данных и знаний
Концепция типа данных. Абстрактные типы данных. Объекты (основные свойства и отличительные признаки).
Основные структуры данных, алгоритмы обработки и поиска. Сравнительная характеристика методов хранения и поиска данных.
Основные понятия реляционной и объектной моделей данных.
Теоретические основы реляционной модели данных (РДМ). Реляционная алгебра, реляционное исчисление. Функциональные зависимости и нормализация отношений.
CASE-средства и их использование при проектировании базы данных (БД).
Организация и проектирование физического уровня БД. Методы индексирования.
Обобщенная архитектура, состав и функции системы управления базой данных (СУБД). Характеристика современных технологий БД. Примеры соответствующих СУБД.
Основные принципы управления транзакциями, журнализацией и восстановлением.
Язык баз данных SQL. Средства определения и изменения схемы БД, определения ограничений целостности. Контроль доступа. Средства манипулирования данными.
Стандарты языков SQL. Интерактивный, встроенный, динамический SQL.
Основные понятия технологии клиент—сервер. Характеристика SQL-сервера и клиента. Сетевое взаимодействие клиента и сервера.
Информационно-поисковые системы. Классификация. Методы реализации и ускорения поиска.
Методы представления знаний: процедурные представления, логические представления, семантические сети, фреймы, системы продукций. Интегрированные методы представления знаний. Языки представления знаний. Базы знаний.
Экспертные системы (ЭС). Области применения ЭС. Архитектура ЭС. Механизмы вывода, подсистемы объяснения, общения, приобретения знаний ЭС. Жизненный цикл экспертной системы. Примеры конкретных ЭС.
6. Защита данных и программных систем
Аппаратные и программные методы защиты данных и программ. Защита данных и программ с помощью шифрования.
Защита от несанкционированного доступа в OC Windows NT. Система безопасности и разграничения доступа к ресурсам в Windows NT. Файловая система NFTS и сервисы Windows NT.
Защита от несанкционированного копирования. Методы простановки некопируемых меток, настройка устанавливаемой программы на конкретный компьютер, настройка на конфигурацию оборудования.
Защита от разрушающих программных воздействий. Вредоносные программы и их классификация. Загрузочные и файловые вирусы, программы-закладки. Методы обнаружения и удаления вирусов, восстановления программного обеспечения.
Защита информации в вычислительных сетях Novell Netware, Windows NT и др.
Основная литература
Ахо, Сети Р., Ульман Дж. Компиляторы: принципы, техника реализации и инструменты. М., 2001.
Введение в криптографию / Под ред. В.В. Ященко. СПб.: МЦНМО, 2001.
Дейт К.Дж. Введение в системы баз данных. М.: Вильямс, 1999.
Дейтел Г. Введение в операционные системы. М.: Мир, 1987.
Кнут Д. Искусство программирования. Т. 1 – 3. М., СПб., Киев: ИД «Вильямс», 2000.
Когаловский М.Р. Энциклопедия технологий баз данных. М.: Финансы и статистика, 2002.
Компьютерные сети. Учебный курс Microsoft Corporation, 1997.
Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы, построение и анализ. М.: МЦНМО, 2000.
Котов В.Е., Сабельфельд В.К. Теория схем программ. М.: Наука, 1991.
Матфик С. Механизмы защиты в сетях ЭВМ. М.: Мир, 1993.
Мельников В.В. Защита информации в компьютерных системах. М.: Финансы и статистика, 1997.
Яблонский С.В. Введение в дискретную математику. М.: Наука, 2001.
Дополнительная литература
Керниган Б., Пайк П. UNIX – универсальная среда программирования. М.: Финансы и статистика, 1992.
Корнеев В.В. Параллельные вычислительные системы. М.: Нолидж, 1999.
Королёв Л.Н. Структуры ЭВМ и их математическое обеспечение. М.: Наука, 1980.
Соломон Д., Руссинович М. Внутреннее устройство Microsoft Windows 2000. СПб.: Питер, 2001.