| Об институте | Направления деятельности | Научно-исследовательские работы и проекты | Объекты интеллектуальной собственности | Научные журналы ИПИ РАН | Другие публикации | Семинары и конференции |
|
«Информатика и её применения» (Том 3, Выпуск 2, 2009)Оглавление | Библиография | Об авторах Аннотации и ключевые слова.ВЕРОЯТНОСТНЫЙ АНАЛИЗ ВРЕМЕНИ ПРОЯВЛЕНИЯ НЕИСПРАВНОСТИ В СЕТИ АВТОМАТОВ.
Аннотация: Предложен способ распространения математической модели оценки распределения вероятностей времени обнаружения неисправности в некоторой цифровой системе, описанной как конечный автомат, на сеть подавтоматов, в которую декомпозирован данный исходный автомат. Под «латентностью» понимается время (число тактов работы автомата), которое проходит с момента проявления неисправности в той или иной переменной, описывающей модель автомата, до проявления ее в выходной последовательности автомата. Латентность вычисляется как число шагов до попадания цепи Маркова (ЦМ) с множеством состояний, представляющим собой произведение множеств состояний исправного и неисправного автоматов, в поглощающее состояние (на случайных входных наборах автомата). Предлагаемый подход к оценке распределения вероятностей латентности основан на расширении пространства состояний описываемой системы, что позволяет строить ЦМ для пар подавтоматов (в общем зависимых) исправного и неисправного автоматов и выразить это распределение в терминах вероятностных характеристик подавтоматов. Ключевые слова: тестирование цифровых схем; конечные автоматы; цепи Маркова
РЕЗЕРВНОЕ КОПИРОВАНИЕ, ИСПОЛЬЗУЮЩЕЕ СНИМКИ.
Аннотация: Рассмотрена сложность резервного копирования (backup), использующего различия между двумя последовательными снимками (snapshots). Предложены формальная модель, в которой можно точно поставить проблему, а также алгоритм, который решает эту проблему за почти линейное время от объема различий. Ключевые слова: резервное копирование (backup); снимки (snapshots); восстановлениефайловой системы;
журнал файловой системы
АДАПТАЦИЯ БИОМЕТРИЧЕСКОЙ СИСТЕМЫ К ИСКАЖАЮЩИМ ФАКТОРАМ НА ПРИМЕРЕ ДАКТИЛОСКОПИЧЕСКОЙ ИДЕНТИФИКАЦИИ.
Аннотация: Рассмотрены проблемы учета искажающих факторов при биометрической идентификации. На примере дактилоскопической идентификации проанализировано влияние искажений на качество идентификации. Предложены методы учета искажений на основе нормальной аппроксимации факторов. Проведенные эксперименты показали эффективность предложенного подхода к учету искажений. На основе разработанных методов предложена технология адаптации биометрической системы к искажа- ющим факторам. Ключевые слова: биометрическая идентификация; автоматическая дактилоскопическая идентификация;
искажающие факторы
ПРИБЛИЖЕННЫЙ МЕТОД ВЫЧИСЛЕНИЯ ХАРАКТЕРИСТИК УЗЛА ТЕЛЕКОММУНИКАЦИОННОЙ СЕТИ С ПОВТОРНЫМИ ПЕРЕДАЧАМИ
Аннотация: Рассмотрена модель узла коммутации пакетов c повторными передачами для двух схем распределения буферной памяти: полнодоступной и полного разделения. Предложен приближенный метод вычисления интенсивностей потоков и вероятностей блокировок узла. Получены необходимые и достаточные условия существования и единственности решения уравнения для потоков в узле при установившемся режиме работы и доказана сходимость итерационного метода решения указанного уравнения. Ключевые слова: узел коммутации пакетов; буферная память; повторные передачи; вероятности блокировок; итерационный метод
ВОПРОСЫР ЕАЛИЗАЦИИ ОБЪЕДИНЯЮЩЕЙ СРЕДЫ В АРХИТЕКТУРЕ ДЕЦЕНТРАЛИЗОВАННОЙ ПАКЕТНОЙ КОММУТАЦИИ.
Аннотация: Сформулированы требования к объединяющей среде архитектуры децентрализованной пакетной коммутации, рассмотрены способы ее реализации, особое внимание уделено использованию в качестве объединяющей среды высокоскоростных последовательных интерфейсов, предложен редуцированный вариант такого интерфейса, специализированный для пакетной коммутации. Ключевые слова: пакетный коммутатор; децентрализованная коммутация; интегрированный коммуникационный микроконтроллер; сверхлокальная сеть; высокоскоростной последовательный интерфейс
ТЕХНОЛОГИЧЕСКАЯ СИСТЕМА ДЛЯ ПОСТРОЕНИЯ ПРОГРАММНЫХ КОМПЛЕКСОВ АВТОМАТИЗАЦИИ ОБРАБОТКИ ТРЕХМЕРНЫХ ДАННЫХ ЛАЗЕРНОГО СКАНИРОВАНИЯ.
Аннотация: Рассмотрена технологическая система для создания комплексов автоматической обработки данных лазерного сканирования. Приведены разработанные и применяемые авторами алгоритмы для классификации трехмерных данных и получения высококачественных моделей земного рельефа. Описан инструментарий для визуализации, оценки и коррекции полученных моделей. Обсуждаются достигнутые результаты и направление дальнейших исследований. Ключевые слова: автоматизация обработки данных; алгоритмы классификации; трехмерные модели;
лидар; лазерное сканирование
СЕМИОТИЧЕСКАЯ МОДЕЛЬ ВЗАИМОСВЯЗЕЙ КОНЦЕПТОВ, ИНФОРМАЦИОННЫХ ОБЪЕКТОВ И КОМПЬЮТЕРНЫХ КОДОВ.
Аннотация: Рассматривается семиотическая модель, которая была разработана в процессе исследования проблем генерации и эволюции целевых систем знаний (ЦСЗ), а также отображения в электронных библиотеках и других видах информационных систем процессов их эволюции во времени и пространстве знаковых систем. Эти проблемы относятся к новому направлению исследований, получившему название «когнитивная информатика». Предлагаемая в статье семиотическая модель предназначена для описания взаимосвязей денотатов, концептов, информационных объектов и компьютерных кодов. Эта модель позиционируется как теоретическая основа для разработки методов трехкомпонентной кодировки денотатов, концептов и информационных объектов, в томчисле построения взаимно однозначных отношений между концептами систем знаний человека и компьютерными кодами. Ключевые слова: семиотическая модель; целевые системы знаний; денотаты; концепты; информационные объекты; компьютерные коды; трехкомпонентная кодировка; отношения между концептами и
компьютерными кодами
|
|
||
|
| © 2016 Институт проблем информатики Российской Академии наук |