Специальностей научных и научно-педагогических кадров высшей квалификации
жүктеу/скачать 1,63 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- Шифр специальности: 05.01.04
- Области исследований
| 05.00.00 – ТЕХНИЧЕСКИЕ НАУКИ
79 разработка теоретических основ создания программных систем для новых информационных технологии�; исследования и разработка требовании� к программно-техни- ческим средствам современных телекоммуникационных систем на базе вычислительнои� техники. Шифр специальности: 05.01.04 – Математическое и программ- ное обеспечение вычислительных машин, комплексов и компьютер- ных сетеи� Формула специальности: «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» исследует теоретические основы математического програм- мирования; процессы проектирования, анализа алгоритмов и про- граммных средств, языков программирования, операционных сис- тем, баз данных и знаний; программные средства, расширяющие ин- теллектуальные возможности компьютеров и компьютерных систем для автоматизации процессов проектирования; программные сред- ства различного назначения в повышении эффективности и надеж- ности процессов обработки и передачи данных в вычислительных машинах, комплексах и компьютерных сетях. Области исследований: модели, методы и алгоритмы проектирования и анализа про- грамм и программных систем, их эквивалентных преобразовании�, верификации и тестирования; языки программирования и системы программирования, семан- тика программ; модели, методы, алгоритмы, языки и программные инструменты для организации взаимодеи�ствия программ и программных систем; системы управления базами данных и знании�; программные системы символьных вычислении�; операционные системы; человеко-машинные интерфеи�сы; модели, методы, алгоритмы и программные средства машиннои� графики, визуализации, обработ- ки изображении�, систем виртуальнои� реальности, мультимедии�ного общения; модели и методы создания программ и программных систем для параллельнои� и распределеннои� обработки данных, языки и инстру- ментальные средства параллельного программирования; модели, методы, алгоритмы и программная инфраструктура для организации глобально распределеннои� обработки данных; оценка качества, стандартизация и сопровождение программных систем. жүктеу/скачать 1,63 Mb. Достарыңызбен бөлісу:
|