多总线接口信号处理SoC虚拟验证平台的实现

多总线接口信号处理SoC芯片是以信号处理DSP为核心集成了多个总线接口的片上系统,该SoC涉及的总线协议众多,验证复杂、工作量大,验证将是该SoC芯片开发的瓶颈。为了缩短多总线接口信号处理SoC芯片的开发周期,提高该SoC芯片的一次流片成功率,必须采用更为可靠和有效的验证方案。以SoC验证流程及方法为指导,重点介绍了多总线接口信号处理SoC虚拟验证平台的构建和具体实施。验证结果表明,该验证平台能高效、全面验证芯片功能,提高了芯片验证效率,缩短了整个芯片开发周期,为芯片的成功投片提供了可靠保障。     

恒压供水系统的调试及验证

介绍恒压供水系统的调试及验证.     

武广客运专线非饱和红粘土三轴试验成果及分析

从武广客运专线的泉口、咸宁、耒阳3个工点的不同深度的非饱和红粘土地基中钻探取样,分别进行不固结不排水、固结不排水、固结排水三轴试验,获得了3个工点的非饱和红粘土的粘聚力、内摩擦角的试验值,为武广客运专线红粘土地段的设计提供了设计指标。     

Web应用中的访问控制系统设计

传统的访问控制技术DAC,MAC不适于Web环境,RBAC/Web的响应效率较低.在分析了RBAC模型以及RBAC/Web参考实现的基础上,提出了结合RBAC思想与页面组件技术实现高效Web访问控制的思路,描述了RBAC数据库设计、身份验证与ARS激活、权限验证组件设计的方法.工程实践表明,该方案解决了RBAC/Web的效率问题,能够满足中、小型Web应用项目对访问控制系统的要求.     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。     

高性能MCU的FPGA原型验证系统研究与平台实现

本文研究并实现了一种基于Cortex-A7核的高性能MCU在FPGA原型阶段的验证平台。该设计研究可以针对高性能MCU芯片或其FPGA原型验证阶段的软硬件验证环境快速搭建,通过交互式、软硬件协同的方式对MCU芯片各个模块功能进行实时、可靠的功能验证。高效的FPGA原型验证可以提高MCU研发速度、缩短验证时间、提高验证效率、及时发现芯片设计的缺陷、缩短芯片研发周期。     

基于功能覆盖率的MAC的UVM验证

论文基于UVM验证方法学,以及覆盖率驱动的芯片验证指导思想,搭建并分析了高度可重用的以太网控制器IP的验证平台.为了提高验证效率,论文对MAC的工作流程进行了研究,对其功能点进行了划分,针对性地编写了测试用例.在测试用例的驱动下,对MAC的数据收发功能进行了全流程的仿真验证.在大规模随机测试用例和定向测试用例的共同作用下,加快了验证所需要的时间,节省了仿真所需的计算机资源,达到了功能覆盖率100％的目标.     

基于3H桥APF的分频分相与电流扩容控制及仿真研究

3H桥APF(Active Power Filter)是低压领域有源电力滤波方案的一种衍变结构,本文利用3H桥型APF在物理意义上的独立,提出了3H桥APF的分频分相控制实现对三相之间不同幅值的无功、不同频率不同幅值不同相位的谐波进行独立补偿;对既定容量的装置提出采用组选择开关实现电流扩容控制.本文仿真证明了相关理论的的正确性和可行性.     

基于交叉验证支持向量机算法的交通状态判别研究

传统交通状态判别算法存在准确率低和速度较慢的缺点。将支持向量机(SVM)算法应用于交通状态监测中,并且以径向基函数(RBF)作为核函数,在SVM训练过程中采取交叉验证的方法,即将训练样本分成多个子集,再通过每次保留其中一个子集作为检测样本进行反复训练,获得RBF所需的σ值和惩罚系数C。通过对某主干路上某时段的数据验证和检测表明,基于交叉验证SVM算法具有较高的准确率和速度,可以有效地将其运用到实际中。     

地面高精度磁测在新疆青河县贝勒克勒铁矿的应用

通过对新疆青河县贝勒克勒铁矿高精度磁法勘探资料的分析和研究,工作区可划分为西部、北部高磁异常区、中西部负值异常区、中部面积正负磁场平缓变化区、东部跳跃变化正值磁异常区,结合工作区岩矿石标本磁性参数可判别各类磁场类型形成的地质原因。划分局部磁异常6个,其中M1、M2、M3磁异常与地下隐伏含磁铁矿石英岩有关,M4、M5、M6磁异常与含铁石英岩有关。对局部典型异常M1、M4进行了半定量解释,并进行了钻探验证,实际验证结果与推断结果较为吻合。