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

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




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

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

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

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

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

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

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

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

  • И. К. Купалов-Ярополк  Институт точной механики и вычислительной техники им. С.А. Лебедева Российской академии наук, kupyar@rambler.ru
  • Ю. Е. Малашенко  Вычислительный центр им. А. А. Дородницына Российской академии наук, malash09@ccas.ru
  • И. А. Назарова  Вычислительный центр им. А. А. Дородницына Российской академии наук, irina-nazar@yandex.ru
  • А. Ф. Ронжин  Вычислительный центр им. А. А. Дородницына Российской академии наук, raf-zao-zt@yandex.ru

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

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

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

  • А. В. Бородина   Институт прикладных математических исследований Карельского научного центра Российской академии наук; Петрозаводский государственный университет, borodina@krc.karelia.ru
  • Е. В. Морозов   Институт прикладных математических исследований Карельского научного центра Российской академии наук; Петрозаводский государственный университет, emorozov@karelia.ru

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

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

СТАЦИОНАРНОЕ РАСПРЕДЕЛЕНИЕ ВРЕМЕНИ ОЖИДАНИЯ В СИСТЕМЕ ОБСЛУЖИВАНИЯ С ОТРИЦАТЕЛЬНЫМИ ЗАЯВКАМИ, БУНКЕРОМ ДЛЯ ВЫТЕСНЕННЫХ ЗАЯВОК, РАЗЛИЧНЫМИ ИНТЕНСИВНОСТЯМИ ОБСЛУЖИВАНИЯ ПРИ ДИСЦИПЛИНЕ FIRST-FIFO-FIFO.

  • Р. В. Разумчик  Институт проблем информатики Российской академии наук, rrazumchik@ieee.org

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

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

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

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

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

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

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

  • В. Ю. Королев  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, victoryukorolev@yandex.ru
  • Р. Л. Смелянский  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова, smel@sc.msu.ru
  • Т. Р. Смелянский  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова, smelyanskiy.t@bk.ru
  • А. В. Шалимов  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова, ashalimov@lvk.cs.msu.su

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

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

БАЙЕСОВСКАЯ РЕКУРРЕНТНАЯ МОДЕЛЬ РОСТА НАДЕЖНОСТИ:
РАВНОМЕРНОЕ РАСПРЕДЕЛЕНИЕ ПАРАМЕТРОВ.

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

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

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

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

  • В. С. Тимофеев  Новосибирский государственный технический университет, netsc@rambler.ru
  • В. Ю. Щеколдин  Новосибирский государственный технический университет, raix@ngs.ru
  • А. Ю. Тимофеева  Новосибирский государственный технический университет, supernasty@mail.ru

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

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

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

  • А. Ю. Хапланов  Московский государственный университет им.М.В. Ломоносова, Khaplanova@gmail.com

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

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

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

  • В. Е. Бенинг  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, bening@yandex.ru
  • Н. К. Галиева  Казахстанский филиал Московского государственного университета им.М.В. Ломоносова, nurgul u@mail.ru
  • В. Ю. Королев   Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, vkorolev@cs.msu.su

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

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

О СХОДИМОСТИ СЛУЧАЙНЫХ БЛУЖДАНИЙ, ПОРОЖДЕННЫХ ОБОБЩЕННЫМИ ПРОЦЕССАМИ КОКСА, К ПРОЦЕССАМ ЛЕВИ.

  • В. Ю. Королев  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, victoryukorolev@yandex.ru
  • Л. М. Закс  Альфа-банк, отдел моделирования и математической статистики; lily.zaks@gmail.com
  • А. И. Зейфман  Вологодский государственный педагогический университет; Институт проблем информатики Российской академии наук, a_zeifman@mail.ru

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

Ключевые слова:  устойчивое распределение; процесс Леви; a-устойчивый процесс Леви; обобщенный дважды стохастический пуассоновский процесс (обобщенный процесс Кокса); пространство Скорохода; теорема переноса; подчиненный винеровский процесс

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

  • М. М. Шарнин  Институт проблем информатики Российской академии наук, 1@keywen.com
  • Н. В. Сомин  Институт проблем информатики Российской академии наук, somin@post.ru
  • И. П. Кузнецов  Институт проблем информатики Российской академии наук, igor-kuz@mtu-net.ru
  • Ю. И. Морозова  Институт проблем информатики Российской академии наук, judez@yandex.ru
  • И. В. Галина  Институт проблем информатики Российской академии наук, irn_gl@mail.ru
  • Е. Б. Козеренко   Институт проблем информатики Российской академии наук, kozerenko@mail.ru

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

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

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

  • С. Луазо  Университет Париж-13, лаборатория лексики, словарей и информатики НЦНИ, sylvain.loiseau@univ-paris13.fr
  • Д. В. Сичинава  Институт русского языка РАН, mitrius@gmail.com
  • А. A. Зализняк  Институт ИЯз РАН; ИПИ РАН, anna.zalizniak@gmail.com
  • И. M. Зацман  ИПИ РАН, iz_ipi@a170.ipi.ac.ru

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

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