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...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.展开更多
发射车建模与仿真的校核、验证和确认(Verification Validation and Accreditation,VV&A)是建模与仿真过程中保证模型可信度的重要环节,简要论述国内外VV&A的基本概念、研究与应用现状和应用方法。介绍发射车仿真及VV&A应...发射车建模与仿真的校核、验证和确认(Verification Validation and Accreditation,VV&A)是建模与仿真过程中保证模型可信度的重要环节,简要论述国内外VV&A的基本概念、研究与应用现状和应用方法。介绍发射车仿真及VV&A应用现状,提出发射车建模与仿真中VV&A的应用方法以及发射车建模与仿真的VV&A应用发展途径。展开更多
为了更好地将通用校核验证方法(generic methodology for v Verification and validation,GM-VV)理论运用到建模和仿真的可信性研究中,提出一种基于GM-VV的生命周期模型。介绍了GM-VV的理论体系,对其概念框架、实现框架和剪裁框架进行...为了更好地将通用校核验证方法(generic methodology for v Verification and validation,GM-VV)理论运用到建模和仿真的可信性研究中,提出一种基于GM-VV的生命周期模型。介绍了GM-VV的理论体系,对其概念框架、实现框架和剪裁框架进行了详细说明,同时指出了GM-VV在应用中存在的问题。在对GM-VV应用研究的基础上,构建了GM-VV生命周期模型,对V&V工作各个阶段的具体任务进行分析。研究结果表明:该模型可以更为简洁地将GM-VV理论应用到具体的V&V项目中,减轻V&V工作人员的工作量,提高V&V工作的效率,对GM-VV方法的实际运用有一定的指导意义。展开更多
Multi-agent technology has been used in many complex distributed and concurrent systems. A railway system is such a safety critical system and careful inves- tigation of the functional components is very important. St...Multi-agent technology has been used in many complex distributed and concurrent systems. A railway system is such a safety critical system and careful inves- tigation of the functional components is very important. Study of the various functional components in communi- cation-based train control （CBTC） system necessitates a good structural design followed by its validation and ver- ification through a formal modelling technique. The work presented here is the follow up of our multi-agent-based CBTC system for Indian railway designed using the methodology for engineering system of software agents. Behavioural analysis of the designed system involves several operating scenarios that arise during train run, and helps in understanding the reaction of the system to such situations. This validation and verification are very important as it allows the system designer to critically evaluate the desired function of the system and to correct the design errors, if any, before its actual implementation. Modelling, validation and verification of the structural design through Coloured petri net （CPN） are central to this paper. Analysis of simulation results validates the efficacy of the design.展开更多
基金supported by Science Challenge Project [No TZ2018001]Shandong Provincial Natural Science Foundation [No ZR2017BA014]+1 种基金National Natural Science Foundation of China [No91630312]the Development Program for Defense Ministry of China [No.C1520110002]
文摘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.
文摘发射车建模与仿真的校核、验证和确认(Verification Validation and Accreditation,VV&A)是建模与仿真过程中保证模型可信度的重要环节,简要论述国内外VV&A的基本概念、研究与应用现状和应用方法。介绍发射车仿真及VV&A应用现状,提出发射车建模与仿真中VV&A的应用方法以及发射车建模与仿真的VV&A应用发展途径。
文摘为了更好地将通用校核验证方法(generic methodology for v Verification and validation,GM-VV)理论运用到建模和仿真的可信性研究中,提出一种基于GM-VV的生命周期模型。介绍了GM-VV的理论体系,对其概念框架、实现框架和剪裁框架进行了详细说明,同时指出了GM-VV在应用中存在的问题。在对GM-VV应用研究的基础上,构建了GM-VV生命周期模型,对V&V工作各个阶段的具体任务进行分析。研究结果表明:该模型可以更为简洁地将GM-VV理论应用到具体的V&V项目中,减轻V&V工作人员的工作量,提高V&V工作的效率,对GM-VV方法的实际运用有一定的指导意义。
基金The work is a part of project named ＂＇Multi- Agent based Train Operation in Moving Block Setup＂ funded by Department of Information Technology （DIT）, Ministry of Commu- nications and Information Technology, Government of India, vide Grant Number 2（6）/2010-EC dated 21/03/2011.
文摘Multi-agent technology has been used in many complex distributed and concurrent systems. A railway system is such a safety critical system and careful inves- tigation of the functional components is very important. Study of the various functional components in communi- cation-based train control （CBTC） system necessitates a good structural design followed by its validation and ver- ification through a formal modelling technique. The work presented here is the follow up of our multi-agent-based CBTC system for Indian railway designed using the methodology for engineering system of software agents. Behavioural analysis of the designed system involves several operating scenarios that arise during train run, and helps in understanding the reaction of the system to such situations. This validation and verification are very important as it allows the system designer to critically evaluate the desired function of the system and to correct the design errors, if any, before its actual implementation. Modelling, validation and verification of the structural design through Coloured petri net （CPN） are central to this paper. Analysis of simulation results validates the efficacy of the design.
