Software & Systems

Articles of journal № 4 at 2011 year.

Order result by: Public date | Title | Authors |

31. Questions equivalent schemes of parallel programs [№4 за 2011 год]
Authors: Korablin Yu.P., Кучугуров И.В., Kosakyan M.L.
Visitors: 12842
In this article discusses the equivalence of schemes of parallel programs. This allows you to analyze the program for various properties: detect deadlocks and locks in distributed program, loops, verify accessibility, to prove the equivalence (may, must, observational) of programs and branches.

32. The acceleration of spatial trees update by shells method [№4 за 2011 год]
Authors: Коробицын В.В., Сибара С.А.
Visitors: 7258
The method of objects' shells was applied for acceleration of spatial structures update based on the KD-tree. The method was used for dynamic scene visualization by raytracing technique. The results show the significantly reduced time on scene updates compared with method based on fully reconstruction.

33. Application of small digit capacity numbers in binary optimization problem [№4 за 2011 год]
Authors: Крыжановский М.В., Malsagov M.Yu.
Visitors: 8799
The problem of neural network minimization of quadratic functional in binary space is considered in this paper. To solve problem modified minimization algorithm is proposed and researched, based on discretization procedure. It is shown, that it applying decrease calculation volume.

34. Method of developing data flows in complex software-hardware systems [№4 за 2011 год]
Authors: Лазутин Ю.М., Чертов Г.А., Родиков А.В., Рогожкин В.А.
Visitors: 11986
The paper deals with problems arising during the development of complex hardware – software systems. Propose a method for organizing software engineering systems which can reduce the complexity in the modification of data flow within the complex. Are considered integral parts of the Software specified the ideology of its construction. Given the benefits achieved by using the proposed method.

35. High-performance calculations in simulation’s problems of percolation clusters’ behavior [№4 за 2011 год]
Author: S.Yu. Lapshina
Visitors: 14653
Possibility of use of modern supercomputers is considered as the decision problems of multi-agent simulation growth modeling percolation clusters. The improved version of multiprocessing algorithm of repeated labeling percolation’s clusters is offered Hoshen-Kopelman. Possibility of revealing of dependences of the latent periods of distribution of epidemics from probability of an infection of units of population representatives, and also formations of threshold values at which local epidemics can evolve in large-scale pandemics is shown.

36. Mathematical model of the electrical contact of rough surfaces [№4 за 2011 год]
Author: Левыкин Д.А.
Visitors: 11209
The computer model of the real rough surfaces contact has been described. The physical foundations underlying the above model have been stated. The features of the above model have been considered. In particular case simulated contact characteristics have been compared with analytical calculations and with results of some other authors.

37. Error handling relational databases [№4 за 2011 год]
Author: Лихачёв В.Н.
Visitors: 9943
The article considers the opportunities of forming the informative messages for errors of relational databases. The work is based on the analysis of databases structure. The questions considered in the article can be applied to different relational databases.

38. Mathematical modeling of conjugate convection processes in electronic devices [№4 за 2011 год]
Author: Madera A.G.
Visitors: 17850
The models of convection processes used in existing programming complexes for thermal designing of electronic devices, are founded on concepts of the Newton’s linear equation of heat transfer and heat transfer coefficient, that however does not allow adequately to model of the heat processes in real electronic systems. More adequate to reality approach for the modeling of the convection processes in electronic devices in conjugate approach, is offered in this article.

39. Testing program using genetic algorithms [№4 за 2011 год]
Authors: Melnikova V.V., S.L. Kotov, Palyukh B.V., Проскуряков М.А.
Visitors: 13394
The problems of carrying out of certification test frequently updated software tools are considered in the article. The main idea of the article is the construction of test base with a genetic algorithm.

40. Module for search and extraction information in the field of nanocomposites [№4 за 2011 год]
Authors: Митрофанов И.В., Краснов А.А., Порысева Е.А., Koltsova E.M.
Visitors: 13302
Recently sharp jump of publications in area nanocomposites is observed. But all information is not structured, there is no general database on properties of these materials. In the given work attempt of creation to such base has been undertaken. Authors classifications nanocomposites on a matrix and fillers is spent. The module of uniform search of articles in scientific journals and as the module of semi-automatic extraction of the facts which has considerably accelerated process of filling of base by the information, having automated it is created.

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