Cross iteration often exists in the computational process of the simulation models, especially for control models. There is a credibility defect tracing problem in the validation of models with cross iteration. In ord...Cross iteration often exists in the computational process of the simulation models, especially for control models. There is a credibility defect tracing problem in the validation of models with cross iteration. In order to resolve this problem, after the problem formulation, a validation theorem on the cross iteration is proposed, and the proof of the theorem is given under the cross iteration circumstance. Meanwhile, applying the proposed theorem, the credibility calculation algorithm is provided, and the solvent of the defect tracing is explained. Further, based on the validation theorem on the cross iteration, a validation method for simulation models with the cross iteration is proposed, which is illustrated by a flowchart step by step. Finally, a validation example of a sixdegree of freedom (DOF) flight vehicle model is provided, and the validation process is performed by using the validation method. The result analysis shows that the method is effective to obtain the credibility of the model and accomplish the defect tracing of the validation.展开更多
To provide a realistic simulation environment for users,intelligent models have become key components in military simulations. After the analysis of modeling nature of intelligent models,the validation criteria for de...To provide a realistic simulation environment for users,intelligent models have become key components in military simulations. After the analysis of modeling nature of intelligent models,the validation criteria for defining the validation points and validation metrics for measuring the agreements between human experts and intelligent models were presented. Further,such methods as graphical comparison,feature analysis and face validation were discussed according to the characteristics of intelligent models. Based on the validation criteria,validation metrics and validation methods,the intelligent models can be effectively validated,which has been proved in current developed intelligent models.展开更多
针对COB-LED(Chip on Board-Light Emitting Diode)散热问题,文中基于二维热传导方程建立了一个可快速计算COB-LED散热器表面热分布的数学模型。为了便于模型求解,采用有限差分法求解该数学模型并选择交替方向隐格式作为其差分格式。根...针对COB-LED(Chip on Board-Light Emitting Diode)散热问题,文中基于二维热传导方程建立了一个可快速计算COB-LED散热器表面热分布的数学模型。为了便于模型求解,采用有限差分法求解该数学模型并选择交替方向隐格式作为其差分格式。根据模型中的边界条件和初始条件设计COB-LED常温点亮实验,并基于ANSYS有限元分析软件进行仿真分析。通过比较求解结果、仿真结果和实验结果验证该数学模型的合理性。结果表明,求解结果与实验结果中最高温度相对误差约23.57%,且两者的温度变化趋势一致。求解结果与仿真结果中最高温度相对误差约34.84%,且温度分布较为接近,证明了该数学模型的合理性与正确性。展开更多
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 to...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.展开更多
在本世纪六十年代中期,美国、德国等国家的一些科学家开始研究用模仿生物和人类进化的方法求解复杂的优化问题的方法,这里我们统称之为模拟进化优化方法(optimi:ation method by simulatedevolution)。但这些方法在六十年代和七十年代...在本世纪六十年代中期,美国、德国等国家的一些科学家开始研究用模仿生物和人类进化的方法求解复杂的优化问题的方法,这里我们统称之为模拟进化优化方法(optimi:ation method by simulatedevolution)。但这些方法在六十年代和七十年代并未受到普遍的重视,一是因为当时这些方法还不成熟,二是当时计算机发展水平低,容量小,计算速度慢,这些方法又需要较大的计算量,难以实际应用。但在这期间有一些科学家一直在进行不懈的努力.代表性人物之一为美国的著名科学家J.H.Holland,他和他的学生甲直在对他所提出的一种模拟进化优化方法—遗传算法(Genetic Algorithm,GA)进行理论研究并开拓其应用领域。八十年代初期,伴随着人工神经元网络理论和机器学习理论的发展以及计算机容量和计算速度的不断提高,遗传算法的研究也越来越受到重视而逐步成熟起来,并日益受到各学科研究人员的普遍重视。自八十年代中期开始,这种方法除了在人工智能领域。展开更多
基金supported by the National Natural Science Foundation of China(61374164)
文摘Cross iteration often exists in the computational process of the simulation models, especially for control models. There is a credibility defect tracing problem in the validation of models with cross iteration. In order to resolve this problem, after the problem formulation, a validation theorem on the cross iteration is proposed, and the proof of the theorem is given under the cross iteration circumstance. Meanwhile, applying the proposed theorem, the credibility calculation algorithm is provided, and the solvent of the defect tracing is explained. Further, based on the validation theorem on the cross iteration, a validation method for simulation models with the cross iteration is proposed, which is illustrated by a flowchart step by step. Finally, a validation example of a sixdegree of freedom (DOF) flight vehicle model is provided, and the validation process is performed by using the validation method. The result analysis shows that the method is effective to obtain the credibility of the model and accomplish the defect tracing of the validation.
基金Sponsored by the National Natural Science Foundation of China(Grant No. 60434010)the Foundation of the Outstanding Youth of Heilongjiang Province ( Grant No. JC200606)
文摘To provide a realistic simulation environment for users,intelligent models have become key components in military simulations. After the analysis of modeling nature of intelligent models,the validation criteria for defining the validation points and validation metrics for measuring the agreements between human experts and intelligent models were presented. Further,such methods as graphical comparison,feature analysis and face validation were discussed according to the characteristics of intelligent models. Based on the validation criteria,validation metrics and validation methods,the intelligent models can be effectively validated,which has been proved in current developed intelligent models.
文摘针对COB-LED(Chip on Board-Light Emitting Diode)散热问题,文中基于二维热传导方程建立了一个可快速计算COB-LED散热器表面热分布的数学模型。为了便于模型求解,采用有限差分法求解该数学模型并选择交替方向隐格式作为其差分格式。根据模型中的边界条件和初始条件设计COB-LED常温点亮实验,并基于ANSYS有限元分析软件进行仿真分析。通过比较求解结果、仿真结果和实验结果验证该数学模型的合理性。结果表明,求解结果与实验结果中最高温度相对误差约23.57%,且两者的温度变化趋势一致。求解结果与仿真结果中最高温度相对误差约34.84%,且温度分布较为接近,证明了该数学模型的合理性与正确性。
文摘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.
文摘在本世纪六十年代中期,美国、德国等国家的一些科学家开始研究用模仿生物和人类进化的方法求解复杂的优化问题的方法,这里我们统称之为模拟进化优化方法(optimi:ation method by simulatedevolution)。但这些方法在六十年代和七十年代并未受到普遍的重视,一是因为当时这些方法还不成熟,二是当时计算机发展水平低,容量小,计算速度慢,这些方法又需要较大的计算量,难以实际应用。但在这期间有一些科学家一直在进行不懈的努力.代表性人物之一为美国的著名科学家J.H.Holland,他和他的学生甲直在对他所提出的一种模拟进化优化方法—遗传算法(Genetic Algorithm,GA)进行理论研究并开拓其应用领域。八十年代初期,伴随着人工神经元网络理论和机器学习理论的发展以及计算机容量和计算速度的不断提高,遗传算法的研究也越来越受到重视而逐步成熟起来,并日益受到各学科研究人员的普遍重视。自八十年代中期开始,这种方法除了在人工智能领域。
