КОНТАКТЫ

Институт сотрудничает со следующими организациями:

1. Международный Институт Программных Технологий Университета ООН. Имеется меморандум о сотрудничестве в области систем реального времени, гибридных систем, формальных методов при разработке объектно-ориентированного программного обеспечения, а также в организации летних школ и курсов обучения в области разработки программного обеспечения для слушателей стран Центральной Азии.

2. США, Иллинойсский университет при Чикаго, Департамент Математики, Статистики и Компьютерной науки (проф. John Baldwin). Совместные научные исследования по теории моделей и реляционных баз данных.

3. Франция, университет Лион-1. Участие в совместных научных исследованиях по теории моделей проекта CNRS - Национального центра научных исследований.

4. Норвегия, Норвежский компьютерный центр (проф. Arnoldo Frigessi).

5. Дания, Датская лаборатория чумы (проф. Elizabeth Carniel).

6. Финляндия, Финский исследовательский институт (проф. Heikki Henntonen).

7. Англия, Ливерпульский Университет, г. Ливерпуль.

8. Россия, Институт системного анализа РАН, Москва. Выполнение совместных исследований по проекту «Разработка методов регулирования механизмов нестационарной рыночной экономики и устойчивое развитие».

8. Россия, Институт динамики систем и теории управления СО РАН, Новосибирск. Выполнение совместных исследований по разработке моделей и методов анализа и синтеза открытых нелинейных динамических систем с приложениями к природно-экономическим и химико-технологическим задачам.

9. Россия, Институт вычислительных технологий СО РАН, Новосибирск.

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

11. Россия, Институт проблем управления РАН (проф. В.В. Кульба, проф. В.Н. Бурков). Выполнение совместных научных исследований по проблемам
- информационной безопасности и разработке теоретических основ создания и поддержки информационных и телекоммуникационных систем и технологий;
- разработки систем моделей управления рыночными отношениями.

12. Россия, Вычислительный центр РАН (академик РАН Журавлев Ю.И.). Выполнение совместных НИР по проблемам развития математических моделей распознавания и классификаций (по разделу: теория и применение групповых классификаций).

13. Россия, Центр исследования устойчивости и нелинейной динамики при Институте Машиностроения РАН (акад. РАН Матросов В.Ф.). Выполнение совместных научных исследований по проблемам развития теории управления сложными техническими системами.

В период с 2000 по 2007 гг. представителем Казахстана - членом международной ассоциации UNESCO ACCESS-net (ассоциация поддержки устойчивого развития компьютерных центров и институтов информационных технологий) был М.Б. Айдарханов.

Участники региональной Центрально-Азиатской летней школы "Формальные методы", прошедшей 1-15 августа 2002 года. Организована ИПИУ МОН совместно с International Institute for Software Technologies of United Nations University (UNI/IIST). На фото: 1 - заведующий лабораторией теории моделей и спецификаций информационных систем ИПИУ, доцент Байжанов Б.С., 2 - директор ИПИУ, профессор Айдарханов М.Б., 3- директор UNI/IIST, профессор Крис Джордж.

Институт проблем информатики и управления МОН РК совместно с Международным институтом программных технологий Университета ООН (UNU/IIST) организовал и провел две Международные летние школы "Формальные методы и информационные технологии" на базе института для профессорско-преподавательского состава центрально-азиатских университетов и программистов-практиков из компьютерных компаний Центральной Азии: первая прошла с 1 по 15 августа 2002 года, а вторая - со 2 по 14 августа 2004 года. Лекторами первой школы были - К. Джордж, Дж. Хе (UNU/IIST), Б.С. Байжанов, В.В. Вербовский, У.Б. Мусаев (лаборатория ТМСИС, ИПИУ), а лекторами Второй школы были К. Джордж (директор UNU/IIST), Стефан Мерц (научный сотрудник LORIA, Франция), Б.С. Байжанов, В.В. Вербовский, С.К. Сагнаева (лаборатория ТМСИС, ИПИУ). Участниками проведенных школ являлись представители университетов из городов центрально-азиатского региона, в том числе Казахстана, Кыргызстана, России, Таджикистана, Туркменистана.

Рабочий момент летней школы "Формальные методы". На фото слева направо: Ахат Саттаров (Ташкент, Узбекистан), Сауле Сагнаева (Тараз, Казахстан), Шериквай Шерматов (Ташкент, Узбекистан), Елена Юсова (Бишкек, Кыргыстан), Бектур Байжанов (Алматы, Казахстан), Улан Мусаев (Бишкек, Кыргызстан).

В 2003 году был подписан меморандум о сотрудничестве с Международным Институтом Программных Технологий Университета ООН в области систем реального времени, гибридных систем, формальных методов при разработке объектно-ориентированного программного обеспечения, а также в организации летних школ и курсов обучения в области разработки программного обеспечения для слушателей стран Центральной Азии. Проводимые школы являются первым этапом в создании Учебного Центра (филиала UNU/IIST) по формальным методам разработки программного обеспечения и нейронным сетям на базе компьютерных классов, оснащенных за счет ЮНЕСКО в 1998-2000 годы и ряда структурных подразделений института. Цель Центра заключается в создании кадровой инфраструктуры в области программного обеспечения в регионе Центральной Азии и предпосылок для развития рынка информационных технологий в этом регионе. В частности, предполагается поднятие в регионе Центральной Азии общего уровня разработчиков нестандартного программного обеспечения, базирующегося на формальных методах и нейроинформатике. В условиях постоянно обновляющегося программного обеспечения задачей Центра является преподавание актуальных на данный момент курсов в этой области с привлечением к чтению лекций и проведению выездных школ высококвалифицированных специалистов, в том числе из дальнего зарубежья.

В сентябре 2005 года началось выполнение проекта ЮНЕСКО «Электронные библиотеки в сельской местности для уменьшения цифрового разрыва в странах Центральной Азии» (см. отчет по проекту).

ГРАНТЫ

1) С декабря 2004 года выполняются работы по гранту CRDF (Гражданский фонд развития исследований, США) “Problems in Logic: Expansions of stable and ordered structures” (Проблемы логики: обогащения стабильных и упорядоченных структур). Продолжительность гранта – 2 года.

2) С сентября 2005 года выполняются работы по гранту ЮНЕСКО «Electronic Libraries in Rural Areas for reducing digital divide in Central Asia» (Электронные библиотеки в сельских районах для сокращения цифрового разрыва в Центральной Азии).

3) В.В. Вербовский выиграл индивидуальный грант INTAS для молодых ученых (ref. No YSF 04-83-3042) сроком на два года с 1 апреля 2005 года по 31 марта 2007 года.

4) В 2001-2005 годах выполнялись работы по гранту INCO-Copernicus "STEPICA", Contract № ICA2-CT-2000-10048, финансируемому Европейским Сообществом, на тему "Чума в Центральной Азии - эпидемиологическое исследование, основанное на пространственно-временной динамике". Сумма гранта - 87 тысяч евро.
В выполнении данного проекта участвовали ученые из 6 стран (Норвегия, Дания, Франция, Англия, Финляндия, Казахстан).

Как известно, на территории Казахстана располагается несколько природных очагов чумы. В их число входит Прибалхашский автономный очаг, включающий в свой состав 12 ландшафтно-эпизоотических районов (ЛЭР). База данных формировалась на основе материалов, собранных в ЛЭР "Равнина Акдала" за полевые сезоны 1974-1998 годов сотрудниками Казахского противочумного института и Талды-Курганской противочумной станции по триаде возбудитель - носитель - переносчик. Поскольку чума относится к числу наиболее опасных инфекций, задача преобразования имеющейся по чумной эпидемиологии и чумной эпизоотии информации в электронный вид и проектирование компьютерной технологии обработки этой информации является весьма актуальной задачей.