Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук




«Информатика и её применения» (Том 6, Выпуск 2, 2012)

Оглавление | Библиография | Об авторах

Аннотации и ключевые слова.

АЛГОРИТМ ВЫЧИСЛЕНИЯ ХАРАКТЕРИСТИК МОДЕЛИ ТЕЛЕКОММУНИКАЦИОННОЙ СЕТИ С ПОВТОРАМИ ПЕРЕДАЧ И НЕПОЛНОДОСТУПНОЙ СХЕМОЙ УПРАВЛЕНИЯ БУФЕРАМИ.

  • Я.М. Агаларов Институт проблем информатики Российской академии наук, agglar@ya.ru

Аннотация: Рассмотрена телекоммуникационная сеть со схемой управления буферами узлов SMQMA (Sharing with Maximum Queue Length and Minimum Allocation) и возможностью повтора передач из источника и в транзитных узлах. Предложен алгоритм расчета усредненных характеристик сети (вероятностей блокировок узлов, суммарной нагрузки на линиях, среднего числа пакетов в узлах и в сети, среднего числа пакетов, ожидающих повтора в источниках, и др.). Приведены доказательства утверждений о свойствах алгоритма и результаты вычислительных экспериментов.

Ключевые слова:  телекоммуникационная сеть; повторы передач; механизмы управления буферами

ЗАДАЧИ АНАЛИЗА И ОПТИМИЗАЦИИ ДЛЯ МОДЕЛИ ПОЛЬЗОВАТЕЛЬСКОЙ АКТИВНОСТИ.
ЧАСТЬ 3. ОПТИМИЗАЦИЯ ВНЕШНИХ РЕСУРСОВ.

  • А.В. Босов Институт проблем информатики Российской академии наук, AVBosov@ipiran.ru

Аннотация: Статья завершает исследование модели описания активности пользователей, предложенной автором ранее, и основанных на ней задач оптимизации распределения вычислительных ресурсов. Сформулирована и решена задача квадратичной оптимизации распределения «внешних» ресурсов, используемых информационной системой. Предложены субоптимальные алгоритмы оптимизации.

Ключевые слова:  информационная система; система управления базами данных; стохастическая система наблюдения; квадратичный критерий

ОБ УСТОЙЧИВОСТИ СДВИГОВЫХ СМЕСЕЙ НОРМАЛЬНЫХ ЗАКОНОВ ПО ОТНОШЕНИЮ К ИЗМЕНЕНИЯМ СМЕШИВАЮЩЕГО РАСПРЕДЕЛЕНИЯ.

  • А.К. Горшенин Институт проблем информатики Российской академии наук, agorshenin@ipiran.ru

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

Ключевые слова:  сдвиговые смеси нормальных законов; метрика Леви

ОБРАБОТКА ГЕОПРОСТРАНСТВЕННОЙ ИНФОРМАЦИИ НА БАЗЕ РЕПОЗИТОРИЯ ГЕОИНФОРМАЦИОННОЙ СИСТЕМЫ.

  • С.К. Дулин Институт проблем информатики Российской академии наук, s.dulin@ccas.ru
  • И.Н. Розенберг Научно-исследовательский и проектно-конструкторский институт информатизации, автоматизации и связи на железнодорожном транспорте (ОАО «НИИАС»), I.Rozenberg@gismps.ru
  • В.И. Уманский  ЗАО «ИнтехГеоТранс», umanvi@yandex.ru

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

Ключевые слова:  управление объектами; интеграция данных; ГИС; репозиторий

МЕТОДИКА МОДЕЛИРОВАНИЯ НАГРУЗКИ НА СЕРВЕР В ОТКРЫТЫХ СИСТЕМАХ ОБЛАЧНЫХ ВЫЧИСЛЕНИЙ.

  • Д.В. Жевнерчук Чайковский технологический институт (филиал) Ижевского государственного технического университета, drevnigeck@yandex.ru
  • А.В. Николаев  Чайковский технологический институт (филиал) Ижевского государственного технического университета, elodssa@yandex.ru

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

Ключевые слова:  облачные вычисления; имитационное моделирование; человеко-машинное взаимодействие

ЗАДАЧИ И ФУНКЦИИ БИБЛИОТЕК РАН В СОВРЕМЕННЫХ УСЛОВИЯХ .

  • Н. Е. Калёнов Библиотека по естественным наукам Российской академии наук, nek@benran.ru

Аннотация: Рассмотрены вопросы, связанные с изменениями в деятельности академических библиотек в связи с развитием сетевых технологий, бурным ростом числа электронных публикаций и баз данных (БД), доступных через Интернет. Показано, что и в современных условиях академические библиотеки являются неотъемлемой частью научной инфраструктуры. Традиционные задачи по информационному сопровождению научных исследований остаются прерогативой библиотек, однако должны выполняться на базе новых технологических решений с широким использованием современных сетевых технологий. Новые подходы к решению традиционных задач иллюстрируются на примере Библиотеки по естественным наукам Российской академиинаук (БЕНРАН) (http://www.benran.ru). Наряду с традиционными задачами академические библиотеки готовык решениюновых задач, связанных с проведением библиометрических исследований, оцифровкой печатных изданий и т. п.

Ключевые слова:  академические библиотеки; информатизация; автоматизация; обслуживание пользователей; информационное обеспечение; компьютерные технологии; автоматизированное рабочее место; электронные библиотеки; БЕН РАН

УНИФИКАЦИЯ ЯЗЫКОВ СИСТЕМ НА ПРАВИЛАХ ДЛЯ ОБЕСПЕЧЕНИЯ ИНТЕРОПЕРАБЕЛЬНОСТИ ДЕКЛАРАТИВНЫХ ПРОГРАММ.

  • Л.А. Калиниченко Институт проблем информатики Российской академии наук, leonidk@synth.ipi.ac.ru
  • С.А. Ступников  Институт проблем информатики Российской академии наук, ssa@ipi.ac.ru

Аннотация: Проанализированы рекомендации W3C RIF (Rule Interchange Format), ориентированные на обеспечение интероперабельности разнообразных систем на правилах введением расширяемого семейства унифицированных языков (диалектов) на правилах,позволяющих создавать сохраняющие семантику отображения в диалекты языков различных систем на правилах. Для определения мотивации проекта RIF дан краткий обзор развития и применения языков и систем на правилах в областях представления знаний, дедуктивных баз данных, логических моделей рассуждений. Также проанализированы различные семантики логических языков на правилах, оказавших влияние на конструкцию RIF. Рассмотрены основные классы применений интероперабельных программ на правилах, на основе которых были выработаны требования к RIF. Рассмотрены основные решения, принятые в проекте RIF.

Ключевые слова:  унификация языков; расширяемость языков; системы логического программирования; системы на активных правилах; продукционные системы; представление знаний; дедуктивные базы данных; логические модели рассуждений; стратифицированная семантика; стабильная модель логической программы; хорошо обоснованная семантика; диалекты RIF; каркас RIF

КОГНИТИВНЫЕ ИССЛЕДОВАНИЯ АССИСТИВНОГО МНОГОМОДАЛЬНОГО ИНТЕРФЕЙСА ДЛЯ БЕСКОНТАКТНОГО ЧЕЛОВЕКО-МАШИННОГО ВЗАИМОДЕЙСТВИЯ.

  • А.А. Карпов Санкт-Петербургский институт информатики и автоматизации Российской академии наук (СПИИРАН), karpov@iias.spb.su

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

Ключевые слова:  многомодальный интерфейс; распознавание речи; машинное зрение; ассистивные информационные технологии

ЛОГИКА БИОГРАФИЧЕСКИХ ФАКТОВ.

  • Н.А.Маркова Институт проблем информатики Российской академии наук, nMarkova@ipiran.ru

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

Ключевые слова:  биографическое исследование; информационный поиск; формализация; биографический факт

РАСЧЕТ И ОПТИМИЗАЦИЯ НЕКОТОРЫХ ХАРАКТЕРИСТИК ДЛЯ МОДЕЛИ ВЫЧИСЛИТЕЛЬНОГО КОМПЛЕКСА.

  • И.В. Павлов Московский государственный технический университет им. Н.Э. Баумана, ipavlov@bmstu.ru

Аннотация: Рассматривается проблема выбора оптимального размера пакетов при обработке информационных задач большого объема для модели вычислительного комплекса с учетом возможных отказов или сбоев элементов в процессе решения задачи. Получено приближенное асимптотическое решение данной проблемы для случая высоконадежных элементов и малого времени пересылки (загрузки) пакетов.

Ключевые слова:  оптимальный размер пакета; надежность; интенсивность отказов; время пересылки пакетов

НЕЧЕТКИЕ ПЕРЕМЕННЫЕ КАК СПОСОБ ФОРМАЛИЗАЦИИ ХАРАКТЕРИСТИК ПОГРЕШНОСТИ В ЗАДАЧАХ МАТЕМАТИЧЕСКОЙ ОБРАБОТКИ.

  • К.К. Семенов Санкт-Петербургский государственный политехнический университет, semenov.k.k@gmail.com

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

Ключевые слова: нечеткие переменные; характеристики погрешности; результаты измерений

ОСОБЕННОСТИ СЕМАНТИЧЕСКОГО ПОИСКА ИНФОРМАЦИОННЫХ ОБЪЕКТОВ НА ОСНОВЕ ТЕХНОЛОГИИ БАЗ ЗНАНИЙ.

  • М.М.Шарнин Институт проблем информатики Российской академии наук, keywen1@mail.ru
  • И.П. Кузнецов Институт проблем информатики Российской академии наук, igor-kuz@mtu-net.ru

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

Ключевые слова:  семантический поиск; семантико-ориентированный лингвистический процессор; извлечение знаний из текстов; база знаний

О СКОРОСТИ СХОДИМОСТИ ОЦЕНКИ РИСКА ПОРОГОВОЙ ОБРАБОТКИ ВЕЙВЛЕТ-КОЭФФИЦИЕНТОВ К НОРМАЛЬНОМУ ЗАКОНУ ПРИ ИСПОЛЬЗОВАНИИ РОБАСТНЫХ ОЦЕНОК ДИСПЕРСИИ.

  • О.В.Шестаков Московский государственный университет им.М.В. Ломоносова; Институт проблем информатики Российской академии наук, oshestakov@cs.msu.su

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

Ключевые слова:  вейвлеты; пороговая обработка; оценка риска; нормальное распределение; оценка скорости сходимости