научный журнал по математике Программирование ISSN: 0132-3474

2009

ЛЕВШИН Д.В., МАРКОВ А.С. — 2009 г.

В данной статье рассматривается интеграция СУБД PostgreSQL с семантическим веб. Предлагаются алгоритмы интеграции, основанные на использовании возможностей СУБД и не предполагающие внесения изменения в SQL. Представлена реализация интеграции на основе одного из алгоритмов, поддерживающая основные форматы семантического веб. Предложенные алгоритмы могут быть реализованы в других СУБД, поддерживающих триггеры (или правила), табличные функции и индексирование.

КОВАЛЕНКО В.Н., КОРЯГИН Д.А. — 2009 г.

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

ВАТОЛИН Д.С., ГРИШИН С.В. — 2009 г.

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

КУЛЯМИН В.В. — 2009 г.

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

АВЕТИСЯН А.И., БАБКОВА В.В., ГАЙСАРЯН С.С. — 2009 г.

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

ДРОЗДОВ А.Ю. — 2009 г.

КАЛИНИЧЕНКО Л.А., КОГАЛОВСКИЙ М.Р. — 2009 г.

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

ГРОШЕВ С.Г. — 2009 г.

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

КУДРЯВЦЕВ Ю.А., КУЗНЕЦОВ С.Д. — 2009 г.

В 1993 году Э. Коддом была предложена концепция OLAP-систем (Online Analytical Processing), включающая в себя 12 правил представления данных пользователю. Подобные системы, как следует из названия, предназначены для анализа данных в интерактивном режиме. В связи с этим основной задачей OLAP-средств является представление больших объемов данных в виде, удобном для анализа конечными пользователями. Представление данных в виде многомерных кубов на сегодняшний день является de facto стандартом пользовательской работы с большими массивами данных. В данной статье вводятся основные понятия OLAP-систем, которые затем формализуются с использованием математического аппарата теории решеток. В рамках введенной формализации доказывается оптимальность (с точки зрения объема хранимых элементов) представления OLAP-кубов замкнутыми решетками или эквивалентными им Quotient-решетками.

КИЧИГИН Д.Ю. — 2009 г.

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

ВАСИЛЬЕВА Н.С. — 2009 г.

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

МУТИЛИН В.С. — 2009 г.

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

БОСОВ А.В. — 2009 г.

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

ЛЮБИМСКИЙ Э.З. — 2009 г.

Проект грид - это очередной шаг на пути к созданию всемирного искусственного разума. Например, интернет позволил человеку не заботиться о том, где хранится и как доставляется нужная ему информация. Грид позволит ему не заботиться о том, где и на каких ресурсах исполняются его программы. Будет и такой шаг, который позволит человеку не заботиться о том, при помощи каких программ решаются его задачи. Достаточно будет сформулировать свою проблему, а программы "сами" найдутся и организуются для ее совместного решения. И этот шаг тоже не будет последним. Все это характеризует процесс создания всемирного разума с внешней стороны, т.е. с точки зрения пользователей. Важно увидеть и внутреннее содержание этого процесса. "Изнутри" этот процесс является процессом создания глобального общества программ. Если в первые десятилетия развития программирования центральной проблемой было создание все более сложных и умных программ, то, начиная с 90-ых, на первый план вышло обеспечение их совместного существования и функционирования. Процесс этот вполне объективный и подчинен целому ряду закономерностей, из которых мы обратим внимание на две. Во-первых, структура общества программ и механизмы их взаимодействия в значительной мере аналогичны структуре и механизмам человеческого общества. Во-вторых, человеческое общество попадает во все большую зависимость от общества программ, в то время как общество программ все больше освобождается от необходимости участия человека в своей "жизнедеятельности". И настанет такой момент, когда оно станет вполне самодостаточным. Как тогда сложатся взаимоотношения этих двух обществ -вопрос очень серьезный и многогранный, и заниматься им надо уже теперь. В качестве первого шага предлагается заняться построением модели будущего общества программ с привлечением ученых разных специальностей. Исследование этой модели позволит направить построение общества программ в нужное русло.

ПУРГИН А.В. — 2009 г.

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

ГЕРДТ В.П., ЗИНИН М.В. — 2009 г.

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

ГРАЧЯН Г.Г. — 2009 г.

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

АНУРЕЕВ И.С. — 2009 г.

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

ОЛЕЙНИК П.П. — 2009 г.