Some notes on numerical investigation of three cavitation models through a verification and validation procedure

The present paper investigates the turbulent cavitating flow around the Clark-Y hydrofoil with special emphasis on the influence of cavitation models by verification and validation(V&V)method.RANS solver coupled with the three major cavitation models(i.e.,Zwart-Gerber-Belamri,Schnerr and Sauer and full cavitation model,which are abbreviated to ZGB model,SS model and FC model respectively)is employed in this paper.The results indicate that the three cavitation models can properly reproduce the cavitation evolutions.ZGB model and SS model give better prediction in the overall cavitation patterns.FC model exhibits an obvious under-estimation for the sheet cavity,and the predicted volume fraction is closely related to the turbulent flow.The verification and validation procedure is involved to quantitatively assess the accuracy of these three cavitation models.It is indicated that the V&V procedure is suitable for the unsteady cavitating flow.The errors estimate is robust and conservative within the cavitation region,while gets closer to zero in the no-cavitation region.In addition,ZGB model exhibits the highest overall accuracy among the three models,which further verifies its wide applicability.

A general framework for verification and validation of large eddy simulations

A general framework（methodology and procedures） for verification and validation（V＆V） of large eddy simulations in computational fluid dynamics（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 large eddy simulation（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 based on an extensive database. Identification of the error sources and magnitudes has the potential to improve existing or derive new LES 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. Extension of this framework to bubbly flow is also discussed.

URANS simulations of the tip-leakage cavitating flow with verification and validation procedures

In the present paper, the Vortex Identified Zwart-Gerber-Belamri（VIZGB） cavitation model coupled with the SST-CC turbulence model is used to investigate the unsteady tip-leakage cavitating flow induced by a NACA0009 hydrofoil. A qualitative comparison between the numerical and experimental results is made. In order to quantitatively evaluate the reliability of the numerical data, the verification and validation（V＆V） procedures are used in the present paper. Errors of numerical results are estimated with seven error estimators based on the Richardson extrapolation method. It is shown that though a strict validation cannot be achieved, a reasonable prediction of the gross characteristics of the tip-leakage cavitating flow can be obtained. Based on the numerical results, the influence of the cavitation on the tip-leakage vortex（TLV） is discussed, which indicates that the cavitation accelerates the fusion of the TLV and the tip-separation vortex（TSV）. Moreover, the trajectory of the TLV, when the cavitation occurs, is close to the side wall.

Verification and validation of URANS simulations of the turbulent cavitating flow around the hydrofoil

In this paper, we investigate the verification and validation（V＆V） procedures for the URANS simulations of the turbulent cavitating flow around a Clark-Y hydrofoil. The main focus is on the feasibility of various Richardson extrapolation-based uncertainty estimators in the cavitating flow simulation. The unsteady cavitating flow is simulated by a density corrected model（DCM） coupled with the Zwart cavitation model. The estimated uncertainty is used to evaluate the applicability of various uncertainty estimation methods for the cavitating flow simulation. It is shown that the preferred uncertainty estimators include the modified Factor of Safety（FS1）, the Factor of Safety（FS） and the Grid Convergence Index（GCI）. The distribution of the area without achieving the validation at the U v level shows a strong relationship with the cavitation. Further analysis indicates that the predicted velocity distributions, the transient cavitation patterns and the effects of the vortex stretching are highly influenced by the mesh resolution.

Architecting Fault Tolerance with Exception Handling: Verification and Validation

When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is likely the occurrence of architectural mismatches related to assumptions in their failure behaviour. These mismatches, if not prevented during system design, have to be tolerated during runtime. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems. This abstraction comprises several components and connectors that promote an existing untrusted software element into an idealised fault-tolerant architectural element. Moreover, it is considered in the context of a rigorous software development approach based on formal methods for representing the structure and behaviour of the software architecture. The proposed approach relies on a formal specification and verification for analysing exception propagation, and verifying important dependability properties, such as deadlock freedom, and scenarios of architectural reconfiguration. The formal models are automatically generated using model transformation from UML diagrams： component diagram representing the system structure, and sequence diagrams representing the system behaviour. Finally, the formal models are also used for generating unit and integration test cases that are used for assessing the correctness of the source code. The feasibility of the proposed architectural approach was evaluated on an embedded critical case study.

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

Modeling and simulation(M&S)play a critical role in both engineering and basic research processes.Computer-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 today.As 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 simulations.This 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.Simulation 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 presented.This 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 tools.In 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.

A new method of LES verification and validation for attached turbulent cavitating flow

The large eddy simulation(LES)is used to resolve the flow structure in the cavitating turbulent flow around the Clark-Y hydrofoil coupled with a homogeneous cavitation model.A new method is proposed in this paper to calculate the LES error of the time-averaged streamwise velocity for the LES verification and validation(V&V).From the instantaneous cavity patterns,it is demonstrated that the predicted results agree fairly well with the experimental data.With this new proposed method,the LES errors can be easily and effectively calculated with a limited mesh number,and the method might be used in the other applications of the LES V&V.Results of the LES errors obtained by the new method show that the relatively steady flow can be simulated with small errors,while the complex flow structures at the cavity shedding region might lead to an increase of errors in the LES modeling.In addition,the distributions of the resolved Reynolds stresses are used to estimate the influences of the cavitation on the turbulent fluctuations.Results indicate that the turbulent fluctuations for the cavitating flow are much larger in magnitude as compared to the cases without cavitation.

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

In this paper,we propose an approach to formally verify and rigorously validate a simulation system against the specification of the real system.We 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 outputs.We provide a use case to show how subject matter experts can apply the tool.

Design and Verification of FPGA-Based Applications in Nuclear Power Plants

Nuclear industries have faced the unfavorable circumstance such as components obsolescence and aging of instrumentation and control system, therefore, nuclear society is striving to resolve this issue fundamentally. Various studies have been conducted to address components obsolescence of instrumentation and control system. Intuitively FPGA （field programmable gate arrays） technology is replacing the high level of micro-processor type equipped with various software and hardware which causes acceleration of the aging and obsolescence in I ＆ C （instrumentation and control） system in nuclear power plants. FPGAs are highlighted as an alternative means for obsolete control systems. When engineers design the control system of NPPs （nuclear power plants） with FPGAs, it is important to meet the system development life cycles and conduct the verification and validation activities regarding to FPGA-based applications for use in NPPs. Because the verification and validation process is more important than the design process, engineer should consider the characteristics of FPGA, HDL （hardware description language） programming, faults mode, and optimization technique. And also these characteristics should be reflected in verification and validation activities. As a minimum requirement, system designers require that HDL-programmed applications should be developed in accordance with system development life cycle and HPD design process. In the verification and validation processes, a review, test, and analysis activities should be properly conducted.

ProTSA: A Testing Process for Automotive Software Domain

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. .

Digital Instrumentation and Control System for Unit 5 ＆ 6 of YangJiang NPP

The article describes the digital instrumentation and control system for unit 5 ＆ 6 of YangJiang NPP, involving the overall I ＆ C （instrumentation and control） structure, the basic requirements and independent verification and validation. Advanced I ＆ C systems for YangJiang NPPs have to meet increasing demands for safety and availability. Additionally, the specific requirements coming from the nuclear qualification have to be fulfilled.

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

Scientific computing libraries,whether in-house or open-source,have witnessed enormous progress in both engineering and scientific research.Therefore,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 verified.This paper introduces a method for establishing and implementing an automatic regression test environment,using the open-source multi-physics library SPHinXsys as an illustrative example.Initially,a reference database for each benchmark test is generated from observed data across multiple executions.This comprehensive database encapsulates the maximum variation range of metrics for different strategies,including the time-averaged,ensemble-averaged,and dynamic time warping methods.It accounts for uncertainties arising from parallel computing,particle relaxation,physical instabilities,and more.Subsequently,new results obtained after source code modifications undergo testing based on a curve-similarity comparison against the reference database.Whenever 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 results.This 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 problems.It 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.

Some notes on numerical simulation and error analyses of the attached turbulent cavitating flow by LES

In this letter, the attached turbulent cavitating flow around the Clark-Y hydrofoil is investigated by the numerical simulation with special emphasis on error analysis of large eddy simulation（LES） for the unsteady cavitation simulation. The numerical results indicate that the present simulation can capture the periodic cavity shedding behavior and show a fairly good agreement with the available experimental data. Further analysis demonstrates that the cavitation has a great influence on LES numerical error and modeling error. The modeling error and numerical error are almost on the same order of magnitude, while the modeling error often shows a little bit larger magnitude than numerical error. The numerical error and modeling error sometimes can partially offset each other if they have the opposite sign. Besides, our results show that cavitation can extend the magnitudes and oscillation levels of numerical error and modeling error.