用神经网络实现离散事件系统监控可能性研究

本文讨论了Hopfield神经网络的以描述人造系统为主的离散事件系统打似之处，以及用神经网络作为离散事件系统模型和监控器的可能性，并指出神经网络优化算法用于实时监控综合的优点及需要解决的问题。     

基于图形处理离散事件系统监控阻塞的新方法

本文提出了一种基于图形处理监控阻塞问题(SCPB)的新方法,用该方法可有效、直观地分析、求解SCPB。为此,本文给出了改进满意程度(SM)和阻塞程度(BM)的几种方法,并指出了这些方法的特性,从而得以同时改进SM和BM,并优化现有的监控器。     

离散事件系统监控与状态反馈方法的等价性

本文证明控制指标以谓词形式给出时,采用监控方法能使受控离散事件过程的可达状态与采用状态反馈逻辑的可达状态相同;控制指标以语言形式语言形式给出时,采用状态反馈逻辑也能使受控离散事件过程生成采用监控方法时生成的语言,因而从综合角度看,这两种方法等价。     

基于非齐整自动机模型的离散事件系统监控

本文研究了一类不能用齐整自动机建模的离散事件系统的监控问题,首先介绍了自动机齐整性的定义及检测方法，接着给出了将系统分解为若干个子系统的算法，最后讨论了系统监控问题，所得结果具有一定的参考价值。     

模糊离散事件系统监督控制理论

为了将经典离散事件系统 (Discrete event systems, DES) 中的监控理论扩展到模糊离散事件系统 (Fuzzy discrete event systems, FDES) 中, 总结了目前 FDES 建模和监控理论方面的成果, 进一步讨论了 FDES 的能控性, 给出了非阻塞监控的条件. 对 FDES 的能控子语言与优化监控进行了分析, 得到了能控子语言的性质. 以模糊自动机作为监控的一种形式, 给出了监督控制具体的实现方法, 这对于进一步开展 FDES 的研究工作是有益的.     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型,该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”;该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

基于现场可编程门阵列的新型可编程逻辑控制器在线调试技术

针对基于现场可编程门阵列(FPGA)的新型可编程逻辑控制器(FPGA based PLC)的在线监控问题,提出了泛化的基于FPGA技术对嵌入式片上系统(SoC)进行在线监控的方法。该方法设计了一个FPGA片上通信系统,系统内部固化基于UART的ModBus通信协议栈,通过串口与计算机上位机进行通信;采用双口RAM(DRAM)作为与监控对象间共享的数据缓存区,通过中断机制实现缓存数据的同步交换。性能分析结果表明,该方法将SoC处理监控通信的时间百分比降低至0.002%,确保了监控数据传送的实时性,且使SoC能够获得更佳控制性能。在Altera的cycloneⅡ系列芯片开发板上验证了方案的可行性。     

离散事件控制器综合与重构的研究

讨论了离散事件控制器快速综合与重构方面研究的意义以及存在的问题,介绍了基于改进的网重写系统的Petri网离散事件控制器快速综合与重构理论与方法的研究进展及其仿真系统开发。     

事件图的混合控制器设计

指数级计算复杂性的可达性分析导致较大规模Petri 网上的监控器设计非常困难. 为了解决这一问题, 本文给出了事件图上的混合型控制器设计方法：首先得到了观测器的设计方法;其次给出了根据观测器计算最大允许控制策略的算法. 结果表明,该方法降低了需要观测的状态空间的维数,从而提高了计算效率,并且该方法不要求对象网是活的或有界的.     

一类离散事件系统的监控器综合

前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网.针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束,显式地给出了最大允许控制策略的计算方法.并用一个例子给予了说明.     

计算DES监控中优于闭可识别语言的闭可观子语言

本文给出一种求闭能观子语言的算法,该算法经ｍ步（系统中离散事件个数）收敛;并且证明无论对系统中事件如何排序,由该算法求出的闭能观子语言总包含最大闭可识别子语言。     

针对MUX-LUT混合结构的FPGA工艺映射算法研究

针对具有MUX-LUT混合结构的FPGA芯片,提出一种对其进行工艺映射的面积优化映射算法．该算法的内容包括逻辑门电路到MUX网络的转换方法,MUX网络到FPGA芯片逻辑单元的映射方法．文中算法采用模式匹配的方法除去电路中的冗余MUX,以减少映射结果的面积开销．应用测试电路分别对该算法和Xilinx的Foundation系统对XC4003E芯片的工艺映射结果进行了比较测试,并给出了测试结果。     

现场可编程器件的异步串行配置

介绍了可编程集成电路的基本知识，着重介绍了大规模现场可编程集成电路ＦＰＧＡ的编程方案，以Ａｌｔｅｒａ公司的ＦＬＥＸ８０００系列芯片为例，给出了使用单片机和微机的两种配置实例。     

基于Fameview的冰机远程监控系统的设计与实现

本论文是对东风裕隆公司涂装车间冰机远程监控系统的设计与实现。冰机远程监控系统是在冰机室继电器控制系统的基础上增设的远程监控系统,实现对冰机室远程监控和管理,并且实现由工作人员远程统一监控,统一管理,提高了工作效率,降低了工作故障率。论文描述了冰机监控系统的网络结构和硬件组成,设计并完成了PLC控制图纸及PLC控制程序,完成了上位机Fameview监控界面的设计,实现了以太网和现场总线的双层网络通信。     

On-line control of partially observed discrete event systems

It is well known that the design of supervisors for partially observed discrete-event systems is an NP-complete problem and hence computationally impractical. Furthermore, optimal supervisors for partially observed systems do not generally exist. Hence, the best supervisors that can be designed directly for operation under partial observation are the ones that generate the supremal normal (and controllable) sublanguage. In the present paper we show that a standard procedure exists by which any supervisor that has been designed for operation under full observation, can be modified to operate under partial observation. When the procedure is used to modify the optimal full-observation supervisor (i.e., the one that generates the supremal controllable language), the resultant modified supervisor is at least as efficient as the best one that can be designed directly (that generates the supremal normal sublanguage). The supervisor modification algorithm can be carried out on-line with linear computational complexity and hence makes the control under partial observation a computationally feasible procedure.