共查询到19条相似文献,搜索用时 78 毫秒
1.
2.
3.
4.
方差分析法在制导仿真系统VV&A中的应用 总被引:1,自引:0,他引:1
针对制导仿真系统研究,通过分析和研究方差方法的原理,提出了方差分析法在制导仿真系统VV&A中仿真结果验证和设备误差分析两个重要的应用途径.为了在仿真结果验证时充分利用不同试验条件下的仿真数据和靶试数据,基于方差分析法,对试验条件的不同取值影响仿真结果,并通过对具体试验数据的计算和分析,验证了可行性;对制导仿真系统的误差分析时,提出了设备误差对静态仿真结果影响,丰富了仿真设备误差分析的手段.实践证明,方差分析法是制导仿真系统VV&A中的一种非常有效的辅助手段. 相似文献
5.
提出一种基于事务的用于电路系统的形式验证方法(TBFV).应用该方法,验证工程师可以在行为级对系统进行验证,无需了解设计的细节.为了对该方法进行示范,验证了8051的RTL级实现,并给出了8051指令集的TBFV模型. 相似文献
6.
因通信的同步问题、网络分区的可靠性问题等,分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识.Paxos是近年分布式系统中常见且有效的共识算法,本文通过使用模型检测的方法对Paxos算法进行形式化建模,分析和验证了 Paxos作为共识算法所应当满足的性质,结果表明,Paxos算法满足安全性、活性,但执行过... 相似文献
7.
基于模型的验证(Model-based Verfication)方法在软件开发中,特别是安全性系统、复杂系统的开发中占有的地位越来越重要,MBV侧重于在开发的早期找出错误,从而避免时间、金钱的耗费及重复性的劳动,在研究各种MBV技术的基础上,着重于软件系统的模型验证方法,对各种方法作了基本的介绍,并总结了发展方向。 相似文献
8.
在航空航天、汽车、工业、医疗、通信、机械、电子等各个领域中,随着系统复杂度的不断增加及产品上市时间压力的不断增大,开发团队面临的挑战愈发严峻。在传统的开发流程下,开发团队只有在完成系统集成或原型硬件开发之后才能进行测试和验证,然而,这一阶段才发现的设计缺陷和设计错误将会导致开发团队必须投入大量的人力、财力和时间去对其进行修正。 相似文献
9.
时间自动机模型验证的研究进展 总被引:1,自引:0,他引:1
基于时间自动机的模型验证是一种形式化的实时并发系统时间性质验证技术,重大软件对时间行为、时序关系的高可靠性要求,不断刺激时间自动机模型验证技术的发展.介绍了时间自动机理论、模型验证算法及工具,对该领域的研究进展做了综述,指出了时间自动机模型验证存在的问题和研究方向. 相似文献
10.
11.
: 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 相似文献
12.
13.
介绍一种解决复杂系统仿真可信性问题的模型确认方法.该方法首先将复杂系统划分成相对简单的子系统、基准系统、单元,得到一分层模型树;接下来对模型树中的模型进行排序并安排确认试验;然后利用信息差方法对拥有试验数据的子层模型进行单层确认;最后通过灵敏度分析将子层模型的确认结果传播到父层模型,最后得到全系统模型的确认结果.文中提出的方法适用于试验数据少、可分层的复杂系统. 相似文献
14.
John McFarland Sankaran Mahadevan 《Computer Methods in Applied Mechanics and Engineering》2008,197(29-32):2467
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 T2 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. 相似文献
15.
16.
负载抖动是影响负载模型准确性和代表性的关键因素。本文通过两个负载抖动例子给出负载抖动的定义,研究了抖动日志对负载模型的影响情况,提出了一种通过分析总资源向量和最大资源向量的方差检测负载抖动的算法,研究时间刻度参数△t对算法的影响情况,并给出了其较合理的取值范围。 相似文献
17.
18.
C代码API一致性检验中的等值分析 总被引:1,自引:0,他引:1
在实际中对C代码进行API一致性检验的过程中发现,API(application programming interface)规范大都涉及以数值为论域的时序性质,与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口.在仔细考察C代码变量符号间等值关系的基础上,给出基于值等价类空间的等值分析方法.这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系,而且由于能够屏蔽等值关系以外的其他信息,还可以为后继分析的优化提供有力的支持. 相似文献
19.
Bo Wahlberg Author Vitae Håkan Hjalmarsson Author Vitae Author Vitae 《Automatica》2009,45(6):1443-1448
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. 相似文献