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

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

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

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

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

2
Ожидается:
16 Июня 2024

Статьи из выпуска № 4 за 2010 год.

Упорядочить результаты по:
Дате публикации | Заголовку статьи | Авторам

1. Развитие спецификаций JTAG для отладки аппаратного и программного обеспечения [№4 за 2010 год]
Авторы: Галатенко В.А., Костюхин К.А., Шмырев Н.В.
Просмотров: 16036
В работе дается краткий обзор базовых спецификаций JTAG, новых спецификаций cJTAG и некоторых корпо-ративных расширений, помогающих использовать JTAG в качестве отладочного интерфейса.

2. Параллельная генерация пространства состояний дискретных детерминированных моделей [№4 за 2010 год]
Автор: Коротков И.А.
Просмотров: 13830
Основной проблемой проверки конечных моделей является комбинаторный взрыв числа состояний, которые с ростом размера модели становится трудно хранить в ОЗУ одной машины. Рассматривается подход к проверке моделей на основе параллельной генерации состояний и их распределенного хранения. Предлагается схема распределенного хранения состояний, позволяющая уменьшить число удаленных вызовов между узлами в процессе генерации. Приводятся результаты экспериментов, полученные при помощи разработанного программного средства.

3. Исследование архитектурной чувствительности к сбоям с использованием метода статистического внесения сбоев [№4 за 2010 год]
Авторы: Осипенко П.Н., Антонов А.А., Левадский С.А.
Просмотров: 13156
В статье описываются методика определения коэффициента архитектурной чувствительности к сбоям цифровых блоков и результаты ее применения на примере исследования блока автомата состояний контроллера мультиплексного канала информационного обмена, выполненного в соответствии с ГОСТ Р 52070-2003

4. Операционная система реального времени Багет 3.0 [№4 за 2010 год]
Автор: Годунов А.Н.
Просмотров: 24518
В статье рассматриваются требования, архитектура и принципы построения высоконадежных операционных систем реального времени на примере отечественной операционной системы Багет 3.0.

5. Планирование заданий с синхронным стартом [№4 за 2010 год]
Автор: Грюнталь А.И.
Просмотров: 13385
Рассматривается формализованная модель исполнения произвольной многозадачной системы реального времени с синхронным стартом. Для таких систем формулируются необходимые и достаточные условия, выполнение которых обеспечивает своевременное исполнение всех задач. Приводится соответствующий алгоритм планирования.

6. Генератор текста программ в исходном виде для систем реального времени [№4 за 2010 год]
Автор: Нархов К.Г.
Просмотров: 18549
Статья посвящена практическим вопросам технологии генерации текста программ в исходном виде для систем реального времени. Рассматриваются принципы работы технологических средств автоматизированной генерации программ, логическая структура генератора текста программ в исходном виде и алгоритмы функционирования его программных модулей.

7. Алгоритм обеспечения исключительного доступа к коммутатору RapidIO [№4 за 2010 год]
Автор: Бакулин А.А.
Просмотров: 15078
Предлагается алгоритм обеспечения исключительного доступа к коммутатору RapidIO, устойчивый к выходу оконечных устройств из строя. Алгоритм предназначен для использования в случаях, когда настройка коммуникаци-онной среды RapidIO производится сразу несколькими оконечными устройствами и требуется исключить возможность одновременного доступа нескольких оконечных устройств к одному коммутатору.

8. Моделирование полета космического аппарата по околоземной орбите в космическом тренажерном комплексе [№4 за 2010 год]
Автор: Тимохин П.Ю.
Просмотров: 22306
В данной работе предлагается алгоритм вычисления положения и ориентации модели Земли относительно системы координат, жестко связанной с космическим аппаратом, если известны параметры кеплеровской орбиты космического аппарата в абсолютной геоцентрической системе координат. Такой подход позволяет более точно моделировать процессы стыковки космических аппаратов в имитационно-тренажерных комплексах.

9. Построение адаптивной регулярной сетки трехмерной сцены в реальном режиме времени [№4 за 2010 год]
Автор: Мальцев А.В.
Просмотров: 16492
Предлагаются новые методы и алгоритмы построения и заполнения в реальном режиме времени структуры ус-корения, основанной на регулярной сетке, для системы трассировки лучей в трехмерных виртуальных сценах. Опи-санные методы и алгоритмы используют архитектуру параллельных вычислений CUDA и подходят как для статиче-ских, так и для динамических сцен.

10. Комбинаторные методы восстановления функций по их усреднениям на дискретных подмножествах области определения [№4 за 2010 год]
Авторы: Граев М.И., Коганов А.В.
Просмотров: 12108
Рассматривается задача вычисления значений функции, определенной на счетном дискретном носителе, в каждой точке ее области определения, если известны только средние значения на достаточно большом наборе конечных или счетных подмножеств. Эта задача аналогична задаче интегральной геометрии на континуальных пространствах с мерой, однако дискретность носителя функционального пространства позволяет получить новые комбинаторные методы обращения усредняющих операторов, не сводимые к известным формулам обращения в интегральной геометрии. Методы можно применять к пространствам с различной дискретной математической структурой.

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