检索结果-南通市图书馆

PSC2GS:一个基于属性序列图的监控器生成工具

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机科学 2014年第9期41卷 84-87页

作者：余俊张鹏程周宇鹏刘宗磊河海大学计算机与信息学院南京211100 南京大学计算机软件新技术国家重点实验室南京210093

在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property... 详细信息

在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property Sequence Charts(属性序列图)中自动生成监控器的方法。监控器被赋予多值语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例。监控器可以提供足够的信息用来预测系统失效。正文中将描述一个名为"PSC2GS"的工具,该工具具有设计属性序列图、基于属性序列图生成博弈结构、基于博弈结构生成Aspect Oriented Programming(面向方面编程)代码(监控器)等一系列功能。PSC2GS提供的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式。

关键词：运行时验证监控器属性序列图面向方面编程

在线全文

学校读者我要写书评

暂无评论

部分可控Petri网的最优监控器设计

控制工程 2017年第5期24卷 991-997页

作者：高蕾武书彦孙燕周建勇于杰刘久富河南信息统计职业学院信管系郑州450008 河南牧业经济学院信息工程系郑州450011 南京航空航天大学自动化学院南京210016

研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分可控Petri网的最优监控器的方法,探寻出以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束... 详细信息

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

关键词：部分可控Petri网监控器不可控变迁广义互斥约束

在线全文

学校读者我要写书评

暂无评论

嵌入式系统在包装机械监控器设计中的应用

包装工程 2004年第2期25卷 65-67页

作者：陈媛黄贤英重庆工学院重庆400050

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

关键词：嵌入式系统包装机械监控器硬件结构系统设计

在线全文

学校读者我要写书评

暂无评论

DQK—1型磁变仪倾斜仪监控器

地震研究 2001年第2期24卷 168-174页

作者：李道贵邹平王映琼李飞孙艳菲云南省地震局昆明650041 云南省气象学校昆明650032

70年代的仪器设备受当时的技术和材料的限制 ,存在着多种弊端。提高观测精度 ,改善内在质量问题势在必行。本文从前兆台网的实际出发 ,把地球物理与电子技术相结合 ,把维修经验与仪器研制相结合 ,运用功率电子学和自动控制理论 ,试制成... 详细信息

70年代的仪器设备受当时的技术和材料的限制 ,存在着多种弊端。提高观测精度 ,改善内在质量问题势在必行。本文从前兆台网的实际出发 ,把地球物理与电子技术相结合 ,把维修经验与仪器研制相结合 ,运用功率电子学和自动控制理论 ,试制成功“DQK— 1型磁变仪倾斜仪监控器” ,把地磁、地倾斜等前兆观测项目中的每天 3次人工检查仪器改为实时监控 ,为确保地震前兆观测的可靠性和连续性提供了硬件保障。

关键词：磁变仪地倾斜仪监控器前兆台网技术指标

在线全文

学校读者我要写书评

暂无评论

防止电话外线被盗用的线路监控器

无线电 1996年第3期 47-48页

作者：朱建坤

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中央空调分户监控器的设计

自动化仪表 2004年第8期25卷 35-36,34页

作者：王哲兴杨将新胡慧刁岳峰浙江大学现代制造工程研究所杭州310027

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

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

关键词：中央空调耗能监控器室内温度温差计量节能调用软件设计硬件结构

在线全文

学校读者我要写书评

暂无评论

计算机电源系统监控器

计算机工程与科学 1991年第1期13卷 47-55页

作者：胡世平刘立荣谭德立

本文首先介绍了国内外计算机电源系统监控器的发展现状;然后着重介绍了最近刚设计完成并投入使用的PSM-2电源系统监控器;最后就电源系统监控器的发展方向进行了探讨。

关键词：计算机电源监控器

在线全文

学校读者我要写书评

暂无评论

ARINC659航空总线监控器的设计

计算机测量与控制 2012年第1期20卷 91-94页

作者：李文星樊晓桠安建峰西北工业大学计算机学院陕西西安710129

ARINC659是一种具有高数据吞吐量、高故障容错和数据确定性的航空总线;为给系统分析提供数据源,根据ARINC659航空总线表驱动的协议特性,介绍了一种基于Verilog HDL硬件描述语言的ARINC659总线监控器的实现方案,完成了总线的采样,解码,... 详细信息

ARINC659是一种具有高数据吞吐量、高故障容错和数据确定性的航空总线;为给系统分析提供数据源,根据ARINC659航空总线表驱动的协议特性,介绍了一种基于Verilog HDL硬件描述语言的ARINC659总线监控器的实现方案,完成了总线的采样,解码,串并转换和存储,并通过状态跟踪方法生成了附有表指令地址和全分辨率时间的描述符;存储的总线数据和生成的描述符通过Xil-inx PCI LogiCORE的接口上传给主机;实验结果表明该监控器能实时检测分析ARINC659总线的数据与各种同步信息,实现了PCI 32bit×33MHz的主控方式数据上传。

关键词： ARINC659 航空总线监控器 PCILogiCORE

在线全文

学校读者我要写书评

暂无评论

矿井提升绞车运行方向监控器

煤炭科学技术 1989年第4期17卷 19-20,52页

作者：丁殿来河北煤炭建筑工程学院

文章针对老矿井提升机安全保护系统不够完善,研制成功了MTF-1型提升绞车运行方向监控器.介绍了应用电路的硬件、软件及抗干扰措施.

关键词：矿井提升绞车运行方向监控器