基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

制造系统重构的内涵与可重构制造系统的研究现状

提出了面向先进制造的重构体系结构和制造系统可重构性的内涵的组合视图，指出了可重构制造系统在这一视图中的定位；分析了可重构制造系统的研究现状，并指出在可重构制造系统研究领域所需研究的问题。     

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出了一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出了一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。     

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。     

可重组制造系统车间设施动态重构研究

针对制造系统车间设施重构的决策问题,给出了面向可重组制造系统车间设施动态重构方法.利用多色图理论着色原理定义设施围道,建立制造车间多色图模型,通过布尔矩阵生成车间作业单元配置模型和物流模型,并构建工艺可行的作业单元配置方案;利用仿真分析软件构建作业单元配置方案的数字化仿真模型,结合生产物流及设施利用率分析,重构作业单元内设施系统.以某公司机械加工车间为研究对象,验证了车间设施动态重构过程的可行性和有效性.     

基于Petri网的多智能体制造系统建模

针对多智能体系统建模困难、不易推广应用的问题,根据其技术特点,提出了多智能体制造系统体系结构,并利用Petri理论对系统进行了建模分析,不但使制造系统的智能化模型得以图形化地体现,而且降低了系统的复杂性,使系统的可扩展性和智能化水平得到了增强．     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制，本提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法．该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构．确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤，采用透明度指标对模型进行评价，并给出控制器重构能力分析原则．接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中．分析结果表明设计的可重构逻辑控制器形式正确、有效，具有可重构能力．最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台，该软件采用CORBA组件模型的软组件技术开发．     

自动制造系统Petri网模型中的非完美变迁

提出了变迁子集的非完美变迁集的概念,非完美变迁集中的元素(成员)即为非完美变迁.一条资源变迁回路是完美的,当且仅当其变迁集的T[θ]非完美变迁集为空.对于一个变迁子集T1而言,已知T1中存在非完美变迁,如果试图从T1中删去一些变迁而得到T2,使得T2中没有非完美变迁,则一定要将T1中的非完美变迁全部删除.     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

快速可重组制造系统的可诊断性设计原理

为保证快速可重组制造系统的工作质量 ,给出了其可诊断性的定义 ,在快速可重组制造系统结构模型的基础上提出了系统运行过程中的可诊断性的概率模型和矩阵模型 ,根据矩阵模型得出保证快速可重组制造系统具有完全可诊断性时系数矩阵应为满秩矩阵 ,并进行了论证。实践证明这个方法能快速地用于快速重组系统的可诊断性估计     

基于Petri网的敏捷制造业务过程建模研究

在分析敏捷制造业务过程的基础上,给出了该业务过程的Petri网系统描述,并提出了Petri网过程模型.该模型描述了敏捷制造中多因素相互间的动态行为,解决了其过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.     

质量控制过程的流程重构校验方法研究

通过广义随机Petri网结构等价性的分析和论证，提出质量保证过程的流程建立和重构方法。首先该方法依据ISO9000标准，在网络化制造企业间构造无差错的开放质量活动流程，然后根据网结构等价构造方法分解到企业内部扩展私有流程。两次建模的步骤克服了递阶和集中控制需建立和校验整个流程的缺点，保持分布自治的质量控制过程在网结构特性上能满足有界性、遍历性和标记平衡，适应了网络化制造环境中需要适应性修正的动态特征需求，为网络化制造过程中质量的重构优化找到有效手段，最后通过实例说明结论的可应用性。     

基于Petri网的网络化快速原型制造过程建模研究

在分析网络化快速原型制造过程的基础上,给出了该过程的Petri网系统描述,并提出了其Petri网过程模型.该模型描述了网络化快速原型制造中多因素相互间的动态行为,解决了过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.     

大批量制造系统生产能力和设备利用率分析

数学计算和建模仿真是分析制造系统生产能力和设备利用率的常用方法,一个高质量的模型对于提高系统性能分析的效率和精度具有重要意义.该文介绍了时间Petri net(PN)的基本概念,建立了制造系统的时间PN模型.基于此模型,利用Markov理论分析了系统的生产率和设备利用率,该方法在用于复杂系统时会导致Markov方程求解困难.因此又利用ObjectNet仿真软件对建立的时间PN模型进行了分析,结果表明仿真方法明显提高了分析的效率,并得到了精确的结果.该文还讨论了通过仿真方法解决顺序加工单元中间缓冲区的优化配置问题.     

基于协同进化的配网动态重构算法

为解决传统配网动态重构算法迭代计算量较大的问题,提出基于协同进化的配网动态重构算法.首先根据配网各节点负荷的变化情况进行时段划分,再在划分的区段内采用改进的遗传算法进行静态重构,将各区段静态重构得到的优化解集作为动态重构的初始解集,最后以所有时段总运行费用最小为目标函数,采用协同进化算法,通过协调各区段的重构操作得到所有时段的重构方案.对修改后的IEEE-33测试系统进行仿真计算,结果表明所提出的动态重构算法能够有效减少潮流计算的次数,同时提高了计算效率.