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

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




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

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

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

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

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

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

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

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

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

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

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

ОБ ОДНОМ КЛАССЕ МАРКОВСКИХ СИСТЕМ ОБСЛУЖИВАНИЯ.

  • Я.А. Сатин  Вологодский государственный педагогический университет, yacovi@mail.ru
  • А.И. Зейфман  Вологодский государственный педагогический университет; Институт проблем информатики Российской академии наук; Институт социально-экономического развития территорий Российской академии наук, a_zeifman@mail.ru
  • А.В. Коротышева  Вологодский государственный педагогический университет, a_korotysheva@mail.ru
  • С.Я.Шоргин  Институт проблем информатики Российской академии наук, SShorgin@ipiran.ru

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

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

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

  • А.В. Лебедев  Механико-математический факультет Московского государственного университета им. М. В. Ломоносова, avlebed@yandex.ru

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

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

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

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

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

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

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

  • В. Г. Ушаков Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, vgushakov@mail.ru
  • Н. Г. Ушаков  Институт проблем технологии микроэлектроники и особочистых материалов Российской академии наук, ushakov@math.ntnu.no

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

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

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

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

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

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

РЕШЕНИЕ ПРОБЛЕМ ВЗАИМОДЕЙСТВИЯ С СУБД В КРОССПЛАТФОРМЕННОЙ БИБЛИОТЕКЕ EFFIDB.

  • А.В. Янушко  АСофт, yan@asoft.ru
  • А.В. Бабанин  Всероссийский научно-исследовательский институт проблем вычислительной техники и информатизации, ababanin@pvti.ru
  • О.А. Кузнецова  АСофт, ok@asoft.ru
  • С.В. Петрушенко  АСофт, op@asoft.ru

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

Ключевые слова:  СУБД; C++; библиотека взаимодействия; кроссплатформенность

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

  • Л.А. Кузнецов  Липецкий государственный технический университет, kuznetsov@stu.lipetsk.ru

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

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

УПРАВЛЕНИЕ ИНФОКОММУНИКАЦИОННЫМИ ПРОЕКТАМИ:
«СВОЕВРЕМЕННОСТЬ–ПРОИЗВОДИТЕЛЬНОСТЬ– ИНФОРМАЦИЯ».

  • А.А. Зацаринный  Институт проблем информатики Российской академии наук, AZatsarinny@ipiran.ru
  • А.П.Шабанов  ООО «ИБС Экспертиза», AShabanov@ibs.ru

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

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

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

  • И.М. Зацман  Институт проблем информатики Российской академии наук, iz_ipi@a170.ipi.ac.ru
  • А.А. Дурново  Институт проблем информатики Российской академии наук, duralex49@mail.ru

Аннотация: Рассматривается постановка проблемы компьютерного представления целевых систем знаний (ЦСЗ) об индикаторах мониторинга и предлагается ее решение, состоящее из четырех компонентов: (1) стационарной модели компьютерного представления ЦСЗ об индикаторах; (2) множества точек, на основе которого определяются значения количественных характеристик процессов формирования ЦСЗ; (3) нестационарной модели компьютерного представления ЦСЗ; (4) проективного словаря системы мониторинга для компьютерного представления ЦСЗ об индикаторах в динамике их формирования. Первые три компонента представляют собой теоретическуючасть решения этой проблемы, а четвертый— прикладную часть ее решения.

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

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

  • Ю.И.Морозова  Институт проблем информатики Российской академии наук, yulia-ipi@yandex.ru

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

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

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

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

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

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