| Об институте | Направления деятельности | Научно-исследовательские работы и проекты | Объекты интеллектуальной собственности | Научные журналы ИПИ РАН | Другие публикации | Семинары и конференции |
|
«Информатика и её применения» (Том 2, Выпуск 3, 2008)Оглавление | Библиография | Об авторах Аннотации и ключевые слова.СТРУКТУРНАЯ ДЕКОМПОЗИЦИЯ МАТРИЧНЫХ СИСТЕМ
Аннотация: Рассматривается один из возможных подходов к распараллеливанию матричных систем путем их структурной декомпозиции на совокупность подсистем, независимых на определенном этапе вычислений. Сформулирован конструктивный алгоритм декомпозиционного метода и дана оценка его вычислительных затрат. Ключевые слова: матричная система, ленточная матрица; полная матрица; треугольная матрица; блочная трехдиагональная матрица; декомпозиция; вектор разбиения, отрезок разбиения; факторизация; LU- разложение; распараллеливание CONCURRENT DESIGN AND VERIFICATION OF DIGITAL HARDWARE
Abstract: The main goal of this paper is to present a new design verification methodology for complicated digital systems, designed by high-level synthesis. This methodology is based on Algorithmic State Machine (ASM) transformations (composition, minimization, extraction, etc.), special algorithms for Data Path and Control Unit (CU) design, and very fast optimizing synthesis of finite state machines (FSM) and combinational circuits with hardly any constraints on their size, that is, the number of inputs, outputs, and states. Design tools supporting this methodology allow very fast implement, check and estimate many possible design versions, to find an optimized decision of the design problem and to simplify the verification problem for digital systems. In contrast to existent semi-formal approaches to verification of industrial systems, based on combination of simulation and formal verification approaches, a formalized method based on concurrency of synthesis and verification that is providing regular efficient way to verify the system designed properties starting from its semi-formal specification up to field programmable gate array (FPGA) implementation is considered. Keywords: digital systems design; formal verification; finite state machine ФУНКЦИЯ СТОИМОСТИ РЕСУРСОВ В ЭКОНОМИЧЕСКОЙ МОДЕЛИ УПРАВЛЕНИЯ ГРИД
Аннотация: Рассматривается задача максимизации дохода владельца ресурсов локального узла грид с экономической моделью управления, в которой выделяемые внешнему пользователю ресурсы оплачива- ются, а сумма платы зависит от спроса и предложения на ресурсы. В рассматриваемой модели очередь глобальных заданийформируется только в центре планирования ресурсов грид, в которомосуществляется поиск, выбор и резервирование требуемых ресурсов, и отправка задания на ресурсы происходит одно- временно с их выбором и резервированием. Предлагается функция стоимости ресурсов, использование которой позволит их владельцу осуществить эффективное разделение ресурсов локального узла грид между глобальными и локальными заданиями. Приведены результаты аналитического исследования рас- сматриваемой задачи и сравнительного анализа предлагаемых решений с использованиемкомпьютерного Ключевые слова: грид; модель распределения ресурсов; многопроцессорные задания; владелец ресурсов; марковский процесс; стратегия
МНОГОЛИНЕЙНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ С КОНЕЧНЫМ НАКОПИТЕЛЕМ, БЛОКИРОВКОЙ ПОЛУМАРКОВСКОГО ПОТОКА ЗАЯВОК И ВЫБИВАНИЕМ ЗАЯВОК ИЗ НАКОПИТЕЛЯ
Аннотация: Рассматривается многолинейная система массового обслуживания (СМО) с конечным накопителем, блокировкой полумарковского потока заявок и выбиванием заявок из накопителя первой заявкой, поступившей в систему на периоде времени, когда поток разблокирован. Периоды блокировки входящего потока и периоды, когда входящий поток разблокирован, распределены по экспоненциальному закону с разными интенсивностями. Найдены основные стационарные характеристики системы: распределение очереди, вероятность потери заявки, среднее время пребывания заявки в системе. Ключевые слова: система массового обслуживания; полумарковский поток заявок; выбивание заявок
СЕРВИСНО-ОРИЕНТИРОВАННЫЙ ПОДХОД К РАЗРАБОТКЕ МУЛЬТИБИОМЕТРИЧЕСКИХ ТЕХНОЛОГИЙ
Аннотация: В настоящее время значительное внимание уделяется технологиям мультибиометрической идентификации, т. е. идентификации человека одновременно по нескольким биометрическим признакам. В первую очередь такие технологии востребованы в перспективных системах гражданской идентификации, в частности в биометрическом паспорте. В статье предложен подход к созданию высокопроизводительных мультибиометрических технологий и систем на базе сервисно-ориентированной архитектуры. Приведены результаты разработки программного обеспечения на основе новых подходов. Ключевые слова: биометрические технологии; мультибиометрическая идентификация; многозвенная
архитектура; аппаратная независимость; сервисно-ориентированная архитектура
ЗАДАЧА ПРЕДСТАВЛЕНИЯ ЛИЧНОСТНЫХ И КОЛЛЕКТИВНЫХ КОНЦЕПТОВ В ЦИФРОВОЙ СРЕДЕ
Аннотация: В статье анализируются ключевые положения документов 7-й Рамочной программы Европейского Союза, принятой на период 2007–2013 гг., содержащие формулировки ряда новых направлений и задач, относящихся к проблематике представления знаний в информационных системах долговременного использования. Результаты анализа этих документов позволяют утверждать, что одновременно с традиционной проблемой информатики, охватывающей вопросы представления в цифровой среде уже имеющихся знаний, ориентированных на удовлетворение технологических, экономических, образовательных и других социально значимых потребностей общества, их хранения и извлечения, становится актуальной задача направляемой генерации новых целевых систем знаний в тех случаях, когда имеющиеся системы знаний не удовлетворяют этим потребностям и с этой точки зрения являются неполными. Предложен новый подход к отражению в цифровой среде личностных и коллективных концептов, а также стадий их эволюции в контексте генерации целевых систем знаний. Ключевые слова: личностные, коллективные и конвенциональные концепты; стабильные и нестабильные
концепты; представление личностных и коллективных концептов в цифровой среде
К 25-ЛЕТИЮ ИНСТИТУТА ПРОБЛЕМ ИНФОРМАТИКИ РАН
Аннотация: Представлена история созданияИПИ РАН, дана общая характеристика института, отражены основные этапы его развития. Рассмотрена эволюция основных направлений исследований института, охарактеризованы важнейшие полученные за 25 лет фундаментальные и прикладные результаты. Ключевые слова: ИПИ РАН; 25 лет; история; направления исследований
|
|
||
|
| © 2016 Институт проблем информатики Российской Академии наук |