共查询到19条相似文献,搜索用时 78 毫秒
1.
2.
基于通信的列车控制系统的有色Petri网模型的研究 总被引:4,自引:1,他引:4
基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向,在分析了基于通信的列车控制系统结构的基础上,采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法,特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚,提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法,并用CPN/Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型,为最终开发出该系统的软件仿真平台奠定了良好的基础。 相似文献
3.
为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析. 相似文献
4.
5.
结合Petri网和UML的用户交互行为建模研究 总被引:1,自引:0,他引:1
Petri网和统一建模语言是当前两种非常流行、功能强大的用户交互行为建模工具。认为Petri网便于定量描述,可以动态运行,但缺乏层次;UML可以完整、细致地刻画系统,但量化不够;提出结合两者的优点,对用户交互行为进行建模;并以自动柜员机为例,建立了密码输入和验证过程的用例图、状态图、活动图、顺序图、协作图和Petri网模型。该实例不失一般性,研究成果对于建立其它类型的用户交互行为模型有相当的借鉴意义。 相似文献
6.
随着计算机硬件的发展,网络硬件支持Gb/s的带宽已成为现实.但是由于分层网络软件频繁的系统调用和内存-内存拷贝,物理层和应用层之间形成性能鸿沟.虚拟接口体系结构是一种崭新的机群系统内部通信思想,它为用户提供了一个直接与网络相联系的虚拟接口,使操作系统不参与进程双方的通信过程,大大提高了通信效率.首先介绍了虚拟接口体系结构,然后为Berkeley模型建立了Petri网模型,通过模型对其工作模式进行分析,并对其中存在的活锁问题给出了具有实际意义的解决方法. 相似文献
7.
多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向. 相似文献
8.
一种基于Petri网的虚拟维修过程建模方法 总被引:2,自引:1,他引:2
在虚拟维修领域,一般采用Petri网进行维修过程建模,存在建模方法复杂、理解困难,无法描述维修工作中复杂的行为关系等问题。因此根据维修资源属性和维修过程的特点,提出了一种实用的建模方法,首先将资源分为可变资源与不可变资源,提出了元模型融合的定义,给出了资源共享元模型和操作过程元模型,同时根据过程模型的拓扑特征,提出了广义状态机的概念,在分析模型结构的基础上,提出了基于广义状态机的子网合并。结合实际维修给出了模型实例,并验证了模型的正确性。 相似文献
9.
10.
一种基于PERT图的Petri网模型构建方法 总被引:1,自引:0,他引:1
PERT图是制造企业经常用来表示产品生产或者装配过程的一种图形方法,能够形象地表示产品生产过程中各个工序之间的逻辑关系和时间进度,但无法描述生产资源的数量对生产过程的影响。通过对基本的PERT图添加生产资源库所和活动节点转化,构建了一种基于PERT图的产品生产过程的Petri网模型,并通过对Petri模型仿真结果的分析,说明了该模型相对于PERT图的优势。 相似文献
11.
12.
13.
虚拟现实技术为产品开发带来了全新的人机界面和强大的功能,虚拟环境将虚拟现实技术与产品的设计、装配和分析紧密地结合在一起。但目前大多数面向产品开发的虚拟环境存在着通用性和可重用性等问题。本文给出了一个虚拟装配环境软件体系结构,该体系结构基于统一建模语言UML和离散事件系统形式化描述体系DEVS思想,采用面向对象、可重用技术对该系统进行了分析设计,实现了软件体系结构的可扩展性、可重用性和易维护性等。 相似文献
14.
15.
16.
面向虚拟装配的装配顺序规划研究 总被引:28,自引:0,他引:28
针对虚拟装配中的产品装配顺序规划问题,提出层次化装配模型,在此基础上生成产品装配层次树结构,并给出基于装配关联图的分层规划算法,进一步,分析简化简装关联图的有效途径,并通过固定顺序判据法降低装配序列组合复杂性,提高装配顺序规划的效率。 相似文献
17.
18.
19.
虚拟环境下的线缆装配建模技术研究 总被引:2,自引:0,他引:2
虚拟现实技术为解决线缆的优化布局及可靠性装配问题提供了一种可行的技术途径,而如何在计算机内部组织和表达线缆的模型信息、属性信息和工艺信息等相关信息是实现虚拟环境下线缆装配工艺规划要解决的首要问题。在分析虚拟环境下的线缆模型应包含管理属性、电气功能、几何结构和装配过程这四类信息的基础上;着重介绍了基于离散控制点建模思想的线缆几何结构层次化表达方法以及基于布线任务的工艺规划过程描述方法。并在自主开发的虚拟装配工艺规划系统VAPP上对相关方法和技术进行了实例验证。 相似文献