期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于AOV网的抽象工作流模型 被引量:2
1
作者 陈谊 新吉乐 +1 位作者 孙悦红 李海生 《计算机工程》 CAS CSCD 北大核心 2011年第9期90-92,共3页
针对项目管理中的工作流控制需求,提出一个基于顶点活动(AOV)网的抽象工作流模型。给出该模型的形式化定义以及各结点的时序关系,阐述工作流的设计与执行规则,包括分支设计规则和回路设计规则,定义工作流图分支结构中汇聚结点的时序同... 针对项目管理中的工作流控制需求,提出一个基于顶点活动(AOV)网的抽象工作流模型。给出该模型的形式化定义以及各结点的时序关系,阐述工作流的设计与执行规则,包括分支设计规则和回路设计规则,定义工作流图分支结构中汇聚结点的时序同步规则,并给出一个优化的回路检测方法。实例应用结果证明了该模型的有效性。 展开更多
关键词 工作流模型 顶点活动网 形式化描述 工作流管理系统
下载PDF
一种利用顶点位形描述的任意正交折线线圈阻抗解析建模新方法 被引量:1
2
作者 吴德会 何天府 +1 位作者 王晓红 黄一民 《电子学报》 EI CAS CSCD 北大核心 2018年第9期2094-2101,共8页
本文利用顶点位形描述方法,建立了任意正交折线线圈阻抗的封闭模型.首先,利用二阶矢量位公式对一个线形矩形线圈的电磁场分布进行描述,并推导了该矩形线圈的标量势表达式,其包含有一个利用矩形四个顶点的位置因子和角形因子进行描述的... 本文利用顶点位形描述方法,建立了任意正交折线线圈阻抗的封闭模型.首先,利用二阶矢量位公式对一个线形矩形线圈的电磁场分布进行描述,并推导了该矩形线圈的标量势表达式,其包含有一个利用矩形四个顶点的位置因子和角形因子进行描述的积分项;其次,证明了角形因子的两个重要性质,并利用该性质将矩形线圈的标量势表达式推广到任意正交折线线圈的情况;最后,建立了任意正交折线线圈阻抗的解析表达式,并以矩形螺线线圈为例进行了阻抗计算,并将计算结果与实验测量值进行了对比.结果表明,计算值与测量值之间有较好的吻合度.相对于现有的矩形描述法,本文所提方法在简化建模过程及提高建模速度方面具有明显优势. 展开更多
关键词 阻抗模型 涡流检测 正交折线线圈 二阶矢量位 顶点位形描述
下载PDF
基于资源描述框架图切分与顶点选择性的高效子图匹配方法 被引量:2
3
作者 关皓元 朱斌 +1 位作者 李冠宇 蔡永嘉 《计算机应用》 CSCD 北大核心 2019年第2期360-369,共10页
在SPARQL查询过程中,含有复杂结构的资源描述框架(RDF)图的查询效率低下。为此,通过分析几种RDF图的基本结构与RDF顶点的选择性,提出RDF三元组模式选择性(RTPS)——一种基于RDF顶点选择性的图结构切分规则,以提高面向RDF图的子图匹配效... 在SPARQL查询过程中,含有复杂结构的资源描述框架(RDF)图的查询效率低下。为此,通过分析几种RDF图的基本结构与RDF顶点的选择性,提出RDF三元组模式选择性(RTPS)——一种基于RDF顶点选择性的图结构切分规则,以提高面向RDF图的子图匹配效率。首先,根据谓词结构在数据图与查询图中的通性建立RDF相邻谓词路径(RAPP)索引,将数据图结构转化为传入-传出双向谓词路径结构以确定查询顶点的搜索空间,并加快顶点的过滤;接着,通过整数线性规划(ILP)问题计算建模将复杂RDF查询图结构分解为若干结构简单的查询子图,通过分析RDF顶点在查询图中的相邻子图结构与特征,确立查询顶点的选择性以确定最优切分方式;然后,通过RDF顶点选择性与相邻子图的结构特征来缩小查询顶点的搜索空间范围,并在数据图中找到符合条件的RDF顶点;最后,遍历数据图以找到与查询子图结构相匹配的子图结构,将得到的子图进行连接并将其作为查询结果输出。实验采用控制变量法,比较了RTPS、RDF子图匹配(RSM)、RDF-3X、Gra SS与R3F的查询响应时间。实验结果充分表明,与其他4种方法相比,当查询图复杂度高于9时,RTPS的查询响应时间更短,具有更高的查询效率。 展开更多
关键词 SPARQL查询处理 资源描述框架 子图匹配 图结构切分 顶点选择性
下载PDF
图G_n的优美表示
4
作者 吴建强 《大学数学》 2012年第4期64-67,共4页
将给出三个结果:(i)如果图G是SZ(|S|=n≥2)上的整数和图,那么0∈S当且仅当图G至少有一个(n-1)度顶点;(ii)图G(G≠K2)是至少有两个零点的整数和图当且仅当G■K2·Gn;(iii)设图G(G≠K2)是SZ上的整数和图,|S|=n+2,n∈N+.若图G至少... 将给出三个结果:(i)如果图G是SZ(|S|=n≥2)上的整数和图,那么0∈S当且仅当图G至少有一个(n-1)度顶点;(ii)图G(G≠K2)是至少有两个零点的整数和图当且仅当G■K2·Gn;(iii)设图G(G≠K2)是SZ上的整数和图,|S|=n+2,n∈N+.若图G至少有两个零点,则S={mx|m=-1,0,1,2,…,n;x∈Z且x≠0}. 展开更多
关键词 整数和图 零点 图Gn的优美表示 图k2.Gn
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部