摘要：异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点 .发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键 .其核心课题就是建立异步电路的验证算法 .该文整理列举了基于多种数学模型的验证算法 ,如逻辑模型、代数模型、符号模型、数值模型和几何模型的验证算法 ,并从应用的角度将现有的异步电路验证算法分为两类 ,分别是事件时序分析类算法和状态空间搜索类算法 ,从算法的理论基础、应用背景、模型结构、图形描述、适用范围、算法复杂度编程复杂度等多个角度作了比较研究 ,给出了部分代表算法的应用算例 。

摘要：为了确保大数据的完整性,对泛在网络隐私大数据完整性验证算法进行研究。首先,确定单项验证主私钥数值,并设计IDB-RDIC安全重叠验证计算结构;其次,创建安全循环描述完整性验证算法模型,同时建立双线性验证矩阵,完成对大数据完整性验证算法的设计;最后,设计对比实验。测试结果表明,在不同的测试时间下,与传统的多云存储大数据完整性验证算法相比,本文设计的隐私大数据完整性验证算法最终得出的哈希比相对较高,表明该算法的实际应用效果更佳,误差较小,具有实际的应用意义。

摘要：基于实体造型,综合现有NC几何验证方法的优点,研究与实现了一种新的Z&N验证算法。利 用Z高度法效率高的优点,判断采样点是否超差;利用矢量分割法检测结果可靠性高的优点,求解沿着设计 曲面的法矢方向,采样点到刀具扫略体的距离(切削误差)。

摘要：基于TCG提出的可信计算技术为网格协作安全性提出一种匿名分组身份验证算法,该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题.算法使用一个硬件模块TPM解决远程的身份验证,并通过TPM机制可以提供可靠的匿名验证和平台认证功能.算法中所有涉及的验证过程都是基于匿名机制实现的,除了实现匿名验证机制以外,算法还提供一套完整标记恶意网络实体的方法.提出了网格计算中虚拟分组的匿名认证平台架构,并在此架构基础上分成5步实现匿名验证算法,然后说明了算法在一种对等计算平台的应用实例,与GT2,GT3,GT4以及信任管理进行安全性的比较,并设计一个实验评价其性能.

摘要：实际生产中的配合加工调度问题是生产调度理论研究的一个难点,它既要考虑常规调度标准约束,还要考虑工件与工件之间的配合工序约束。以最短加工时间为目标函数,建立配合加工调度模型,并采用启发式倒排算法对其进行求解。该算法能有效保证工件交货期,最后以一个实例验证算法的有效性。

摘要：食品机械厂异地局域计算机协同设计采用标准密钥管理协议IKE(Internet Key Exchange)来验证身份、协商安全服务并产生其共享密钥,与网格技术融合。IKE的握手采用PSK(预共享密钥)方式或RSA方式,密钥长度为64-2048位可选;安全服务的加密算法采用国家密码委员会推荐的加密算法;验证算法采用HASH-MD5,保护数据完整性,验证密钥长度位数。

摘要：成员撤消问题是设计群签名方案中的一个难题,到目前为止尚无满意的解决办法.在ACJT群签名方案的基础上,提出了新的成员撤消方法.在新方案中,管理员在撤消一个成员时仅需要一次乘法运算来更新群公钥,签名和验证算法的计算量均独立于目前群成员个数和被撤消的成员个数,因而算法是高效的.以前的具有撤消成员功能的群签名方案,签名和验证算法的计算量要么依赖当前的群成员个数,要么依赖被撤消的群成员个数,而且群公钥的更新或者成员密钥的更新往往需要多次指数运算.

摘要：提出了一种基于XKMS的证书验证机制,设计了集成在XKMS服务中的证书验证服务模块,描述了证书路径验证算法,改进了XKMS-OCSP机制,并给出了证书验证的过程。

摘要：实际业务中的各个实体之间往往存在着相互影响,采用树形结构反映这些实体之间的组织结构时,由于各个实体映射成为树形结构的各个节点,这些节点之间也具有相关性,造成了进一步应用的不便,因而提出了一种验证此类具有节点相关性的树形结构的验证方法。通过将实体间的相关性整理成树型结构,同验证对象进行比较;在处理节点的不同取值时,采用了生成虚节点并与原节点同名不同值的方法;分析了影响算法时间开销的各种原因;给出了一个实例对验证方法予以说明。

摘要：为了简化在限界模型检测过程中模型的建立过程,给出了一种采用基于一阶迁移系统语言的模型建立方法,并在此一阶迁移系统语言中加入了通道的功能,增强了描述能力。然后在此基础上完成了一个以基于插值和k步归纳的限界验证算法为核心的模型检测工具(BMCF),最后利用该工具对常见的互斥协议,简单数据传输协议的性质进行了分析与验证。结果表明,利用该工具对系统进行建模具有方便直观的特点,并借助实现的验证算法能高效的检验性质的正确性,如果性质不成立工具还会给出反例提示。