Страницы: 1–80 Год: 2008 Месяцы: июль–сентябрь

Цена:  200 руб.

Купить  В корзину

Содержание

СТРУКТУРНАЯ ДЕКОМПОЗИЦИЯ МАТРИЧНЫХ СИСТЕМ
с. 2–6
А. С. Оленин

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

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

 

О ВЕРИФИКАЦИИ НА ЭТАПЕ СИНТЕЗА ЦИФРОВЫХ СИСТЕМ
с. 7–25
С. И. Баранов, С. Л. Френкель, В. Е. Синельников, В. Н. Захаров

Аннотация: Описана новая методология учета требований верификации проектов цифровых систем в процессе их разработки, начиная с этапа алгоритмического описания. Методология основана на использовании модели Algorithmic State Machine (ASM) и алгоритмах их композиции и минимизации. Данный подход предназначен для синтеза в виде управляющего автомата и подсистемы обработки данных (Data Path) цифровых систем любого типа и сложности (в том числе микропроцессоров с конвейером), микропрограммных автоматов, контроллеров протоколов и т. д.). В отличие от известных полуформальных подходов к верификации проектов, основанных на комбинации моделирования и формальной верификации различных частей проекта, рассматривается формализованная процедура, позволяющая получить тестбенчи для верификации всех элементов синтезируемой схемы непосредственно из исходного алгоритмического описания, с учетом особенностей реализации структуры Data Path и управляющего автомата.

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

 

ФУНКЦИЯ СТОИМОСТИ РЕСУРСОВ В ЭКОНОМИЧЕСКОЙ МОДЕЛИ УПРАВЛЕНИЯ ГРИД
с. 26–33
Я. М. Агаларов

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

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

 

МНОГОЛИНЕЙНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ С КОНЕЧНЫМ НАКОПИТЕЛЕМ, БЛОКИРОВКОЙ ПОЛУМАРКОВСКОГО ПОТОКА ЗАЯВОК И ВЫБИВАНИЕМ ЗАЯВОК ИЗ НАКОПИТЕЛЯ
с. 34–40
В. В. Чаплыгин

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

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

 

СЕРВИСНО-ОРИЕНТИРОВАННЫЙПОДХОД К РАЗРАБОТКЕ МУЛЬТИБИОМЕТРИЧЕСКИХ ТЕХНОЛОГИЙ
с. 41–53
О. С. Ушмаев

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

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

 

ЗАДАЧИ ПРЕДСТАВЛЕНИЯ ЛИЧНОСТНЫХ И КОЛЛЕКТИВНЫХ КОНЦЕПТОВ В ЦИФРОВОЙ СРЕДЕ
с. 54–69
И. М. Зацман, В. В. Косарик, О. А. Курчавова

Аннотация: В статье анализируются ключевые положения документов 7-й Рамочной программы Европейского Союза, принятой на период 2007–2013 гг., содержащие формулировки ряда новых направлений и задач, относящихся к проблематике представления знаний в информационных системах долговременного использования. Результаты анализа этих документов позволяют утверждать, что одновременно с традиционной проблемой информатики, охватывающей вопросы представления в цифровой среде уже имеющихся знаний, ориентированных на удовлетворение технологических, экономических, образовательных и других социально значимых потребностей общества, их хранения и извлечения, становится актуальной задача направляемой генерации новых целевых систем знаний в тех случаях, когда имеющиеся системы знаний не удовлетворяют этим потребностям и с этой точки зрения являются неполными. Предложен новый подход к отражению в цифровой среде личностных и коллективных концептов, а также стадий их эволюции в контексте генерации целевых систем знаний.

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

 

К 25-ЛЕТИЮ ИНСТИТУТА ПРОБЛЕМ ИНФОРМАТИКИ РАН
с. 70–76
И. А. Соколов, В. Н. Захаров

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

Ключевые слова: ИПИ РАН; 25 лет; история; направления исследований

 

ABSTRACTS
с. 77–79

ОБ АВТОРАХ
с. 80

ABOUT AUTHORS
с. 80

Назад в раздел