|
|
|
|
|
A.A. Vagulina,V.A. Vazhinsky,A.S. Korolev
Pág. 121 - 128
The object of research is the process of implementing a pipeline of investment and construction projects. The subject of the research are decision-making models and algorithms for managing a pipeline of capital construction projects. The purpose of the s...
ver más
|
|
|
|
|
|
|
|
|
Simone D?Alessandro, Marco Pizzarelli and Francesco Nasuti
The present work focuses on the development of new mathematical and numerical tools to deal with wave propagation problems in a realistic liquid rocket chamber environment. A simplified real fluid equation of state is here derived, starting from the lite...
ver más
|
|
|
|
|
|
|
|
|
Zheng Wei and Yusheng Jiang
Surface surcharge changes the existing equilibrium stress field of the stratum and adversely affects the existing tunnel. This paper presents a simplified analytical solution for calculating the longitudinal displacement of existing tunnels that are subj...
ver más
|
|
|
|
|
|
|
|
|
Jiulei Jiang, Panqing Zhang and Zhanyou Ma
Model checking is a formal automatic verification technology for complex concurrent systems. It is used widely in the verification and analysis of computer software and hardware systems, communication protocols, security protocols, etc. The generalized p...
ver más
|
|
|
|
|
|
|
|
|
Sayed Masihullah Ahmadi, Yoshimichi Yamamoto and Vu Thanh Ca
In the case of huge tsunamis, such as the 2004 Great Indian Ocean Tsunami and 2011 Great East Japan Tsunami, the damage caused by ground scour is serious. Therefore, it is important to improve prediction models for the topographical change of huge tsunam...
ver más
|
|
|
|