期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
11
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模型检测规划中的状态之间的可达关系研究
被引量:
8
1
作者
文中华
黄巍
+1 位作者
刘任任
姜云飞
《计算机学报》
EI
CSCD
北大核心
2012年第8期1634-1643,共10页
当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态...
当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率.
展开更多
关键词
模型检测
不确定规划
超图
邻接矩阵
可达
关系
下载PDF
职称材料
基于可达关系的安全协议保密性分析
被引量:
4
2
作者
顾永跟
傅育熙
朱涵
《计算机学报》
EI
CSCD
北大核心
2007年第2期255-261,共7页
借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支...
借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.
展开更多
关键词
安全协议
可达
关系
进程演算
消息推理
下载PDF
职称材料
基于可达关系的Rough集
3
作者
邓大勇
黄厚宽
董红斌
《北京交通大学学报》
EI
CAS
CSCD
北大核心
2006年第5期19-23,共5页
根据Rough集的思想提出了一种新的基于可达关系的Rough集模型,这种Rough集模型的思想是基于信息粒和可达关系的,比经典的Rough集更一般.除了Rough集原来的应用外,这种Rough集模型还可望有更广泛的应用.基于可达关系的Rough集思想将Roug...
根据Rough集的思想提出了一种新的基于可达关系的Rough集模型,这种Rough集模型的思想是基于信息粒和可达关系的,比经典的Rough集更一般.除了Rough集原来的应用外,这种Rough集模型还可望有更广泛的应用.基于可达关系的Rough集思想将Rough集思想推广到一般的方法论.
展开更多
关键词
ROUGH集
可达
关系
问题求解
信息粒
下载PDF
职称材料
不确定规划中状态循环可达关系的求解方法
被引量:
3
4
作者
黄丽芳
文中华
+1 位作者
胡雨隆
吴正成
《计算机应用研究》
CSCD
北大核心
2013年第9期2689-2693,共5页
在不确定规划领域中,不确定状态转移系统求规划解常常会搜索大量无用的状态和动作,造成冗余计算。获得不确定状态转移系统的状态可达关系可以避免无用搜索、减少冗余计算,为系统提供引导信息。以非循环可达关系为基础,定义矩阵的计算规...
在不确定规划领域中,不确定状态转移系统求规划解常常会搜索大量无用的状态和动作,造成冗余计算。获得不确定状态转移系统的状态可达关系可以避免无用搜索、减少冗余计算,为系统提供引导信息。以非循环可达关系为基础,定义矩阵的计算规则,使用系统的邻接矩阵来计算可达矩阵。同时首次提出了循环可达关系的分类、二可达关系等,并设计了求循环可达关系的算法,且以实例证明了算法的有效性和正确性。在不确定规划中获得状态之间的可达性关系,在求规划解的过程中可以删除大量无用的状态动作序偶,降低问题规模,提高求解规划问题的效率。
展开更多
关键词
不确定规划
状态
可达
性
矩阵
循环
可达
关系
下载PDF
职称材料
信息传递法求不确定系统中的状态可达关系
被引量:
3
5
作者
劳佳琪
文中华
+1 位作者
伍小辉
李洋
《计算机科学》
CSCD
北大核心
2014年第10期266-269,共4页
在不确定规划领域中,在求规划问题的解时,由于缺少引导信息,会导致许多无用状态和动作被搜索,造成冗余计算。所以在求规划解之前,找到不确定状态转移系统中状态之间的可达关系是很有意义的。以往的算法是通过矩阵相乘来模拟状态转移,但...
在不确定规划领域中,在求规划问题的解时,由于缺少引导信息,会导致许多无用状态和动作被搜索,造成冗余计算。所以在求规划解之前,找到不确定状态转移系统中状态之间的可达关系是很有意义的。以往的算法是通过矩阵相乘来模拟状态转移,但该类算法对于规模较大的系统开销较大。因此,提出了用信息传递法来求解可达关系,用矩阵来模拟不确定状态转移系统。其中每个状态记录了其他状态到达该状态的可达信息,通过状态之间的可达信息的传递,求得不确定系统的状态可达关系,以避免大量的矩阵运算。通过实验对比表明,当不确定系统规模较大时,所设计的算法优于矩阵相乘的算法。
展开更多
关键词
不确定规划
可达
关系
信息传递
下载PDF
职称材料
利用有向环的性质求解可达关系
被引量:
1
6
作者
陈秋茹
文中华
+1 位作者
袁润
戴良伟
《计算机科学》
CSCD
北大核心
2016年第4期202-205,209,共5页
不确定规划研究的最终目标是求出规划解,但是由于缺少引导信息,直接求规划解会导致大量的无用状态和动作被搜索。获得状态间的可达关系可以避免冗余计算。目前求可达关系的方法效率较低,因此设计了一种求可达关系的新方法。将不确定状...
不确定规划研究的最终目标是求出规划解,但是由于缺少引导信息,直接求规划解会导致大量的无用状态和动作被搜索。获得状态间的可达关系可以避免冗余计算。目前求可达关系的方法效率较低,因此设计了一种求可达关系的新方法。将不确定状态转移系统抽象成一个图,在这个图中,查找状态之间的可达信息是否形成一个有向环。若存在一个有向环,说明环内每两个状态之间都有可达关系。将其中一个状态作为父节点,并且将这个环内所有状态的可达关系记录在父节点中,通过访问父节点的可达信息更新环内状态的可达信息,减少了许多无用的状态和动作被搜索。实验结果表明,所设计的算法不仅能得到更全面的可达关系,而且效率也高于已有的算法。
展开更多
关键词
不确定规划
可达
关系
有向图
下载PDF
职称材料
不确定规划中可达关系的快速求解算法
被引量:
1
7
作者
龙凤
文中华
+1 位作者
唐杰
王进宗
《计算机工程》
CAS
CSCD
北大核心
2015年第1期196-199,217,共5页
在不确定规划领域中,通常需要在同一个不确定状态转移系统中解决多个规划问题,如果能得到不确定规划中状态之间的可达关系即可方便求解该规划问题,然而现有矩阵乘法求解可达关系时存在算法复杂度高的问题。为此,设计一种快速求解不确定...
在不确定规划领域中,通常需要在同一个不确定状态转移系统中解决多个规划问题,如果能得到不确定规划中状态之间的可达关系即可方便求解该规划问题,然而现有矩阵乘法求解可达关系时存在算法复杂度高的问题。为此,设计一种快速求解不确定规划中状态之间可达关系的算法,将确定动作和不确定动作区分处理,先求解所有确定动作的可达关系,再采用链表和队列求解不确定动作的可达关系。实验结果表明,与矩阵乘法相比,该算法能得到更全面的可达关系,且求解效率更高。
展开更多
关键词
不确定规划
可达
关系
智能规划
模型检测
不确定性
不确定状态转移系统
下载PDF
职称材料
交通网络可达关系的矩阵分析和应用
8
作者
张金花
刘文斌
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第S2期161-163,共3页
给出了具有实用意义的交通网络局部可达概念及其矩阵和图的刻画。在布尔阵的1种标准型及与可达关系研究的基础上,实现了交通网络可达关系的整体结构分析。为科学地设计网络连通性和模糊网络可达程度分析提供理论工具和实用方法。
关键词
交通网络
可达
关系
矩阵分析
下载PDF
职称材料
不确定系统中状态可达关系的维护
被引量:
1
9
作者
戴良伟
文中华
+1 位作者
劳佳琪
曾赛文
《信息通信》
2017年第4期92-96,共5页
对于一个理想的不确定系统,动作的执行是可靠的,即动作是可以执行的且动作的执行效果是可以确定的,但现实世界中,动作的执行很有可能是不可靠的,例如某个动作无法执行,并有可能对不确定系统中状态之间的可达关系产生影响,因此需要重新...
对于一个理想的不确定系统,动作的执行是可靠的,即动作是可以执行的且动作的执行效果是可以确定的,但现实世界中,动作的执行很有可能是不可靠的,例如某个动作无法执行,并有可能对不确定系统中状态之间的可达关系产生影响,因此需要重新对该系统状态之间的可达关系进行求解。针对这一情况,分析了信息传递法求不确定系统中状态可达关系的算法,提出了不确定系统的最小信息传递集(简称MIDS),证明了当不可执行的动作不属于MIDS时,该系统状态之间的可达关系不发生变化。并给出了当该动作不属于MIDS时的局部更新可达关系的算法,从而避免了对该系统状态之间可达关系的重新计算。
展开更多
关键词
不确定规划
模型检测
智能规划
可达
关系
信息传递
下载PDF
职称材料
析取范式公式的化简
被引量:
1
10
作者
吕海连
孙玉珊
《平顶山学院学报》
1994年第S2期5-7,共3页
本文阐述了离散数学中析取范式公式化简的计算机实现过程,给计算要实现模拟化简提供了理论方法。
关键词
析取范式
字币
特征码
屏蔽码
关系可达
下载PDF
职称材料
工作流合并规则中的冲突检测方法
11
作者
刘茜萍
韩京宇
《计算机工程》
CAS
CSCD
北大核心
2011年第17期44-45,57,共3页
在关系型规则和活动型规则形式描述工作流合并需求的基础上,提出一种基于可达关系的合并规则冲突检测算法。通过记录每条规则应用后的可达关系矩阵,以及新增可达关系对应的规则集方式,为合并规则集中存在冲突的若干规则组合进行较为准...
在关系型规则和活动型规则形式描述工作流合并需求的基础上,提出一种基于可达关系的合并规则冲突检测算法。通过记录每条规则应用后的可达关系矩阵,以及新增可达关系对应的规则集方式,为合并规则集中存在冲突的若干规则组合进行较为准确的定位。实例分析表明,该算法为规则集的合理调整提供直接依据,可有效实施工作流的合并。
展开更多
关键词
工作流
关系
型规则
活动型规则
冲突检测
可达
关系
下载PDF
职称材料
题名
模型检测规划中的状态之间的可达关系研究
被引量:
8
1
作者
文中华
黄巍
刘任任
姜云飞
机构
湘潭大学信息工程学院
中国科学技术大学计算机科学与技术学院
中山大学软件研究所
出处
《计算机学报》
EI
CSCD
北大核心
2012年第8期1634-1643,共10页
基金
国家自然科学基金(61070232
61070088
+3 种基金
61105039)
智能计算与信息处理教育部重点实验室(湘潭大学)
湖南省重点学科建设项目(0812)
"智能制造"湖南省普通高等学校重点实验室资助~~
文摘
当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率.
关键词
模型检测
不确定规划
超图
邻接矩阵
可达
关系
Keywords
model checking
planning under uncertainty
hypergraph
adjacency matrix
reachability relations
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于可达关系的安全协议保密性分析
被引量:
4
2
作者
顾永跟
傅育熙
朱涵
机构
湖州师范学院计算机科学与技术系
上海交通大学计算机科学与工程系
出处
《计算机学报》
EI
CSCD
北大核心
2007年第2期255-261,共7页
基金
国家杰出青年科学基金(60225012)
+1 种基金
国家"九七三"重点基础研究发展规基金(2003CB317005)
国家自然科学基金(60473006)资助
文摘
借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.
关键词
安全协议
可达
关系
进程演算
消息推理
Keywords
security protocol
reachability relation
process calculus
message inference
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于可达关系的Rough集
3
作者
邓大勇
黄厚宽
董红斌
机构
北京交通大学计算机与信息技术学院
出处
《北京交通大学学报》
EI
CAS
CSCD
北大核心
2006年第5期19-23,共5页
文摘
根据Rough集的思想提出了一种新的基于可达关系的Rough集模型,这种Rough集模型的思想是基于信息粒和可达关系的,比经典的Rough集更一般.除了Rough集原来的应用外,这种Rough集模型还可望有更广泛的应用.基于可达关系的Rough集思想将Rough集思想推广到一般的方法论.
关键词
ROUGH集
可达
关系
问题求解
信息粒
Keywords
Rough set
accessible relation
problem solving
information granular
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
不确定规划中状态循环可达关系的求解方法
被引量:
3
4
作者
黄丽芳
文中华
胡雨隆
吴正成
机构
湘潭大学信息工程学院
出处
《计算机应用研究》
CSCD
北大核心
2013年第9期2689-2693,共5页
基金
国家自然科学基金资助项目(61070232)
文摘
在不确定规划领域中,不确定状态转移系统求规划解常常会搜索大量无用的状态和动作,造成冗余计算。获得不确定状态转移系统的状态可达关系可以避免无用搜索、减少冗余计算,为系统提供引导信息。以非循环可达关系为基础,定义矩阵的计算规则,使用系统的邻接矩阵来计算可达矩阵。同时首次提出了循环可达关系的分类、二可达关系等,并设计了求循环可达关系的算法,且以实例证明了算法的有效性和正确性。在不确定规划中获得状态之间的可达性关系,在求规划解的过程中可以删除大量无用的状态动作序偶,降低问题规模,提高求解规划问题的效率。
关键词
不确定规划
状态
可达
性
矩阵
循环
可达
关系
Keywords
non-determinate planning
state accessibility
matrix
circular reachability relation
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
信息传递法求不确定系统中的状态可达关系
被引量:
3
5
作者
劳佳琪
文中华
伍小辉
李洋
机构
湘潭大学信息工程学院
出处
《计算机科学》
CSCD
北大核心
2014年第10期266-269,共4页
基金
国家自然科学基金资助项目(61070232
61272295)资助
文摘
在不确定规划领域中,在求规划问题的解时,由于缺少引导信息,会导致许多无用状态和动作被搜索,造成冗余计算。所以在求规划解之前,找到不确定状态转移系统中状态之间的可达关系是很有意义的。以往的算法是通过矩阵相乘来模拟状态转移,但该类算法对于规模较大的系统开销较大。因此,提出了用信息传递法来求解可达关系,用矩阵来模拟不确定状态转移系统。其中每个状态记录了其他状态到达该状态的可达信息,通过状态之间的可达信息的传递,求得不确定系统的状态可达关系,以避免大量的矩阵运算。通过实验对比表明,当不确定系统规模较大时,所设计的算法优于矩阵相乘的算法。
关键词
不确定规划
可达
关系
信息传递
Keywords
Non-determinate planning, State accessibility, Information delivery
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
利用有向环的性质求解可达关系
被引量:
1
6
作者
陈秋茹
文中华
袁润
戴良伟
机构
湘潭大学信息工程学院
湖南工程学院计算机与通信学院
湘潭大学智能计算与信息处理教育部重点实验室
出处
《计算机科学》
CSCD
北大核心
2016年第4期202-205,209,共5页
基金
国家自然科学基金(61272295
61105039
+2 种基金
61202398)
湘潭大学智能计算与信息处理教育部重点实验室
湖南省重点学科建设项目(0812)资助
文摘
不确定规划研究的最终目标是求出规划解,但是由于缺少引导信息,直接求规划解会导致大量的无用状态和动作被搜索。获得状态间的可达关系可以避免冗余计算。目前求可达关系的方法效率较低,因此设计了一种求可达关系的新方法。将不确定状态转移系统抽象成一个图,在这个图中,查找状态之间的可达信息是否形成一个有向环。若存在一个有向环,说明环内每两个状态之间都有可达关系。将其中一个状态作为父节点,并且将这个环内所有状态的可达关系记录在父节点中,通过访问父节点的可达信息更新环内状态的可达信息,减少了许多无用的状态和动作被搜索。实验结果表明,所设计的算法不仅能得到更全面的可达关系,而且效率也高于已有的算法。
关键词
不确定规划
可达
关系
有向图
Keywords
Non-deterministic planning, Reachability relationship, Directed graph
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
不确定规划中可达关系的快速求解算法
被引量:
1
7
作者
龙凤
文中华
唐杰
王进宗
机构
湘潭大学信息工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2015年第1期196-199,217,共5页
基金
国家自然科学基金资助项目(61070232
61272295)
文摘
在不确定规划领域中,通常需要在同一个不确定状态转移系统中解决多个规划问题,如果能得到不确定规划中状态之间的可达关系即可方便求解该规划问题,然而现有矩阵乘法求解可达关系时存在算法复杂度高的问题。为此,设计一种快速求解不确定规划中状态之间可达关系的算法,将确定动作和不确定动作区分处理,先求解所有确定动作的可达关系,再采用链表和队列求解不确定动作的可达关系。实验结果表明,与矩阵乘法相比,该算法能得到更全面的可达关系,且求解效率更高。
关键词
不确定规划
可达
关系
智能规划
模型检测
不确定性
不确定状态转移系统
Keywords
uncertain planning
reachability relation
intelligent planning
model checking
uncertainty
uncertain state-transition system
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
交通网络可达关系的矩阵分析和应用
8
作者
张金花
刘文斌
机构
中国海洋大学数学系
出处
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第S2期161-163,共3页
文摘
给出了具有实用意义的交通网络局部可达概念及其矩阵和图的刻画。在布尔阵的1种标准型及与可达关系研究的基础上,实现了交通网络可达关系的整体结构分析。为科学地设计网络连通性和模糊网络可达程度分析提供理论工具和实用方法。
关键词
交通网络
可达
关系
矩阵分析
Keywords
traffic network
reachable relation
matrix analysis
分类号
O157.5 [理学—基础数学]
下载PDF
职称材料
题名
不确定系统中状态可达关系的维护
被引量:
1
9
作者
戴良伟
文中华
劳佳琪
曾赛文
机构
湘潭大学信息工程学院
湖南工程学院、湖南省风电装备与电能协同变换创新中心
湘潭大学智能计算与信息处理教育部重点实验室
出处
《信息通信》
2017年第4期92-96,共5页
基金
国家自然科学基金(61272295,61105039,61202398)
湘潭大学智能计算与信息处理教育部重点实验室
湖南省重点学科建设项目(0812)资助
文摘
对于一个理想的不确定系统,动作的执行是可靠的,即动作是可以执行的且动作的执行效果是可以确定的,但现实世界中,动作的执行很有可能是不可靠的,例如某个动作无法执行,并有可能对不确定系统中状态之间的可达关系产生影响,因此需要重新对该系统状态之间的可达关系进行求解。针对这一情况,分析了信息传递法求不确定系统中状态可达关系的算法,提出了不确定系统的最小信息传递集(简称MIDS),证明了当不可执行的动作不属于MIDS时,该系统状态之间的可达关系不发生变化。并给出了当该动作不属于MIDS时的局部更新可达关系的算法,从而避免了对该系统状态之间可达关系的重新计算。
关键词
不确定规划
模型检测
智能规划
可达
关系
信息传递
分类号
TP183 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
析取范式公式的化简
被引量:
1
10
作者
吕海连
孙玉珊
机构
平顶山师专数学系
郑州市教育学院
出处
《平顶山学院学报》
1994年第S2期5-7,共3页
文摘
本文阐述了离散数学中析取范式公式化简的计算机实现过程,给计算要实现模拟化简提供了理论方法。
关键词
析取范式
字币
特征码
屏蔽码
关系可达
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
工作流合并规则中的冲突检测方法
11
作者
刘茜萍
韩京宇
机构
南京邮电大学计算机学院计算机技术研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第17期44-45,57,共3页
基金
国家自然科学基金资助项目(61003040)
文摘
在关系型规则和活动型规则形式描述工作流合并需求的基础上,提出一种基于可达关系的合并规则冲突检测算法。通过记录每条规则应用后的可达关系矩阵,以及新增可达关系对应的规则集方式,为合并规则集中存在冲突的若干规则组合进行较为准确的定位。实例分析表明,该算法为规则集的合理调整提供直接依据,可有效实施工作流的合并。
关键词
工作流
关系
型规则
活动型规则
冲突检测
可达
关系
Keywords
workflow
relationship-rule
activity-rule
conflict detection
reachability relationships
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模型检测规划中的状态之间的可达关系研究
文中华
黄巍
刘任任
姜云飞
《计算机学报》
EI
CSCD
北大核心
2012
8
下载PDF
职称材料
2
基于可达关系的安全协议保密性分析
顾永跟
傅育熙
朱涵
《计算机学报》
EI
CSCD
北大核心
2007
4
下载PDF
职称材料
3
基于可达关系的Rough集
邓大勇
黄厚宽
董红斌
《北京交通大学学报》
EI
CAS
CSCD
北大核心
2006
0
下载PDF
职称材料
4
不确定规划中状态循环可达关系的求解方法
黄丽芳
文中华
胡雨隆
吴正成
《计算机应用研究》
CSCD
北大核心
2013
3
下载PDF
职称材料
5
信息传递法求不确定系统中的状态可达关系
劳佳琪
文中华
伍小辉
李洋
《计算机科学》
CSCD
北大核心
2014
3
下载PDF
职称材料
6
利用有向环的性质求解可达关系
陈秋茹
文中华
袁润
戴良伟
《计算机科学》
CSCD
北大核心
2016
1
下载PDF
职称材料
7
不确定规划中可达关系的快速求解算法
龙凤
文中华
唐杰
王进宗
《计算机工程》
CAS
CSCD
北大核心
2015
1
下载PDF
职称材料
8
交通网络可达关系的矩阵分析和应用
张金花
刘文斌
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2006
0
下载PDF
职称材料
9
不确定系统中状态可达关系的维护
戴良伟
文中华
劳佳琪
曾赛文
《信息通信》
2017
1
下载PDF
职称材料
10
析取范式公式的化简
吕海连
孙玉珊
《平顶山学院学报》
1994
1
下载PDF
职称材料
11
工作流合并规则中的冲突检测方法
刘茜萍
韩京宇
《计算机工程》
CAS
CSCD
北大核心
2011
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部