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

Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2004

Является одиннадцатым в серии сборников, издаваемых Институтом систем информатики им. А.П.Ершова СО РАН по проблемам конструирования и оптимизации программ. Посвящен решению актуальных задач, связанных с программными средствами и математическими основами информатики.

Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

Сборник в формате PDF


Международные стандарты представления в сети ИНТЕРНЕТ информационных ресурсов по культурному наследию: стандарт ANSI/NISO Z39.50 и профиль CIMI

Статья содержит краткий обзор стандарта ANSI/NISO Z39.50 и профиля CIMI. Стандарт Z39.50 определяет прикладную службу и спецификацию протокола для поиска и извлечения информации из баз данных. Z39.50 предназначен для унификации сетевого доступа к базам данных и определяет процедуры поиска, извлечения и форматы представления информации. Профиль CIMI служит спецификацией использования стандарта Z39.50 для доступа к информации о культурном наследии. В статье рассматриваются основы Z39.50, модели поиска и извлечения информации по Z39.50, определяются понятия абстрактной базы данных, пунктов доступа, схемы базы данных, абстрактной структуры записи, RPN-запросов, приводятся наборы поисковых атрибутов и наборы тэгов, определенные в Z39.50, введенные понятия иллюстрируются на примере. В статье дается краткий обзор профиля CIMI, рассматриваются спецификации поиска, выбора и передачи записей, приводятся набор атрибутов CIMI-1, набор тэгов CIMI Tag Set, CIMI схема и абстрактная структура записи, рассматриваются различные уровни семантической интероперабельности и приводится пример распределенной информационной системы на базе Z39.50.

Подходы к оптимизации прог рамм в системе SFP

В настоящей работе рассматриваются подходы к осуществлению оптимизирующих преобразований программ в системе функционального программирования SFP. Описаны алгоритмы для выполнения некоторых традиционных оптимизирующих программ, представленных в виде потоковых графов.

Программный комплекс для исследования больших одномерных массивов данных с применением кратномасштабного анализа

При решении ряда научно-исследовательских и практических задач возникает проблема обработки больших массивов данных. Настоящая статья исследует способы организации работы с большими линейными массивами данных на примере обработки результатов кратномасштабного анализа нуклеотидной последовательности. Рассмотрены несколько стратегий предварительной выборки данных. Кроме того, описаны методы обработки нуклеотидных последовательностей и способы отображения результатов вычислений.

Многочлены Эрхарта

В статье излагаются основы теории полиномов Эрхарта и её применения к некоторым проблемам, возникающим в NUMA-архитектурах.

Дистанционное обучение: методы и средства адаптивной гипермедиа

В последнее время адаптивные гипермедиа-системы становятся все более и более популярными в дистанционном обучении и предоставляют средства доступа к информации, управляемые пользователем. Адаптивные гипермедиа-системы сводят воедино идеи гипермедиа-систем и интеллектуальных обучающих систем и делают возможным персонализированный доступ к информации.

В данной работе рассматриваются вопросы поддержки дистанционного обучения, особое внимание уделяется анализу методов и средств адаптивной гипермедиа, используемых современными адаптивными обучающими Web-системами.

Реструктурирующие преобразования: алгоритмы распараллеливания циклов

Статья посвящена алгоритмам распараллеливания циклов - одного из наиболее эффективных реструктурирующих преобразований. Эти алгоритмы используют различные математические инструменты и различные представления зависимостей по данным. В статье мы приводим описание основных алгоритмов распараллеливания циклов и даем сопоставление их сильных и слабых сторон как на примерах, так и в сравнении "оптимальных" результатов.

Язык программирования Zonnon для платформы .NET

В статье кратко представлен новый язык программирования Zonnon, работа над которым ведется в институте информатики г. Цюриха. Разрабатываемый язык задуман как современная альтернатива хорошо известному языку Оберон, являющемуся преемником языков Паскаль и Модула-2.

Электронная среда коллективного накопления и каталог изации информации по преобразованиям программ

В данной работе описаны различные способы асинхронного взаимодействия, которые снимают проблемы коммуникаций и трудности, связанные с организацией семинаров, телефонных или электронных конференций. В настоящее время богатство и разнообразие асинхронных коммуникаций существенно выросло. Если раньше мы были ограничены текстовой формой электронных писем и бюллетеней, то теперь эта форма взаимодействия стала более гибкой.

Предлагаемая статья описывает опыт внедрения электронной среды для организации совместной работы на основе технологии WikiWiki.

Система для быстрого прототипирования распараллеливающего компилятора ПРОГРЕСС-2. Ядро системы. Сценарий системы

Статья описывает текущее состояние работ по созданию системы ПРОГРЕСС-2 для быстрого прототипирования распараллеливающего компилятора. Система создается как конструктор для построения прототипа компилятора, кирпичиками которого являются различные функциональные и инструментальные компоненты. Особое внимание в статье уделяется ядру системы и средствам задания сценария работы создаваемого компилятора.

Стандартные и новые подходы к архитектуре и методам обучения в среде Significo, основные направления развития среды

В статье рассматриваются следующие вопросы: задачи, решаемые нейросетями, ожидаемые методы предобработки данных в среде Significo, описание стандартных и новых архитектур нейросетей с приведением результатов сравнительных тестов, рекурсивные и схоластические методы обучения нейросетей, усовершенствованный рекурсивный метод и сравнительное тестирование методов, направления и подходы в развитии интерфейсной части среды Significo.

Система распознавания цис-элементов на последовательностях ДНК

Разработан и реализован инструментарий, позволяющий производить полноценный поиск цис-элементов, наиболее полно использующий данные, имеющиеся у экспериментатора.

Разработаны алгоритмы анализа больших районов ДНК на основе визуализации ДНК последовательностей.

Алгоритмы реализованы в объединенной объектно-ориентированной среде. Каждый из алгоритмов может быть использован как в отдельности, так и как дополнительный фильтр результатов другого алгоритма. За счет реализации существует возможность простого и эффективного создания новых алгоритмов на базе уже существующих. Система эффективно используется в нескольких организациях.




Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).