|
|
|
|
|
Yati Phyo, Moe Nandi Aung, Canh Minh Do and Kazuhiro Ogata
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce the st...
ver más
|
|
|
|
|
|
|
|
|
Jeremy Feinstein, Quentin Ploussard, Thomas Veselka and Eugene Yan
Methods for downstream river flow prediction can be categorized into physics-based and empirical approaches. Although based on well-studied physical relationships, physics-based models rely on numerous hydrologic variables characteristic of the specific ...
ver más
|
|
|
|
|
|
|
|
|
Cecilia Ionela Taban, Ana Maria Benedek, Mihaela Stoia, Maria Denisa Cocîrlea and Simona Oancea
From a public health perspective, the monitoring of water quality intended for human consumption belongs to the operational and audit management of the supply zones. Our study explores the spatial and temporal patterns of the parameters of drinking water...
ver más
|
|
|
|
|
|
|
|
|
Guoyan Xu, Yuwei Lu, Zixu Jing, Chunyan Wu and Qirui Zhang
The accuracy of dam deformation prediction is a key issue that needs to be addressed due to the many factors that influence dam deformation. In this paper, a dam deformation prediction model based on IEALL (IGWO-EEMD-ARIMA-LSTM-LSTM) is proposed for a si...
ver más
|
|
|
|
|
|
|
|
|
Zhao Wang, Ningjia Qiu, Peng Wang and Meng Li
In the prediction and modeling analysis of wear degree in the field of industrial parts processing, there are problems such as poor prediction ability for long sequence data and low sensitivity of output feedback to changes in input signals. In this pape...
ver más
|
|
|
|