|
|
|
Divya D. Patel, Darshan J. Mehta, Hazi M. Azamathulla, Mohdzuned Mohmedraffi Shaikh, Shivendra Jha and Upaka Rathnayake
Groundwater is a natural resource used for drinking, agriculture, and industry, apart from surface water. Its quality should be assessed regularly, and the condition of water resources should be maintained accordingly. The most common analytical method f...
ver más
|
|
|
|
|
|
Vadim Kramar, Oleg Kramar, Aleksey Kabanov and Vasiliy Alchakov
The problem of self-collisions of manipulators with several links installed on a robot can arise when they work together in one zone. To prevent self-collisions, it is necessary to develop methods for their detection and their subsequent inclusion in con...
ver más
|
|
|
|
|
|
Yongjiu Zou, Jinqiu Zhang, Taili Du, Xingjia Jiang, Hao Wang, Peng Zhang, Yuewen Zhang and Peiting Sun
According to statistics, about 70% of ship fire accidents occur in the engine room, due to the complex internal structure and various combustible materials. Once a fire occurs, it is difficult to extinguish and significantly impacts the crew?s life and p...
ver más
|
|
|
|
|
|
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
|
|
|
|
|
|
Sin-Zeon Park, Seong-Hoon Jeong, Hyerin Lee and Kee-Jeung Hong
Glass-fiber-reinforced polymer (GFRP) decks have been widely used in the rehabilitation and construction of bridges as a replacement for conventional deck materials, such as steel, concrete, and wood. In this study, an analysis method for checking the lo...
ver más
|
|
|