Verification and validation of detonation modeling

The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE) technique has become the third pillar of detonation research, along with theory and experiment, due to the detonation phenomenon is difficult to explain by the theoretical analysis, and the cost required to accredit the reliability of detonation products is very high, even some physical experiments of detonation are impossible. The numerical simulation technique can solve these complex problems in the real situation repeatedly and reduce the design cost and time stunningly. But the reliability of numerical simulation software and the serviceability of the computational result seriously hinders the extension, application and the self-restoration of the simulation software, restricts its independently innovational ability. This article deals with the physical modeling, numerical simulation, and software development of detonation in a unified way. Verification and validation and uncertainty quantification (V&V&UQ) is an important approach in ensuring the credibility of the modeling and simulation of detonation. V&V of detonation is based on our independently developed detonation multiphysics software-LAD2D. We propose the verification method based on mathematical theory and program function as well as availability of its program execution. Validation is executed by comparing with the experiment data. At last, we propose the future prospect of numerical simulation software and the CAE technique, and we also pay attention to the research direction of V&V&UQ.

Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification

This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.

Lessons Learned from Practical Independent Verification and Validation Based on IEEE 1012

IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation for practical IV & V. It contains crucial and encompassing check points and guidelines to analyze the design integrity, without addressing the formalized and the specific criteria for IV & V activities confirming the technical integrity. It is necessary to list up the inspection viewpoint via interpretation of the standard that is practical review points checking design consistency. For fruitful IV & V of Control Element Driving Mechanism Control System (CEDMCS) software for Yonggwang Nuclear Power Plant unit 3 & 4, the specific viewpoints and approach are necessary based on the guidelines of IEEE 1012 to enhance the system quality by considering the level of implementation of the theoretical and the practical IV & V. Additionally IV & V guideline of IEEE 1012 does not specifically provide the concrete measure considering the system characteristics of CEDMCS. This paper provides the seven (7) characteristic criteria for CEDMCS IV & V, and by applying these viewpoints, the design analysis such as function, performance, interface and exception, backward and forward requirement traceability analysis has been conducted. The requirement, design, implementation, and test phase were only considered for IV & V in this project. This article also provides the translation of code to map theoretical verification and validation into practical verification and validation. This paper emphasizes the necessity of the intensive design inspection and walkthrough for requirement phase to resolve the design faults because the IV & V of early phase of SDLC obviously contributes to find out most of critical design inconsistency. Especially for test phase IV & V, it is strongly recommended to prepare the test plan document which is going to be the basis for the test coverage selection and test strategy. This test plan document should be based on the critical characteristics of function and performance of CEDMCS. Also to guarantee the independency of V & V organization participating in this project, and to acquire the full package of design details for IV & V, the systematic approach and efforts with an aspect of management is highlighted among the participants.

对validation,verification和qualification三个质量管理术语之理解

目的针对目前药品行业对现代质量管理中的"确认(validation)"、"验证(verification)"和"鉴定(qualification)"等几个关于"确证"术语使用的混乱状况,探讨关于"确证"术语的含义及相互区别,强调药品领域正确应用这些术语的重要性。方法从这些术语的溯源开始,探讨其定义的内涵与外延、相互之间的关系以及中英文转化的标准化问题。结果与结论从"标准或规定要求"、"研发方"与"接受方"、"做事"等多角度—而不仅从活动类型角度—才能更好地理解这三个术语间的含义、联系和区别。

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.

药品质量管理术语validation、 verification和qualification语义研究

针对当前药品质量管理中validation、verification和qualification容易混淆和误译的现象,借助语料库软件AntConc,并经ABBYY Aligner处理,结合搭配理论,探讨这三个术语的语义区别以及如何规范化。建议在药品质量管理中,validation译为"验证",verification译为"确证",当探讨杂质问题时,qualification译为"界定",涉及设备或辅助系统时,qualification译为"确认"。

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.

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.

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.

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.

Study of industrially applied methods for verification, validation and uncertainty quantification of simulator models

To better utilize the potential of system simulation models and simulators,industrially applicable methods for Verification,Validation and Uncertainty Quantification(VV&UQ)are crucial.This paper presents an exploratory case study of VV&UQ techniques applied on models integrated in aircraft system simulators at Saab Aeronautics and in driving simulators at the Swedish National Road and Transport Research Institute(VTI).Results show that a large number of Verification and Validation(V&V)techniques are applied,some of which are promising for further development and use in simulator credibility assessment.Regarding the application of UQ,a large gap between academia and this part of industry has been identified,and simplified methods are needed.The applicability of the NASA Credibility Assessment Scale(CAS)at the studied organizations is also evaluated and it can be concluded that the CAS is considered to be a usable tool for achieving a uniform level of V&V for all models included in a simulator,although its implementation at the studied organizations requires tailoring and coordination.

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.

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.

Test-driven verification/validation of model transformations

Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.

The progress in the verification of key technologies for floating structures near islands and reefs

In 2019 a Scientific Research&Demonstration Platform was deployed near islands and reefs in South China Sea by a joint research group of 7 institutes and universities in China.It is a simplified small model of a two-module semi-submersible-type VLFS.The test on site has continued for more than one and half years since then for long-term observations to validate the developed key technologies for design and behavior predictions of floating structures deployed near islands and reefs.An integrated information system was set up to continuously collect and inspect the data of the encountered waves,structure responses,connector forces,mooring line forces,anti-corrosion status of the platform,the performance efficiencies of a floating breakwater nearby and a wave energy converter attached on the breakwater.In this paper,the status of the on-site measurements and validations of the key technologies are briefly described.

Seasonal Prediction of Tropical Cyclones and Storms over the Southwestern Indian Ocean Region Using the Generalized Linear Models

Tropical cyclones (TCs) and storms (TSs) are among the devastating events in the world and southwestern Indian Ocean (SWIO) in particular. The seasonal forecasting TCs and TSs for December to March (DJFM) and November to May (NM) over SWIO were conducted. Dynamic parameters including vertical wind shear, mean zonal steering wind and vorticity at 850 mb were derived from NOAA (NCEP-NCAR) reanalysis 1 wind fields. Thermodynamic parameters including monthly and daily mean Sea Surface Temperature (SST), Outgoing Longwave Radiation (OLR) and equatorial Standard Oscillation Index (SOI) were used. Three types of Poison regression models (i.e. dynamic, thermodynamic and combined models) were developed and validated using the Leave One Out Cross Validation (LOOCV). Moreover, 2 × 2 square matrix contingency tables for model verification were used. The results revealed that, the observed and cross validated DJFM and NM TCs and TSs strongly correlated with each other (p ≤ 0.02) for all model types, with correlations (r) ranging from 0.62 - 0.86 for TCs and 0.52 - 0.87 for TSs, indicating great association between these variables. Assessment of the model skill for all model types of DJFM and NM TCs and TSs frequency revealed high skill scores ranging from 38% - 70% for TCs and 26% - 72% for TSs frequency, respectively. Moreover, results indicated that the dynamic and combined models had higher skill scores than the thermodynamic models. The DJFM and NM selected predictors explained the TCs and TSs variability by the range of 0.45 - 0.65 and 0.37 - 0.66, respectively. However, verification analysis revealed that all models were adequate for predicting the seasonal TCs and TSs, with high bias values ranging from 0.85 - 0.94. Conclusively, the study calls for more studies in TCs and TSs frequency and strengths for enhancing the performance of the March to May (MAM) and December to October (OND) seasonal rainfalls in the East African (EA) and Tanzania in particular.

运用路径动态预览模型的低速智能汽车侧向跟踪控制研究

采用速度自适应的动态预瞄距离是提高智能车侧向跟踪控制效果的有效办法。针对目前基本采用基于当前车速的预瞄距离自适应策略,提出一种结合规划路径和规划速度信息的动态预瞄距离跟踪控制算法以提高智能车在低速侧向跟踪控制的精确性。本文以几何学纯跟踪算法为基础,推导了前行和倒车时的侧向跟踪控制律;依据实时规划的路径和速度信息,设计了预瞄距离动态调整方法,最终获取具有速度自适应性的前视距离-车辆前轮转角关系。最后,在CarSim-MATLAB/Simulink联合仿真环境下验证了算法的有效性和准确性,并通过实车测试,验证了所提出的方法较基于动力学模型的LQR算法具有更低计算消耗和更高跟踪精度。