„model verification“

Suchergebnisse

1.000+ Treffer

• A fracture damage constitutive model for fissured rock mass and its experimental verification
  Xu, Peng ; Yang, Sheng-Qi
• Numerical modelling and experimental verification of thermal characteristics and their correlations with mechanical properties of double-sided laser welded T-joint
  Yang, Zhibin ; Tao, Wang ; Zhao, Xin ; Chen, Yanbin ; Shi, Chunyuan
• Adsorption and biodegradation of 2-chlorophenol by mixed culture using activated carbon as a supporting medium-reactor performance and model verification
  Lin, Yen-Hui
• Experimental verification for a probabilistic model of fibers distribution along a reinforced concrete bar
  Karinsrki, Yuri S. ; Dancygier, Avraham N. ; Navon, Zeev
• Determination of packing profiles for the verification of the compressible packing model in case of UHPC pastes
  Putten, J. Van Der ; Dils, J. ; Minne, P. ; Boel, V. ; Schutter, G. ˜deœ
• Multi-level nonlinear modeling verification scheme of RC high-rise wall buildings
  Alwaeli, Wael ; Mwafy, Aman ; Pilakoutas, Kypros ; Guadagnini, Maurizio
• LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)
  Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira
• Establishment and verification of a dynamic cutting force model for metal bandsawing
  Ni, Jing ; Li, Lu ; Al-Furjan, M. S. H. ; Xu, Jing ; Yang, Xiao
• Square-form structure failure model of mining-affected hard rock strata: theoretical derivation, application and verification
  Xu, Chao ; Yuan, Liang ; Cheng, Yuanping ; Wang, Kai ; Zhou, Aitao ; Shu, Longyong
• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Dynamic modeling and experimental verification for the feeding system of a gantry machine tool based on thermal-mechanical coupling
  Guo, Zhizhong ; Liu, Shihao ; Wang, Hongrui
• The use of a numerical model to simulate the cavo-pulmonary assistance in Fontan circulation: a preliminary verification
  Molfetta, Arianna Di ; Amodeo, Antonio ; Fresiello, Libera ; Filippelli, Sergio ; Pilati, Mara ; Iacobelli, Roberta ; Adorisio, Rachele ; Colella, Dionisio ; Ferrari, Gianfranco
• Streamflow prediction uncertainty analysis and verification of SWAT model in a tropical watershed
  Yesuf, Hassen M. ; Melesse, Assefa M. ; Zeleke, Gete ; Alamirew, Tena
• A coupled model for liquid water, water vapor and heat transport of saturated–unsaturated soil in cold regions: model formulation and verification
  Zhang, Mingli ; Wen, Zhi ; Xue, Ke ; Chen, Liangzhi ; Li, Desheng
• Verification of beam models for ionic polymer-metal composite actuator
  Ji, Ai-hong ; Park, Hoon Cheol ; Nguyen, Quoc Viet ; Lee, Jang Woo ; Yoo, Young Tai
• Verification of a capillary model for the electroosmotic transport of a free solvent in ion-exchange membranes of different natures
  Falina, I. V. ; Demina, O. A. ; Zabolotskii, V. I.
• A formal verification technique for behavioural model-to-model transformations
  Putter, Sander de ; Wijs, Anton
• Enterprise and Organizational Modeling and Simulation – 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
  Pergl, Robert ; Lock, Russell ; Babkin, Eduard ; Molhanec, Martin 2017 Springer Berlin Heidelberg
• Verification of Decision-Analytic Models for Health Economic Evaluations: An Overview
  Dasbach, Erik J. ; Elbasha, Elamin H.
• Modeling of very high frequency large-electrode capacitively coupled plasmas with a fully electromagnetic particle-in-cell code
  Eremin, Denis ; Kemaneci, Efe ; Matsukuma, Masaaki ; Mussenbrock, Thomas ; Brinkmann, Ralf Peter 2023 Ruhr-Universität Bochum