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

41. Software system restructuring of electricity companies [№4 за 2011 год]
Author: Горячёв В.А.
Visitors: 9989
We propose a method of forming the optimal order of the technical re-equipment of power companies. To implement this method uses a specially developed software.

42. Program complex of support life cycle the spatially-distributed systems [№4 за 2011 год]
Authors: Веселовский А.М., Каряжкин А.А., Пикулин В.В.
Visitors: 9749
Questions of the organization of a complex of the software providing support life cycle spatially-distributed systems, including procedures of formation and estimation of multiple design decisions are considered, and also stages of life cycle of systems, schemes of information support and algorithms of the decision of tasks in view are defined.

43. Process semantics of distributed programming language [№4 за 2011 год]
Authors: Korablin Yu.P., Кучугуров И.В.
Visitors: 10820
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.

44. Distributed processing data by means of automated systems of the university [№4 за 2011 год]
Authors: Bolodurina I.P., Волкова Т.В.
Visitors: 9091
The article deals with the characteristics and structure of the distributed processes automated data processing inherent in the university, performance evaluation processes, the conditions to support them. A scheme of stages of the design and implementation processes.

45. The distributed calculations at the limited number of copies of the program resource [№4 за 2011 год]
Authors: Nikolay S. Kovalenko, Pavel А. Pavlov
Visitors: 8976
Problems of a finding of time of performance of the distributed competing processes are solved at the limited number of copies of a program resource in the conditions of the unlimited and limited parallelism.

46. Expanding system of tests accumulation [№4 за 2011 год]
Authors: Bakushev S.V., Куликов А.В.
Visitors: 10918
The authors give a description of the software intended for automatic tests accumulation for the course of «Strength of material». It is shown that software can be expanded and used for test accumulation in other courses (Building mechanic, Theory of Elasticity, est.) in case of corresponding plug-in development.

47. Syntaxes synthesis in specialised programming languages creation [№4 за 2011 год]
Authors: Никифоров А.Ю., Русаков В.А.
Visitors: 10005
Syntax synthesis method of programming languages is considered as specialised tools to descript defined application domain.

48. The system of operative monitoring of supercomputer’s «URAN» temperature and power consumption [№4 за 2011 год]
Authors: Созыкин А.В., Goldshtein M.L, Черноскутов М.А.
Visitors: 11449
The system of operative monitoring of supercomputer’s «URAN» temperature and power consumption is considered. The main advantage of the system is the compact monitoring data representation, which helps the administrator quickly diagnose the supercomputer using a couple of screens. The system based on the open source Zabbix software.

49. Testing program using genetic algorithms [№4 за 2011 год]
Authors: Melnikova V.V., S.L. Kotov, Palyukh B.V., Проскуряков М.А.
Visitors: 13405
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.

50. Technology of research support systems development [№4 за 2011 год]
Authors: Бачурин С.А., Гусева А.И.
Visitors: 12727
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.

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