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

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



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

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

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

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

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

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

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

СРЕДСТВА ОБЕСПЕЧЕНИЯ ОТКАЗОУСТОЙЧИВОСТИ ПРИЛОЖЕНИЙ

  • В. Н. Захаров.  Институт проблем информатики Российской академии наук. vzakharov@ipiran.ru
  • В.А. Козмидиади.  Институт проблем информатики Российской академии наук. kozmidiady v@tochka.ru

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

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

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

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

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

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

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

  • Д.А. Батракова.  Институт проблем информатики Российской академии наук. daria.batrakova@gmail.com
  • В.Ю. Королев.  Факультет вычислительной математики и кибернетики МГУ им.М.В. Ломоносова, ИПИ РАН. vkorolev@comtv.ru
  • С.Я. Шоргин.  Институт проблем информатики Российской академии наук. sshorgin@ipiran.ru

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

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

ЛИНГВИСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ДЛЯ СИСТЕМ МАШИННОГО ПЕРЕВОДА И ОБРАБОТКИ ЗНАНИЙ

  • Е. Б. Козеренко.  Институт проблем информатики Российской академии наук. kozerenko@mail.ru

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

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

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

  • В.Д. Ильин. Институт проблем информатики Российской академии наук. vdilyin@ipiran.ru
  • И. А. Соколов. Институт проблем информатики Российской академии наук. isokolov@ipiran.ru

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

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