搜索结果: 1-7 共查到“计算机科学技术 可达性”相关记录7条 . 查询时间(0.265 秒)
递归划分的标签约束可达性计算方法
标签约束可达性 递归划分 2-hop编码
2016/6/7
现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索...
针对传统基于角色的访问控制(RBAC)管理模型难以表达多样化策略的问题,提出了基于属性的用户-角色委派(ABURA)模型,采用属性作为用户-角色委派的先决条件,丰富了RBAC管理策略的语义。用户-角色可达性分析是验证分布式系统中授权管理策略正确性的重要机制,定义了ABURA模型的用户-角色可达性分析问题,通过分析ABURA模型状态转换特点给出策略约减定理,设计了可达性分析算法,并通过实例对算法进行...
虚拟软件研发组织过程建模与可达性分析
虚拟软件研发组织 过程建模 可达性
2009/7/9
以建立面向网络的虚拟软件研发组织(VSR&DO)过程建模为目标,在分析VSR&DO运作过程特性的基础上,提出了一种VSR&DO过程模型,并对其软件研发项目的可达性进行了研究。针对VSR&DO自身的特点及成员之间的关系,提出了VSR&DO的四种基本结构,给出了相应的模型和可达性分析,并在此基础上讨论了整个VSR&DO可达性模型。
有效模-n S-不变量与不可达性判定
Petri网 模-n S-不变量 不可达性
2008/12/12
Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定。然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性。如果存在的话,又该如何求取这些模-n S-不变量,Desel J并未就这两个问题给出答案。该文提出了有效模-n S-不变量的概念,将上述问题转化为有效模...
Abstract定义了链接可达性和网页可达性的概念.为计算网页可达性,设计了计算到达网页路
径的路径树生成算法(PTSA).建立了一种极大化网页访问率与可达性之间相关性的网站链接
结构调整的数学模型,并提出将PTSA嵌入禁忌搜索的求解方法.试验结果表明本文的方法可
以帮助网站设计者改进网站的链接结构.
有限精度时间自动机的可达性检测
2007/11/2
Yan RJ, Li GY, Xu YB, Liu CM, Tang ZS. Reachability checking of finite precision timed automata. Journal of
Software, 2006,17(1):1-10.DOI: 10.1360/jos170001 http://www.jos.org.cn/1000-9825/17/1.htm摘...