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


Next issue

Publication date:
16 March 2021

Journal articles №2 2010

1. Mathematical model of controlled execution [№2 за 2010 год]
Authors: ( - , Ph.D;
Abstract: Formal description of a complex information systems should be able to describe the objects of a system and their interaction and should unify approaches to the description of calculations. In this article the model of the calculations describing the main aspects of controlled execution of distributed reliable realtime applications is presented
Keywords: realtime systems, distributed systems, controlled execution
Visitors: 7036

2. Monitor oriented programming as a part of controlled execution [№2 за 2010 год]
Authors: Galatenko V.A. ( - Scientific Research Institute for System Studies of the Russian Academy of Sciences (SRISA RAS), Ph.D; Kostyukhin K.A. ( - Scientific Research Institute for System Studies of the Russian Academy of Sciences (SRISA RAS), Ph.D; ( - , Ph.D;
Abstract: Formal methods of verification based on static code analysis, theorem proving and model verification do not describe quantitative characteristics of applications. This article presents the novel approach including the static analysis of a program code, model validation and dynamic verification of the program properties during runtime
Keywords: distributed systems, the automated information system, controlled execution
Visitors: 8257

3. Analyze of fault tolerance for parallel circular computing system [№2 за 2010 год]
Authors: ( - , Ph.D; ( - ;
Abstract: It inputted the notion of circular computing system model (CCS) (which represented in form non-orienteering circular coloring graph) and set of several identical that models (SCCS). Model of task for SCCS defined haw graph which is identical model of CCS. Destruction of CCS mean a selection any own subgraph in model (DCCS), and mending DCCS is addition of any vertexes and-or edges from CCS/DCCS. Failure of SCCS is inability to find isomorphic image of task model in any DCCS on SCCS. It is researching the possible of task entering on DSSC and depending that on color number and ring long. It is reasserting the depending mean time of first failure SCCS on parameters of graph CCS and increase low of SCCS by imitation modeling method
Keywords: dual system, mean time of first failure, computing system
Visitors: 7004

4. The development of the system for microprocessor random testing INTEG [№2 за 2010 год]
Authors: ( - , Ph.D; Zakharov A.V. ( - SRISA RAS; ( - ; Koltsov P.P. ( - SRISA RAS, Ph.D; Kotovich N.V. ( - SRISA RAS; ( - , Ph.D; ( - , Ph.D; ( - , Ph.D; ( - ;
Abstract: Stochastic testing is one of the most powerful tools for verification of microprocessor design. To simplify the generation of random tests and to create a tool for testing processors of the MIPS64 architecture, the system named INTEG has been developed. After its use for several years, a deep modernization of INTEG has been carried out, resulting in the program complex INTEG2. In the paper the main features of both INTEG and INTEG2, as well as their similarities and dissimilarities, are considered. Also some directions for further development of INTEG2 are finally addressed
Keywords: random test generation, RTL model, MIPS64, stochastic testing, verification
Visitors: 9659

5. Realization of a stereo mode for various devices of display in a real-time mode [№2 за 2010 год]
Authors: Torgashev M.A. ( - SRISA RAS, Ph.D;
Abstract: Algorithms of realization of a stereo mode in a real time for the various formats used in different devices of stereo visualization are in detail considered. The number of considered systems and technologies of stereo visualization includes anaglyph systems, shutter-glasses systems, polarizing projective systems, monitors with interlaced technology of stereo and autostereoscopic monitors Philips 3D Solutions
Keywords: stereo formats, algorithms of 3D visualization in a real-time mode, technologies of stereoscopic display, stereo mode
Visitors: 8190

6. Modelling of three-dimensionnal temperature fields in electronic modules [№2 за 2010 год]
Authors: Madera A.G. ( - SRISA RAS, Ph.D; Kandalov P.I. ( - SRISA RAS;
Abstract: The article is dedicated to a method of mathematical and computer modeling of three-dimensional temperature fields in complex design of the real electronic modules, containing multilayer printed circuit board, installed integrated circuits and electroradio elements. The method is made as the program for personal computer
Keywords: a tempering, software package, mathematical and computer modeling, electronic module
Visitors: 10345

7. The increasing inductor spaces and analyze of parallel algorithms [№2 за 2010 год]
Authors: ( - , Ph.D;
Abstract: It defined the criterions of effectively for using of parallel algorithms in computing of logical and mathematical functions. The apparatus of increasing inductor spaces suggested for analyze of that criterions. It considered narrow two tasks with effectively and small effectively paralleling of algorithms.
Keywords: testes, calculation, effectively, parallelism, algorithms
Visitors: 6909

8. A blur detection method for digital images’ edges [№2 за 2010 год]
Authors: Koltsov P.P. ( - SRISA RAS, Ph.D;
Abstract: The paper submits image blur estimation method, which is not based on a priori information on external conditions for image taking. The method based on previously introduced edge detector operator. This operator produces local approximation of the digital image’s fragments by some more easy function. The approximation is made with a step-form function in the round-form windows.
Keywords: distortion, brightness, edge, blur, digital image
Visitors: 6426

9. Automated protection technology of the internet information service [№2 за 2010 год]
Authors: ( - , Ph.D;
Abstract: This article is devoted to the technology of construction of the automated information real-time systems on the Internet scale with dynamic encryption of the information resources. The submitted technology essentially outstrips the known technologies of information service, adhering to standard HTML/XML and the concept of application server, in effectivity, throughput, the level of automation and safety.
Keywords: encryption, Internet, automated information system, DBMS
Visitors: 8523

10. Evaluation of innovative potential of organizations of the region based on hybrid expert systems [№2 за 2010 год]
Authors: ( - , Ph.D; ( - ;
Abstract: The article considers models and architecture of a special software system for determining the level of innovative potential of the organization based on hybrid expert systems technology and neural networks.
Keywords: neural network, hybrid expert systems, innovative capacity
Visitors: 11687

| 1 | 2 | 3 | 4 | Next →