|
|
|
|
|
Ting Wang, Yan Shen, Tieming Chen, Baiyang Ji, Tiantian Zhu and Mingqi Lv
The language inclusion checking of timed automata is described as the following: given two timed automata M and N, where M is a system model and N is a specification model (which represents the properties that the system needs to satisfy), check whether ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Lei Fu, Zepeng Ma, Debin Wu, Jia Liu, Fang Xu, Qi Zhong and Tiantian Zhu
Rolling bearing is a pivotal component for rotating equipment, which has high failure rates. Bearing failure can cause the equipment to lose control or even casualties, resulting in significant economic losses. This article diagnoses the bearings in vari...
ver más
|
|
|
|
|
|
|
|
|
|
|
Huiting Lu, Yan Yan, Jieyuan Zhu, Tiantian Jin, Guohua Liu, Gang Wu, Lindsay C. Stringer and Martin Dallimer
Understanding the spatiotemporal characteristics of water yield and its influencing factors is important for water resources management. In this study, we used the seasonal water yield model (SWYM) to assess the spatiotemporal water yield changes of the ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Lei Fu, Tiantian Zhu, Guobing Pan, Sihan Chen, Qi Zhong and Yanding Wei
Power quality disturbances (PQDs) have a large negative impact on electric power systems with the increasing use of sensitive electrical loads. This paper presents a novel hybrid algorithm for PQD detection and classification. The proposed method is cons...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jun Hu, Tiantian Wang, Zhen Wang, Liping Wei, Jianbo Zhu, Maosheng Zheng and Zhong Chen
A novel inhibitor based on mixed Mannich base (C15H15NO) and Na2WO4 was developed for the corrosion prevention of N80 steel in hydrochloric acid solution. Infra-red spectrum, electrochemical measurements, X-ray Photoelectron Spectroscopy, and Scanning El...
ver más
|
|
|
|
|
|