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

来源 :计算机仿真 | 被引量 : 4次 | 上传用户:whywxh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模型检验是保证模型可信度的重要手段,根据模型输出的不同,应选用不同的检验方法。模型检验中,通常很难事先预知模型输出的分布情况,而符号检验法适用于总体分布情况未知时的假设检验问题,因此适用于模型检验问题。典型的符号检验法虽然简便、直观,但精度较差,忽略了原始数据中的许多信息。修正的符号检验法将模型检验问题分成了若干子假设问题,并通过对样本数据大小比较、以幅值作为统计量的修正,使之可以处理动态参数的检验问题,较充分地利用了原始数据中的信息,提高了检验精度。算例也表明该方法是适用的。
其他文献
基于元数据开发管理信息系统极大地提高了系统的开发效率。对以Delphi7.0基于元数据开发管理信息系统的两种实现方式进行了论述和比较.探讨了基于元数据开发管理信息系统的主要
通过分析嵌入式实时操作系统μC/OS-Ⅱ提供的任务相关的接口,来引出μC/OS-Ⅱ中接口的设计思路和实现机制,并通过实例予以验证,对μC/OS-Ⅱ的应用程序的开发具有参考价值。
DNN(DotNetNuke)是一个免费、开源、可扩展的内容管理系统,可广泛应用于商务网站、企业内网(Intranet)外网网络、在线内容发布网站等,是开源门户网站的一个比较优秀的框架。它是建
在简要介绍体育CAI开发目的及意义的基础上,探讨了积件思想在体育CAI中的应用。积件思想在体育CAI中的引入。使得体育CAI的结构设计及实现过程有别于一般CAI的设计与制作过程
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数.可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算时W
某学院公共计算机机房采用先进的机房管理系统,实现了机房管理工作简单化、智能化、规范化和高效化;加装了增量保护卡进行机房维护,有借鉴意义。
针对高校多业务系统异构数据库的特征.提出基于Web Services的校园异构数据库数据集成的框架体系结构,并对数据集成的关键技术进行研究和设计,为校园数据共享和互联互通提供一种
针对大气层外高速飞行的动能拦截器,描述了末制导段拦截器的六自由度运动学方程。考虑到拦截器实时飞行过程中存在一定的误差,包括惯导误差、导引头测角偏差、动力系统误差和质心漂移,建立了拦截器在末制导段的误差模型。采用修正比例导引法设计末制导轨控规律及时补偿拦截器的法向需用过载,并使拦截器的姿态始终跟踪弹目视线。仿真结果验证了该误差模型的合理性,并在保证拦截器姿态稳定的情况下能有效实现拦截器末制导段的制导
为了使Petri网与SDG(Signed Directed Graph)结合的建模方法适用于复杂间歇过程,提出一种改进的建模方法。首先将Petri网中的库所、变迁、托肯分类并赋予新的物理意义,使其更好地描述同步、循环特性;另外提出一种基于标准表的Petri网与SDG模型的连接机制;论述了模型的自动推理过程;最后将模型应用于某工业生产过程,得出HAZOP分析结果。改进后的模型能够更好地适用于具有同步
感应电机定子电阻随温度和定子电流频率变化,是影响直接转矩控制低速性能的主要原因之一。文中分析了定子电阻变化对直接转矩控制性能的影响,并指出可能出现系统不稳定的现象。根据实际定子电流和给定定子电流的差值,提出了基于自适应PI的在线定子电阻补偿方法,解决了定子电阻对系统性能影响的问题。其优点在于只用到电流信号,结构简单和易于实施。仿真结果表明,提出的方案能实现对实际定子电阻的跟随和对控制系统定子电阻的