摘要：目前验证的方法和工具种类繁多,对动态验证、静态验证和硬件加速仿真三种典型的芯片验证方法进行综述,在验证设计质量、验证时间和验证成本三个方面说明各自的特点。最后提出了芯片验证的展望。对于芯片验证方法的研究,以期对后续研究人员了解芯片验证方法,在今后的芯片验证设计过程中结合设计特点,选择正确的验证方法有所帮助。

摘要：目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型。经过实验证明,算法无论是在时间效率上,还是在空间复杂度上都优于目前常用的基于图论的算法。

摘要：列车轮对轴温探测设备对保证列车安全运行发挥着越来越重要的作用。文章在总结该设备静态标定验证的基础上,根据列车运行的实际状况,分析了静态标定验证方法的不足。研究并设计了对轮对轴温探测设备的动态验证方法,以此作为传统轮对轴温探测设备标定验证方法的补充,以高效、经济的手段确保轴温探测设备在使用中的精准性与有效性。

摘要：意法半导体(STMicroelectronics,简称ST)推出最新一代ST31安全微控制器,助力接触式和非接触式支付卡、身份证和闸机提高交易安全性。ST31N600采用意法半导体的40纳米eSTM制造技术,集成生物特征识别和卡动态验证(dCVV)所需的能量收集电路和附加连接技术,让无电池的智能卡能够在非接触式和在线交易中加强用户身份验证的安全性。ST31N600基于最新一代Arm SecurCore安全微控制器架构,符合EMV ISO 7816、ISO 14443和ISO 18092接触式和非接触式智能卡标准,并允许设计人员安全连接各种外设,在卡内引入增值功能。

摘要：已有多数云存储数据完整性验证方法效率较低、通信开销较大。为此,提出一种改进的云存储数据完整性验证方法。利用双线性对技术进行数据完整性验证以实现公开验证功能,设计索引表机制进行动态验证,采用随机掩码技术提高方法的安全性。分析与实验结果表明,该方法能有效抵抗服务器的恶意攻击,且具有较低的通信开销与较高的计算效率。

摘要：接触网作为电气化铁路牵引供电的关键设备,其状态好坏直接影响铁路运行安全。为了在运营动车组上装备一套接触网运行状态检测装置对接触网运行状态进行全程监控,从系统的设计要求、设计原则、设计方案着手,引入非接触式的图像处理、机器视觉以及红外测温关键技术,完成装置的系统设计,同时通过静态和动态试验验证装置的性能。试验和现场的实际应用反馈表明,装置满足技术条件要求,同时装置对接触网的检测结果能够为接触网检修提供依据。

摘要：随着系统级芯片(System on Chip,SoC)中输入/输出(I/O)接口数量和复用功能的不断增加,I/O复用电路的验证变得越来越复杂,并且需要耗费大量时间。本文针对I/O复用电路的特点,提出一种基于静态形式验证的高效验证方法,在验证早期对I/O复用进行了复用功能验证和连接性验证,同时也进行了翻转覆盖率收集。与传统基于动态验证的方法相比,本方法可以将验证时间缩短一半以上,显著提升了设计质量和开发效率。

摘要：随着我国高速铁路建设的持续发展,路网规模不断扩大,高速铁路枢纽逐步增多、加大,新建高铁线路如何安全、高效地引入既有高铁枢纽已成为高铁建设后期的重要环节。结合新建郑万铁路引入郑州东枢纽、商合杭铁路引入商丘枢纽2个工期不同的信号系统工程引入枢纽的实例,提出多个新建高铁信号系统同步引入枢纽的实施方案,为类似工程提供借鉴。

摘要：曙三区杜家台油层自1975年开发以来,已经历40多年的开发,目前油水关系十分复杂,如何提高油田开发效果已成为急需解决的问题。杜家台油层组的储层主要为-套中—细碎屑的扇三角洲前缘沉积砂体。位于扇三角洲前缘的油层尽管一直作为主力油层开发,综合含水逐渐升高,但剩余油潜力仍然很大。这些剩余油受控于油层内部渗流差异和渗流屏障,是下一步继续部署的重要目标。然而,常规的油藏描述难于表征厚油层内部的非均质性,因而难以预测储层内部非均质性控制的剩余油的分布。储层构型正是针对储层内部非均质性进行深化研究的领域,对于碎屑岩储层剩余油分布预测及挖潜具有至关重要的意义。