基于VMT的DDR-SDRAM控制器功能验证

介绍了一种基于验证模型技术(VMT)的DDR-SDRAM控制器的功能验证方案。该方案完成了DDR-SDRAM控制器对DDR-SDRAM模型的读写以及AHB 2.0协议的兼容性验证。VMT的使用加快了验证平台的搭建和验证用例的编写。通过分析自动校对结果、仿真波形和覆盖率报告,实现控制器功能验证的快速收敛。FPGA原型验证进一步证明了该方案的可行性。

基于VMT的USB2.0功能验证平台的设计与实现

针对大规模混合SoC功能验证速度慢的问题,在基于USB 2.0数据传输的SoC设计基础上,提出了一种能快速验证USB 2.0协议的功能验证平台。使用验证模型技术,通过硬件描述语言搭建了完整的协议验证平台,包括Vera语言编写的主机VIP、用Verilog语言编写的数字化USB收发器、串行接口引擎、端点缓存器、增强型8051核和外部程序存储器。完成了对USB 2.0底层协议的功能验证,包括高速握手协议、高速/全速设备枚举及高速/全速设备数据传输,实验仿真结果与USB 2.0协议规范完全符合。该平台能降低对USB 2.0接口进行功能协议一致性验证的难度,并有助于缩短大规模数模混合SoC的开发周期。

基于遥感技术的露天煤矿地表沉降监测与预测模型

开发了一种基于遥感技术的露天煤矿地表沉降监测与预测模型。基于卫星遥感Landsat和Sentinel平台的光学影像及合成孔径雷达(SAR)影像构建了一个高效的数据处理流程,流程包括辐射校正、大气校正、几何校正等步骤以及多源数据的同化;采用了支持向量机(SVM)、神经网络和随机森林等机器学习算法,结合从遥感和地面数据中提取的关键特征如土壤湿度、植被覆盖度和地形变化等来预测地表沉降。结果表明:该模型能够准确预测露天煤矿的地表沉降,并为矿区管理和环境监测提供了有力的工具。

某型反舰导弹全弹道数字仿真建模方法研究

仿真技术是一门通用的支撑性技术,其核心内容是模型建立、验证和运行技术,当前已广泛应用于导弹武器系统的研制、鉴定和使用中。利用MATLAB/Simulink进行某型反舰导弹的仿真建模,使建模过程变得容易、直观和迅捷。分别对仿真模型的几个子系统进行定义,并对仿真结果进行了动态显示及分析。最后讨论了有关反舰导弹的仿真验模方法。

强潮地区桥墩局部冲刷模型验证方法研究——以杭州湾跨海大桥桥墩局部冲刷研究为例

从建立强潮地区桥墩局部冲刷模型的重要性出发,简要介绍了通过水槽试验所建立的杭州湾跨海大桥局部冲刷模型.强潮特性使得杭州湾跨海大桥桥墩局部冲刷的实际数据获取难度较大,据此提出了基于海底声学探测技术的数据获取方案,即利用多波束测深技术进行桥墩局部海床高程测量、利用多普勒声学测量技术进行潮流测量等,同时结合底质钻孔取样进行底质分析.在介绍了实测数据的处理方法后,结合桥墩设计资料进行了模型参数的计算及模型验证,并根据桥墩实际情况对验证结果进行了相关分析,最后肯定了本方案对于强潮地区进行桥墩局部冲刷观测的适用性.

利用回归预测技术进行港口吞吐量预测的方法研究

以某港口近15年的货物吞吐量作为原始数据,采用回归分析技术,建立回归预测模型,得到预测结果,为港口的发展战略研究提供一定的技术支持。

基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。

系统仿真技术在某飞行器侧向回路稳定性分析中的应用

系统仿真技术在辅助控制系统模型的建立、控制器的设计以及控制系统的分析中发挥着至关重要的作用。本文主要讨论了系统仿真技术在某飞行器侧向回路非线性模型的简化及其稳定性分析中的应用。利用简化模型得到了一组预测飞行器侧向回路极限环的解折计算公式、并结合实例利用仿真技术对所得结论进行验证。

军用指挥控制软件可信性分析与验证技术

随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥。在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析与验证技术。分别从安全性质形式化规约技术、基于模型检验的指挥软件验证技术和基于静态分析的控制软件分析技术三方面保证军用指挥控制软件的可信性,最后,提出了适用于指挥控制软件全生命周期开发的形式化分析与验证集成环境。

建模与仿真VV&A工具设计与实现

在深入研究VV&A过程模型的基础上,建立了仿真和建模VV&A工具设计方案,详细介绍了各个模块的功能、相互之间的关系及工作流程。应用ODBC互连技术实现接口间的通信,将VV&A工具应用于实际工程中,取得了令人满意的结果,从而有效提高了仿真VV&A过程的经济性和快捷性。

配电网实时建模技术及关键问题研究综述

随着智能电网建设的推进,智能采集设备终端铺设率大大提高,需求侧终端电气化已成为不可逆转的发展趋势。近年来,低压配电网由于系统信息更新不及时和管理的无序性导致配网拓扑与实际配置信息出现偏差。这些问题的出现影响配电网安全运行的同时,也对供电企业经营风险造成了影响,迫切需要探索配电网的实时建模技术,以精准辨识用户的接入信息,保障配电网的安全稳定运行。为此,首先从配电网结构特点、供电方式和配电网模型信息集成技术三方面分析了配电网的技术概况。在此基础上,从物理拓扑分析、拓扑辨识以及拓扑关键校验技术综述了配电网实时建模关键问题的研究现状,并进一步围绕配电网实时建模关键技术对未来可能的研究方向进行了展望,以期为未来研究提供参考。

汽车多元动态系统仿真模型响应分析方法

针对动态系统仿真模型有效性验证中输出响应间存在强相关性的问题,基于误差评分法和主成分分析法,提出了一种既能全面分析动态系统输出响应间曲线特征差异,又能解决输出响应间相关性问题的多元响应分析(MRA)方法,并结合具体实例对MRA方法进行了验证。结果表明,该方法能够实现多元数据的降维并对具有强相关性的数据进行评分,提高了验证效率和鲁棒性。

基于大数据分析技术的电子商务供应商选择研究

针对电子商务供应商原有选择方法特征抓取不全面的问题,提出大数据分析技术的电子商务供应商智能选择方法。过滤并优化外部信息,减少无效数据干扰,分析供应商选择的影响因素,根据电子商务特性搭建供应商选择指标体系,采用层次分析法确定指标权重,建立判断矩阵,构建智能选择模型。实验结果表明,所提出的智能选择方法能够准确抓取供应商财务状况数据信息,弥补了原有方法特征抓取不全面的问题,为电子商务企业与供应商间的良好合作关系夯实了基础。

轨道客车车窗粘接密封用胶浅析

从结构设计、试验以及施工工艺等方面对车窗粘接进行分析,阐述各个过程的技术参数要求和控制因素。

科技进步增产的“多年平均产量移动模型”的验证

应用全国、31个省、6个典型地区和16个典型县的数据对科技进步增产的"多年平均产量移动模型"进行了系统性的验证和讨论。研究结果如下:(1)定义了用相邻10年平均单产之差表示科技进步对单产的贡献及其趋势,结论是科技进步是单产增加的主要驱动力;(2)分别定义了用每年单产与5、10、20年平均单产对比关系的概率作为短、中、长期单产稳定性的指标;稳定性研究结果表明国家级大于省级、省级大于地区级、地区级大于县级,不同省、不同地区、不同县之间稳定性差别比较大,这与境内气候的互补性和农田抗御自然灾害的能力有关;(3)就全国而言,越是经济发达的地区科技进步增产加速的时间越早;发达地区单产存在增加-下降-回升阶段,下降原因是经济快速发展初期高产农田被大量占用和(或)蔬菜、水果面积大量增加,回升原因是科技进步持续作用于中、低产田而使其单产得到稳步提高。

并行的Windows应用层主动防御信任链模型

为了提高Windows应用层完整性度量的效率,防止一些恶意代码在应用程序通过完整性校验后仍可以在进程创建时以执行体"重定向"等方法继续运行,破坏系统的完整性,本文利用虚拟化技术、白名单技术和Hook技术提出一种并行的Windows的主动防御信任链传递模型,降低了应用层完整性度量时间开销,且有效地阻止了破坏系统完整性的恶意代码的运行。通过对所提模型的形式化验证,表明新模型满足可信传递需求。

基于GIS的三维数字校园系统设计及模型构建

将地理信息系统和虚拟现实技术结合起来,设计了ArcGIS和Multigen Creator综合的三维数字校园系统,分析了系统功能,确定了系统实施的技术路线。在此基础上,结合黄河水院8号实训楼,建立了三维校园模型,进行了系统功能的实用型验证。

验证与确认数据库系统设计与实现

为了满足CFD软件验证与确认的需要,针对当前搜集的各类标模,分析其中各类算例及算例包含的有效数据特征,提出一种基于ASAM-ODS(Open Data Service)的算例数据模型及覆盖完整算例数据的数据管理解决方案。采用自主可控国产关系型数据库,利用跨平台编程技术,搭建验证与确认数据库平台体系框架。实现基于模型的算例数据完整管理、基于不确定度分析的试验数据和仿真计算数据的比对、以及算例数据可视化在线展示等主要功能,最终完成了验证与确认数据库系统建设工作。为验证与确认体系的CFD软件自动化测试平台和可信度评价平台提供有效的数据支撑。

基于LSC的形式化验证方法

调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.

基于Petri网的区块链应用系统业务流程模型研究

区块链应用系统在技术架构和运行方式等方面与传统DBMS有较大区别,描述了区块链应用系统的运行机制和技术特点。在工作流建模技术的基础上,提出了区块链应用系统业务流程的模型描述方法;借鉴传统DBMS业务流程的正确性定义,给出了区块链应用系统业务流程模型的正确性定义;设计了模型正确性验证算法,并详细说明其步骤;选择一种流程引擎,介绍了业务流程模型的注册、执行的方法;为了进一步说明建模和分析方法在实际开发中的应用,以身份认证系统中的一个具体模块为例,对业务流程的所有交易进行抽象,建立流程模型并进行了验证。