期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
车地协同下的联锁子系统HCPN建模与验证 被引量：3
1
作者 王兴 李茂青 +1 位作者 岳丽丽 王耀东 《铁道科学与工程学报》 CAS CSCD 北大核心 2022年第1期52-62,共11页
联锁子系统作为站内行车安全的关键保障,是车地协同下的列车运行控制系统的重要组成部分。传统联锁子系统存在地面集中控制失效风险大、列车自主化程度低等不足,为顺应精简系统结构、降低运营成本和提升列车自主化的列控技术发展趋势,... 联锁子系统作为站内行车安全的关键保障,是车地协同下的列车运行控制系统的重要组成部分。传统联锁子系统存在地面集中控制失效风险大、列车自主化程度低等不足,为顺应精简系统结构、降低运营成本和提升列车自主化的列控技术发展趋势,设计一种车地协同下的联锁子系统用于城际铁路。考虑多车间的进路冲突是影响子系统功能实现的关键因素,提出进路预延伸策略以避免列车间的进路冲突。为确保联锁子系统功能安全,采用一种基于层次着色Petri网(HCPN)的系统功能建模与验证方法。通过对联锁子系统的主要功能实现过程—进路建立过程进行分析,提取子系统的功能需求,以此建立顶层需求模型。为缩小底层实现与顶层需求之间的差距,建立基于数据及行为低抽象度表达的模块层模型,并在其中引入死锁控制策略实现对系统功能逻辑的完整表达。以冲突进路建立场景为模型的输入参数,执行验证过程,通过对模型标准状态空间性能分析,实现对模型正确性的检验。在此基础上,采用分支时序逻辑ASK-CTL公式与状态空间搜索算法相结合的验证方法,完成对子系统功能安全性的检验。研究结果表明:模型的行为特性同子系统预期相一致,能够正确表达系统的行为。所设计子系统满足功能安全需求,可为底层实现提供依据。 展开更多
关键词 车地协同 联锁子系统 形式化方法 hcpn 状态空间分析
在线阅读 下载PDF
基于HCPN的BTO供应链的动态构建与仿真 被引量：1
2
作者 马金平 《计算机工程与应用》 CSCD 北大核心 2015年第20期259-266,共8页
采用层次着色Petri网(HCPN)对企业从接到用户订单、编制供应链计划,直到选定上游供应商的BTO供应链网络的动态构建过程进行建模和仿真分析,其结果可以评价企业的供应链战略联盟响应用户个性化需求的能力。为企业管理者动态构建BTO供应... 采用层次着色Petri网(HCPN)对企业从接到用户订单、编制供应链计划,直到选定上游供应商的BTO供应链网络的动态构建过程进行建模和仿真分析,其结果可以评价企业的供应链战略联盟响应用户个性化需求的能力。为企业管理者动态构建BTO供应链网络和评估供应链战略联盟响应用户个性化需求的能力提供了一种有效的实用方法,从而有助于改进整个供应链的绩效。 展开更多
关键词 按单加工(BTO)供应链 层次着色PETRI网 仿真分析 HIERARCHICAL Coloured PETRI nets(hcpn)
在线阅读 下载PDF
基于HCPN的城市轨道交通CBTC联锁系统建模研究 被引量：1
3
作者 于潇 《铁道运输与经济》 北大核心 2017年第6期81-86,共6页
城市轨道交通CBTC联锁系统是复杂的安全苛求系统,为确保其开发的正确性和安全性,研究采用基于HCPN的CBTC联锁系统进行分层建模的方法,以缓解系统状态空间的爆炸问题。概述城市轨道交通CBTC联锁系统及HCPN建模方法,基于HCPN对城市轨道交... 城市轨道交通CBTC联锁系统是复杂的安全苛求系统,为确保其开发的正确性和安全性,研究采用基于HCPN的CBTC联锁系统进行分层建模的方法,以缓解系统状态空间的爆炸问题。概述城市轨道交通CBTC联锁系统及HCPN建模方法,基于HCPN对城市轨道交通CBTC联锁系统进行建模,并为了增强模型的可重用性和提高建模效率,在此基础上构建基于HCPN的城市轨道交通CBTC联锁系统分层模型框架,建立一个参数化的可重用模型模板,符合联锁系统规范,适用于各类型车站。 展开更多
关键词 城市轨道交通 CBTC 联锁系统 形式化建模 分层有色Petri网
在线阅读 下载PDF
基于HCPN的面向方面NVP建模与分析
4
作者 孙晓星 虞慧群 《计算机工程》 CAS CSCD 2012年第16期61-64,共4页
为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立... 为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向方面的NVP模型,结果验证了该NVP模型的正确性和有效性。 展开更多
关键词 N版本编程 容错 面向方面的编程 层次着色PETRI网 建模
在线阅读 下载PDF
分层CPN在矿井馈电系统建模中的应用 被引量：3
5
作者 韩江洪 翟军华 +2 位作者 魏振春 毕翔 陆阳 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期129-131,共3页
矿井馈电系统是一种典型的离散事件动态系统。为了有效地对矿井馈电系统仿真,利用分层建模的思想来对矿井馈电系统的建模。对上层系统进行建模时引入复杂变迁,并在此基础上分解复杂变迁,最后利用所得的分层CPN(Hierarchical Colored Pet... 矿井馈电系统是一种典型的离散事件动态系统。为了有效地对矿井馈电系统仿真,利用分层建模的思想来对矿井馈电系统的建模。对上层系统进行建模时引入复杂变迁,并在此基础上分解复杂变迁,最后利用所得的分层CPN(Hierarchical Colored Petri Net,HCPN)模型作为仿真软件的媒介,验证系统设计的合理性和安全性。通过利用CPN对矿井馈电系统建模,为最终开发出该系统的软件仿真平台奠定了良好的基础。 展开更多
关键词 分层建模 复杂变迁 hcpn 矿井馈电系统
在线阅读 下载PDF
基于ECAP规则的测井原始资料质量检查软件建模 被引量：1
6
作者 张军 李洪奇 《科技导报》 CAS CSCD 2008年第12期61-66,共6页
为了开发可扩展的测井原始资料质量检查软件,在三层C/S结构的基础上,以ECAP规则为主线,采用HCPN建模方法建立软件的递阶层次模型、对象模型、行为模型,进而建立子网模型和整个HCPN模型,规划各组件的结构和程序运行模式,提取过程组件的... 为了开发可扩展的测井原始资料质量检查软件,在三层C/S结构的基础上,以ECAP规则为主线,采用HCPN建模方法建立软件的递阶层次模型、对象模型、行为模型,进而建立子网模型和整个HCPN模型,规划各组件的结构和程序运行模式,提取过程组件的规则库。该方法减少了软件各构件之间的依赖性,便于程序的调试和修改。通过修改规则即可对软件的功能进行重构,增加了软件的灵活性。 展开更多
关键词 质量检查 软件 hcpn建模 ECAP规则
在线阅读 下载PDF
层次颜色工作流Petri网建模与应用 被引量：3
7
作者 陈伟 文东戈 王昊 《计算机技术与发展》 2009年第1期49-52,共4页
当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。提出了层次颜色工作流Petri网的概念,并指出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描述具有事务属性并... 当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。提出了层次颜色工作流Petri网的概念,并指出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描述具有事务属性并行任务在执行失败时的回滚策略。 展开更多
关键词 工作流 动态工作流 PETRI网 层次颜色工作流
在线阅读 下载PDF
车-地通信场景的一种混合建模方法研究
8
作者 胡晓辉 王振强 陈永 《计算机工程与应用》 CSCD 北大核心 2015年第16期228-233,共6页
为了更好地建立高速列控系统分布式整体形式化描述,采用Agent理论和层次着色Petri网混合建模方法对中国列车控制系统车-地通信场景进行了研究。将车-地通信场景抽象为MAS,给出了场景中车-地主体Agent的内部推理过程和形式化定义,采用CPN... 为了更好地建立高速列控系统分布式整体形式化描述,采用Agent理论和层次着色Petri网混合建模方法对中国列车控制系统车-地通信场景进行了研究。将车-地通信场景抽象为MAS,给出了场景中车-地主体Agent的内部推理过程和形式化定义,采用CPN Tools工具建立了层次化结构HCPN模型,使车-地通信过程、MAS整体行为以及车-地主体内部推理流程可视化。通过对模型状态空间报告的分析确保了模型的正确性,通过对模型进行多次模拟仿真,分析了该场景中不同通信故障率情况下非周期消息的重发间隔对控车实时性能的影响,验证了模型的可行性。 展开更多
关键词 车-地通信 多智能体系统(MAS) Agent推理 层次着色PETRI网
在线阅读 下载PDF
基于层次颜色Petri网的全感应控制交通信号灯建模与仿真 被引量：6
9
作者 顾鸿儒 孙连坤 《计算机工程与科学》 CSCD 北大核心 2016年第9期1887-1893,共7页
针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,运用模糊控制理论对车流量信息进行分类定义。其次,以采集到的车流量信息为控制参数,基于层次颜色Petri网... 针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,运用模糊控制理论对车流量信息进行分类定义。其次,以采集到的车流量信息为控制参数,基于层次颜色Petri网理论建立基本的信号灯轮廓模型,再依据模型中实现的关键功能进行分层细化与逐步求精。此外,将计数器代替时延加入系统模型中,使模型能够直观简洁地反映出红绿灯的循环时间与车流量之间的切换关系。根据所得模型对该交叉口信号灯配时方案的性能指标进行评估与比较。最后,运用CPN Tools对系统模型进行计算仿真,并进行简单的优化性能分析。 展开更多
关键词 实时调度 模糊控制 层次颜色PETRI网 CPN TOOLS 单点全感应信号控制
在线阅读 下载PDF
递阶着色Petri网在面向对象设计中的应用
10
作者 胡泓 陈剑 丁国骏 《上海交通大学学报》 EI CAS CSCD 北大核心 1999年第11期1422-1426,共5页
基于Ｐｅｔｒｉ网的节点过多阻碍其广泛应用，在着色Ｐｅｔｒｉ网和递阶着色Ｐｅｔｒｉ网的基础上，分析了递阶着色Ｐｅｔｒｉ网在结构上与面向对象方法的共同之处及其相互联系．指出递阶着色Ｐｅｔｒｉ网可以大大简化Ｐｅｔｒｉ网建模... 基于Ｐｅｔｒｉ网的节点过多阻碍其广泛应用，在着色Ｐｅｔｒｉ网和递阶着色Ｐｅｔｒｉ网的基础上，分析了递阶着色Ｐｅｔｒｉ网在结构上与面向对象方法的共同之处及其相互联系．指出递阶着色Ｐｅｔｒｉ网可以大大简化Ｐｅｔｒｉ网建模，同时提出了一种把递阶着色Ｐｅｔｒｉ网用于离散事件动态系统的面向对象软件设计的一般方法，并通过对一个柔性制造系统实例的面向对象分析和递阶着色Ｐｅｔｒｉ网的建模，最终指导控制软件的开发． 展开更多
关键词 着色PETRI网 面向对象设计 离散事件系统 FMS
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部