摘要：研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和死锁标识集,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器。最后,以某柔性制造系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计,设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。

摘要：离散事件监控理论是目前研究ＤＥＤＳ的一个主要分支．本文研究了在事件部分能控、能观情况下监控器存在的一个充要条件和设计方法，井用实例说明了该方法的有效性．

摘要：研制了一种集中控制照明系统前端智能监控器,进行了路灯运行参数及其环境参数的实时检测、路灯工作状态的多种方式控制以及网络化数据传输功能的一体化设计。基于ARM嵌入式微处理器,通过μC/OS-Ⅱ在LPC2292上的移植及信号量机制的建立与设置,解决了任务的调度及任务间的通信与同步问题,实现了实时操作系统的功能。利用以太网控制器芯片RTL8019AS扩展了网络接口,在μC/OS-Ⅱ中又移植了LwIP协议栈,实现了数据信息的网络化传输。通过CPLD芯片扩展了I/O接口,解决了数据交换的瓶颈问题。在市政路灯网的实际运行中,表现出较高的稳定性和可靠性,达到了网络化、精确化、动态化控制以及节能的目的。

摘要：为解决离散事件系统模块监控中的阻塞问题 ,提出了一种新的监控器设计思想 .在监控器之间建立通信的基础上 ,运用传统的模块监控器设计方法 ,基于估计状态独立设计各个监控器 ;在各监控器间的协调中 ,利用基于优先权函数的优先权模块控制 (MCP)机制 ,使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的 .利用这种方法设计的监控器非阻塞的充分条件是系统每个事件有一个监控器能观 .最后给出一个应用实例 。

摘要：本文研究在设计非阻塞监控器时所涉及到的语言的优化方法，首先给出了Lm（G）闭语言的计算公式，然后提出了能控Lm（G）闭子语言的逐级优化途径．对于目前获得的部分优化语言的封闭解进行了总结，并对各语言类之间的关系进行了分析．

摘要：本文讨论网络计算中服务监控器的设计和应用，实现对于网络计算服务过程的实时监视和管理，改善系统的运行状态，并结合现在正在开发的网络计算平台MICE(Mathematics Internet Computing Environment)，实现对CSP(Computing Service Provider)运行进行管理，直观、实时地监视CSP的执行情况，方便CSP管理员的控制和管理。本文详细阐述了CSP监控器的总体设计及其实现。

摘要：介绍了嵌入式系统的概念和特征,以及一种基于μc/os-Ⅱ的包装机械监控器的硬件结构和系统功能,着重阐述了嵌入式系统的设计方法。

摘要：针对LVDT的特点,设计了一种无相移解调器及监控器的电路,该电路简单、实用、可靠。

摘要：依据测量温差和流量的方法对中央空调分户耗能进行计量 ,据此提出了一种基于单片机控制的分户监控器方案。介绍了监控器的控制原理、硬件结构和软件设计。分户监控器不仅可以有效地对中央空调用户的耗能进行积算和计量 ,而且可以经济地实现室内温度的监控 。

摘要：研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分可控Petri网的最优监控器的方法,探寻出以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和有界非法标识集,对分离出的标识建立混合整数线性规划模型,运用分支边界法得到最大允许度且最少数量的广义互斥约束集作为最优监控器。以含不可控变迁的码垛机器人零件加工系统为例,建立了部分可控Petri网模型,结合零件加工过程中机器人的占用和释放环节,对应用Petri网在机器加工系统的最优设计进行了研究,应用监控器生成算法设计的监控器拥有更严格的约束和更简化的模型,验证了该算法的有效性。