BME MDA - a Műegyetem Digitális Archivuma
Not a member yet
47877 research outputs found
Sort by
Application of DNM And Hec-Ras Model For Pollutant Dispersion Patterns in Rivers
No full textIn recent years, rapid urbanization has significantly impacted water quality in urban areas. Accurate prediction models for pollutant dispersion play a pivotal role in enhancing our ability to respond effectively to pollution incidents and promote sustainable urban development. However, the computational cost brought by traditional simulation models is relatively high and time-consuming. To address this problem, surrogate models are employed to enable efficient and rapid evaluations. This paper proposes a simulation-based prediction method for river water quality. First, a one-dimensional hydrodynamic water quality model is established by HEC-RAS. The riverbed data is derived through cubic spline difference, facilitating the simulation of the water pollutant transport process. Secondly, the hydraulic and water quality simulation results are obtained from the model constructed above. Subsequently, the simulation results are used as input to a deep neural network for further training and learning processes. By evaluating the applicability of deep learning models in predicting water pollution, this method can provide a valuable reference for urban water governance
Collective graveyard memorials: presenting the methodology of an architectural study through three examples from Budapest
No full text
Modeling of Time-Dependent Behavior in Fault-Tolerant Systems
No full textEnsuring the correct operation of safety-critical systems often relies on model-driven engineering at design time and fault-tolerant solutions at operation time. Modeling and analyzing fault-tolerant systems is a challenging task: designing the complex control is tedious and we also need special modeling constructs to be able to represent the many aspects of operation. On the other hand, we need efficient algorithms to be able to verify the desired functionalities. In this paper, we extend our former work and develop time-dependent extensions to the modeling approach used in an automotive case study. Based on our case study, we evaluate the applicability of various model checking algorithms for the verification of systems with timedependent behavior
