Software & Systems

Articles of journal № 4 at 2016 year.

Order result by: Public date | Title | Authors

21. Algorithmical power of some fragments of computational tree logic [№4 за 2016 год]
Authors: A.V. Dukhovneva, M.N. Rybakov, D.P. Shkatov
Visitors: 4745
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

22. Parallel calculations as a way to increase the efficiency of computing aerodynamic problem solutions [№4 за 2016 год]
Authors: S.A. Burenkov, O.Yu. Shamayeva
Visitors: 7376
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.

23. The directions of implementation of automated system means for electronic systems development [№4 за 2016 год]
Authors: Potapov A.N., V.A. Dikarev, Dopira R.V., Abu-Abed, F.N., Martynov D.V.
Visitors: 7088
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.

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., V.P. Tsymbal, Olennikov A.A.
Visitors: 9780
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.

25. Automated digital processing of images in solving the problem of magnetic defectoscopy [№4 за 2016 год]
Authors: Korobeynikov, A.G., V.I. Polyakov, M.E. Fedosovsky, S.A. Aleksanin
Visitors: 8658
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.

26. Software modeling of stochastic temperature fields in stf-electron mod technical systems [№4 за 2016 год]
Author: Kandalov P.I.
Visitors: 8525
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.

27. Single screw extruder engineering with artificial intelligence elements [№4 за 2016 год]
Authors: Zubkova, T.M., N.А. Mustyukov, М.А. Tokareva
Visitors: 8425
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.

28. Scientific and technical computing system mathcad to design and analyze differentiated teaching load models [№4 за 2016 год]
Author: E.Yu. Shakhova
Visitors: 8107
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.

29. Methods of assessing the quality of university students’ education using a neuro-fuzzy approach [№4 за 2016 год]
Authors: A.R. Aydinyan, O.L. Tsvetkova
Visitors: 8397
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.

◄ ← Preview | 1 | 2 | 3