基于事件逻辑的炼油企业动态调度系统

针对炼油生产动态调度问题,开发了基于事件逻辑的调度优化系统.在分析大量实际生产事件和调度专家处理经验的基础上定义动态事件,生成事件逻辑.将事件逻辑与广义析取规划相结合,建立了基于事件逻辑的动态调度模型.基于事件逻辑的动态调度建模方法增加了动态调度模型生成的快速性和灵活性,在保证调度优化性的同时获得较好的调度实时性.最后,以某炼油厂"原油供应不足"事件为例进行仿真实验.结果表明,基于事件逻辑的动态调度系统是可行、有效的.     

全连铸生产调度系统仿真模型的建立

对具有离散事件系统特征的全连铸车间生产调度系统，通过建立其仿真模型进行试验，实现了借助计算机仿真全连铸生产过程，编制了相应调度程序软件，给出多种优化调度方案图，可供实际生产调度参考使用。     

基于MAS的CAPP与生产调度集成系统

采用分布式人工智能的Agent技术，提出了基于MAS的CAPP与生产调度集成模型。该模型为动态开放式级／层控制结构，采用合同网协议和主动黑板结构等方法，实现系统的运行和信息交互。建立了基于该模型的原型系统，使工艺设计和调度的Agent结构成为既独立又能很好地进行协商反馈的独立模块。原型系统的仿真结果表明，集成模型和实现框架正确，是解决调度瓶颈问题的有效方法。     

一种支持微计算机应用系统实时性的多任务调度模块

结合１６位单片机组成的实用系统，介绍一种实时多任务调度模块的设计方法，详述了任务的划分，调度策略，中断管理及调度模块的实现过程，这种按时间片轮转的“伪并发”处理方式能有力地支持微计算机应用系统的实时性。     

一般生产调度问题的统一结构

分析了离散制造、间歇过程及连续工业的生产调度背景及需求，并依此说明各类企业的生产调度问题存在结构共性，可以归纳成一般生产调度（ＧｅＰＳ）问题来研究。这种ＧｅＰＳ问题可用混合动态系统来描述，它既包括描述基本生产过程的连续时间动态，又有描述实时事件发生及相应决策处理的离散事件动态，这两种动态是实时交互的。用水箱切换实例说明了ＧｅＰＳ问题的混合动态和模型特点。     

基于工作流技术的集成化生产计划与调度模型

分析了传统的生产计划与调度模式的弊端，提出了基于工作流技术的并行协调的过程管理解决方案，并给出了基于工作流技术的生产计划与调度的集成系统框架．在此基础上，从系统结构、模型定义、工作流管理系统及计划调度解决方法等方面分析了系统内各功能模块的功能及实现机制，提出了采用时间分段的思想来实现计划与调度的协调．然后重点介绍了工作流系统的决策机制，给出了基于时间和事件双模式驱动的工作流引擎的决策过程，最后对今后的研究发展方向作了进一步的展望。     

动态柔性生产调度中的分布式协同决策

针对任务分配问题的求解，描述了基于多自主体分布式协同决策的车间层动态柔性生产调度，给出了整个调度系统及其组成单元的结构，并对任务分配过程中所运用的基于协议网模型的谈判和一种使用决策矩阵的多准则决策方法进行了讨论。     

基于UML的电网调度数据通讯系统的建模

电网调度自动化系统在电网正常运营中举足轻重．论述了电网调度自动化系统中服务器端网络数据通讯模块的分析和设计．依据建立的相应对照关系，通过对传输数据的包装与解析，保证调度自动化系统中RTU站和调度站之间的正常通讯．为使系统模块的设计和开发更加规范化，以利今后进一步的开发与维护，设计使用UML语言进行了面向对象的建模．     

MES系统支持下高效卷烟生产调度方法研究

为提高卷烟生产调度能力，提出基于MES系统支持的高效卷烟生产调度方法。构建MES系统支持模型，在该模型中计算生产调度的输出值。并以调度输出值作为自适应学习系数，建立卷烟生产调度的量化评价参数筛选模型，对其筛选，并输出得到卷烟生产调度的检验统计量，构建卷烟生产优化调度函数，实现卷烟生产调度优化。仿真结果表明，采用该方法进行卷烟生产调度的收敛性较好，产出效益高，适用于卷烟生产调度。     

电信业务计算机集成管理系统的设计和实现

提出了用最小独立事件组合成服务事件队列的概念。采用控制流程调度的方法，分析和设计了电信业务计算机集成管理系统，还提出了信息管理系统中正确性、灵活性、安全性和异常事件的处理方法，并通过一个实例介绍系统的网络结构、模块和功能。     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

炼钢连铸过程的Petri网实时调度模型

炼钢连铸过程是一个复杂而又典型的混合动态系统，但现有的混合动态系统理论难以对此进行直接分析和综合。文章提出一种区段赋时弧有色Ｐｅｔｒｉ网，其库所输出弧上标注的是以颜色为变量的时间区间函数，并从抽象混合动态系统的角度给出了这种Ｐｅｔｒｉ网的变迁规则。利用模块化思想，以区段赋时弧有色Ｐｅｔｒｉ网为工具，说明了如何建立一个电炉炼钢连铸过程的实时调度模型。基于这一模型，既可以仿真整个生产过程，又可以分析和综合实时调度策略。     

安全Petri网位置不变式的一种生成算法

Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.     

抽水蓄能机组故障诊断与状态维修的Petri网模型

提出抽水蓄能机组故障诊断与状态维修Petri网模型的分解与分层方法,将抽水蓄能机组分解成转子、定子、机架结构、推力轴承、过流部件5个模块和故障诊断层、状态维修层2个层次,解决了抽水蓄能机组故障部位和故障现象过多带来的矩阵维数过大,求解过于复杂的问题.在此基础上,给出了抽水蓄能机组故障诊断与状态维修Petri网模型的知识提取表示方法及其实现步骤.最后以转子模块为例建立了其故障诊断与状态维修的Petri网模型.     

排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实际问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

Petri网的两类广义组合并网

Petri网运算和组合是合成复杂系统的有效方法,由此提出了Petri网的两类广义组合并网,讨论了保持网的可重复性,相容性,有界性和守恒性的条件,为Petri网对于大系统的分析提供了新途径。     

无环Petri网的结构性质

无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属...