философия докторы (PhD)
"Жүйелік инженерия" білім беру бағдарламасының мақсаты жоғары және жоғары оқу орнынан кейінгі білім беру жүйесі, ғылыми-зерттеу саласы, мемлекеттік органдар мен индустрия үшін жоғары білікті ғылыми және ғылыми-педагогикалық кадрларды сапалы даярлауды қамтамасыз ету болып табылады. Білім беру бағдарламасын жүзеге асыру маманның кәсіби тұлғасын қалыптастыруға бағытталған.
заманауи жүйелік инженерияның негізгі принциптерін түсіндіру;
күрделі жүйелерді жобалау мен әзірлеудің теориялық және әдіснамалық негіздерін тереңдетіп оқыту негізінде жүйелік инженерия саласында инновациялық қызметті жүргізу, сондай-ақ сабақтас ғылыми салалар мен цифрлық технологиялардың білімі мен әдіснамасын пайдалану;
ғылымды дамытатын жаңа тұжырымдамалық білімді құру, заманауи көп қырлы, пәнаралық міндеттерді шешу үшін жүйелі тәсілді қолдану;
ғылыми іс-шараның жұмыс тілінде ғылыми пікірталастарда, соның ішінде халықаралық пікірталастарда өзінің ғылыми пікірін дәлелдей отырып, қорғау.
Жүйелік инженерия
8D06105
Ақпараттық технологиялар
ғылыми - педагогикалық бағыт
күндізгі
2200000 〒 (күндізгі, ғылыми - педагогикалық бағыт)
0 〒 (шетелдіктер, күндізгі, ғылыми - педагогикалық бағыт)
2
[АБ1+MT+АБ2+Емтих] (100)
Пәнді оқып-үйренудің мақсаты: докторантура деңгейіне сай академиялық жазуға қажетті білімдерді және техниканы меңгеру. Бұл пәнде үш негізгі академиялық жазу мәселелері қарастырылады: 1. жүйелік инжерения бойынша академиялық текстерді жазу; 2.шетелдік журналдарға ағылшын тілінде ғылыми мақалалар жазу; 3. докторлық диссертацияны жазу. Оқытудың нәтижесінде докторант жүйелік инженерия бойынша нақты, айқын, компакт және объективті академиялық жазу стилдерін жетілдіреді және қалыптастырады
3
[АБ1+MT+АБ2+Емтих] (100)
Бұл пәнде докторанттар IT-да қолданылатын зерттеу әдістемесін түсінеді және игереді. Курс эксперимент дизайны, статистикадан бастап, оқу, ғылыми жұмыстарды бағалау және зерттеу нәтижелерін ұсынудың әртүрлі аспектілеріне дейінгі тақырыптарды қамтиды. Докторанттар дәрістерде қамтылған әртүрлі зерттеу шеберлігі мен әдістемелерін қолдануға мүмкіндік беретін тапсырмалар беріледі. Докторанттар жеке ғылыми жұмыстары бойынша дереккөздерді таңдап, орындалу алгоритмдерін жобалап және анықтайды, докторлық ғылыми жобаларының нәтижесіне болжам жасайды және ғылыми-зерттеудің ұсыныстарын жасайды.
12
Докторлық диссертация
Докторлық диссертацияны жазу және қорғаудың мақсаты: докторлық диссертацияны қорғау үшін ғылыми-зерттеу жұмыстарының мазмұнын жариялау қабілетін қалыптастыру болып табылады.<br/> Курсты оқу барысында докторант төмендегідей білімдерді меңгереді:<br/> 1. теориялық немесе қолданбалы міндеттерді шешуге мүмкіндік беретін жаңа ғылыми негізделген теориялық және эксперименттік нәтижелердің мазмұнын негіздеу немесе нақты ғылыми бағыттарды дамытудағы басты жетістік;<br/> 2. қызметтің кəсіби саласының ерекшелігіне қарай берілген тапсырмалардың шешімдерінің толықтығын бағалауды түсіндіру;<br/> 3. олар зерттеулер мен практикалық мәселелерді шешудің балама шешімдерін талдай алады және осы нұсқаларды іске асыру перспективаларын бағалайды;<br/> 4. ғылыми мәтіндерді жазу дағдыларын қолдануға және оларды ғылыми басылымдар мен презентациялар түрінде көрсету.<br/> 5. ғылыми іздестіруді жоспарлау және құрылымдау, ғылыми-зерттеу проблемасын анық көрсету, оны зерттеудің жоспары / бағдарламасы мен әдістерін әзірлеу, мемлекеттік білім беру мекемесінің талаптарына сәйкес ғылыми дәреже бойынша диссертация түрінде ғылыми-біліктілік жұмысын ресімдеу «8D07502 -Стандарттау және сертификаттау (салалар бойынша)» білім беру бағдарламасы бойынша философия докторы (PhD).<br/> <br/> <br/> Докторлық диссертацияны жазу және қорғауды оқу нәтижесінде докторанттар төмендегі мәселелерді қарастырады: Қорғауға ұсынылатын диссертацияларды рәсімдеу үшін құжаттарды ресімдеу. Диссертацияның ақпараттық картасы және тіркеу-тіркеу карточкасы (Visio 2003 форматында). Диссертациялық жұмыстың алдын-ала қорғалған мекемесінің мәжілісінің хаттамасынан үзінді. Жоғары аттестаттау комиссиясына хат жазыңыз. Авторефератты жариялау мүмкіндігі туралы сараптамалық қорытынды. Диссертацияны жариялау мүмкіндігі туралы сараптамалық қорытынды. Есеп комиссиясының отырысының хаттамасы. Дауыс беру бюллетені. Диссертациялық кеңес отырысының стенограммасы. Ғылыми мақалалар тізімі. Ресми қарсыластың жауабы. Жетекші ұйымға шолу. Ғылыми кеңесшіні еске алу.
5
[АБ1+MT+АБ2+Емтих] (100)
Пәннің мақсаты: объективті бағдарланған парадигманы қолдану арқылы ауқымды мәселелерді шешуге мүмкіндік жасау.<br/> Пәнді оқу нәтижесінде докторанттарда келесі қабілеттерді қалыптастыру:<br/> - терезе мен веб-қосымшаларды дамытуға объектілі-бағытталған көзқарастың артықшылықтары мен сыни атрибуттарын пайдалану;<br/> - бағдарламалық жасақтама талдау / жобалау құралдарының негізгі атрибуттарын қолдану;<br/> - бағдарламалық кодты, компоненттер мен модульдерді қайта қолданыңыз;<br/> - әртүрлі дизайн кезеңдері үшін UML объектілі модельдеу үшін графикалық сипаттама тілін пайдаланып диаграммаларды салу;<br/> - бағдарламалық қамтамасыз етуді әзірлеуге объектілі-бағытталған модельдерді әзірлеу.<br/> Пән бойынша келесі аспектілер қарастырылады: Объектілі-бағытталған бағдарламалық қамтамасыз ету. UML көмегімен объектілі-бағытталған модельдеу. Объектілі-бағытталған бағдарламалау, модельді инкапсуляция, ақпаратты жасыру, полиморфизм, мұра. Құжаттау коды. Бірліктерді сынау Графикалық пайдаланушы интерфейсі. Модульділік, инкапсуляция, ақпаратты жасыру, абстракция және полиморфизм принциптерін қолданатын бағдарламалық жасақтама әзірлеу және әзірлеу.
5
[АБ1+MT+АБ2+Емтих] (100)
Пәннің мақсаты параллельді және таратылған алгоритмдерді енгізу, оларды жоғары өнімді нақты есептеу жүйелерінде іске асыру.<br/> Пәнді оқу нәтижесінде докторанттарда келесі қабілеттерді қалыптастыру:<br/> - параллельді алгоритмдерді әзірлеу, енгізу және талдау;<br/> - жалпы жад түйіндерінде OpenMP, графикалық сопроцессорлар үшін CUDA және бөлінген жады жүйелеріне арналған MPI және PGAS үлгілері сияқты заманауи HPC жүйелерінде есептеулерді жүзеге асырады;<br/> - проблеманың көлемін ұлғайтуға және жүйенің көлемін ұлғайтуға әсер ететін ауқымды параллельді алгоритмдерді жасауға;<br/> - міндеттердің асимптоталық күрделілігін төмендету, байланыс пен деректер қозғалысын төмендету мүмкіндігін талдау;<br/> - компьютерлік жүйелердің үш негізгі классы үшін алгоритмдерді жасау және талдау: жалпы жадпен көп-ядролы, кластерлер мен суперкомпьютерлер сияқты, терең еске иерархиясы бар жүйелі немесе параллель жүйелер сияқты бөлінген жады бар жүйелер.<br/> Пән бойынша келесі аспектілер қарастырылады: HPC сәулетіне кіріспе және параллель бағдарламалау. Негізгі сәулет және ұйымдастыру: жады иерархиясы, бөлінген және бөлінген жадымен сәулет, многопроцессорлық архитектура. Ақуыздық деңгейде параллельді кіріспе. Галлераторлар (GPU, Xeon-Phi). Тиімділікті болжау және бағалау. Параллельді бағдарламалау / есептеу: MPI / OpenMP-ке кіріспе, CUDA бағдарламалау негіздері. Кластерлік жұмыстарды оңтайландыру: HPC ортасында тапсырмаларды орындау, тапсырмаларды жоспарлаушы, кластерлік деңгейде жүктемені теңестіру. Ашық бастапқы бағдарламалық жасақтама. Бағдарламалық қамтамасыздандыру параллелизациясы: домен / кеңістіктік ыдырау, өзара байланыссыз бөлу, динамикалық жүктемені теңгеру, многопроцессорлық байланыс.
[АБ1+MT+АБ2+Емтих] (100)
Пәннің мақсаты - заманауи технологиялар негізінде АТ басқару жүйелері мен қызметтерін құру мүмкіндігін құру.
Пәнді оқу нәтижесінде докторанттарда келесі қабілеттерді қалыптастыру:
- АТ-инфрақұрылымын басқару саласындағы ғылыми мақалаларды өңдеу;
- заманауи зерттеулермен ұсынылған АТ-инфрақұрылым мен қызметтерді басқарудағы соңғы жетістіктерді талдау;
- ғылыми саланың талаптарын ескере отырып, зерттеу үдерісін жоспарлау және жүргізу;
- АТ инфрақұрылымын және қызметтерін басқаруды талдау үшін технологияларды, бағдарламалық қамтамасыз етуді және компьютерлік техниканы таңдау;
- ғылыми-зерттеу және тәжірибелік-конструкторлық жұмыстарды жасау және тарату, жоғары технологиялық өнімдерді ғылыми қоғамдастықпен тиімді өзара іс-қимылды ұйымдастыру.
Пән бойынша келесі аспектілер қарастырылады: Қызмет көрсету стратегиясы. Негізгі идеялар. Негізгі үдерістер мен іс-шаралар. Қызметтерді жобалау. Қызметтерді жылжыту. Қызметтерді басқару. Үздіксіз жақсарту қызметі. Процестер және сервистік басқару функциялары. Бұлтты есептеу стандарты. Бұлтты есептеулердің стратегиялық салдары. Бұлтты сәулет. Бұлтты есептеулерді модельдеу. Бұлтты есептеулер дизайны. Бөлінген жүйелердің түрлері. АТ инфрақұрылымын басқаруды талдау.
[АБ1+MT+АБ2+Емтих] (100)
Пәннің мақсаты - сенсорлық желілер, жеке дерекқорлар және Интернеттегі ақпаратты басқару сияқты технологияларға назар аудара отырып, деректер базасын құру мүмкіндігін құру.
Пәнді оқу нәтижесінде докторанттарда келесі қабілеттерді қалыптастыру:
- ең маңызды және өзекті ғылыми жұмыстарын қоса алғанда, дерекқорды жобалаудың технологияларын академиялық зерттеу үшін іргелі теориялық және әдістемелік ережелерді белгілеу;
- осы саладағы ғылыми мақалаларды қолданады;
- ғылыми үрдісті ғылыми сенімділік талаптарымен жоспарлау және жүргізу;
- деректер базасын жобалау технологияларын талдау үшін технологияларды, бағдарламалық қамтамасыз етуді және компьютерлік техниканы таңдау;
- зияткерлік проблемаларды шешуге немесе шешімдер қабылдауға арналған компоненттерді, мамандандырылған деректерді өңдеу компоненттерін және жалпы ақпаратты басқару компоненттерін әзірлеу.
Пән бойынша келесі аспектілер қарастырылады: Деректер базасының эволюциясы. Реляциялық дерекқор жүйелер. Ақпараттық интеграция. Мәмілелерді өңдеу Байланысты деректер моделі. SQL схемасын анықтау. Алгебралық сұрау тілі. Қатынасты шектеу. Реляциялық дерекқорлар үшін дизайн теориясы. Функционалдық тәуелділіктер туралы ереже. Жоғары деңгейлі дерекқор үлгілері. UML диаграммасынан қатынастарға. Реляциялық дерекқорларды бағдарламалау. Реляциялық алгебра және деректер журналы. Өкілдер мен индекстер. Сақталған процедуралар. Жартылай құрылымды деректерді модельдеу және бағдарламалау.
[АБ1+MT+АБ2+Емтих] (100)
Пәннің мақсаты - есептеу техникасын, жүйелік бағдарламалық жасақтаманы ғылым мен техникада тәжірибелік мәселелерді шешу үшін қолдану мүмкіндігін қалыптастыру.
Осы модуль сәтті аяқталғаннан кейін докторанттар:
- аппараттық және бағдарламалық қамтамасыз ету мүмкіндіктерін ескере отырып, жүйелік бағдарламалық жасақтама құру жолдарын сипаттау;
- программалық өнімді жүргізу мен тестлеуді орындау;
- заманауй программалау тілдерінде программалық өнімді құру;
- модуль деңгейінде жүргізу және тестілеу бағдарламаларын іске асыру;
- алгоритмдер мен программалауды есептеудің күрделілігі мен дұрыстығына талдау жүргізу.
Кәсіптік қызметтің негізгі түрін меңгеру. Компьютерлік жүйелерде программалаудың негізгі тәсілдері. Файл жүйесімен және символды енгізу және шығару жұмысін істейді. Реестрмен жұмыс Ерекшеліктерді өңдеу. Жадты басқару Динамикалық құрастырылған кітапханалар. Үдерісті басқару. Ағындар мен орындалуларды жоспарлау. Ағындарды үндестіру. Үдерістер арасын өзара байланыстыру. Мамандандырылған бағдарламалық қамтамасыз етуді пайдалана отырып, бағдарламалық модульдерді түзету. Бағдарламалық модульдерді тестілеу.
[АБ1+MT+АБ2+Емтих] (100)
Пәннің мақсаты - заманауи компьютерлік жүйелерді зерттеу мен жобалаудағы элементтер мен жүйелердің сенімділігін бағалау әдістері мен технологияларын қолдану мүмкіндігі.
Пәнді оқу нәтижесінде докторанттарда келесі қабілеттерді қалыптастыру:
- компьютерлік жүйенің элементтерінің сенімділігін бағалау әдістерін және технологияларын сипаттау;
- компьютерлік жүйелердің сенімділігін арттырудан туындайтын міндеттерді формальды тұжырымдауды жүзеге асыру;
- компьютерлік жүйелердің сенімділігі мен ақауларға төзімділігін бағалаудың ең қолайлы әдісі негізінде проблеманы шешудің алгоритмін жасау;
- бағдарламалау тілдерін қолдана отырып әзірленген алгоритмді енгізу;
- алгоритмдер мен бағдарламалардың дұрыстығы мен есептеудің күрделілігін талдау.
Пән бойынша келесі аспектілер қарастырылады: Қазіргі әлемдегі сенімділік мәселесі. Түрлі конфигурациялардың өтелмейтін жүйелерінің сенімділігін бағалау. Сенімділіктің сандық көрсеткіштері. Үздіксіз және дискреттік заңдар. Байланысты дистрибуция. Жылдам сенімділік тесттері. Толық емес ақпарат тұрғысынан сенімділікті есептеу. Bayesian тәсілі. Өтелмейтін жүйелердің сенімділігі. Логикалық алгебра арқылы есептеу. Қайтадан сенімділік сенімділігін арттыру әдісі ретінде. Элементтер мен схемаларды таңдау. Резервтелген объектілердің құнын оңтайландыру. Қалпына келтірілген жүйелердің сенімділігі. Қолжетімділік факторларын есептеу. Бағдарламалық қамтамасыз етудің сенімділігін бағалау. Бағдарламаларды бақылау, аяқтау және қабылдау. Кәсіпорындардағы қызмет сенімділігі. Тапсырмалар. Құрылымы мен құжаттары.
[АБ1+MT+АБ2+Емтих] (100)
Пәннің мақсаты инженерлік жүйелерді модельдеудің түрлі әдістерін, сондай-ақ өндірістік және инженерлік орталарда пайдаланылатын сандық және компьютерлік шешімдер әдістерін қолдану мүмкіндігін дамыту.
Пәнді оқу нәтижесінде докторанттарда келесі қабілеттерді қалыптастыру:
- сызықтық және сызықты емес қарапайым дифференциалдық теңдеулер мен детерминирлік жүйелерді сандық модельдеу;
- жаңа кіріс деректеріне және шығыс деректерін тексеруге негізделген модельдің мінез-құлқын болжаңыз;
- шығармашылық көзқараспен және кәсіптік тәжірибеде жаңа жағдайларға бастамашылықпен және жеке дербестік пен есептіліктің жоғары деңгейімен зерттеу жұмыстарының негізінде бағалау тапсырмаларын жоспарлау және орындау;
- инженерлік мәселелер бойынша шығармашылық және инновациялық шешімдерді әзірлеу;
- модельдеу ортасында жүйелік есептер мен жүйелік сипаттамаларды жасау.
Пән бойынша келесі аспектілер қарастырылады: модельдеу және модельдеудің негізгі аспектілері. Модельдеу үдерісі. Модельдер мен жүйелер. Модельдеуге байланысты статистикалық есептер. Дискретті және үздіксіз модельдеу. Қолданбаларды модельдеу. Бағдарламалық жасақтама модельдеу ортасына кіріспе. Желіні моделдеу Негізгі технологиялық модульдер. Толық операцияларды модельдеу. Мимуляция арқылы шешім қабылдау. Модельдеу процестері. Кеңейтілген үлгілеу әдістері. Модельдеу үрдісін талдау. Құны және анимация.
[АБ1+MT+АБ2+Емтих] (100)
Пәннің мақсаты - топтық жобаларды орындау қабілетін қалыптастыру, онда докторанттар жұмыс істейтін қосымшаны әзірлеу және шығару үшін сыртқы клиентпен жұмыс істеу керек.
Пәнді оқу нәтижесінде докторанттарда келесі қабілеттерді қалыптастыру:
- кітапханалардың үлкен іріктеуін тиімді пайдалана отырып, объектілі-бағдарланған бағдарламалар әзірлеу және енгізу;
- интеграцияланған әзірлеу ортасы, отладчик және код репозиторийі сияқты бағдарламалау құралдарын пайдалану;
- мобильді қосымша, бұлттық қолданба немесе веб-қызмет болуы мүмкін нақты клиенттік қосымшаның бағдарламалық жасақтамасын әзірлеу, құжаттау және енгізу;
- көптеген құрылғыларды және ажыратымдылықтарды масштабтау үшін қолайлы графикалық пайдаланушы интерфейстерді жобалау және енгізу;
- командалық жұмыс әдістерін және жобаны ұйымдастыру дағдыларын қолдана білу.
Пән бойынша келесі аспектілер қарастырылады: Бағдарламалық қамтамасыз ету процестерінің модельдері. Біртекті ұтымды процесс. Agile бағдарламалық қамтамасыз етуді әзірлеу. Икемді әдістерді масштабтау. Жүйелік модельдеу. Модельге бағытталған дизайн. Бағдарламалық жасақтама әзірлеу, енгізу, тестілеу. Open source development. Бағдарламалық қамтамасыз етуді тестілеу Бағдарламалық жасақтама эволюциясы. Бағдарламалық қамтамасыздандыру. Компонентті бағдарламалық қамтамасыз ету. Компонент құрамының түрлері. Бағдарламалық қамтамасыз етуді тарату. Бағдарламалық қамтамасыздандырудың аспектілері.
Защита практики
Тәжірибе мақсаты: өзекті ғылыми мәселені зерттеуде тәжірибе жинақтау, оқу процесінде алған кәсіби білімдерін кеңейту және өз бетімен ғылыми жұмысты жүргізудің практикалық дағдыларын дамыту. Практика экономикалық білімдерді зерттеу, талдау және қолдану дағдыларын дамытуға бағытталған.
Защита практики
Пәннің мақсаты: жоғары оқу орындарында педагогикалық қызметті жүзеге асыру, білім беру процесін жобалау және инновациялық білім беру технологияларын пайдалана отырып, оқу сабақтарының жекелеген түрлерін жүргізу қабілетін қалыптастыру.
Курсты оқу барысында магистрант төмендегідей білімдерді меңгереді: