Software & Systems

Articles of journal № 4 at 2010 year.

Order result by: Public date | Title | Authors |

1. Oil wells technical repair service processes imitating modeling [№4 за 2010 год]
Author: Abu-Abed, F.N.
Visitors: 15392
The goals of spare parts and components maintenance are relevant to any complex technical systems. The solution to this problem for the case of supply of drilling equipment requires the creation of complex models, which are traditionally, used mathematical apparatus of queue systems. The way of the decision of a problem of drilling spare parts using the results of diagnosis and prediction of emergency situations based on the technology of neural networks.

2. Fuzzy set approach to classifier combination [№4 за 2010 год]
Authors: Багрова И.А., Пономарев С.А., Сорокин С.В., Сытник Д.А.
Visitors: 14326
Fuzzy set approach for combining of multiple classifiers is introduced. Proposed algorithms are evaluated on the optical character recognition task. Advices on usage of considered algorithms are given.

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

4. Abduction versus deduction [№4 за 2010 год]
Authors: Vagin V.N., Хотимчук К.Ю.
Visitors: 15192
Recently abductive inference, the goal of which is to derive a reason for an observed event, began to play the important role in intelligent systems. Deduction serves a huge role in organization of abductive inference. The deductive properties of abduction are the central theme of the paper. Algorithm ImpAA is discussed, that finds minimal abductive explanations with the help of primary implicates. Algorithm SOL-resolution is discussed, that finds the set of primary implicates and heuristics for that algorithm for reducing the search space is proposed.

5. Special software to improve the quality of expert operations results of r&d [№4 за 2010 год]
Authors: Вакуленко А.А., Сытник Д.А., Петров А.Н., Стрелец А.В.
Visitors: 14381
This article describes the special software, implemented as a web-application that allows you to improve the quality of the results of the examination of research & development work, performed within Federal Program, by performing data processing with mathematical and statistical methods. Using this software simplifies the procedure for making management decisions.

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

7. Program complex for an estimation of efficiency of manufacturing of a product [№4 за 2010 год]
Authors: Галина Л.В., Serdyuk A.I., Chernousova A.M.
Visitors: 14277
The problem of an estimation of efficiency of manufacturing of products on highly automated equipment is considered. As the decision the technique of use of the mathematical models received during research for calculation of parameters of efficiency of industrial systems is offered. The program complex allowing the user is developed, on the basis of the revealed dependences, to reduce time of decision-making at a choice of optimum variant of industrial system or manufacturing techniques of a product.

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

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

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

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