Industry 4.0 Vol. 3 (2018), Issue 4

Monitoring and control of cyber-physical systems – the backbone of Industry 4.0

pg(s) 155-157

Monitoring and control of Cyber-Physical Systems (CPS) have many challenges related to the heterogeneous environment, the high degree of interaction between the components and the high requirements for functionality and scale. The paper presents an analysis of the state of the art in this area and proposes an approach for monitoring and control of CPS through the integration of the IEC-61499 based models for distributed control systems and the IEC-61512 standard providing domain specific models for design and control of batch production processes as well as the Signal- Interpreted Petri Nets used for the purpose of formal specification and verification of unit procedures. The approach is illustrated with an example of CPS for loading a batch tank and mixing of liquid flow.

Analyzing emotions from text corpus using word space

pg(s) 161-164

Monitoring and control of Cyber-Physical Systems (CPS) have many challenges related to the heterogeneous environment, the high degree of interaction between the components and the high requirements for functionality and scale. The paper presents an analysis of the state of the art in this area and proposes an approach for monitoring and control of CPS through the integration of the IEC-61499 based models for distributed control systems and the IEC-61512 standard providing domain specific models for design and control of batch production processes as well as the Signal- Interpreted Petri Nets used for the purpose of formal specification and verification of unit procedures. The approach is illustrated with an example of CPS for loading a batch tank and mixing of liquid flow.

Method of structuring the self-organized intellectual system on the basis of requirements of the ISO/IEC 15288 standard in the form of the cartesian closed category. (On the example of design of information and analytical system)

pg(s) 165-167

In article approach to formation of structure of the self-organized system is considered. The method of transition to the quantitative multiple description of information processes and application of requirements of the ISO/IEC 15288 standard is shown. The rule of synthesis of the self-organized structure of models of process is offered. The possibility of parametrical control of a condition of processes is shown.

Conceptual model “Stage” and intellectual support of the solution process of “Tactical Problems” by crews of aircrafts

pg(s) 168-171

This paper is about the conceptual model “Stage” and its use in the development of on-board advisory expert systems of an operational goal setting (OAES-goal setting) and flight stages OAES-typical situation (TS).

Improved stochastic control flow model for LLVM-based software reliability analysis

pg(s) 172-174

Recently we have proposed a new method for error propagation analysis of the safety-critical software using the transformation of the source code to the Dual-graph Error Propagation Model (DEPM) based on the Low-Level Virtual Machine (LLVM) compiler framework, that allows the automatic analysis of C-code or another LLVM supported front-end. The source code is compiled into the LLVM Intermediate Representation and instrumented in order to analyze control and data flow structures of the software and the control flow transition probabilities between the basic blocks. Based on this information a DEPM for further analysis is generated. The DEPM is a stochastic model that captures system properties relevant to error propagation processes such as control and data flow structures and reliability characteristics of single components, LLVM instructions in this particular case. The DEPM helps to estimate the impact of a fault in a particular instruction on the overall system reliability, e.g. to compute the mean number of erroneous values in a critical system output during given operation time. The feasibility of the method has been proven on several case studies and also reveals several limitations of the current control flow model.
This paper address the improvement of the control flow model using a new customizable heuristic method for the analysis of control flow sequences and their mapping into discrete-time Markov chain models. The method is designed in a way to keep a required tradeoff between the model size and precision.

Methodology for configuring an intelligent network expert system [AiNES] using the example of an electrochemical dimensional processing machine

pg(s) 175-184

The article deals with the configuration of the expert system for working with electrochemical equipment. The process of electrochemical dimensional processing (EDP), its main parameters and the influence of conditions on their change are considered. The method of setting up the system for working with the EDP machine is given and an approximate variant of the result of the system operation is considered

Geoinformation analysis within the objectives of waste management systems construction

pg(s) 180-185

This article compiles different features of waste management systems, as well as its practical implementation in Mathematic and Geoinformation analysis. Technological basis of information support of waste management and its indicators, such as adverse impact on the natural environment and human health and territorial features of the risk caused by long-term negative impact on the environment and public health, are presented. Population, economy, and environment in the Republic of Bashkortostan, Russia are strongly affected by thorough decisions made by authorities in the field of waste management, that are: finding places for storage, recycling, and subsequent distribution of waste and its derivatives, that also includes taking measures to influence people’s understanding of dealing with waste and environmental problems. In this paper, the focal point is the technology of mathematical-geoinformation modelling, the basis of which, as applied to waste management problems, is a system combination of geoinformation technologies and mathematical-statistical modelling methods. Approaches to solving the problem of classifying areas of the territorial system by state indicators are presented in the article.

Machine learning applications for design of new materials: A review

pg(s) 186-189

The importance of materials in our life is well known to the world. Material science is one of the crucial research domain which deals with planning, development, synthesis and analysis of materials and its use in the real applications. The scientists and researcher are using highly advance technologies for the production and design of new materials in present era; however the process is time consuming. Machine Learning can be defined as a set of techniques that learn from the large amount of available data and make predictions for the new data. Recently, machine learning has gained a great attraction in material science research and has been used in several research studies. Machine learning techniques have the potential to learn from the large amount of materials data and make predictions about different properties for new materials of good quality. These predictions can help in designing new materials. In this paper, we present a comprehensive review on the machine learning applications in different material science domain. We believe that the paper would be useful for the researchers, academicians and students who are involved in the design of new materials.

Dynamic cognitive maps for the substantiation of strategic decisions on management of energy sector development

A.G. Massel

pg(s) 190-193

This article describes the tools of intelligent decision-making support in the research of energy security problems using the cognitive approach. The application of dynamic cognitive modeling and the notion of dynamic cognitive modeling are described. The author proposes the future directions of this approach developmen.

Solving the point-plane problem for the class of affine transformations and development of a fast iterative algorithm for registering of 3D point clouds

pg(s) 194-198

Solution to the point-plane problem for the class of affine transformations will be found, and a fast accuracy iterative algorithm for registering 3D point clouds will be designed.

Using data mining techniques to create an automated model that makes comparisons between market demands and university curricula

pg(s) 199-202

Studying the right field has great importance in human life and perspective. Rather than affecting the greatest employer’s ability, some studies see higher education as one of the leading factors that directly affects the style of life that we do. Therefore, today’s demands have increased significantly for skilled people, and prepared in complex areas, and a consolidation between market demands and university curricula is needed. This paper examines Data mining techniques which are used in order to create an automated model which makes comparisons between market demands and university curricula. We also present how proposed model is able to give recommendations, based on the comparison between market demands and university curricula.

Analysis of data to determine customer loyalty in the educational sphere using Kohonen maps

pg(s) 203-208

This paper analyses the loyalty of consumers of the university services (i.e., university students). If students are not only interested in receiving a degree, but also proud of the university, recognizing their social responsibility for it, being ready to lead an active life within the university, then the university gets an advantage among its competitors. This study investigates the loyalty of students with regards to the USATU. The main method of investigation was a questionnaire for students. The results of the research can be used by universities when they offer their services on the market

The structure of secure system for collection, storage and processing of telemetric information on the slate of aircraft subsystems

pg(s) 209-212

The problem of aircraft subsystems state identification and data transmition to enterprise-developer is highly actual. Enterprisedeveloper can give recommendations for quick eliminate defects during aircraft operation and analyze the causes of faults. The intruder can interfere with process of collection, storage and processing of telemetric information. In the paper the structure of secure system for collection, storage and processing of telemetric information on the state of aircraft subsystems is proposed.

Web-based information system for the impact assessment of energy on the geoecology of the region

pg(s) 213-215

This article formulates and briefly discusses the formulation and proposed approaches to solving the problem of the impact of energy on the geoecology of the region. Applied semantic technologies are also presented, for example, such as ontological and cognitive. The main attention is paid to the Web-oriented information system – its structure, main components and approaches to implementation, as well as one of the most important components of the system –Contingency Management Language CML

The method of mathematical modeling of processes to identify, establish characteristics and relationships of the connections of socially significant phenomena

pg(s) 216-218

Prospects for progress in the creation of analytical systems, the purpose of which is the statistical determination of the trends in the spread of socially significant processes and related events, are critical because of the global geopolitical crisis. His imprints are imposed on almost all states, in conditions of which the significance of the influence of negative and positive social phenomena is determined by a steady increase. In this article, the method of mathematical modeling of the process of identifying, establishing characteristics and potential relationships between various processes that make up or have an effect on socially significant phenomena is delineated.

Deep learning based person biometric identification

pg(s) 219-222

The article is about the biometric person identification using Deep Learning methods. The issues related to the preprocessong of the signal, the extracting of biometric features and classification are considered. The implementation of the LSTM Deep Learning model, which is a kind of Recurrent neural network, is discussed. Factors affecting the accuracy of biometric identification are being studied

International Scientific Journals
of Scientific Technical Union of Mechanical Engineering "Industry 4.0"