Software & Systems

Articles of journal № 3 at 2017 year.

Order result by: Public date | Title | Authors

1. Automated generation of accounting documents using radioelectronic components database [№3 за 2017 год]
Authors: A.V. Guryanov, P.V. Konovalov, A.V. Shukalov , I.O. Zharinov, S.A. Leonovets
Visitors: 8617
The paper considers a tool software intended to support solving tasks of automation of forming of design documentation containing data on non-ferrous and precious metals in radioelements, which are a part of a product. In order to store information on electroradio products and on the amount of valuable metals in them, there is a specially designed data-base. This base is SQL-compatible and consists of four interconnected tables. The user can place it both on the local computer, and in a network. It contains information that is necessary for calculation works and allows introduction of data on new components. Such function is realized programmatically by the procedure providing manual and automatic addition of information in the database. The manual mode allows bringing elements serially and checks correctness of the entered data. In the automatic mode, information is read out from the XML file, and elements are added by groups, which are marked about the content of valuable metals in them. There goes a check of the added elements. A separate program window shows the resultant project of a product. It keeps all modules (assembly units), which are a part of a product, in a tree form in a hierarchical order. Calculation of content of non-ferrous and precious metals for each metal separately is carried out for the finished project. There also should be design documents “settlement works”. Templates for these documents are in accordance with state standard 2.608-78, 2.601-2006, 2.106-96.

2. Automatization of software documentation preparation processes for radio-electronics industry devices [№3 за 2017 год]
Authors: A.V. Guryanov, A.V. Shukalov , I.O. Zharinov, M.O. Kostishin, S.A. Leonovets
Visitors: 8827
The paper considers a scientific task of automated preparation of text software documentation using a specialized software. Automation of the process of document preparation is based on data processing from specifications and technical documentation or in the specification. Data processing assumes availability of structured electronic documents prepared in widespread formats according to templates on the basis of industry standards and generation by the automated method of the textual program document. Templates can change at any stage of a project lifecycle. Time expenditure on a template change shall be minimum. Their preview to the user is in the XPS format. The paper provides a list of the developed software documents and the example of data processing to generate a textual document as a graph. The textual document is created based on the state standard 19.101-77. The paper describes a new developed software and tools that are available to a developer in project activities at the instrument-making entity. There is the example of changing a condition of attributes of documents. There is also the algorithm of creating a software document draft in the developed software. The development of a system for automating the registration of technical documentation is cost-effective. The proposed CAD program allows automating the work of software-controlled product developers related to program documentation preparation in an instrument-making enterprise. The software is developed and functions based on a computer with characteristics: Intel (R) Core (TM) i5-6300HQ processor, 4 cores, 2.3 GHz clock speed, 8 Gb RAM, Windows 7.

3. Algorithms of information estimation of compatibility of mobile telecommunication devices and aeronautical radionavigation service stations [№3 за 2017 год]
Authors: O.Yu. Vavulov, A.V. Sukhov, Reshetnikov V.N.
Visitors: 6158
Every member in modern information society requires high-quality, high-speed and widespread mobile tele-communication. The number of such users increases steadily. Therefore, new technologies are being rapidly developed and the newest quality standards (LTE, 4G) are being implemented in this area. At the same time, it is also important to take into account the possibility of electromagnetic compatibility with other telecommunication service devices, especially safety services, for instance, aeronautical radionavigation service. the present article considered The issue of information estimation algorithm development for the state of the technical complex of aeronautical radionavigation service in conditions of destructive interference impact from mobile telecommunication systems. The state of technical complex of aeronautical radionavigation service is defined in the mathematical terms in information space is set by means of the information measure – covering entropy that indicates how real characteristics of the considered systems correspond to their normative values. The suggested method has been applied for estimation of interference impact on the real Russian stations of aeronautical radionavigation service, located in the border region, the example of algorithm application is presented for compatibility estimation of the technical complex of aeronautical radionavigation service with the real mobile telecommunication network. With this coordination algorithm of the technical complex of aeronautical radionavigation service with new frequency assignment for a single base station is suggested. This algorithm is based on calculation of intensity of the aggregate interference field strength produced by all land mobile stations in the area of location of aeronautical radionavigation service station and comparison of the calculated value with the permissible value for specific type of aeronautical radionavigation service station.

4. Algorithms of conceptual modeling and text classification in the tuvan language corpus [№3 за 2017 год]
Authors: Bykova V.V., Ch.M. Mongush
Visitors: 3970
The corpus is an information-linguistic system based on the collection of digitized texts in some language. Nowadays, the corpus of Tuvan language includes official and business documents and Tuvan literary works. Expanding of the Tuvan corpus and deepening of the text processing level are continuening. These works lead to the tasks of a natural language text analysis. The main tasks is classification by precedents and conceptual modeling. In order to solve these problems, the paper uses an algebraic approach, which is called the analysis of formal concepts. The paper proposes algorithms and programs for constructing a conceptual model of literary works collection and solving the problem of a binary classification by precedents. There are methods of reducing computational complexity of the considered algorithms. The paper presents the results of computational experiments, which confirm the effectiveness of the proposed methods for reducing computation complexity. Finally, there are the results of conceptual modeling and binary classification of Tuvan folklore works.

5. Analysis of modern methods for vlsi project testing and verification [№3 за 2017 год]
Author: Slinkin D.I.
Visitors: 6912
VLSI development companies are keeping selected design flows and a testing process is a part of them. It is considered that from 60 % to 80 % of development teams’ efforts are spent on VLSI project verification and debugging. Debugging of register-transfer level (RTL) models is an important phase. There is no universal way to solve this problem. The article is devoted to the analysis of foreign and domestic publications on industrial VLSI project debugging. There are four main methodologies that are being considered: formal verification, simulation testing, using of hardware accelerators, prototyping based on programmable logic integrated circuits (FPGAs). For each of these methodologies there is information on an error detection method, existing software and hardware debugging tools. The paper analyzes some of their features, such as labor consumption, requirements for qualification and size of verification group, the cost of necessary tools and the availability of metrics to evaluate the test coverage. There are names of some industrial VLSI projects that used these methodologies, such as microprocessors, high-performance network switches, graphics processors. The paper mentions the tools used by the developers. Special attention is paid to debugging FPGA projects. The following approaches are considered: using the built-in logic analyzer, external control and measuring equipment and their combination. Finally, based on the practical experience the paper shows that four VLSI project debugging and verifying methodologies have different applications. It mentions the types of VLSI, which use one of these methodologies. Their advantages and disadvantages are briefly summarized.

6. System model verification based on equational characteristics of LTL formulas [№3 за 2017 год]
Authors: Korablin Yu.P., A.S. Kochergin , Shipov A.A.
Visitors: 7428
For a long time, the Model Checking method has been widely used in the field related with software and technical systems quality evaluation. Such top IT companies as Intel, Microsoft, Amazon, etc. actively use it in the processes of development and maintenance of their products. Such a success of this method is certainly not accidental. It helped to solve a lot of problems in the field of verification, namely: the problems of unified representation of software and technical systems, the problem of formal requirements representation, the automation of verification phases, the verification of large distributed software systems, etc. However, such challenges as the continuous development of modern technologies and the growth rates of modern software sys-tems complexity can become an insurmountable obstacle for effective verification with Model Checking. Therefore, it is necessary to make permanent improvements of its theory and tools. The article demonstrates a new verification algorithm of Linear Temporal Logic formulas by means of Model Checking based on the new RLTL notation (Recursive Linear Temporal Logic), which is a recursive representation of LTL formulas. This algorithm can avoid necessary conversions into Büchi automatons of the system model and verifying statements since RLTL can be used to define both of them. This allows beginning a verification process immediately and increases Model Checking efficiency.

7. High resolution video playback in virtual 3d environment in training simulation systems [№3 за 2017 год]
Authors: Giatsintov A.M., Mamrosenko K.A.
Visitors: 7953
The article describes the developed methods of high-resolution video playback in a visualization subsystem of training simulation systems (TSS). Usually TSS have a number of heterogeneous data resources. The following resource types are of interest for personnel training: dynamic process development charts; graphic materials of studied objects; 3D models of objects and their parts; simulation results in a video form; video records. Visualization subsystem provides rendering simulation results of environment and dynamic objects, and displaying the rendered image using display devices. Displaying videos in virtual 3D scenes is one of the requirements for TSS. Displaying videos inside a virtual 3D scene is a complex task, as many factors should be taken in account, such as performance of a video card and a visualization subsystem (renderer). A renderer should visualize a 3D scene with acceptable frame rate (not less than 25 frames per second) and respond to commands, such as a 3D scene transformation or new objects loading. The authors have developed and implemented a new decoder architecture in order to display several high definition videos in a virtual 3D scene. The architecture includes the following components: a decoder that decompresses audio and video packets; an audio playback system; a control module that allows starting, stopping playback, setting volume, etc.; an interface that interacts with a visualization subsystem, which is required for updating video images.

8. High-performance microprocessor 1890ВМ118 for trusted computing systems [№3 за 2017 год]
Authors: S.I. Aryashev , Bobkov S.G., P.S. Zubkovsky , S.А. Morev , B.Yu. Rogatkin
Visitors: 8332
This article considers the problems of developing a high-performance microprocessor for trusted computing systems. Microprocessor performance is determined by core capacity or a number of stages, which may be in execution simultaneously, and memory access time. Microprocessor applicability to create trusted systems is based on using self-made blocks and nodes. Microprocessor core performance is determined by three characteristics: clock frequency, operations per instruction, instruction rate. For 1890VM118 microprocessor these characteristics were optimized by performance/power parameter. Clock frequency increasing is achieved using custom development of timing critical blocks and pipeline length optimization. Hardware solutions, such as superscalar instruction execution, branch prediction and preliminary data load in cache memory, increase instruction rate. Implementation of the arithmetic co-processor focused on digital signal processing tasks allows increasing the number of operations per instruction. The paper considers increasing memory subsystem performance in terms of symmetric memory access for a dual-core microprocessor. It also describes the approach to implementing cache coherence in processor cores. The authors pay special attention to increasing the security level in microprocessor for trusted computing systems. They consider hardware solutions for operating system trusted boot and isolated memory access. To ensure trusted boot the authors suggest using on-chip ROM and one-time-programmable memory containing a secured bootloader and the keys to verify the signatures of an operating system. Isolated access solutions include a memory access controller discussed in the article and implemented inside a microprocessor. The paper proposes prospective solutions for creating trusted systems based on microprocessors by NIISI RAS.

9. Нybrid cognitive fuzzy control systems for an autonomous robot based on neurointerface and soft computing [№3 за 2017 год]
Authors: Ulyanov, S.V., A.G. Reshetnikov, A.A. Mamaeva
Visitors: 7198
The article discusses the possibility of applying neurointerface together with different types of regulators via the typical example of controlling an autonomous vehicle. There is an assessment of application possibilities of intelligent computing methods and means to improve the control system performance reliability. The aim of this work is to show experimentally the possibilities of cognitive interface effective application (“brain-computer-actuating device”) on the example of motor vehicle driving (a mobile robot). The paper also reveals modern management technologies application and shows the role and the necessity of intelligent computing in the operating “brain-computer” interface in order to improve the reliability and robustness of the control system. In particular, the paper considers the possibility of controlling the movement of the object (forward, backward, left, right, bypass obstacles) with the help of a cognitive helmet using a standard command recognition block and different types of control systems, including knowledge base optimizer based on soft computing.

10. Identification of a complex technical system functional state under conditions of measurement data ambiguity [№3 за 2017 год]
Authors: A.A. Genov, K.D. Rusakov , S.Sh. Hill
Visitors: 8114
The article considers a topical problem of identification of a complex technical system functional state in conditions of increased noisiness using a transition to another attribute space of the observed state. The authors define the term “functional state”. The paper shows the problem of estimating a functional state as a dual problem of identification and pattern recognition. It pays attention to a possible selection of parameters of mathematical models and their structures as new signs of the observed state. As an example, in order to solve the parametric identification problem, the authors have selected the method of least squares. It shows the changing of the functional state. The process of analyzing measuring information plays an important role in the tasks of monitoring and testing by complex technical systems. Only after passing through all stages of processing, it is possible to decide on the condition of the test object. However, it is difficult to do in case of poor quality information. Elimination of this problem is mainly comes to searching solutions in order to form and improve relevant rules for management decision-making. At the same time, in normal conditions and situations, creation of such rules in many cases does not cause any special problems. Nevertheless, in abnormal conditions it is problematic. The state analysis of complex technical objects or their subsystems according to the measurement results assumes the solution of structural and parametric identification problems. Management of complex technical objects and their testing is characterized by uncertainty of external influence, anomalous and accidental measurement errors. To ensure the required quality of their subsystems state analysis, it is necessary to form the principles of identification process adaptive control, the methods of an optimal choice of a model structure based on the quality of measurement data. This is particularly topical for automation of secondary processing at terminal control facilities.

| 1 | 2 | 3 | Next → ►