带权强分离信任委托路径搜索*

在委托证书路径搜索和一致性证明时,在Keynote提出的证书图的基础上,采用有向图中深度优先遍历的思想以及图的动态特性,提出了一种新的一致性验证算法,通过找出一条最佳的带权分离委托路径可以表达否定安全凭证,同时通过有向图的搜索边标记提高搜索效率并有效避免回路循环搜索的问题.     

切换有向拓扑中的网络化Euler-Lagrange系统自适应同步控制

在动态切换拓扑中研究了带有参数不确定性和单向信息交互的网络化Euler-Lagrange系统的协同控制问题.针对通信拓扑随时间变化的问题,利用有效的局部信息交互设计了一个分布式控制律,并利用自适应技术解决了系统动力学中的参数不确定性问题.通过构造一个连续的Lyapunov函数,证明了系统在切换拓扑的并图存在一棵有向生成树的频率足够高时即可实现网络同步.此外,进一步拓展使用简单的干扰观测器或滑模控制方法进一步研究了该协同策略下的干扰抑制问题.最后,以五颗异构航天器的姿态同步为背景,通过数值仿真及其对照说明了所提合作控制策略的有效性.     

一种新的基于递归分解的图可达性查询算法

针对现实中许多超大规模图可达性查询的问题,提出了一种新的基于递归分解的算法,即将原图递归分解成一系列生成树和剩余图两类子图,并通过分别查询这两类子图来减少查询开销.相比于区间标记、链分解、2-hop标签和路径树等传统算法,该算法不仅空间开销更小,且时间复杂度更低.仿真实验表明,该算法对处理大规模有向图可达性问题上存储规模更小且查询效率更高.     

有向图中环路判定算法研究

在分析了传统环路判定算法的基础上,提出了一种更高效的环路判定算法,以获得更高效的时间复杂度。     

(V,R)-语言

V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半群是(V,R)-半群,超图半群把超图理论和自由半群理论联系起来。以此为基础,提出了(V,R)-语言和超图语言两个概念。超图语言把超图理论和形式语言理论联系起来。进而,证明了超图语言、无向图语言和有向图语言都是特殊的(V,R)-语言。第三,证明了无向图语言和有向图语言都是正则语言。这就回答了文献"无向图语言"和"有向图语言"中提出的开问题。(V,R)-半群和(V,R)-语言是研究自由半群和形式语言的新理论和新方法。     

某类定号有向图基的界

对某类带有3个圈的本原不可幂的定号有向图进行了研究,通过分析此图的特点,给出了符号模式矩阵、有向图和定号有向图的定义,介绍了指数的界和基的界的有关算法,再综合运用指数、途径对、数和异圈对的相关性质,得到了该类定号有向图的基的界和在特殊情形下的基.     

有限群的“齐次性”Cayley有向图求法的进一步研究

本文给出了直接从定义关系求有限群的＂齐次性＂Cayley有向图的简捷方法—本源法,其本源定理又给出了诸多类型群的Cayley有向图。     

围长为2的奇数阶本原极小强连通有向图的1-指数集

研究了围长为2的n阶本原极小强连通有向图的1-指数集,证明了当n(≥5)为奇数时,En(1)={4,5,6,7,…,2n-5},无缺数段。     

一类特殊本原不可幂定号有向图的广义基

考虑了一类含有三个n—2圈和一个n圈本原不可幂定号有向图的广义基,通过分析图中是否存在寻求的途径及SSSD途径对,运用本原不可幂定号有向图的一些定义和性质,给出了此类图的广义本原指数及广义基.     

基于P-Rank的RDF有向图的分布式存储

随着语义网数据的迅猛增长,RDF大数据存储成为数据存储领域研究的热点问题,而分布式存储是解决RDF大数据可扩展性的一种有效途径,数据分割则是实现分布式存储的关键。利用图聚类思想实现RDF数据的有效分割,基于RDF数据模型的图特性,首先利用PRank节点相似度算法计算RDF图结点间的相似度,然后使用AP聚类算法对相似度矩阵进行聚类,进而实现RDF数据的分割和分布式存储。实验结果表明:该方法能有效完成RDF数据的聚类分割,使得聚类结果中类间相似度较小,而类内相似度较大。