FMS实时控制系统OCPN模型的死锁分析(二)

为了使FMS实时控制系统OCPN（面向对象的着色Petri网）模型具有可靠性，本文在D‘Souza的死锁分析算法基础上，提出了检测通用OPN（面向对象的Petri网）模型和OCPN模型的死锁检测算法，同时利用提出的算法，对AGV物理对象OPN模型及无锡职业学院FMS中构造的OCPN模型进行了死锁分析，通过实例验证本文提出的死锁检测算法是简单性和通用性等特点。     

FMS中机器人控制系统的建模与实现

文章将机器人控制系统作为FMS控制系统中的一个通用组件来研究其建模、软件设计以及实现的方法。为了使机器人控制组件具有控制逻辑评价功能，采用面向对象方法来建立机器人控制系统的Petri网模型；为了使机器人控制组件能在FMS环境中实现即插即入的功能，进行了机器人组件与FMS中其它组件的基于CORBA的通讯接口的定义。为了使软件控制系统具有良好的维护性、重用性和可重配置性，建立了面向对象类的统一建模语言（UML）模型，同时开发了机器人控制组件，并在无锡职业学院FMS的机器人控制系统中得到验证。     

基于Petri网控制系统模型的构建与实现

提出了一种面向对象的Petri网(OPN)的建模方法并分析柔性制造系统(FMS)的状态动态变化.基于Petri网中单个结点对象的分析,以及对整个Petri网的网关及对应输入输出消息处所的构建,我们建立了一个FMS模型.在这个模型中,探讨了避免自动移动小车(AGV)和机器人的冲突和死锁的算法.通过对该模型各个对象有效的动态变迁的逻辑分析,在遵从一些特定的控制规则前提下成功开发了模拟调度控制软件,使控制模型更具智能性.     

面向对象Petri网方法在AGV嵌入式控制系统设计中的应用

面向对象Petri网方法兼有面向对象和Petri网两种建模方法的优点,是一种优秀的系统建模和设计方法.文章主要研究了面向对象Petri网方法在AGV嵌入式控制系统设计中的具体应用,为AGV嵌入式控制系统的设计提出了一种行之有效的形式化方法.     

制造系统敏捷性仿真建模软件开发

为了提高制造系统的建模速度和模型的可靠性,提出一种基于Petri网和eM-Plant的敏捷性仿真建模技术.应用面向对象思想和编程工具Visual Basic开发图形化的Petri网建模工具,实现Petri网的建模与分析;分析软件开发的关键技术,通过eM -Plant的COM接口调用eM-Plant的内部函数,配置eM-Plant对象,生成布局模型,并根据一定的转化规则把Petri网的控制逻辑转化为SimTalk语言;通过熔模铸造悬挂生产线的仿真验证表明:该建模方法提高了模型的可维护性和可重用性,保证了模型的可靠性,从而实现制造系统的快速建模.     

柔性制造系统的生产调度仿真

本文提出评价柔性制造系统(FMS)的性能指标和生产调度问题,引入生产调度问题的决策规则。基于FMS的Petri网模型,根据最小事件时间推进原理,引入解决冲突规则,论述多种生产调度规则在Petri网模型中的实现方法和Petri网模型的计算机动态仿真程序,并有仿真实例。     

基于赋时Petri网的批处理系统建模

批处理系统建模是其性能评价、仿真、调度以及控制研究的基础。批处理生产系统是动态离散事件系统，串行与并行生产过程并存。为了建立批处理系统的动态模型，引入了赋时Petri网的建模概念和特征，进行了批处理系统中资源模块的建模描述。在此基础上，提出了批处理系统的通用赋时Petri网的建模方法。采用提出的批处理系统建模方法，针对具体的批处理实例系统进行了建模。同时，在实例模型基础上，进行了批处理系统的调度研究。     

基于Petri网T_不变量考虑约束条件的可选加工方法链决策

计算机辅助工艺规划系统中的加工方法决策和加工顺序决策是迄今为止一直没有得到很好解决的关键问题.由于Petri网是对离散事件动态系统进行描述、建模和分析的强有力的工具,而机械制造系统又是典型的离散事件系统,所以文中采用Petri网来求解工艺规划问题.首先根据Petri网原理和产生式规则建立了基于规则的Petri网加工方法链模型;然后在考虑约束条件的基础上,提出了一种新的可选加工方法链T_不变量生成方法;最后对具体的实例进行了分析和验证.     

基于赋时Petri网的机器人小臂装配线建模

针对机器人小臂装配过程复杂、装配线平衡分析困难的问题,提出一种以自上而下/自下而上为指导思想的赋时Petri网建模方法。根据机器人小臂实际装配的特点,研究了该装配线模型的定义规则和构建方法。在引入模型假设之后,先用自上而下的思想建立基于流程的赋时Petri网模型;再用自下而上的思想建立基于任一工序的赋时Petri网模型;然后将前两步所建模型相结合并细化,从而建立整个装配线的赋时Petri网模型。最后,通过建立和分析对应模型的可达树验证了该建模方法的可行性。研究对指导机器人小臂装配线的构建具有较大的应用价值。     

基于Petri网和面向对象技术的柔性装配系统仿真

运用面向对象技术，实现了机器人柔性装配系统Petri网的类的构造，并根据Petri网变迁含义得到系统事件发生的短阵表达式，实现了系统完整的动态描述，并利用它们对机器人装配系统进行仿真，在此基础上得到系统指标，并应用于机器人装配线的设计阶段，取得了良好的效果。该仿真系统是在Windows环境下，以ＶisualC 语言实现。     

复杂工程柔性建模方法研究

本文在系统分析约束网络这种柔性建模方法的基础上，重点研究了如何将约束网络转化为一种动态的，高柔性的计算机模型，提出结合面向对象与数据库技术来建立复杂工程的柔性计算机模型，其应用取得了较好的效果。     

基于专家系统和神经网络的制造过程智能决策系统

提出一种基于专家系统和神经网络相结合的加工过程多目标优化智能决策方法,建立了专家系统和神经网络之间的信息交换机制,采用面向对象的方法设计了车削加工过程多目标优化的智能决策系统。     

基于软件复用技术的开放式数控系统研究与开发

“NC嵌入PC”结构的开放式数控系统开发中,控制软件的开发是开发的关键。本文在分析面向对象及组件技术的软 件复用基础上,提出了基于面向对象组件复用的数控系统开发方法,并开发了数控系统原型。通过加工实例初步验证了该方法 的有效性。     

软PLC虚拟机中元件库的研究与开发

介绍了软PLC系统iComacPLC1.0的体系结构及其基于PLC虚拟机的执行机制,并着重分析了虚拟机中元件库模块的功能和开发过程.该模块提供了梯形图编程元素的相关信息,由于符合IEC61131-3标准,并且采用面向对象的编程方法进行设计,具有通用性强、易于扩充等优点,提高了整个软PLC系统的柔性.     

基于CORBA面向对象的FMS控制系统模型

为了使ＦＭＳ控制软件系统具有开放性,本文提出了基于ＣＯＲＢＡ 面向对象的ＦＭＳ控制系统模型,将相关可编程设备的物理单元抽象为对象。为了方便异构物理单元的集成,各个物理单元对象通过继承抽象单元类共享公共通讯协议（ 单元与单元之间及单元与总控制器之间通讯协议） 。此外,ＦＭＳ的其它相关物理和抽象实体也抽象为对象。为了证实本文提出的控制模型,在ＶＣ＋ ＋ ５ ．０ 编程平台下编制了ＦＭＳ控制软件,并在上海交通大学生产与控制技术研究所ＦＭＳ示范系统进行了检验。     

铸件成本预估和计算机辅助铸件报价系统

在考虑铸造厂的工时,原材料,投资和铸造工艺等因素的情况下,找出了适合我国铸造厂的成本预估计算方法.开发了铸件报价计算机系统.     

基于PMAC运动控制器的数控系统在三坐标激光加工机床中的应用

本文介绍了基于PMAC运动控制器的三坐标加工机床开放式数控系统的软硬件设计，系统运行于Windows平台采用ISA总线通讯的上下位机模式，有效保证了数据传输速度和加工的实时性，在Visual C 环境中，利用面向对象方法进行了软件设计，提高了代码的可维护性。     

空心铝型材分流组合挤压模CAD系统开发

利用面向对象的设计思想,采用对象模型技术(object modeling technology,OMT)方法,确定了铝型材分流组合挤压模CAD系统的整体构架。用UG/OPEN API接口和UG/OPEN GRIP语言的功能,开发了空心铝型材分流组合挤压模CAD系统。实例证明,利用该系统可以方便地设计出参数化的铝型材分流组合挤压模。用有限体积法模拟铝型材挤压过程,分析金属流动、应力的变化,为优化挤压模结构提供依据。     

事件驱动方式在网络控制系统中的应用

在网络控制系统中，信息传输的时延是随机的，为了解决随机时延带来的多采样、空采样和单采样问题，提出了一种同时可适用于前向通道和反馈通道的采样信息处理方法，在时间驱动方式的基础上，该方法以事件驱动为基础，充分合理地使用了所有数据报中的控制信息。理论分析和实验结果都表明了，采用这样的处理方法可以提高系统的动态性能，使控制系统具有良好的控制品质。     

非线性电液位置伺服系统的自学习滑模模糊控制

针对电液伺服系统存在参数变化、负载干扰等非线性因素，且难以建立精确的数学模型用于实时控制的特点，将一种自学习滑模模糊控制方法应用于电液伺服系统，并将滑模控制策略应用于模糊控制中，建立以滑模函数值为输入、伺服阀控制电压为输出、模糊规则只有11个的简单模糊控制器，通过在线学习调整模糊规则使系统状态快速滑向状态平衡点。该控制方法结合了滑模控制和自适应模糊控制，鲁棒性强、结构简单。仿真和实时控制结果表明：在电液位置伺服系统中取得良好的控制精度和稳定性。