检索结果-维普期刊中文期刊服务平台

基于约束程序的变迁约束可达问题判定研究被引量：3: 1; 作者覃海生蓝乾艺杨夏妮《广西大学学报（自然科学版）》 CAS CSCD 2007年第3期307-311,共5页; 在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发... 展开更多; 关键词 PETRI网可达问题逻辑抽象技术变迁约束约束程序; 在线阅读下载PDF 职称材料

无界Petri网的可达树的综述被引量：4: 2; 作者干梦迪王寿光 +2 位作者周孟初李俊李月《自动化学报》 EI CSCD 北大核心 2015年第4期686-693,共8页; Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,... 展开更多; 关键词无界Petri网可达树可达性问题离散事件系统; 在线阅读下载PDF 职称材料

良结构下推系统的表达能力: 3; 作者靳阳蔡小娟李国强《上海交通大学学报》 EI CAS CSCD 北大核心 2015年第8期1084-1089,共6页; 良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式... 展开更多; 关键词良结构下推系统良拟序向量加法系统可达性问题; 在线阅读下载PDF 职称材料

机器人在未知环境条件下的动态避障被引量：6: 4; 作者崔宝侠周钰雨段勇《沈阳工业大学学报》 EI CAS 北大核心 2016年第6期657-661,共5页; 为了使机器人在工作过程中顺利的躲避行进途中的各类障碍物,采用人工势场法作为机器人的避障算法并针对传统人工势场法存在的目标不可达的问题进行了详细的分析.在传统人工势场法斥力函数中引入机器人与目标点的距离关系作为其中的因子... 展开更多; 关键词人工势场法移动机器人避障势能函数目标点不可达问题未知环境斥力函数; 在线阅读下载PDF 职称材料

题名基于约束程序的变迁约束可达问题判定研究被引量：3: 1; 作者覃海生蓝乾艺杨夏妮; 机构广西大学计算机与电子信息学院; 出处《广西大学学报（自然科学版）》 CAS CSCD 2007年第3期307-311,共5页; 基金广西科学基金资助项目(桂科回0342001) 广西教育厅科研基金资助项目(桂教科研200626); 文摘在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.; 关键词 PETRI网可达问题逻辑抽象技术变迁约束约束程序; Keywords petri net reachability problem logical abstraction technique transition constrains constraint programing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名无界Petri网的可达树的综述被引量：4: 2; 作者干梦迪王寿光周孟初李俊李月; 机构浙江工商大学信息与电子工程学院同济大学电子与信息工程学院新泽西理工学院电子与计算机工程系东南大学自动化学院; 出处《自动化学报》 EI CSCD 北大核心 2015年第4期686-693,共8页; 基金国家自然科学基金(61374148 61100056 +3 种基金 61374069) 浙江省科技计划项目(2013C31111) 浙江省新型网络标准与应用技术重点实验室(2013E10012)资助~~; 文摘 Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.; 关键词无界Petri网可达树可达性问题离散事件系统; Keywords Unbounded Petri nets reachability tree reachability problem discrete event system; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名良结构下推系统的表达能力: 3; 作者靳阳蔡小娟李国强; 机构上海交通大学BASICS实验室; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2015年第8期1084-1089,共6页; 基金国家自然科学基金项目(61472238 61100053)资助; 文摘良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式引入栈证明递归向量加法系统是良结构下推系统的一种特例;创新地使用栈深表示向量的一维,来构造一位零测试向量加法系统到良结构下推系统的编码.通过这些编码证明了良结构下推系统的表达能力不低于这些向量加法扩展系统,进一步说明了良结构下推系统的一般性.; 关键词良结构下推系统良拟序向量加法系统可达性问题; Keywords well-structured pushdown system well-quasi-order vector addition system reachability problem; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名机器人在未知环境条件下的动态避障被引量：6: 4; 作者崔宝侠周钰雨段勇; 机构沈阳工业大学信息科学与工程学院; 出处《沈阳工业大学学报》 EI CAS 北大核心 2016年第6期657-661,共5页; 基金国家自然科学基金资助项目(60695054) 辽宁省自然科学基金资助项目(2015020010) 辽宁省高等学校优秀科技人才支持计划项目(LR2015045); 文摘为了使机器人在工作过程中顺利的躲避行进途中的各类障碍物,采用人工势场法作为机器人的避障算法并针对传统人工势场法存在的目标不可达的问题进行了详细的分析.在传统人工势场法斥力函数中引入机器人与目标点的距离关系作为其中的因子,分别重新定义了势能函数中的斥力和引力,从而得到了新的势能函数,成功地解决了目标不可达的问题.基于Matlab平台的仿真结果表明,本方法控制的机器人能够较出色地躲避大小不一的障碍,最终到达指定位置.; 关键词人工势场法移动机器人避障势能函数目标点不可达问题未知环境斥力函数; Keywords artificial potential field method mobile robot obstacle avoidance potential energy function target point unreachable problem unknown environment repulsive force function; 分类号 TP272 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于约束程序的变迁约束可达问题判定研究	覃海生蓝乾艺杨夏妮	《广西大学学报（自然科学版）》 CAS CSCD	2007	3	在线阅读下载PDF 职称材料
2	无界Petri网的可达树的综述	干梦迪王寿光周孟初李俊李月	《自动化学报》 EI CSCD 北大核心	2015	4	在线阅读下载PDF 职称材料
3	良结构下推系统的表达能力	靳阳蔡小娟李国强	《上海交通大学学报》 EI CAS CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
4	机器人在未知环境条件下的动态避障	崔宝侠周钰雨段勇	《沈阳工业大学学报》 EI CAS 北大核心	2016	6	在线阅读下载PDF 职称材料