На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

4
Ожидается:
09 Сентября 2024

Статьи журнала №4 2010

1. Развитие спецификаций JTAG для отладки аппаратного и программного обеспечения [№4 за 2010 год]
Авторы: Галатенко В.А. (galat@niisi.msk.ru) - НИИСИ РАН, г. Москва (зав. сектором автоматизации программирования), кандидат физико-математических наук; Костюхин К.А. (kost@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН) (старший научный сотрудник), кандидат физико-математических наук; Шмырев Н.В. (shmyrev@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН), г. Москва, кандидат физико-математических наук;
Аннотация: В работе дается краткий обзор базовых спецификаций JTAG, новых спецификаций cJTAG и некоторых корпо-ративных расширений, помогающих использовать JTAG в качестве отладочного интерфейса.
Abstract: This article presents the brief review of base JTAG specifications, new cJTAG specifications and some proprietary enhancements which allow programmers to use JTAG as a debugging tool.
Ключевые слова: отладка, ejtag, cjtag, jtag
Keywords: debugging, ejtag, cjtag, jtag
Просмотров: 16850

2. Параллельная генерация пространства состояний дискретных детерминированных моделей [№4 за 2010 год]
Авторы: Коротков И.А. (twee@tweedle-dee.org) - НИИСИ РАН, г. Москва;
Аннотация: Основной проблемой проверки конечных моделей является комбинаторный взрыв числа состояний, которые с ростом размера модели становится трудно хранить в ОЗУ одной машины. Рассматривается подход к проверке моделей на основе параллельной генерации состояний и их распределенного хранения. Предлагается схема распределенного хранения состояний, позволяющая уменьшить число удаленных вызовов между узлами в процессе генерации. Приводятся результаты экспериментов, полученные при помощи разработанного программного средства.
Abstract: A major limitation of model-checking is statespace combinatorial explosion, which makes even medium-sized model inappropriate for that kind of verification. In this paper, parallel statespace generation with distributed state storage is proposed as a possible solution. State partitioning scheme that allows to reduce number of remote calls during generation process is developed. Experimental results, produced by developed verification tool, are given and prove that proposed partitioning scheme is better than random uniform distribution.
Ключевые слова: язык promela, параллельные вычисления, генерация состояний, проверка моделей, : формальная верификация
Keywords: Promela language, parallel computing, state generation, model checking,
Просмотров: 14517

3. Исследование архитектурной чувствительности к сбоям с использованием метода статистического внесения сбоев [№4 за 2010 год]
Авторы: Осипенко П.Н. (osipenko@niisi.msk.ru) - НИИСИ РАН, Москва, кандидат технических наук; Антонов А.А. (153287@niuitmo.ru) - Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики (Университет ИТМО) (аспирант); Левадский С.А. (levadsky@niisi.msk.ru) - НИИСИ РАН, Москва;
Аннотация: В статье описываются методика определения коэффициента архитектурной чувствительности к сбоям цифровых блоков и результаты ее применения на примере исследования блока автомата состояний контроллера мультиплексного канала информационного обмена, выполненного в соответствии с ГОСТ Р 52070-2003
Abstract: The paper describes the methodology for determining the architecture vulnerability factor to failures digital blocks and the results of its application as an example of research unit of the controller finite state machine multiplex channel for information exchange made in accordance with GOST 52070-2003.
Ключевые слова: «серый» результат, микроархитектурное состояние, эталонная трасса, коэффициент архитектурной чувствительности к сбоям
Keywords: «gray» result, microarchitectural state, reference track, architecture vulnerability factor to failures
Просмотров: 13570

4. Операционная система реального времени Багет 3.0 [№4 за 2010 год]
Авторы: Годунов А.Н. (nkag@niisi.ras.ru) - Федеральный научный центр Научно-исследовательский институт системных исследований РАН (ФНЦ НИИСИ РАН) (зав. отделом), кандидат физико-математических наук;
Аннотация: В статье рассматриваются требования, архитектура и принципы построения высоконадежных операционных систем реального времени на примере отечественной операционной системы Багет 3.0.
Abstract: The requirements, architecture and design concept of real-time operating systems are discussed considering Russian real-time operating system Baget 3.0.
Ключевые слова: arinc-653, posix, надежность, операционная система, реальное время
Keywords: arinc-653, posix, reliability, operating system, real time
Просмотров: 25468

5. Планирование заданий с синхронным стартом [№4 за 2010 год]
Авторы: Грюнталь А.И. (grntl@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук;
Аннотация: Рассматривается формализованная модель исполнения произвольной многозадачной системы реального времени с синхронным стартом. Для таких систем формулируются необходимые и достаточные условия, выполнение которых обеспечивает своевременное исполнение всех задач. Приводится соответствующий алгоритм планирования.
Abstract: The paper deals with a formal execution model of multitask real time systems. Necessary and sufficient conditions that guarantees in time task completion of an arbitrary system with synchronous start are formulated. Corresponding planning algorithm is given.
Ключевые слова: синхронный старт, планирование, многозадачность, программное обеспечение, реальное время
Keywords: synchronous start, planning, multitasking, the software, real time
Просмотров: 14214

6. Генератор текста программ в исходном виде для систем реального времени [№4 за 2010 год]
Авторы: Нархов К.Г. (kostas@niisi.ras.ru) - НИИСИ РАН, г. Москва;
Аннотация: Статья посвящена практическим вопросам технологии генерации текста программ в исходном виде для систем реального времени. Рассматриваются принципы работы технологических средств автоматизированной генерации программ, логическая структура генератора текста программ в исходном виде и алгоритмы функционирования его программных модулей.
Abstract: This article is devoted to practical questions about source code generation technology in real-time systems. The author has been considered basic principles of automated source code generation programs, logic structure of the code generator and functional algorithms of its modules.
Ключевые слова: исходный код, системы реального времени, генерация исходных текстов, xml, uml, моделирование, модель, надежность, многопоточность, программирование
Keywords: source code, realtime systems, source code generation, xml, uml, modeling, mathematical model, reliability, multithreading, programming
Просмотров: 19699

7. Алгоритм обеспечения исключительного доступа к коммутатору RapidIO [№4 за 2010 год]
Авторы: Бакулин А.А. (alexander.bakulin@gmail.com) - ННИСИ РАН, г. Москва;
Аннотация: Предлагается алгоритм обеспечения исключительного доступа к коммутатору RapidIO, устойчивый к выходу оконечных устройств из строя. Алгоритм предназначен для использования в случаях, когда настройка коммуникаци-онной среды RapidIO производится сразу несколькими оконечными устройствами и требуется исключить возможность одновременного доступа нескольких оконечных устройств к одному коммутатору.
Abstract: An algorithm is proposed for providing mutual exclusion access of several RapidIO nodes to a single switch while RapidIO switching fabric is being initialized by a number of nodes. The algorithm is tolerant to node failures.
Ключевые слова: алгоритм, взаимное исключение, rapidio
Keywords: algorithm, mutual exclusion, RapidIO
Просмотров: 16322

8. Моделирование полета космического аппарата по околоземной орбите в космическом тренажерном комплексе [№4 за 2010 год]
Автор: Тимохин П.Ю. (webpismo@yahoo.de) - ФНЦ НИИСИ РАН (научный сотрудник);
Аннотация: В данной работе предлагается алгоритм вычисления положения и ориентации модели Земли относительно системы координат, жестко связанной с космическим аппаратом, если известны параметры кеплеровской орбиты космического аппарата в абсолютной геоцентрической системе координат. Такой подход позволяет более точно моделировать процессы стыковки космических аппаратов в имитационно-тренажерных комплексах.
Abstract: The paper describes an algorithm of Earth model position and orientation calculation relative to the coordinate system fixed to a space vehicle (SV) given it’s Kepler orbit elements defined in the geocentric reference frame are known. The approach enables more accurate SV docking modelling in space simulators.
Ключевые слова: кеплеровская орбита, моделирование, космический аппарат, система визуализации
Keywords: Kepler orbit, modeling, spacecraft, visualization system
Просмотров: 23065

9. Построение адаптивной регулярной сетки трехмерной сцены в реальном режиме времени [№4 за 2010 год]
Авторы: Мальцев А.В. (avmaltcev@mail.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук;
Аннотация: Предлагаются новые методы и алгоритмы построения и заполнения в реальном режиме времени структуры ус-корения, основанной на регулярной сетке, для системы трассировки лучей в трехмерных виртуальных сценах. Опи-санные методы и алгоритмы используют архитектуру параллельных вычислений CUDA и подходят как для статиче-ских, так и для динамических сцен.
Abstract: New real-time methods and algorithms of acceleration structure construction and infill, based on regular grid, for the ray tracing system in three-dimensional virtual scenes are proposed. The described methods and algorithms use CUDA parallel computation architecture and are suitable for both static and dynamic scenes.
Ключевые слова: параллельные вычисления, регулярная сетка, структура ускорения, трассировка лучей
Keywords: parallel computing, regular grid, acceleration structure, Kepler orbit
Просмотров: 17405

10. Комбинаторные методы восстановления функций по их усреднениям на дискретных подмножествах области определения [№4 за 2010 год]
Авторы: Граев М.И. (akoganov@yandex.ru) - НИИСИ РАН, Москва, доктор физико-математических наук; Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук;
Аннотация: Рассматривается задача вычисления значений функции, определенной на счетном дискретном носителе, в каждой точке ее области определения, если известны только средние значения на достаточно большом наборе конечных или счетных подмножеств. Эта задача аналогична задаче интегральной геометрии на континуальных пространствах с мерой, однако дискретность носителя функционального пространства позволяет получить новые комбинаторные методы обращения усредняющих операторов, не сводимые к известным формулам обращения в интегральной геометрии. Методы можно применять к пространствам с различной дискретной математической структурой.
Abstract: It considered the task of computing the value of function (which is determent on countable discrete support) for each point in domain of definition, if it is known only average value of that function on sufficiently big assembly of finite or countable subsets. That task is analogous the integral geometry task on continuality spaces with measure. But the discrete support of functional space permit to obtain new combinatorial methods for inversion of average operators, which are not reducible to known formulas in integral geometry. Those methods may by apply on spaces with different mathematical structures.
Ключевые слова: двойное разбиение, усреднение на группе, интегральная геометрия, формула обращения
Keywords: dual subdivision, average on group, integral geometry, inversion formula
Просмотров: 12686

| 1 | 2 | 3 | 4 | 5 | Следующая →