基于CORBA技术的远程监控的实现 被引量：2

1

作者 曾育星 邹华军 孙健 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2001年第5期10-13,共4页

在论述CORBA技术的基础上 ,详细说明如何利用该技术实现网络范围内的远程监控 ,并结合一个实验系统 ,具体地说明了CORBA远程服务器和CORBA客户程序的建立过程 。

关键词 公共对象请求代理结构 轮廓文件 远程监控 CORBA

下载PDF 职称材料

模糊离散事件系统监督控制理论 被引量：4

2

作者 杨文 《自动化学报》 EI CSCD 北大核心 2008年第4期460-465,共6页

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

关键词 模糊理论 模糊离散事件系统 监控理论

下载PDF 职称材料

基于监督控制理论的家庭住宅用电安全性控制研究 被引量：3

3

作者 史晶锌 舒少龙 +2 位作者 林峰 谢文黎 包顺强 《现代建筑电气》 2014年第1期9-15,共7页

通过建立系统的自动机模型,研究了如何采用监督控制理论控制家庭用电系统,确保系统的安全性。在此基础上,运用分层设计方法构建了家庭住宅监控系统,数据层利用传感器采集各种电气数据,并且从数据中提取出相关的事件;监控层利用监督控制... 通过建立系统的自动机模型,研究了如何采用监督控制理论控制家庭用电系统,确保系统的安全性。在此基础上,运用分层设计方法构建了家庭住宅监控系统,数据层利用传感器采集各种电气数据,并且从数据中提取出相关的事件;监控层利用监督控制理论实现了家用电器的安全控制策略。 展开更多

关键词 监督控制理论 监控系统 事件驱动 安全性 家电设备

下载PDF 职称材料

一种基于监控理论的软件设计方法:状态性质变换方法 被引量：2

4

作者 王向云 张文辉 +2 位作者 王鹏 李永超 蔡开元 《控制理论与应用》 EI CAS CSCD 北大核心 2007年第2期187-192,199,共7页

基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先... 基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。 展开更多

关键词 反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论

下载PDF 职称材料

对称离散事件系统事件重标记观测器性质研究 被引量：2

5

作者 焦亭 甘永梅 +1 位作者 肖国春 WONHAM W M 《控制理论与应用》 EI CAS CSCD 北大核心 2017年第4期525-532,共8页

当离散事件系统(discrete-event systems,DES)由多组结构相同的组件构成时,则称离散事件系统具有对称性.为了化简对称离散事件系统的状态空间,本文提出事件重标记映射,将完成相同任务的事件标记为同一事件,将与控制无关的不可控事件设... 当离散事件系统(discrete-event systems,DES)由多组结构相同的组件构成时,则称离散事件系统具有对称性.为了化简对称离散事件系统的状态空间,本文提出事件重标记映射,将完成相同任务的事件标记为同一事件,将与控制无关的不可控事件设为不可观测事件,并将其标记为空字符擦除.为了确保事件重标记前后系统对应的最大监督控制器具有相同的控制效果,本文引入重标记观测器(relabeling observer property,ROP)的概念并给出判断被控对象对应的语言关于事件重标记映射是否具有重标记观测器性质的算法;然后运用重标记观测器性质证明事件重标记前后监督控制器控制效果的等价性,从而可用简化后的监督控制器实现与事件重标记操作前相同的控制任务.最后通过实例验证所提理论的正确性. 展开更多

关键词 离散事件系统 监督控制理论 对称性 事件重标记

下载PDF 职称材料

组件多工作模式下的离散事件系统监督控制方法研究 被引量：1

6

作者 焦亭 刘振国 《控制理论与应用》 EI CAS CSCD 北大核心 2020年第3期534-539,共6页

针对组件多工作模式下的离散事件系统,提出一种监督控制方法.利用Ramadge-Wonham监督控制架构,计算出组件各工作模式下对应的监督控制器.然后,利用所提的merge算法将组件各工作模式下对应的监督控制器合并,以生成融合监督控制器.再利用... 针对组件多工作模式下的离散事件系统,提出一种监督控制方法.利用Ramadge-Wonham监督控制架构,计算出组件各工作模式下对应的监督控制器.然后,利用所提的merge算法将组件各工作模式下对应的监督控制器合并,以生成融合监督控制器.再利用所提的事件选择函数得到在融合监督控制器各状态允许发生的事件,从而保证系统在融合监督控制器作用下的可控且非阻塞运行.最后,通过一个带反馈功能的制造系统演示本文所提方法的有效性,该系统中的检测单元将根据工件未通过检测的次数选择工作模式.相比于运用扩展有限状态机进行变量抽象的方法,本文所提方法更加直观简便,并能适应多个工件同时处于系统中时的情形. 展开更多

关键词 离散事件系统 监督控制理论 多工作模式组件 融合监督控制器

下载PDF 职称材料

离散事件系统监控理论及其在航天领域的应用研究

7

作者 李惠峰 赵文华 李昭莹 《航天控制》 CSCD 北大核心 2009年第3期102-106,共5页

在概述了离散事件系统产生与发展近况的基础上,主要综述了描述离散事件系统逻辑行为的常用工具,如自动机、形式语言和Petri网,给出监控器设计的基本思路,并举例说明基于自动机模型的监控理论在飞行器中的最新应用,这些应用不仅证明了离... 在概述了离散事件系统产生与发展近况的基础上,主要综述了描述离散事件系统逻辑行为的常用工具,如自动机、形式语言和Petri网,给出监控器设计的基本思路,并举例说明基于自动机模型的监控理论在飞行器中的最新应用,这些应用不仅证明了离散事件监控理论的正确性,而且拓宽了该理论的应用领域。 展开更多

关键词 离散事件系统 监控理论 监控器 自动机

下载PDF 职称材料

对称离散事件系统状态树结构模型的控制函数不变性研究

8

作者 焦亭 甘永梅 肖国春 《西安交通大学学报》 EI CAS CSCD 北大核心 2016年第11期43-48,共6页

针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题,提出了基于状态树结构的抽象控制函数计算方法。该方法通过充分利用系统的对称性,对避免缓冲区出现上溢或者下溢的性... 针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题,提出了基于状态树结构的抽象控制函数计算方法。该方法通过充分利用系统的对称性,对避免缓冲区出现上溢或者下溢的性能指标,采用事件重标记映射提取各组中处于加工完成状态的组件数目,从而省去了各组件复杂的运行细节;然后利用状态树结构计算得到基于抽象状态信息的控制函数;最后,结合各组组件并行工作与串行工作的实例,分析所得控制函数的不变性,即在缓冲区容量固定的前提下,控制函数所需的状态信息与组件总数量无关。实验结果表明:在实际应用中借助控制函数的不变性可在结构相同的组件增减时免于重复计算控制函数;各组中重标记为同一事件的各可控事件可由同一控制函数进行使能,有效减少了控制函数的个数;相比于自动机形式的监督控制器,控制函数状态数更少且能更清晰地描述控制逻辑。 展开更多

关键词 离散事件系统 监督控制理论 状态树结构 控制函数 谓词逻辑

下载PDF 职称材料

基于事件驱动型传感器网络的跑道入侵防御 被引量：2

9

作者 汤新民 陈平 邢健 《高技术通讯》 CAS CSCD 北大核心 2013年第9期951-959,共9页

为避免在机场发生航空器/车辆入侵跑道,将事件驱动型传感器网络引入跑道入侵防御系统中,通过对传感器网络获取的目标探测信息实施融合重建跑道运行态势。根据跑道运行过程建立基于Petri网的场面活动模型,定义跑道入侵控制规范将跑道入... 为避免在机场发生航空器/车辆入侵跑道,将事件驱动型传感器网络引入跑道入侵防御系统中,通过对传感器网络获取的目标探测信息实施融合重建跑道运行态势。根据跑道运行过程建立基于Petri网的场面活动模型,定义跑道入侵控制规范将跑道入侵探测与避免问题转化为状态禁止问题。针对模型存在的不可控事件,通过计算满足强控制规范条件的控制率实现逻辑控制器的设计,并证明该逻辑控制器是极大允许。案例研究表明,控制器通过跑道入口停止排灯和滑行管制指令实现跑道入侵防御,该监控算法的复杂度仅与传感器网络节点的布局而非与航空器/车辆的数量有关。 展开更多

关键词 跑道入侵防御系统（RIPS） 事件驱动型传感器网络 离散事件监控理论 逻辑控 制器设计

下载PDF 职称材料

基于RW监控理论的虚拟生产系统控制

10

作者 李琳 江志斌 张志英 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第10期1693-1699,共7页

虚拟生产系统(VPSs)是一种为应对当今易变的和不确定的制造环境而提出的新型生产资源结构模式.为了实现其虚拟动态性、自适应性和全局性,应用RW监控理论并在UMDES-L IB的辅助下,对VPSs进行离散事件动态系统建模,以解决生产过程中最基本... 虚拟生产系统(VPSs)是一种为应对当今易变的和不确定的制造环境而提出的新型生产资源结构模式.为了实现其虚拟动态性、自适应性和全局性,应用RW监控理论并在UMDES-L IB的辅助下,对VPSs进行离散事件动态系统建模,以解决生产过程中最基本的冲突问题为目标,建立自治与协调规则,并相应地构建了自治与协调监控器,从而建立起基于RW监控理论且具有自治与协调控制机制的VPSs闭环监控框架.该闭环监控框架兼顾了局部自治和全局协调,并且具有很好的可重构性、可扩展性和可适应性,有助于VPSs增加系统柔性和提高响应速度. 展开更多

关键词 虚拟生产系统 RW监控理论 自治与协调 离散事件动态系统 有限自动机 冲突问题

下载PDF 职称材料

增量式软件设计方法的条件

11

作者 王向云 蔡开元 王三民 《计算机工程与应用》 CSCD 北大核心 2008年第9期10-12,60,共4页

增量式设计方法是软件开发中常用的一种设计方法,但是对其进行形式化研究的并不多。论文研究用多项式动态系统方法开发软件时是否可以用增量式设计方法。首先通过一个反例说明并不是在任何情况下都可以用增量式设计方法,然后通过定义软... 增量式设计方法是软件开发中常用的一种设计方法,但是对其进行形式化研究的并不多。论文研究用多项式动态系统方法开发软件时是否可以用增量式设计方法。首先通过一个反例说明并不是在任何情况下都可以用增量式设计方法,然后通过定义软件需求的继承性,得到增量式软件设计的一个充分条件:当已经设计的软件需求具有继承性时,可以对新的软件需求采用增量式设计。 展开更多

关键词 软件控制论 监控理论 多项式动态系统 增量式软件设计 继承性

下载PDF 职称材料