Под редакцией проф. Виктора Николаевича Касьянова
Серия "Конструирование и оптимизация программ"
Новосибирск 2003
Является десятым в серии сборников, издаваемых Институтом систем информатики им. А.П.Ершова СО РАН по проблемам конструирования и оптимизации программ. Посвящен решению актуальных задач,
связанных с применением новых информационных технологий в науке
и образовании.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Сборник в формате PDF
К вопросу об анализе текстов на естественном языке
Дается обзор различных методов и конструкций математической и классической лингвистики, применяемых для анализа текстов на естественном языке.
|
Логические методы представления смысла текста на естественном языке
Целью данной работы является разработка разнообразных алгоритмов сопоставления предикатов и формул исчисления предикатов первого порядка
текстам на естественном языке. Результаты работы могут быть применены
в автоматизированных системах обработки текстов на естественном языке и
для построения теории смысла текстов, что является предметом исследований, прежде всего, в лингвистике, а также в области математической логики.
|
О некоторых задачах, связанных с автоматизацией процесса ядерного каротажа нефтяных скважин
Описываются математические постановки нескольких задач, возникающих
при автоматизации процесса ядерного каротажа, и указаны методы их решения.
|
Виртуальный музей истории информатики в Сибири: модельпредметной области и модель пользователя
В статье представлен проект создания виртуального музея истории информатики в Сибири, разрабатываемого в виде информационно-поисковой, справочной адаптивной гипермедиа-системы, доступной в Интернете. Кратко
описаны методы и технологии адаптивной гипермедиа, архитектура адаптивных гипермедиа систем и ее основные компоненты (модельпредметной
области, модельполь зователя и модель адаптации), рассматриваются вопросы построения онтологии и модели предметной области, а также моделирования пользователя.
|
Визуализация генетической информации
Описаны несколько алгоритмов визуализации генетической информации и
кратко сообщается о реализованных программах и тестах.
|
Применение вейвлет-преобразований в кодировании изображений
Изложены основы теории вейвлет-преобразований. Рассмотрены основные
методы применения вейвлет-преобразований к кодированию изображений:
вейвлет-разложение, построение пакетов вейвлетов, построение нуль-деревьев, кодирование нуль-деревьев.
|
Упорядоченные диаграммы бинарных решений
Упорядоченные бинарные диаграммы решений (OBDD) представляют булевы функции в виде ориентированных ациклических графов. Они образуют
каноническое представление, с помощью которого проверка таких функциональных характеристик, как выполнимость и эквивалентность, может быть
произведена простым образом. В данной статье рассматриваются OBDD-диаграммы, описываются алгоритмы их построения и обработки, приводится
обзор задач, которые были решены с помощью символьного анализа, основанного на OBDD-представлениях.
|
Алгоритмы поиска доминаторов в управляющем графе
В статье рассмотрены некоторые существующие алгоритмы поиска доминаторов в управляющем графе. Представлен новый линейный алгоритм поиска
доминаторов.
|
Программные средства для автоматического формирования тематической коллекции по преобразованиям программ для коллективного использования
В последние годы развитие всемирной компьютерной сети привело к тому, что Интернет становится основным каналом опосредованной передачи
всех видов информации, в том числе научной и технической. В связи с этим
все более актуальными становятся проблемы исследования и составления
коллекций научных документов по определенной тематике и полных тематических библиографий. Результаты исследований позволяют представить
систему научной коммуникации как информационное пространство, где возникают и формируются научные тематики, и организовать эффективный
поиск информации по определенной тематике.
В данной работе описывается один из подходов, предназначенный для автоматического формирования тематической коллекции по преобразованиям
программ.
|
Решение задачи нахождения оптимального положения тела в пространстве по данным, поступающим с одномерных камер, для 3D оптической системы анализа движения обьектов
Задача восстановления положения тела по данным поступающим с видеокамер хорошо известна в кинематографе и компьютерных играх. В данной
статье предложен алгоритм восстановления положения тела по данным, поступающим с одномерных камер. Работа выполнена для системы реального
времени.
|
Светосильные растровые структуры для режима автоколлимации
Сообщается, что в результате проведенных теоретических исследований и
численного моделирования предложен алгоритм построения высокосветосильных растровых структур для режима автоколлимации с разностными
автокорреляционными функциями с оченьмалыми побочными максимумами. Результаты работы могут быть использованы при конструировании растровых спектрометров.
|
Распознавание текстур по пространственным закономерностям
В статье описаны результаты исследования задачи распознавания текстуры
по некоторому её участку.
Рассмотрены три метода, основанные на анализе плотностей перепадов яркости, автокорреляционных функций и различных статистических характеристик серий. Также проводится анализ закономерностей полученных характеристик текстурного изображения.
|
Исследование алгоритмов варьирования применительно к MIDI-файлам
Рассматривается задача нахождения степени сходства между трансформированными мелодиями и мелодией-эталоном и анализа степени изменения
в зависимости от произведенных трансформаций мелодии.
|
О сложности построения оптимального линейного участка
Рассматриваются проблемы оптимизации линейных участков в построении
оптимизирующих трансляторов. Обсуждаются критерии оптимизации программ. Показана NP-полнота задачи оптимизации в общем случае.
|
|