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

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

建模VV＆A与仿真VV＆A比较之浅见

建模与仿真在许多领域得到越来越广泛、深入的应用,模型与仿真本身的准确性和置信度越来越受到人们的关注,也就是VV&A日益重要。该文结合分析建模与仿真的过程,在分析了VV&A的层次与结构的基础上,重点从三个方面剖析、比较了建模V&V与仿真V&V的不同:第一,历史发展和内在本质;第二,考察对象和应用的方法;第三,思维特点。这些比较分析,促进了更好地理解二者的差异。最后给出了所研究的结论,期望对VV&A工作起到指导作用。     

微观交通仿真中的模型验证技术

模型标定和模型验证是微观交通流仿真建模理论中非常重要的两个方面。人们往往注重前者而忽略后者,或因数据采集困难等原因,注重从宏观角度、而忽略从微观角度进行模型验证,从而导致模型在进一步应用过程中的失效。针对上述情况,文章运用五轮仪实验系统所采获的实际数据,结合了一种基于综合认知结构的车辆跟驰模型的构建过程,从微观角度研究了模型检验和确认的关键技术。研究表明,直观对比和统计推断都是模型验证过程中行之有效的方法。     

建模与仿真及VV＆A管理系统设计

为了对建模与仿真（Modeling and Simulation，M＆S）以及校核、验证与确认（Verification、Validation and Accreditation，VV＆A）活动的全生命周期予以有效管理，提高建模与仿真的可信性，设计了建模与仿真及VV＆A管理系统（Modeling ＆ Simulation and VV＆A Management System，MSVMS）。MSVMS以一套完备的M＆S及VV＆A信息管理分布式数据库为核心，采用对M＆S及VV＆A开发应用过程中各种状态信息与事件信息记录的方式，对M＆S以及VV＆A全生命周期进行管理，并具有通用性和灵活性的特点。该系统已经成功用于管理某型地空导弹建模与仿真试验，为整个系统的确认与验收提供了有益的帮助。     

建模与仿真VV＆A研究

该文回顾了国内外仿真VV＆A研究的历史和进展情况．介绍了VV＆A的相关概念、基本原则：又介绍了W＆A研究的过程与方法：最后指出国内仿真VV＆A存在的问题及发展方向。     

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

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

多分辨率建模方法及其在分布交互仿真中的应用

分析了基于MRM(多分辨率模型)仿真的关键技术、方法及其特点,阐述了大规模分布交互仿真中多分辨率模型的应用问题。     

飞行仿真中的TCAS建模方法

介绍了飞行仿真系统中空中交通警戒与防撞系统(TCAS)的一种仿真实现方法.对闯入飞机进行了运动方程建模,介绍了TCAS基本参数计算方法,分析了TCAS系统逻辑,利用全局处理模式设计了实时仿真中的完备的逻辑处理流程,完成了实时仿真系统中的TCAS仿真,该建模方法已在某项目中成功投入使用.     

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

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

计算机仿真中的真与假

计算机仿真，通俗地说，就是在计算机上模拟各种真实的事物或现象。这个过程的实现依赖于三个基本环节：一、将被模拟对象的性质和相关规律用数学、物理语言进行描述。这一过程叫做数理建模；二、结合计算机工作的特点，将建立的数理模型表达成适合计算机快速计算的算法及相应的数据结构，这一过程称为仿真建模；三、将建立的仿真模型在计算机上实施计算并把结果通过图形、动画或专用技术显示出来以实现对对象的分析，这一过程称为仿真试验(也称为可视化过程)。     

复杂模拟电路定量仿真中的元件建模技术研究

基于电路定量仿真的虚拟测试和故障诊断,对于复杂电路系统可靠性的提高具有重要意义;传统上,模拟电路的定量仿真分析大多采用SPICE模型,这也是目前该领域的主流分析模型;然而由于元件SPICE模型的复杂性,导致PSPICE等电路仿真器的优势难以在大型复杂电路系统的虚拟测试和故障诊断中得到充分发挥。为此,从降低元件模型复杂度,简化电路计算,提高仿真速度和避免收敛问题的角度出发,基于自主研制的DrGraph电路仿真平台,提出非线性二端元件SPICE模型的分段线性化改进技术。仿真实验验证了该技术在大规模复杂模拟电路仿真中具有很强的工程应用价值。     

体系对抗仿真中的信息网络建模研究与实现

信息化条件下战争系统以体系对抗为特征.为了研究信息网络在战争系统中的作用原理和运行机制,针对信息化条件下的体系对抗仿真系统开发,以体系对抗仿真模型体系为基础,以仿真信息化战争系统所具有的整体性、对抗性、动态性特征为需求,提出建立信息网络模型的研究思路,并依据系统工程的方法步骤,按照需求分析、概念建模、仿真建模、模型验证和仿真运行与收集仿真结果的步骤对典型作战体系--防空反导体系的网络模型研究与实现的过程进行了系统的探讨.     

STK及其在雷达建模与探测仿真中的应用

为了实现对雷达兵器的快速建模和仿真,介绍了一种仿真软件STK,说明了STK的主要功能和具体模块,详细地阐述了雷达分析模块的功能,并使用STK5．0对某型号雷达进行了仿真。实践证明STK是一种高效的仿真软件。     

复杂模拟电路仿真中的元件建模技术

基于定量仿真的故障诊断,是维护复杂模拟电路可靠性的重要途径之一。电路仿真的一项核心技术和关键问题是元件正常/故障状态的仿真建模,针对这一问题,以SPICE模型为基础,提出了非线性元件的分段线性化建模方法和储能元件处理方法,提出了控制元件的功能建模方法,研究了复杂电路系统中元件的分层建模和故障建模方法。以上方法降低了电路分析的计算量,提高了运算速度,改善了收敛性。仿真实例验证了所用建模方法在复杂模拟电路系统仿真中的工程适用性。     

基于主体的建模方法在通信仿真中的应用研究

主体是一个独立自包含的软件对象,可以自主与周边环境及其他智能体进行交互。基于主体的仿真建模（Agent-Based Modeling,ABM）,允许用户通过指定主体行为和它们运行的环境,自底向上地建立复杂的仿真模型。比起其他系统级建模范式,这种方法能为用户是一个更自然的仿真视角,而且它允许在新的应用中更灵活地使用已有仿真模块。这种灵活性使它们成为虚拟实验室、复杂设备实验验证以及设备教学试验的理想选择,基于主体的仿真建模方法,在启发式搜索方法、社会科学模型、战斗模型和供应链仿真分析中具有特殊优势。比较基于主体的仿真建模方法（ABM）与基于模型的系统工程（MBSE）这两种建模方法,并通过一个典型通信系统仿真实验的建模过程,验证ABM的便捷性和优越性。     

机器人仿真中的图形交互建模

通用机器人图形仿真系统中,建立既能真实地描述机器人世界又能有效地表示机器人运动特性的模型是一个重要的工作。本文结合我们实现的一个面向运动的机器人图形仿真系统,介绍了实现建模功能时需考虑的一些问题及具体的解决办法。文中对利用图形工作站的支持设计良好的人—机交互界面也作了介绍。     

着色Petri网及其在系统建模与仿真中的应用

在众多的系统建模方法和语言中,用着色Petri网（Colored Petri Net,简写CPN）建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统。文章介绍了CPN的基本概念及建模特性,阐明了CPN的实用价值及应用发展前景,并对一个军事系统一一空对空导弹攻击系统进行CPN的图形形式的建模分析,并用Design/CPN进行仿真验证。     

海上机动目标建模及其在分布式仿真中的应用

机动目标建模是飞行器分布式仿真研究中的重要环节,它为飞行器控制系统仿真提供模拟的机动编队目标行动、对抗策略和作战效果,其模拟精度直接关系到整个仿真系统的可信度;文章首先介绍目标节点在仿真系统中的作用和数据传输关系,然后基于理论建模和统计建模方法,推导并建立了舰炮反导作战仿真模型、舰空导弹反导作战仿真模型、作战效果评估模型,已成功应用于某分布式仿真系统,仿真试验结果证明了模型建立的有效性。     

分布交互仿真中的综合环境建模

分布交互仿真中的综合环境建模不仅是实现环境数据表示，重用、交换的关键，也是实现高度互操作性的核心，本文首先介绍了分布交互仿真中的自然环境，分析了综合环境的建模，数据表示与交换。接着，介绍了实验综合环境建模以及环境数据表示与交换的SEDRIS技术，并重点对SEDRIS的数据表示模型和API进行了阐述和分析。最后给出了使用SEDRIS的方法和开发HLA环境联邦的过程。     

UML建模技术在战场场景仿真中的应用

在深入研究战场场景仿真原理及实现技术的基础上，该文采用面向对象方法，利用UML建模语言，开发了一个由多站、多平台及多传感器构成的战场场景仿真系统。给出了用UML表示的系统模型，研究了各种传感器数据生成算法和事件仿真模型，实验证明，该系统能较好地为数据融合系统提供一个测试平台。