Международные научные связи




Скачать 66.85 Kb.
НазваниеМеждународные научные связи
Дата публикации24.03.2013
Размер66.85 Kb.
ТипИсследование
litcey.ru > Информатика > Исследование



Международные научные связи
В 2008 г. Институт систем информатики имени А.П.Ершова СО РАН осуществлял сотрудничесвто с зарубежными организациями по следующим грантам:
Участие в работе ICT Expert (ISTOK.RU)
Иностранный партнер: Фонд София-Антиполис, Франция

Координаторы проекта: Л.Сульер (Laurent Soulier), Франция; д.ф.-м.н. А.К. Петренко,

ИСП РАН, Россия; участник от ИСИ - д.ф.-м.н. А.Г. Марчук.
Выполнена работа эксперта в проекте ISTOK.RU, поддержанного 6-й рамочной программой Европейской комиссии. Дана оценка возможности привлечения российских ученых и научных групп к участию в проектах 7-й рамочной программы Европейской комиссии. Сформирован список ученых, работающих в направлении информационных технологий, которых можно заинтересовать участием в проектах; дана информация на конференциях и совещаниях о проекте ISTOK.RU; выполнена работа по формированию итогового отчета проекта; принято участие в работе совещания, прошедшего 25-26 ноября 2008 года, с обсуждением итогов проекта и его перспектив.
^ Исследовательская стипендия Немецкого общества академических обменов (DAAD), грант A/08/08590.

Тема: Эквивалентности для исчислений параллельных стохастических процессов.
^ Иностранный партнер: Университет имени Карла фон Оссетского, Ольденбург, Германия.

Координаторы проекта: Айке Бест ( Eike Best ) - принимающий профессор (Германия), к.ф.-м.н. И.В. Тарасюк - руководитель проекта (Россия).

Сроки: сентябрь-октябрь 2008.
Исследование отношений поведенческой эквивалентности и анализ производительности вычислительных систем в алгебраических исчислениях параллельных стохастических процессов.

В рамках нового исчисления параллельных стохастических процессов, алгебры дискретно-временных стохастических боксов Петри dtsPBC, определен ряд поведенческих стохастических эквивалентностей. Отношения эквивалентностей позволяют идентифицировать стохастические процессы с похожим поведением, различаемые стандартной семантической алгебраической эквивалентностью. Построена диаграмма взаимосвязей всех рассмотренных эквивалентностей в соответствии с их различающей способностью. Предложена логическая характеризация ряда отношений посредством формул новых вероятностных модальных логик. Показано, как использовать эквивалентности для сравнения стационарного поведения бесконечных стохастических процессов. Исследована проблема сохранения эквивалентностей при применении алгебраических операций, и определено новое отношение, являющееся конгруэнтностью. Разработаны методы оценки производительности процессов и их редукции, сохраняющей поведение и индексы производительности, применение которых показано на примерах системы с разделяемой памятью и системы обедающих философов.
^ Алгоритмы и программный комплекс анализа и предсказания процессов функционирования регуляторной системы в клетке
Иностранный партнер: Биобэйс, г. Брауншвейг (Biobase, Braunschweig).

^ Координаторы проекта: Александр Кель (Германия), к.ф.-м.н. Валеев Т.Ф. (Россия)

Сроки: 2004-2008
Реализована новая версия программного комплекса ExPlain, автоматизирующего рабочее место исследователя-биоинформатика. Программный комплекс включает в себя набор программ, реализующих алгоритмы поиска и анализа регуляторных процессов на клеточном уровне. В основном охвачены процессы, связанные с ДНК регуляторными структурами, анализ микрочипов и генных сетей. Программный комплекс распространяется как приложение к базам данных компании Биобэйс. Продукт реализован на языках Perl, C++, является кросс - платформенным приложением. Разработаны алгоритмы для поиска наиболее специфичных генных сетей для определенного микрочипового эксперимента на основании статистической перепредставленности элементов. Улучшен алгоритм поиска регуляторных моделей в последовательностях ДНК на базе генетического алгоритма. Добавлен функционал для анализа Chip-Chip данных, CEL файлов.
^ Исследования по распараллеливанию алгоритмов обработки изображений с ориентацией на многоядерный процессор Cell

Иностранный партнер: Корпорация IBM, Московское представительство.

^ Координаторы проекта: Белов С. (США), к.ф.-м.н. Мурзин Ф.А. (Россия).

Сроки: 2008-2009
Проведены теоретические исследования, связанные с отображением различных алгоритмов на архитектуру с коммутатором и на архитектуру процессора IBM Cell, и подготовительные работы по программной эмуляции работы процессора IBM Cell. Подробно рассмотрены некоторые алгоритмы обработки изображений такие, как выделение контуров: градиентный метод, комбинаторный метод (метод порогового градиента). Подробно описано их отображение на архитектуру мультипроцессора Cell, т.е. описано размещение данных в памяти, все перемещения данных и т.д. Выведены формулы для коэффициентов ускорения.
^ Грант международного сотрудничества DFG (Немецкий фонд научных исследований) - РФФИ.

Тема: Концептуальные и теоретико-модельные структуры для обработки знаний
^ Иностранный партнер: Технический Университет г. Дармштадт, Германия

Координаторы проекта: Проф. Д.Е. Пальчунов, Новосибирск, проф. К. Э. Вольф (Karl Erich Wolff), Дармштадт, участник от ИСИ - к.ф.-м.н. Пономарев Д.К.
Результаты, полученные ранее о свойстве разложимости теорий в логике первого порядка, обобщены на широкий класс логических исчислений. Для большого естественного класса исчислений сформулировано свойство Δ-разложимости множества формул и свойство однозначности Δ-разложений для множеств формул. Определен класс логических исчислений, удовлетворяющих свойству однозначности Δ-разложений, и класс исчислений, в которых свойство Δ-разложимости алгоритмически разрешимо. Как следствие, установлена разрешимость данного свойства и однозначность Δ-разложений для формул интуиционистской логики, модальных логик Grz, GL, S5, K и модального μ-исчисления.


В.Н.Касьянов - Участие в 20-м Всемирном компьютерном конгрессе ИФИП» по проекту «Инновационные образовательные программы и технологии, реализуемые на принципах партнерства классического университета, науки, бизнеса и государства.
В.Н.Касьянов - Участие в работах по Объединенному европейскому проекту UM-JEP-26219-20050 «Обмен библиотечно-информационными ресурсами между академическими библиотеками Кыргызстана KIR-LIB-NET» Генеральной дирекции образования и культуры TEMPUS и TACIS».


^ Ф.А. Мурзин – участие в Российской научно-технической выставке в Индии, Expo Centre EXPO XXI, Инновационная зона Нойда, Индия.
^

Список иностранных специалистов, принятых Институтом



С 01.05.08 по 01.08.08 в Институте проходил стажировку по теме «системы биоинформатики» Альбер Пьер, студент 4 курса специальности «информатика» Университета Пари-Сюд, Париж, Франция
В длительных командировках находятся

  1. Т.М. Яхно, Турция, г. Измир, чтение лекций, научная работа в Университете им. 9 сентября.

Календарь зарубежных командировок по странам


  1. Вирбицкайте И.Б. (27.09.08 – 03.10.08) - участие (с двумя докладами) в работе 17 международной конференции “Concurrency, Specification and Programming”, Gross Vaeter See, Германия.

  2. Марчук А.Г. (24.11.08 – 28.11.08) – научный визит по программе ISTOK.RU и участие в конференции ICT, организованной Европейской комиссией, г. Лион, Франция.

  3. Валеев Т.Ф. (06.04.08 – 20.04.08) – научный визит в компанию Биобэйс, г. Брауншвейг, Германия.

  4. Валеев Т.Ф. (06.07.08 – 03.08.08) – научный визит в компанию Биобэйс, г. Брауншвейг, Германия.

  5. Мурзин Ф.А. (20.11.08 – 02.12.08) – участие в Российской научно-технической выставке в Индии, Expo Centre EXPO XXI, Инновационная зона Нойда, Индия.

  6. Касьянов В.Н. (14.07.08 – 18.07.08) - участие в работе 5-го Европейского конгресса по математике (5ECM), г. Амстердам, Нидерланды.

  7. Касьянов В.Н. (06.09.08 – 11.09.08) - участие в работе 20-го Всемирного компьютерного конгресса ИФИП (WCC-2008), г. Милан, Италия.

  8. Шилов Н.В. (10.05.08 – 15.05.08) – участие с докладом в международной конференции «Workshop on Description Logic», г. Дрезден, Германия.

  9. Гаранина Н.О. (01.03.08 – 30.04.08) – участие в совместной научной работе в Университете Чунг-Анг, г. Сеул, Южная Корея.

  10. Коровина М.В. (09.06.08 – 08.07.08) – участие в совместной научной работе в Университете Манчестера, г. Манчестер, Англия.

  11. Нестеренко Т.В. (03.04.08 – 06.04.08) – участие в качестве тренера команды НГУ в чемпионате АСМ по программированию среди ВУЗов, г. Банф, Канада.

  12. Чурина Т.В. (03.04.08 – 06.04.08) – участие в качестве тренера команды НГУ в чемпионате АСМ по программированию среди ВУЗов, г. Банф, Канада.

  13. Пономарев Д.К. (07.04.08 – 20.05.08) – научный визит в институт математики Технического Университета г. Дармштадт, Германия, в исследовательский центр “International Center for Computational Logic”, г. Дрезден, Германия, участие в конференции «Workshop on Description Logic», г. Дрезден.

  14. Тарасюк И.В. (01.09.08 – 31.10.08) – участие в совместной научной работе в Университете им. Карла фон Оссетского, Ольденбург, Германия.


Членство в национальных и международных научных организациях

  • Европейская ассоциация искусственного интеллекта – к.т.н. Ю.А.Загорулько,

д.ф.- м.н. Т.М.Яхно, Ю.В.Костов.

  • Российская ассоциация искусственного интеллекта – к.т.н. Ю.А. Загорулько.

  • Ассоциация по вычислительной технике (ACM) – к.ф.-м.н. М.А.Бульонков.

  • Институт инженеров по электронике и электротехнике (IEEE) – к.ф.-м.н. М.А.Бульонков.

  • Российская академия естественных наук – член-корр. В.Н.Касьянов.

  • Американское математическое общество (AMS) – проф. В.Н. Касьянов,

проф. В.Л. Селиванов, к.ф.-м.н. Ф.А. Мурзин.

  • Европейская ассоциация по теоретической информатике (EATCS) –проф. В.Н.Касьянов, к.ф.-м.н. В.А.Непомнящий.

  • Общество по индустриальной и прикладной математике (SIAM) – проф. В.Н.Касьянов.

  • Европейская ассоциация по компьютерной логике (EACSL) – к.ф.-м.н.

В.А. Непомнящий.

  • Международная академия информатизации – академик А.А. Берс.


Похожие:

Международные научные связи iconМеждународные научные связи
В 2004 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные связи
В 2007 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные связи
В 2006 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные связи
В 2003 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные связи
В 2005 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные чтения памяти Н. Ф. Федорова
Владимира Соловьева до Сергия Булгакова и Николая Бердяева, оказала глубокое воздействие на вершинные явления русской литературы,...
Международные научные связи iconМеждународные перевозки: понятие и основные источники
В науке вопрос о понятии «международная перевозка» не является завершенным. Источниками, содержащими определение международных перевозок,...
Международные научные связи iconПрограмма «Международные гуманитарные связи»
Землетрясения, наводнения, оползни, засухи, тропические циклоны, цунами и извержения вулканов унесли огромное количество жизней,...
Международные научные связи iconОсновные научные направления академии и научные школы
Воронежской области и г. Воронежа, в соответствии с перечнем приоритетных направлений развития науки и техники, а также Концепцией...
Международные научные связи iconОсновные научные направления академии и научные школы
Воронежской области и г. Воронежа, в соответствии с перечнем приоритетных направлений развития науки и техники, а также Концепцией...
Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
litcey.ru
Главная страница