检索结果-南通市图书馆

新读写 2017年第12期 27-27页

作者：吕珂浙江省东阳市巍山镇中学

抄，还是默？在没人监控的时候，作者犹豫着。“迎面吹来的风却透着冬末不该有的燥热”，反映了作者内心的挣扎，中间段的心理描写也很形象，从文章标题联想到“必须在自己心里装上一个监控器”，可以看出作者做出了正确的选择。

关键词：监控器心理描写文章标题作者挣扎内心联想

基于网结构压缩技术的Petri网监控器综合

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

系统工程理论与实践 2014年第4期34卷 1052-1058页

作者：罗继亮赵坡华侨大学控制科学与工程系厦门361021 福建省电力有限公司南平电业局运维检修部南平353000

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题,提出了控制目标(线性约束)等价的网结构压缩算法:(1)将不可控子网部分区域压缩为单个库所;(2)并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算... 详细信息

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题,提出了控制目标(线性约束)等价的网结构压缩算法:(1)将不可控子网部分区域压缩为单个库所;(2)并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法,可以有效地压缩原不可控子网,从而指数级地减小不可控子网的状态空间,有效地降低监控问题的计算复杂性,甚至当不可控子网为状态机时,该方法能够彻底解决上述计算复杂性难题,获得高效最优的Petri网监控器,并用一个物料运输系统演示了该方法.

关键词： Petri网网结构压缩监控器线性约束

广义互斥约束的Petri网死锁避免监控器设计

在线全文

学校读者我要写书评

暂无评论

农业机械学报 2015年第8期46卷 327-332页

作者：刘久富周建勇刘文良刘海阳杨忠王志胜南京航空航天大学自动化学院南京210016 东南大学电子信息工程学院南京211189

研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出... 详细信息

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

关键词： Petri网监控器死锁避免广义互斥约束

在线全文

学校读者我要写书评

暂无评论

部分能观的DES监控器设计

自动化学报 1995年第6期21卷 730-733页

作者：颜文俊孙优贤浙江大学工业控制技术研究所

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

关键词：离散事件系统能控性能观性监控器

在线全文

学校读者我要写书评

暂无评论

网络化集中控制照明系统智能监控器设计

电力自动化设备 2008年第5期28卷 95-98页

作者：李广才陈英俊聂东肇庆学院电子信息工程系广东肇庆526061

研制了一种集中控制照明系统前端智能监控器,进行了路灯运行参数及其环境参数的实时检测、路灯工作状态的多种方式控制以及网络化数据传输功能的一体化设计。基于ARM嵌入式微处理器,通过μC/OS-Ⅱ在LPC2292上的移植及信号量机制的建立... 详细信息

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

关键词：照明系统嵌入式网络监控器

在线全文

学校读者我要写书评

暂无评论

监控器、测评仪不能进入校园

中小学管理 2002年第12期 20-21页

作者：李启咏

一般用于特殊场合监视违法违纪行为的监控器,现已堂而皇之地搬进了校园,成为了"教学质量监测设备"或"教学检测仪".由于在教室里安装了摄像镜头,所以教师的一举一动都能传输到校长室的屏幕上.校长足不出门便可了解到所有上课教师的情况.

关键词：监控器测评仪教师人格干群关系学校管理

在线全文

学校读者我要写书评

暂无评论

非阻塞监控器设计中的语言优化方法

控制理论与应用 1997年第1期14卷 52-58页

作者：颜文俊蒋静坪孙优贤浙江大学工业电气自动化研究所杭州310027 浙江大学工业控制技术研究所杭州210027

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

关键词：监控器 Lm(G)闭子语言语言优化法离散系统

在线全文

学校读者我要写书评

暂无评论

基于时间属性序列图的监控器构造方法

小型微型计算机系统 2015年第7期36卷 1426-1431页

作者：叶俊民辜剑陈曙董威舒绍娴华中师范大学计算机学院武汉430079 国防科技大学计算机学院长沙410073

运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时间机制支撑,因此难以满足实时系统运行时验证中的要求.序列图... 详细信息

运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时间机制支撑,因此难以满足实时系统运行时验证中的要求.序列图得到了广泛使用,研究基于序列图来自动生成监控器就显得十分有意义.提出基于UML2.0时间属性序列图的监控器的自动生成方法,其具体思想是使用时间属性序列图来描述要验证的需求规约,然后将整个序列图转换为时间自动机网络,构造出监控器.实验表明,该方法方便缺少形式化经验的软件工程师使用,所产生的监控器运行开销较小,能满足验证对实时性的要求,且有效缓解了监控器生成过程中的组合爆炸.

关键词：时间属性序列图时间自动机监控器运行时验证

在线全文

学校读者我要写书评

暂无评论

TI推出业界最高精度锂离子电池监控器

电源技术 2011年第6期35卷 621-622页

日前，德州仪器（TI）宣布推出一款电池管理集成电路，其不但可延长充电锂离子电池组的使用寿命，而且还可最大限度提高混合动力电动车、电源工具以及不问断电源（UPS）应用的有效能量。

关键词：锂离子电池组监控器高精度混合动力电动车 TI 集成电路电池管理德州仪器

网络计算中的服务监控器及其在MICE中的实现

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机科学 2004年第B9期31卷 84-86,115页

作者：刘颖李廉兰州大学信息科学与工程学院，兰州730000

本文讨论网络计算中服务监控器的设计和应用，实现对于网络计算服务过程的实时监视和管理，改善系统的运行状态，并结合现在正在开发的网络计算平台MICE(Mathematics Internet Computing Environment)，实现对CSP(Computing Service Pro... 详细信息

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

关键词：服务监控网络计算平台实时监视管理员监控器 CSP 系统行管总体设计运行状态