赋时着色PETRI网

作品数：19被引量：64H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴继锋苏志刚郝敬堂石竹刘惠义更多>>
相关机构：河海大学合肥工业大学中国民航大学北京交通大学更多>>
相关期刊：《现代电子技术》《西安交通大学学报》《计算机集成制造系统》《机械设计与制造》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技重点实验室基金面向21世纪教育振兴行动计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于HTCPN的牵引车动态优化调度
《计算机工程与设计》2021年第1期294-300,F0003,共8页苏志刚 赵松泽 郝敬堂 
中央高校基本科研业务费中国民航大学专项基金项目(3122017111)。
针对机场牵引车动态调度问题,基于层次赋时着色Petri网(hierarchical timed colored Petri net,HTCPN)搭建牵引车动态调度仿真系统。在充分考虑实际运行过程中各个步骤的随机性后,根据航空器实时发送的推出申请完成牵引车的动态分配。...
关键词：牵引车动态调度 层次赋时着色Petri网 多目标优化 保障能力评估 蒙特卡洛实验 
基于AUML和赋时着色Petri网的火箭军失能作战流程建模与分析
《火箭军工程大学学报》2019年第4期26-32,共7页姜斌 梁敏 
国家社会科学基金军事学项目(16GJ003-145)
按照指挥程序,以火力运用为主线,基于AUML活动图建立了火箭军失能作战流程.按照AUML-Petri网转换规则,将火箭军失能作战流程AUML活动图转换为Petri网,利用赋时着色Petri网(TCPN)对作战流程进行分析,利用可达树法验证TCPN的有界性、可达...
关键词：AUML TCPN 火箭军 失能作战 流程建模 
基于Petri网列车群模型的列车运行冲突分析被引量：6
《铁道学报》2015年第3期1-7,共7页王鹏玲 马磊 王青元 冯晓云 
国家自然科学基金(U1134205;51207131)
列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础...
关键词：铁路冲突管理 冲突检测 赋时着色PETRI网 
基于Petri网的情境感知服务建模及干扰发现
《哈尔滨工程大学学报》2014年第8期961-967,共7页胡志芳 卢涛 
国家自然科学基金资助项目(70771017;71271038)
为发现情境感知服务之间存在的显性和隐性干扰,提出采用赋时着色Petri网(timed colored Petri net,TCPN)对情境感知系统建模,通过对模型进行仿真分析发现服务之间潜在的干扰。对TCPN及其相关规则进行了形式化的定义,然后讨论了用TCPN对...
关键词：情境感知 服务干扰 赋时着色PETRI网 
基于TCPN的毕业设计选题流程建模与应用被引量：2
《合肥工业大学学报（自然科学版）》2013年第7期820-824,共5页田燕 
河南省基础与前沿技术研究资助项目(122300410315;122300410306;12300410235)
文章利用赋时着色Petri网对毕业设计选题流程进行建模,设置多个时间约束控制选题流程的发生和延迟,设置多个颜色集表达题目、申请等同类别不同属性对象,利用可达测试验证流程的合理性和正确性;根据该模型及相关算法对现行毕业设计管理...
关键词：毕业设计选题流程 赋时着色PETRI网 审核题目 申请题目 系统初审 系统排序 
基于赋时着色Petri网的RBC控车实时性能分析被引量：7
《现代电子技术》2012年第3期170-173,共4页石竹 李开成 
国家863计划项目(2009AA11Z221)
RBC(无线闭塞中心)是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制。RBC控车实时性能是影响CTCS-3级列车运行控制系统的控制精度、效率、可靠性和安全性的重要指标与因素。...
关键词：CTCS-3 形式化分析 赋时着色PETRI网 RBC 
基于TCPN的TCP协议形式化描述被引量：1
《计算机工程》2011年第18期77-80,共4页何中阳 李鸥 杨白薇 刘洋 
国家"863"计划基金资助项目(2009AA01Z207)
提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际...
关键词：TCP协议 赋时着色PETRI网 形式化描述 有界性 活性 
基于赋时着色Petri网的木材柔性加工系统的建模与重构被引量：1
《大连交通大学学报》2010年第1期13-16,共4页赵月容 曹军 孙丽萍 
哈尔滨市科技攻关计划资助项目(2006AA1BG067)
以Petri网为建模工具,针对木材柔性加工系统(Wood Flexible Manufacturing System,WFMS)中的离散事件建立赋时着色Petri网(Timed Colored Petri-net,TCPN)模型.该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的...
关键词：赋时着色PETRI网 木材加工 柔性系统 动态模型 重构 
基于分层赋时着色Petri网的临床路径建模被引量：8
《上海交通大学学报》2010年第2期252-258,共7页赵艳丽 江志斌 李娜 
国家自然科学基金资助项目(60774103)
为了实现按病种设计的最佳医疗护理诊治方案和建立临床路径诊治系统,提出一种基于分层赋时着色Petri网(HTCPN)对复杂病种建立临床路径模型的方法,实现了对诊疗状态、信息流转及诊疗活动间的关系的可视化监控.基于标准元语言(SML)函数的...
关键词：分层赋时着色Petri网 临床路径 骨肉瘤 资源利用率 指数分布 
基于RFID的汽车总装物料配送过程的Petri网建模与仿真被引量：9
《机械设计与制造》2009年第9期203-205,共3页梁昌勇 徐彬 俞家文 王沙沙 
国家863项目(2006AA04A126)
分析准时化生产环境下汽车制造企业总装现场物料配送过程。将射频识别技术融入准时化生产管理模式,研究了基于射频识别技术且与装配流程协同运作的总装现场物料配送过程。用赋时着色Petri网对该过程建立模型并进行仿真分析,所获得的结...
关键词：准时化 RFID 总装 物料配送 赋时着色PETRI网 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部