|
|
|
|
|
Ekaterina Stroeva,Aleksey Tonkikh
Pág. 21 - 29
Among recent publications containing an overview and systematization of algorithms for formal verification of neural networks, a classification of algorithms is proposed which is based on three following properties: reachability, optimization...
ver más
|
|
|
|
|
|
|
|
|
Florin Popescu, Razvan Mahu, Eugen Rusu and Ion V. Ion
In spite of the tremendous advances in computing power and continuous improvements in simulation software made in recent decades, the accurate estimation of wind turbine performance using numerical methods remains challenging. Wind turbine aerodynamics, ...
ver más
|
|
|
|
|
|
|
|
|
Song Wu, Hanbing Sun and Xinyu Li
For 5 MW floating wind turbines, the load response is significantly affected by wind and rain conditions. In order to reveal the relevant regularity of windblown rain and analyze the load response after being affected by the wind and rain, the rain phase...
ver más
|
|
|
|
|
|
|
|
|
Gregor Skok
Precipitation is an essential meteorological variable affecting the biosphere and human societies. At the same time, precipitation is notoriously difficult to predict and verify. A new spatial distance metric for verification of precipitation is presente...
ver más
|
|
|
|
|
|
|
|
|
Hairong Gao, Rui Guo, Kaili Shi, Huanfang Yue, Shaoying Zu, Zhiwei Li and Xin Zhang
In order to meet the needs of dynamic continuous monitoring of soil-plant-atmosphere continuum (SPAC), a new soil, plant, atmosphere analysis system has been established based on an intelligent weighing system (IWS). Four types of irrigation treatments (...
ver más
|
|
|
|