


Vol 42, No 3 (2016)
- Year: 2016
- Articles: 7
- URL: https://journal-vniispk.ru/0361-7688/issue/view/10829
Article
The use of artificial neural networks for classification of signal sources in cognitive radio systems
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.



Web platforms for scientific research
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.



Evaluation of expression templates in C++14
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.



Automatic synthesis of action programs for intelligent robots
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.



Algorithmic optimization method for effort estimation
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.



Developing a software system for automata-based code generation
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.



Features of the deterministic replay in the case of a minimum device set
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.


