Новые информационные технологии в науке и образовании

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

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

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

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

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

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

В статье рассмотрены некоторые существующие алгоритмы поиска доминаторов в управляющем графе. Представлен новый линейный алгоритм поиска доминаторов.

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

В данной работе описывается один из подходов, предназначенный для автоматического формирования тематической коллекции по преобразованиям программ.

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

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

В статье описаны результаты исследования задачи распознавания текстуры по некоторому её участку.

Рассмотрены три метода, основанные на анализе плотностей перепадов яркости, автокорреляционных функций и различных статистических характеристик серий. Также проводится анализ закономерностей полученных характеристик текстурного изображения.

Рассматривается задача нахождения степени сходства между трансформированными мелодиями и мелодией-эталоном и анализа степени изменения в зависимости от произведенных трансформаций мелодии.