期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于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是SZ(|S|=n≥2)上的整数和图,那么0∈S当且仅当图G至少有一个(n-1)度顶点;(ii)图G(G≠K2)是至少有两个零点的整数和图当且仅当G■K2·Gn;(iii)设图G(G≠K2)是SZ上的整数和图,|S|=n+2,n∈N+.若图G至少...
将给出三个结果:(i)如果图G是SZ(|S|=n≥2)上的整数和图,那么0∈S当且仅当图G至少有一个(n-1)度顶点;(ii)图G(G≠K2)是至少有两个零点的整数和图当且仅当G■K2·Gn;(iii)设图G(G≠K2)是SZ上的整数和图,|S|=n+2,n∈N+.若图G至少有两个零点,则S={mx|m=-1,0,1,2,…,n;x∈Z且x≠0}.
展开更多
关键词
整数和图
零点
图Gn的优美表示
图k2.Gn
下载PDF
职称材料
题名
基于AOV网的抽象工作流模型
被引量:
2
1
作者
陈谊
新吉乐
孙悦红
李海生
机构
北京工商大学计算机与信息工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第9期90-92,共3页
基金
北京市教委科技发展计划基金资助项目(KM200910011007)
文摘
针对项目管理中的工作流控制需求,提出一个基于顶点活动(AOV)网的抽象工作流模型。给出该模型的形式化定义以及各结点的时序关系,阐述工作流的设计与执行规则,包括分支设计规则和回路设计规则,定义工作流图分支结构中汇聚结点的时序同步规则,并给出一个优化的回路检测方法。实例应用结果证明了该模型的有效性。
关键词
工作流模型
顶点活动网
形式化描述
工作流管理系统
Keywords
workflow model
Activity On
vertex
(AOV) network
formalized
description
workflow management system
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一种利用顶点位形描述的任意正交折线线圈阻抗解析建模新方法
被引量:
1
2
作者
吴德会
何天府
王晓红
黄一民
机构
厦门大学机电工程系
出处
《电子学报》
EI
CAS
CSCD
北大核心
2018年第9期2094-2101,共8页
基金
国家自然科学基金(No.51677158)
文摘
本文利用顶点位形描述方法,建立了任意正交折线线圈阻抗的封闭模型.首先,利用二阶矢量位公式对一个线形矩形线圈的电磁场分布进行描述,并推导了该矩形线圈的标量势表达式,其包含有一个利用矩形四个顶点的位置因子和角形因子进行描述的积分项;其次,证明了角形因子的两个重要性质,并利用该性质将矩形线圈的标量势表达式推广到任意正交折线线圈的情况;最后,建立了任意正交折线线圈阻抗的解析表达式,并以矩形螺线线圈为例进行了阻抗计算,并将计算结果与实验测量值进行了对比.结果表明,计算值与测量值之间有较好的吻合度.相对于现有的矩形描述法,本文所提方法在简化建模过程及提高建模速度方面具有明显优势.
关键词
阻抗模型
涡流检测
正交折线线圈
二阶矢量位
顶点位形描述
Keywords
impedance model
eddy-current testing
orthogonal polyline coil
second order vector potential
vertex position-shape description
分类号
TM153 [电气工程—电工理论与新技术]
下载PDF
职称材料
题名
基于资源描述框架图切分与顶点选择性的高效子图匹配方法
被引量:
2
3
作者
关皓元
朱斌
李冠宇
蔡永嘉
机构
大连海事大学信息科学技术学院
出处
《计算机应用》
CSCD
北大核心
2019年第2期360-369,共10页
基金
国家自然科学基金资助项目(61371090)~~
文摘
在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查询处理
资源描述框架
子图匹配
图结构切分
顶点选择性
Keywords
SPARQL query processing
Resource
description
Framework(RDF)
subgraph matching
graph structure segmentation
vertex
selectivity
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
图G_n的优美表示
4
作者
吴建强
机构
广东工业大学华立学院计算机工程系
出处
《大学数学》
2012年第4期64-67,共4页
文摘
将给出三个结果:(i)如果图G是SZ(|S|=n≥2)上的整数和图,那么0∈S当且仅当图G至少有一个(n-1)度顶点;(ii)图G(G≠K2)是至少有两个零点的整数和图当且仅当G■K2·Gn;(iii)设图G(G≠K2)是SZ上的整数和图,|S|=n+2,n∈N+.若图G至少有两个零点,则S={mx|m=-1,0,1,2,…,n;x∈Z且x≠0}.
关键词
整数和图
零点
图Gn的优美表示
图k2.Gn
Keywords
the integral sum graph
O-
vertex
an elegant
description
of the structure of graph Gn
the graph k2 · Gn
分类号
O15 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于AOV网的抽象工作流模型
陈谊
新吉乐
孙悦红
李海生
《计算机工程》
CAS
CSCD
北大核心
2011
2
下载PDF
职称材料
2
一种利用顶点位形描述的任意正交折线线圈阻抗解析建模新方法
吴德会
何天府
王晓红
黄一民
《电子学报》
EI
CAS
CSCD
北大核心
2018
1
下载PDF
职称材料
3
基于资源描述框架图切分与顶点选择性的高效子图匹配方法
关皓元
朱斌
李冠宇
蔡永嘉
《计算机应用》
CSCD
北大核心
2019
2
下载PDF
职称材料
4
图G_n的优美表示
吴建强
《大学数学》
2012
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部