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

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

2
Publication date:
16 June 2024

Articles of journal № 4 at 2011 year.

Order result by:
Public date | Title | Authors

1. Questions equivalent schemes of parallel programs [№4 за 2011 год]
Authors: Korablin Yu.P., Кучугуров И.В., Kosakyan M.L.
Visitors: 12682
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.

2. Process semantics of distributed programming language [№4 за 2011 год]
Authors: Korablin Yu.P., Кучугуров И.В.
Visitors: 10743
In this article the semantics of distributed programming languages researched by comparing programs a set of computational sequence and analysis of the semantic values thet can be represented by systems of recursive equations. It can detect deadlocks and locks in distributed program, loops, verify accessibility, to prove the equivalence (may, must, observational) of programs and branches.

3. Algorithm for 2-d scalar fields isolines on regular grids [№4 за 2011 год]
Author: Kandalov P.I.
Visitors: 11321
The technique and algorithm for creation of 2-D scalar fields isolines on the regular grid by the algorithm of Marching Squares is considered. The algorithm is implemented in program language Pascal. The technique of filling of areas by a color palette between adjacent lines of level is described too.

4. Technology of research support systems development [№4 за 2011 год]
Authors: Бачурин С.А., Гусева А.И.
Visitors: 12643
Article deals with design processes of research support systems. It describes design method based on researchers’ competence models analysis. CMS Drupal is proposed as a platform for development of such system.

5. Application of small digit capacity numbers in binary optimization problem [№4 за 2011 год]
Authors: Крыжановский М.В., Malsagov M.Yu.
Visitors: 8745
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.

6. Mathematical modeling of conjugate convection processes in electronic devices [№4 за 2011 год]
Author: Madera A.G.
Visitors: 17768
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.

7. Algorithm for identify trends for large noisy time series [№4 за 2011 год]
Author: Bakhmutsky, M.L.
Visitors: 19513
In this work efficient and accurate method for identify trends, denoising and smoothing for large nonstationary time series are provided. It is shown that the trends such large series can be determined the wavelet – packet transformation in combination with singular-spectrum analysis.

8. Method of developing data flows in complex software-hardware systems [№4 за 2011 год]
Authors: Лазутин Ю.М., Чертов Г.А., Родиков А.В., Рогожкин В.А.
Visitors: 11913
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.

9. Integrated circuits elements optimization for single-event prevention [№4 за 2011 год]
Author: Шунков В.Е.
Visitors: 11853
Schematic optimization-based methods for single event mitigation are presented. Efficiency of proposed methods for important applications is proven by modeling and experimental results.

10. Determining of conserved hydrophobic cores in protein domains [№4 за 2011 год]
Authors: Пеков Ю.А., Алексеевский А.В., Спирин С.А.
Visitors: 11544
An algorithm and its realization as the program Conclus for analysis of data on protein structures are described. The program selects parts of a molecule that are evolutionary conserved hydrophobic clusters. Also the article contains a minimal information necessary for understanding biochemical and biophysical aspects of the algorithm. The program Conclus was tested on a number of families of protein domains and is equipped with a web interface publicly available via Internet.

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