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

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




«Системы и средства информатики»
Том 22, Выпуск 1, 2012г.

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

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

Развитие математического обеспечения для анализа нелинейных многоканальных круговых стохастических систем.

  • И. Н. Синицын  Институт проблем информатики Российской академии наук, sinitsin@dol.ru
  • Э. Р. Корепанов  Институт проблем информатики Российской академии наук, ekorepanov@ipiran.ru
  • В. В. Белоусов  Институт проблем информатики Российской академии наук, vbelousov@ipiran.ru
  • Т. Д. Конашенкова  Институт проблем информатики Российской академии наук, tkonashenkova@ipiran.ru

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

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

Персонифицированное преобразование представлений цветных изображений на мониторе ПЭВМ.

  • О. П. Архипов  Институт проблем информатики Российской академии наук, ofran@orel.ru
  • З. П. Зыкова  Институт проблем информатики Российской академии наук, ofran@orel.ru

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

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

Система характеризации самосинхронных элементов.

  • Ю. Г. Дьяченко  Институт проблем информатики Российской академии наук, diaura@mail.ru
  • Н. В. Морозов  Институт проблем информатики Российской академии наук, NMorozov@ipiran.ru
  • Д. Ю. Степченков  Институт проблем информатики Российской академии наук, Stepchenkov@mail.ru
  • Ю. А. Степченков  Институт проблем информатики Российской академии наук, YStepchenkov@ipiran.ru

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

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

Фиксация исключительных ситуаций в рекуррентном операционном устройстве.

  • Р. А. Зеленов  Институт проблем информатики Российской академии наук, graf.developer@gmail.com
  • А. А. Прокофьев  Институт проблем информатики Российской академии наук, a.a.prokofyev@mail.ru
  • Ю. А. Степченков  Институт проблем информатики Российской академии наук, YStepchenkov@ipiran.ru
  • В. Н. Волчек  Институт проблем информатики Российской академии наук, v_volchek@inbox.ru

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

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

Иерархический метод анализа самосинхронных электронных схем.

  • Л. П. Плеханов  Институт проблем информатики Российской академии наук, LPlekhanov@ipiran.ru

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

Ключевые слова: самосинхронные схемы; асинхронные схемы; анализ самосинхронности

Повышение отказоустойчивости данных в кэш-памяти путем их обновления.

  • Б. З. Шмейлин  Институт проблем информатики Российской академии наук, shmeilin@mail.ru

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

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

Моделирование лексической семантики в задачах компьютерной лингвистики.

  • О. С. Кожунова  Институт проблем информатики Российской академии наук, okozhunova@ipiran.ru

Аннотация: Проведен аналитический обзор лексико-семантических методов, их примеров и возможных областей их приложения. В основу рассмотренных работ легли статьи, опубликованные в трудах The World Congress in Computer Science, Computer Engineering, and Applied Computing (Международного конгресса по компьютерной науке, вычислительной технике и приложениям, который ежегодно проводится в США) за 2009 и 2011 гг.

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

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

  • I. Zatsman  Институт проблем информатики Российской академии наук, iz_ipi@a170.ipi.ac.ru
  • A. Durnovo  Институт проблем информатики Российской академии наук, duralex49@mail.ru

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

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

Предметные словари: назначение, особенности и перспективы.

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

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

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

Оценки скорости сходимости распределений случайных сумм к несимметричному распределению Стьюдента.

  • В. Е. Бенинг  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, bening@cs.msu.su
  • Л. М. Закс  Альфа-банк, отдел моделирования и математической статистики, lily.zaks@gmail.com
  • В. Ю. Королев  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, vkorolev@cs.msu.su

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

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

О точности приближения распределения оценки риска пороговой обработки вейвлет-коэффициентов сигнала нормальным законом при неизвестном уровне шума.

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

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

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

Использование вейвлет-анализа в климатических исследованиях.

  • М. Ш. Хазиахметов  Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, khaziakhmetov@yandex.ru
  • Т. В. Захарова  Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, lsa@cs.msu.ru

Аннотация: Описано применение вейвлет-анализа цифровых сигналов к одной из задач климатических исследований - поиску числовых закономерностей в поле водяного пара Земли

Ключевые слова: вейвлет-анализ; вейвлет-разложение; вейвлет-преобразование

Устойчивость масштабных смесей нормальных законов относительно изменений смешивающего распределения .

  • А. К. Горшенин  Институт проблем информатики Российской академии наук, agorshenin@ipiran.ru

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

Ключевые слова: масштабные смеси нормальных законов; метрика Леви

О неравномерных оценках скорости сходимости в центральной предельной теореме.

  • М. Е. Григорьева  Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, maria-grigoryeva@yandex.ru
  • С. В. Попов  Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, popovserg@yandex.ru

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