仿真VV&A研究综述
基于UML的作战仿真VV&A过程形式化建模

基于 U ML 的作 战 仿 真 V V&A 过 程 形 式 化 建 模
唐 见 兵 ,查 亚 兵
( 1 . 国 防科技 Байду номын сангаас学 指挥 军官 基础 教育 学 院 , 湖南 长沙
摘
4 1 0 0 7 3 ; 2 . 国防科 技大 学 机 电工 程与 自动 化学 院 , 湖南 长 沙
4 1 0 0 7 3 )
a c c r e d i t a t i o n( VV& A)i s a n i mp o r t a n t a p p r o a c h t o i n s u r e t h e c r e d i b i l i t y o f wa r f a r e s i mu l a t i o n s y s t e m
飞行器系统仿真 建模与VV&A

第二章 建模与VV&A
一个零初始条件的离散系统,当它受到一个克罗 内克δ函数的作用后,其响应称为权序列: {h(k)},k=0,1,2,…
δ(k)=1 0 k=0 k=1,2,… (2.34)
克罗内克 δ函数
对任意输入序列{u(k)},系统的输出为
y(k)=∑ u(i)h(k-i)
i=0
H(z)与 h(k) 的关系
生态 社会
动力学 空间与航空 电子电路
集中参数
集中参数
分布参数
黑箱
离散时间
差分方程
常微分 偏微分 常微分 方程 方程 方程
白箱
各种系统 模型的表现形式
第二章 建模与VV&A
2.2 系统的数学模型描述
2.2.1 连续系统的数学模型
2.2.2 变换为内部模型的实现问题 2.2.3 初始条件和设置 2.2.4 离散系统的数学模型 2.2.5 采样数据系统的数学模型 2.2.6 举例数学模型
G(s)=C(sI-A)-1 B
则是唯一的。
(2.7)
第二章 建模与VV&A
4.权函数(脉冲过渡函数) g(t)
初始条件为零的连续系统,受到一个狄拉克δ函 数的作用后的响应。 狄拉克δ函数满足(2.8)式: δ(t)=∞,t=0 0, t≠0 ∫∞0 δ(t)dt=1 (2.8) 对于任意的一个外部作用函数u(t),则系统的响 应y(t)满足如(2.9)式所示卷积公式
第二章 建模与VV&A
r(t) +
e(t)
e*(t)
-
T
D(z)
u*(t)
Gh(s)
u(t) G(s)
y(t)
数据采样系统 的数学模型
装备保障建模与仿真中的VV&A

,
装备保 障 仿真 系统 包括装 备保 障 指挥 员操 作 的指 挥 自动 兵 器众 多 ,而装备保 障仿 真 系统被 仿真对 象是 装备保 障活动 , 化平 台,用 于模 拟 装备保 障 部 ( )队的虚 拟 兵 力 系统 ,用 分 使 其仿 真 的模 型层 次 、种 类 、数 量 多 ,各保 障 实体 和作 战 实 于输 入信 息 、评 估推 演 效果 的导 调及 展 示平 台等 部分 。其 目 体 间的 交互 关 系复杂 。 标 是 为装备 保 障指挥 员提 供 虚拟 的环 境 ,平 时指 挥 “ 拟兵 虚 ()数 据 种 类 多 。 4 力 ” 进 行 训 练 , 战 时 连 接 到 指 挥 自动 化 网 进 行 指 挥 控 制 。 ()装备保 障仿真 结果 的验 证 困难 。 5 装备保 障 活动涉 及到 大量人 力和 物 力 ,与装 备保 障指 挥 员 的决策 有 密切 关 系, 因 ll 基 于 H A 的 装 备 保 障 仿 真 系 统 , L 高层 体 系结 构 ( A) 美 国 国 防 部 建 模 与 仿 真 办 公 室 HL 是 ( DMS 于 1 9 O) 9 5年提 出的一 个全新 的仿真技 术框 架,相 对 于 v&A DI 准 ,解决 了灵活 性 、可扩 充性 和 网络 冗余数据 等 。故基 2 装 备保 障建 模 与仿 真 的 v S标 2 lHL 仿真 系 统的 VV&A ‘ 过程 , A 般 于 H A仿真 系统 成为 装备保 障仿 真 的重要研 究 联H 鬈 H筹 邦卜 雾 1 计邦 发邦 嚣
目标 校核 型 设 计校 核 实现 校核 验 证 校核 确认 决 策
图 3 H A F DE L E P的 VV &A 过 程
22 装 备 保 障 仿 真 系 统 的 V . V&A 过 程
建模与仿真的校核、验证与确认

6.2 模型与仿真的校核(verification)
校核的主要内容:
1. 分析在建模和仿真中的各种误差,及其对仿真 结果精确性的影响。
2. 对仿真程序的校核。
6.2.1 系统仿真误差源的校核
系统仿真误差源主要包括: 仿真模型误差 仿真方法及算法误差 仿真硬件误差
仿真模型误差
建立数学模型时产生的误差 从数学模型转换到仿真模型过程中的各种误差 被用于建模的数据的测试及采样误差等
请同学们思考并举例说明以上因素对建模仿真置信度的影响
置信度评估
理论模型有效性 仿真模型、仿真软件的校核与验证 运行有效性 数据有效性 内部安全性验证
6.1.2 VVA 工作模式与过程
图6.1 VVA工作模式示意图
本章内容
6.1 V V A技术概述 6.2 模型与仿真的校核 6.3 模型与仿真的验证 6.4 仿真模型的确认
V V A 技术的应用目的:保证仿真置信度,降低由于 系统模型和仿真的置信度水平低所引起的风险。
学习分析仿真结果置信度的思路。
6.1 V V A 技术
6.1.1 V V A 基本概念
校核: Verification 证实模型从一种形式转换成另一种形式具有足够的精确度; 验证: Validation 从预期应用的角度来确定模型和仿真表达实际系统的准确程度, 根据建模和仿真的目的,考察模型是否准确地描述了实际系统; 确认: Accreditation 相信并接受某模型及其仿真的权威性决定, 表明相关的决策部门 确认该模型及其仿真适用于某一特定目的。
影响建模与仿真置信度的可能因素
建模的原理、方法不正确。 建模过程中忽略了一些因素,而这些忽略在一定程度上具有危险性。 模型初始数据选取的失误:对于某些系统,模型的初始状态对仿真结果 有直接影响,初始数据的微小偏差可能会引起仿真结果大的“扰动”。 模型集合选取或参数选取有误。 在计算机仿真过程中,仿真模型的置信度会受到计算机字长、编码错误 和算法等方面的影响。 其他因素(请查阅相关文献资料)。
vv vt 术语

vv vt 术语
VV和VT都是术语缩写:
1. VV:Virtual Validation(虚拟验证),是指利用计算机模拟
和仿真的方式对产品或系统进行验证和测试的过程。
通过VV,可以在产品或系统实际制造之前,预测和评估其性能、可靠性和安全性等方面的问题,从而减少开发周期和成本。
2. VT:Validation Test(验证测试),是指对产品或系统进行
实际测试和验证的过程。
VT通常是在VV的基础上进行的,
用于验证VV结果的正确性和可靠性,以确保产品或系统达到设计要求并可以正常运行。
这两个术语在工程领域中常用于描述产品开发和测试过程中的两个阶段:虚拟验证和实际测试。
VVL 可变气门升程发动机性能仿真研究

海南大学毕业论文(设计)题学姓年学系专目:VVL可变气门升程发动机性能仿真研究号:名:级:院:别:业:机电工程学院汽车工程系交通运输(汽车运用工程方向)指导教师:完成日期:2016年5月24日摘要随着全球经济的发展,汽车保有量的增加,作为能源消耗和环境污染的主要源头之一,汽车面临着能源需求和环境保护的巨大压力。
汽车发动机作为动力装备,它是环境污染源之一,因此,人类对于发动机的设计开发有了更为苛刻的要求。
当今社会,为了达到节能环保的要求,许多的发动机新技术被开发运用,可变气门升程(VVL)是其中一种,搭载VVL机构的发动机相比起传统配气机构的发动机可以有效提高发动机的动力性能同时还能够保持较低的燃油消耗。
本文运用GT-Power软件对排量为2. 0升的国内某企业的一款直列四缸水冷汽油发动机建模仿真,然后在此发动机的基础上,通过CAD设计出一套VVL系统。
再采用Adams软件计算得到该VVL气门升程曲线,由此构建VVL模型与GT-Power联合仿真模型。
该VVL发动机模型通过DOE参数优化和Optimizer目标优化模块使得VVL发动机达到多目标优化的效果。
同时,该模型通过优化结果可以选取出不同负荷、转速下对应的最优的气门升程曲线与气门正时角度,为下一步的研究计算提供了理论依据。
本文验证了在GT-Power中,通过论文所述控制方法能够对带有 VVL 机构的发动机进行控制仿真。
GT-Power仿真计算表明,该VVL发动机相比于原型机提高了整机的经济性。
通过使用发动机GT-Power软件可以缩短发动机开发周期。
通过本次性能开发积累的仿真数据可为后续项目开发提供借鉴。
推动公司的自主研发能力,加速新机型研发的速度,提高发动机的市场占有率。
关键词VVL发动机;GT-Power;仿真计算AbstractWith the development of global economic, car ownership increased, as one of the main sources of energy consumption and environmental pollution, the car is facing enormous pressure on energy demand and environmental protection. Automobile engine as the power equipment, fuel consumption, it is one of the environmental pollution, therefore, the engine design and development has become more demanding. Many new technologies have been developed using the engine, variable valve lift (VVL) is one of the VVL mechanism compared to conventional valve train engine can improve the power performance of the engine while also maintaining low fuel consumption .In this paper, GT-Power software for a displacement of 2.0 liters of a domestic enterprise of a water-cooled inline four-cylinder gasoline engine modeling and simulation, and then calculate the valve lift VVL valve lift curve Adams software, thereby constructing VVL model GT-Power joint simulation models. The VVL engine model parameter optimization by DOE and Optimizer enables VVL engine reaches multi-objective optimization results. At the same time, the model results can be optimized by selecting different load and speed under the corresponding optimal valve lift curve and angle valve timing for further research computing provides a theoretical basis.This article in the GT-Power is verified by the papers with the engine control method capable of controlling VVL mechanism simulation. GT-Power simulation shows that the VVL engine compared to the prototype improving the overall economy. By using the GT-Power engine performance analysis software can greatly shorten the development cycle of the engine. We can provide reference data through this simulation performance development accumulated for the subsequent development of projects. Promote the company's Independent research and development capabilities, accelerate the speed of development of new models, improved engine market share.Keywords: VVL engine; GT-Power; Simulation目录1绪论 (1)1.1选题的目的和意义 (1)1.2国内外对此问题的研究现状 (1)1.3本文的主要研究内容 (3)2 GT-Power建模仿真基础 (4)2.1 GT-Power软件简介 (4)2.2模型建立的基本模块 (4)2.3发动机建模假设 (6)3基于GT-Power建立原机型仿真模型 (7)3.1原发动机机型参数分析 (7)3.2原发动机建模 (8)3.2.1进、排气歧管建模 (8)3.2.2进、排气道和进、排气门建模 (9)3.3原发动机性能仿真与校核 (10)3.3.1模型仿真计算 (10)3.3.2发动机仿真性能校核 (11)4搭载可变气门系统的VVL发动机建模与验证 (13)4.1 VVL发动机仿真模型的建立 (13)4.1.1 VVL模型与原机GT-Power模型联合仿真 (13)4.1.2 VVL系统的模型优化 (14)4.2 VVL发动机仿真计算 (15)4.3 VVL发动机建模结果分析 (15)4.3.1 VVL发动机动力性与经济性分析 (15)4.3.2 VVL发动机模型性能评价 (17)5总结与展望 (17)致谢 (19)参考文献 (20)附件 (21)VVL可变气门升程发动机性能仿真研究1绪论1.1选题的目的和意义目前,环境污染严重,能源消耗量大,节能和环保已经成为当今世界不可避免的话题。
建模与仿真VV&A研究
Ab t a t Th a e e iws te hsoy a d p ee t h po rs fVV&A n a d o to u O n y. d i lo ito u e sr c: e p p rrve h itr n rsns te rges o i n u fo r CU t An tas nrd c s
关键 词 : 仿真可信性 中 图分 类 号 :P 9 . T31 9
校核 验证与确认 过程 方法 文 献标 识 码 : A 文 章编 号 :02 22 ( 0 0)4 00 — 3 10 — 4 2 2 1 0 — 04 0
Re e r h o s a c n VV&A n M o ei g a d S m u a i n i d l n i lto n
是否 按照设计 人员提供 的仿真模型正确 的实现Байду номын сангаас了模 型。 () 2 验证: 从仿 真应用 目的 出发 , 定建模 与仿真代 是 确
表 真 实 系 统 的 正确 程 度 的过 程 。 心 的 问题 是 : 否 建 立 了 关 是 正确 的模 型 。 ( ) 认 : 指 所 有 仿 真 工 程 及 相 应 的 可 信 性 评 估 步 3 确 是
骤完 成后,接 受 由各方面专家组成 的权威机 构对 其进行验
收 。 决 的 问题 是 : 真 系 统 是 否 适 合 特 定 的应 用 。 体讲 , 解 仿 具 确 认 是 使 用 一 个 特 殊 应 用 的仿 真 系 统 及 其 结 果 的 一 种 决 策 , 立 在 仿 真 系 统 V V 基 础 之 上 , 过 将 V V 结 果 信 息 建 & 通 &
目标 。
组 织, 来制 定各 自的建模与仿真的 W & A规范 。19 年美 91 国国防部成立 了国防建模与仿真办 公室 , 19 于 9 6年完成 了 国防部 V & V A建议实施指南 第一版 ,0 1年完成 了 V & 20 V A
建模与仿真VVA
技术说明 软件开发
实现
数据输入
问题求解
特特特特特特
特殊应用
(虚拟、设备、人、仿真器)
2020/3/17
飞行器工程系 单家元博士
6
5.1 VV&A基本概念
VVA工作过程
仿真大纲校 验
导弹制导系统 特特特特
概念模型 特特特特
仿真大纲
概念模型校 验
正式模型 特特特特特
数学仿真模型
特特特特 数学仿真结果
2020/3/17
飞行器工程系 单家元博士
8
5.2 模型校核
5.2.1 系统仿真误差源校核
仿真模型校核:数学模型建立时作了多种假设和简 化,忽略了一些次要的、不可观察的因素,而仿真 模型则是在此基础上的二次简化。
仿真算法校核:编制仿真程序时由所采用的算法本 身引起的截断误差和舌入误差。
置信度评估
理论模型有效性确认、仿真软件校核与验证、运行 有效性确认、数据有效性确认、内部安全性确认
2020/3/17
飞行器工程系 单家元博士
5
5.1 VV&A基本概念
VVA工作模式
建模对象 目标和要求
特特特特 特特特特特特
概念模型 (假设、算法、结构等)
校验与验证计划
特特特特 特特特特
数学仿真模 型验证
数学模型校验
物理效应模型 校验
仿真模型校验
特特特特Βιβλιοθήκη 半实物仿真 系统校验半实物仿真系统 特特特特特
半实物仿真结果
仿真确认
半实物仿真系 统验证
实际飞行结 果
特特特特
物理效应模型 特特特特
物理仿真结果
物理仿真模型 验证
建模与仿真V____许素红
基金项目:仿真技术项目管理办公室武器装备预先研究项目资助收稿日期:2003-04-28 第21卷 第2期计 算 机 仿 真2004年2月 文章编号:1006-9348(2004)02-0050-03建模与仿真VV &A 相关概念、定义和术语研究许素红,吴晓燕(空军工程大学导弹学院,陕西三原713800)摘要:在国外,尤其是美国,建模与仿真(M odeling and Simulation ,M &S )及校核、验证与确认(Verification ,Validation and Accredi -tation ,VV &A )相关概念、定义和术语的研究已趋于成熟。
我国目前在该领域的研究仍是空白。
通过研究国内外大量相关资料,深入分析了建模与仿真VV &A 概念、定义和术语研究的重要意义;根据建立定义和术语的一般原则,为部分概念撰写定义,并赋予每个概念指称,同时也分析了常见的一些不恰当的术语。
这不仅有助于人们对建模与仿真VV &A 概念性研究引起重视;而且也有助于人们进行建模与仿真VV &A 相关概念、定义和术语的研究。
关键词:建模与仿真;校核、验证与确认;概念;定义;术语中图分类号:NO32 文献标识码:A1 引言现代高技术战争对仿真技术提出了更新更高的要求,并推动着军用仿真技术的发展,使得对建模与仿真(Modelin g and Si mulation ,M &S )进行标准化和规范化研究工作迫在眉睫。
而对军用建模与仿真来说,对于VV &A 标准规范的研究就更为迫切,它是建模与仿真标准化和规范化研究的一个内容。
通过进行建模与仿真方面的VV &A 相关概念、定义、术语及原则的研究,可以统一对问题的一致性认识,达到对问题的共同理解,为制定VV &A 标准和规范奠定理论基础[2]。
2 建模与仿真VV &A 概念、定义和术语研究的现状在国外,尤其是美国,建模与仿真方面的VV &A 研究起步早,发展快。
HLA作战仿真的VV&A过程
过 程分为 7个步骤 ,分别对每一步进行研究 。结果表 明,该作 战仿 真达到 了可信度要求 ,是可 以接受 的,对 它进行 V & 研究 ,对联邦 V A 的开发和系统 的改进 有一定的帮助 ,能够在一定程度上起到提高联邦可信度 的作 用。
关健 诃 :H A;作战仿真 ;校核、验证与确认 ;V V L &
[ btat h s t t nad h d r e t c r o e a a m l o a d n L e n o ue . o ui V A p cs o A s c ]T e ai s u i e eea r t e f r r s u t nb s A a t dc d F c s g nV & o es f r b c iao n t f tsu u t w f e i a h i e o H r ir no r a
[ y wod !hg ee rhtcueH Ke r s ihlv laci tr( LA) af es lt n v r ct n v l a o da cei t nVV&A) e f a o n aia o e ;w ra i ai ; e f ai , ai t n a crdti ( r mu o i i o di n ao ;vr ct na dv d t n i i i l i
中圈分类号:T31 P9. 9
HL A作 战仿 真 的 V V&A 过程
唐见兵,李 革
( 国防科技大 学机 电工程 与 自动化学院 ,长沙 4 0 7 ) 10 3 攮 要 : 绍了 H A作战仿真的基本情况及其联邦结构 。 介 L 以某 作战仿 真为例 , 将校核、 证与确认( V A 过程作为研究的重点 , V & 验 V & ) 把 V A
wa f e sm u a o e t e r qu r me t o r d t a d i C e c r d t d r a i lt n m e s t e ie n f c e i n t a b a c e ie .Re e c n VV&A i e ep f r f d r t n d v l p n n r i h n sa h o r g v s h l o e e a o e e o me t a d i i r v me to e s se , d i c e s st e r la ii ff d r t n. mp o e n f y t m a r a e ei b lt o e a i h t n n h y e o
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
国外对仿真的校核、 验证与确认 ( !!"# ) 研究最早开始 于对仿真模型的校验 ( !"! ) 研究, 这可以追溯到上世纪 NO 年代仿真应用的初期, 至今已经有四十多年的历史了。 PQNR 年 S*..> 和 5+I<;6=4 等就注意到了对 “ 警犬” 导弹 仿真的全面研究。美国计算机仿真学会于 RO 世纪 TO 年代 中期成立了模型可信性技术委员会 ( $595 ) , 其任务是建立 与模型校验有关的概念和术语。UO 年代以来, 每年的夏季计 算机仿真会议 ( J5J5) 和冬季仿真会议 ( VJ5 ) 都有关于模型 校验的专题讨论。美国军事运筹学会 ( 9WXJ ) 自 PQUQ 年以 来召开了多次有关模型校核、 验证和确认的小型讨论会。 QO 年代以后, 对仿真的 !!"# 研究的重点由仿真模型 的校验 方 法 研 究 为 主 转 向 如 何 更 加 全 面 地 对 仿 真 进 行 !!"# 上来。在西方国家尤其是美国, 随着武器系统规模的 日益庞大、 部队作战技术化水平的不断提高、 武器系统采购 费用的急剧增加, 这使美国国防部对仿真系统应用的需求和 依赖性大大增加, 对仿真的可信性提出了更高的要求; 同时, 更加强调仿真系统的交互性和重用性, 这使 !!"# 在仿真研
’ ’ 第 !( 卷’ 第 )) 期
文章编号: )""* $ %(&+ ( !""* ) )) $ ""+! $ "&
计’ 算’ 机’ 仿’ 真
!""* 年 )) 月’ ’
仿真 ,,-. 研究综述
唐见兵, 查亚兵, 李革
( 国防科技大学机电工程与自动化学院, 湖南 长沙 &)""/( ) 意义非常重大。该文对仿真 !!"# 的研 摘要: 对于大型、 复杂的仿真系统, 在建模与仿真的全生命周期中进行 !!"# 研究, 究加以全面探讨, 首先回顾国内外仿真 !!"# 研究的历史和现状, 找出国内与国外 !!"# 研究的差距; 其次简单介绍 !!"# 的概念和原则, 并对容易混淆的概念加以分析、 比较; 接着根据美国国防部制定的 !!"# 建议指导规范, 以某模拟测试系统 仿真为例, 详细介绍 !!"# 研究的过程与方法; 最后针对国内仿真 !!"# 研究的现状, 提出了 !!"# 研究需要解决的关键 问题及其发展方向。 关键词: 仿真可信性; 校核、 验证与确认; 过程; 方法 $%(%) & %’ ’ 文献标识码: # 中图分类号:
!" ##$% 的概念与原则
!& ’" ##$% 的概念 对仿真 !!"# 研究必须建立在正确概念的基础之上。 其可信性可以通过有计划的校核与验证工作来加以度量, 并 通过官方验收来正式地加以确认, 可以为某一特定的应用服 务, 这个过程就是仿真的校核、 验证与确认 ( !!"#) 。 ( !*)(H(+<,(’@) ! 校核 校核是确定一个模型是否准确地代表了开发者的概念 描述和规范的过程。 ( !<=(I<,(’@) ! 验证 验证是从仿真应用目的出发, 确定建模与仿真代表真实
— AC —
! 校核硬件配置和实施; ! 校核软件 & 硬件变换; ! 校核专用硬件; ! 校核初始化数据; ! 校核系统测试; ! 对系统各项校核活动建立文 档; ! 校核实施的工具和设备。 第六步、 验证结果 ’ )进行结果验证是为了确定
图 !" 仿真 ##$% 工作流程图
! 仿真说明 $"% 需求的程度; ! 仿真输出的逼真程度; ! 仿真适应预期用途的好坏程 度。 ( )这一阶段的主要考虑的问题有 ! 验证工具; ! 验证数据; ! 验证策略。 第七步、 确认评审 确认评审的主要目的是在仿真预期使用范围内确立仿 真的适应性。确认评审主要包括制定确认计划、 收集和评估 确认信息以及执行确认评审。 ’) 制定确认计划 ! 问题描述和目标; ! 经校核的 $"% 需求和可接受性准则; ! 确认信息需求; ! 评审计划; ! 确认评审报告的结果和轮廓。 () 收集和评估确认信息 收集和评估确认信息主要包括: ! 验证概念模型的信息; ! 校核设计的信息; ! 校核实施的信息; ! 验证结果的信息。 )) 执行确认评审 并向他们作简要介绍; ! 通知评审组成员和主题专家, ! 保证评审组成员能够参加各种会议和有关活动; 并作记录; ! 召开评审组会议, ! 草拟完整的评审报告初稿; 并取得一 ! 将草拟的报告初稿交给评审组成员审查, 致同意; ! 写出最终确认报告; ! 将报告提交给用户。 & * ’" !!"# 方法 仿真系统是融合了建模技术、 系统科学、 软件工程和其 他有关专门领域知识的复杂系统, 因此仿真系统的 !!"# 研 究应该充分吸收有关领域成功的测试与评估方法。建模与
!’ 国内外研究的历史与现状
收稿日期: !""# $ "% $ !&
制中的作用更加突出, 迫切需要建立规范来指导建模与仿真
— UR —
的 !!"# 工作。美国国防部 $%%% 系列指令 ( &’& &()*+,(-* ) 提出了关于国防部武器装备采购的新规范和要求, 要求国防 部所属的各军兵种制订其建模与仿真主计划 ( ./.0 ) 和建 并在仿真系统开发过程中大力推行 模与仿真的 !!"# 规范, 应用有关 !!"# 的活动, 以提高建模与仿真的可信性水平。 1223 年, 美国国防部的军用建模与仿真办公室 ( &./4 ) 建立 了一个军用仿真 !!"# 工作技术支持小组, 负责起草国防部 !!"# 建议规范 ( !!"# 506 ) , 同年 11 月完成了这一建议 规范的第一版, 并于 7%%% 年完成了 !!"# 建议规范的第二 版, 这是目前关于建模与仿真 !!"# 最为全面的工具书。在 此期间 8999 也于 122: 年通过了关于分布交互式仿真系统 建模与仿真 !!"# 的建议标准, 这是关于大型复杂仿真系统 建模与 仿 真 !!"# 的 一 个 比 较 全 面 的 指 导。关 于 有 关 !!"# 方面的文献情况可以参考 ;<=+( 和 5> 6> /<)?*@, 总结 的 12AB 年以前发表的有关仿真可信性和 !!"# 方面研究的 C%A 篇参考文献, 基本上反映了这一领域的早期研究情况。 在我国, 直到 A% 年代才有建模与仿真可信性方面的论 述。目前尚未成立类似于美国 DE.E 这样的专门机构来负 责协调, 也没有组织专家对系统仿真的可信性及 !!"# 技术 进行专门研究, 因而使得这方面的研究进展缓慢。迄今为 止, 我国还没有制订仿真 !!"# 的标准和规范, 也没有建立 完整的仿真 !!"# 的概念体系, 因而使得系统仿真的开发 者、 应用者和管理者在进行仿真可信性研究过程中无章可 循。所以, 我国的仿真可信性研究急需加强。 近些年来, 随着仿真技术的发展, 建模与仿真的可信性 研究工作得到一定程度的推动, 表现在许多单位开展了建模 与仿真的 !!"# 研究工作, 国内的仿真文献中也开始涉及仿 真可信性研究问题。许多学者在这方面作了非常有意义的 研究工作, 而有关这方面问题的研究也一直是国内系统仿真 领域研究的热点和仿真学术会议的主要议题。我国的仿真 工作者在基于与实际系统的测试或运行结果相对照的验证 方法的开发与应用方面的仿真可信性问题进行了许多有益 的探索, 如北京航空航天大学、 国防科大、 哈工大和北京理工 大学等单位对基于 FG# 的可信性问题都进行了一定的研 究。但是, 与发达国家及国际先进水平相比, 差距还非常大。
世界的正确程度的过程。 ( #++)*I(,<,(’@) ! 确认 确认是指所有仿真工程及相应的可信性评估步骤完成 后, 接受由各方面专家组成的权威机构对其进行验收。从本 质上讲, 确认带有一点主观色彩。 校核关心的是 “ 是否正确地建立了仿真系统” 的问题; 而 验证关心的是 “ 是否建立了正确的仿真系统” ; 确认是在校 核、 验证的基础上, 由仿真系统的主管部门和用户组成验收 小组, 对仿真系统的可接受性和有效性做出正式的认可。校 核、 验证与确认之间有着十分密切的联系。校核工作为确认 系统的各项功能提供了依据, 验证工作为系统有效性评估提 供了依据, 而系统性能的好坏可能是校核与验证都关心的问 题。 !& (" ##$% 的原则 讨论 !!"# 的原则可以深化对仿真 !!"# 的概念的理 解, 对仿真的 !!"# 理论研究和实践有重要的指导作用。美 国国防部发表的 !!"# 建议指导规范归纳总结了普遍适用 的 17 条 !!"# 的基本原则, 用于指导仿真 !!"# 的管理者 和工作人员去管理和操作有关的 !!"# 活动。 ;<=+( 等在总 结有关研究资料的基础上提出了仿真模型校核、 验证与测试 ( !!"D) 的 1$ 条 原 则, 可 以 作 为 仿 真 !!"# 的 有 益 参 考。 综合以上有关的研究资料, 对仿真 !!"# 研究应遵循的主要 原则应该包括: ! 相对正确原则 ! 全生命周期原则 ! 有限目标原则 ! 必要不充分原则 ! 全局性原则 ! 程度性原则 ! 创造性原则 ! 良好计划和记录原则 ! 分析性原则 ! 数据正确性原则
)’ 引言பைடு நூலகம்
目前, 国内外的仿真界已经达成了共识: 没有经过验证 的仿真模型没有任何价值, 没有经过可信性评估的仿真系统 也没有任何价值。工程实践也表明: 要想让仿真系统真正具 有生命力, 必须对系统的建模与仿真进行可信性研究, 而且 应该将它贯穿于系统建模与仿真全生命周期中。仿真的可 信性研究又常称为 “ 校核、 验证与确认 ( !4=*8*:+<*6,, !+7*@+<*6, +,@ #::=4@*<+<*6,,!!"#) ” 。 本文在回顾国内外 !!"# 研究的历史与现状的基础上, 将对仿真 !!"# 的概念、 原则与方法加以全面阐述, 并结合 实际, 详细地分析在系统建模与仿真全生命周期中, 如何进 行 !!"# 研究。同时, 针对我国仿真 !!"# 研究的现状, 提 出它的发展方向。