Inicio  /  Algorithms  /  Vol: 11 Par: 9 (2018)  /  Artículo
ARTÍCULO
TITULO

An Efficient Algorithm to Determine Probabilistic Bisimulation

Jan Friso Groote    
Jao Rivera Verduzco and Erik P. De Vink    

Resumen

No disponible

 Artículos similares

       
 
Wenxiao Cao, Guoming Li, Hongfei Song, Boyu Quan and Zilu Liu    
Water control of grain has always been a crucial link in storage and transportation. The resistance method is considered an effective technique for quickly detecting moisture in grains, making it particularly valuable in practical applications at drying ... ver más
Revista: Applied Sciences

 
Rui Zhou and Xianghong Xu    
The significant increase in the speed of high-speed trains has made the optimization of pantograph?catenary parameters aimed at improving current collection quality become one of the key issues that urgently need to be addressed. In this paper, a method ... ver más
Revista: Applied Sciences

 
Yi?an Wang, Zhe Wu and Dong Ni    
Optimizing the heliostat field aiming strategy is crucial for maximizing thermal power production in solar power tower (SPT) plants while adhering to operational constraints. Although existing approaches can yield highly optimal solutions, their consider... ver más
Revista: Applied Sciences

 
Qingyong Zhang, Changhuan Song and Yiqing Yuan    
Vehicle gearboxes are subject to strong noise interference during operation, and the noise in the signal affects the accuracy of fault identification. Signal denoising and fault diagnosis processes are often conducted independently, overlooking their syn... ver más
Revista: Applied Sciences

 
Eunkyu Lee, Junaid Khan, Umar Zaman, Jaebin Ku, Sanha Kim and Kyungsup Kim    
With the global advancement of maritime autonomous surface ships (MASS), the critical task of verifying their key technologies, particularly in challenging conditions, becomes paramount. This study introduces a synthetic maritime traffic generation syste... ver más
Revista: Applied Sciences