SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

基于功能虚拟原型的验证方法

为解决片上系统验证和设计不能同步、系统级验证效率低下的问题,该文基于统一验证方法提出一种基于可演化模型的三级验证过程模型。该模型由系统级、行为级和RTL级三级功能虚拟原型演化模型构成,在不同设计阶段复用相同的系统级验证环境,可减少验证的重复工作,将其应用于设计的整个流程,可成功地实现验证和设计同步,提高验证效率。     

基于多维度覆盖率的嵌入式软件测试分析方法

嵌入式软件主要用于对其他设备的控制、监视及管理,对其进行测试时需要1个有效的完整度量,用于评价测试的可靠性、稳定性,为此,提出基于多维度覆盖率的嵌入式软件测试分析方法.利用多维度覆盖理论,从多个角度分析软件测试覆盖率,根据软件测试实际情况,找出软件测试中的薄弱点,对软件测试动态结果做出综合评价.在同一环境运行条件下,对...     

一种新的图像颜色特征提取方法

为了降低特征空间的维数,将图像的先验知识融合到采用SVM构造的分类器中,提出了一种新的基于HSV空间的20色非均匀颜色量化算法．与传统的颜色量化算法相比,该算法降低了时间和空间复杂度,提高了检索的准确率,易将图像的先验信息融合到SVM的核函数中,提高了分类效果．实验表明本文提出的图像颜色特征提取算法可成功应用于海量图像库检索和图像语义信息的自动提取．     

一种高效的基于身份的强指定验证者签名方案

目前人们提出了一些基于身份的强指定验证者签名方案,不过这些方案都存在不足之处。针对这些问题,本文利用双线性映射提出了一个新颖的基于身份的强指定验证者签名方案,并在随机预言模型下基于双线性Diffie-Hellman假设严格证明了方案的安全性。通过与现有方案的比较,可以看出本文提出的方案不但效率是最高的,而且签名长度也是最短的。     

分层式验证平台及覆盖率技术在SOC上的应用

本文介绍了应用RVM方法学搭建分层式验证平台,并阐述了基于RVM方法学的覆盖率驱动技术。这两种技术的应用帮助验证工程师提高验证效率并能确保验证的完备性。     

一种基于规则的自动程序修复方法

为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性。此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力。基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比。实验结果表明,与现有的GenProg和PAR方法相比,所提方法有明显更高的修复率和正确率。     

Chisel构建处理器模型的功能验证方法研究

随着航空硬件设计复杂度的提高，芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间，有必要在占据设计大量时间的验证中，研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set architecture, ISA)的处理器模型ARMChisel,该处理器模型采用新型的硬件语言Chisel构建，是一个具有高复杂性的硬件设计。基于这一嵌入式处理器模型：(1)设计了支持ARM V4 ISA架构全部指令的随机指令生成器，提高了生成测试激励的速度；(2)根据新型构建语言Chisel的特点，针对被测处理器模型设计了Chisel层面初级验证、覆盖率快速验证、直接测试验证和复杂应用程序验证策略，确保达到预期的覆盖率；(3)在Chisel环境和Verilog环境中搭建了基于嵌入式处理器模型的测试平台，测试平台收集覆盖率同时能快速准确地发现错误并定位错误，提高了验证速度。采用FPGA(field programmable gute array)方法加速大型应用程序的验证，缩短了验证周期。     

基于内容的中国画识别与分类方法

许多中国画作品的图像被数字化后在因特网上展出,如何有效的识别它们并进行分类是一个值得研究的问题.提出一种基于内容的中国画识别与分类方法,通过颜色和纹理特征来表现中国画图像的可视内容.结果显示该方法能够有效的识别和分类中国画图像,其中支持向量机的分类算法可以取得最佳的分类效果.     

一种基于自验证公钥的门限代理签名方案的安全性分析

Xue和Cao提出了一种基于自验证公钥的门限代理签名方案,然而,该方案是不安全的.给出了对该方案一种攻击:攻击者获得一个合法的原始签名人发送给代理签名人的签名了的授权证书以及代理签名人生成的一个有效的代理签名后,能够伪造出一个新的对相同消息的代理签名,而原始签名人变为攻击者自己,由于验证者并不能验证代理签名人到底是代表谁生成了代理签名,这样,攻击者就获得了与合法原始签名人相同的权益.特别地,代理签名人代表原始签名人生成的门限代理签名可以被转化为普通的门限签名.分析了该方案存在安全漏洞的原因并提出了改进措施,改进措施能有效地弥补原方案存在的安全缺陷.     

说话人确认中针对语音编码差异的似然比得分补偿方法

多编码环境下的说话人确认常常遇到训练和测试语音编码不匹配问题，导致性能显著下降。提出了一种针对语音编码差异的似然比得分补偿方法，不但可以消除编码差异，还便于设计与编码无关的单一阈值。该方法通过采用极大似然语音编码检测器，对输入语音信号经历的编码算法进行标注，并估计相应编码造成的似然比得分分布的畸变，最后在说话人确认时校正这一差异。实验结果表明，这一方法能够显著提高训练和测试编码不匹配时的确认性能，使等错误率平均降低3．11％，逼近了匹配时的结果，从而提高了说话人确认系统的稳健性。     

基于SVM的离线签名认证

生物特征识别技术作为一种身份识别的手段,具有独特的优势,近年来已逐渐成为国际上的研究热点．签名认证属于生物特征识别技术的一种,已经在国内外各个领域应用数十年,被人们广泛接受．对现有的离线签名认证方法进行了改进和创新,提出了四种特征,包括方向特征、纹理特征、动态特征和复杂指数．认证阶段采用支持向量机来鉴定签名的真伪,所取得的最好实验结果是平均错误率达到了5．4％,和目前国内外离线签名认证的相关实验结果相比,说明了本实验算法的有效性．     

一个文本相关的说话人验证系统的实现

本文详细介绍了一个说话人合作的、文本相关的说话人验证系统的实现。     

机制主义下控制系统的拟人特性

为了从功能主义的角度验证机制主义的“智能生成的共性核心机制”——“信息－知识－智能的转换”理论的正确性，研究了控制系统拟人特性——“自协调、自适应、自组织、自诊断”特性及其相互关系，具有拟人特性的系统可以根据内外环境变化而自动变化、自行维护. 提出了使用功能主义方法即专家系统实现拟人特性的方法，并设计了自协调专家系统、自诊断专家系统、自组织专家系统、自适应专家系统的框架，而专家系统的设计过程，充分体现了信息向知识的转换，知识再向智能的转换.     

机制主义下控制系统的拟人特性

为了从功能主义的角度验证机制主义的“智能生成的共性核心机制”——“信息－知识－智能的转换”理论的正确性，研究了控制系统拟人特性——“自协调、自适应、自组织、自诊断”特性及其相互关系，具有拟人特性的系统可以根据内外环境变化而自动变化、自行维护. 提出了使用功能主义方法即专家系统实现拟人特性的方法，并设计了自协调专家系统、自诊断专家系统、自组织专家系统、自适应专家系统的框架，而专家系统的设计过程，充分体现了信息向知识的转换，知识再向智能的转换.     

指数分布可靠性验证试验系统的设计与实现

工程实际中,大量产品采用指数分布模型。指数分布可靠性验证中,需查阅大量表格,计算分析繁琐,急需实用的计算分析软件系统。按国家军用标准提出了指数分布可靠性验证试验系统的设计与实现方法,并研制了分析软件,帮助工程技术人员快速、准确地选择验证试验方案,从而有效地评定产品质量,并使其达到预定目标。     

基于深度卷积神经网络的跨年龄人脸识别

提出了一种应用于跨年龄人脸识别的联合学习方法,该方法由深度卷积神经网络构建而成,能在特征学习的同时学习到最优的测度函数,从而避免不合适的固定阈值所带来的匹配错误.针对有限的内存、过拟合和计算复杂性高的问题,在模型训练过程中采用了多种新颖和有效的训练策略.实验证实了该联合学习方法的有效性,在公开数据库MORPH-II上的识别正确率达到了93.6％.     

短群签名的高效批验证

进入普适通信的时代,从车辆到心脏监听器等大量设备都需要与它们的环境彼此交流信息,从而对验证和安全通信的要求不断上升：①密码费用较低;②能够快速验证大量不同来源的消息;③隐私保护。文章针对一个高效的短群签名体制提出了一个批验证算法,其中验证运算的主要部分只需要2个双线性对,就可满足上面的全部3个要求。     

系统芯片的混合验证方法

阐述系统芯片 (SOC)的设计验证特点。综述目前流行的验证方法 ,指出所存在的问题。论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势