关于仿真模型验证

本文对国内外仿真模型的发展进行了述评,陈述了仿真模型验证的定义和有关概念,提出了模型验证的区间假设检验法,介绍了自相关函数检验法。     

利用相似理论进行仿真系统模型验证

该文提出了利用相似理论进行仿真系统模型验证理论和借助仿真置信度的方法,并结合实例阐明了这种方法的工程应用。实践表明,这是一种评估仿真系统模型置信度的有效途径和可操作的工程方法。     

基于相关分析法的PID控制回路模型验证

介绍PID控制回路的性能指标及评估方法,并针对控制性能不佳时无法判断是由过程模型失配还是扰动模型失配所致这一问题,提出了一种模型验证方法.通过引入一个准白噪声序列,对实际输出序列和噪声序列使用相关分析法进行分析,并将结果与性能良好时的过程模型脉冲形式进行对比,以确定控制回路性能不佳的原因.通过仿真实例验证了方法的有效性.     

方差分析法在制导仿真系统VV＆A中的应用

针对制导仿真系统研究,通过分析和研究方差方法的原理,提出了方差分析法在制导仿真系统VV&A中仿真结果验证和设备误差分析两个重要的应用途径.为了在仿真结果验证时充分利用不同试验条件下的仿真数据和靶试数据,基于方差分析法,对试验条件的不同取值影响仿真结果,并通过对具体试验数据的计算和分析,验证了可行性;对制导仿真系统的误差分析时,提出了设备误差对静态仿真结果影响,丰富了仿真设备误差分析的手段.实践证明,方差分析法是制导仿真系统VV&A中的一种非常有效的辅助手段.     

事务级形式验证技术及8051验证模型

提出一种基于事务的用于电路系统的形式验证方法(TBFV)．应用该方法，验证工程师可以在行为级对系统进行验证，无需了解设计的细节．为了对该方法进行示范，验证了8051的RTL级实现，并给出了8051指令集的TBFV模型．     

使用模型检测方法对Paxos算法进行验证与改进

因通信的同步问题、网络分区的可靠性问题等,分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识.Paxos是近年分布式系统中常见且有效的共识算法,本文通过使用模型检测的方法对Paxos算法进行形式化建模,分析和验证了 Paxos作为共识算法所应当满足的性质,结果表明,Paxos算法满足安全性、活性,但执行过...     

基于模型的验证及其方法

基于模型的验证（Model-based Verfication)方法在软件开发中,特别是安全性系统、复杂系统的开发中占有的地位越来越重要,MBV侧重于在开发的早期找出错误,从而避免时间、金钱的耗费及重复性的劳动,在研究各种MBV技术的基础上,着重于软件系统的模型验证方法,对各种方法作了基本的介绍,并总结了发展方向。     

采用基于模型的设计进行早期验证

在航空航天、汽车、工业、医疗、通信、机械、电子等各个领域中,随着系统复杂度的不断增加及产品上市时间压力的不断增大,开发团队面临的挑战愈发严峻。在传统的开发流程下,开发团队只有在完成系统集成或原型硬件开发之后才能进行测试和验证,然而,这一阶段才发现的设计缺陷和设计错误将会导致开发团队必须投入大量的人力、财力和时间去对其进行修正。     

时间自动机模型验证的研究进展

基于时间自动机的模型验证是一种形式化的实时并发系统时间性质验证技术,重大软件对时间行为、时序关系的高可靠性要求,不断刺激时间自动机模型验证技术的发展.介绍了时间自动机理论、模型验证算法及工具,对该领域的研究进展做了综述,指出了时间自动机模型验证存在的问题和研究方向.     

离散时段演算的符号模型验证

模型验证是对有限状态系统的一种形式化确认方法，近几年，模型验证方法已逐步扩展到实时系统应用中，为解决实时系统的模型验证问题，本文采用离散时段演算人实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模型验证问题进行了细致的分析，并提出了一种具有实际应用价值的方法－商技术，该方法可以在避免当多个时间自动机并行组合时可能产生的状态空间组合爆炸问题，同时还可以简化整个模型验证问题。     

Model Selection by Predictive Validation

: Gaussian mixture modelling is used to provide a semi-parametric density estimate for a given data set. The fundamental problem with this approach is that the number of mixtures required to adequately describe the data is not known in advance. In our previous work , we described an algorithm, termed Predictive Validation, which attempted to automatically select the number of components. The aim of this paper is to investigate the influence of the various parameters in our model selection method in order to develop it into an operational tool. In this paper, we demonstrate the successful application of model validation to three applications in which the selected models are used for supervised classification, unsupervised classification and outlier detection tasks. Received: 23 Novenber 2000, Received in revised form: 24 April 2001, Accepted: 21 May 2001     

一种用于模型检验的符号检验法

模型检验是保证模型可信度的重要手段,根据模型输出的不同,应选用不同的检验方法.模型检验中,通常很难事先预知模型输出的分布情况,而符号检验法适用于总体分布情况未知时的假设检验问题,因此适用于模型检验问题.典型的符号检验法虽然简便、直观,但精度较差,忽略了原始数据中的许多信息.修正的符号检验法将模型检验问题分成了若干子假设问题,并通过对样本数据大小比较、以幅值作为统计量的修正,使之可以处理动态参数的检验问题,较充分地利用了原始数据中的信息,提高了检验精度.算例也表明该方法是适用的.     

复杂系统仿真模型的分层确认

介绍一种解决复杂系统仿真可信性问题的模型确认方法.该方法首先将复杂系统划分成相对简单的子系统、基准系统、单元,得到一分层模型树;接下来对模型树中的模型进行排序并安排确认试验;然后利用信息差方法对拥有试验数据的子层模型进行单层确认;最后通过灵敏度分析将子层模型的确认结果传播到父层模型,最后得到全系统模型的确认结果.文中提出的方法适用于试验数据少、可分层的复杂系统.     

Multivariate significance testing and model calibration under uncertainty

The importance of modeling and simulation in the scientific community has drawn interest towards methods for assessing the accuracy and uncertainty associated with such models. This paper addresses the validation and calibration of computer simulations using the thermal challenge problem developed at Sandia National Laboratories for illustration. The objectives of the challenge problem are to use hypothetical experimental data to validate a given model, and then to use the model to make predictions in an untested domain. With regards to assessing the accuracy of the given model (validation), we illustrate the use of Hotelling’s T² statistic for multivariate significance testing, with emphasis on the formulation and interpretation of such an analysis for validation assessment. In order to use the model for prediction, we next employ the Bayesian calibration method introduced by Kennedy and O’Hagan. Towards this end, we discuss how inherent variability can be reconciled with “lack-of-knowledge” and other uncertainties, and we illustrate a procedure that allows probability distribution characterization uncertainty to be included in the overall uncertainty analysis of the Bayesian calibration process.     

基于Excel的正交试验方差分析程序

给出了正交试验L9(3^4)和L27(3^13)方差分析通用的电子表格程序，该方法直观、简便，速度快、准确，具有较强的实用性。     

基于方差检验的并行负载抖动检测

负载抖动是影响负载模型准确性和代表性的关键因素。本文通过两个负载抖动例子给出负载抖动的定义，研究了抖动日志对负载模型的影响情况，提出了一种通过分析总资源向量和最大资源向量的方差检测负载抖动的算法，研究时间刻度参数△t对算法的影响情况，并给出了其较合理的取值范围。     

基于聚类和排序高斯混合模型的说话人确认

基于高斯混合模型(GMM)-通用背景模型(UBM)结构的说话人确认系统不能完全表现说话人的个性特征信息。为此,将聚类方法和排序高斯混合模型相结合,对每个高斯分量按照对应排序值顺序排列,并对UBM进行训练。基于NIST 06 8side-1side数据库的实验结果表明,该方法能在基本保持系统识别性能的前提下,降低UBM的训练运算量。     

Variance results for identification of cascade systems

The objective of this contribution is to analyze statistical properties of estimated models of cascade systems. Models of such systems are important in for example cascade control applications. The aim is to present and analyze some fundamental limitations in the quality of an identified model of a cascade system under the condition that the true subsystems have certain common dynamics. The model quality is analyzed by studying the asymptotic (large data) covariance matrix of the Prediction Error Method parameter estimate. The analysis will focus on cascade systems with three subsystems. The main result is that if the true transfer functions of the first and second subsystem are identical, the output signal information from the second and third subsystems will not affect the asymptotic variance of the estimated model of the first subsystem. This result implies that for a cascade system with two subsystems, where the dynamics of the first subsystem is a factor of the dynamics of the second one, the output signal information from the second subsystem will not improve the asymptotic quality of the estimate of the first subsystem. The results are illustrated by some simple FIR examples.     

C代码API一致性检验中的等值分析

在实际中对C代码进行API一致性检验的过程中发现,API(application programming interface)规范大都涉及以数值为论域的时序性质,与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口.在仔细考察C代码变量符号间等值关系的基础上,给出基于值等价类空间的等值分析方法.这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系,而且由于能够屏蔽等值关系以外的其他信息,还可以为后继分析的优化提供有力的支持.