Наука
Директор института
Шарипбаев Алтынбек Амирович, доктор технических наук, профессор.
Структура
В составе института имеются восемь лаборатории:
Компьютерная лингвистика; Компьютерная логика; Компьютерное моделирование; Интеллектуальные информационные системы; Интеллектуальные телекоммуникационные системы; Интеллектуальные робототехнические системы; Интеллектуальные обучающие системы; Программная инженерия.
Основные направления научной деятельности
Исследование в области компьютерной лингвистики, создание и сопровождение автоматизированной системы обработки казахского языка и речевых технологий; Исследование в области компьютерной логики, создание языков спецификации для формализации описания и верификации программных систем; Исследование в области компьютерного моделирования идентификации, разработка и реализация алгоритмов анализа и диагностики различных объектов и процессов; Исследование в области интеллектуальных информационных систем, создание и сопровождение базы знаний и систем поддержки принятия решений в различных отраслях экономики и управления; Исследование в области интеллектуальных систем телекоммуникаций, проектирование, создание и сопровождение телекоммуникационных систем и сетей; Исследование в области робототехнических систем и мехатроники, проектирование и создание интеллектуальных роботов c микропроцессорным и микроконтроллерным управлением; Исследование и разработка государственных стандартов в области электронного обучения, создание, экспертиза и сопровождение интеллектуальных электронных учебных изданий и систем управления учебным процессом, а также проведение курсов повышения квалификации в области ИКТ и инженерии знаний; Исследование в области программной инженерии и разработка государственных стандартов в области информационных технологий и информационной безопасности, экспертиза и администрирование программных систем, а также проведение курсов повышения квалификации для менеджеров проекта и бизнес аналитиков.
Результаты разработок
Построена математическая модель фонетического строя казахского языка для автоматической обработки речи; Построены математические модели морфологических правил казахского языка для автоматизации морфологического анализа; Построена математические модели синтаксических правил казахского языка для автоматизации синтаксического анализа; Разработан алгоритм распознавания отдельных казахских слов ограниченного словаря с использованием динамического временного ряда; Разработаны алгоритмы синтеза казахской речи из произвольного текста; Построены логические языки спецификации для формализации семантики продукционных языков программирования; Построены логические языки спецификации для формулировки условий верификации программ на и комбинационных цифровых схем; Разработанные нейросетевые модели и алгоритмы распознавания графической информации; Разработаны конечно-автоматные модели и алгоритмы криптографических протоколов и процессоров; Разработаны модели и алгоритмы оценки рисков информационной безопасности на основе нечеткой математики; Разработаны государственные стандарты и технологии автоматизации создания электронных учебников.
Международное сотрудничество
Подписаны договора о сотрудничестве с государственным университетом информатики и искусственного интеллекта Украины, Белорусским государственным университетом информатики и радиоэлектроники, Объединенным институтом проблем информатики НАН Республики Беларусь, Санкт-Петербургским институтом информатики и автоматизации РАН, Институтом информатизации образования РАПН, Мультиязыковым центром Синьцзянского университета, Американской компанией Inter System, Американской компанией Epam System.
