验证算法相关论文
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
在机场和火车站等场所，利用人证核验系统可以对证件与持证人的身份一致性进行核验，基于计算机视觉技术的智能化人证核验系统可以提升......
该文主要研究基于矩的离散余弦变换算法及其脉动式阵列计算体系结构,在自主开发的软硬件平台上,利用可重构器件(FPGA),验证算法的......
工作流技术是当今一项飞速发展的技术,起源于生产组织和办公自动化领域,通过将工作分解成定义良好的任务或角色,按照一定的规则和......
人脸验证是计算机识别领域非常活跃的研究课题,它包括三个主要技术环节,即预处理、人脸特征提取和分类器设计。人脸特征提取又称为......
高速公路是人类社会前进的基石，是实现经济社会现代化的必然选择。它有效的促进沿线工业和农业经济的高速发展，为改善商品流通环境、......
近年来,互联网和软件应用技术的普及和迅猛发展,使得软件的发展逐步趋向网络化、平台化和服务化。SaaS (Software as a Service)具......
通过研究GNSS-R基本几何关系和C.Wagner镜面反射点估计算法,提出了基于角度二分法的镜面反射点估计算法,该算法与C.Wagner算法的主......
众所周知，在自然界中绝大部分的材料其介电常数和磁导率均为正值，而电磁超材料作为一种人工合成材料，在一定的频域内其介电常数和磁导......
业务流程模型是进行流程分析的基础，已有工作大都借助单一模型描述所有案例共享的业务流程控制逻辑信息和语义信息。模型所携带信息......
相比较于传统内燃机而言，电动机能够精确地产扭矩，同时这个扭矩能够精确的测量到。并且电动机能够独立的安装在每个轮子上，同时能够产......
自从人类进入工业信息化时代以来,面对市场需求变化加快,全球竞争日益激烈,顾客要求的个性化和定制化越来越复杂,如何完成企业过程......
为了能够在同一个千兆以太网线路上给多个用户提供类似专用线路的网络效果,此文研究了在1000 M 以太网线路上把同一个物理通道分为......
带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用"on-the-fly"实例化算法来验证传值进程之间的互模拟等......
实际生产中的配合加工调度问题是生产调度理论研究的一个难点,它既要考虑常规调度标准约束,还要考虑工件与工件之间的配合工序约束......
提出了一种用于验证云服务器上外包数据完整性的算法。通过引入双线性对,由用户随机选择挑战数据发送给服务器,云存储服务器返回生......
食品机械厂异地局域计算机协同设计采用标准密钥管理协议IKE(Intemet Key Exchange)来验证身份、协商安全服务并产生其共享密钥,与......
基于在不中断应用程序的前提下RTDX技术能实时进行主机与目标机间的数据交换,提出了一种TMS320C6201的软件验证方法,用以验证算法......
密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的......
为提高工作流授权合理性验证的效率,提出了基于权限和任务的工作流授权合理性验证方法。通过对工作流授权约束的分析,将授权约束分......
基于强RSA假设,本文提出了一种高效的群签名方案.由于该方案没有采用知识签名作为基本构件使得该方案的签名算法和验证算法都非常......
论述了新一代网络协议IPv6在安全方面的先进之处及其技术要点，并指出了它在网络不同层次的应用及安全性能。......
异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点.发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键.其......
为了实现Cisco SRP环按需分配带宽份额,本文在SRP公平性算法的基础上提出了为节点按比例分配不同权值并分配带宽的思想,并就这种分......
成员撤消问题是设计群签名方案中的一个难题,到目前为止尚无满意的解决办法.在ACJT群签名方案的基础上,提出了新的成员撤消方法.在......
期刊
π-演算采用互模拟作为进程等价的准则.对有限状态的π-演算进程互模拟等价是可判定的，由此提出了互模拟检测算法的一种优化技术.该......
研究了匿名分组身份验证算法，该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题．算法使用一个硬件模块TIM解决远程的身......
工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法，从而确保在构造期间产......
将椭圆曲线密码机制与EIGamal机制、ECDSA机制进行了对比，提出了一种新的签名机制。这种机制可以抵挡自主选择消息攻击，并且不用求逆......
介绍粗糙集基础上的属性分类系统的构造,给出一种数据挖掘中新的分类方法:从初始的数据信息出发,依次构造约简属性集,并对其使用Ba......
基于TCG提出的可信计算技术为网格协作安全性提出一种匿名分组身份验证算法,该算法可以非常可靠地解决网格计算平台之间的身份匿名......
基于实体造型,综合现有NC几何验证方法的优点,研究与实现了一种新的Z&N验证算法.利用Z高度法效率高的优点,判断采样点是否超差;利......
利用安全向量两方加乘混算协议和安全两方矩阵加乘混算协议基本思想,构造和改进了一种安全两方矩阵计算协议。该协议引入了加密算......
针对文献[1]《基于RSA的ElGamal型有序多重数字签方案》论文中的部分提法，作出一些改进.认为改进后使这个签名方案更加完善，同时对文......
某炼油厂重油催化装置原控制系统操作站部分组件已老化,系统机柜电源故障率高,I/O卡件设备频繁出现故障。原装置联锁与工艺过程控......
非对称x-演算是一种移动计算模型。文介绍非对称x-演算的语法和符号操作语义，给出非对称x-演算的符号互模拟的验证算法，该算法根据算......
RNS(余数数制系统)是一种整数运算系统,在粒度精确性、能源损耗和响应速度方面有着很大的优势。CCMP协议是无线网络中对数据进行加......
Petri网是一种适用于多种系统的图形化、数学化的建模工具，并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的......
极大团作为稠密子图中具有代表性的一种,一直是数据挖掘领域关注的重点。极大团中蕴含的重要数据信息也被广泛应用于各种领域,例如......
传闻：广电运通已经拥有人脸识别技术专利。 记者求证：记者致电公司证券部，工作人员表示一切以公告为准。 近期有消息指出，广电运......
本文论述了新一代网络协议IPv6在安全方面的先进之外及其技术要点，并指出了它在网络不同层次的应用及安全性能。......
讨论了网络协议Ipv4的缺点和新一代网络协议IPv6的优势，认为IPv6解决了IP地址匮乏的问题，同时，简化了协议报头，引入了两个新的扩展报头......
提出了一个基于椭圆曲线离散对数问题的可证安全性的一次签名方案,构造了一个椭圆曲线群上的单向函数,给出了签名方案初始化的相关......
为了简化在限界模型检测过程中模型的建立过程，给出了一种采用基于一阶迁移系统语言的模型建立方法，并在此一阶迁移系统语言中加入了......
实际业务中的各个实体之间往往存在着相互影响，采用树形结构反映这些实体之间的组织结构时，由于各个实体映射成为树形结构的各个节点......
