авторефераты диссертаций БЕСПЛАТНАЯ  БИБЛИОТЕКА

АВТОРЕФЕРАТЫ КАНДИДАТСКИХ, ДОКТОРСКИХ ДИССЕРТАЦИЙ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:   || 2 |
-- [ Страница 1 ] --

УТВЕРЖДАЮ

Директор ИДСТУ СО РАН

член-корреспондент РАН

_ И.В. Бычков

г.

«» _ 20 ПОЛОЖЕНИЕ ОБ АСПИРАНТУРЕ Учреждения Российской академии наук Института динамики систем и теории управления Сибирского отделения РАН (ИДСТУ СО РАН) 1. Общие положения 1.1. Настоящее Положение разработано в соответствии с Положением о подготовке научно педагогических и научных кадров в системе послевузовского профессионального образования в Рос сийской Федерации (пр. Минобразования РФ от 27 марта 1998 г. № 814) и является регламентирую щим документом для работы аспирантуры в соответствии со спецификой Института.

1.2. С учетом норм ст.19 Федерального закона «О высшем и послевузовском профессиональном об разовании» (№ 125-ФЗ от 22.08.1996 г.), а также в соответствии с лицензией на право ведения обра зовательной деятельности в сфере послевузовского профессионального образования (выдана Феде ральной службой по надзору в сфере образования и науки 15 апреля 2010 г.) аспирантура является основной формой подготовки научных кадров в Институте динамики систем и теории управления (далее по тексту – Институт), предоставляющей гражданам Российской Федерации возможность по вышения уровня образования, научной и педагогической квалификации.

1.3. В соответствии с лицензией на право ведения образовательной деятельности в сфере послеву зовского профессионального образования Институт проводит подготовку аспирантов и докторантов по специальностям:

• 01.01.02 – Дифференциальные уравнения, динамические системы и оптимальное управле ние;

• 05.13.01 – Системный анализ, управление и обработка информации;

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

• 05.13.18 – Математическое моделирование, численные методы и комплексы программ;

• 05.25.05 – Информационные системы и процессы.

2. Правила приема в аспирантуру 2.1. В аспирантуру на конкурсной основе принимаются граждане РФ, имеющие высшее профессио нальное образование. Обучение в аспирантуре осуществляется по очной и заочной формам. Лица, ранее прошедшие полный курс обучения в аспирантуре, не имеют права вторичного обучения в ас пирантуре за счет средств бюджета.

2.2. Заявление о приеме в аспирантуру подается на имя директора Института с приложением сле дующих документов:

• копии диплома о высшем профессиональном образовании и приложения к нему;

• личного листка по учету кадров;

• автобиографии;

• 2-х фотографий размером 3х4 см;

• списка опубликованных научных работ, изобретений и отчетов по научно исследовательской работе при наличии у поступающего научных работ и изобретений;

• удостоверения о сдаче кандидатских экзаменов при наличии у поступающего сданных кан дидатских экзаменов (для лиц, сдавших кандидатские экзамены за рубежом, - справки о на личии законной силы предъявленного документа о сдаче кандидатских экзаменов, выданной Министерством общего и профессионального образования Российской Федерации);

• выписки из протокола заседания Государственной экзаменационной комиссии ВУЗа с ре комендацией дальнейшего обучения в аспирантуре.

Документ, удостоверяющий личность, и диплом об окончании высшего учебного заведения, поступающие в аспирантуру представляют лично.

2.3. Прием в аспирантуру проводится два раза в год: в июне-июле и в октябре-ноябре. Для проведе ния приема в аспирантуру ежегодно организуется приемная комиссия под председательством дирек тора или заместителя директора по научной работе Института. Члены приемной комиссии назнача ются ее председателем из числа высококвалифицированных научных кадров. В состав приемной ко миссии включаются специалисты по всем специальностям, подготовка по которым проводится в Ин ституте.

2.4. Поступающие в аспирантуру проходят собеседование с предполагаемым научным руководите лем, который сообщает в приемную комиссию о своем согласии осуществлять руководство.

2.5. Решение о допуске к вступительным экзаменам в аспирантуру приемная комиссия выносит по сле рассмотрения всех поданных поступающим в аспирантуру документов с учетом письменного со гласия предполагаемого научного руководителя. Решение комиссии доводится до сведения посту пающего в недельный срок.

2.6. Прием вступительных экзаменов в аспирантуру проводится комиссиями, назначаемыми прика зом директора Института. В состав комиссии входят квалифицированные специалисты, кандидаты или доктора наук по той специальности, по которой проводится экзамен. Председателем приемной комиссии является доктор наук.

Поступающие в аспирантуру сдают следующие конкурсные вступительные экзамены в соот ветствии с государственными образовательными стандартами высшего профессионального образо вания:

• специальную дисциплину;

• историю и философию науки;

• иностранный язык.

2.7. Прием вступительных экзаменов по истории и философии науки и иностранному языку осуще ствляется на кафедре философии (история и философия науки) и на кафедре иностранных языков (иностранный язык) Иркутского научного центра СО РАН.

Программы вступительных экзаменов по специальным дисциплинам разрабатываются в Ин ституте для каждой специальности и являются обязательным приложением к данному Положению (Приложение № 3).

2.8. На каждого аспиранта заполняется протокол приёма вступительного экзамена, в который зано сятся вопросы экзамена, оценка за каждый вопрос, итоговая оценка экзамена, состав членов Экзаме национной комиссии, принимавших экзамен, с указанием их учёной степени, учёного звания, зани маемой должности и специальности (согласно номенклатуре специальностей научных работников), личные подписи членов комиссии. Протоколы заседаний Экзаменационной комиссии утверждаются директором Института. Пересдача вступительных экзаменов не допускается. Сданные вступитель ные экзамены в аспирантуру действительны в течение одного календарного года.

2.9. Лица, сдавшие кандидатские экзамены, при поступлении в аспирантуру освобождаются от соот ветствующих вступительных экзаменов.

2.10. Результаты выпускных магистерских экзаменов по философии и иностранному языку засчиты ваются в качестве вступительных экзаменов в аспирантуру, если в индивидуальном плане магистра были предусмотрены магистерские экзамены по этим предметам.

2.11. По результатам вступительных экзаменов приемная комиссия принимает решение по каждому кандидату, обеспечивая зачисление на конкурсной основе наиболее подготовленных к научной дея тельности.

При зачислении на плановые места предпочтение отдается лицам, получившим наибольшую сумму баллов по трем вступительным испытаниям. Также предпочтение отдается кандидатам, напи савшим во время обучения в ВУЗе дипломную и/или курсовые работы под руководством предпола гаемого научного руководителя. Решение о приеме в аспирантуру или отказе в приеме сообщается поступающему в пятидневный срок после решения приемной комиссии, но не позже чем за две неде ли до начала занятий.

2.13. Граждане иностранных государств, включая граждан государств-участников СНГ, принимают ся в аспирантуру, либо прикрепляются как соискатели на основе международных договоров и меж правительственных соглашений Российской Федерации, а также по договорам о сотрудничестве, за ключенным Институтом с высшими учебными заведениями и научными учреждениями иностранных государств и государств-участников СНГ, предусматривающих оплату стоимости подготовки юри дическими и физическими лицами.

2.14. Зачисление в аспирантуру производится приказом директора Института. В приказе указывают ся точные сроки начала и окончания аспирантуры, научный руководитель, к которому прикрепляется аспирант.

2.15. Аспирант, отчисленный из аспирантуры до окончания срока обучения по уважительной причи не, может быть восстановлен на оставшийся срок обучения приказом директора Института, при на личии свободных бюджетных мест.

3. Научное руководство аспирантом 3.1. Научный руководитель аспиранта из числа докторов наук, работающих в института, утвержда ется директором Института одновременно с его зачислением в аспирантуру.

Научный руководитель имеет право руководить аспирантами по специальностям, входящим в утвержденную директором «Номенклатуру специальностей научных руководителей ИДСТУ СО РАН» (Приложение № 1). В отдельных случаях к научному руководству могут привлекаться канди даты наук соответствующей специальности, как правило, имеющие ученое звание доцента или стар шего научного сотрудника. Кандидаты наук соответствующих специальностей утверждаются в каче стве научных руководителей решением ученого совета Института.

Аспирантам, выполняющим научные исследования на стыке специальностей, разрешается иметь руководителя и консультанта. Консультант может быть сотрудником другого учреждения.

3.2. Оплата труда научных руководителей аспирантов, являющихся сотрудниками Института произ водится из расчёта 50 часов на одного аспиранта в год, в том числе и при утверждении аспиранту двух руководителей или руководителя и консультанта. Количество аспирантов, прикрепляемых к одному научному руководителю, определяется с его согласия директором Института, но, как прави ло, не более 5 человек.

3.3. Научным руководителем и аспирантом совместно составляется индивидуальный план аспиран та. Индивидуальный план аспиранта утверждается заместителем директора по научной работе. В ин дивидуальный план аспиранта заносятся обоснование выбора и название темы будущей диссертации, вся текущая информация по подготовке и обучению аспиранта: рабочий план на каждый год обуче ния, отметки о сдаче кандидатских экзаменов, этапы работы над диссертацией, отметки о поощрении или наложении взыскания, список опубликованных или направленных в печать статей, итоги атте стации и т.д. Здесь же перед каждой аттестацией научный руководитель проводит анализ деятельно сти аспиранта и выставляет свою оценку.

3.4. Выполнение аспирантом утвержденного индивидуального плана контролирует научный руково дитель.

3.5. Научный руководитель информирует аспиранта о семинарах, конференциях и совещаниях по теме исследования, курирует подготовку публикаций и докладов на научных мероприятиях. Науч ный руководитель консультирует аспиранта и утверждает текст при подготовке научных публикаций в изданиях, рекомендованных ВАК для представления основных результатов научных исследований.

3.7. Дирекция Института организует для аспирантов учебные занятия по специальным дисциплинам в соответствии с учебными планами. Учебные планы утверждаются Ученым советом Института. Оп лата труда преподавателей производится за счет средств Института.

3.8. Научный руководитель обязан своевременно сообщить в отдел аспирантуры о непосещении ас пирантом занятий и семинаров, невыполнении или серьезном отставании в выполнении индивиду ального плана.

4. Порядок обучения и аттестации в аспирантуре 4.1. Срок обучения в очной аспирантуре не должен превышать трех лет, в заочной аспирантуре – четырех лет. Срок обучения в очной аспирантуре за счет средств бюджета продляется приказом ди ректора Института на время отпуска по беременности и родам, а также на период болезни продолжи тельностью свыше месяца при наличии соответствующего медицинского заключения в пределах средств стипендиального фонда.

4.2. Стипендия аспирантам очной формы начисляется со дня зачисления.

4.3. Аспирант за время обучения в аспирантуре обязан:

• полностью выполнить индивидуальный учебный план;

• посещать учебные занятия по обязательным дисциплинам согласно расписанию;

• сдать кандидатские экзамены по истории и философии науки, иностранному языку и специ альной дисциплине;

• ежегодно отчитываться о проделанной работе на семинаре Отделения, в котором работает его научный руководитель, и предоставлять выписку из протокола семинара в аттестационную комиссию;

• ежегодно отчитываться на заседании аттестационной комиссии о проделанной за год работе;

• посещать заседания объединенного семинара ИДСТУ СО РАН и семинаров по научным на правлениям;

• не менее одного раза в год выступить с докладом на конференциях, проводимых Институтом;

• участвовать в научно-организационной деятельности Института;

• не позднее, чем за месяц до окончания срока обучения завершить работу над диссертацией и представить ее на Семинар Института по соответствующему научному направлению и уче ный совет Института для получения соответствующего заключения. Аспиранты, не предста вившие диссертацию, своевременно отчисляются из аспирантуры без представления.

4.4. Тема диссертации утверждается Ученым советом Института в течение трех месяцев со дня за числения в аспирантуру. В процессе работы над диссертацией допускается изменение темы и науч ной специальности. Внесенные изменения должны быть утверждены Ученым советом.

4.5. Аспиранты проходят ежегодную аттестацию, которой предшествует обязательное выступление на семинаре отделения. Аттестационная комиссия, назначенная приказом директора Института, вы носит решение на основании всестороннего исследования деятельности аспиранта за прошедший год, учитывая число и характер публикаций, выполнение индивидуального плана, участие в конфе ренциях, решение семинара отделения, полученные результаты и другие показатели. На основании полученных данных аттестационная комиссия выносит решение о продолжении учебы в аспирантуре или об отчислении из аспирантуры.

Аспирант, утративший связь с научным руководителем, не выполняющий или неудовлетвори тельно выполняющий индивидуальный план, по докладной научного руководителя может быть от числен из аспирантуры приказом директора Института.

4.6. Аспирант имеет право:

• пользоваться бесплатно оборудованием, лабораториями, библиотечным фондом и услугами других вспомогательных служб института;

• участвовать в научных конкурсах на получение грантов или присуждение именных стипен дий, премий, наград;

• участвовать в конкурсах по приему на временную работу в ИДСТУ СО РАН на 0.5 ставки по совместительству (Приложение № 2) при условии выполнения индивидуального плана;

• участвовать в работе Совета молодых ученых института;

• иметь ежегодные каникулы продолжительностью два календарных месяца (для аспирантов очной формы обучения);

• сдать кандидатские экзамены и выполнить индивидуальный план обучения досрочно.

4.7. Аспиранты, обучающиеся в очной аспирантуре за счет средств бюджета, обеспечиваются сти пендией в установленном размере. Для приобретения научной литературы каждому аспиранту, обу чающемуся за счет средств бюджета, выдается ежегодное пособие.

4.8. Аспирантура считается оконченной с представлением если:

• успешно сданы кандидатские экзамены;

• полностью выполнен индивидуальный план обучения;

• представлен рабочий вариант подготовленной диссертации;

• получен положительный отзыв Семинара по научному направлению Института на представ ленную работу.

4.9. Окончившим очную аспирантуру (в том числе досрочно) и полностью выполнившим требова ния, изложенные в Положении № 814 и данном Положении, предоставляется месячный отпуск.

4.10. Аспирантам, обучающимся за счет средств бюджета, стипендия за время отпуска выплачивает ся Институтом.

5. Сдача кандидатских экзаменов 5.1. Кандидатские экзамены по истории и философии науки и иностранному языку сдаются аспи рантом в течение первого или второго года обучения. Подготовка к экзаменам по истории и филосо фии науки и иностранному языку осуществляется по типовым программам Министерства образова ния и науки Российской Федерации на кафедре философии и на кафедре иностранных языков Иркут ского научного центра СО РАН.

5.2. Кандидатский экзамен по специальной дисциплине сдается в течение второго года обучения по программе, состоящей из двух частей: типовой программы- минимум по специальности и дополни тельной программы, соответствующей тематике проводимых аспирантом исследований, и утвер ждаемой Ученым советом Института. Подготовка к экзаменам по специальности осуществляется со гласно типовым программам по соответствующим специальностям (Приложение № 4).

Комиссия по приему кандидатских экзаменов организуется под председательством директора Института или заместителя директора Института. Члены приемной комиссии назначаются ее предсе дателем из числа высококвалифицированных научных кадров, включая научных руководителей ас пирантов. В комиссию включаются не менее двух докторов наук по соответствующей специально сти. Комиссия правомочна принимать кандидатские экзамены, если в ее заседании участвует не ме нее двух специалистов по профилю принимаемого экзамена, в том числе один доктор наук.

При приеме кандидатских экзаменов могут присутствовать члены диссертационного совета Института.

5.3. Уровень знаний экзаменуемого оценивается комиссией на «отлично», «хорошо», «удовлетвори тельно», «неудовлетворительно». На каждого соискателя ученой степени заполняется протокол прие ма кандидатского экзамена, в который вносятся вопросы билетов и вопросы, заданные соискателю членами комиссии.

В экзаменационный протокол вносятся три обязательных вопроса из основной программы, на которые отвечал экзаменуемый, дополнительные вопросы по основной программе, заданные члена ми экзаменационной комиссии, три обязательных вопроса из дополнительной программы и дополни тельные вопросы по дополнительной программе. Общая оценка экзаменуемого за экзамен вычисля ется как арифметическое среднее из вышеуказанных оценок. При возможности равнозначного ок ругления оценки в большую или меньшую сторону решение об оценке принимается экзаменацион ной комиссией на условиях консенсуса. Повторная сдача кандидатского экзамена в течение одной сессии не допускается.

5.4. В случае неявки экзаменуемого на кандидатский экзамен по уважительной причине он может быть допущен к повторной сдаче приказом директора.

5.5. Протокол приема кандидатского экзамена подписывается теми членами комиссии, которые при сутствовали на экзамене, с указанием их ученой степени, ученого звания, занимаемой должности и специальности согласно номенклатуре специальностей научных работников. По результатам канди датских экзаменов при условии их успешной сдачи аспиранту выдается единое удостоверение уста новленного образца.

5.6. Аспирант (соискатель) имеет право сдать кандидатский экзамен по специальности в другом уч реждении, имеющем диссертационный совет по соответствующей специальности.

6. Подготовка кандидатских диссертаций в форме соискательства.

Аттестация соискателей 6.1. Прикрепление соискателей для подготовки кандидатских диссертаций или сдачи кандидатских экзаменов к Институту производится круглогодично.

6.2. Прикрепление соискателей осуществляется для сдачи кандидатских экзаменов и защиты канди датской диссертации на срок не более трех лет.

6.3. Для прикрепления к Институту соискатель подает заявление на имя директора с указанием сро ка прикрепления, научного руководителя (консультанта) с приложением необходимых документов (см. п. 2.2.).

6.4. Научные руководители (консультанты) соискателей назначаются приказом директора, как пра вило, из числа докторов наук.

6.5. Соискатели представляют на утверждение директора согласованный с научным руководителем (консультантом) индивидуальный план в срок не позднее одного месяца со дня прикрепления для подготовки диссертации.

6.6. Соискатели аттестуются ежегодно аттестационной комиссией на основании устных и письмен ных отчетов о ходе выполнения ими индивидуальных планов учебной и научно-исследовательской работы с учетом мнений научных руководителей. Соискатели, не выполняющие индивидуальный учебный план работы, подлежат отчислению.

6.7. Соискатели должны сдать кандидатские экзамены и завершить работу над диссертацией, вклю чая получение заключения Семинара по научному направлению.

7. Кадровая аспирантура 7.1. Кадровая аспирантура является формой очной аспирантуры ИДСТУ СО РАН, направленной на подготовку специалистов для работы в Институте по наиболее актуальным научным направлениям.

7.2. Количество мест и тематика исследований в кадровой аспирантуре определяется дирекцией и утверждается Ученым советом ИДСТУ СО РАН.

7.3. Претенденты на обучение в кадровой аспирантуре сдают вступительный экзамен по специально сти в соответствии с программой, рассчитанной на углубленные знания дисциплин, примыкающих к выбранной научной тематике. Программа разрабатывается предполагаемым руководителем аспиран та и утверждается заместителем директора Института по научной работе, курирующим соответст вующее научное направление.

7.4. При приеме в кадровую аспирантуру предпочтение отдается претендентам, начавшим занимать ся научными исследованиями во время обучения в ВУЗе.

7.5. Аспиранты, успешно обучающиеся в кадровой аспирантуре, могут обеспечиваться повышенной стипендией в установленном дирекцией ИДСТУ СО РАН размере.

7.6. Кадровые аспиранты отчитываются по своей работе два раза в год на семинаре отделения.

7.7. При наличии мест и в соответствии с результатами ежегодной аттестации решением дирекции Института аспирант может быть переведен из обычной аспирантуры в кадровую.

7.8. При завершении обучения с защитой диссертации аспиранту гарантируется вакансия младшего научного сотрудника Института. Аспирантам, закончившим обучение с представлением диссерта ции, гарантируется ставка младшего научного сотрудника на срок до одного года для оформления и защиты диссертации и по истечении этого года при условии успешной защиты – вакансия младшего научного сотрудника Института.

8. Изменения и дополнения 8.1. Настоящее Положение может изменяться и дополняться в соответствии с законодательством РФ и другими нормативно-правовыми актами.

8.2. Положение об аспирантуре ИДСТУ СО РАН принимается решением Ученого совета ИДСТУ СО РАН. Приложения к настоящему положению являются его неотъемлемой частью.

8.3. Положение вводится в действие приказом директора ИДСТУ СО РАН. Изменения и дополнения в положение вводятся приказом директора ИДСТУ СО РАН.

8.4. Решение об отмене действия Положения принимается Ученым советом ИДСТУ СО РАН.

Утверждено на заседании ученого совета ИДСТУ СО РАН Протокол № от _ Ученый секретарь ИДСТУ СО РАН к.т.н. В.А. Шелехов Приложение № Номенклатура специальностей научных руководителей аспирантуры Института динамики систем и теории управления СО РАН В соответствии с «Номенклатурой специальностей научных работников», утвержденной при казом Министерства образования и науки РФ от 25.02.2009 № 59 (в редакции Приказов Минобрнау ки РФ от 11.08.2009 № 294, от 16.11.2009 № 603) и имеющейся научной квалификацией сотрудники ИДСТУ СО РАН имеют право руководить аспирантурой по следующим специальностям:

1. Батурин В.А., д.ф.м.н. – 05.13.01, 05.13.18;

2. Берман А.Ф., д.т.н. – 05.13.18, 05.25.05;

3. Булатов М.В., д.ф.-м.н. – 01.01.02, 05.13.18;

4. Бычков И.В., чл.-к. РАН – 05.13.11, 05.13.18, 05.25.05;

5. Васильев И.Л., к.ф.-м.н. – 01.01.09, 05.13.01 (при одобрении Ученого совета);

6. Гончарова Е.В., к.ф.-м.н. – 01.01.09, 05.13.01 (при одобрении Ученого совета);

7. Горнов А.Ю., д.т.н. – 05.13.01, 05.13.18;

8. Дружинин Э.И., д.т.н. – 05.13.01, 05.13.18;

9. Дыхта В.А., д.ф.м.н. – 01.01.02, 05.13.01;

10. Казаков А.Л., д.ф.-м.н. – 01.01.02;

11. Косов А.А., к.ф.-м.н. – 05.13.01 (при одобрении Ученого совета);

12. Лакеев А.В., д.ф.-м.н. – 01.01.02;

05.13. 13. Максимкин Н.Н., к.т.н. – 05.13.01, 05.13.18 (при одобрении Ученого совета);

14. Марков Ю.А., д.ф.-м.н. – 05.13.18;

15. Николайчук О.А., к.т.н. – 05.13.18, 05.25.05 (при одобрении Ученого совета);

16. Новопашин А.П., к.т.н. – 05.13.11 (при одобрении Ученого совета);

17. Опарин Г.А., д.т.н. – 05.13.11;

18. Потапов А.А., д.х.н. – 05.13.18;

19. Раджабов А.Е., к.ф.-м.н. – 05.13.18 (при одобрении Ученого совета);

20. Русанов В.А., д.ф.-м.н. – 05.13.18;

21. Семенов А.А., к.т.н. – 05.13.18 (при одобрении Ученого совета);

22. Стрекаловский А.С., д.ф.-м.н. – 05.13.01;

23. Толстоногов А.А., чл.-к. РАН – 01.01.02, 05.13.01;

24. Тятюшкин А.И., д.т.н. – 05.13.18;

25. Феоктистов А.Г., к.т.н. – 05.13.11(при одобрении Ученого совета);

26. Финогенко И.А., д.ф.-м.н. – 01.01.02;

27. Хмельнов А.Е., к.т.н. – 05.13.18, 05.25.05(при одобрении Ученого совета);

28. Черкашин Е.А., к.т.н. – 05.13.11, 05.25.05 (при одобрении Ученого совета);

29. Щеглова А.А., д.ф.-м.н. – 01.01.02.

Приложение № Положение о Комиссии по приему аспирантов Института динамики систем и теории управления СО РАН на работу по совместительству 1. Прием на работу по совместительству является формой поощрения аспирантов ИДСТУ СО РАН, активно ведущих научные исследования и успешно справляющихся с программой обу чения в аспирантуре.

2. На прием на работу по совместительству в ИДСТУ СО РАН могут претендовать аспиранты ИДСТУ СО РАН очного обучения, как правило, второго и третьего годов обучения в аспи рантуре, при условии успешного прохождения аттестации по окончании предыдущего года обучения.

3. Комиссия по приему аспирантов ИДСТУ СО РАН на работу по совместительству (далее – Комиссия) является специальным органом, созданным при дирекции Института, для выра ботки рекомендаций, касающихся трудоустройства аспирантов ИДСТУ СО РАН на работу в Институт. Окончательное решение принимается дирекцией ИДСТУ СО РАН.

4. В состав Комиссии входят заместитель директора по научной работе ИДСТУ СО РАН чл.-к.

РАН А.А.Толстоногов (председатель), заместитель директора ИДСТУ СО РАН, курирующий работу с молодежью, заведующие отделениями ИДСТУ СО РАН, председатель профсоюзно го комитета ИДСТУ СО РАН, председатель совета научной молодежи ИДСТУ СО РАН.

5. Прием на работу по совместительству по рекомендации Комиссии осуществляется на услови ях срочного трудового договора сроком до окончания очередного года обучения в аспиранту ре.

6. Аспирант может претендовать на замещение должности инженера или программиста на 0. ставки при условии оплаты 0.25 ставки за счет средств государственного бюджета и 0. ставки за счет дополнительных зарплатных фондов, находящихся в распоряжении научного руководителя аспиранта (например, грантов РФФИ, СО РАН, Роснауки), либо сотрудников подразделения, в котором обучается аспирант, с письменного согласия всех заинтересован ных лиц. В исключительных случаях при отсутствии возможности дополнительного финан сирования из указанных источников, размер ставки (от 0.25 до 0.5) определяется дирекцией института.

7. Заявление о рассмотрении вопроса по приему аспиранта на работу по совместительству пода ется в Комиссию научным руководителем аспиранта. К заявлению прикладываются: полный список научных трудов аспиранта по форме 33;

полный список конференций, на которых ас пирант выступал с устным докладом;

характеристика научной работы аспиранта, включаю щая описание его достижений и степени выполнения плана обучения в аспирантуре, подпи санная научным руководителем аспиранта. По желанию аспиранта или его научного руково дителя в комиссию могут быть представлены другие документы, которые характеризуют ре зультаты и достижения аспиранта.

8. Рассмотрение вопроса о рекомендации по приему аспиранта на работу по совместительству в ИДСТУ СО РАН производится в Комиссии с учетом всех представленных в комиссию доку ментов тайным голосованием простым большинством голосов.

Приложение № Программы вступительных экзаменов в аспирантуру ИДСТУ СО РАН 01.01.02 – «Дифференциальные уравнения, динамические системы и оптимальное управление»

1. Обыкновенные дифференциальные уравнения первого порядка. Теорема существования и единственности решения задачи Коши.

2. Линейные дифференциальные уравнения n-го порядка с постоянными коэффициентами.

3. Линейные дифференциальные уравнения в частных производных второго порядка, их клас сификация. Постановка основных начально-краевых задач для волнового уравнения, тепло проводности и уравнения Лапласа.

4. Теорема существования и единственности решения задачи Коши для системы обыкновен ных дифференциальных уравнений. Теорема о продолжимости решения.

5. Теорема о непрерывной зависимости и дифференцируемости решений по начальным усло виям и по параметру. Уравнения в вариациях.

6. Линейные системы. Определитель Вронского. Теорема Лиувилля. Метод вариации постоян ных.

7. Системы линейных уравнений с постоянными коэффициентами. Краевые задачи для линей ных обыкновенных дифференциальных уравнений.

8. Устойчивость по Ляпунову. Асимптотическая устойчивость. Теорема об устойчивости по первому приближению.

9. Особые точки линейных систем на плоскости.

10. Первые интегралы. Теорема о существовании полной системы первых интегралов.

11. Квазилинейные уравнения с частными производными 1-го порядка. Задача Коши.

12. Смешанная задача для волнового уравнения, единственность решения задачи, решение ее методом Фурье.

13. Преобразование Фурье и его свойства. Прямое и обратное преобразование Фурье по одной переменной. Многомерное преобразование Фурье, его связь с одномерным преобразовани ем.

14. Формула обращения многомерного преобразования Фурье.

15. Фундаментальное решение оператора Лапласа. Функция Грина для задачи Дирихле и ее свойства. Функция Грина для шара. Решение задачи Дирихле для шара.

16. Свойства гармонических функций: теорема о среднем, принцип максимума, теорема Лиу вилля, теорема об устранимой особенности.

17. Задача Дирихле и Неймана для уравнения Лапласа. Единственность решения. Условие раз решимости задачи Неймана. Внешние задачи. Сведение их к внутренним задачам.

18. Уравнение теплопроводности. Первая краевая задача. Принцип максимума. Единственность.

Метод Фурье. Задача Коши. Интеграл Пуассона.

19. Характеристики уравнений второго порядка. Приведение уравнений к каноническому виду.

20. Задача Коши для волнового уравнения. Единственность решения задачи Коши. Формула Даламбера.

21. Пространства Соболева, их свойства. Обобщенные производные. След функции из Н1.

22. Краевые задачи для эллиптического уравнения. Принцип максимума. Однозначная разре шимость в пространстве Н1. Методы решения.

23. Вариационный метод решения краевых задач для эллиптического уравнения.

24. Уравнение теплопроводности. Обобщенные решения краевых задач. Применение метода Галеркина к решению краевых задач.

25. Волновое уравнение. Обобщенные решения. Применение метода Галеркина к решению краевых задач.

26. Постановка задачи оптимального управления со свободным правым концом. Принцип мак симума Понтрягина. Достаточность принципа максимума для линейно-выпуклых задач оп тимального управления.

27. Простейшая задача вариационного исчисления. Уравнение Эйлера. Связь с задачей опти мального управления;

необходимые условия оптимальности, вытекающие из принципа мак симума Понтрягина.

Список литературы:

1. Арнольд В.И. Обыкновенные дифференциальные уравнения. – Ижевск: РХД, 2000.

2. Владимиров B.C., Жаринов В.В. Уравнения математической физики. – М: Физматлит, 2003.

3. Михлин С.Г. Курс математической физики. – СПб.: Лань, 2002.

4. Петровский И.Г. Лекции по обыкновенным дифференциальным уравнениям. – М.: Наука, 1984.

5. Петровский И.Г. Лекции об уравнениях с частными производными. – М.: Наука, 1970.

6. Понтрягин Л.С. Обыкновенные дифференциальные уравнения. – М.: Наука, 1974.

7. Гаевский X., Грегер К., Захариас К. Нелинейные операторные уравнения и операторные диффе ренциальные уравнения. – М.: Мир, 1978.

8. Годунов С.К. Уравнения математической физики. – М.: Наука, 1971.

9. Ладыженская О.А. Краевые задачи математической физики. – М.: Наука, 1973.

10. Михайлов В.П. Дифференциальные уравнения в частных производных. – М.: Наука, 1983.

11. Соболев С.Л. Уравнения математической физики. – М.: Наука, 1992.

12. Тихонов А.Н., Самарский А.А. Уравнения математической физики. – М: Наука, 1999.

13. Эванс Л.К. Уравнения с частными производными. – Новосибирск: Тамара Рожковская, 2003.

14. Федорюк М.В. Обыкновенные дифференциальные уравнения. – М.: Наука, 2003.

15. Алексеев В.М., Тихомиров В.М., Фомин С.В. Оптимальное управление. – М.: Наука, 1979.

16. Ащепков Л.Т. Лекции по оптимальному управлению: Учеб. пособие. – Владивосток: Изд-во Дальневосточного ун-та, 1996.

05.13.01 – «Системный анализ, управление и обработка информации»

Введение В основе настоящей программы лежат следующие дисциплины: а) линейная алгебра;

б) функ циональный анализ;

б) выпуклый анализ;

в) системный анализ;

г) теория и методы непрерывной оп тимизации;

д) теория игр и исследование операций;

е) вариационное исчисление и оптимальное управление;

ж) теория управления и методы принятия решений;

з) дискретная оптимизация.

1. Базовые дисциплины А (линейная алгебра) Векторы и матрицы, согласованные нормы, подпространства и многообразия, базисы, основная тео рема линейной алгебры, собственные значения и векторы, спектральная декомпозиция симметрич ной матрицы, определитель и след квадратной матрицы, факторизация матриц (разложения Холецко го, LU, QR и т.д.), методы решения систем линейных уравнений и их устойчивость.

B (функциональный анализ) Метрические и нормированные пространства, теорема Хана-Банаха, принцип открытости отображе ния и теорема о замкнутом графике, принцип равномерной ограниченности, линейные функционалы и линейные операторы, топологии в сопряженном пространстве, общее понятие меры, Лебегова ме ра, измеримые функции, интеграл Лебега, дифференциалы Гато и Фреше в линейных пространствах, формула Тейлора, Теорема о неявной функции, касательные многообразия, теорема Люстерника, ме тод Ньютона-Канторовича решения уравнений в банаховых пространствах, теорема Куна-Таккера в банаховых пространствах.

C (выпуклый анализ) Теорема Хана-Банаха и теоремы отделимости, топологические свойства выпуклых множеств, выпук лые функции, сопряженные функции (поляры), теоремы Минковского и Фенхеля-Моро, сублиней ные функции, производная по направлению и субдифференциал.

Список литературы:

1. Ильин В.А., Поздняк Э.Г. Линейная алгебра. – М.: Физматлит, 2004.

2. Гантмахер Ф.Р. Теория матриц. – М.: Физматлит, 2004.

3. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. – М.:

Наука, 1976.

4. Канторович Л.В., Акилов Г.П. Функциональный анализ. – М.: Наука, 1976.

5. Данфорд Н., Шварц Дж.Т. Линейные операторы. Общая теория. – М.: УРСС, 2004.

6. Заманский М. Введение в современную алгебру и анализ. – М.: Наука, 1974.

7. Бахвалов Н.С. Численные методы. – М.: Наука, 1975.

8. Бахвалов Н.С., Жидков Н.П., Кобельков Г.М. Численные методы. – М.: Бином. Лаборатория зна ний, 2006.

9. Самарский А.А., Гулин А.В. Численные методы. – М.: Наука, 1989.

10. Самарский А.А., Михайлов А.П. Математическое моделирование. – М.: Физматлит, 2005.

11. Иоффе А.Д., Тихомиров В.М. Теория экстремальных задач. – М.: Наука, 1975.

2. Оптимизация и оптимальное управление Оптимизационный (вариационный) подход к проблемам принятия решений и управления. Классификация задач непрерывной оптимизации 2.1. Стандартная и каноническая задачи линейной оптимизации (программирования) (ЗЛП), теоремы о представлении допустимых точек ЗЛП, двойственные ЗЛП, лемма Фаркаша как следствие теорем отделимости, локальный и глобальный экстремум, выпуклая экстремальная задача, теорема Куна-Таккера.

2.2. Безусловная оптимизация и условие Ферма, градиентные методы и метод Ньютона, ква зиньютоновские методы, метод сопряженных градиентов, метод доверительной области, сходимость и скорость сходимости методов.

2.3. Классификация задач нелинейной оптимизации, теорема Каруша-Куна-Таккера, условия оптимальности 2-го порядка, условия регулярности (Слейтера, Мангасаряна-Фромовица и др.), ла гранжевая двойственность экстремальных задач, выпуклые задачи нелинейного программирования, методы квадратичного программирования, методы штрафов и модифицированного Лагранжиана, методы последовательного квадратичного программирования, методы внутренних точек для ЗЛП и нелинейных задач оптимизации.

2.4. Методы дискретной оптимизации, задачи целочисленного линейного программирования, методы отсечения Гомори, методы ветвей и границ, задача о назначениях, задача о клике, задачи оп тимизации на сетях и графах.

2.5. Конфликты и их математические модели, игры, классификация игр, матричные и бимат ричные игры, бескоалиционные и кооперативные игры, чистые и смешанные стратегии, теорема фон Неймана для равновесий в матричной игре, основные свойства оптимальных стратегий в матричных играх, сведение матричной игры к ЗЛП, метод Шепли-Сноу.

2.6. Принцип максимума Понтрягина (ПМП) в задачах оптимального управления обыкновен ными системами дифференциальных уравнений, достаточность ПМП в выпуклой задаче оптималь ного управления (ЗОУ), линейная система управления и ее свойства, принцип Беллмана и условия Кротова для ЗОУ.

2.7. Линейная ЗОУ и метод ее решения на основе ПМП, квадратичная выпуклая ЗОУ линейной системой и методы ее решения, методы фазовой линераризации и игольчатого варьирования для об щих ЗОУ.

Список литературы:

1. Цыпкин Я.З. Основы теории автоматических систем. – М.: Наука, 1977.

2. Емельянов С.В., Коровин С.К. Новые типы обратной связи. Управление при неопределенности.

– М.: Наука, 1997.

3. Васильев Ф.П. Методы оптимизации. – М.: Факториал Пресс, 2002.

4. Моисеев Н.Н. Математические задачи системного анализа. – М.: Наука, 1981.

5. Сухарев А.Г., Тимохов А.В., Федоров В.В. Курс методов оптимизации. – М.: Физматлит, 2005.

6. Nocedal J., Wright St.J. Numerical optimization. – Springer, 2006.

7. Гермейер Ю.Б. Введение в теорию исследования операций. – М.: Наука, 1971.

8. Гермейер Ю.Б. Игры с непротивоположными интересами. – М.: Наука, 1976.

9. Воробьев Н.Н. Теория игр для экономистов и кибернетиков. – М.: Наука, 1985.

10. Понтрягин Л.С. Математическая теория оптимальных процессов. – М.: Наука, 1976.

11. Габасов Р.Ф., Кириллова Ф.М. Оптимизация линейных систем. – Минск: Изд-во БГУ, 1973.

12. Габасов Р.Ф., Кириллова Ф.М. Принцип максимума в теории оптимального управления. – Минск: Наука и техника, 1974.

13. Федоренко Р.П. Приближенное решение задач оптимального управления. – М.: Наука, 1978.

14. Срочко В.А. Итерационные методы решения задач оптимального управления. – М.: Физматлит, 2000.

15. Тятюшкин А.И. Многометодная технология оптимизации управляемых систем. – Новосибирск:

Наука, 2006.

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

Введение в теорию алгоритмов Интуитивное понятие алгоритма. Свойства алгоритмов. Понятие об исполнителе алгоритма.

Уточнение понятия алгоритма. Алгоритм как преобразование слов из заданного алфавита. Машина Тьюринга. Тезис Тьюринга и его обоснование. Нормальные алгоритмы Маркова. Принцип нормали зации и его обоснование. Понятие об алгоритмической неразрешимости.

Рекурсивные алгоритмы Понятие и применение рекурсивных алгоритмов при решении задач. Связь с математической индукцией;

сравнение рекурсивных и итеративных алгоритмов. Анализ сложности алгоритмов. По нятие вычислительной сложности (по времени и памяти) и его применение для анализа алгоритмов.

Асимптотические верхние и средние оценки для итеративных и рекурсивных алгоритмов, сравнение алгоритмов по времени и памяти.

Классы сложности Обзор классов сложности (Р и NP), верхние, средние и нижние оценки. Р и NP классы сложно сти;

разрешимые и неразрешимые задачи, NP-полнота.

Сортировка и поиск 0(n2) алгоритмы сортировки (например, выбором и вставкой);

оценки сложности, лучшие и худшие случаи;

0(n*log n) алгоритмы сортировки (например, быстрая сортировка, метод слияния);

оценки сложности;

другие методы сортировки (метод Шелла и т.д.);

сравнение алгоритмов сортировки.

Последовательный и бинарный поиск, поиск в двоичном дереве;

оценки сложности, лучшие и худшие случаи;

хэширование, устранение коллизий.

Формальные языки Понятие о формальных языках. Способы строгого описания формальных языков, понятие о ме таязыках. Алфавит, синтаксис и семантика алгоритмического языка. Описание синтаксиса языка с помощью металингвистических формул и синтаксических диаграмм.

Архитектура ЭВМ Типовая схема ЭВМ, принципы Фон-Неймана. Оперативная память: ячейка, адрес, бит, слово.

Характеристики и единицы измерения памяти. Команды и данные. Центральный процессор ЭВМ:

устройство управления и арифметико-логическое устройство. Регистры. Устройство ввода/вывода.

Адресность ЭВМ, схема выполнения команд. Понятие такта работы. Понятие о структурных особенностях современных ЭВМ: прерывания, защита памяти, привилегированные команды, парал лельная обработка данных.

Основы программирования на вычислителях с параллельной и распределенной архитектурой;

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

Методы автоматизации распараллеливания программ и векторизации циклов. Ярусно параллельные формы. Методы гиперплоскостей, параллелепипедов и т.д.

Список литературы:

1. Любимский Э.З., Мартынюк В.В., Трифонов Н.П. Программирование. – Наука, 1980.

2. Вирт Н. Алгоритмы + структура данных = программа. – Мир, 1985.

3. Ларионов A.M., Майоров С.А., Новиков Г.И. Вычислительные комплексы, системы, сети. – Л.:

Энергоатомиздат, 1987.

4. Королев Л.Н. Структуры ЭВМ и их математическое обеспечение. – М.: Наука, 1980.

Яблонский С.В. Введение в дискретную математику. – М.: Наука, 1979.

5.

Воеводин В.В. Математические модели и методы в параллельных процессах. – М.: Наука, 1986.

6.

Хоггер К. Введение в логическое программирование. – М.: Мир, 1988.

7.

Алексеев В.Б., Ложкин С.А. (составители). Элементы теории графов и схем: Методическое по 8.

собие. – М.: МГУ, 1991.

Мендельсон Э. Введение в математическую логику. – М.: Мир, 1985.

9.

Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ. – М.: Наука, 10.

1981.

Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир, 1982.

11.

Голдблатт Р. Логика времени и вычислимость. – М.: Мир, 1993.

12.

Котов В.Е., Сабельфельд В.К. Теория схем программ. – М.: Наука, 1991.

13.

Языки программирования Исторический очерк развития языков программирования (ЯП). Основные конструкции языков программирования и их реализация. Методы разработки алгоритмов и программ. Технология про граммирования.

Данные и типы Классификация данных. Динамические и статические ЯП. Атрибуты данных и средства их описания. Характеристики, связанные с типом (класс значений, множество операций). Именная и структурная эквивалентность типов.

Базисные типы данных в традиционных ЯП. Операторный базис традиционных ЯП. Средства определения подпрограмм. Правила передачи параметров. Процедурные абстракции и надежность.

Понятие модуля. Примеры в конкретных языках. Инкапсуляция. Абстрактные типы данных.

Имя в ЯП. Описания и области действия. Правила видимости.

Перекрытие имен и видимость. Раздельная трансляция. Недостатки независимой трансляции.

Проблемы, связанные с параметризацией типов.

Понятие исключительной ситуации (ИС). Принципы надежной обработки ИС.

Управление представлением и учет машинно-зависимых особенностей.

Объектно-ориентированные ЯП Понятие объектно-ориентированного анализа. Классы и объекты. Основные отношения между классами и объектами. Связь объектного подхода с основными понятиями языков программирова ния. Недостатки традиционных ЯП с точки зрения объектного подхода.

Наследование в ЯП. Понятия и примеры наследования. Наследование и полиморфизм. Надеж ность и повторное использование программных компонент.

Объявление классов и объектов. Конструкторы и деструкторы. Производные классы. Виртуаль ные функции-члены. Абстрактные классы и методы. Множественное наследование. Управление дос тупом. Инкапсуляция. Исключения и классы.

Статическое, квазистатическое и динамическое связывание методов. Примеры объектно ориентированных языков. Другие парадигмы программирования: функциональное и логическое про граммирование.

Методы трансляции ВВЕДЕНИЕ. Место компилятора в программном обеспечении. Структура компилятора.

ЛЕКСИЧЕСКИЙ АНАЛИЗ. Регулярные множества и регулярные выражения. Конечные авто маты. Построение детерминированного конечного автомата по регулярному выражению. Построение детерминированного конечного автомата с минимальным числом состояний. Программирование лек сических анализаторов.

СИНТАКСИЧЕСКИЙ АНАЛИЗ. Основные понятия и определения. Таблично-управляемый предсказывающий разбор. Алгоритм разбора сверху-вниз, LL(1)-грамматики, рекурсивный спуск, восстановление после синтаксических ошибок. Синтаксически управляемая трансляция.

ПРОМЕЖУТОЧНОЕ ПРЕДСТАВЛЕНИЕ ПРОГРАММЫ. Представление в виде ориентиро ванного графа. Организация информации в генераторе кода. Уровень промежуточного представле ния.

КОНТЕКСТНЫЕ УСЛОВИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ. Описание областей видимо сти и блочной структуры. Управление данными и контроль типов.

ОРГАНИЗАЦИЯ ТАБЛИЦ КОМПИЛЯТОРА. Таблицы идентификаторов и таблицы символов.

Применение таблиц расстановки. Функции расстановки. Реализация блочной структуры.

ГЕНЕРАЦИЯ КОДА. Модель машины. Динамическая организация памяти. Назначение адре сов. Трансляция переменных. Трансляция арифметических выражений. Распределение регистров при вычислении арифметических выражений. Особенности трансляции логических выражений. Выделе ние общих подвыражений. Оптимизация кода.

Список литературы:

1. Грис Д. Построение компиляторов для цифровых вычислительных машин. – М.: Мир, 1975.

2. Ахо А., Ульман Д. Теория синтаксического анализа, перевода и компиляции. – М.: Мир, 1978.

3. Кнут Д. Искусство программирования для ЭВМ. T. I: Основные алгоритмы. – М.: Мир, 1976.

4. Кауфман В.Ш. Языки программирования. Концепции и принципы. – М.: Радио и связь, 1993.

5. Буч Г. Объектно-ориентированное проектирование с примерами применения. – М.: Конкорд, 1992.

6. Джехани Н. Язык Ада. – М.: Мир, 1988.

7. Вирт Н. Программирование на языке Модула-2. – М.: Мир, 1987.

8. Керниган Б., Ричи Д. Язык Си. – М.: Финансы и статистика, 1990.

9. Страуструп Б., Эллис М. Справочное руководство по языку программирования C++ с коммента риями. – М.: Мир, 1992.

10. Aho A., Sethi R., Ullman J. Compilers: principles, techniques and tools. – N.Y.: Addison Wesley, 1986.

Прикладные программные системы и области их применения Текстовые и табличные процессоры. Деловая и иллюстративная графика. Издательские систе мы. Интегрированные системы. Автоматизированные рабочие места.

Библиотеки программ и пакеты прикладных программ (ППП) для научных и инженерных рас четов. Системное, функциональное и информационное наполнение ППП. Примеры ППП.

Понятие базы данных. Язык определения (описания) и язык манипулирования данными. Ие рархические, сетевые и реляционные базы данных. Уровни представления данных. Понятие о систе ме управления базой данных (СУБД). Примеры СУБД.

Информационно-поисковые системы (ИПС). Информационный образ документа, ключевые слова, тезаурус. Поиск нужных документов, релевантность.

Проблемы искусственного интеллекта (ИИ), исторические и философские аспекты. Классифи кация систем ИИ. Экспертные системы. Роботы и решатели задач. Системы общения с ЭВМ на есте ственном языке. Методы представления знаний в системах ИИ, базы знаний. Взаимодействие поль зователя с системами ИИ. Гипертекстовые и мультимедиа системы.

Структура системного программного обеспечения Понятие о прикладном и системном программном обеспечении. Структура системного про граммного обеспечения: операционные системы и системы программирования.

Система программирования, ее состав и схема работы. Редакторы текстов.

Программное, языковое и информационное обеспечение системы программирования.

Компиляторы и интерпретаторы. Редактор внешних связей, его назначение и схема работы. За грузчик и схема его работы.

Схема решения задач на ЭВМ. Отладчики. Понятие об инструментальных программных сред ствах.

Операционные системы Исторический обзор. Назначение и основные функции операционной системы (ОС): управле ние устройствами, управление задачами и процессами, управление данными. ОС для ЭВМ различ ных классов.

Управляющая программа операционной системы. Язык директив. Командные файлы.

Иерархическая организация памяти ЭВМ: регистры, память типа кэш, оперативная и внешняя память. Расслоение оперативной памяти. Типы и характеристики устройств внешней памяти.

Организация работы с внешними устройствами на ЭВМ разных классов. Порты ввода вывода.

Общая шина. Совмещение работы центрального процессора и периферийных устройств ЭВМ. Муль типрограммный режим работы. Понятие канала.

Файловая система. Файлы, их структура, типы и способы организации. Логические и физиче ские записи файлов, блокирование. Текстовые, исходные, объектные, загрузочные и абсолютные мо дули. Каталоги. Секретность и защита данных.

Работа ЭВМ в режиме мультипрограммирования, разделения времени и реального времени.

Пакетный и диалоговый режимы работы.

Необходимые требования к аппаратуре ЭВМ для организации мультипрограммной работы.

Система прерываний, классы прерываний, маскирование прерываний. Защита памяти, привилегиро ванные команды. Команды прерывания (вызов супервизора).

Статическое и динамическое распределение оперативной памяти между задачами. Фрагмента ция памяти, тупики. Оверлейная структура программ. Релокация программ.

Виртуальная память, механизм подкачки. Страничная организация виртуальной памяти.

Понятие процесса. Служебные процессы ОС.

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

Список литературы (основной):

1. Донован Дж. Системное программирование. – М.: Мир, 1975.

2. Дейтел Г. Введение в операционные системы. T. 1, 2. – М.: Мир, 1987.

3. Бек Л. Введение в системное программирование. – М.: Мир, 1988.

4. Баурн С. Операционная система UNIX. – М.: Мир, 1986.

Список литературы (дополнительный):

1. Брябрин В.М. Программное обеспечение персональных ЭВМ. – М.: Наука, 1988.

2. Фигурнов В.Э. IBM PC для пользователя. – М.: Финансы и статистика. Юнити, 1995.

3. Горбунов-Посадов М.М., Корлгин Д.А., Мартынюк В.В. Системное обеспечение пакетов при кладных программ. – М.: Наука, 1990.

4. Соколов А.В. Информационно-поисковые системы. – М.: Радио и связь, 1981.

Системы управления базами данных (СУБД) Области приложений СУБД. Интерфейсы СУБД для обеспечения интерактивного доступа к данным и создания прикладных программ. Языки запросов, запросы через формы, генераторы отче тов, языки быстрого прототипирования приложений. Типичные функции СУБД. Управление данны ми во внешней памяти, управление буферами оперативной памяти, управление транзакциями, жур нализация изменений базы данных, восстановление после сбоев.

Проектирование баз данных. Концептуальные модели данных. Семантические модели данных.

Диаграммы «сущность-связи».

СУБД и информационно-поисковые системы. Понятие гипертекста. Применение стабильной оперативной памяти, оптических дисков и других видов современной аппаратуры в информацион ных системах.

Реляционные базы данных. Реляционная модель данных. Реляционная алгебра и реляционное исчисление. Нормальные формы отношений.

Структуры данных реляционной базы данных. Способы хранения отношений, индексов, жур нальной информации.

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

Журнализация. Связь с управлением буферами оперативной памяти. Методы восстановления баз данных после сбоев.

Язык баз данных SOL. Основные средства манипулирования данными. Средства управления и изменения схемы базы данных, определения ограничений целостности, представлений базы данных, привилегий доступа к данным.

Возможности встраивания языка SQL в прикладную программу. Динамический SOL.

Искусственный интеллект и экспертные системы.

Экспертные системы как часть искусственного интеллекта Традиционные средства программного обеспечения ЭВМ и системы ИИ. Основные задачи ис следований по ИИ. Интеллектуальная деятельность человека и ИИ. Моделирование – важнейший метод исследований в области ИИ, специфика ИИ моделей.

Решение задач и искусственный интеллект. Представление задач в пространстве состояний.

Стратегии поиска решения: слепой и эвристический;

прямой, обратный и двунаправленный;

иерархический поиск. Редукция задач. Программа GPS. Поиск на игровых деревьях: дерево игры, минимаксная процедура, альфа-бета процедура. Планирование действий: неиерархическое, иерархи ческое, с взаимодействующими подцелями. Роботы и искусственный интеллект.

Представление знаний - центральная проблема ИИ.

Методы представления знаний: процедурные представления, логические представления, семан тические сети, фреймы, системы продукций. Интегрированные методы представления знаний. Ме тазнания в системах ИИ: способы представления, возможности использования. Языки представления знаний. Базы знаний.

Программное обеспечение работ по ИИ.

Экспериментальный и эволюционный характер разработок систем ИИ, требования к про граммному обеспечению. Языки программирования для задач ИИ: основные концепции, примеры языков (ЛИСП, ПЛЭНЕР, ПРОЛОГ). Инструментальные средства для создания систем ИИ.

Экспертные системы (ЭС).

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

Обучение в системах ИИ.

Проблема «родителей» и «учителей». Открытость знаний системы ИИ. Приобретение (извле чение) знаний. Обучение на основе запоминания результатов собственной работы;

обучение по при мерам;

обучение с использованием советов человека. Интегрированные обучающиеся системы ИИ.

Общение человека с системой ИИ.

Модель общения человека с системой ИИ. Искусственный интеллект и естественный язык. По нимание выражений естественного языка. Представление лингвистических знаний. Методы анализа и синтеза текста.

Список литературы:

1. Дейт К. Введение в системы баз данных. – М.: Наука, 1980.

2. Дейт К. Руководство по реляционной СУБД DB2. – М.: Финансы и статистика, 1988.

3. Ульман Дж. Основы систем баз данных. – М.: Финансы и статистика, 1983.

4. Цикритзис Д., Лоховски К. Модели и базы данных. – М.: Финансы и статистика, 1984.

5. Мейер Д. Теория реляционных баз данных. – М.: Мир, 1987.

6. Нильсон Н. Принципы искусственного интеллекта. – М.: Радио и связь, 1985.

7. Лорьер Ж.-Л. Системы искусственного интеллекта. – М.: Мир, 1991.

8. Тихомиров O.K. Психология мышления. – М.: МГУ, 1984.

9. Уэно X. и др. Представление и использование знаний. – М.: Мир, 1989.

10. Приобретение знаний: Пер. с япон. / Под ред. С. Осуги, Ю. Саэки. – М.: Мир, 1990.

05.13.18 – «Математические моделирование, численные методы и комплексы программ»

Часть I. Математическое моделирование I.1 Общие сведения о математических моделях 1. Понятие математической модели. Различные подходы к определению этого понятия.

2. Математическое моделирование как метод описания и исследования сложных систем.

3. Классификация моделей (гипотезы, феноменологические модели, эвристические модели, анало гии, и т.п.).

4. Модели динамических систем. Способы описания и построения.

5. Модели с непрерывной и дискретной динамикой.

6. Примеры моделей поведения систем в реальном мире (модель Мальтуса, система «Хищник Жертва» и т. п.).

7. Информативность математических моделей.

8. Информационная энтропия (энтропия Шеннона) и ее использование в математическом модели ровании.

9. Игровые модели (примеры из биологии и экономики).

10. Математическое моделирование хаотического поведения (кривые Пеано, фракталы, аттракто ры).

11. Понятие об имитационном моделировании. Простейшие имитационные модели.

12. Модели безопасности компьютерных систем.

I.2 Методы и средства математического моделирования 1. Методы описания непрерывных динамических моделей (примеры моделей, описываемых обык новенными дифференциальными уравнениями).

2. Использование теории игр для построения и исследования моделей поведения экономических и биологических систем.

3. Модели и методы математического программирования.

4. Модель Шеннона канала связи и проблемы возникновения и исправления ошибок при передаче информации.

5. Модель Шеннона секретного канала связи. Стойкость систем симметричного шифрования в рамках этой модели.

6. Модели несимметричных систем шифрования. Примеры простейших криптографических про токолов.

7. Модель Симмонса канала аутентификации. Сходства и различия с шенноновской моделью.

8. Модели дискретных динамических систем, способы их описания и исследования (дискретно автоматные модели).

9. Средства имитационного моделирования. Пакеты имитационного моделировании и их возмож ности.

10. Проблемы верификации моделей. Верификация моделей дискретных систем. Системы автома тической верификации.

Список литературы:

1. Моисеев Н.Н. Математические задачи системного анализа. – М.: Наука, 1981. – 488 с.

2. Николис Дж. Динамика иерархических систем. – М.: Мир, 1989. – 486 с.

3. Фон Нейман Дж., Моргенштерн О. Теория игр и экономическое поведение. – М.: Мир, 1970. – 707 с.

4. Шеннон К.Э. Работы по теории информации и кибернетике. – М.: Иностранная литература, 1963.

– 829 с.

5. Мак-Вильямс Ф.Дж., Слоэн Н.Дж. Теория кодов, исправляющих ошибки. – М.: Связь, 1979. – 744 с.

6. Алферов А.П., Зубов А.Ю., Кузьмин А.С., Черемушкин А.В. Основы криптографии. – М.: «Гели ос АРВ», 2002. – 480 с.

7. Кузнецов А.В., Сакович В.А., Холод Н.И. Математическое программирование. – Минск: Высш.

шк., 1994. – 286 с.

8. Таха Х.А. Введение в исследование операций. – М.: Вильямс, 2005. – 719 с.

9. Карпов Ю.Г. Model Checking: Верификация параллельных и распределенных программных сис тем. – СПб.: «БХВ-Петербург», 2010. – 551 с.

10. Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ. – М.: МЦНМО, 2002. – 416 с.

11. Девянин П.Н. Модели безопасности компьютерных систем. – М.: Академия, 2005. – 144 с.

Часть II. Численные методы II.1 Основы численных методов 1. Приближенные числа (абсолютная и относительная погрешности, округление, погрешности ос новных арифметических операций, оценивание погрешностей).

2. Цепные дроби и их применение в вычислительной математике (представление рациональных и иррациональных чисел, алгоритм Евклида, диофантовы уравнения первой степени).

3. Вычисление значений функций (схема Горнера, числовые ряды, значения аналитических функ ций, значения специальных функций (показательная, корень и др.)).

4. Приближенные методы решения алгебраических уравнений (графическое решение, дихотомия, метод хорд, метод касательных, метод итерации).

5. Базовые методы решения линейных уравнений (метод Гаусса, теорема Кронекера-Капелли, пра вило Крамера).

6. Алгебраические действия с матрицами (транспонированная матрица, обратная матрица, рацио нальные функции от матриц, абсолютная величина и норма матрицы, приведение к треугольным формам, клеточные формы матриц, элементарные преобразования, вычисление определителей, вычисление обратных матриц).

7. Итерационные методы решения систем линейных (метод простых итераций, метод Зейделя, схо димость метода Зейделя).

8. Задачи численного интегрирования (формулы прямоугольников, формулы трапеций, формулы парабол).

9. Интерполяционные методы (полиномы Лагранжа, конечные разности, различные виды конечно разностных интерполяционных формул).

10. Численные методы решения задачи Коши для обыкновенных дифференциальных уравнений (метод последовательных приближений (метод Пикара), методы Эйлера, методы Рунге-Кутты).

II.2 Некоторые специальные численные методы 1. Симплекс-метод для задач линейного программирования над полем рациональных чисел (алго ритм, основные свойства, примеры применения).

2. Задачи целочисленного линейного программирования и некоторые методы их решения (метод Гомори, метод ветвей и границ).

3. Схема динамического программирования и ее применение к решению различных оптимизаци онных задач (принцип оптимальности и уравнение Беллмана, алгоритм решения задачи о ранце, алгоритм поиска кратчайшего пути во взвешенном графе).

4. Методы решения оптимизационных задач на графах (алгоритм Дийкстры, алгоритм Форда Фалкерсона, алгоритм Крускала).

5. Булевы уравнения и методы их решения (булевы функции и булевы уравнения, нормальные формы и полиномиальные представления, метод линеаризации, сведение к проблеме выполни мости КНФ).

6. Минимизация булевых функций в классе ДНФ (КНФ) (карты Карно, алгоритм Квайна Маккласки, локальные алгоритмы).

7. Локальный поиск и его применение к решению комбинаторных задач (общая схема, различные подходы к определению окрестностей, поиск с запретами, метаэвристики).

8. Специальные алгоритмы элементарной теории чисел (возведение в степень по модулю, решение сравнений, вычисление обратных элементов в группах и кольцах вычетов, вычисление квадрат ных корней в группах и кольцах вычетов).

9. Метод Монте-Карло (базовая идея, теоретико-вероятностная основа, применение к вычислению интегралов).

10. Эффективные вероятностные вычисления (задача проверки простоты больших чисел, алгоритмы Соловея-Штрассена и Миллера-Рабина).

Список литературы:

1. Демидович Б.П., Марон И.А. Основы вычислительной математики. – М.: Наука, 1966. – 664 с.

2. Самарский А.А., Гулин А.В. Численные методы. – М.: Наука, 1989. – 432 с.

3. Вержбицкий В.М. Основы численных методов. – М.: Высш. шк., 2002. – 848 с.

4. Васильев Ф.П. Численные методы решения экстремальных задач. – М.: Наука, 1988. – 549 с.

5. Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. – М.:

Мир, 1985. – 510 с.

6. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы. Построение и анализ. – Вильямс, 2007. – 1290 с.

7. Романовский И.В. Дискретный анализ. – СПб.: «BHV», 2003. – 320 с.

8. Яблонский С.В. Введение в дискретную математику. – М.: Наука, 1986. – 384 с.

9. Андерсон Дж. Дискретная математика и комбинаторика. – Вильямс, 2004. – 960 с.

10. Биркгоф Г., Барти Т. Современная прикладная алгебра. – М.: Лань, 2005. – 400 с.

11. Кострикин А.И. Введение в алгебру. – М.: Наука, 1977. – 495 с.

12. Коблиц Н. Курс теории чисел и криптографии. – М.: «ТВП», 2001. – 254 с.

13. Ермаков С.М. Метод Монте-Карло и смежные вопросы. – М.: Наука, 1971. – 327 с.

Часть III. Комплексы программ III.1 Основы теории алгоритмов Понятие вычислимых функций (различные способы задания функций, функции, задаваемые 1.

программами для формальных вычислительных моделей, тезис Черча).

Алгоритмически вычислимые функции (кодирование программ, характеристические функции 2.

конечных автоматов, универсальная функция для класса всех вычислимых функций).

Алгоритмически невычислимые функции (неразрешимость проблемы остановки, сведение про 3.

блемы остановки к другим проблемам, теорема Райса).

Алгоритмическая неразрешимость в математической логике и теории чисел (теорема Черча об 4.

алгоритмической неразрешимости исчисления предикатов 1-го порядка, неразрешимость общей задачи о корнях диофантова полинома).

«Наивные» представления об алгоритмической сложности (задача о Ханойской башне, вычис 5.

ление определителя булевой матрицы, алгоритм Евклида).

Строгое понятия сложности по времени (понятие индивидуальных и массовых задач, функции 6.

сложности и порядки их роста).

Классы P и NP (задачи распознавания, разрешимые за полиномиальное время на детерминиро 7.

ванной и недетерминированной машинах Тьюринга, основная гипотеза теории вычислительной сложности).

Понятие NP-полноты (задача о булевой выполнимости (SAT), ее NP-полнота, теорема Кука, при 8.

меры редукции SAT к другим комбинаторным задачам).

NP-полные задачи на графах (NP-полнота задач: о клике, о вершинном покрытии, о независи 9.

мом множестве, о коммивояжера).

Приближенные алгоритмы решения комбинаторных задач (определение приближенного алго 10.

ритма для решения задачи дискретной оптимизации, приближенные алгоритмы для задачи об упаковки контейнеров и задачи о вершинном покрытии).

Вероятностные алгоритмы (понятие о вероятностной машине Тьюринга, основные классы веро 11.

ятностного времени – RP, co-RP, BPP, ZPP).

III.2 Основные конструкции в программировании 1. Основные этапы построения программ (собственно алгоритм, оценка его сложности, подбор аб страктных типов данных, разработка собственных типов данных при необходимости).

2. Абстрактный тип данных (АТД) «Список» (реализации списков, стеки, очереди, преобразование рекурсивных выражений).

3. Деревья (основная терминология, узлы, различные виды обхода, вычисление наследственных данных).

4. Абстрактный тип данных TREE и реализация деревьев (представление с помощью массивов и списков).

5. Двоичные деревья (представление двоичных деревьев, коды Хаффмана, реализация двоичных деревьев с помощью указателей).

6. Структуры данных для представления множеств (реализация двоичными векторами, реализация списками, реализация теоретико-множественных операций).

7. Хеш-функции и хеш-таблицы (основные конструкции, используемые при хешировании, разре шение коллизий, реструктуризация хеш-таблиц).

8. Деревья двоичного поиска (структуры данных для представления, анализ эффективности).

9. Реализация множеств посредством сбалансированных деревьев (основные операторы: вставка и удаление элементов в/из дерева).

10. Структуры данных и алгоритмы работы с графами (обход в ширину, обход в глубину, кратчай шие пути, остовы).

11. Простые схемы сортировки («пузырьковая» сортировка, сортировка вставками, сортировка по средством выбора).

12. Быстрая сортировка (временная сложность, особенности реализации).

13. Пирамидальная сортировка (структуры данных, временная сложность).

14. Карманная сортировка (применение связанных списков при реализации, оценка сложности).

III.3 Практическое программирование 1. Файлы (файловые потоки в C++, открытие/закрытие файла, функции чтения/записи).

2. Указатели и массивы (Статические и динамические массивы в C++. Выделение и освобождение памяти. Указатели и ссылки. Арифметика указателей. Особенности передачи указателей как ар гументы функции. Многомерные массивы. Семейство типов vector как альтернатива работы с динамическими массивами через указатели).

3. Строки (низкоуровневая строка как одномерный массив символов, функции для работы с низко уровневыми строками, считывание строк из входного потока, разбор предложения в массив слов, тип string как альтернатива, основные функции работы с строками типа string).

4. Тестирование программ (основы тестирования программ, методы черного и белого ящиков, осо бенности тестирования программ на языке C++, оператор try, коды ошибок).

5. Основы объектно-ориентированного программирования (основные свойства ООП – наследова ние, инкапсуляция, полиморфизм, класс, объект;

классы и объекты в C++, использование поль зовательского заголовочного файла для описания класса, данные вида private и public, указатель на объект, динамическое выделение памяти под объект).

Список литературы:

1. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. – М.: Мир, 1983. – 256 с.

2. Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1965. – 391 с.

3. Мендельсон Э. Введение в математическую логику. – М: Наука, 1976. – 320 с.

4. Колмогоров А.Н., Драгалин А.Г. Математическая логика. – М.: УРСС, 2005. – 238 с.

5. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. – Вильямс, 2002. – 528 с.

6. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы. Построение и анализ. – Вильямс, 2007. – 1290 с.

7. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир, 1982. – 416 c.

8. Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. – М.:

Мир, 1985. – 510 с.

9. Крупский В.Н. Введение в сложность вычислений. – М.: Факториал, 2006. – 128 с.

10. Ахо А., Хопкрофт Дж., Ульман Дж. Структуры данных и алгоритмы. – М.: Вильямс, 2000. – 382 с.

11. Левитин А. Алгоритмы. Введение в разработку и анализ. – М.: Вильямс, 2006. – 574 с.

12. Страуструп Б. Язык программирования С++. – СПб.: Бином. Невский диалект, 2008. – 1104 с.

13. Шилдт Г. С++: Базовый курс. – М.: Вильямс, 2008. – 625 с.

14. Шилдт Г. Самоучитель С++. – СПб.: «BHV», 2006. – 688 с.

Список литературы (дополнительный):

1. Лавров И.А. Математическая логика. – М.: Издат. центр «Академия», 2006. – 240 с.

2. Мальцев И.А. Дискретная математика. – СПб.: Лань, 2011. – 304 с.

3. Goldreich O. Computational Complexity: A Conceptual Perspective. – Cambridge University Press, 2008. – 606 p.

4. Wegener I. Complexity Theory. Exploring the Limits of Efficient Algorithms. – Springer, 2003. – 308 p.

5. Агибалов Г.П. Избранные теоремы начального курса криптографии. – Томск: Изд-во ТГУ, 2005.

– 112 с.

6. Stinson D. Cryptography. Theory and Practice. – Chapman&Hall/CRC, 2006.

7. Шнайер Б. Прикладная криптография. – Диалектика, 2003.

8. Чмора А.Л. Современная прикладная криптография. – М.: «Гелиос АРВ», 2002.

9. Papadimitriou C.H. Computational complexity. – Addison Wesley, 1994. – 523 p.

10. Menezes A., Van Oorschot P., Vanstone S. Handbook of Applied Cryptography. – CRC Press, 1996. – 657 p.

05.25.05 – «Информационные системы и процессы»

Основы информатики 1. Роль информации в жизни личности, общества и государства. Информационные революции.

Стадии становления информационного общества. Характерные черты информационного обще ства. Опасные тенденции информатизации.

2. Информатика как наука. Подходы к определению понятия и предмета информатики. Информа тика как «интегральная» наука об информации, информационных процессах и информационных системах. Задачи информатики как науки.

3. Различные подходы к определению информации. Антропоцентрический и недетерминирован ный подходы к определению понятия информации.

4. Основные свойства информации. Идеальность информации. Свойство рассеяния информации.

Качество информации.

Автоматизация процессов сбора и обработки информации 1. Понятие информационных процессов. Виды информационных процессов. Сбор и восприятие информации. Объективные законы в области сбора информации. Факторы, влияющие на про цесс восприятия информации.

2. Каталогизация и классификация как основные инструменты в области сбора информации. Про цессы передачи и распространения информации. Общая схема передачи информации.

3. Понятие электронного обмена данными и электронного документооборота. Понятие электрон ного документа и его особенности. Понятие электронной цифровой подписи. Отличие электрон ной цифровой подписи от рукописной.

Основы информатики 1. Системный подход как методологическая основа любого научного исследования. Основные на правления системного подхода.

2. Метод социально-правового моделирования. Понятие и виды моделей. Этапы процесса модели рования. Кибернетический метод. Метод формализации.

3. Метод алгоритмизации и программирования. Понятие и требования к алгоритмам. Семантиче ский и синтаксический анализ. Математические методы. Методы теории информации.

Информационные системы 1. Служба WWW. Распределенные объектно-ориентированные технологии. Стандарт CORBA.

Функции брокера запросов к объектам (ORB). Политики жизненного цикла серверных объектов.

Принципы и средства разработки CORBA-приложений.

2. Web-технологии. Повышение презентационных возможностей WWW: язык JavaScript. Интегра ция WWW с технологиями Java. Преодоление ограничений на пассивность WWW-сервера: язы ки PHP и ASP. Концепция информационного портала.

3. Web-сервисы. Распределенная объектная среда.Net. Модели исполнения.Net-приложений. Язык C#. Служба UDDI. Протокол SOAP. Описание метаданных web-сервисов на языке WSDL. Инте грация компонентов на основе.Net.

4. Распределенные системы управления рабочими процессами. Электронная коммерция (e commerce) и электронное делопроизводство (e-business). Архитектура автоматизированной сис темы управления предприятием.

5. Протокол HTTP, технология CGI. Язык HTML. Технологии PHP, ASP и JSP. Порталы. Техноло гическая платформа J2EE.

6. Язык XML как универсальное средство структурирования электронных документов. Язык XSL/XSLT Структурная модель документа (DTD). Сопутствующие спецификации: namespaces, Xlink/Xpointer., проект Semantic Web. Онтологии предметных областей.

Элементы теории и практики программирования 1. Основные понятия логического программирования. Методы составления программ и их испол нения в парадигме логического программирования. Теорема Эрбрана. Метод резолюций. Теоре ма о полноте метода резолюций. Денотационная и операционная семантика.

2. Основные концепции функционального программирования. Методы функционального про граммирования и их реализация. Примеры систем функционального программирования.

3. Основные концепции обьектно-ориентированного программирования. Организация выполнения объектно-ориентированных программ. Примеры объектно-ориентированных систем программи рования.

4. Алфавитное кодирование. Алгоритмы распознавания алфавитного кодирования. Коды с исправ лением ошибок. Методы сжатия кодированной информации. Системы программирования, типо вые компоненты СП: языки, трансляторы, редакторы связей, отладчики, текстовые редакторы.

Понятие иерархии абстрактных машин.

5. Языки программирования. Синтаксис, семантика. Подходы к классификации языков (по уровню абстракции, по классам применения, по классам пользователей).

6. Основные концепции процедурно-ориентированных языков программирования. Методы проце дурного программирования. Примеры.

7. Понятие о методах трансляции. Лексический, синтаксический, семантический анализ, основные алгоритмы генерации объектного кода. Типы модулей (исходный, загрузочный, объектный).

Связывание модулей по управлению и данным.

8. Классификация формальных грамматик. Их использование в лексическом и синтаксическом ана лизе. Атрибутные грамматики. Теорема о неразрешимости проблемы распознавания совпадения контекстно-свободных языков.

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

10. Макросредства, макровызовы, языки макроопределений, условная макрогенерация, принципы реализации.

Методы организации сетей ЭВМ 1. Основные принципы функционирования сетей ЭВМ. Классификация сетей по масштабу и топо логии.

2. Понятие сетевого протокола. Семиуровневая модель OSI/ISO. Понятие стандарта. Сетевая архи тектура TCP/IР основные принципы организации и функционирования.

3. Способы маршрутизации сообщений в сетях ЭВМ.

4. Основные функции сервера в сети ЭВМ. Состав и структура его программного обеспечения.

5. Основные принцип и средства управления сетью.

6. Проблемы создания глобальных и интегрированных информационно-телекоммуникационных систем и сетей на основе технологий grid.

7. Проблемы защиты информации от несанкционированного доступа.

Методы хранения, организация и доступ к данным 1. Концепция типа данных. Абстрактные типы данных. Объекты (основные свойства и отличи тельные черты). Основные структуры данных, алгоритмы обработки и поиска. Модели данных.

Иерархическая, сетевая, реляционная, алгебра отношений. Примеры соответствующих СУБД.

2. Информационно-поисковые системы. Классификация. Методы реализации и методы ускорения поиска.

3. Базы данных. Основные понятия языков управления и манипулирования данными. Распреде ленные базы данных, активные базы данных, интегрированные базы данных.

4. Понятие о базе знаний, их использование в экспертных системах и системах логического выво да. Способы представления знаний.

5. Организация физического уровня баз данных. Методы индексирования и сжатия данных.

6. Использование баз данных в распределенном окружении. Многоопорная архитектура доступа к базе данных. Распределенные транзакции. Взаимодействие между SQL-серверами. Принципы репликации данных. Язык баз данных SQL. Средства управления и изменения схемы базы дан ных, определения ограничений целостности. Контроль доступа.

Список литературы (основной):

1. Кнут Д. Искусство программирования для ЭВМ. Основные алгоритмы. – М.: Мир, 1976.

2. Самарский А.А., Михайлов А.П. Математическое моделирование. – М.: Физматлит, 1997.

3. Дейт К.Дж. Введение в системы баз данных. – 8-е изд. – М.: Вильямс, 2005.

4. Янг М.Дж. Visual C++ 6. Полное руководство. – Издательская группа BHV, 2000.

5. Николас К. Разработка бизнес-приложений с помощью Java 2. – М.: Лори, 2002.

6. Непейвода Н.Н. Прикладная логика: Учеб. пособие. – 2-е изд. – Новосибирск: Изд-во Новосиб.

ун-та, 2000.

7. Непейвода Н.Н., Скопин И.Н. Основания программирования. – Москва–Ижевск: Ин-т компью терных исследований, 2003.

8. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. – М.: Физматлит, 2004.

9. Тей А., Грибомон П., Луи Ж. Логический подход к искусственному интеллекту. – М.: Мир, 1990.

10. Буч Г. Объектно-ориентированный анализ и программирование. – М.: Бином, 2000.



Pages:   || 2 |
 




 
2013 www.netess.ru - «Бесплатная библиотека авторефератов кандидатских и докторских диссертаций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.