Software & Systems

Articles of journal № 4 at 2010 year.

Order result by: Public date | Title | Authors |

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

22. Software package for estimation of computational complexity of graph algorithms [№4 за 2010 год]
Authors: Ткаченко С.В., Кохов В.А.
Visitors: 16792
The article describes the original software tools for an experimental estimation of computational complexity of software solutions for problems on graph models of systems. The classes of the solved problems and the tools for analysis of results are listed. The method based on selection of graph models by their structural complexity is introduced.

23. H.264 video coding standard [№4 за 2010 год]
Authors: Куликов Д.Л., Стрельников К.Н.
Visitors: 12593
Novel video coding artifacts concealment method is proposed in this paper. Main idea for deblocking is to use basic deblocking algorithms and reconstruct grain that present in many video sequences captured by professional analog cameras. Proposed method makes it possible to decrease blocking artifacts perceptibility and to mask imperfections for deblocking algorithms results. Proposed algorithm result analysis was performed with the help of SAMVIQ methodology for subjective video quality assessments.

24. Integrated hardware and software system for measuring of power-frequency electric and magnetic fields in electric networks [№4 за 2010 год]
Authors: Курбацкий В.Г., Струмеляк А.В.
Visitors: 14953
One of the urgent problems in modern power industry is to provide safety of man staying in the affected area of electric and magnetic fields generated by operating facilities. The paper presents the integrated hardware and software system for measuring of power-frequency electric and magnetic fields intensity.

25. The intelligent «ANAPRO» software in problems of monitoring in power distribution network [№4 за 2010 год]
Authors: Курбацкий В.Г., Томин Н.В.
Visitors: 14572
The paper presents the intelligent «ANAPRO» software. It implements approaches to the analysis and forecasting of operating parameters and process characteristics in the electric networks on the basis of modern methods of nonlinear data analysis and artificial intelligence technologies. The basic subsystems software are resulted and their work on an example of experimental calculations for real distributive electric networks is shown.

26. Construction of service provider’s backbone optical network [№4 за 2010 год]
Author: Yu.M. Lisetskiy
Visitors: 12721
The question of construction of service provider's backbone optical network is considered. The set of requirements and conformed to them the functional structure of the telecommunication systems are formulated, a sequence of tasks being decided during their integration is brought. Experience of realization of project for the operator of mobile connection «Kyivstar GSM».

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

28. Algorithm of functioning of automated system support of decision-making for management of liquidation processes of [№4 за 2010 год]
Author: Matveev, Yu.N.
Visitors: 18967
In this article is offered an algorithm of functioning of automated system support of decision-making for management of liquidation processes of emergency situations on objects of chemical weapon storage.

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

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

◄ ← Preview | 1 | 2 | 3 | 4 | 5 | Next → ►