|
|
|
|
|
Zhe Zheng, Yuan Tian, Zhebiao Yang and Xinzheng Lu
Reliable and high-fidelity virtual ruin scenarios for collapsed buildings are essential for post-earthquake emergency search and rescue training. However, the existing research on the distribution of ruins caused by building collapse is insufficient for ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xingxing Shang, Xiaohui Jiang, Ruining Jia and Chen Wei
The runoff in the upper reaches of the Heihe River has been continuously abundant for more than a decade, and this has not happened previously in history. Quantitative analysis of runoff variation and its influencing factors are of great significance for...
ver más
|
|
|
|
|
|
|
|
|
|
|
Guo Li, Huadong Zhao, Chengshuai Liu, Jinfeng Wang and Fan Yang
In order to realize the reproduction and simulation of urban rainstorm and waterlogging scenarios with complex underlying surfaces, based on the 1D?2D coupled models, we constructed an urban storm?flood coupling model considering one-dimensional river ch...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xingping Yang, Xiaoai Dai, Wenyu Li, Heng Lu, Chao Liu, Naiwen Li, Zhengli Yang, Yuxin He, Weile Li, Xiao Fu, Lei Ma, Yunfeng Shan and Youlin Wang
With the social and economic development in recent years, human activities have been more extensive and intensified. As a result, ecosystems are damaged to varying degrees, and regional ecological environments tend to be weaker. The socio-ecological syst...
ver más
|
|
|
|
|
|
|
|
|
|
|
Sheng-Long Kao, Wu-Hsun Chung and Chao-Wei Chen
Maritime transport is a major mode of transportation. Over 80% of international freight is carried by this mode. A port is a hub of ships and freight in maritime transport. Because of growing environmental concerns, how to effectively monitor, control, a...
ver más
|
|
|
|
|
|
|
|
|
|
|
Joerg Schweizer, Cristian Poliziani, Federico Rupi, Davide Morgano and Mattia Magi
A large-scale agent-based microsimulation scenario including the transport modes car, bus, bicycle, scooter, and pedestrian, is built and validated for the city of Bologna (Italy) during the morning peak hour. Large-scale microsimulations enable the eval...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bharvi Chhaya, Shafagh Jafer and Umut Durak
Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states. The Aviation Sce...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bharvi Chhaya, Shafagh Jafer and Umut Durak
Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states. The Aviation Sce...
ver más
|
|
|
|
|
|
|
|
|
|
|
Robert O. Ojwang, Jörg Dietrich, Prajna Kasargodu Anebagilu, Matthias Beyer and Franz Rottensteiner
Mombasa faces severe water scarcity problems. The existing supply is unable to satisfy the demand. This article demonstrates the combination of satellite image analysis and modelling as tools for the development of an urban rainwater harvesting policy. F...
ver más
|
|
|
|
|
|
|
|
|
|
|
Robert O. Ojwang, Jörg Dietrich, Prajna Kasargodu Anebagilu, Matthias Beyer, Franz Rottensteiner
Pág. 1 - 19
Mombasa faces severe water scarcity problems. The existing supply is unable to satisfy the demand. This article demonstrates the combination of satellite image analysis and modelling as tools for the development of an urban rainwater harvesting policy. F...
ver más
|
|
|
|
|
|
|
|
|
|
|
Qiang Yang, Xiaojie Yan, Wenkai Chen and Juncheng Fan
With the rapid development of the construction industry, there have been an uncountable number of damages caused by safety accidents at construction sites. Traditional safety management methods are no longer able to meet the needs of production. This pap...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yanfeng Li, Hsin Guan, Xin Jia and Chunguang Duan
A scenario vehicle in autonomous driving simulations is a dynamic entity that is expected to perform trustworthy bidirectional interaction tasks with the autonomous vehicle under test. Modeling interactive behavior can not only facilitate better predicti...
ver más
|
|
|
|
|
|
|
|
|
|
|
Kunkun Fan, Daichao Li, Cong Li, Xinlei Jin, Fei Ding and Zhan Zeng
Analyzing the influencing factors of PM2.5 concentration, scenario simulations, and countermeasure research to address the problem of PM2.5 pollution in Guangdong Province is of great significance for governments at all levels for formulating relevant po...
ver más
|
|
|
|
|
|
|
|
|
|
|
Qiang Yang, Xu Zhang, Zhongren Zhang, Longjiang He, Xiaojie Yan and Jiaming Na
The spatial?temporal simulation of fire disasters and evacuation route planning are important research fields for urban emergency responses and are primary tasks that answer complex questions after fires break out. The increasing demand for refined build...
ver más
|
|
|
|
|
|
|
|
|
|
|
Taemin Hwang and Ik-Hyun Youn
The development of autonomous ships has begun. Artificial intelligence (AI) is expected to be partially responsible for navigation; nevertheless, the importance of human intervention is higher than ever. Human intervention in the control of an autonomous...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yuping Bai, Zhe Zhao, Chuyao Weng, Wenxuan Wang and Yecui Hu
Rapid economic growth has a significant impact on land use change, which would threaten the natural ecology. Zhangye city of the Heihe River Basin, China is an ecologically vulnerable region where land use changes significantly due to socioeconomic devel...
ver más
|
|
|
|
|
|
|
|
|
|
|
David Reiher and Axel Hahn
Highly automated vehicles are increasingly gaining the public?s attention. To achieve broad acceptance for the deployment of such vehicles, it is necessary to ensure their functionality and safety. One approach that has become popular in research is the ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Augusto Y. Horita, Denis S. Loubach and Ricardo Bonna
Sophisticated and high performance embedded systems are present in an increasing number of application domains. In this context, formal-based design methods have been studied to make the development process robust and scalable. Models of computation (MoC...
ver más
|
|
|
|
|
|
|
|
|
|
|
Qiang Fu, Linqi Li, Mo Li, Tianxiao Li, Dong Liu and Song Cui
The potential influence of natural variations in a climate system on global warming can change the hydrological cycle and threaten current strategies of water management. A simulation-based linear fractional programming (SLFP) model, which integrates a r...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jonatan Zischg, Michael Mair, Wolfgang Rauch, Robert Sitzenfrei
Pág. 1 - 15
This paper focuses on the performance of water distribution systems (WDSs) during long-term city transitions. A transition describes the pathway from an initial to a final planning stage including the structural and functional changes on the infrastructu...
ver más
|
|
|
|
|
|