«Наука в Сибири»
№ 30-31 (2815-2816)
4 августа 2011 г.
ПЕРСПЕКТИВЫ
СИСТЕМ ИНФОРМАТИКИ
В Новосибирске прошла Международная Ершовская конференция по информатике (ПСИ-2011), посвящённая
Пресс-служба ИСИ СО РАН
Международная конференция памяти академика А. П. Ершова «Перспективы систем информатики» (ПСИ) впервые прошла в Новосибирске в 1991 году. Тогда на конференцию приехали ведущие учёные, которые хорошо знали Андрея Петровича и работали в тесном контакте с ним и его учениками. Сложился её формат: широкий спектр проблем, который концентрировался вокруг направлений, развитых в работах А. П. Ершова и его школы программирования: реализация языков и систем программирования, искусственный интеллект, параллельное программирование, теория вычислимости, школьная информатика.
В 1996 году Институт систем информатики им. А. П. Ершова СО РАН провел вторую конференцию, ПСИ’96, и с тех пор она стала проходить регулярно, с интервалом в два-три года, позднее к её организации подключился Новосибирский государственный университет. С этого года она стала называться Ершовской конференцией по информатике (Ershov Informatics Conference).
Высокий научный уровень конференции поддерживается международным программным комитетом, в который входят ведущие учёные из многих стран мира. Сопредседателями ПК в разные годы были представители ИСИ
Традиционно проведение конференции поддерживает ряд отечественных и зарубежных фондов и IT-компаний, сотрудниками которых являются, в том числе, и представители отечественных школ программирования. Это РФФИ, Google, EMC2, Intel, Planet Data, SESAME, Microsoft Research, FME, DFG, CNRS и др.
Конференция стала заметным явлением в череде подобных международных событий и пользуется популярностью у учёных многих стран. В этом году в Сибирь приехали специалисты из Австрии, Аргентины, Великобритании, Дании, Германии, Ирландии, Италии, Испании, России, США, Украины, Швеции и Швейцарии.
Цель конференции — в представлении и глубоком обсуждении передовых достижений в таких областях информатики как теоретические основы анализа и разработки программ и систем, методология и технология программирования, новые информационные технологии. Участие в конференции способствует установлению новых научных контактов, расширению и углублению существующих научных связей, позволяет поддерживать достойный уровень исследований в Институте систем информатики. Все заявленные работы проходят жесткий конкурсный отбор.
Следует особо отметить, что на этой конференции достаточно широко представлены российские участники, а поскольку её труды публикуются международным издательством Springer-Verlag в серии «Lecture Notes in Computer Science», то результаты наших учёных становятся известны всей мировой научной общественности.
В этом году на конференции выступали учёные из ведущих институтов Москвы, где работают сильные программистские коллективы — ИПМ
им. М. В. Келдыша и Института системного программирования РАН. Сотрудники ИСИ также были достойно представлены в программе. Несколько выступлений посвящено проблемам параллельной обработки информации, а именно, одной из наиболее популярных моделей параллельных систем — сетям Петри. В Институте систем информатики эта тематика прослеживается в трудах
По сложившейся традиции в первый день конференции, до её официального открытия, проводится так называемый «тьюториал», т.е. тречасовая учебная лекция, посвященная актуальной проблеме программирования. В этом году с лекцией выступил профессор Саарлендского университета (Германия) А. Целлер, известный специалист в области создания надежного программного обеспечения. Поскольку эта проблема волнует не только учёных, но и программистов—практиков, на лекцию пришли сотрудники софтверных фирм Академгородка и Новосибирска, студенты НГУ. В перерыве слушатели смогли приобрести книгу Целлера «Почему программы не работают» (Why Programs Fail). Этот программистский бестселлер выдержал несколько изданий за рубежом, был удостоен престижной премии и только что опубликован на русском языке.
Открывая конференцию, её председатель, директор ИСИ СОРАН профессор А. Г. Марчук посвятил свое вступительное слово двум выдающимся отечественным учёным, учителю и ученику — А. А. Ляпунову и А. П. Ершову, которые в 1961 г. один за другим приехали в Академгородок, где в полной мере раскрылся их творческий, научный и организаторский потенциал. С приветствиями к участникам конференции обратились директор ИВТ СО РАН академик Ю. И. Шокин, директор Института математики,
Приглашённые доклады занимают заметное место в программе конференции. В своем выступлении профессор А. Целлер, продолжая и развивая тему тьюториала, обсуждал вопросы тестирования программ.
 |
| Проф. А. Целлер — автор бестселлера «Почему программы не работают». |
Приглашённый доклад У. Монтанари (Пизанский университет, Италия), стоявшего у истоков теории параллелизма, был посвящён операторам связанности — коннекторам. Термин «коннектор» был введен в области компонентной архитектуры программного обеспечения для обозначения сущностей, которые могут регулировать взаимодействие набора компонентов. В докладе освещены основные особенности некоторых известных теорий коннекторов, их сходства, различия, взаимопроникновение и возможное расширение.
А. Бест (Ольденбургский университет, Германия) по праву считается одним из основоположников теории сетей Петри и алгебр параллельных процессов. В своем приглашенном докладе он исследовал свойства распределённости параллельных процессов. Эти исследования находят своё применение при разработке больших распредёленных баз данных, коммуникационных протоколов, автоматизированных систем управления и др.
Доклад Р. Маюмдара (Институт Макса Планка, Кайзерслаутерн, Германия) был посвящен новому подходу к проверке корректности программ. Он предполагает сочетание двух традиционных методов решения этой проблемы: тестирования (весьма трудоёмкий подход, используемый в промышленном программировании) и верификации, т.е. проверке правильности программ путем их сопоставления с эталонными моделями. В последние годы эти подходы сблизились. Автор рассмотрел методологию создания надежного программного обеспечения, используемого в различных сложных системах на их основе.
 |
| Проф. П. Бьюнеман. |
С широким распространением Интернета всё больше информации становится доступной нам через web, и понимание её происхождения — источник информации, её движение между базами данных — существенно для доверия, которое мы испытываем к ней. Профессор Эдинбургского университета П. Бьюнеман изложил свой взгляд на проблему происхождения (provenance) информации, циркулирующей в глобальной сети. Происхождение информации особенно важно в научных исследованиях, которые в настоящее время зачастую основываются на данных, которые многократно копировались, преобразовывались и комментировались, прежде чем попасть к пользователю.
В рамках конференции прошли четыре семинара, посвящённые различным научным направлениям, каждый со своим программным комитетом, председателем и участниками. Семинар «Наукоёмкое программное обеспечение» (председатель —
В работе секции «Информатика образования», которая прошла под председательством д.т.н., профессора А. А. Берса (ИСИ СО РАН) приняли участие не только учёные, преподаватели вузов, но и школьные учителя. Но поскольку эти семинары проходили одновременно и в одном месте, под гостеприимной крышей Дома учёных, то специалисты разных направлений не замыкались в своих узких рамках, а могли принять участие в работе соседей, в дискуссиях и круглых столах. Это обстоятельство немало способствовало успеху семинаров.
Несомненный интерес представили семинары «Понимание программ» (сопредседатели — зав. лаб. ИСИ СО РАН
Серия семинаров ELSEWHERE была задумана сотрудниками нескольких лабораторий Института систем информатики
им. А. П. Ершова СО РАН для публичного обсуждения некоторых аспектов исследований, которые ведутся по интеграционному проекту «Разработка моделей и методов построения информационных систем, основанных на формальных, логических и лингвистических подходах» (проект Российской академии наук 14/9,
Быстрое развитие Semantic Web привело в массовом сознании к определенному сужению понятий «знание» и «онтология» рамками концепций и технологий «семантической паутины». «Онтологии» оказались сведены до совокупностей классов и свойств, специфицированных средствами языка OWL (Ontology Web Language), «базы знаний» — наборами фактологически и терминологически утверждений (assertional sentences и terminological sentences) логики описаний (Descriptive Logic), а «знание» (Knowledge) — это «онтологический контент».
Поскольку понятия «онтология» и «знание» имеют общефилософский и общенаучный смысл и значение, онтологические и эпистемологические вопросы и постановки задач возникают не только в исследованиях в области «семантической паутины», но и при исследовании мультиагентных систем, формализованных социальных процедур, когнитивных процессов, вопросов классификации и выделении парадигм и так далее.
В Институте систем информатики сложилось научное направление — разработка технологий исторической фактографии. В русле этого направления созданы и развиваются проекты по оцифровке научного и культурного наследия, в частности, Электронный архив академика А. П. Ершова, Электронный фотоархив СО РАН, Дерево математических ресурсов и др.
 |
| Презентация нового проекта — Электронного архива |
Специальное заседание конференции было посвящено презентации нового проекта — Электронного архива
Содружество академической науки и высокотехнологичной компании позволит выйти на новый уровень «укрощения информации», что становится крайне актуально сегодня: согласно исследованию, проведенному по заказу EMC2, объёмы данных удваиваются каждые два года — быстрее, чем по закону Мура. На сессии, посвящённой презентации нового проекта, выступили ученики и соратники С. С. Лаврова — С. Н. Баранов, А. Н. Терехов, В. П. Котляров (Санкт-Петербург), А. Н. Томилин (Москва) и А. А. Летичевский (Киев).
стр. 10