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

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

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

СИСТЕМА УПРАВЛЕНИЯ ЭЛЕКТРОННОЙ БИБЛИОТЕКОЙ LIBMETA .

• А.А. Захаров  Вычислительный центр им. Дородницина Российской академии наук, andreya@sufler.ru
• В.А. Серебряков  Вычислительный центр им. Дородницина Российской академии наук, serebr@ccas.ru

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

Ключевые слова:  электронные библиотеки; Единое научное информационное пространство (ЕНИП)

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

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

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

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

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

• А.К. Цискаридзе  Московский физико-технический институт, AchikoTsi@gmail.com

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

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

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

• В.А. Крылов  Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, vkrylov@cs.msu.ru

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

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

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

• А.А. Кузнецов  Владимирский государственный университет, artemi-k@mail.ru

Аннотация: По данным 628 регистраций электрокардиограмм (ЭКГ) у 177 здоровых и больных людей проведен сравнительный анализ параметров реальной и виртуальной диаграмм ритма сердца для оценки влияниясистемырегуляциина ритмсердца. Междупараметрамидиаграммиинформационнойэнтропией в условиях дискретной сезонной адаптации определены функциональные связи. Предложены «формулы функционального состояния организма», связывающие параметры макроструктуры диаграммы ритма сердца с параметрами ее ярусной микроструктуры. Обнаружено, что режим ритма сердца здорового человека вне зависимости от пола имеет цикл календарного года, в течение которого трижды дискретно меняется.

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

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

• С. Баранов  Холонский технологический институт, Израиль, samary@012.net.il
• С.Л. Френкель  Институт проблем информатики Российской академии наук, fsergei@mail.ru
• В.Н. Захаров   Институт проблем информатики Российской академии наук, VZakharov@ipiran.ru

Аннотация: Статья описывает методы и средства использования Алгоритмических машин состояний (ASM) для высокоуровневой спецификации проектов сложных цифровых систем и их верификации методом Проверки моделей (Model Checking). Данный подход использует иерархическое описание проектов на алгоритмическом уровне абстракции и возможность построения конечно-автоматных моделей по ASM-диаграммам алгоритмов. Для автоматической генерации программ Проверки моделей на языке SMV (Symbolic Modes Verifier) по ASM-диаграмме проектируемого устройства была разработана специальная программа. Способ применения данного подхода и программы демонстрируется на примере верификации проекта конвейерного микропроцессора.

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

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

• А.В. Колесников  Калининградский филиал Института проблем информатики РАН, avkolesnikov@yandex.ru
• С.А. Солдатов  ООО «Лайтон», Москва, ssa@west-automatica.com

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

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

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

• С.И.Матюшенко  Российский университет дружбы народов, кафедра теории вероятностей и математической статистики, matushenko@list.ru

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

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

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

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

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

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

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

• С.В. Гавриленко  Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, gavrilenko.cmc@gmail.com

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

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

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

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

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

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