|
«Системы и средства информатики»
Том 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
Ключевые слова: центральная предельная теорема; неравномерная
оценка скорости сходимости; неравенство Берри--Эссеена; абсолютная
постоянная
|
|
