Simulation systems
Reference:
Maltseva N.K., Popova V.O., Syrov A.A.
The search for baseline events for assessing the safety of nuclear refueling operations at nuclear power plants
// Software systems and computational methods.
2022. № 1.
P. 1-8.
DOI: 10.7256/2454-0714.2022.1.19323 URL: https://en.nbpublish.com/library_read_article.php?id=19323
Abstract:
The relevance of the topic of the safety of nuclear refueling operations is associated with the specificity of exploitation of RBMK units. One of the most hazardous, from the perspective of accidents at modern nuclear power plants, is the process of nuclear fuel reloading. The operations on rearrangement of fuel cartridges entail the risk of fuel damage, and thus, the likelihood of the release of radioactive substances exceeding the permissible limits. The process of reloading RBMK, if the reactor is at full capacity, consists of the vast number of complex operations characterized by a range parameters. Non-observance of the criteria for carrying out operations, or if the parameter values exceed permissible limits, with high probability leads to an accident. This article explores the possibility of application of formalized approach towards determination of the baseline events that may cause accidents for the purpose of the development of essential protection instruments. The formal approach would allow detecting the excessiveness in protection instruments on the existing blocks, as well as revealing the accident situations that cannot be prevented using these protection instruments. The author formulated systemic approach towards comprehensive assessment of the accident rate of structurally complex systems. Adaptation of this method relative to REM allows systematizing the search for baseline vents that entail uncontrolled situations, as well as optimizing the protection instruments that would ultimately enhance reliability of the system, simplify the exploitation process, and reduce the time of operating cycle of the controller for processing of the protection.
Keywords:
expert commentary, initiator, High Power Channel-type Reactor, Water-Water Energetic Reactor, unit operation, refueling, Atomic Power Station, token approach, plant safety analysis, HAZOP method
Programming languages
Reference:
Kiryanov D.A.
Research of the methods of creating content aggregation systems
// Software systems and computational methods.
2022. № 1.
P. 9-31.
DOI: 10.7256/2454-0714.2022.1.37341 URL: https://en.nbpublish.com/library_read_article.php?id=37341
Abstract:
The subject of this research is the key methods for creating the architecture of information aggregators, methods for increasing scalability and effectiveness of such systems, methods for reducing the delay between the publication of new content by the source and emergence of its copy in the information aggregator. In this research, the content aggregator implies the distributed high-load information system that automatically collects information from various sources, process and displays it on a special website or mobile application. Particular attention is given to the basic principles of content aggregation: key stages of aggregation and criteria for data sampling, automation of aggregation processes, content copy strategies, and content aggregation approaches. The author's contribution consists in providing detailed description of web crawling and fuzzy duplicate detection systems. The main research result lies in the development of high-level architecture of the content aggregation system. Recommendations are given on the selection of the architecture of styles and special software regime that allows creating the systems for managing distributed databases and message brokers. The presented architecture aims to provide high availability, scalability for high query volumes, and big data performance. To increase the performance of the proposed system, various caching methods, load balancers, and message queues should be actively used. For storage of the content aggregation system, replication and partitioning must be used to improve availability, latency, and scalability. In terms of architectural styles, microservice architecture, event-driven architecture, and service-based architecture are the most preferred architectural approaches for such system.
Keywords:
Summarization, Data sampling criteria, Content aggregation stages, Fuzzy duplicates detection, Web crawling, Distributed system architecture, Content aggregation, High load system, Poisson process, Microservices architecture
Programming languages
Reference:
Pekunov V.V.
New built-in tools for extending the Planning C language
// Software systems and computational methods.
2022. № 1.
P. 32-41.
DOI: 10.7256/2454-0714.2022.1.37240 URL: https://en.nbpublish.com/library_read_article.php?id=37240
Abstract:
In this paper, the problem of developing language extensions of Planning C (a dialect of C++) is considered. The review of existing external programs and solutions built into languages that allow translating new constructions introduced into the language into the output code is carried out. Based on the analysis, it is concluded that the most natural solution built into the language will be some combination of improved regular expressions (to highlight new constructions) with code generators based on procedural and syntactic macros. At the same time, it is advisable to use elements of direct logical programming (both in macros and in regular, more precisely, regular-logical expressions). The proposed approach makes it possible to more flexibly allocate replaceable constructs in comparison with template approaches and more simply replace them with output code in comparison with approaches based on manipulations with the syntax tree. The syntax and semantics of the proposed solutions are described. A preprocessing scheme is proposed that implements the selection of initial constructions by scanners (groups of parameterized regular logical expressions) and their replacement with output code implemented by deductive macromodules (with possible multiple matching). This scheme allows you to work with arbitrary input and output syntaxes and provides prompt input of new constructions into Planning C, which is especially valuable, for example, when prototyping new extensions. The paper contains information about the successful testing of the proposed approaches (on the development of a number of syntactically non-trivial extensions of Planning C).
Keywords:
deductive macros, text transformations, procedural macros, syntactic macros, language extension, Planning C, programming language, regular expressions, logic programming, preprocessing
Programming languages
Reference:
Borevich E.V., Yanchus V.E.
An information model of the data structure and an experimental technique for improving the human-computer graphical interface
// Software systems and computational methods.
2022. № 1.
P. 42-54.
DOI: 10.7256/2454-0714.2022.1.37730 URL: https://en.nbpublish.com/library_read_article.php?id=37730
Abstract:
In the article, the authors describe the developed and tested methodology for conducting a computational experiment to study the effect of color solutions on the visual perception of a video frame by the viewer. The developed technique is designed to assess the subjective emotional reaction of the viewer that occurs at the final stage of the human visual system when perceiving visual information. The article describes methods of preparation of stimulus material, methods of conducting an experiment using a developed software module located on a network resource. The authors have developed a methodology for conducting an experiment with online testing, the information structure of the database, a questionnaire for collecting information, the form of testing by the subjects, algorithms for statistical processing of the results of the experiment. This study is based on the results of a series of experiments conducted using a software and hardware complex for fixing oculomotor activity - an eye tracker, which allows obtaining objective parametric data of a template for viewing stimulus material. The technique described in the article is an addition to the experimental study using the eytracking technology. The results of the experiment should be used in the development of textbooks on color correction, as well as in the design of control interface elements. The methodology is programmatically implemented and tested in the local network of Peter the Great St. Petersburg Polytechnic University. It is planned to finalize the Internet survey module and conduct a global experiment with subsequent statistical processing of the results.
Keywords:
Information data model, Computational experiment, Post-processing, Color scheme, Incentive material, Software module, Visual system, Visual perception, Ranking method, Analysis of variance
Educational software systems
Reference:
Soldatov A.S., Maslov S.V., Kukushkin Y.A.
Automated information system for testing helicopters equipped with night vision systems based on diagnostics of the functional state of the crew
// Software systems and computational methods.
2022. № 1.
P. 55-70.
DOI: 10.7256/2454-0714.2022.1.24631 URL: https://en.nbpublish.com/library_read_article.php?id=24631
Abstract:
The subject of the study is the problem of ensuring optimal conditions for interaction between humans and aviation equipment in the interests of ensuring its safe operation, which has recently become more acute. Based on studies of the pilot's activity obtained during flight tests of helicopters equipped with night vision goggles, it is shown that the use of night vision goggles imposes special requirements on the organization of attention distribution, spatial orientation and is accompanied by an increase in the level of nervous and emotional tension. The main results of foreign developers on the improvement of night vision systems related to the introduction of technical vision systems on helicopters are described. It is proved that for an objective examination of such systems in flight tests, it is necessary to create a special automated information system. The developed automated information system provides the collection and processing of flight information during flight tests using intelligent sensors for monitoring and recording the biometrics of crew members and an image recognition system. It will allow recording, processing and accumulating flight and psychophysiological information in real test flights during the implementation of the entire flight test program, providing specialists in the field of aviation medicine and ergonomics with objective quantitative characteristics of the studied parameters when testing promising night vision systems of combat helicopters. It is shown that the introduction of modern information technologies into the process of testing aviation equipment allows objectively and with high accuracy to analyze and evaluate the content and psychophysiological structure of the pilot's activity based on a comparison of changes in flight parameters, the movement of controls, the direction of the pilot's gaze and his psychophysiological characteristics and recommend for practical use specific variants of night vision systems.
Keywords:
functional state of the pilot, test control system, automated control system, the human factor, night vision goggles, test information system, tests of combat helicopters, technical vision, automated information processing, psychophysiological training of the pilot
Quality aspects and improving the margin of reliability of software systems
Reference:
Zorchenkov A.M.
Automating third-party library migrations
// Software systems and computational methods.
2022. № 1.
P. 71-87.
DOI: 10.7256/2454-0714.2022.1.34337 URL: https://en.nbpublish.com/library_read_article.php?id=34337
Abstract:
Manual migration between various third-party libraries is a problem for software developers. Developers usually need to study the application programming interfaces of both libraries, as well as read their documentation to find suitable comparisons between the replacement and the replaced methods. In this article, I will present a new approach (MIG) to machine learning that recommends mappings between the methods of two API libraries. My model learns from manually found data of implemented migrations, extracts a set of functions related to the similarity of the method signature and text documentation. I evaluated the model using 8 popular migrations compiled from 57,447 open source Java projects. The results show that the model can recommend appropriate library API mappings with an average accuracy rate of 87%. This study examines the problem of recommending method comparisons when migrating between third-party libraries. A new approach is described that recommends the comparison of methods between two unknown libraries using features extracted from the lexical similarity between method names and textual similarity of method documentation. I evaluated the result by checking how this approach and three other most commonly used approaches recommend a comparison of migration methods for 8 popular libraries. I have shown that the proposed approach shows much better accuracy and performance than the other 3 methods. Qualitative and quantitative analysis of the results shows an increase in accuracy by 39.51% in comparison with other well-known approaches.
Keywords:
Library documentation, feature engineering, Reverse document frequency, the method of support vectors, Frequency of the term, Natural Language Processing, machine learning, library migrations, extracting information, vector space model