检索结果-南通市图书馆

作者：李玉晨长春工业大学

学位级别：硕士

柔性制造作为一种多批量小品种的生产方式能够适应当今制造业发展的要求,并能迅速地向市场提供多种多样的产品。但柔性制造系统在实施过程中存在投资大、风险性及不可预见性高等问题,特别是其控制过程具有异步、并发的离散动态特性,分... 详细信息

柔性制造作为一种多批量小品种的生产方式能够适应当今制造业发展的要求,并能迅速地向市场提供多种多样的产品。但柔性制造系统在实施过程中存在投资大、风险性及不可预见性高等问题,特别是其控制过程具有异步、并发的离散动态特性,分析、控制难度大,因此对柔性制造系统中的控制系统进行建模与仿真一直是学术界重视和研究的问题。分析柔性制造系统的首要任务就是对其进行建模。本文采用的petri网是一种结构化的、可视化的描述语言,能够对系统中的事件进行模拟,突出各系统要素间的逻辑关系,捕捉事件发生的先后顺序。因此本文采用petri网作为建模工具,而基本petri网描述系统的能力不足,而且随着系统复杂程度的增强,建立模型将会出现组合爆炸等问题。针对以上问题,本文提出一种面向对象的赋时着色petri网,用以解决诸如节点爆炸、分析难度大、可重复利用性差等问题。本文采用赋时petri网对其中的变迁赋予时间属性来描述系统中有关时间属性的事件,如加工、运输等;用着色petri网对其中的状态或变迁赋予颜色属性,用来区分同一类型系统要素的不同个体,以达到减小网络规模的目的;从面向对象的角度,按照属性、行为或状态将控制系统分为若干模块并将其内部运行机制进行封装,系统运行时各对象仅通过对外信息传递的接口进行沟通,使模型更加层次化、简洁化。对象之间的信息传递由门变迁控制,而系统通过控制门变迁的激发来协调不同对象所进行的活动及顺序来解决系统中出现的冲突、死锁等问题。petri网对系统进行了静态结构和逻辑描述,为了对其进行动态分析,本文将petri网中的逻辑控制关系和消息传递机制等映射到仿真软件Flexsim中,利用Flexsim面向对象建模的技术驱动petri网,通过仿真来验证petri网的动态特性。对模型中各对象的运行状态及结果进行分析,发现系统中存在的突发事件如机床故障、订单加急等状况。针对出现的问题,本文采用一种嵌入式的启发式算法对系统运行中出现的不确定性问题如机床故障、加急订单等通过重新规划加工路径、分配替代加工设备等控制方法,以减少生产系统中诸如设备使用冲突和资源浪费等问题的发生,从而提高柔性制造系统的生产效率。通过对控制系统改进前后的仿真结果进行对比,证明了本文提出的面向对象的赋时着色petri网在对柔性制造控制系统进行静态描述和动态分析、控制中的有效性和实用性。

关键词：柔性制造系统离散事件动态系统赋时着色petri网面向对象 Flexsim仿真

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于CTCS-3级列控系统运营场景的RBC控车实时性能分析

基于CTCS-3级列控系统运营场景的RBC控车实时性能分析

引用

作者：石竹北京交通大学

学位级别：硕士

随着我国铁路的高速发展,列车运行控制系统的实时、高效及安全性成为关注的重点,为满足需要,我国铁路部门提出了发展适合我国国情的中国列车运行控制系统（Chinese Train Control System, CTCS）。CTCS-3级列控系统的实时性能指标是列... 详细信息

随着我国铁路的高速发展,列车运行控制系统的实时、高效及安全性成为关注的重点,为满足需要,我国铁路部门提出了发展适合我国国情的中国列车运行控制系统（Chinese Train Control System, CTCS）。CTCS-3级列控系统的实时性能指标是列车得以安全高效运行的关键。 RBC （Radio Block Center,无线闭塞中心）是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制。RBC控车实时性能是影响CTCS-3级列控系统的控制精度、效率、可靠性和安全性的重要指标与因素。对该性能指标进行形式化方法研究可为验证CTCS-3级列控系统规范和系统研发提供参考。着色petri网不仅可以描述系统的静态结构,而且可以实现模型动态仿真,克服了其他形式化方法对系统动态行为进行静态描述的缺点。本文采用赋时着色petri网对CTCS-3级列控系统主要运营场景RBC控车实时性能进行分析,其中主要针对RBC与列车通信的无线消息交互过程进行研究。采用层次化建模思想,首先建立GSM-R故障模型,综合信道突发降质、GSM-R小区切换、链路中断等故障因素模拟真实无线信道环境;在GSM-R故障模型基础上分别建立周期消息模型及非周期消息模型,在以上底层模型基础上建立CTCS-3级列控系统主要运营场景RBC控车流程模型,通过CPN仿真,得到RBC控车延时分布曲线,并分析不同列车速度及重发时间间隔对各运营场景完成成功率及平均延时时间产生的影响,结果对于优化信息传输时间,提高列车运行效率和保障列车安全有一定的参考价值。

关键词：赋时着色petri网 CTCS-3 运营场景 RBC 模型

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

智能高速列车无线闭塞中心交接形式化描述与验证

智能高速列车无线闭塞中心交接形式化描述与验证

引用

作者：寻璐兰州交通大学

学位级别：硕士

列车的方便、快捷无疑为我们的生活带来许多便利，但同样列车的安全、运输效率也越来越受到人们的重视，列车性能的改进成为该领域的核心内容。我国在考虑自身的实际情况和未来发展以及列车不同级别线路问题，制定了中国列车运行控制系... 详细信息

列车的方便、快捷无疑为我们的生活带来许多便利，但同样列车的安全、运输效率也越来越受到人们的重视，列车性能的改进成为该领域的核心内容。我国在考虑自身的实际情况和未来发展以及列车不同级别线路问题，制定了中国列车运行控制系统(CTCS)，而在CTCS中，无线闭塞中心(RBC)又是该系统地面子系统的核心成员，它主要管理列车的行车许可以及控制列车在间隔时的运行，无线闭塞中心的交接又是无线闭塞中心的重中之中，是影响列车运行的效率、安全的重要组成部分。着色petri网理论与其他形式化方法比较而言，在无线闭塞中心交接方面有着更为出色的表现。主要有两个重要原因，第一，无线闭塞中心交接中涉及到移交无线闭塞中心与接收无线闭塞中心之间的消息往来较为频繁，传递的消息种类较多，该理论丰富了库所和托肯的含义，可以用于描述较为复杂的系统;第二，就是着色petri网拥有比较可靠和应用成熟的仿真工具CPN Tools，CPN Tools是建立、模拟、分析CPN模型的强大工具，它可以为模型做出时间仿真、功能分析，以及状态空间分析，其仿真功能较为全面和完善。本文首先采用融合对象颜色网(FOCPN)形式化方法对无线闭塞中心交接进行分析，该方法的基本思想就是对参与无线闭塞中心交接的两种情况看作它的子对象分别进行形式化建模，这样一来可以简化建模过程，而且还能方便监测各情况在无线闭塞中心交接中的运行状况。将该模型放在CPN Tools仿真工具中进行检测与仿真，并得出结论。实验结果表明FOCPN可以有效验证无线闭塞中心交接的特性，而且可以通过该方法充分说明该形式化方法应用在无线闭塞中心交接领域的可行性。其次，运用赋时着色petri网对无线闭塞中心交接进行形式化分析，然后在CPN Tools中分别对一部车载电台无线闭塞中心交接和两部车载电台无线闭塞中心交接进行了赋时建模仿真，并在两种交接方式下对相邻无线闭塞中心的交接时间进行分析对比，并对交接时间数据进行统计。通过数据统计得出：列车在两部车载电台都正常的情况下比只有一部车载电台正常的情况下，交接耗时更少，行驶速度更快。分析结果可使人们在实际应用中对无线闭塞中心交接车载电台设备的进行改进、保证车载电台设备的正常工作、提高设备故障修复速度的完善有更深刻的认识和借鉴。

关键词：无线闭塞中心交接融合库所颜色网赋时着色petri网建模与验证

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Solving Resource-constrained Multiple Project Scheduling Problem Using Timed Colored petri Nets

引用

Journal of Shanghai Jiaotong university(Science) 2009年第6期14卷 713-719页

作者：吴瑜庄新村宋国辉许晓栋李从心 National Die and Mould CAD Engineering Research Center Shanghai Jiaotong University

To solve the resource-constrained multiple project scheduling problem(RCMPSP) more effectively,a method based on timed colored petri net(TCPN) was *** this methodology,firstly a novel mapping mechanism between traditional network diagram such as CPM(critical path method)/PERT(program evaluation and review technique) and TCPN was *** a primary TCPN(PTCPN) for solving RCMPSP was modeled based on the proposed mapping ***,the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of ***,the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.

关键词：赋时着色petri网调度问题资源受限项目计划评审技术求解映射机制关键路径法

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于petri网模型的水利枢纽混凝土运输浇筑系统仿真

引用

决策与决策支持系统 1995年第4期5卷 19-24页

作者：江玮何勇王红卫费奇华中理工大学系统工程研究所

应用赋时着色Ｐｅｔｒｉ网理论建立某水利枢纽混凝土运输浇筑系统的结构模型，研究了其仿真实现。本文方法可对该系统机构设备数量和配套方式、施工进度安排等进行仿真。

关键词：赋时着色petri网混凝土运输浇筑系统结构模型

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于TCPN的空竭服务多重休假M/G/1型排队系统建模与分析

基于TCPN的空竭服务多重休假M/G/1型排队系统建模与分析

引用

第十三届全国青年通信学术会议

作者：朱连章刘璐璐中国石油大学(华东)计算机与通信工程学院

休假排队系统的传统数学推导过程非常复杂,缺乏直观的模型描述并且缺乏灵活性。计算机仿真方式既有直观的模型描述,又具有较大的灵活性。利用建模仿真工具赋时着色petri网对休假排队系统的一种——空竭服务多重休假M/G/1型排队系统进行... 详细信息

休假排队系统的传统数学推导过程非常复杂,缺乏直观的模型描述并且缺乏灵活性。计算机仿真方式既有直观的模型描述,又具有较大的灵活性。利用建模仿真工具赋时着色petri网对休假排队系统的一种——空竭服务多重休假M/G/1型排队系统进行建模,并对主要性能指标进行仿真分析。仿真软件选用CPN Tools,仿真结果表明,该方法具有较高的精确度以及实用价值。

关键词：排队系统空竭服务多重休假赋时着色petri网

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：