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

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




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

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

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

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

  • С.Л. Френкель Институт проблем информатики Российской академии наук, Slf-ipiran@mtu-net.ru
  • А. В. Печинкин  Институт проблем информатики Российской академии наук, apechinkin@ipiran.ru

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

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



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

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

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

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

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

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

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

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

СЕТИ МАССОВОГО ОБСЛУЖИВАНИЯ С НАИМЕНЬШЕЙ ДЛИНОЙ ОЧЕРЕДИ.

  • C.C.Матвеева Московский государственный университет им. М.В. Ломоносова, кафедра математической статистики факультета вычислительной математики и кибернетики, petkin@mail.ru
  • Т.В. Захарова Московский государственный университет имени М.В. Ломоносова, кафедра математической статистики факультета вычислительной математики и кибернетики, lsa@cs.msu.su

Аннотация: Статья посвящена исследованию свойств оптимальных размещений по критерию средней суммарной длины очереди в пространстве для систем с дисциплиной обслуживания FIFO. Рассматривается поток однородных требований, различающихся лишь моментами поступления в систему. Станции представляют собой системы массового обслуживания типа M|G|1. В статье дается описание свойств оптимальных размещений, показаны алгоритмы построения асимптотически оптимальных размещений, минимизирующих критерий оптимальности.

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

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

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

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

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

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

  • А.А. Грушо Российский государственный гуманитарный университет, Институт информационных наук и технологий безопасности; Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, grusho@yandex.ru
  • Н.А. Грушо Российский государственный гуманитарный университет, Институт информационных наук и технологий безопасности, grusho@yandex.ru
  • Е. Е. Тимонина Российский государственный гуманитарный университет, Институт информационных наук и технологий безопасности, eltimon@yandex.ru

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

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

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

  • А.Н. Чупрунов Научно-исследовательский институт математики и механики им. Н. Г. Чеботарева, achuprunov@mail.ru
  • И. Фазекаш Дебреценский университет, fazekas.istvan@inf.unideb.hu

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

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

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

  • О.О. Лямин  Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, oleg.lyamin@gmail.com

Аннотация: В работе [1] на эвристическом уровне была получена формула для предела отклонения мощности асимптотически наиболее мощного критерия от мощности наилучшего критерия в случае обобщенного распределения Лапласа. В данной работе приводится формальное доказательство этой формулы.

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

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

  • А.А. Зацаринный Институт проблем информатики Российской академии наук, AZatsarinny@ipiran.ru
  • К. Г. Чупраков Институт проблем информатики Российской академии наук, chkos@rambler.ru

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

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

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

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

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

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

ТИПОЛОГИЯ И КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ТРУДНОСТЕЙ ПЕРЕВОДА.

  • Н. В. Бунтман Факультет иностранных языков и регионоведения, МГУ им.М. В. Ломоносова, nabunt@hotmail.com
  • Ж.-Л.Минель Университет Париж–Нантер, лаборатория UMR 7114 “MoDyCo” Национального центра научных исследований Франции (CNRS), jean-luc.minel@u-paris10.fr
  • Д. Ле Пезан Университет Париж–Нантер, лаборатория UMR 7114 “MoDyCo” Национального центра научных исследований Франции (CNRS), denis.lepesant@wanadoo.fr
  • И.М. Зацман Институт проблем информатики Российской академии наук, iz_ipi@a170.ipi.ac.ru

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

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