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

Статья содержит краткий обзор стандарта 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. Описаны алгоритмы для выполнения некоторых традиционных оптимизирующих программ, представленных в виде потоковых графов.

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

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

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

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

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

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

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

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

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

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

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

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

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