ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Bookmark

Next issue

3
Publication date:
16 September 2019
-->

Articles of journal № 4 at 2010 year.

Order result by:
Public date | Title | Authors

1. JTAG development for hardware and software debugging [№4 за 2010 год]
Authors: Galatenko V.A., Kostyukhin K.A., Шмырев Н.В.
Visitors: 11874
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.

2. Parallel statespace generation for finite discrete models [№4 за 2010 год]
Author: Коротков И.А.
Visitors: 10228
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.

3. The research of architecture vulnerability to failures using the statistical method of making failures [№4 за 2010 год]
Authors: Осипенко П.Н., A.A. Antonov, Левадский С.А.
Visitors: 9855
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.

4. Real-time operating system Baget 3.0 [№4 за 2010 год]
Author: A.N. Godunov
Visitors: 19486
The requirements, architecture and design concept of real-time operating systems are discussed considering Russian real-time operating system Baget 3.0.

5. Planning of tasks with synchronous start [№4 за 2010 год]
Author: Грюнталь А.И.
Visitors: 9813
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.

6. Source code generator for real-time systems [№4 за 2010 год]
Author: Нархов К.Г.
Visitors: 12717
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.

7. Mutual exclusion algorithm for RapidIO switch access [№4 за 2010 год]
Author: Бакулин А.А.
Visitors: 9859
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.

8. Near-earth orbit flight simulation in a space training system [№4 за 2010 год]
Author: Timokhin P.Yu.
Visitors: 15875
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.

9. Real-time construction of 3d scene’s adaptive regular grid [№4 за 2010 год]
Author: Maltsev A.V.
Visitors: 11919
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.

10. Combinatorial methods for functions reconstruction by their averaging on discrete subsets in domain of definition [№4 за 2010 год]
Authors: Граев М.И., Коганов А.В.
Visitors: 9102
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.

| 1 | 2 | 3 | 4 | 5 | Next →