建模与仿真的校核与验证技术综述

系统建模与仿真是人类认识世界的三大方法之一。随着系统仿真技术的不断发展,建模与仿真在军事、经济等方面发挥着日益重要的作用。与此同时,人们也逐步认识到建模与仿真的可信度问题,对模型与仿真正确性和可信度的要求也越来越高。校核与验证（V＆V）技术是系统仿真技术的关键技术之一,用于评价模型与仿真的可信度。首先介绍建模与仿真（M＆S）的VV＆A的基本概念和重要作用,然后详细介绍非正规的、静态的和正规的校核与验证技术并分析各自的特点,最后论述M＆S生命周期中V＆V活动的实施及V＆V技术的适用范围。     

建模与仿真中数据VV＆C的研究

在建模的过程中，数据在一定程度上决定了我们建立的模型能否真实地反映实际；因此，所用的数据是不是正确就是建模成功与否的关键。该文首先介绍了建模与仿真过程中数据的概念和分类；接着讨论了数据校核、验证和确认的概念，并简要地介绍了数据校核、验证和确认的一般过程和方法。最后，给出了数据校核、验证和确认的一个实例。     

虚拟样机导弹系统的建模方法与模型确认

基于"十五"预研项目《武器装备虚拟样机仿真演示系统》的研究,提出了虚拟样机导弹系统的层次化、模块化的建模原则和方法;分析了建模与VV＆A的关系,采用建模与VV＆A同步进行的研究模式;将专家系统和决策理论应用于模型的确认,给出了模型确认的专家系统的设计原理和方法。为虚拟样机导弹的应用提供科学有效的决策依据。     

建模与仿真的动态V＆V技术综述

校核与验证（V＆V）技术包括非正规、静态、动态和正规四类技术，是保证建模与仿真（M＆S）的可信度的重要手段。动态V＆V技术是其中应用范围较广、数学和逻辑上比较正规的技术。它要求模型转化为应用并被执行，根据模型的执行行为来评价模型的精确性。首先简要介绍了M＆S的VV＆A和校核与验证技术的分类情况，然后论述了动态校核与验证技术并分析了各自的特点，最后介绍了在建模与仿真过程中动态V＆V技术的适用范围。对用于校核与验证的动态测试技术和统计技术作了重点介绍。     

核级软件的验证与确认技术研究

核级软件的验证与确认是核电数字化仪控系统研发的关键,用以确保核级软件设计过程的透明性,验证软件需求规格的完整性,确认核级软件功能与设计需求规格的一致性、正确性。核级软件的验证与确认概要地分成软件设计过程的管理技术及软件的测试技术,本文遵循IEC60880以及IAEA的核级软件的验证与确认导则,侧重研究核级软件验证与确认中的需求验证与软件测试技术,通过开发一种自动化V＆V工具,实现核级控制系统应用软件的一套自动化V＆V流程。     

关于建模与仿真的可信性问题

几十年仿真实践中习惯使用的模型逼真度和仿真结果置信度 ,值得总结提高 ,并上升为理论。该文论述了这两个术语 ,而且指出 ,仿真实践中结合VV&A ,应用这两个术语 ,远比用可信性这个非定量的集合性术语 ,要来得直观而又贴切。     

地质工程复杂地质体三维建模与可视化研究

地质工程复杂地质体中的各种地质信息都可以看作是三维空间中的函数，利用各种野外实测资料分别建立相应的曲面拟合函数，进而利用计算机建立三维地质模型，达到直观地表达地质信息在工程岩土体中的分布规律、提高对地质规律的认识、指导地质工程项目的勘测施工及监测的目的，本文分析了复杂地质体三维建模与可视化研究的关键技术问题，并初步应用于向家坝某坝址区的三维地质建模中。     

核电HMI软件验证和确认中的接口分析

HMI(Human Machine Interface人机界面)软件是核电DCS(Distributed Control System)的重要组成部分,其接口分析也是V&V过程的重要部分.本文考虑目前核电厂中HMI软件所承担的作用、与其他部件的数据信息交互、交互数据信息的类型,浅析HMI软件相应的接口类型、各接口类型中...     

故障预测与健康管理系统验证与确认方法综述

介绍了故障预测与健康管理验证与确认的研究动机,说明了该方法在整个系统设计中的地位;将验证和确认方法分为三大支撑技术：验证方法与性能评估、原型验证系统和不确定性管理,综述了这三种支撑技术的现有方法,分析比较了各方法的区别和联系,指出了具体的实现途径;点明了故障预测与健康管理系统验证与确认方法要关注的问题,明确了未来的发展趋势。     

未确知数分析的仿真模型确认方法

文中首先指出了仿真模型确认中出现的不确定性问题,针对模型的不确定性引出了未确知有理数的相关概念及其信息处理方法．在此基础上,给出了未确知数仿真模型确认方法,并通过实例说明该方法的应用,从而说明了该方法的应用前景．     

Interweaving knowledge extracting,organizing and evaluating: A concrete design for preventing logic and structure bugs while interviewing experts

The process of constructing expert systems (ESs), programs that approximate how domain experts solve problems in their specialized fields, is not at all as systematic, efficient, and verifiable as it should be. A reason is that no rigorous error-prevention interviewing method exists for structuring and testing ESs while building them. Often domain experts do implicitly ask of themselves analytical questions such as ‘Is that claim of mine always true?’ Another kind of expert — one specializing in logic analysis — explicitates, collects, and systematizes the fund of generic questions, such as ‘Are these sub-goals sufficient steps to the pre-established goal-category?’ There is a great need to make a method of interviewing, interlaced with testing and organizing, available to all domain experts and ES programmers via an interactive program. This program, which can generically be called a LAP (Logic Aids Program), plays the role of a domain-independent logic-assistant.     

Principles of Built-In-Test for Run-Time-Testability in Component-Based Software Systems

This paper examines the motivations and expectations of Built-In-Test (BIT) techniques for Run-Time-Testability (RTT) in component-based software systems. The difficulties associated with testing and integrating fully encapsulated components lead to a requirement for testing interfaces. The format of these interfaces is explored at a high level of abstraction, and some possibilities for Built-In-Test (BIT) are described. BIT is concerned with the detection of error conditions arising internally to a component, or arising from erroneous component interactions, and the propagation of these error conditions to a system component having responsibility for error handling and/or recovery. The implications for testability, reliability and maintainability are discussed, and it is concluded that BIT offers potential for improved product quality. Whilst the proposed approach is considered appropriate for a wide range of software systems, issues related to real-time systems, such as deadlock and timing constraints are of particular interest.     

面向航空航天领域的工业CFD软件研发设计

工业CFD (computational fluid dynamics)软件属于计算机辅助工程(computer-aided engineering, CAE)软件的一种, 在航空航天等领域有着广泛的应用. 其开发过程强烈依赖于流体力学、数学、计算机以及其他领域学科知识模型, 涉及大量理论推导、模型构建、算法优化、验证...     

复杂仿真系统可信性评估的特点及评估对策

随着建模与仿真（M＆S）在复杂仿真系统分析与研究中的广泛应用,对M＆S的可信性提出了更高的要求,M＆S的可信性评估技术成为国内外仿真界的研究热点之一。复杂仿真系统的特点决定了对其进行可信性评估的复杂性,在系统分析了复杂仿真系统的特点的基础上,对复杂仿真系统可信性评估的特点进行了深入研究,并就此提出了相应的复杂仿真系统可信性评估对策,为复杂仿真系统可信性评估理论及方法研究提供了重要参考。     

龙芯2号微处理器的功能验证

开发龙芯2号这样的高性能通用处理器是一项极其复杂的艰巨任务.龙芯2号处理器的设计规模和复杂度比龙芯1号增加了许多倍,如何保证设计的正确性是一个重大挑战.简单的系统级测试已经不能满足设计的需要,这就要求采用多种有效的、先进的验证方法和工具帮助设计者尽可能早的发现和改正设计错误.主要介绍了在龙芯2号处理器的设计开发过程中采用的功能验证流程和主要验证方法.模拟仿真是主要的验证手段,新的形式化验证方法也应用到了验证流程当中.     

Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification

This paper presents a knowledge-level analysis of the program supervision task based on two different systems: PEGASE and PULSAR. A knowledge-level analysis of a knowledge-based system reveals the organisation of the knowledge it uses and how it uses this knowledge to solve the task. It is also the key to determine the properties that it assumes about domain knowledge. These aspects of knowledge-level analysis have been successfully used as a framework to compare different systems, mostly for knowledge engineering purposes. This paper also describes how domain knowledge assumptions have been exploited in the implementation of a verification module for program supervision knowledge bases.