基于质量特征产品装配顺序规划的逆向推理算法探究

在Petri网柔性装配系统装配顺序规划中引入装配质量要素,并以装配零件的装配自由度,装配作业后稳定性,装配零件配合精度对装配质量的影响作为基本因子,提出装配质量置信度概念,解决柔性装配系统装配规划中装配质量及其定量化问题。根据装配形成的产品在Petri网装配状态图中表示为一个最终库所的特点,应用改进B树模型,提出仅以变迁信息的产品装配顺序规划Petri网逆向推理算法,简化装配顺序规划推理过程,对于多个变迁均可生成最终成品的情况,亦给出装配顺序规划的解决方案,并以摩托车发动机的装配为例,证明该算法是可行的。     

数控机床控制系统的Petri网故障诊断方法

针对数控机床控制系统中传感器和执行机构故障,给出了一种基于Petri网的故障诊断方法:首先,根据数控机床各单元之间的运行逻辑和动态特性,得到了数控机床控制系统的标签Petri网模型;其次,根据各故障类型的行为特征,采用不可观变迁模拟故障;再次,给定任何传感器信号序列,利用Petri网的状态方程推理全部可能的系统行为,从而判断系统是否可能发生故障,并推理故障元件;最后利用一个示例演示验证了本文的方法。     

工业码垛机器人的视觉伺服技术

随着码垛机器人在物流自动化领域的广泛应用,市场对码垛机器人的智能化水平提出更高的需求。针对传统的"示教-再现"工作方式的码垛机器人功能单一、适应性差的问题,将机器视觉与码垛机器人控制技术相结合,搭建码垛机器人视觉伺服控制系统平台,并针对码放货物的特点,开展相关图像处理算法的研究。经试验验证,该码垛机器人视觉伺服控制系统平台可以快速准确的完成不同货物的检测、分拣和码垛,为后续码垛机器人视觉伺服技术的研究提供参考和依据。     

故障Petri网的激发矩阵方法研究

为了解决故障建模中如何较好地描述故障状态变化过程的问题,定义了带有激发矩阵的故障Petri网,对库所、变迁、激发矩阵、理想激发矩阵以及激发时间作了有别于传统Petri网的定义;将系统故障解释为源库所故障或者变迁的激发功能故障;依据变迁及其外延的一般形式,给出了故障Petri网的激发矩阵分析方法,由此提出了一种故障诊断算法.以某电源系统为例,设计实验对所提出的故障诊断算法进行验证,结果表明算法能够有效、可靠地诊断出系统故障.     

Petri网不可达标识的判定方法研究及其在死锁检测中的应用

为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究。对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系,建立了Petri网不可达标识的分类体系,为更好地进行标识不可达性判定提供了理论依据。分别结合哲学家就餐问题和一个跨组织协同业务流程Petri网模型的死锁状态,检测说明了标识不可达判定方法的应用。     

基于逻辑数据Petri网的业务过程建模与分析

为了解决逻辑Petri网中处理托肯优先级的问题,结合逻辑Petri网和时间Petri网的思想,提出逻辑数据Petri网、引发规则及其可达图。在该网中,为每个托肯添加了属性和到达时间,为逻辑输入、输出变迁添加了批处理等待时间和变迁引发持续时间,为普通变迁添加了引发持续时间。针对托肯定义了属性、时间删除函数和写函数,对库所中托肯的属性和到达时间进行了操作。建立了基于逻辑数据Petri网的电子商务系统模型,构建了可达图并重新定义了可达图中的状态信息,分析了优先级不同的托肯的时间优越性以及系统处理用户请求时的公平性。     

码垛机器人健康状态评估与诊断方法研究

本文介绍了设备健康状态评估与诊断技术的发展历程,分析了码垛机器人使用期间可能出现的故障类型,总结了常见故障产生的原因。介绍了码垛机器人健康状态评估与诊断的相关研究应用,对健康状态评估与诊断技术在码垛机器人中的应用进行了研究分析,提出了码垛机器人健康管理系统设计方案,并展望了多传感器融合技术在码垛机器人健康评估与诊断方面的应用。     

一种扩展了条件和概率信息的Petri网

为了使Petri网具有根据Token中记录的信息和当前处理情况,进行处理路线选择和分析各个变迁及所有可能变迁集执行概率的功能,提出了一种扩展了条件和概率信息的Petri网.该网为经典Petri网的库所和变迁扩展了输入条件集、概率输出条件集及选择函数.通过条件概率Petri网的表示定义了其建模图的表达方法,通过运行过程分析描述了该网的运行原理,通过可达、死锁路线发现及概率计算的方法分析了各个变迁、所有可能变迁集及死锁路线的执行概率,并给出了死锁的解决策略.最后利用条件概率Petri网对叶片的制造过程进行建模分析,显示了其对复杂业务流程建模和指导优化资源配置的能力.     

基于 Petri网的柔性制造系统动态优化模型

为解决柔性制造系统的动态优化调度问题,在基于扩展高级全局决策Petri网的柔性制造系统优化模型的基础上,提出了实时一优化切换控制Petri网模型。该模型在柔性制造系统发生加工设备故障、急件插入等异常情况时,自动切换并运行全局优化调度算法,并在系统允许的时间范围内,再切换返回到原有系统状态,按照新的优化结果运行。最后,以实时一优化切换控制Petri网模型与基于遗传的最小平衡算法结合为例,证实了该模型是有效的。     

基于多垛型位置算法的码垛系统设计

目前在传统机器人码垛系统中,对于多种垛型的作业需求,需要大量进行示教和程序编写工作。通过对常见的码垛垛型研究,创建了垛型自动生成桌面应用程序,开发了基于多垛型算法的自动码垛系统,并运用ABB工业机器人搭建了集成化的码垛系统。系统由PLC作为主控系统完成码垛流程控制和机器人通信工作,由上位机完成信息管理、设备调度和设备监控等工作。经现场验证,垛型维护方便,系统运行稳定。     

基于 Petri 网和图像识别方法的故障预防系统研究及实施

以国家ＣＩＭＳ工程技术研究中心制造系统为对象，设计并实施了一个制造系统故障预防系统。文中首先提出了制造系统的谓词／变迁网模型，以此为基础设计了基于Ｐｅｔｒｉ网可达性树分析方法和图像识别方法的制造系统故障预防系统，并给出了系统的总体结构图和相应的模块结构图。该故障预防系统已完成实施，在提高制造系统运行的安全性和可靠性方面，发挥了重要作用。     

基于TS算法的FPN鱼雷电子系统故障诊断方法

针对鱼雷电子系统故障传播的连续性,以及故障征兆与故障原因之间的模糊不确定性特点,提出一种基于禁忌搜索算法的模糊Petri网的鱼雷电子系统故障诊断方法.该方法定义了一个十元组的模糊Petri网,给出了表示模糊产生式规则的三种基本的模糊Petri网模型,在此基础上采用禁忌搜索算法对模糊Petri网模型参数进行优化.当模糊Petri网模型参数得到优化后,根据库所信度的大小通过故障推理进行故障定位.将其应用到某型鱼雷电子系统的故障诊断系统中,结果表明,该方法能够有效的提高模型故障诊断能力,具有较强的实用性.     

模糊Petri网在液压同步提升系统故障诊断中的应用

研究了基于可信度的合成式模糊产生式规则的表示方法,在此基础上,将模糊Petri网与矩阵运算相结合,给出了模糊推理过程的形式化推理算法,将复杂的推理过程采用矩阵运算实现,充分利用了模糊Petri网的并行处理能力,利用此理论及方法可以大大减少诊断时间,提高了准确度．最后以液压同步提升系统故障诊断为例证明算法的可行性和准确性．     

基于Petri网的故障诊断方法研究

Petri网作为一种图形化的网络与建模工具,能方便的表示和分析信息流,进行逻辑关系的表达和系统行为的建模,在故障检测和诊断领域得到越来越广泛的应用.该文对基于Petri网的故障诊断方法进行了系统研究,旨在为工程实践提供理论基础.     

Observer based on-line fault diagnosis of continuous systems modeled as Petri nets

This paper describes a technique for achieving on-line fault diagnosis in continuous systems that are modeled using Petri nets. The effect of place markings and transition markings are considered and based on the computed error between the initial marking and subsequent markings evolved in time, the faults are categorized assuming that the markings are both observable and unobservable. An algorithm has been suitably proposed for achieving detection of faults for a typical continuous three tank system along with suitable results.     

基于AFPN的汽车故障诊断研究

针对汽车故障诊断专家系统的知识具有动态性和不确定性的特点.提出了一种基于自适应模糊Petri网（AFPN）的汽车故障诊断方法。该方法首先根据模糊产生式规则建立相应的模糊Petri网模型,然后利用BP算法,通过样本数据对模糊Petri网中的权值等进行反复的学习训练,最后利用训练得到的参数和故障征兆发生概率对故障进行诊断。这种方法使知识库能动态更新,并可以避免依靠人工经验设置带来的不确定性。诊断结果表明,和传统故障树方法相比,该方法具有很多优点。     

Petri网在工程机械故障诊断中的应用

Petri网是信息处理系统描述和建模的有力工具。扩展Petri网既可以用图形直观地描述设备故障的发生和传播,又可以通过状态方程精确地分析系统行为。本文通过工程机械故障诊断实例测试,表明该方法是快速、准确的。     

基于面向对象赋时Petri网的工作流建模方法

介绍了一般Petri网代数表示的基本定义，分析了赋时Petri网引入时间因素的两种方式。将面向对象建模技术融入到Petri网模型中，形成了面向对象赋时Petri网模型，讨论了建立基于面向对象赋时Petri网的工作流模型的步骤。最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。     

复杂系统故障传播与故障分析模型研究

针对复杂系统故障传播与故障分析的复杂性与不确定性,建立了一种复杂系统故障传播与故障分析模型,即模糊概率Petri网系统。该模型引入故障模式关联概率与置信度约束,用模糊概率Petri网完备地描述了子系统故障模式关联关系,并按照子系统之间的连接关系用消息库所和门变迁连接各模糊概率Petri网,最终形成整个复杂系统的模糊概率Petri网系统模型。模糊概率Petri网系统采用对象内置于Petri网和Petri网内置于对象相结合的方式,简化了模型的表达形式,具有良好的封装性、可重用性和可维护性。最后,以一个应用实例说明了模型的适用性。     

Petri网在基于规则系统一致性问题检查中的应用

基于规则系统是目前应用较为广泛的一类专家系统,但它的知识库不易维护。本文针对基于规则系统的一致性问题,应用图形化建模工具Ｐｅｔｒｉ网的可达性概念和状态方程分析方法,提出了基于Ｐｅｔｒｉ网的一致性检查方法。文中首先对规则的三种Ｐｅｔｒｉ网表示模型进行了比较,并在含约束Ｐｅｔｒｉ网模型基础上,提出了一致性检验的命题方法,最后以实例说明该方法的实现步骤。当规则库较大时,相应的Ｐｅｔｒｉ网模型可能也会很庞