最优基本信标在柔性制造系统死锁控制中的应用

基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优．在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法．实验结果表明采用相同的控制策略,最优基本信标可以使目标网系统在添加尽可能少的控制库所的同时生成尽可能多的许可行为．     

Petri网技术在柔性制造系统控制领域的应用

Ｐｅｔｒｉ网是一种系统描述和分析的工具，近几年来，由于Ｐｅｔｒｉ网本身具有的某些优势，使得它在柔性制造系统控制领域的应用越来越广泛。     

Petri网在FMS生产调度中避免死锁研究的应用

用着色面向资源的ｐｅｔｒｉ网模型来描述柔性制造系统中的工作竞争过程，该模型揭示了资源竞争过程的本质特征，从而推导出柔性制造系统中无死锁运行的条件，得出控制规律。     

一种利用基本信标的柔性制造系统死锁控制器设计方法

对于一类网系统ES³PR提出了一种有效的死锁控制策略．严格极小信标分为基本信标和从属信标,对每个基本信标通过添加控制库所,保证其能够被标识,同时不产生新的可被清空的信标．从属信标的控制通过调整基本信标的控制深度变量来实现．通过对添加的控制库所冗余性的分析,去除了冗余的控制库所,得到了许可状态更多、结构更为简单的Petri网控制器．     

并行共享资源死锁结构的一种判断方法

研究了独立制造过程共享资源引起的死锁问题,提出了并行资源死锁结构的概念。基于资源向量,给出了一个简单的形式化方法,用于判断一个系统是否由于包含并行 共享资源而具有可能的死锁。     

一种时延Petri网的死锁预防方法

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活．首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器．     

柔性制造系统活性监督控制器的简化设计

基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略．将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所．通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标受控时所应满足的条件．通过对控制器的结构分析和优化设计,提出一种判断控制库所是否冗余的方法．通过剔除冗余的控制库所,得到了结构更为简单,许可行为更多的活性Petri网控制器．     

离散事件系统一类禁止状态避免控制

以Ｐｅｔｒｉ网为模型描述某些离散事件系统，把实际系统中一些不希望出现的现象抽象为一类禁止状态，解决了这类禁止状态的避免控制问题     

S3PR网的一种死锁预防策略

针对S³PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C／D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤．首先将S³PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C／D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束．根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器．     

动态死锁分析与检测

可达树是Ｐｅｔｒｉ网性能分析的重要工具之一。本文在可达树和网结构的基础上,提出了一种分析与检测动态死锁的新方法,并给出了相应的算法。     

Algorithm for estimating confusion states of flexible manufacturing systems

As confusions have an impact on the multi-thread running and decision-making of flexible manufacturing systems (FMS), this paper aims to present a novel algorithm for finding all confusions of such an FMS, which can be considered as the foundation of further system modeling and control. An algebraic method is presented by analyzing the characters of confusion states, based on the available detection schemes of the subnet structure of Petri nets. The method implements state estimation of confusions by inputting a system static structure and an initial state instead of supervising system states. This result can be applied to conflict rationality analysis in the system modeling phase. Finally, an example of FMS is employed to simulate the proposed algorithm. The result shows that all confusion states of the target system can be estimated effectively by using the method.     

柔性制造系统智能安全检测监控与维护

以柔性制造系统 (FMS)的供电系统为主要对象 ,对FMS运行环境的智能安全检测监控与维护进行探索研究 .根据FMS的基本特点 ,设计了供电网实时监控系统及电力设备的故障诊断专家系统 .该系统不仅能够对确定的故障现象进行诊断 ,而且对模糊的非确定性故障也能诊断 .利用层次分类组织模型的思想 ,采用故障树分析的方法 ,建立了电力设备故障诊断知识库 .通过计算机仿真验证了该系统的可用性     

柔性制造系统刀具需求遗传算法研究

以零件加工时间最短作为模型的优化目标、以刀具购买资金作为约束,研究了柔性制造系统(FM S)刀具需求规划模型的构建。介绍了遗传算法的特点,并利用遗传算法对规划制造任务所需刀具的规格数量问题进行了求解。通过比较,验证了FM S刀具需求规划模型及其遗传算法求解问题的优越性。     

基于网络层次分析法的柔性单元生产系统重构方案评价研究

针对柔性单元生产系统的特性与工程实践,建立系统的柔性单元生产系统重构方案的综合评价体系.利用网络层次分析理论,考虑指标间的相互影响与制约关系,建立了基于网络层次分析法的柔性单元生产系统重构方案的综合评价决策模型.模型克服了AHP综合评价方法的不足,提高了指标权重的合理性与可行性.并通过算例分析了该模型的有效性.     

Flexible Developing System for Modern Instrument Manufacturing

The modern instrument manufacturing has many features, such as high technologies, multiple varieties and small quantities. Aiming at those features, an instrumentation flexible developing system (IFDS) is presented. It constitutes a kind of opening, compatible, extensible and upgradeable flexible developing system, and it will offer a kind of technology equipment for the research and development of new modern instrument products. Its flexible mechanism is able to be suited for different and special requirements of many instrument systems, and its system integrated mechanism is able to adapt to common technological features of most instrument systems. It is IFDS that makes it easy to accomplish a quick system integration of instrument products. IFDS solves key technological problems related to modern instruments development, develops multiple systems for modern instrument development and accomplishes rapid development of series of new products.     

Flexible Developing System for Modern Instrument Manufacturing

The modern instrument manufacturing has many features,such as high technologies,multiple varieties and small quantities. Aiming at those features,an instrumentation flexible developing system (IFDS) is presented. It constitutes a kind of opening,compatible,extensible and upgradeable flexible developing system,and it will offer a kind of technology equipment for the research and development of new modern instrument products. Its flexible mechanism is able to be suited for different and special requirements of many instrument systems,and its system integrated mechanism is able to adapt to common technological features of most instrument systems. It is IFDS that makes it easy to accomplish a quick system integration of instrument products. IFDS solves key technological problems related to modern instruments development,develops multiple systems for modern instrument development and accomplishes rapid development of series of new products.     

FMS仿真的多线程技术

提出了一种对柔性制造系统（FMS）进行仿真的新思路,即利用多线程技术,对FMS中的主要对象各定义一个线程,线程的运行状态代表了各对象的活动,线程的同步关系表示了对象之间的相互关系,并且给出多线程同步的方法,通过FZ－FMS的仿真实践证明,这种方法思路明确,扩展性强,利于编程实现,是一种有效的仿真实现方法。