可达树

作品数：53被引量：132H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：叶新铭吴哲辉刘久富汤利杰胡瑜更多>>
相关机构：电子科技大学南京航空航天大学山东科技大学东南大学更多>>
相关期刊：《中国无线电电子学文摘》《计算机学报》《工业控制计算机》《系统仿真学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中国人民解放军总装备部“十五”预研基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于AGVs路径规划的物流智能调度系统设计与实现被引量：6
《计算机测量与控制》2022年第4期202-208,共7页宋颖颖 
为了解决现有物流调度系统低效缓慢、容错率低的问题,设计了基于自动导引运输车(AGV,automated guided vechicle)和路径规划优化算法的物流智能调度系统;系统搭配了AGV的物流调度硬件,又结合了路径规划理论,开发了基于Petri网络的智能...
关键词：AGV机器人 路径规划 物流智能调度系统 PETRI网络 可达树调度算法 
无标注L型Petri网语言属性判定的一种方法
《中国科学：信息科学》2017年第6期696-714,共19页栾尚敏 田立勤 耿子林 
国家自然科学基金(批准号:61472137);中央高校基本科研业务项目(批准号:3142014007;3142015022);河北省高等学校科学技术研究项目(批准号:Z2014038);青海省重点研发项目(批准号:2016-SF-130)资助
Petri网和自动机是离散事件动态系统建模的两种重要方法,研究这两种模型之间的关系,对于更好地理解和控制离散事件动态系统的行为具有重要作用.本文从形式语言的角度对该问题进行了研究,提出了判定无标注L型Petri网语言属性的方法,引入...
关键词：PETRI网语言 形式语言 自动机理论 可达树 正则语言 上下文无关语言 上下文相关语言 
移动网可达树
《计算机科学》2016年第11期55-60,共6页张瑞华 杨茹 丁志军 
国家自然科学基金项目(61173042;61472004);上海市产学研合作项目(沪CXY-2013-40)资助
随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算,与此同时,Petri网领域也采用谓词/变迁...
关键词：移动网 移动系统 可达树 算法 
一种使用Petri网络模型验证协议的方法
《微型电脑应用》2016年第4期78-80,共3页蔡俊杰 
随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模型,给出了一种协议验证的方法。通过描述Petri网络模型,该模型以其良好的直观性,为协议验证过程提供了极...
关键词：Petri网络模型 点火 状态变迁 可达树 
广义无界Petri网的新型有限可达树研究被引量：1
《工业控制计算机》2015年第9期79-81,共3页余晓龙 
无界Petri网目前使用有限可达树来进行可达性分析,但尚未彻底解决,主要问题在于树中虚假状态信息的存在。针对此问题,提出了一种新型可达树——精准有限可达树(Exact Finite Reachability Tree,EFRT),保证了树中没有增加虚假的可达状态...
关键词：无界Petri网 新型可达树 可达性问题 
基于Petri网的测试路径生成方法研究
《电脑知识与技术（过刊）》2015年第7X期26-28,共3页李柱 
随着软件规模的扩大和复杂度的增加,如何实现高效的软件测试,成为决定软件测试效率的关键。Petri网作为一种适合于描述异步并发现象的系统模型,具有系统描述及强大的行为分析功能。本文通过对Petri网、可达树特点的分析的基础上,提出一...
关键词：PETRI网 可达树 测试路径生成 
Petri网结合Dijkstra算法的并行测试任务调度方法研究被引量：13
《电子测量与仪器学报》2015年第6期920-927,共8页周强 司丰炜 修言彬 
针对测试系统中的并行任务调度方法复杂且难以优化的问题,提出并实现了一种利用Petri网并结合Dijkstra算法的并行测试任务调度方法,从而减少了搜索算法的复杂度。该方法通过对Petri网可达数分析工具的充分利用,省去了传统方法在得到任...
关键词：并行测试 PETRI网 可达树 DIJKSTRA算法 
无界Petri网的可达树的综述被引量：4
《自动化学报》2015年第4期686-693,共8页干梦迪 王寿光 周孟初 李俊 李月 
国家自然科学基金(61374148;61100056;61374069);浙江省杰出青年基金(LR14F020001);浙江省科技计划项目(2013C31111);浙江省新型网络标准与应用技术重点实验室(2013E10012)资助~~
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,...
关键词：无界Petri网 可达树 可达性问题 离散事件系统 
使用事件自动机规约的C语言有界模型检测被引量：4
《软件学报》2014年第11期2452-2472,共21页阚双龙 黄志球 陈哲 徐丙凤 
国家自然科学基金(61272083;61100034)
提出使用事件自动机对C程序的安全属性进行规约,并给出了基于有界模型检测的形式化验证方法.事件自动机可以规约程序中基于事件的安全属性,且可以描述无限状态的安全属性.事件自动机将属性规约与C程序本身隔离,不会改变程序的结构.在事...
关键词：事件自动机 可满足性模理论 有界模型检测 自动机可达树 安全关键软件 
基于Petri网的Web服务组合建模与验证
《电脑知识与技术》2014年第5X期3509-3511,共3页丁冲冲 李婷婷 
该文首先提出了基于Petri网的Web服务组合建模方法,对服务组合进行形式化建模,然后采用可达树作为分析工具,对服务组合模型的可达性,活性,有界性等特性进行验证分析。最后通过一个具体的实例说明此方法的应用。
关键词：WEB服务 PETRI网 可达树 WEB服务组合 验证 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部