-
Retraction Note: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 Ahmed Khan
This article has been retracted. Please see the Retraction Notice for more detail: https://doi.org/10.1134/S0361768820220016
-
Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 J. C. Rodríguez-Quiñonez
Abstract In the last years Autonomous vehicle navigation has had considerable improvements; however, this technology has not yet been able to effectively be integrated with mobile systems that work inside buildings, houses or without the influence of absolute references such as GPS. It is for this reason that this paper provides a methodological proposal that allows the integration of the use of object
-
Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 J. E. Lozano-Rizk, R. Rivera-Rodriguez, J. I. Nieto-Hipolito, S. Villarreal-Reyes, A. Galaviz-Mosqueda, M. Vazquez-Briseno
Abstract Scientific applications requires to process, analyze and transfer large volumes of data in the shortest possible time from distributed data sources. In order to improve their performance, it is necessary to provide them with specific QoS parameters. On the other hand, SDN is presented as a new paradigm of communications networks that facilitates the management of the communications infrastructure
-
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 N. Vershkov, M. Babenko, V. Kuchukov, N. Kuchukova
Abstract The article discusses the search for a global extremum in the training of artificial neural networks using a correlation indicator. A method based on a mathematical model of an artificial neural network presented as an information transmission system is proposed. Drawing attention to the fact that in information transmission systems widely used methods that allow effective analysis and recovery
-
Recent Trends in Underwater Wireless Sensor Networks (UWSNs) – A Systematic Literature Review Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 Ayesha Tariq, Farooque Azam, Muhammad Waseem Anwar, Tayyba Zahoor, Abdul Wahab Muzaffar
Abstract Underwater Wireless Sensor Networks (UWSNs) is an emerging technology for the monitoring of aquatic assets and frequently applied in several domains like underwater information gathering, ocean sampling network, anonymous vehicles, disaster prevention and submarine detection. Recently, UWSNs have been getting significant attention of researchers from both academia and industry. As a result
-
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 J. G. Rodríguez-Ruiz, C. E. Galván-Tejada, S. Vázquez-Reyes, J. I. Galván-Tejada, H. Gamboa-Rosales
Abstract Mental disorders like depression represent 28% of global disability. It affects around 7.5% percent of global disability. Depression is a common disorder that affects the state of mind, normal activities, emotions, and produces sleep disorders. It is estimated that approximately 50% of depressive patients suffering from sleep disturbances. In this paper, a data mining process to classify depressive
-
Analysis of Correct Synchronization of Operating System Components Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 P. S. Andrianov
Abstract Most of the software model checker tools do not scale well on complicated software. Our goal was to develop a tool, which provides an adjustable balance between precise and slow software model checkers and fast and imprecise static analyzers. The key idea of the approach is an abstraction over the precise thread interaction and analysis for each thread in a separate way, but together with
-
Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 Wendy Flores-Fuentes
Abstract Advanced computing brings opportunities for innovation in a broad gamma of applications. Traditional practices based on visual and manual methods tend to be replaced by cyber-physical systems to automate processes. The present work introduces an example of this, a machine vision system research based on deep learning to classify bridge load, to give support to an optical scanning system for
-
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 A. A. Vasilyev, V. S. Mutilin
Abstract An approach to the static verification of the program source code for correct memory usage is considered. The method is based on the use of symbolic graphs for representing the program memory. An extension of symbolic memory graphs that makes it possible to use predicates over symbolic values to improve the precision of analysis is proposed. These predicates cut off the unreachable paths thus
-
Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 J. Muraña, S. Nesmachnow, S. Iturriaga, S. Montes de Oca, G. Belcredi, P. Monzón, V. Shepelev, A. Tchernykh
Abstract This article presents an approach for the participation of datacenters and supercomputing facilities in smart electricity markets. This is a relevant problem in modern smart grid systems to implement demand response strategies for a better use of resources to guarantee energy efficiency. The proposed approach includes a datacenter model based on empirical information to determine the power
-
Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 J. M. Fortuna-Cervantes, M. T. Ramírez-Torres, J. Martínez-Carranza, J. S. Murguía-Ibarra, M. Mejía-Carlos
Abstract This paper proposes a first approach based on wavelet analysis inside image processing for object detection with a repetitive pattern and binary classification in the image plane, in particular for navigation in simulated environments. To date, it has become common to use algorithms based on convolutional neural networks (CNNs) to process images obtained from the on-board camera of unmanned
-
Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 Ameer B. A. Alaasam, G. Radchenko, A. Tchernykh, J. L. González Compeán
Abstract Digital twins of processes and devices use information from sensors to synchronize their state with the entities of the physical world. The concept of stream computing enables effective processing of events generated by such sensors. However, the need to track the state of an instance of the object leads to the impossibility of organizing instances of digital twins as stateless services. Another
-
A Formal Model for Detecting Bugs by Symbolic Execution of Programs Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 A. Yu. Gerasimov, D. O. Kuts, A. A. Novikov
Abstract Automatic detection of bugs in programs is an extremely important direction of current research and development in the field of program reliability and security assurance. Earlier studies covered, methods for program analysis that combine the dynamic symbolic execution, randomized testing, and static analysis. In this paper, a formal model for detecting bugs using the symbolic execution of
-
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 D. Riaño, R. Piñon, G. Molero-Castillo, E. Bárcenas, A. Velázquez-Mena
Abstract This paper presents the automation of a Web advertising recognition algorithm, using regular expressions. Currently, the use of regular expressions, optical character recognition, Databases, and automation tests have been critical for multiple Software implementations. The tests were carried out in three Web browsers. As a result, the detection of advertisements in Spanish, that distract attention
-
Developing Web Applications with Awareness of Data Quality Elements – DQAWA Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 C. Guerra-García, H. Pérez González, M. Ramírez-Torres, Reyes Juárez-Ramírez
Abstract An acceptable level of quality in data is nowadays a paramount for any kind of organization or enterprise that wishes its business processes to prosper. Thus, introducing activities focused in the data quality management is a crucial requirement for the analysts if the level of quality of data for the functionality or service at hand is to be ensured. Such specialized data quality management
-
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-22 M. Durán, R. Juárez-Ramírez, S. Jiménez, C. Tona
Abstract Currently, in Scrum, there are different methods to estimate user stories in terms of effort or complexity. Most of the existing techniques consider factors in a fine grain level; these techniques are not always accurate. Although Planning Poker is the most used method in Scrum to estimate user stories, it is primarily effective in experienced teams since the estimation mostly depends on the
-
On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-11 A. V. Shokurov, I. V. Abramova, N. P. Varnovsky, V. A. Zakharov
Abstract In this paper, we study the possibility of using a certain cloud computing model supplied with cryptoservers to obfuscate software programs. Earlier, we proposed this cloud computing model in our study of some information security problems for multi-client distributed computing over encrypted data. Based on this model, we proposed a new approach involving the use of threshold homomorphic cryptosystems
-
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-11 P. N. Devyanin, A. V. Khoroshilov, V. V. Kuliamin, A. K. Petrenko, I. V. Shchepetkov
Abstract Designing a trusted access control mechanism of an operating system (OS) is a complex task if the goal is to achieve high level of security assurance and guarantees of unwanted information flows absence. Even more complex it becomes when the integration of several heterogeneous mechanisms, like role-based access control (RBAC), mandatory integrity control (MIC), and multi-level security (MLS)
-
Designing Interfaces for Classes of a Neural Network Graph Model Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-11 Yu. L. Karpov, I. A. Volkova, A. A. Vylitok, L. E. Karpov, Yu. G. Smetanin
Abstract This paper describes an approach to testing artificial neural networks that is implemented in a C++ program as a set of data structures and algorithms for their processing. C++ classes are used as data structures that implement the processing of the following objects: vertex, edge, directed and undirected graphs, spanning tree, and circuit. Interfaces for the most important overloaded operations
-
Occlusion Culling Algorithm Based on Software Visibility Checks Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-11 V. I. Gonakhchyan
Abstract Rendering of 3D scenes with a large number of objects is computationally intensive. Occlusion culling methods are used to improve rendering performance by reducing the number of objects to be processed on the GPU. In this paper, we consider occlusion culling methods that employ spatial and temporal coherence of visibility. Some of the most efficient methods are based on hardware occlusion
-
Mapping Parallel Computations to Distributed Systems Based on RapidIO Technology Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-04 N. I. V’yukova, V. A. Galatenko, A. N. Pavlov, S. V. Samborskii
Abstract This paper is devoted to the problem of mapping parallel computations to distributed systems based on RapidIO communications. A distributed system is represented as a set of hosts with given levels of performance and a set of switches interconnected by links with known bandwidths. Parallel computation is specified as a number of processes that communicate by passing data streams. Each process
-
A Software System for Processing Images with Parallel Computing Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-04 K. I. Kiy, D. A. Anokhin, A. V. Podoprosvetov
Abstract In this paper, a software system for image processing with parallel computing based on the geometrized histograms method developed for the concise description and segmentation of color images and for designing real-time image understanding systems is described. The parallel processing leans on the fact that, in contrast to the majority of the existing image segmentation methods, the proposed
-
Video-Based Content Recognition of Bank Cards with Mobile Devices Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-04 H. Chen, S. Ye, A. Kurilovich, R. Bohush, S. Ablameyko
Abstract In this paper, we propose an algorithm for detection and recognition of all information fields at the bank card front side based on video sequences. The algorithm is intended for use on mobile devices. This algorithm consists of the following basic steps: detection of the card boundaries in a frame, segmenting the information fields, improving the quality of segments, localizing the boundaries
-
Modeling Multitape Minsky and Turing Machines by Three-Tape Minsky Machines Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-04 S. S. Marchenkov, S. D. Makeev
Abstract In this paper, we prove that a k-tape Minsky machine operating with time \(T(n)\) can be modeled by a three-tape Minsky machine in a time not exceeding \(T{{(n)}^{k}} \times \log T(n)\). It is shown that multitape Turing machines can be modeled by three-tape Minsky machines with optimal word encoding.
-
Approach to Blank Node Processing in Incremental Data Visualization by the Example of Ontodia Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-04 D. S. Razd’yakonov, A. V. Morozov, D. S. Pavlov, D. I. Muromtsev
Abstract The problem of lazy visualization of ontological graphs has certain constraints. Visualization of structures that contain blank nodes is especially challenging. In this paper, we propose an approach to visualization of these structures that is implemented in Ontodia, analyze the limitations of this approach, and consider some alternative solutions.
-
The Traffic Congestion Analysis Using Traffic Congestion Index and Artificial Neural Network in Main Streets of Electronic City (Case Study: Hamedan City) Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-04 Mohammad Mehdi ShirMohammadi, Mansour Esmaeilpour
Abstract Traffic is a major challenge for electronic cities and coping with it requires analyzing traffic congestion in the city road network. In this paper, the performance index of vehicle speed was estimated to evaluate the conditions of road networks. This study analyzes the traffic density for the main network of Hamedan communication routes based on the collected data of Speed performance of
-
Adaptation Algorithm for Application Menus Program. Comput. Softw. (IF 0.637) Pub Date : 2020-12-04 E. N. Chujkova, A. R. Aidinyan, O. L. Tsvetkova
Abstract A software application’s menu is an important part of its user interface. User satisfaction and application usage efficiency depend on how well the menu is designed. Application menus designed by the developer are intended for the average user and do not take into account the needs and characteristics of individual users. A solution to this problem is the creation of user interfaces capable
-
Live Migration Schemes in Data Centers Program. Comput. Softw. (IF 0.637) Pub Date : 2020-10-01 V. A. Kostenko, A. A. Chupakhin
Abstract This paper describes some live virtual machine (VM) migration schemes used in modern hypervisors and provides a comparative analysis of their potential capabilities based on the following criteria: eviction time, total migration time, downtime, total amount of data transmitted during migration, and decrease in performance of a migrating VM.
-
Improving Efficiency of Web Application Firewall to Detect Code Injection Attacks with Random Forest Method and Analysis Attributes HTTP Request Program. Comput. Softw. (IF 0.637) Pub Date : 2020-10-01 Nguyen Manh Thang
Abstract In the era of information technology, the use of computer technology for both work and personal use is growing rapidly with time. Unfortunately, with the increasing number and size of computer networks and systems, their vulnerability also increases. Protecting web applications of organizations is becoming increasingly relevant as most of the transactions are carried out over the Internet
-
Development of Energy Saving Technologies for Smart Buildings by Using Computer Algebra Program. Comput. Softw. (IF 0.637) Pub Date : 2020-10-01 E. Yu. Shchetinin
Abstract Intelligent energy saving and energy efficient technologies are a modern large-scale global trend in the development of energy systems. Accurate estimates of energy savings are important for promoting energy-efficient construction projects and demonstrating their economic potential. The growing digital measurement infrastructure used in commercial buildings increases the availability of high-frequency
-
Functional Programming Library for C++ Program. Comput. Softw. (IF 0.637) Pub Date : 2020-10-01 M. M. Krasnov
Abstract Modern functional programming languages, such as Haskell, Scala, ML, and F#, have properties that make it possible to implement logically complicated algorithms relatively easily. Among such properties is the composition of functions, currying, metafunctions (functions over functions), and some others. This makes it possible to obtain complex functions by combining simpler functions. An example
-
Approaches to User Interface Development Program. Comput. Softw. (IF 0.637) Pub Date : 2020-10-01 V. N. Lukin, A. L. Dzyubenko, Yu. B. Chechikov
Abstract This paper discusses problems associated with modern user interfaces, analyzes interfaces built on the implementation paradigm, identifies the weaknesses of this paradigm, estimates some existing methodologies for interface development, and justifies the use of metaphoric or idiomatic methodologies when creating or improving user interfaces. At an annual meeting, Kenneth Olsen, an engineer
-
NOBRAINER: A Tool for Example-Based Transformation of C/C++ Code Program. Comput. Softw. (IF 0.637) Pub Date : 2020-10-01 V. V. Savchenko, K. S. Sorokin, I. E. Bronshtein, A. S. Volkov, V. V. Kachanov, G. A. Pankratenko, M. K. Ermakov, S. I. Markov, A. V. Spiridonov, I. V. Aleksandrov
Abstract Refactoring is an integral part of the modern software development process. Often, the refactoring must be performed at the global level with modifications in a large number of files. Making these modifications is a long and painstaking work. However, users rarely employ automated tools for this purpose because they consider them unreliable and difficult to use. In this paper, a new tool for
-
Replication in Distributed Systems: Models, Methods, and Protocols Program. Comput. Softw. (IF 0.637) Pub Date : 2020-10-01 A. R. Nasibullin, B. A. Novikov
Abstract Data replication is used to enhance the reliability, availability, and throughput of database systems at a price of increased complexity and cost of data updates. In many cases, data storage systems that exploit replication use relaxed consistency criteria. This survey describes different replication schemes and discusses several consistency models, protocols, and techniques designed to support
-
Some Aspects of Associative Memory Construction Based on a Hopfield Network Program. Comput. Softw. (IF 0.637) Pub Date : 2020-10-01 Yu. L. Karpov, L. E. Karpov, Yu. G. Smetanin
An implementation of associative memory based on a Hopfield network is described. In the proposed approach, memory addresses are regarded as training vectors of the artificial neural network. The efficiency of memory search is directly associated with solving the overfitting problem. A method for dividing the training and input network vectors into parts, the processing of which requires a smaller
-
Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains Program. Comput. Softw. (IF 0.637) Pub Date : 2020-08-08 Yu. A. Zagorulko; O. I. Borovikova
AbstractThis paper presents an approach to developing ontologies of scientific subject domains (SSDs) that is based on the application of a system of heterogeneous ontology design patterns (ODPs), which are documented descriptions of proven solutions to typical problems of ontological modeling. This system includes both universal patterns used to describe typical ontology constructions and patterns
-
Dedicative Verification of Reflex Programs Program. Comput. Softw. (IF 0.637) Pub Date : 2020-08-08 I. S. Anureev; N. O. Garanina; T. V. Lyakh; A. S. Rozov; V. E. Zyubin; S. P. Gorlatch
AbstractThis paper presents a new two-step verification method for control software. The novelty of the method is that it reduces the verification of the temporal properties of a control program to the deductive verification of an imperative program in the Hoare style, which explicitly models the time and history of the control program. The method is applied to programs written in the Reflex language
-
Dynamic Program Analysis Tools in GCC and CLANG Compilers Program. Comput. Softw. (IF 0.637) Pub Date : 2020-08-08 N. I. V’yukova; V. A. Galatenko; S. V. Samborskii
AbstractEver increasing software security requirements, the growing size of software projects, and the desire to reduce the time of software development and release require tools for the dynamic analysis that would detect vulnerabilities in С and С++ programs and prevent their exploitation. Two types of dynamic analysis tools implemented in the gcc and clang compilers are considered; these tools are
-
Survey of Nvidia RTX Technology Program. Comput. Softw. (IF 0.637) Pub Date : 2020-08-08 V. V. Sanzharov; V. A. Frolov; V. A. Galaktionov
AbstractNvidia RTX is a proprietary hardware-accelerated ray tracing technology. Since implementation details are unknown, there were many questions in the development community about the hardware implementation: which stages of the ray tracing pipeline are hardware-accelerated and which of them can be efficiently implemented in software. In this paper we present the results of our experiments with
-
Testing Equivalences of Time Petri Nets Program. Comput. Softw. (IF 0.637) Pub Date : 2020-08-08 E. N. Bozhenkova; I. B. Virbitskaite
AbstractIn the paper, we study a family of testing equivalences in interleaving, partial-order semantics, and combined semantics in the context of safe time Petri nets (elementary net systems whose transitions are labeled with time firing intervals, can fire only if their lower time bounds are attained, and are forced to fire when their upper time bounds are reached). For this purpose, the following
-
Projection Method for Deconvolution-Based CT Brain Perfusion Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 D. A. Lyukov; A. S. Krylov; V. A. Lukshin; D. Yu. Usachev
AbstractThe quantitative analysis of the blood flow in the brain tissue is one of the important problems in neurosurgery. It arises when diagnosing acute ischemic stroke. This problem can be solved using computed tomography (CT) perfusion imaging. There are various methods for extracting quantitative characteristics of cerebral blood flow from CT perfusion data, which differ in degrees of their noise
-
Visualization of Large Scenes with Deterministic Dynamics Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 V. A. Semenov; V. N. Shutkin; V. A. Zolotov; S. V. Morozov; V. I. Gonakhchyan
AbstractVisualization of large dynamic scenes is a challenging computer graphics problem. There are many approaches to solving this problem: frustum culling, occlusion culling, geometry simplification, and rendering optimization. One of the effective methods is the levels of detail (LOD) for scene objects. For large scenes, the hierarchical LOD (HLOD), whereby the levels of detail are created for large
-
Visualization Component for the Aircraft Real-Time Operating System JetOS Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 B. Kh. Barladian; L. Z. Shapiro; K. A. Mallachiev; A. V. Khoroshilov; Yu. A. Solodelov; A. G. Voloboy; V. A. Galaktionov; I. V. Koverninskii
AbstractThe creation of visualization component for onboard civil aviation systems is considered. The software used on board must comply with the internationally accepted safety standards. This imposes additional requirements for both the hardware used and the system development process. This paper is devoted to the use of multicore processors in avionics embedded systems for improving the performance
-
Parallel Solutions of Parametric Problems in Gas Dynamics Using DVM/DVMH Technology Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 A. E. Bondarev; V. A. Galaktionov; A. E. Kuvshinnikov
AbstractThis paper investigates the effectiveness of the DVM/DVMH technology as applied to the parallel solution of parametric problems in gas dynamics. The solution of these problems is based on the construction of a generalized computational experiment, which involves multiple solutions of the problem with the variation of its key parameters. This approach is efficient only when using parallel technologies
-
BSQ-rate: a New Approach for Video-codec Performance Comparison and Drawbacks of Current Solutions Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 A. V. Zvezdakova; D. L. Kulikov; S. V. Zvezdakov; D. S. Vatolin
AbstractThis paper is dedicated to the analysis of the existing approaches to video codecs comparisons. It includes the revealed drawbacks of popular comparison methods and proposes new techniques. The performed analysis of user-generated videos collection showed that two of the most popular open video collections from media.xiph.org which are widely used for video-codecs analysis and development do
-
Simplification of CAD Models by Automatic Recognition and Suppression of Blend Chains Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 S. E. Slyadnev; V. E. Turlapov
AbstractThis paper presents a CAD model simplification procedure that consists in recognizing and suppressing blend chains of certain types. The proposed method involves Euler operators (KEV, KEF, and KFMV) developed on top of an open-source geometric modeling kernel. The simplification process consists of two stages: recognition and suppression. The suppression stage ensures the geometric and topological
-
Segmentation Based on Propagation of Dynamically Changing Superpixels Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 V. V. Danilov; O. M. Gerget; I. P. Skirnevskiy; R. A. Manakov; D. Yu. Kolpashchikov
AbstractThis paper describes a new method for medical data segmentation based on superpixel propagation. The proposed method is a modification of the classical region growing algorithm and partly inherits the concept of octrees. The key difference of the proposed approach is the transition to the superpixel domain, as well as more flexible conditions for adding neighbor superpixels to the region. The
-
Method to Extract Isosurfaces on the GPU by Means of Programmable Tessellation Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 P. Y. Timokhin; M. V. Mikhaylyuk
AbstractThis paper considers the task of real-time visualization of detailed 3D scalar fields through isosurfaces (surfaces representing constant values of scalar fields). A new method is proposed to overcome the limitations associated with the intensive reading of dummy (non-visualized) vertices from video memory and overheads of their storage, which arise when implementing isosurface polygonization
-
Restoration of Lighting Parameters in Mixed Reality Systems Using Convolutional Neural Network Technology Based on RGBD Images Program. Comput. Softw. (IF 0.637) Pub Date : 2020-05-31 M. I. Sorokin; D. D. Zhdanov; A. D. Zhdanov; I. S. Potemin; N. N. Bogdanov
AbstractOne of the main problems of mixed reality devices is the lack of universal methods and algorithms for the visualization of virtual world objects in real space. The key point of natural perception of virtual objects in the real world is the creation of natural lighting conditions for virtual world objects by light sources located in the real world, i.e. the formation of natural glares on virtual
-
Differential Geometry and Mechanics: A Source for Computer Algebra Problems Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 V. N. Salnikov; A. Hamdouni
AbstractIn this paper, we discuss the possibility of using computer algebra tools in the process of modeling and qualitative analysis of mechanical systems and problems from theoretical physics. We describe some constructions—Courant algebroids and Dirac structures—from the so-called generalized geometry. They prove to be a convenient language for studying the internal structure of the differential
-
Algorithm for Constructing an Analogue of the Binet Formula Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 V. I. Kuzovatov; A. A. Kytmanov; O. I. Kuzovatova
AbstractIn this paper, we describe an algorithm for constructing an analogue of the Binet formula, which is essential in deriving a functional relation to the classical Riemann zeta-function. The algorithm is implemented in the Maple computer algebra system. An example that illustrates the operation of the algorithm is presented.
-
Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 S. A. Abramov; A. A. Ryabenko; D. E. Khmelnov
AbstractLinear ordinary differential equations whose coefficients are infinite (formal) power series given in a truncated form are considered. Computer algebra procedures (implemented in Maple) for constructing solutions of two forms are suggested. The procedures find the greatest number of series terms occurring in the solutions that can be found for the given truncated series—coefficients.
-
Minimal Representations and Algebraic Relations for Single Nested Products Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 Carsten Schneider
AbstractRecently, it has been shown constructively how a finite set of hypergeometric products, multibasic hypergeometric products or their mixed versions can be modeled properly in the setting of formal difference rings. Here special emphasis is put on robust constructions: whenever further products have to be considered, one can reuse –up to some mild modifications – the already existing difference
-
On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 S. D. Meshveliani
AbstractIn this paper, we describe design principles for certified programs of fraction arithmetic over any domain with the greatest common divisor (GCD) function. This is a small part of the DoCon-A library of certified programs, which is designed by the author of this paper. In this system, programs include definitions of the corresponding mathematical notions and proofs for the main properties of
-
Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 A. B. Batkhin
AbstractAn autonomous Hamiltonian system with two degrees of freedom that is invariant under the Klein four-group of linear canonical automorphisms of the extended phase space of the system is studied. A sequence of symplectic transformations of the monodromy matrix of the symmetric periodic solution of this system is constructed. Using these transformations, the structure and bifurcation of the phase
-
A Modular Extension for a Computer Algebra System Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 M. N. Gevorkyan; A. V. Korolkova; D. S. Kulyabov; L. A. Sevast’yanov
AbstractComputer algebra systems are complex software systems that cover a wide range of scientific and practical problems. However, the absolute coverage cannot be achieved. Often, it is required to create a user extension for an existing computer algebra system. In this case, the extensibility of the system should be taken into account. In this paper, we consider a technology for extending the SymPy
-
Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 D. A. Yanovich
AbstractFor the work with polynomials such data representations as lists of terms, geobuckets, and heaps are usually used. In this paper, an attempt to give a new look on the representation of polynomials for computing involutive and Gröbner bases of systems of nonlinear polynomial equations is made. The proposed approach makes it possible to execute a part of this computational task on the GPU, which
-
Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood’s Machine using Computer Algebra Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 A. N. Prokopenya
AbstractThe problem of finding a periodic motion of generalized Atwood’s machine in which the pulley of a finite radius is replaced by two small pulleys and one of the objects may oscillate in the vertical plane is discussed. Using symbolic computations, the equations of motion are derived and their periodic solutions in the form of power series in a small parameter in the case of small oscillations
-
Normalization of a Periodic Hamiltonian System Program. Comput. Softw. (IF 0.637) Pub Date : 2020-04-18 A. D. Bruno
AbstractFirst, the normal form in the vicinity of the stationary solution of the autonomous Hamiltonian system is recalled. Next, linear periodic Hamiltonian systems are considered. For them, normal forms of the Hamiltonians in the complex and real cases are found. A feature of the real case in the situation of parametric resonance is discovered. Next, normal forms of Hamiltonians of nonlinear periodic
-
Clustering Algorithm for a Set of Machine Parts on the Basis of Engineering Drawings Program. Comput. Softw. (IF 0.637) Pub Date : 2020-02-20 V. N. Kuchuganov; A. V. Kuchuganov; D. R. Kasimov
AbstractFor industrial logistics tasks, an algorithm for clustering a given set of machine parts on the basis of engineering drawings is proposed. To speed up clustering, the values of each parameter are fuzzified and local maximums of the N-dimensional histogram are sought. The search uses the selection of adjacent vectors based on the recalculation of coordinates from the N-dimensional space to a
Contents have been reproduced by permission of the publishers.