一种可配置与可扩展的USB3.0验证知识产权协议栈设计

USB3.0可满足高速外设对总线带宽及传输速率的需求,已广泛应用于高速外设。而USB3.0控制器验证已成为片上系统功能验证的重要组成部分。为此,在分析USB3.0验证知识产权(VIP)结构的基础上,研究VIP协议栈及其可配置与可扩展设计,从协议层、链路层、物理层、配置参数类、callback类5个方面展开。与定向测试法相比,该协议栈在大规模功能验证中可有效提高验证效率。

基于知识的仿真模型的验证方法

仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证。这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB)。通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程。在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告。此外,我们也讨论了验证相关知识的获取过程和细节。

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和知识验证判定准则的实例 .

专家系统知识库验证Ⅰ．若干问题

对基于规则和框架的专家系统知识库验证中遇到的若干问题进行了深入探讨。首先，简要分析了知识表达和知识库的组成，接着定义了知识库的Ａ、Ｂ两类知识。对Ｂ类知识，包括冗余、矛盾、循环、不完备等进行了系统分类和分析。最后，讨论了Ｂ类知识对专家系统性能的影响。

知识验证信念对于多文本阅读理解的影响机制:阅读策略的中介效应和主题知识的调节效应

为厘清知识验证信念对于多文本阅读理解的影响机制,本研究构建了有调节的中介模型。采用知识验证信念量表、主题知识问卷和阅读策略量表,对于173名大学生进行调查,并要求其在多文本阅读理解之后进行开放问题回答。结果显示:精致化策略和信息收集策略在知识验证信念对于多文本阅读理解的影响中起部分中介作用;知识验证信念对于精致化策略的预测作用受到主题知识的调节。该结果不但展示了知识验证信念对于多文本阅读理解的间接影响机制,也提示了主题知识的作用在于提供了选择复杂策略的自由。

智能网络管理中一种基于Petri网的知识验证技术

知识库是智能网络管理系统中的重要组成部分 ,知识库的维护要求知识库系统必须具备知识的验证功能 .智能网管系统中知识组织的动态性决定了知识的结构性验证必须正确、有效和及时 .本文以有色 Petri网为基础 ,针对智能网管系统中知识验证的主要内容 ,以一种扩充的有色 Petri网作为描述和分析工具 ,建立了相应的知识表示模型和知识验证模型 ,提出了一种简洁的、基于有色 Petri网的知识验证方法 ,并给出了相应的判定准则 .

网页文本中部分关系知识的获取与验证

重点研究了如何从大规模W eb网页文本中获取一种特殊的知识——部分关系知识(M ereo log ical know ledge)。介绍了部分关系知识的6种不同形式,在此基础上自动和半自动地获取这些部分关系知识的文法模式,建立文法模式库;然后基于文法模式获取例句来抽取准概念并进行局部验证;利用基于图论的方法构造部分整体图,将所有准概念从全局的角度进行分析验证。实验结果证明了该方法的可行性。

基于零知识验证的密文去重与密钥传递方法

文件去重技术已广泛运用于云服务器中,有效地减少带宽并提高资源利用率.目前大部分客户端密文去重方案中,文件加密密钥均采用收敛加密,当文件部分信息泄露或文件熵值较小时,收敛加密不能保证语义安全;部分方案中文件所有权认证采取挑战一定数量的文件数据块进行所有权认证,仅能在一定概率条件下通过所有权认证;部分方案中加入可信第三方,需要更高安全假设,不适用于现实场景.针对上述不足,该方案提出了一种新的密文去重场景下所有权认证与密钥传递方法,利用零知识验证方法,通过不损失熵的文件大摘要实现文件所有权认证,利用隐藏凭据恢复方法实现密钥安全传递.该方案具有密钥与文件分离、完整所有权认证、不使用第三方传递密钥等特点.安全性分析理论证明本方案所有权认证及密钥传递达到了可证明的安全强度,实际云平台测试数据表明:该方案减少了密文去重运算量,使用户可以更高效地使用云服务.

面向开放式信息抽取系统的知识推理验证

开放式信息抽取系统是从Web等非结构化文本中挖掘知识的主要途径,但其抽取结果往往存在大量噪声,对知识发现以及知识库构建产生较大影响。提出一种基于概率软逻辑模型的知识推理验证方法,该方法首先使用一阶逻辑语言对知识抽取结果进行转化和推理,并且在推理过程中引入本体规则进行约束,在此基础上,建立推理规则的自动学习机制,解除传统规则推理对于实体解析规则的依赖,进而实现对知识的自动推理和验证。经实验对比验证,该方法具有更优的算法性能,实现了规则的自动学习,提高了知识推理效率,对验证知识的语义规范性和正确性有积极作用。

基于智能知识验证的身份认证系统

身份认证是信息安全的第一道防线,但现有的身份认证系统含有多种不足。系统提出了一种基于智能知识验证的身份认证技术,采用动态提问的方式与用户进行交互,模拟人脑的逻辑思维与判断,辅助原有的身份认证系统进行安全性更高的身份验证。它依托人工智能,并具有学习性,在一次次的推理过程中,不断获得新的有效知识,从而达到系统学习的目的,进一步加强下一次身份认证的准确性。

基于零知识验证签名的食品供应链追溯算法研究

为了解决现有食品供应链溯源机制中缺少身份认证机制、溯源数据的真实性和完整性无法保证的问题,提出了一种基于零知识验证签名的食品供应链追溯算法。首先,分析现有食品供应链追溯机制存在的不足,运用零知识验证签名隐私保护特性,构建基于零知识验证签名的食品供应区块链的结构和追溯模型。然后,依据食品供应链构成和编码原理,对多目标食品供应链的区块追溯的工作机理进行研究,设计出零知识验证签名的食品供应链追溯算法。最后,在同盟链环境下,通过仿真实验结果分析表明,该算法在追溯时间短、追溯路径准确率均优于比较算法。因此,该算法是一种面向多用户、快捷、准确率高、保密性强的区块链追溯算法。

SoC多语言协同验证平台技术研究

SoC基于IP设计的特点使验证项目中多语言VIP(Verification IP)协同验证的需求不断增加,给验证工作带来了很大的挑战。为了解决多语言VIP在SoC验证环境灵活重用的问题。提出了一种基于开放的多语言构架库的解决方案,详述了多语言协同验证技术的原理以及验证平台的搭建方法,并通过实例验证了所提方案的有效性和灵活性。

基于DPI-C接口的可扩展SOC验证平台

本文提出和实现了一种基于DPI-C(直接编程接口C)程序的可扩展SOC验证环境。该平台针对基于AMBA总线的SOC(片上系统)芯片的功能验证需求,采用内嵌DPI-C程序和UVM验证技术,通过调用DPI-C程序控制VIP(验证知识产权核)行为,实现了VIP和DPI-C程序的交互通信。该平台已应用于电力通信芯片的验证中,验证过程中激励开发简单且调试方便,实现100%功能覆盖率,极大提高验证效率。

面向知识处理的领域本体及其应用研究

本体是关于领域概念及概念之间关系的精确描述。本文给出面向知识处理的领域本体模型及其描述语言。一个本体由实例、类、属性、关系和类问关系等元素组成。在给出领域知识本体模型的基础上，给出了基于框架的领域知识本体表示语言、三层组织结构以及本体的公理体系。在领域本体的驱动下。以数学家知识获取为例给出一种面向领域的知识获取方法，并给出领域知识语义正确性检查的方法。最后介绍一个领域本体管理和知识获取工具。

综述:知识系统的V&V技术

知识库的异常是影响整个知识系统性能的重要因素之一,因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究,给出了异常知识的分类及其危害性,分析了知识库验证困难的原因,介绍了用于知识库验证的静态和动态方法,列举了国际上几个著名的知识库验证工具,并对知识库验证的研究进行了展望。

地理实体概念及其位置关系的获取和验证

文本知识获取(Knowledge acquisition fromtext,简称KAT)是知识工程中的一个重要研究课题。重点研究如何从大规模Web网页文本中获取地理实体概念及其位置关系知识,本文首先介绍了如何自动和半自动地获取这些地理实体概念及其位置关系的文法模式,建立文法模式库;然后基于文法模式库获取例句来抽取候选概念并进行概念验证;最后利用基于图论的方法构造位置关系图,利用地理领域特定规则进行分析验证。作为统一概念图管理下概念空间的一个重要组成部分,地理实体概念及其位置关系本身不仅是知识库的一个重要部分,还可为知识库中其它领域的知识提供支持。

“遥感概论”实验课程多层次教学方法改革探索

"遥感概论"是一门实践性很强的课程,实验教学是掌握该课程的重要环节。通过对理论和实验教学内容的介绍,提出将多层次教学法作为实验课程教学方法改革的重要举措。多层次教学提出知识验证型实验(初级)、任务驱动型实验(中级)和综合研究型实验(高级),针对不同实验内容、学生情况和学时开展不同层次教学。经过2年实施验证,多层次教学取得了较好的效果,并由河北农业大学本科专业人才培养方案和"遥感概论"课程规范提供实施保障。

基于Markov图像分割的红外桥梁目标识别算法

桥梁水域分割是桥梁目标识别的关键,首先对Markov随机场理论K-M分割方法进行改进,进而提出一种桥梁目标识别算法,对经过预处理的红外桥梁图像利用K-M分割方法进行桥梁水域分割;然后定义桥梁模板,寻找可能的桥梁点,并用Hough变换合并、连接;最后运用先验知识除去假目标,得到检测结果。整个算法解决了传统分割方法桥梁水域分割不清,导致目标识别准确率低的弱点。仿真结果表明,目标识别算法具有很高的准确性,可靠性,且计算效率高,时间性能好,可用于实时性处理。

实用的强不可分割多重息票方案

当前,多重息票方案设计中的主要困难是如何设计能自由设置兑换次数上界的息票发布协议且所得协议的复杂性并不依赖于这个上界,以及如何为兑换协议提供高效、灵活的兑换机制.为此,提出两个具备改进的效率与功能的方案.新方案分别利用Chaabouni等人的离散对数区间证明技术和Canard等人的关于被承诺元素的知识证明技术实现了对息票兑换次数上界的灵活设置,并且利用Peng等人的批量零知识证明与验证技术对兑换协议的运算复杂度进行了优化.新方案在Nguyen的形式化模型下满足可证安全,而且首次实现了实际应用中的全部理想特性,即并发发布、紧凑存储、批量兑换以及支持设置息票对象和过期日期.性能分析表明,新方案的通信与运算耗费显著低于已有的两个满足强不可分割性质的方案.

基于多源数据的半监督分层土地利用分类

随着遥感技术的发展,遥感数据的光谱、空间分辨率得到很大程度的提高,但是对于仅依靠单一数据源的土地利用分类仍然存在很多问题。提出了一种融合LiDAR数据和高分辨率航空影像的土地利用半监督分层分类方法,即首先仅对LiDAR数据进行粗分类;其次根据LiDAR分类结果辅助选择训练样本并获取高程掩膜,采用最大似然法对航空影像进行中分类;在细分类层次中利用LiDAR数据建立判别规则,对LiDAR粗分类结果与影像中分类结果进行基于知识的交叉验证,以进一步提高分类精度。通过两个不同区域的数据验证了半监督分层分类方法的可行性。