Open Access Open Access  Restricted Access Access granted  Restricted Access Subscription Access

Vol 42, No 3 (2016)

Article

The use of artificial neural networks for classification of signal sources in cognitive radio systems

Adjemov S.S., Klenov N.V., Tereshonok M.V., Chirov D.S.

Abstract

In the paper, methods of classification of signal sources in cognitive radio systems that are based on artificial neural networks are discussed. A novel method for improving noise immunity of RBF networks is suggested. It is based on introducing an additional self-organizing layer of neurons, which ensures automatic selection of variances of basis functions and a significant reduction of the network dimension. It is shown that the use of auto-associative networks in the problem of the classification of sources of signals makes it possible to minimize the feature space without significant deterioration of its separation properties.

Programming and Computer Software. 2016;42(3):121-128
pages 121-128 views

Web platforms for scientific research

Kryukov A.P., Demichev A.P., Polyakov S.P.

Abstract

This paper considers current trends in creating systems for convenient and secure remote submission (by authorized users) of jobs to computing resources of different types, including supercomputers, clusters, cloud resources, storages, databases, and grid infrastructures. Presently, large computing and storage resources are capable of solving, on their own, the majority of practical problems in the field of science and technology. Therefore, the focus in developing next-generation middleware shifts from global grid systems towards creating convenient and efficient means of access to large individual resources. A web platform for remote access to computing resources is a set of special web services and application-oriented web interfaces. Such web platforms, on a centralized basis, provide users with a number of services interrelated by a specific application area, principle of access, and interface. In this paper, general principles of creating such platforms are considered and some particular implementations of web platforms are briefly described.

Programming and Computer Software. 2016;42(3):129-141
pages 129-141 views

Evaluation of expression templates in C++14

Lebedev P.A.

Abstract

In this work we discuss usage of expression templates with features of modern C++ language standards. We give an evaluation model for expression templates that accounts for requirements of operator implementation functions. An algorithm for evaluation of expression templates in this model is presented with proof of its optimality. In conclusion we describe implementation methods that are necessary for implementing this algorithm on modern compilers.

Programming and Computer Software. 2016;42(3):142-154
pages 142-154 views

Automatic synthesis of action programs for intelligent robots

Osipov V.Y.

Abstract

The problem of automatic synthesis of action programs for intelligent robots in a permanently changing environment is considered. Capabilities of the deductive synthesis of cyclic and self-replicating programs are investigated. New algorithms for synthesis of such action programs for a wide range of possible conditions are suggested. Results of this synthesis are reported.

Programming and Computer Software. 2016;42(3):155-160
pages 155-160 views

Algorithmic optimization method for effort estimation

Silhavy R., Prokopova Z., Silhavy P.

Abstract

This paper presents an improvement of an effort estimation method that can be used to predict the level of effort for software development projects. A new estimation approach based on a two-phase algorithm is used. In the first phase, we apply a calculation based on use case points (UCPs). In the second phase, we add correction values (a1, a2) obtained via least squares regression. This approach employs historical project data to refine the estimate. By applying the least squares regression approach, the algorithm filters out estimation errors caused by human factors and company practice.

Programming and Computer Software. 2016;42(3):161-166
pages 161-166 views

Developing a software system for automata-based code generation

Shulga T.E., Ivanov E.A., Slastihina M.D., Vagarina N.S.

Abstract

This paper is devoted to the development of the State Machine Generator system meant for automatic code generation based on the principles of automata-based programming. This system models program logic in terms of the finite-state automaton transition graph and generates program code on its basis. Basic functions of the developed software system and the mechanism of their implementation are described. This paper also proposes a new pattern for designing automaton programs. As an example, State Machine Generator is used to develop a bug tracker system for software testing.

Programming and Computer Software. 2016;42(3):167-173
pages 167-173 views

Features of the deterministic replay in the case of a minimum device set

Efimov V.Y., Batuzov K.A., Padaryan V.A., Avetisyan A.I.

Abstract

A technology of the deterministic replay of an execution process in virtual machines can be used for debugging, improving reliability and robustness, software development and incident investigation (including reverse engineering of malware). The paper describes an implementation of deterministic replay for guest machines based on IA-32 in the emulator QEMU. This implementation minimizes the list of replayed devices. The organization of QEMU is discussed in detail, and the techniques used in the implementation are thoroughly explained. The key performance characteristics, such as the size of log of nondeterministic events and slowdown are experimentally measured.

Programming and Computer Software. 2016;42(3):174-186
pages 174-186 views