排序方式: 共有28条查询结果,搜索用时 15 毫秒
1.
2.
基于IDEF0的CIMS底层控制Petri网模型的自动生成方法 总被引:13,自引:0,他引:13
IDEF0广泛用于CIMS的功能说明,Petri网适用于对离散事件动态系统建模.在CIMS中,两者结合起来,对于CIMS底层控制、生产调度、动态仿真都具有重要意义.文中研究了IDEF0的形式化描述方法,讨论了有关概念,给出了由IDEF0生成Petri网的形式化方法,并用一例说明其整体思想. 相似文献
3.
4.
四自由度混联机床的加工过程仿真研究 总被引:1,自引:0,他引:1
基于Pro/E和ADAMS等软件平台构建并联机床的仿真模型,并将刀位文件转换为模型的驱动数据,驱动机床模型运动,从而实现并联机床加工过程的仿真,解决并联机床在工业应用中的一些问题。 相似文献
5.
6.
2004年以来,国际石油价格高位波动,对世界经济产生了严重影响,石油消费和进口大省的浙江,受此影响明显。目前,我国已允许民营资本进入石油等垄断行业,并鼓励民营企业开拓海外石油市场。这对于民营经济发达,又拥有国内两大石油进口大港的浙江,是极好的重大机遇。因此,浙江省应关注石油贸易全面开放的重大机遇,变被动进口为主动经营,鼓励民营企业开拓海外石油市场,加快构建石油贸易大省。 相似文献
7.
自动制造系统异常情况Petri网控制器的形式化设计方法 总被引:1,自引:0,他引:1
CIMS,FMS等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部分组成.两者都可以用Petri网来实现.这里讨论用于异常情况处理的Petri网控制器的形式化设计方法,其基本思想是利用状态表作为异常情况处理的规格说明语言,然后将状态表形式化描述为MOORE自动机,最后给出构造与MOORE自动机行为等价的Petri网控制器的形式化设计方法.并且用一个实例说明其设计过程.该方法也适用于Petri网的自动建模. 相似文献
8.
9.
10.