Software & Systems

Journal articles №4 2016

21. Algorithmical power of some fragments of computational tree logic [№4 за 2016 год]
Authors: A.V. Dukhovneva (kugusheva_nastya@list.ru) - School of Speed Reading and Development of Intellect IQ007 (Trainer and Consultant); M.N. Rybakov (m_rybakov@mail.ru) - Tver State University, R&D Institute Centerprogramsystem (Associate Professor, Software Engineer, Research Fellow), Ph.D; D.P. Shkatov (shkatov@gmail.com) - University of the Witwatersrand (Ph.D.(Theoretical Computer Science), Senior Lecturer), Ph.D;
Abstract: In the paper we consider the Computational Tree Logic CTL and study computational complexity of the decision problem for its finitely-many variable fragments. We give a polynomial-time algorithm solving the decision problem for the variable-free fragment of CTL. We also give a polynomial-time algorithm which embeds the fragment of CTL with the modalities
Keywords: computational complexity, decision problem, computational tree logic, temporal logic, non-classical logics, propositional logics
Visitors: 4732

22. Parallel calculations as a way to increase the efficiency of computing aerodynamic problem solutions [№4 за 2016 год]
Authors: S.A. Burenkov (burenkovsa@mpei.ru) - National Research University “MPEI”; O.Yu. Shamayeva (shamayevaoy@mpei.ru) - National Research University “MPEI” (Associate Professor), Ph.D;
Abstract: The article proposes software to increase the efficiency of solving aerodynamic problems in high-performance cluster systems. The software is implemented on the basis of the proposed parallel-sequential algorithm for solving sparse systems of linear algebraic equations of high dimensionality using the method of generalized minimal residual. The article provides a theoretical estimate of the developed algorithm complexity, as well as a comparison of the results of theoretical estimates and computational experiment results. The software is implemented for a distributed memory computation model and is used to solve a model problem of an aerodynamic flow of a profile with an air flow. There are the results of a computational experiment on calculating the density and pressure of the blowing profile air flow in the high-performance cluster, which illustrate the effect of using a parallel program. The article analyzes the characteristics of model problem parallel solution acceleration, which allow determining a threshold of dimension of systems equations. Below the threshold the organization of parallel computing adversely effects on the efficiency of computing resources. The paper also studies the effect of a sparse coefficient matrix degree on parallel implementation acceleration. The given results can be applied not only on computational hydrodynamics and gas dynamics, but also energetics, biology, chemistry, pharmacology, astrophysics, and others.
Keywords: message passing interface mpi, parallel computing, air flow problem, computing aerodynamics
Visitors: 7368

23. The directions of implementation of automated system means for electronic systems development [№4 за 2016 год]
Authors: Potapov A.N. (potapov_il@mail.ru) - Military scholastic-scientific centre of the Air forces "Air forces academy named by prof. N.E. Zhukovsky and Yu.A. Gagarin", Ph.D; V.A. Dikarev (dikva@mail.ru) - Institute of Mathematics, Informatics and Natural Sciences, Moscow City Pedagogical University (Professor, Head of Chair), Ph.D; Dopira R.V. (rvdopira@yandex.ru) - NPO RusBITex (Professor, Head of Department), Ph.D; Abu-Abed, F.N. (aafares@mail.ru) - Tver State Technical University (Associate Professor, Dean), Ph.D; Martynov D.V. (idpo@tstu.tver.ru) - Tver State Technical University, Ph.D;
Abstract: The article considers the issues implementing software tools of an automated system of electronic systems development. The authors propose an architecture of the automated system’s structural configuration. To determine the existence of conflicts when applying radio-electronic complexes (REC) and simulators it is proposed to add radio-monitoring means and means of assessing simulator adequacy to the automated system of electronic systems development. Radio-monitoring means can identify the signs of a conflict when applying electronic systems. The paper shows the developed structures of automated means for defining the substantial components of training exercises and curricula. The authors offer a professionally-oriented program complex of the automated system of electronic systems development. Experimental studies of the adequacy of simulation results in specialized simulators “Marka – RS” and integrated simulators “Repeater” in the air traffic control (ATC) in the near zone from an aerodrome in order to correct determine the level of skills and rational planning of operators’ training identified a new level of automated systems of electronic system operators’ training in the air traffic control. The developed tools in the form of models, block diagrams, mathematical, algorithmic support and software for subsystems in the automated system of electronic systems development have not only a scientific novelty, but also practical significance and feasibility.
Keywords: software training, software, electronic systems, operator, conflict-stability, automated system development
Visitors: 7073

24. Statement of the research problem of the diffusion transition across the slag-metal border in a column reactor and its solution algorithm [№4 за 2016 год]
Authors: Sechenov P.A. (pavesa89@mail.ru) - Siberian State Industrial University; V.P. Tsymbal (tsumbal33@mail.ru) - Siberian State Industrial University (Professor), Ph.D; Olennikov A.A. (oaa@cirkul-m.ru) - Siberian State Industrial University (Associate Professor), Ph.D;
Abstract: The subject of the research is the problems of the diffusion transition across a slag-metal border and metal particles decarbonization when passing through a slag layer. The authors give a mathematical problem statement through the slag-metal border problems within a simulation model of a jet emulsion reactor gravity separator. The article compares the object-oriented programming languages (Delphi, Visual C #, ActionScript 3.0). It allocates simulation model targets. There is a comparative analysis of simulation models created over the past 10 years. Dimension space is taken as a comparison test (one-, two- and three-dimensional). The authors give the scheme of interaction between simulation model classes and the main unit. Particular focus is on the classes: “slag at the botto”, “metal at the bottom”, calculations and the main unit since they implement the assigned task. The paper describes the properties of the slag class (percentages of slag components’ weight and the variable for interaction with the settlement class) and methods (initialization of the class variable, increment function and slag composition change). The calculating class contains the functions determining FeO balanced content and the recovery rate on the slag-metal border. This article shows an algorithm of slag iron decarburization and its interaction with other program classes. To implement the task the authors chose the simulation method (Monte-Carlo). It allows constructing an algorithm with the knowledge of object mechanisms, based on random playing. As a result of the second scheme (metal particles decarbonization when passing through a slag layer) the authors conducted some experiments on the simulation model with the same initial conditions and sufficient modeling time (10 minutes). The simulation studies showed that when implementing only the first mechanism carbon content in the final product is 4 %, and when implementing two above-mentioned circuits it is 3,5 %. It shows the possibility of more flexible management of a decarburization process.
Keywords: monte-carlo method, jet-emulsion reactor, program realization, algorithm, particles interacting ones, gravity separator, actionscript 3.0, simulation model, diffusion transfer
Visitors: 9757

25. Automated digital processing of images in solving the problem of magnetic defectoscopy [№4 за 2016 год]
Authors: Korobeynikov, A.G. (korobeynikov_a_g@mail.ru) - The National Research University of Information Technologies, Mechanics and Optics (Professor), Ph.D; V.I. Polyakov (v_i_polyakov@mail.ru) - The National Research University of Information Technologies, Mechanics and Optics (Associate Professor), Ph.D; M.E. Fedosovsky (stts@diakont.com) - The National Research University of Information Technologies, Mechanics and Optics (Professor), Ph.D; S.A. Aleksanin (stts@diakont.com) - The National Research University of Information Technologies, Mechanics and Optics;
Abstract: The methods that are based on the analysis of dispersion of magnetic fields near defects after magnetization of these products allow determining the existence of defects in a surface coat of steel details, for example cracks. In areas with continuity violation there will be a change of a magnetic flux. One of the most known methods of magnetic fault detection is the method of magnetic powder. In this case we apply magnetic powder (a dry method) or magnetic suspension (a wet method) on a surface of a magnetized detail. When using luminescent powders or suspensions, defects are more visible on the images of the studied details. Therefore, there is a possibility of automated image processing. The paper presents an automated procedure of choosing image processing methods. It also provides an example of processing a steel detail image aiming to detect its defects by means of shining lines, which appear after applying a wet method. Software implementation if the proposed approach is in MATLAB. The authors determine ways and methods that might be included in the abovementioned procedure to improve it.
Keywords: morphological processing of images, improvement of images, image processing, magnetic fault detection
Visitors: 8646

26. Software modeling of stochastic temperature fields in stf-electron mod technical systems [№4 за 2016 год]
Author: Kandalov P.I. (petrki87@gmail.com) - SRISA RAS;
Abstract: The article presents the software package “STF-ElectronMod” to simulate a steady-state stochastic 3D temperature fields in technical systems Experience has shown that the actual temperature fields of technical systems have uncertainty interval nature. This is due to the interval factors determining the thermal regime of the technical system. These factors include: the design parameters of technical sys-tems with statistical techno logical manufacture spread; factors arising in the operation of technical sys-tems ( power consumption, heat flows, internal environment parameters); environmental factors (temperature, medium, refrigerant, flows velocity, etc.). However, now modeling of temperature fields of technical systems is being conducted under the assumption of determinacy. This means that all thermal condition parameters are considered accurately known This article describes a structure of the designed software system STF-ElectronMod for modelling of interval stochastic temperature fields in technical systems under uncertainty of input determining data. The method and algorithm are based on the author's developments according to a matrix-topological method, the software complex three-dimensional deterministic modeling of temperature fields of technical systems, as well as Monte-Carlo method. The application of the method and algorithm for modeling interval stochastic temperature fields is considered on the example of a complex electronic system.
Keywords: interval, stochastic, temperature fields, mathematical and computer modeling, software package
Visitors: 8508

27. Single screw extruder engineering with artificial intelligence elements [№4 за 2016 год]
Authors: Zubkova, T.M. (bars87@mail.ru) - Orenburg State University, Ph.D; N.А. Mustyukov (256nail@ mail.ru) - Orenburg State University; М.А. Tokareva (tokareva@mail.osu.ru) - Orenburg State University (Associate Professor), Ph.D;
Abstract: Market fierce competition makes the extrusion equipment manufacturers offer advanced and new technologies for a wide range of products every year. Therefore, production must be flexible, adjusting to different configurations of products, raw materials and types of productivity depending on current needs of the market. The complexity of the extrusion process does not allow figuring it out by conventional methods without using automation design (SAPR). The reduction of engineering process complexity of single screw extruders based on flexible SAPR organization is a current issue. The study developed a method of building SAPR screw extruders based on the integration and configuration of its subsystems. The created software system is the SAPR core and includes the integration of the components (a third-party CAD/CAE-systems, designed processes mathematical models, user interface components, engineering tools), data management, native software modules connection, designed to analyze the process of extrusion and optimization of technological and geometrical parameters of screw extruders. SAPR framework for screw extruders allows engineering the extruders; automating the adjustment of geometrical parameters and data preparation for analysing the structure; to carry out a simulation extrusion process; to optimize design and technological regimes; to manage extruder design data, extrusion process and simulation results. The developed software system helped to creat a new press extruder and improve the homogenization of the material being processed. The constructions are protected by patents of the Russian Federation. The proposed method of geometrical parameters optimization of the extruder-based adaptive methods enhances the search for new and improvement of existing designs. The article reflects the results of the grant № 14-08-97031 performed with the financial support of the Government of the Orenburg Region and Russian Fundamental Research Fund.
Keywords: computing experiment, software system, vector optimization, matrix, screw, cad/cae-systems, integrated environment sapr, mathematical and computer modeling, extrusion process
Visitors: 8404

28. Scientific and technical computing system mathcad to design and analyze differentiated teaching load models [№4 за 2016 год]
Authors: E.Yu. Shakhova (koroleva0602@mail.ru) - Bratsk State University (Associate Professor), Ph.D;
Abstract: Nowadays, many universities have processing of local regulations governing the work of academic teaching staff. There is a strong requirement to differentiate teaching load upper limits according to academic teaching staff positions. The paper considers and analyzes linear and non-linear models of standard teaching load distribution. The methods used are the following: least-square approximation by a linear function and third-degree polynomial, spline interpolation. The simulation was performed using MathCAD. The authors defined the most effective models for different population structure of professors. The criterion of efficiency is the smallest amount of excess teaching load. Evaluating of the constructed linear and nonlinear models’ effectiveness was based on three options of an academic teaching staff population structure in a university (institute) structural unit with high, medium and threshold levels of professors and associate professors in a total number. The obtained results show that the linear differentiation of teaching load upper limits is not always the best solution. Linear models in this study proved to be most effective only in case of the institute model with a high level of professors and associate professors in the total number of teaching staff. The most effective non-linear model for models with middle and threshold levels of academic teaching staff is a spline interpolation model (a curve that is cubic spline with parabolic endpoints). The paper also shows that for all the above mentioned differentiation models with a high level professors and associate professors in the total number of institute teaching staff the minimum excess teaching load exceeds the maximum excess teaching load for the institutions with a threshold and average level.
Keywords: standard teaching load, mathcad, nonlinear model, linear model, modeling
Visitors: 8086

29. Methods of assessing the quality of university students’ education using a neuro-fuzzy approach [№4 за 2016 год]
Authors: A.R. Aydinyan (andstyle@mail.ru) - Don State Technical University (Associate Professor), Ph.D; O.L. Tsvetkova (olga_cvetkova@mail.ru) - Don State Technical University (Associate Professor), Ph.D;
Abstract: Nowadays according to the Bologna process the system of education quality assessment are introduced for successful functioning of higher education institutions and enhancing their competitive in the international market. The accuracy of determining the university efficiency to a large extent depends on the correct choice of criteria to assess the factors that determine education quality. Education quality assessment is hampered by the fact that the value of this indicator depends on many factors, as well as the fact that during the pedagogical dimensions it is inevitable to work with non-numeric information. In order to achieve the objectives the authors have reviewed factors that have the greatest impact on student learning. Traditionally among these factors there are the following: the quality of interaction with a labor market during the formation of educational content, the quality of applicants and students, the quality of teaching technologies, teaching and logistical support of an educational process, the quality of teaching staff. The proposed methods of assessing the quality of students education is based on a two-level system. It is built on the basis of an adaptive neuro-fuzzy inference system (ANFIS) which is implemented in the Fuzzy Logic Toolbox package of MatLab and artificial neural networks. To evaluate each of the four groups of factors that influence the quality of a students’ learning process, there are four modules implemented using artificial neural networks. The number of inputs of each artificial neural network is caused by a number of factors included in an appropriate group. Factor group values go to the input of ANFIS, which is the second level of a quality assessment system for university students’ education. The output variable of ANFIS is a numerical evaluation of students’ learning quality. Two-level calculation simplifies data collection for artificial neural networks training and the expert assessments formation for training and formation of inputs of artificial neural networks and ANFIS. The proposed system of students education quality assessment provides a numerical estimate, which is an aggregate measure of an educational institution performance, showing learning process efficiency.
Keywords: expert assessments, adaptive neuro-fuzzy inference systems, artificial neural networks, quality of formation
Visitors: 8385

◄ ← Preview | 1 | 2 | 3