控制通道的移模能力分析与分散控制系统的信息结构问题

一个控制系统所能期望的最佳设计性能很大程度取决于控制通道对系统极点(模)的移动能力。本文通过引入可控锥、可观锥概念,提出了一套分析系统控制通道对系统极点移动能力的方法,并用于综合分散控制系统的经济合理信息结构,以克服单纯用“无不稳定固定模”为准则来选择信息结构所存在的缺点。     

一种基于Lagrangian松弛法求解化工批处理过程调度的方法

提出一种快速求取化工批处理过程次优调度的方法，通过约束变换，引入操作批量的函数和松弛物料贮存能力，将调度问题分解为一个两层次的优化问题，用动态规划求解下层问题，用次梯度求解上层对偶问题，然后依据对偶问题的解，以启发方式构作原问题的可行解。数值测试结果了该方法的有效性和实用性。     

FMS的实时调度与控制方法研究

本文以 CIMS 中的基本单元 FMS 为对象,从离散事件动态系统角度出发,研究了 FMS 的实时调度与控制.首先,从递阶控制角度出发讨论了 FMS 的调度与控制,把一般的 FMS 的调度与控制系统划分成三层:调度层、事件轨迹控制层和单元逻辑控制层,提出了 FMS 调度与控制的一体化结构——调度驱动监控结构.在此基础上,建立了 FMS 基于 Petri 网的调度驱动监控的形式化理论.     

化工批处理过程调度

阐述了化工批处理过程调度问题的基本框架，综述了近年来这一领域取得的进展和存在的问题，并讨论今后的发展方向。     

时间约束Petri网的状态可达及可调度分析算法

时间约束Petri网是具有广义时间约束的一类Petri网。时间约束的引入使TCPN’s的演化与系统每一时刻的状态密切相关,导致网的动态复杂性。目前有关TCPN’s状态可达性的研究仅局限于一些较简单的网,该文通过对TCPN’s的进一步研究,给出了更一般的可达性分析方法及变迁可调度决策算法,并讨论了含冲突结构的TCPN’s的可调度分析。     

关于最小分散镇定结构的研究

本文考察线性时不变多变量系统的分散镇定问题,揭示了局部控制站间的通信与消除固 定模间的内在联系,并由此把求最小(最经济)分散可镇定结构问题转化成一个显式的特殊0-1 规划问题,导出了一种求最小分散可镇定结构的有效算法.     

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

将受控赋时Ｐｅｔｒｉ网用于批处理生产过程中离散事件的建模。通过为动作库所赋予不同的时间参数，可对批处理对程中特有的零等待与有限时间等待中间存储策略进行建模和分析，控制库所的引入可消除资源争用冲突。借助与建立的模型，可进一步对系统进行逻辑分析和控制综合研究。     

一种计划与车间调度的集成模型及其拉氏松弛求解法

建立车间的集成生产计划与调度模型，并采用拉氏松弛技术对其进行求解。通过引入辅助变量批作业的ｌｅａｄ ｔｉｍｅ，且松弛ｌｅａｄ ｔｉｍｅ约束，得原问题珠松弛问题，它可分解为一个松弛的计划子问题与一个松弛的调度子问题，各子问题可用有效的动态规划算法求解，而对偶问题极大化则采用次梯度方法。     

化工批处理过程调度综述

综述了化工批处理过程调度问题的特点、 难点及一般框架,总结了近年来该领域取得的进展和存在的问题,并指明了将来的发展方向 ．     

位置互连Petri网的分散与协调控制

本文引入位置互连Petri网,对能用位置互连Petri网描述的离散事件系统提出了一种分散与协调控制框架,在这个框架下,我们讨论了一类常见的禁止状态控制问题,给出了综合其量小约束协调控制的一种有效算法。