检索结果-南通市图书馆

A historical review of the development of verification and validation theories for simulation models

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

International Journal of Modeling, Simulation, and Scientific Computing 2017年第2期8卷 1-24页

作者： Phillip J.Durst Derek T.Anderson Cindy L.Bethel U.S.Army Engineer Research and Development Center 3909 Halls Ferry Road Vicksburg MS 39180USA Mississippi State University Department of Electrical and Computer Engineering Mississippi StateMS 39759USA Mississippi State University Department of Computer Science and Engineering Mississippi StateMS 39759USA

Modeling and simulation(M&S)play a critical role in both engineering and basic research ***-based models have existed since the 1950s,and those early models have given way to the more complex computational and physics-based simula-tions used *** such,a great deal of research has been done to establish what level of trust should be given to simulation outputs and how to verify and validate the mod-els used in these *** paper presents an overview of the theoretical work done to date defining formal definitions for,and methods of,verification and validation(V&V)of computer *** models are broken down into three broad cate-gories:analytical and simulation models,computational and physics-based models,and simulations of autonomous systems,and the unique theories and methods developed to address V&V of these models are *** paper also presents the current prob-lems in the theoretical field of V&V for models as simulations move from single system models and simulations to more complex simulation *** particular,this paper high-lights the lack of agreed-upon methods for V&V of simulations of autonomous systems,such as an autonomous unmanned vehicles,and proposes some next steps needed to address this problem.

关键词： verification and validation simulation models computational models physics-based simulations autonomous systems.

Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Modeling, Simulation, and Scientific Computing 2016年第1期7卷 120-141页

作者： Saikou Y.Diallo Ross Gore Christopher J.Lynch Jose J.Padilla Virginia Modeling Analysis and Simulation Center Old Dominion University 1030 University Blvd.SuffolkVA 23435USA

In this paper,we propose an approach to formally verify and rigorously validate a simulation system against the specification of the real *** implement the approach in a verification and validation calculator tool that takes as input a set of statements that capture the requirements,internal conditions of the system and expected outputs of the real system and produces as output whether the simulation satisfies the requirements,faithfully represents the internal conditions of the system and produces the expected *** provide a use case to show how subject matter experts can apply the tool.

关键词： verification and validation formal methods modeling and simulation

A general framework for verification and validation of large eddy simulations

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A general framework for verification and validation of large...

Automated regression test method for scientific computing libraries:Illustration with SPHinXsys

第十三届全国水动力学学术会议暨第二十六届全国水动力学研讨会

作者： XING Tao University of Idaho Moscow

A general framework(methodology and procedures) for verification and validation(V&V) of large eddy simulations in CFD is derived based on two hypotheses. The framework allows for quantitative estimations of numerical error, modeling error, their coupling, and the associated uncertainties. To meet different needs of users based on their affordable computational cost, various LES V&V methods are proposed. These methods range from the most sophisticated seven equation estimator to the simplest one-grid estimator, which will be calibrated using factors of safety to achieve the objective reliability and confidence level. Evaluation, calibration and validation of various LES V&V methods in this study will be performed using rigorous statistical analysis using an extensive database. Identification of the error sources and magnitudes has the potential to improve existing or derive new large eddy simulation models. Based on extensive parametric studies in the database, it is expected that guidelines for performing large eddy simulations that meet pre-specified quality and credibility criteria can be obtained.

关键词： framework verification and validation large eddy simulation

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Journal of Hydrodynamics 2024年第3期36卷 466-478页

作者： Bo Zhang Chi Zhang Xiangyu Hu TUM School of Engineering and Design Technical University of MunichMunichGermany

Scientific computing libraries,whether in-house or open-source,have witnessed enormous progress in both engineering and scientific ***,it is important to ensure that modifications to the source code,prompted by bug fixing or new feature development,do not compromise the accuracy and functionality that have been already validated and *** paper introduces a method for establishing and implementing an automatic regression test environment,using the open-source multi-physics library SPHinXsys as an illustrative ***,a reference database for each benchmark test is generated from observed data across multiple *** comprehensive database encapsulates the maximum variation range of metrics for different strategies,including the time-averaged,ensemble-averaged,and dynamic time warping *** accounts for uncertainties arising from parallel computing,particle relaxation,physical instabilities,and ***,new results obtained after source code modifications undergo testing based on a curve-similarity comparison against the reference *** the source code is updated,the regression test is automatically executed for all test cases,providing a comprehensive assessment of the validity of the current *** regression test environment has been successfully implemented in all dynamic test cases within SPHinXsys,including fluid dynamics,solid mechanics,fluid-structure interaction,thermal and mass diffusion,reaction-diffusion,and their multi-physics couplings,and demonstrates robust capabilities in testing different *** is noted that while the current test environment is built and implemented for a particular scientific computing library,its underlying principles are generic and can be easily adapted for use with other libraries,achieving equal effectiveness.

关键词： Scientific computing open-source library verification and validation regression test automatic test environment curve similarity comparison smoothed particle hydrodynamics

ProTSA: A Testing Process for Automotive Software Domain

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2024年第7期17卷 571-615页

作者： Renato Rafael Arcanjo Luiz Eduardo Galvão Martins Dirceu Lavoiser Fernandes Graci Department of Inovation and Science Federal University of Sao Paulo (UNIFESP) Sao Jose dos Campos Brazil Department of Automotive Electronics Faculty of Technology of Sao Paulo (Fatec) Santo Andre Brazil

This study evaluates the development of a testing process for the automotive software domain, highlighting challenges stemming from the absence of adequate processes. The research demonstrates the application of Design Science Research methodology in developing, an automotive software testing process—ProTSA, using six functional testing modules. Additionally, the study evaluates the benefits of implementing ProTSA in a specific Original Equipment Manufacturer (OEM) using an experimental single-case approach with industry professionals’ participation through a survey. The study concludes that combining testing techniques with effective communication and alignment is crucial for enhancing software quality. Furthermore, survey data indicates that implementing ProTSA leads to productivity gains by initiating tests early, resulting in time savings in the testing program and increased productivity for the testing team. Future work will explore implementing ProTSA in cybersecurity, over-the-air software updates, and autonomous vehicle testing processes. .

关键词： verification and validation Automotive Software Automotive Systems

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

国外高速流动数值模拟软件系统概述

国外高速流动数值模拟软件系统概述