Chinese enterprises are facing the opportunity of digital transformation, and all advancing in exploration. This paper introduces trend challenge transformation enterprises. expounds strategy as center. discusses four development processes enterprise including empowerment, process optimization, reengineering. puts forward methods that should adopt transformation. First all, be scientifically pl...

Based on the results of Highwall Miner diagnostic testing, reference spectral masks for every component and assembly were built. They standardize vibration intensity level in different frequency domains spectra previously used estimating their technical conditions. Two-year period monitoring proved effectiveness approach shifting to system preventative maintenance.

In this paper, we present a case study in modelling a resilient control system in Event-B. We demonstrate how to formally define the basic safety properties and fault tolerance mechanisms, as well as the system modes describing the system behaviour under different execution and fault conditions. Our formal development helps us to identify the diagnosability conditions for resilience, i.e., iden...

This paper discusses a formal, mathematically-based, approach to the analysis of operator interaction with machines, in general, and with complex and automated control systems, in particular. It addresses the problem of correctness of displays by asking whether the display provides the necessary information about the machine to enable the operator to perform a specified task successfully and un...

The engineering processes for safety-critical systems, for instance in the health care or transportation domains, are regulated by law. For software in the railroad industry in Europe the certification procedures have to obey the norm EN50128. This paper presents the method that was introduced and employed for the development and the successful certification of the software for the vehicle cont...

In recent decades, economic development and population growth in the world has led to the expansion of road networks. Therefore the use of optimum methods for repairing and maintenance of these roads is considered as an important value. Today one of the options in this regard, is the use of asphalt recycling technology. The present study which took place in the summer of 2015 in Iran, Lorestan ...