Басты бет Оқытушылар Бектемесов Аманжол Тохтямович

Бектемесов Аманжол Тохтямович


Қауымдастырылған профессор
«Бағдарламалық инженерия» кафедрасы

PhD

email: a.bektemessov@metu.kz



Кәсіби тәжірибе

Негізгі кәсіби тәжірибе

  • 01.09.2004 - 01.03.2008, әл-Фараби атындағы Қазақ Ұлттық университетінің Математика және механика ғылыми-зерттеу институты, кіші және ғылыми қызметкер
  • 03.06.2007 - 08.08.2010, «Алатау-Софт» ЖШС, бағдарламашы-әзірлеуші
  • 01.09.2008 - 01.08.2010, әл-Фараби атындағы ҚазҰУ Математика және механика ғылыми-зерттеу институты, аға және жетекші ғылыми қызметкер
  • 01.09.2010 - 01.07.2017, Қазақ ұлттық университетінің Математика және механика ғылыми-зерттеу институты. Әл-Фараби, зертхана бөлімінің меңгерушісі, жетекші ғылыми қызметкер
  • 01.09.2010 - 30.06.2011, «Информатика» ҚазҰУ ат. әл-Фараби, оқытушының көмекшісі
  • 01.09.2012 - 26.12.2014, қазіргі уақытқа дейін әл-Фараби атындағы ҚазҰУ информатика кафедрасының аға оқытушысы,
  • 01.08.2017 - 01.06.2019 Тұран университеті ақпараттық технологиялар кафедрасының меңгерушісі.
  • 01.08.2021 – қазіргі кезде Қазақстан инженерлік-технологиялық университеті «Информатика, автоматика және телекоммуникациялар» кафедрасының меңгерушісі.

Біліктілікті арттыру

  • Австрия, Вена: 02.2012-07.2012 Оқу 1 семестр (Вена техникалық университеті, модельді тексеру, компьютерлік тексеру, гибридті жүйелер) Сертификат
  • Австрия, Вена: 13.08.2012-25.08.2012 «TEMPUS-CANDI жобасының мүшелеріне берілетін дағдыларды оқыту сессиясы» (Вена техникалық университеті, Project Tempus) Сертификат (36 сағат)
  • Ресей, Псков: 26-28.04.2013 «PERCo жүйелері мен жабдықтары» (PERCo оқу орталығы) сертификаты
  • Германия, Мюнхен: 22.10.2013-11.12.2013 «Электрондық оқыту және қайта даярлау үшін оқыту құзыреттілігі және инфрақұрылымы» (CANDI жобасына сәйкес) Сертификат
  • Қазақстан, Алматы: 07.12.2015-27.04.2016 «Ағылшын тілі курсы» Орта деңгей (әл-Фараби атындағы ҚазҰУ) Сертификат (72 сағат)
  • Түркия, Анкара: 15.09.2018-28.09.2018 Кванттық компьютерлер (Гази университеті) сертификатынан хаос жойылуы мүмкін бе (72 сағат)
  • Қазақстан, Алматы: 14.10.2019-11.11.2019 Бағдарламалық құралды тексеру (әл-Фараби атындағы ҚазҰУ) сертификаты (72 сағат)
  • Қазақстан, Алматы: 06.01.2020-31.01.2020 Бағдарламалық жасақтаманы әзірлеудің заманауи технологиялары (KazRENA, IIAT) Сертификат (72 сағат)

АТ әзірлеу және бағдарламалау тәжірибесі

  • Мобильді қосымшаларды әзірлеу, Kotlin (Cross Platform Application), Автоматтандыру және жүйелерді басқару, C++, Python, Java және т.б.
  • Алматыдағы мектептер мен колледждер үшін онлайн оқыту платформасы әзірленді http://tech-edu.kz/.
  • Тұран университетінің автобустарын (Arduino, Android, GPS) қадағалау үшін ақпараттық жүйе әзірленді.
  • 01.03.2020 - 25.03.2020, пандемия және карантин кезеңінде Алматы қаласы Білім басқармасымен бірлесіп Алматы, Балапан кенттері үшін бейнелекциялар мен бейне сабақтар топтамасын ұйымдастырып, жасауға атсалысты. және Yelarna арналары.
  • Оның роботтар мен дрондарды жасау тәжірибесі бар.
Білімі

2000 - 2004 О.А. Жәутіков атындағы Республикалық мамандандырылған физика-математика мектеп-интернаты.. Математикалық талдау, программалау.

2004 - 2008 әл-Фараби атындағы Қазақ ұлттық университеті. "050602 - Информатика" мамандығы бойынша бакалавр академиялық дәрежесі.

2008 - 2010 әл-Фараби атындағы Қазақ ұлттық университеті. "6N0602 - Информатика" мамандығы бойынша жаратылыстану ғылымдарының магистрі.

2010 - 2014 Вена техникалық университеті(Австрия) және әл-Фараби атындағы Қазақ ұлттық университеті . "6D060200 - Информатика" мамандығы бойынша докторы (PhD).

2015 - әл-Фараби атындағы Қазақ ұлттық университеті. Докторлық (PhD) диссертация қорғады, тақырыбы: «Модельді верификация негізінде сандық модельдеудің параллельді бағдарламалық жүйелерін тексеру».

Ғылыми қызығушылықтары

Мемлекеттік жобалар:

  1. «ТӨМЕН ҚҰРЫЛЫМДЫ ДЕРЕКТЕРДІ ӨҢДЕУ ҮШІН ЗИЯТТЫ ЖОҒАРЫ ТИІМДІ АҚПАРАТТЫҚ-АНАЛИТИКАЛЫҚ ІЗДЕУ ЖҮЙЕСІН ДАМЫТУ»
  2. «ИСАР-ІІ МҰНАЙ ЖӘНЕ ГАЗ КЕНДЕРІН ИГЕРУДІ ТАЛДАУДЫҢ АҚПАРАТТЫҚ ЖҮЙЕСІН ҚҰРУ»

және т.б.

Студенттік және магистрлік жобалар:

  1. Кәсіпорындардың автобустарын қадағалаудың ақпараттық жүйесін әзірлеу (Arduino, Android, GPS).
  2. Шлагбаумға автомобильдің мемлекеттік нөмірлерін тану жүйесін әзірлеу – «Магистранттың ғылыми-зерттеу жұмысы» (МҒЗЖ) республикалық конкурсында 2-орын .

және т.б.

Коммерциялық жобалар:

  1. http://tech-edu.kz - Алматы қ.
  2. GoglePlay - iOS, Android мобильді қосымшаларын әзірлеу "Мұғалім Сәни"
  3. http://steam-online.kz/ - РОБОТОТЕХНИКА ЖӘНЕ БАҒДАРЛАМАЛАУ мектеп және колледж оқушыларына арналған онлайн оқу платформасы

және т.б.



Жарияланымдар

Мерзімді басылымдарда:

  1. Жумагулов Б.Т., Данаев Н.Т., Ахмед-Заки Д.Ж., Маткерим Б., Бектемесов А.Т. Модернизация информационной системы анализа разработки нефтегазовых месторождений ИСАР-II. // Вестник НИА РК. Алматы – 2013. – С. 14-20.
  2. Ахмед-Заки Д.Ж., Бектемесов А.Т. Модели параллельных программ и их верификация при использовании транзакционной памяти. // Вестник НИА РК. Алматы – 2014.  – С. 30-35.
  3. Ахмед-Заки Д.Ж., Бектемесов А.Т. Симмуляция распределенных программ при использовании транзакционной памяти // Вестник КазНУ. Алматы – 2014.  – С. 26-33.
  4. Бектемесов А.Т. Ақпараттарды үлкен көлемді құжаттардан BDD әдісімен іздеу // Вестник КазНПУ. Алматы, 3(51), 2015, С. 201-205
  5. Бектемесов А.Т., Бурлибаев А.Ж., Илялетдинов Ф.А.  Распределенные алгоритмы и их верификация с помощью Byzantine model checker // Вестник КазНУ. Алматы, 4(92), 2016, С. 70-80.
  6. Бектемесов А.Т. Имитационные моделирование и анализ современных алгоритмов балансировки нагрузки/ 2017, С. 276-283
  7. Бектемесов А.Т., ЗубайраевТ.Н., Тусупов К.А. Разработка мобильного приложения для получения доступа к базе данных. Вестинк “КазНПУ” 2019, и т.д.

Конференция материалдарында:

  1. Данаев Н.Т., Ахмед-Заки Д.Ж., Бектемесов А.Т. О верификации протокола передачи данных W.C. Lynch. // Актуальные проблемы современной математики, информатики и механики – II. - международная конференция.  Алматы – 2011.
  2. Akhmed-Zaki D., Danaev N., Matkerim B. Design of Distributed Parallel Computing Using by MapReduce/MPI Technology. // Parallel Computing Technologies 12th International Conference, PaCT 2013. St. Petersburg, Russia. – 2013 (Scopus).
  3. Бектемесов А.Т., Ахмед-Заки Д.Ж. Распределение и верификация моделей параллельных программ на базе mpi // XIV Международная конференция «Высокопроизводительные параллельные вычисления на кластерных системах», ПНИПУ, г. Пермь, Россия – 2014.
  4. Бектемесов А.Т. Компьютерлік программаларды spin верификаторында симуляциялау және верификациялау // Халықаралық ғылыми-практикалық конференция (международная научно-практическая конференция) «Мектепте және жоғары оқу орындарында математиканы, физиканы және информатиканы оқытуды жетілдіру мәселелері», Абай атындағы ҚазҰПУ, Алматы – 2014.
  5. Ахмед-Заки Д.Ж., Бектемесов А.Т. Распределение параллельных программ и их верификация при использовании транзакционной памяти // III-я Международная научно-практическая конференция «Состояние, проблемы и задачи информатизации в Казахстане», КазНТУ, Алматы – 2014.
  6. Бектемесов А.Т., Аубакиров С. Метод BDD для сложных поисковых систем // Международная конференция «Актуальные проблемы вычислительной и прикладной математики», г. Новосибирск, 2015, С. 77-78
  7. Бектемесов А.Т., Куатбаева А.А. Using of model checking for combining tasks // International Conference "Inverse Problems in Finance, Economics and Life Sciences", Almaty, Kazakhstan, al-Farabi KazNU, December 26-28, 2017.
  8. Айдаров К.А., Бектемесов А.Т., Балакаева Г.Т. Имитационное моделирование и анализ современных алгоритмов балансировки нагрузки // Международная конференция «Активные методы обучения», 23-24 ноября 2017 г., Алматы, КазНУ им. аль-Фараби совместно с университетом Нью-Касла (Великобритания).
  9. Bektemessov A.T., Kuatbayeva A.A., Kossynbay Y.B., Abdiyev K.S., Dosanalieva A. Project training method as graduate research activity development tool // II Международная научная конференция «Информатика и прикладная математика» ИИВТ КН МОН РК и КазНУ им. аль-Фараби, 2018. и т.д.
  10. Бектемесов Аманжол ТохтямовичУсманова А.М. Нысанды нақты уақыт жүйесінде автоматты түрде бақылаудың ендірілген жүйесі 2020 г. 5 - стр. 
Оқылатын пәндер


Бағдарламалық қамтамасыз етуді әзірлеу құралдары

Пәннің мақсаты аспаптық бағдарламалық жасақтаманы құрудың теориялық негіздерін зерттеу, аспаптық бағдарламалық жасақтаманы қолдану бағытын, құрамын, әдістері мен құралдарын анықтау болып табылады. Студенттер Ақпараттық жүйелерді әзірлеу кезінде заманауи CASE технологияларын қолдану дағдыларын игереді. Оқу нәтижесінде студент бағдарламалық жасақтаманы әзірлеу процесінің негізгі принциптері, құру принциптері, құрылымы және Windows технологиясын құруды қолдайтын құрал-саймандармен жұмыс істеу әдістері туралы терең білімді көрсете алады; аспаптық бағдарламалық құралдарды пайдалану; бағдарламалық құралдарды әзірлеу; бағдарламалық өнімді әзірлеу құралдарын таңдау кезінде салыстырмалы талдау жүргізу.

Үш өлшемді технологиялар

Компьютерлік кестеге кіріспе. Flash анимация. Бейне және дыбысты өңдеу бағдарламалары. Adobe Photoshop графикалық редакторы. Сурет салу техникасы Adobe Photoshop. CorelDraw.3D STUDIO MAX. 3D STUDIO MAX интерфейс элементтерін шолу. Өлшеу бірліктерімен, байламдармен және басқа да 3D STUDIO MAX суретінің көмекші құралдарымен жұмыс істеу. 3D STUDIO MAX объектілерді бөлу әдістері. Ресурстар реттеушісін және 3D STUDIO MAX кеңейту модулін пайдалану. 3D STUDIO MAX нысандарын моделдеудің тұжырымдамалық негіздері.

Робототехника және робототехникалық жүйелер

Пәннің мақсаты жасанды интеллект пен нейрондық желілерді қолдана отырып робототехникалық жүйелерді жобалау болып табылады. Оқыту нәтижесінде студент жасанды интеллект пен нейрондық желілерді қолдана отырып, роботтандырылған жүйелер үшін жылжымалы механизмдердің модельдерін жобалауға, оларды құрастыруға және пайдалануға қабілетті болады.

Жүйелік бағдарламалау

Пәннің мақсаты жүйелік деңгейде бағдарламалау саласында білім алушының құзыреттілігін және жоғары деңгейлі тілдерде бағдарламаларды іске асыру қағидаттарын қалыптастыру, С++ тілінде дайындалған бастапқы бағдарламаларды трансляциялау қағидаттарымен танысу және тиімді жүйелік бағдарламалық қамтамасыз етуді әзірлеу үшін алынған білімді қолдану болып табылады. Оқу нәтижесінде студент, компьютердің құрылысы мен архитектурасы негіздері бойынша алған білімді қолдана отырып, операциялық жүйелердің нақты конфигурацияларын баптауға, бағдарламаларды әзірлеуге, UNIX операциялық жүйесінде жүйелік қоңырауларды қолдана отырып, бағдарламаны модуль деңгейінде күйге келтіруге және тестілеуге қабілетті болады.

Бағдарламалық жасақтаманы тестілеу

Пәннің мақсаты студенттерді бағдарламалауда құрылымдық және объектіге бағытталған тәсілде бағдарламалық жасақтаманы тестілеудің негізгі түрлері мен әдістерімен таныстыру, тестілеудің заманауи құралдарын игеру, компьютерлік бағдарламаларды тестілеу тәжірибесін алу болып табылады. Оқыту нәтижесінде студент тестілеудің критерийлері мен түрлері бойынша дағдыларды көрсетуге, модульдік, интеграциялық және жүйелік тестілеуді орындауға, тестілеуді автоматтандырудың жалпы принциптерін қолдануға, модульдік тестілеу құралдары мен әдістерін қолдануға, математикалық модельді қолдана отырып бағдарламалық өнімді тестілеудің күрделілігін бағалауға, тестілеудің барлық түрлерін өткізуге қабілетті болады.

Сабақ кестесі

Понедельник Вторник Среда Четверг Пятница Суббота
08:30
09:20
09:25
10:15
10:20
11:10
11:15
12:05
12:10
13:00
13:30
14:20
14:25
15:15
Тестирование программного обеспечения, Лекции
(онлайн занятие)
Алгоритмизация и программирование, Лекции
(Учебный корпус №1, 64 (И))
15:20
16:10
Тестирование программного обеспечения, Лекции
(онлайн занятие)
Алгоритмизация и программирование, Лекции
(Учебный корпус №1, 64 (И))
16:15
17:05
Тестирование программного обеспечения, Практики
(онлайн занятие)
Алгоритмизация и программирование, Практики
(Учебный корпус №1, 64 (И))
17:10
18:00
18:10
19:00
19:10
20:00
Ашық сабақтар