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

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

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

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

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


К вопросу об анализе текстов на естественном языке

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

Логические методы представления смысла текста на естественном языке

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

О некоторых задачах, связанных с автоматизацией процесса ядерного каротажа нефтяных скважин

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

Виртуальный музей истории информатики в Сибири: модельпредметной области и модель пользователя

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

Визуализация генетической информации

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

Применение вейвлет-преобразований в кодировании изображений

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

Упорядоченные диаграммы бинарных решений

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

Алгоритмы поиска доминаторов в управляющем графе

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

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

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

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

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

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

Светосильные растровые структуры для режима автоколлимации

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

Распознавание текстур по пространственным закономерностям

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

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

Исследование алгоритмов варьирования применительно к MIDI-файлам

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

О сложности построения оптимального линейного участка

Рассматриваются проблемы оптимизации линейных участков в построении оптимизирующих трансляторов. Обсуждаются критерии оптимизации программ. Показана NP-полнота задачи оптимизации в общем случае.




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