Программные средства и математические основы информатики

ПРЕДИСЛОВИЕ РЕДАКТОРАОдиннадцатый выпуск серии «Конструирование и оптимизация программ»посвящен решению актуальных задач, связанных с теоретическимиосновами информатики и созданием программных систем.Продолжая уже сложившиеся традиции, данный выпуск, как и предыдущие,базируется на результатах исследований, выполненных в лабораториипо конструированию и оптимизации программ Института систем информатикиСО РАН совместно с Новосибирским государственным университетомпри финансовой поддержке Российского фонда фундаментальныхисследований, Российского гуманитарного научного фонда, МинобразованияРоссийской Федерации, а также компании Майкрософт.Открывает сборник статья Т.А. Волянской, посвященная международнымстандартам представления в сети Интернет информационных ресурсовпо культурному наследию. В ней содержится краткий обзор стандартаANSI/NISO Z39.50 и профиля CIMI. Стандарт Z39.50 определяет прикладнуюслужбу и спецификацию протокола для поиска и извлечения информациииз баз данных. Профиль CIMI служит спецификацией использованиястандарта Z39.50 для доступа к информации о культурном наследии.Статья П.А. Дортмана посвящена оптимизации программ в системе параллельногопрограммирования SFP на базе функционального языка программированияSISAL 3.0. В ней описаны алгоритмы для выполнения некоторыхтрадиционных оптимизирующих преобразований над SISALпрограммами,представленными в виде так называемых потоковых графов.В статье А.А. Дунаева исследуются способы организации работы сбольшими линейными массивами данных. В ней рассмотрены несколькостратегий предварительной выборки данных и описаны методы обработкинуклеотидных последовательностей, а также способы отображения результатоввычислений.Понятие NUMA-архитектуры возникло в конце 80-х годов с появлениеминтереса к компьютерам с распределенной памятью. В статьеВ.А. Евстигнеева излагаются основы теории полиномов Эрхарта и её примененияк некоторым проблемам, возникающим в NUMA-архитектурах.В последнее время адаптивные гипермедиа-системы становятся все болеепопулярными в дистанционном обучении, предоставляя средства доступак информации, управляемые пользователем. Адаптивные гипермедиасистемысводят воедино идеи гипермедиа-систем и интеллектуальных обучающихсистем и делают возможным персонализированный доступ к ин-