中文
相关论文

相关论文: Use of BESTEST procedure to improve a building the…

200 篇论文

Verification is a critical process in the development of engineered systems. Through verification, engineers gain confidence in the correct functionality of the system before it is deployed into operation. Traditionally, verification…

软件工程 · 计算机科学 2021-09-27 Peng Xu , Alejandro Salado , Xinwei Deng

Testing is a significant aspect of software development. As systems become complex and their use becomes critical to the security and the function of society, the need for testing methodologies that ensure reliability and detect faults as…

软件工程 · 计算机科学 2021-12-09 Yeshayahu Weiss

The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. We propose a new method for proving correctness of parallel…

编程语言 · 计算机科学 2023-02-10 Frank S. de Boer , Einar Broch Johnsen , Violet Ka I Pun , Silvia Lizeth Tapia Tarifa

Excellent computer simulations are done for a purpose. The most valid purposes are to explore uncharted territory, to resolve a well-posed scientific or technical question, or to make a design choice. Stand-alone modeling can serve the…

数值分析 · 数学 2025-10-20 Leo P. Kadanoff

A key question in evaluation of computer models is Does the computer model adequately represent reality? A six-step process for computer model validation is set out in Bayarri et al. [Technometrics 49 (2007) 138--154] (and briefly…

Quantitatively evaluating and comparing the performance of robotic solutions that are designed to work under a variety of conditions is inherently challenging because they need to be evaluated under numerous precisely repeatable conditions…

机器人学 · 计算机科学 2019-03-26 Achim Gerstenberg , Martin Steinert

In order to understand the physics phenomea on the fundamental aspects, the software simulations are a good exercise to succed in this way. Some work of heat transport and molecular physics laboratory are studied in a comparative mode…

物理教育 · 物理学 2007-05-23 Gabriel Murariu , Dorina Toma

Complex computer codes, for instance simulating physical phenomena, are often too time expensive to be directly used to perform uncertainty, sensitivity, optimization and robustness analyses. A widely accepted method to circumvent this…

数值分析 · 数学 2011-04-22 Bertrand Iooss , Loïc Boussouf , Vincent Feuillard , Amandine Marrel

For the design and implementation of engineering systems, performing model-based analysis can disclose potential safety issues at an early stage. The analysis of hybrid system models is in general difficult due to the intrinsic complexity…

系统与控制 · 计算机科学 2015-01-26 Yi Deng , Agung Julius

As the computer vision matures into a systems science and engineering discipline, there is a trend in leveraging latest advances in computer graphics simulations for performance evaluation, learning, and inference. However, there is an open…

计算机视觉与模式识别 · 计算机科学 2015-12-04 V S R Veeravasarapu , Rudra Narayan Hota , Constantin Rothkopf , Ramesh Visvanathan

Building energy modeling is a key tool for optimizing the performance of building energy systems. Historically, a wide spectrum of methods has been explored -- ranging from conventional physics-based models to purely data-driven techniques.…

系统与控制 · 电气工程与系统科学 2025-07-24 Leandro Von Krannichfeldt , Kristina Orehounig , Olga Fink

Business Process Simulation (BPS) is an approach to analyze the performance of business processes under different scenarios. For example, BPS allows us to estimate what would be the cycle time of a process if one or more resources became…

软件工程 · 计算机科学 2023-03-31 David Chapela-Campa , Ismail Benchekroun , Opher Baron , Marlon Dumas , Dmitry Krass , Arik Senderovich

We report a model-based method for quantifying heat flow and storage in thermal systems using data from multiple thermal sensors. This approach avoids stringent requirements on the system geometry and sensor positions and enables…

仪器与探测器 · 物理学 2019-05-24 B. P. MacLeod , D. K. Fork , B. Lam , C. P. Berlinguette

The design of heat exchanger fields is a key phase to ensure the long-term sustainability of such renewable energy systems. This task has to be accomplished by modelling the relevant processes in the complex system made up of different…

数值分析 · 数学 2021-11-17 Nadaniela Egidi , Josephin Giacomini , Pierluigi Maponi

Systems design processes are increasingly reliant on simulation models to inform design decisions. A pervasive issue within the systems engineering community is trusting in the models used to make decisions about complex systems. This work…

计算工程、金融与科学 · 计算机科学 2025-08-05 Edward Louis , Gregory Mocko , Evan Taylor

Pre-validation is a way to build prediction model with two datasets of significantly different feature dimensions. Previous work showed that the asymptotic distribution of the resulting test statistic for the pre-validated predictor…

统计方法学 · 统计学 2025-05-23 Jing Shang , Sourav Chatterjee , Trevor Hastie , Robert Tibshirani

During the earliest phase of architectural design process, practitioners after analyzing the client's design program, legal requirements, topographic constraints, and preferences synthesize these requirements into architectural floor plan…

神经与进化计算 · 计算机科学 2014-10-06 Eugénio Rodrigues , Adélio R. Gaspar , Álvaro Gomes , Manuel Gameiro da Silva

In software development process we come across various modules. Which raise the idea of priority of the different modules of a software so that important modules are tested on preference. This approach is desirable because it is not…

软件工程 · 计算机科学 2009-05-10 Amit K Awasthi , Sanjay Chaudhary

The estimation of wall thermal properties by \emph{in situ} measurement enables to increase the reliability of the model predictions for building energy efficiency. Nevertheless, retrieving the unknown parameters has an important…

计算工程、金融与科学 · 计算机科学 2021-11-18 Julien Berger , Benjamin Kadoch

The complexity and cost of building and running high-power electrical systems make the use of simulations unavoidable. The simulations available today provide great understanding about how systems really operate. This paper helps the reader…

加速器物理 · 物理学 2016-07-06 Narcisse Ngada