Реферат: Приказ овнесении изменений в приказ от 19 марта 2008г., №395

Қазақстан Республикасы

Білім және Ғылым министрлігі


Білім және ғылым саласындағы

бақылау комитеті

БҰЙРЫҚ

Министерство Образования и науки

Республики Казахстан


Комитет по контролю в сфере образования и

науки

ПРИКАЗ


О внесении изменений в

приказ от 19 марта 2008г., № 395


На оснований ходатайства Евразийского национального университета им. Л.Н. Гумилева и реко-мендации управления аттестации научных и научно-педагогических кадров от 16 сентября 2008 года ПРИКАЗЫВАЮ:

1. Возобнавить деятельность диссертационного совета Д. 14.61.01 при Евразийском национальном университете им. Л.Н. Гумилева по приему к защите диссертаций по специальностям:

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

05.02.23 – Стандартизация и управление качеством продукции.

2. Утвердить следующий состав диссертационного совета Д. 14.61.01:


1. Шарипбаев Алтынбек Амирович

(председатель)

доктор технических наук, профессор кафедры Евразий-ского национального университета им. Л.Н. Гумилева, 05.13.11

2. Байбеков Сейдикасым Ниязбекович

(заместитель председателя)

доктор технических наук, ведущий научный сотрудник Евразийского национального уни-верситета им. Л.Н. Гумилева, 05.02.23

3. Ниязбекова Римма Калманбаевна

(ученый секретарь)

доктор технических наук, 05.02.23

4. Баймухамбетов Малик Файзулович

доктор технических наук, 05.13.11 (по трудам)

5. Боранбаев Сейлхан Нарбутинович

доктор технических наук, 05.13.11

6. Гаценко Николай Антонович

доктор технических наук, 05.02.23, (по трудам)

7. Дюсембаев Ануар Ермуканович

доктор технических наук, 05.13.11, (по трудам)

8. Зейнуллин Абдыкарим Абджаллилович

доктор технических наук, 05.02.23, (по трудам)

9. Канаев Амангельды Токешевич

доктор технических наук, 05.02.23

10. Оспанова Мира Шалтаевна

доктор технических наук, 05.02.23

11. Садыков Аскарбек Амиркулович

доктор технических наук, 05.13.11

12. Усембаева Жибек Калиевна

доктор технических наук, 05.02.23, (по трудам)

13. Ускенбаева Раиса Кабиевна

доктор технических наук, 05.13.11

14. Адамов Абилмажин Алирахымович

доктор технических наук, 05.13.11, (по трудам), (введен, пр. № 225, от 3.03 2009г.)


3. Установить срок полномочий диссертационного совета Д 14.61.01 до 31 декабря 2010 года.

4. Данный приказ вступает в силу со дня подписания.


Председатель Н. Калабаев

СВЕДЕНИЕ

о членах диссертационного совета по защите диссертаций

на соискание ученой степени доктора и кандидата технических наук по специальностям

05.13.11 - « Математическое и программное обеспечение вычислительных

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

^ 05.02.23 – «Стандартизация и управление качеством продукции»

при Евразийском национальном университете им. Л.Н. Гумилева

Министерства образования и науки РК

^ 010008, ул. Мунайтпасова, 5, тел.: (7172) 35-38-08, e-mail: rimma.n60@mail.ru

№№

^ Фамилия, имя, отчество

Год рождения, национальность, гражданство

Место

основной

работы,

должность

Ученая степень (шифр специальности по которой защище-на диссертация)

Шифр специальности в совете

^ Основные работы





По авто

ре

ферату

По

тру-

дам

По смежной спец.




1

2

3

4

5

6

7




1

Адамов

Абильмажин

Алиаскарович

1953,

Қазах, РК

ЕНУ им. Л.Н.Гумилева

(г. Астана),

зав. кафедрой информационных систем


Доктор технических наук, 05.13.11-Математическое и программное обеспечение ВМ,комплексов и комппью-терных сетей

05.13.11

Рысбайулы Б., Адамов А.А. Исследование причин возникновения пучин в дистанциях пути Казахстана и создание АРМ «Пучина - геотекстиль» // Региональный вестник Востока. – Усть-Каменогорск, 2003. –№3 (19). – С. 78-82.

Рысбайулы Б., Адамов А.А. Устойчивость и сходимость приближенного решения одномерного уравнения задач возникновения пучин на железнодорожном пути // ДАН РК – 2004г. – №4 – С. 5-8.

Рысбайулы Б., Адамов А.А. Сходимость разностной схемы для решения задачи определения причин возникновения пучин в дистанциях пути Казахстана // Материалы 1-ой международной научно-практической конференции «Информатизация общества», ЕНУ им.Л.Н. Гумилева. – Астана, 2004. – С. 197.

Шарипбаев А.А., Адамов А.А.. Об электронном словаре нефтяных морских терминов // Материалы 1-ой международной научно-практической конференции «Информатизация общества», ЕНУ им. Л.Н. Гумилева. – Астана, 2004. – С. 350.

Рысбайулы Б., Адамов А.А. Сходимость приближенного метода расчета промерзания грунтов земельного полотна // Вестник НАН РК – город,2005. –№4. – С. 54-57.







Рысбайулы Б., Адамов А.А. Исследование причин возникновения пучин в дистанциях пути Казахстана и создание АРМ «Пучина - геотекстиль» // Региональный вестник Востока. – Усть-Каменогорск, 2003. –№3 (19). – С. 78-82.

Рысбайулы Б., Адамов А.А. Устойчивость и сходимость приближенного решения одномерного уравнения задач возникновения пучин на железнодорожном пути // ДАН РК – 2004г. – №4 – С. 5-8.

Рысбайулы Б., Адамов А.А. Сходимость разностной схемы для решения задачи определения причин возникновения пучин в дистанциях пути Казахстана // Материалы 1-ой международной научно-практической конференции «Информатизация общества», ЕНУ им.Л.Н. Гумилева. – Астана, 2004. – С. 197.

Шарипбаев А.А., Адамов А.А.. Об электронном словаре нефтяных морских терминов // Материалы 1-ой международной научно-практической конференции «Информатизация общества», ЕНУ им. Л.Н. Гумилева. – Астана, 2004. – С. 350.

Рысбайулы Б., Адамов А.А. Сходимость приближенного метода расчета промерзания грунтов земельного полотна // Вестник НАН РК – город,2005. –№4. – С. 54-57.




2

Байбеков Сейдикасым Ниязбекович

(зам.председа

теля)

1955,

казах,

РК

ВНС ЕНУ им. Л.Н. Гумилева

(г. Астана),

профессор


Доктор технических наук,

05.13.01-

систем-ный

анализ и

обработка

информа-ции

05.02.

23







1.А.С.№1751264 «Устройство для измерения объема и скорости инфильтрации воды в почву»

2.Сертификат ЮСАИД –Корпорации «Прагма» - «Практика проведения оценки лаборатории на месте», 1999.

3.Байбеков С.Н. Единица измерения позиции избирателей.//Вестник НАН РК.-Алматы.- 2004. №6.С180-186.

4. Байбеков С Моделирование выборов президента КР: анализ и прогноз явки избирателей. // Материалы 5-й республиканской научно-теоретической конференции института философии и права НАНРК. – Бишкек. – 2002. – с. 425-428.

5.Байбеков С. Алгоритмы прогнозирования итогов предстоящих всенародных выборов. // Экономика и статистика. – Бишкек. – 2001. №4. с. – 16-25.

3.Байбеков С. Анализ итогов выборов президента Кыргызской Республики 2000г. и их сравнение с результатами прогнозирования. // Экономический вестник. – Бишкек – 2002. - №1. с. 30-47.

6.Байбеков С.Н. Моделирование секторального разделения между прибрежными государствами методом береговой линии. // Труды Каспийской международной конференции по геоэкологии и геотехнике. – Баку – 2003г. – с. 16-21.




3

Баймухамедов Малик Файзулович

1947

казах,

РК

Костанай-

ский социально-техничес-кий университет

(г.Костанай) проректор по науке 

Доктор технических наук, 05.13.05.

Автоматизация

системы

перера-

ботки

информа-

ции и

управле-ния





05.13.11




1.Баймухамедов М.Ф.Вебер С.В. Использование нейронных сетей для классификации обучаемых в адаптивных автоматизированных обучающих системах. // Материалы международной конференции «Развитие информационных технологий в высшей школе», КазНУ им. Аль-Фараби, 11-12 сентября 2003г. - с. 46-50.

2.Баймухамедов М.Ф. Концепция развивающегося объекта при построении информационной системы управления вузом (ИСУВ). // Материалы 1-ой Международной научно-практической конференции «Информатизация общества», Евразийский национальный университет имени Л.Н.Гумилева, г. Астана, 2004г. – с. 120-122.

3.Баймухамедов М.Ф. Математические модели процесса принятия решения при управлении образовательными системами. // Материалы XLII научно-технической конференции, Челябинск, 2003. с. 27-31.

4.Баймухамедов М.Ф. Об одном подходе оценк качества подготовки специалистов, основанном на решении многокритериальных задач.- Межвузовский вестник 2004г. №1.- с. 68-73.




4

Боранбаев

Сейлхан

Нарбутинович

1953,

казах,

РК

ЕНУ им. Л.Н.Гумилева

(г. Астана),

. кафедра

информационных систем


Доктор технических наук, 05.13.11-Математическое и программное обеспечение ВМ,комплексов и комппью-терных сетей

05.13.11







1.Боранбаев С.Н. Разработка методов определения параметров математической модели // Доклады национальной академии наук Республики Казахстан, 2007. №3.

2.Боранбаев С.Н. Методы решения оптимизационных проблем распределения ресурсов// Доклады национальной академии наук Республики Казахстан, 2006. №3.

3.Боранбаев С.Н. Оптимизационные задачи распределения ресурсов// Вестник национальной академии наук Республики Казахстан, 2006. №3.

4.Боранбаев С.Н. Математические модели распределения ресурсов. Астана: Елорда, 2006. -216 с.

5.Боранбаев С.Н. Теория информационных систем. Астана: Елорда, 2006. -212 с.





5

Гаценко Николай Антонович

1946, украинец,

РК

ЕНУ имени Л.Н.Гумилева

(г. Астана),

профессор кафедры

«Инженер-ные коммуника-ции»


Доктор технических наук,

05.09.03 -

Электро-техничес-кие комп-лексы и системы

05.02.23








1. Исследование вредных выбросов на предприятиях стройиндустрии, Астана, Изд-во ЕНУ им. Л.Н. Гумилева 2007. 179 с.

2. Основные направления ресурсосбережения в технологических процессах на предприятиях стройиндустрии, Москва, 1994, РИК, 107 с.

3. Исследование газообразных выбросов печей керамзитобетонного завода, Астана, изд-во ЕНУ им. Л.Н. Гумилева 2006. 72 с.

4. Ресурсосбережение на предприятиях стройтельной индустрии, Москва, 1993, 290с.

5. Құрылыс индустриясы кәсіпорындарының технологиялық процестеріндегі ресурстарды үнемдеудің негізгі бағыттары Астана, изд-во ЕНУ им. Л.Н. Гумилева 2007. 89 с.






6

Дюсембаев Ануар Ермуканович

1953,

казах,

РК

КазНУ им. Аль-Фараби

(г. Алматы)

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

Доктор физ.-мат. наук, 05.13.17







05.

13

.11

1. Дюсембаев А.Е.Extention of Fuzzy Newral Networks Simulation on Zhuravlev’s operator prototype // 4 ECM, Coll. Of Abstracts (4 Европейский математический конгресс), June 2004.

2. Дюсембаев А.Е., Khedr Wael Mohammed. One approach for fuzzy Classification Using Fuzzy Clustering Analysis.- Доклады НАН РК. – 2004. - стр.112-119

3. Дюсембаев А.Е., Khedr Wael Mohammed. A new training approach to some class of neural networks for classification problem - Доклады НАН РК - 2004.

4. Дюсембаев А.Е. Архитектура Компьютеров – Издательство: ТОО ''Print-S'' - Алматы 2004г. - 111стр.

5. Дюсембаев А.Е. Математические модели сегментации программ. - Москва: ФИЗМАТЛИТ "НАУКА", "Библиотечка программиста" - 2001г. – 208 с.




7

Зейнуллин Абдыкарим Абжаллилович

1951,

казах,

РК

АО «Казахтон-нель»

Доктор технических наук,

05.15.02.-Подзем-ная разработ-ка месторождений полезных ископае-мых




05.02.23




1. Зейнуллин А.А. Технология подземной добычи со стабилизацией качества руд. – Вестник Жезказганского университета..-2000. –С.33-36

2.Зейнуллин А.А., Игисинов Ж. Исследование усреднительной способности подземного штабельного склада. –Материалы НТК. -,Жезказган, 1999, С..326=329

3. Зейнуллин А.А., Игисинов Ж.Т. Управление качеством при подземной добыче руд.- Учебное пособие,1998.-109 с.

4. Зейнуллин А.А., Кулнияз С.С. Основные принципы повышения качества добываемой руды открытым способом. – Вестник Жезказганского университета, 2002, №2.-С.133=136.

5. Зейнуллин А.А.. Игисинов Ж.Т.,Достанбеков К.К. Основные положения технологии подземной добычи с предконцентрацией рудной массы. – Труды МНК .- Караганда, 1997.- С.141-143




8

Канаев Амангельды Токешевич

1941, казах,

РК

ЕНУ имени Л.Н.Гумилева (г. Астана),

зав. кафедрой

«Стандартизация и сертификация»

Доктор технических наук, 05.16.01 –

Металловедение и термическая обработка металлов

05.02.23

05.

02.

23




1.Рекомендации по разработке и применению систем менеджмента качества и управления окружающей средой. ISBN 9965-13-739-0, Астана, 2002, 69с.

2. Анализ проблем, возникающих при применении международных стандартов серии 9000 и 14000 на предприятиях энергетики Республики Казахстан и пути их

решения. ISBN 9965-13-737-4, Астана, 2002, 48с.

3. Основы квалиметрии, изд-во «Арман-ТВ», Павлодар, 2007 г., 308 с.

4. Технология термической обработки металлических материалов, изд-во «Арман-ТВ», Павлодар, 2007 г., 388 с.

5. Статистические методы в управлении качеством. Сборник материалов Республиканской научно-практической конференции «Стандарты объединяют мир», Астана, 2004, стр.18-26




9

Ниязбекова Римма Калманбаевна

(ученый секретарь)

1960.

казашка,

РК

ЕНУ имени Л.Н.Гумилева (г. Астана),

профессор кафедры

«Стандарти-зация и сертифика-

ция»

Доктор технических наук,

05.17.11-

Техноло-

гия туго-

плавких,

неметал. и сили-

катных

материа

лов

05.02.23

05.

02.

23




1.Ниязбекова Р.К. и др. Управление качеством производств. – Электронное учебное пособие.- ЕНУ им.Л.Н.Гумилева, Астана, 2007

2. Ниязбекова Р.К. Өнім сапасын қамтамасыз ету және технологиялық процесстерді басқару: - Л.Н.Гумилев атындагы ЕҰУ, Астана,2006.- 122с.

3. Контроль качества цемента и материалов на его основе. – ЕНУ им.Л.Н.Гумиева, Астана, 2006г.- 109 с.

4..Ниязбекова Р.К., Способы повышения прочности материалов на основе цемента и минеральных волокон.- Строительные и отделочные материалы. Стандарты ХХ1 века: труды ХШ Международного семинара Азиатско-Тихоокеанской академии материалов.-Новосибирск, 2006.Т.1.-С.93-95.

5. .Ниязбекова Р.К. Исследование свойств строительных растворов, содержащих волластонитовые руды. - Техника и технология силикатов: международный журнал.- Москва, 2005. №3-4.- С.11-14




10

Оспанова Мира Шалтаевна

1951, казашка РК

Акмолин-

ский университет технологии и бизнеса

(г. Астана), зав.кафед-

рой «Техноло гия изнеса и стандартизация»

Доктор технических наук, 05.23.05 –

Строи-

тельные

материа-лы и

изделия

05.02.23

05.

02.

23




1. Разработка технологии и изучение физико-механических свойств шлакосеробетонов. Журнал: Строительство и архитектура.-Известия ВУЗов, - Новосибирск,- №5,- 1987,-С.58-62

2. Исследование коррозионной стойкости шлакосеробетона. Журнал: Строительство и архитектура.-Известия ВУЗов, - Новосибирск,- №6, 1989, С.60-63

3. Эффективность стабилизации полимерной модификации серы в строительных композициях. Строительство.-Новосибирск, - 2002- 1-2- С.59-60.

4. Применение отходов химической промышленности для изготовления серных мастик. Строительство.-Новосибирск, - 2002.- №3 – С.45-47.

5. Использование серы в технологии сероасфальтовых бетонов. Журнал – Строительство и архитектура, НГАСА, г.Новосибирск, 2007, №1, с.50-55




11

Садыков

Аскарбек

Амиркулович

1954,

казах,

РК

ЕНУ им. Л.Н.Гумилева (г. Астана),

профессор кафедры вычислительной техники


Доктор технических наук, 05.13.05-

Элемен

ты и устройст

ва ВТ и СУ

05.13.12-

системы

автомати

зации

проекти

рования

05.13.11

05.

13.

11





1.Садыков А.А. Верификации иерархических функциональных блоков СБИС для ЦСИО. // Тезисы докладов 29 научно-технической. конференции ИТМО “Проектирование и технология элементов компьютерных систем”. - СПб: СПбГИТМО, 1997.

2.Садыков А.А. Принципы построения цифровой телекоммуни-кационной системы ОТС на сети ВОЛС Магистраль. - Министерство транспорта и коммуникаций РК, № 3, Алматы, 2002

3.Садыков А.А. Технология спутниковой связи на железнодорожном транспорте. - Магистраль, Министерство транспорта и коммуникаций РК, № 6, Алматы, 2002.





12

Усембаева Жибек Калиевна


1958, казашка, РК

Администрация Президента РК,

Главный инспектор по вузовскому и послевузовскому образованию


Доктор технических наук, 05.18.01-Техноло-гия хлебопе-карных, макарон-ных и кондитерских продук-тов




05.02.23





1. Технические условия №640 РК 05614942, АТИ – 02-99.

2. Предпатенты № 8029, №7443, №8030, №6599

3.Эксперт-аудитор по СМК

сертификат EVROCERT №016/05

4.Контроль качества хлебопекарного производства. Учебник. Парасат Әлемі, Астана, 2003г., 493с.

5.Экспериментті модельдеудің және оптималдаудың математикалық әдістері, Учебник. Алматы, 2003г., 223с.




13

Ускенбаева

Раиса

Кабиевна

1953,

казашка,

РК

КазНТУ им.К.И.Сатпаева

(г. Алматы),

зав. кафедрой ПОСиС



Доктор технических наук, 05.13.11-

Математическое и програм

мное обеспечение вычисли

тельных

машин, комплек

сов и компью

терных сетей

05.13.11







1.Ускенбаева Р.К. Задачи повышения надежности распределенных информационных систем поддержки образовательных процессов и обучения. Вестник ЕНУ им. Л.Н. Гумилева, Астана, №4 (50), 2006. С.55-58.

2.Ускенбаева Р.К. Проблемы повышения надежности распределенных информационно-вычислительных систем поддержки бизнес-процессов. Научный журнал МОН РК «Поиск», №4/ 2006. С.204-208.

3.Ускенбаева Р.К. Задачи повышения надежности распределенных информационно-вычислительных систем поддержки бизнес-процессов. Научный журнал МОН РК «Поиск», №4/2006. С.208-211.

4.Ускенбаева Р.К. Оперативное управление сложной вычислительной системой в режиме нарушения нормального хода решения вычислительной задачи. Вестник КазНТУ, №4(54), Алматы, 2006. С.152-157.

5.Ускенбаева Р.К. Формулировка задачи управления сложными объектами на базе групповых методов. Труды 1-ой международной научно-практической конференции «Информатизация общества», Астана, ЕНУ им. Н.А Гумилева, 2005. С.176-178.




14

Шарипбаев Алтынбек Амирович

(председатель)

1952,

казах,

РК

ЕНУ им. Л.Н.Гумилева

(г. Астана),

профессор кафедры вычислитель-ной техники


Доктор технических наук, 05.13.13.-ВМ,сис-темы и

Сети



05.13.11







1.Шарипбаев А.А., Боранбаев С.Н. Методы решения оптимизационной задачи распределения ресурсов сети. - ВТ. - Новосибирск: Изд-во СО РАН, 2003, том 8.

2.Шарипбаев А.А., Боранбаев С. Н. Методы планирования и распределения ресурсов сетей с переменными структурами и параметрами операции. - Доклады НАН РК № 1, Алматы, 2003, с.111-115.

3.Ускенбаева Р.К., Шарипбаев А.А. Обеспечение высокого уровня доступности ресурсов в РИС. - Вестник ЕНУ им. Л.Н. Гумилева, Астана №4, 2006.

4.Ускенбаева Р.К., Шарипбаев А.А. Решение проблемы надежности распределенных информационно-вычислительных систем современного электронного бизнеса. Доклады НАН РК №1/2007.

5.Ускенбаева Р.К., Шарипбаев А.А. Пути обеспечения надежности распределенной ИС. Доклады НАН РК №1/2007.




Всего членов диссертационного совета, имеющих основным местом работы организацию, при которой создается совет 14 , приглашенных 6.

Все члены диссертационного совета являются членами только данного совета.


Паспорт научной специальности

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 и др.).

Машинно-ориентированные языки, язык ассемблера. Представление машинных команд и констант. Команды транслятору. Их типы, принципы реализации. Макросредства, макровызовы, языки макроопределений, условная макрогенерация, принципы реализации.

Системы программирования (СП), типовые компоненты СП: языки, трансляторы, редакторы связей, отладчики, текстовые редакторы. Модульное программирование. Типы модулей. Связывание модулей по управлению и данным.

Пакеты прикладных программ (ППП). Системная часть и наполнение. Языки общения с ППП. Машинная графика. Средства поддержки машинной графики. Графические пакеты.

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