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

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



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

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

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

КОРРЕЛЯЦИОННЫЕ МЕТОДЫ ПОСТРОЕНИЯ АНАЛИТИЧЕСКИХ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ ФЛУКТУАЦИЙ ПОЛЮСА ЗЕМЛИ ПО АПРИОРНЫМ ДАННЫМ

  • И.Н. Синицын.  Институт проблем информатики Российской академии наук. sinitsin@dol.ru

Аннотация:  Методы современной статистической информатики лежат в основе исследований по фундаментальной проблеме «Статистическая динамика вращения Земли». Рассматриваются приближенные и точные корреляционные методы построения аналитических стохастических моделей с аддитивными и параметрическими гармоническими и случайными возмущениями для флуктуаций полюса Земли на интервалах времени 3–5 лет. В основу построения положены априорные данные по динамической структуре и стохастическим возмущениям деформируемой Земли. Приводятся примеры применения методов из состава информационных ресурсов «Статистическая динамика вращения Земли».

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

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

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

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

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

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

  • А. В. Печинкин.  Институт проблем информатики Российской академии наук. apechinkin@ipiran.ru
  • И. А. Соколов.  Институт проблем информатики Российской академии наук. isokolov@ipiran.ru
  • В.В. Чаплыгин.  Институт проблем информатики Российской академии наук. vchaplygin@ipiran.ru

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

Ключевые слова:  система массового обслуживания; ненадежные приборы

ПРОГРАММНАЯ ИНФРАСТРУКТУРА ИНФОРМАЦИОННОГО WEB-ПОРТАЛА

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

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

Ключевые слова:  стандарты Интернет; многозвенная архитектура; web-портал; адаптер; технология .NET

БАЙЕСОВСКОЕ ОЦЕНИВАНИЕ В СИСТЕМАХ НАБЛЮДЕНИЯ С МАРКОВСКИМИ СКАЧКООБРАЗНЫМИ ПРОЦЕССАМИ: ИГРОВОЙ ПОДХОД

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

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

Ключевые слова:  фильтр Вонэма; минимаксное оценивание; обобщенный квадратичный критерий; уравнение Закаи

БАЙЕСОВСКИЙ ПОДХОД К АНАЛИЗУ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ И ПОКАЗАТЕЛЕЙ НАДЕЖНОСТИ

  • А. А. Кудрявцев.  Факультет вычислительной математики и кибернетики МГУ им.М.В. Ломоносова, nubigena@hotmail.com
  • С. Я. Шоргин.  Институт проблем информатики Российской академии наук. sshorgin@ipiran.ru

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

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