简介:摘要院未来战争的复杂性决定了运用作战仿真的方法来研究战争是必要的。本文首先介绍了兰彻斯特方程和EINSTein仿真实验平台两种作战仿真方法,之后,运用EINSTein仿真实验平台对兰彻斯特方程模型进行了仿真实验的验证,验证结果表明了运用计算机作战仿真软件和传统的兰彻斯特数学模型来模拟战争的一致性。
简介:摘要院为满足电网营销的安全要求,设计了适用于电网营销应用的密钥管理系统。该系统采用安全性高的CPU智能卡和密码机,用硬件的方式来产生、存储和传递密钥。应用表明,该方案可提高电网营销数据传输、交互的安全性。
简介:模型的验证是指对模型的性能指标(区分度、校准度)进行考察的过程。根据考察过程中是否使用预测模型的开发队列数据,模型验证可分为内部验证和外部验证。内部验证是检验模型开发过程的可重复性,常见形式包括随机拆分验证、交叉验证、Bootstrap重抽样以及“内部-外部”交叉验证。外部验证考察的是模型的可移植性和可泛化性,常见形式包括时段验证、空间验证以及领域验证。
简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。
简介:摘要 本文介绍了构型管理有关的基本概念,适航取证与构型管理的关系,并对适航规章中对于构型及构型管理的要求进行了分析,指出了局方审查时就构型问题审查的内容和适航审查所关注有关构型方面的问题,提出了民用航空产品构型管理的建议,可供从事民用航空产品研制的工程技术人员借鉴。