• Кафедры
• Преподавателям
• Аспирантура


• ЗФМШ
• Фотоальбом
• Видео

Научная деятельность

1. Разработка распределительной системы обработки знаний в информационных сетях и интернете. Руководитель – Манцивода А.В.
2. Разработка метода создания сценариев на основе системы Мета2. Руководитель – Малых А.А.
3. Разработка исчисления дескриптивных термов. Руководитель – Манцивода А.В.
4. Разработка теории стратификации дескриптивных логик с выделением объектно-ориентированного ядра. Руководитель – Манцивода А.В.
5. Развитие метода разметки мультимедийных материалов на основе метаданных. Руководитель – Манцивода А.В.
6. Создание модели представления онтологий независимой от реализации в системе баз данных. Руководитель – Манцивода А.В.
7. Разработка методов информационной поддержки образовательного процесса в распределенных информационных средах на основе логических методов обработки знаний и онтологий. Руководитель – Манцивода А.В.
8. Разработка методов построения объектных моделей в рамках дескриптивных логик на основе объектно-ориентированных проекций. Руководитель – Малых А.А.

Основные научные публикации по научным темам кафедры:

Публикации 2009 года:

1. А.В. Манцивода, Н.О. Стукушин. Спецификации как онтологии // Журнал "Программные продукты и системы". -- М., 2009. -- №4. -- С.37-43.    
2. Малых А.А, Манцивода А.В, Ульянов В.С. Логические архитектуры и объектно-ориентированный подход // Вестник НГУ. Серия: Математика, механика, информатика, 2009, Т.9, вып. 3. – С. 64-85.   
3. А.А. Малых, А.В. Манцивода. Онтобокс: онтологии для объектов // Известия Иркутского государственного университета. Серия Математика. -- Иркутск. -- Том 2. -- No.2. -- 2009. -- с. 94-104.   
4. В.С. Ульянов. Бесконечные ленивые маркированные деревья // Известия ИГУ. Серия математика.- Том 2 . -- No.2. -- 2009. С.183-193.   
5. В.С. Ульянов, А.А. Малых. Логические формализмы представления знаний и объектно-ориентированный подход // Труды Всероссийской научно-методической конференции <<Телематика'2009>>. -- С-Пб., 2009. -– С.317-318.
6. А.В. Манцивода, А.А. Малых. OntoBox: ядро системы «Мета-2» // Труды XVI Всероссийской научно-методической конференции «Телематика'2009». - С-Пб., 2009. – С.50.
7. А.В. Манцивода, И.А. Казаков. Система поддержки деятельности аспирантуры ИГУ на базе OntoBox // Труды XVI Всероссийской научно-методической конференции «Телематика'2009». - С-Пб., 2009. – С.47.

Публикации 2010 года:

1. А.В. Манцивода, Н.О. Стукушин. Объектные модели и распределенные системы знаний // Известия ИГУ. Серия математика. -- No.4. -- 2010. С.65--79. 
2. А.А. Малых, А.В. Манцивода. Libretto: объектно-итерационный язык программирования. ИГУ, 2010, 54 стр.
3. И.С. Абдрахимов. Решение задач по IP-адресации и статической маршрутизации. ИГУ, 2010, 32 стр.
4. Свидетельство о регистрации программы для ЭВМ No. 2010615217 "Система разработки баз знаний на основе онтологий 'Мета2'". Авторы Ульянов В.С., Малых А.А., Манцивода А.В. Зарегистрировано 13.08.2010.
5. Свидетельство о регистрации программы для ЭВМ No. 2010610789 "Онлайн система работы отдела аспирантуры высшего учебного заведения". Авторы Казаков И.А., Малых А.А., Манцивода А.В. Зарегистрировано 22.01.2010.
    

Публикации 2011 года:

1. И.А. Казаков, А.В. Манцивода. Базы данных как онтологии // Известия ИГУ. Серия математика. -- No.1. -- 2011. С.20--30.
2. А.А. Малых, А.В. Манцивода. Объектно-ориентированная дескриптивная логика // Известия ИГУ. Серия математика. -- No.1. -- 2011. С.57--72.
3. И.А. Казаков. Алгебры Кодда и дескриптивные логики // Известия ИГУ. Серия математика. -- No.3. -- 2011. С.68--73.
4. И.С. Абдрахимов, М.А. Кохо. Семантическое тегирование на основе объектных моделей [Текст] // Труды ИМЭИ ИГУ. Математика и информатика.- 2011. - No.1. - C.5-15.
5. И.С. Абдрахимов, В.А. Петухин, А.А. Хенкина. База знаний «Флора Байкальской Сибири» в системе Libretto [Текст] // Труды ИМЭИ ИГУ. Математика и информатика.- 2011. - No.1. - C.15-23.
6. Малых А.А., Манцивода А.В. Libretto: язык программирования как средство логического объектного моделирования [Текст] // Международная конференция "Мальцевские чтения". - Новосибирск, 2011. - С.130-131.
7. Gavryushkina A. A., Kazakov I.A. A formalization of the Codd’s relational algebra in logic SHOIN(D) [Text] // International conference "Mal'tsev meeting". - Novosibirsk, 2011. - P. 134-135.
8. Малых А.А., Манцивода А.А. Libretto: объектно-ориентированный язык программирования с логическим ядром [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 33-35.
9. Абдрахимов И.С., Хенкина А.А., Кохо М.А. База знаний фактов об озере Байкал [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 165-167.
10. Казаков И.А. Объектные теории баз данных [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 145-147.
11. Манцивода А.В., Романова О.А. Онтологии математических текстов [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С.46-47.
12. Казаков И.А. Управление базами данных в системах онтологий [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С. 266-268.
13. Ульянов В.С., Малых А.А. Отображение баз знаний системы «Мета-2» в объектный язык программирования [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С. 268-269.
14. Истомин М.В., Абдрахимов И.С. Концепция системы покомпонентного метаописания текстовых данных объектами онтологий [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С. 311-312.
15. Свидетельство о регистрации программы для ЭВМ No. 2011611365 "Логическая система хранения данных 'Ontobox'". Авторы Манцивода А.В., Малых А.А. Зарегистрировано 11.02.2011.
16. Свидетельство о регистрации программы для ЭВМ No. 2011611364 "Интерпретатор языка запросов к логическим базам знаний 'Libretto'". Авторы Манцивода А.В., Малых А.А. Зарегистрировано 11.02.2011.
17. Свидетельство о регистрации программы для ЭВМ No. 2011610717 "Справочно-информационная система 'Флора'". Авторы Абдрахимов И.С., Хенкина А.А., Петухин В.А. Зарегистрировано 11.01.2011.
18. Свидетельство о регистрации программы для ЭВМ No. 2011610184 "Система разработки методанных для мультимедийных ресурсов". Авторы Москвина А.С., Казаков И.А., Манцивода А.В., Кохо М.А. Зарегистрировано 11.01.2011.

Публикации 2012 года:

1. Малых А.А., Манцивода А.В. Объектные теории над списочными надстройками // Известия ИГУ. Серия математика. -- No.4. -- 2012. С.27--44.
2. Абдрахимов И.С. Основы программирования на языке Libretto : учеб. пособие / И.С. Абдрахимов, И.А. Казаков, А.А. Середович. -- Иркутск : Изд-во ИГУ, 2012. -- 104 с.
3. Малых А.А., Манцивода А.А. Абстрактный тип данных "ИТЕРАТОР" как основа семантики языка LIBRETTO [Текст] // Материалы конференции "Управление в технических, эргатических, организационных и сетевых системах" (УТЭОСС-2012). – СПб.: ГНЦ РФ ОАО «Концерн «ЦНИИ «Электроприбор», 2012. – С. 1184-1187.
4. Малых А.А., Манцивода А.В., Романова О.А. Микроформаты и математические тексты [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.37-38.
5. Абдрахимов И.С., Истомин М.В. Принципы разработки web-интерфейсов на основе платформы Libretto [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.274-276.
6. Абдрахимов И.С., Казакова И.Ю. База знаний природных и социальных феноменов Сибири и Монголии [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.322-323.
7. Ульянов В.С. Особенности организации электронной библиотеки на принципах Saas [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.36-37.

Публикации 2013 года:

1. Свидетельство о регистрации программы для ЭВМ No. 2013611598 "Система разработки моделей предметных областей 'Onto Notes'". Авторы: Малых А.А., Абдрахимов И.С. Зарегистрировано 28.01.2013.
2. Свидетельство о регистрации программы для ЭВМ No. 2013612930 "Система управления библиотекой библиографических записей 'Bib Items'". Авторы: Ульянов В.С. Зарегистрировано 18.03.2013.

Публикации 2014 года:

1. Погружение реляционных баз данных в объектные онтологии: реализационные аспекты/ И.А. Казаков, А.А.Малых, А.В. Манцивода// Известия ИГУ. Сер.Математика.-2014.-№10.- С.27-43.

2. Свидетельство о регистрации программы для ЭВМ No. 2014612481 "Система семантической разметки текстовых данных". Авторы: Середович А.А. Зарегистрировано 26.02.2014.

Гранты и другие научные проекты

Гранты ФЦП «Научные и научно-педагогические кадры инновационной России» в 2009 году:

1. «Обработка и доступ к информации, хранящейся в базе данных, средствами работы с онтологиями» руководитель - Казаков И.А.
2. «Создание веб-ресурсов на базе онтологий» руководитель - Казаков И.А.
3. «Создание, хранения, обработка мультимедийной информации сиспользованием онтологий» руководитель - Москвина А.С.
    

Гранты ФЦП «Научные и научно-педагогические кадры инновационной России» в 2010 году:

1. «Обработка и доступ к информации, хранящейся в базах данных, средствами работы с онтологиями» Руководитель: Казаков И.А., ГК № П1045 от 20 августа 2009, тема № 111-09-058.
2. «Создание веб-ресурсов на базе онтологий» Руководитель: Казаков И.А., ГК № П2179 от 9 ноября 2009, тема № 111-09-060.
3. «Создание, хранение, обработка мультимедийной информации с использованием онтологий» Руководитель: Москвина А.С., ГК № П2189 от 9 ноября 2009, тема № 111-09-061.
4. «Создание инструментальных средств для разработки универсальных пользовательских интерфейсов по обработке онтологической информации в базах знаний» Руководитель: Москвина А.С., ГК № П159 от 15 апреля 2010, тема № 111-10-055.
5. «Обработка и хранение низкоуровневой информации на основе онтологий на примере онтологии растений Байкальского региона» Руководитель: Казаков И.А., ГК № П45 от 2 апреля 2010, тема № 111-10-053.
6. «Разработка метода управления объектными логическими моделями как инструмента построения баз данных и знаний» Руководитель: Манцивода А.В., ГК № 16.740.11.0137 от 01.09.2010, тема № 111-10-071. 

Гранты ФЦП «Научные и научно-педагогические кадры инновационной России» в 2011 году:

1. «Разработка методов компиляции логического языка запросов» ГК 14.740.11.1001 от 23 мая 2011, тема 113-11-052.
2. «Проблемы вычислимости в теории моделей» ГК 16.740.11.0567 от 30 мая 2011, тема 113-11-054.
3. «Логическое моделирование мультимедийных информационных ресурсов» ГК 16.740.11.0574 от 30 мая 2011, тема 113-11-055.
4. «Разработка системы управления базами знаний, основанной на технологии OntoBox» ГК 16.740.11.0667 от 7 июня 2011, тема 113-11-056.

Научные проекты в рамках «ПСР» в 2013 году:

1. «Разработка естественнонаучных баз знаний и веб-сервисов по природной системе озера Байкал» тема № Р212-02-003. 
2. «Поддержка и сопровождение web-системы тестирования  и подготовки  учеников к  сдаче единого государственного экзамена» тема № Р321-02-005. 
    

Научные проекты в рамках «ПСР» в 2014 году:

1. «Разработка и внедрение информационной системы поддержки образовательного процесса» тема № Р121-02-004

Конференции, в которых участвуют члены кафедры

Доклады на конференциях в 2009 году:

• Конференция Телематика'2009. Доклады И.А. Казакова, А.В. Манциводы, В.С. Ульянова.

Доклады на конференциях в 2011 году:

• Конференция Мальцевские чтения'2011. Доклады И.А. Казакова, А.В. Манциводы.
• Конференция МКПУ'2011. Доклады И.С. Абдрахимова, И.А. Казакова, А.В. Манциводы.
• Конференция Телематика'2011. Доклады И.С. Абдрахимова, И.А. Казакова, А.В. Манциводы, В.С. Ульянова.

Доклады на конференциях в 2012 году:

• Конференция МКПУ'2012. Доклады А.В. Манциводы.
• Конференция Телематика'2011. Доклады И.С. Абдрахимова, И.А. Казакова, А.В. Манциводы, В.С. Ульянова.

Доклады на конференциях в 2014 году:

• Манцивода А.В. Обработка знаний в распределенных информационных средах.-IV Всероссийская конференция «Математическое моделирование и
  вычислительно-информационные технологии в междисциплинарных научных исследованиях». 30 июня - 4 июля 2014 г.

• Курганский В.И., Бутаков М.И., Захаров Д.В. Запись систем логических уравнений и неравенств в виде составных пиктограмм. – Фундаментальные и прикладные науки сегодня / Материалы международной научно-практической конференции. 20-21 октября 2014 г. North Charleston, USA. Том 1. – С.198-203.

Научные лаборатории при кафедре

• Лаборатория кафедры «Информационных систем» - ЦНИТ ИГУ.
   

Аспирантура

• Косарева Наталья Николаевна (без защиты)
• Рогозин Павел Игоревич (без защиты)

• Стукушин Никита Олегович (без защиты)