一种用于模型检验的符号检验法
收稿日期：!""#$"#$!%&修回日期：!""#$’’$’#
&&第!(卷&第’期
计&算&机&仿&真
!"")年’月&&
文章编号：’""%$*+(,（!"")）"’$"")!$"(
一种用于模型检验的符号检验法
卜广志，葛含益，邢继娟
（北京系统工程研究所，北京’""’"’）
摘要：模型检验是保证模型可信度的重要手段，根据模型输出的不同，应选用不同的检验方法。模型检验中，通常很难事先预知模型输出的分布情况，而符号检验法适用于总体分布情况未知时的假设检验问题，因此适用于模型检验问题。典型的符号检验法虽然简便、直观，但精度较差，忽略了原始数据中的许多信息。修正的符号检验法将模型检验问题分成了若干子假设问题，并通过对样本数据大小比较、以幅值作为统计量的修正，使之可以处理动态参数的检验问题，较充分地利用了原始数据中的信息，提高了检验精度。算例也表明该方法是适用的。关键词：模型检验；符号检验法；动态参数中图分类号：
-.+*’/*；0!’!/’&&文献标识码：1!"!#$"%$%&’(")$*+,-./-%$0120’%2+’-"
2345678$9:;，4<=67$>;，?@A4B;$C567
（2D;C;78@7EF;F5FD GH I>EFDJ <78;7DDK;78，2D;C;78’""’"’，L:;76）
!3&)4!5)：MGNDO P6O;N6F;G7;E 67;JQGKF67F JDF:GN FG D7E5KD ;FE RKDN;S;O;F>/1RRGKN;78FG F:D G5FQ5F Q6K6JDFDKE ，P6K;G5E P6O;N6F;G7JDF:GNE E:G5ON SD EDODRFDN/2DHGKD P6O;N6F;G7，;F ;E 5E56OO>N;HH;R5OF FG QKDN;RF F:D N;EFK;S5F;G7H57RT F;G7GH JGNDO G5FQ5F/-:D E;87FDEF ;E 6QQO;DN FG F:DED :>QGF:DE;E FDEF QKGSODJE U:D77GKJ6O N;EFK;S5F;G7;E 57V7GU7/W:;OD F:D E;87FDEF :6E J67>6NP67F68DE ，E5R:6E D6E>QKGRDEE ，HDU R6OR5O6F;G7，;FE QKDR;E;G7;E OGU U;F:J5R:;7HGKT J6F;G7OGEF/-:;E Q6QDK 6JD7NE F:D E;87FDEF ;7FUG 6EQDRFE ：QKDED7F;786JDF:GN FG RGJQ6KD N>76J;R Q6K6JDFDK P6OT 5DE 67N F6V;78RGJQ6K;78KDE5OFE 6E EF6F;EF;R Q6K6JDFDK/@7F:;E U6>，;7HGKJ6F;G7;E JGKD H5OO>5EDN F:67SDHGKD ，67N QKDR;E;G7;E K6;EDN/-:D JGNDO QKGPDE F:D 6JD7NDN E;87FDEF ;E 6QQO;R6SOD FG F:D JGNDO P6O;N6F;G7/6789:4;&：MGNDO P6O;N6F;G7；I;87FDEF ；X>76J;R Q6K6JDFDK
<=引言
随着建模与仿真技术的发展，越来越多的各类模型被应用到了各行各业中，成为系统研制、实验、训练的重要工具，发挥着愈来愈显著的作用。随之，人们对模型的可信度也越
来越为关注，竭尽全力保证模型的科学性和客观性［’］。模型
检验的目的即是度量模型与实际系统间的差异，尽早发现模型中可能的错误与缺陷，使得模型在使用精度的前提下，能够反映实际系统的真实情况，即要保证模型具有足够的可信度。
模型检验作为一种技术手段，需要有一定的检验方法和工具支持，用来衡量模型与实际系统间的符合程度，并且分
析其中可能的缺陷［!Y (］。数理统计方法中，用于假设检验的
符号检验法可以处理总体分布类型未知情形下，对两个总体是否相同的检验，或者对两个样本是否来自同一总体的检验，因此适用于可以获得模型和实际系统输出情形下的模型
检验问题。
>=模型检验问题
>/<=模型的输出
模型作为实际系统的物理或数学表示，通常很难百分之百准确地刻画实际系统，只能是满足一定使用要求下的反映。直接分析一个模型的细节来研究其是否真实地反映了实际系统是很难的，有时甚至是不可能的，因此一般是通过对模型的输出进行分析，来判断其可信度。如果模型输出与实际系统输出在要求的精度范围内判断是一致的，便可以认为模型能够满足使用要求，具有可接受的可信度。如果判断模型输出与实际系统输出不一致，则认为模型没有真实地反映实际系统，存在某种不足。
模型按照自身功能的不同，其输出参数也有着很大差异。按照参数的多少，可分为单参数输出和多参数输出。单参数输出指模型只有一个输出参数，多参数输出则指模型输出两个以上的参数。按照参数与时间的关系，可分为静态参
数和动态参数。静态参数指与时间没有关系，仅为一个数
—
!)—万方数据