检索结果-南通市图书馆

工矿自动化 2002年第4期28卷 43-45页

作者：陈为信姜华魏永平刘竟雄中国矿业大学信电学院江苏徐州221008 天地科技股份有限公司北京100013

介绍了矿井提升机行程 -速度全数字监控器的构成、功能及工作原理 ,指出了以行程为变量的速度给定方式的重要性 ,并讨论了井筒同步校正开关设置的意义及监控器的抗干扰措施。

关键词：矿井提升机监控器行程速度同步校正抗干扰措施

基于DSP的嵌入式实时监控器系统的设计与实现

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于DSP的嵌入式实时监控器系统的设计与实现

作者：赵航西安电子科技大学

学位级别：硕士

嵌入式计算机技术经过近十年的快速发展,在许多领域内已经取代了通用计算机。嵌入式计算机具有专用性、实时性、软硬件系统可裁剪等优点,在军事电子、航天航空、医疗器械、工业控制、家用消费电子等领域得到广泛应用。本课... 详细信息

嵌入式计算机技术经过近十年的快速发展,在许多领域内已经取代了通用计算机。嵌入式计算机具有专用性、实时性、软硬件系统可裁剪等优点,在军事电子、航天航空、医疗器械、工业控制、家用消费电子等领域得到广泛应用。本课题研究了嵌入式系统在SVC控制系统中的应用,是嵌入式计算机技术与电力电子技术结合的一个实例。在分析了国内外几种SVC智能数字控制系统实现方案,并结合西电科技实业公司提出的系统需求后,我们提出了一种基于DSP TMS320F2812的嵌入式实时监控解决方案。通过系统实现,证明本方案确实可行,并具有精度高、实时调节控制、实时功率补偿、实时监控且可靠性高的特点。　本文主要论述了该系统的总体设计和实现方案,并详细介绍了系统使用的元器件与电路的实现方法以及软件总体和关键部分的设计流程。同时根据系统实现中的需要,介绍了分布式控制系统、现场总线技术、高速数字电路PCB布线技术以及嵌入式实时软件设计及优化技术等。

关键词： DSP SVC 嵌入式计算机 TMS320F2812 监控器

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

1553B总线监控器的实现与验证

1553B总线监控器的实现与验证

作者：操炜鼎西安电子科技大学

学位级别：硕士

MIL-STD-1553B总线是一种时分制指令/响应式多路复用数据总线。1553B总线上有三类终端：BC、RT、MT。本文所实现的是某款协议芯片中的1553B总线监控器的软核。本文首先介绍了1553B总线监控器的研究背景，并对1553B协议进行了分析;在此... 详细信息

MIL-STD-1553B总线是一种时分制指令/响应式多路复用数据总线。1553B总线上有三类终端：BC、RT、MT。本文所实现的是某款协议芯片中的1553B总线监控器的软核。本文首先介绍了1553B总线监控器的研究背景，并对1553B协议进行了分析;在此基础上分析了监控器需要实现的功能，然后进行了总体的设计，对每个小的模块进行了描述。设计完成后，进行了模块级和虚拟平台的验证。首先介绍了验证平台的搭建、测试项的开发，然后按照仿真步骤进行仿真，对仿真结果进行详细的分析，根据仿真中存在的问题，不断修改代码，直到达到设计需求。本文设计的一大特点是监控器软核独立于BC、RT两种终端，市场上其它协议芯片都是将BC、RT、MT三种终端融合在一起，形成BC/RT/BM核;而在本文所涉及的项目中，由于之前BC/RT的设计已经成熟，只是缺少MT终端，这种方法大大缩短了设计周期。

关键词： 1553B总线监控器软核验证

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

智能配电监控器的设计和实现

智能配电监控器的设计和实现

作者：褚东南京邮电大学

学位级别：硕士

为满足中小型配电系统的需求,本课题设计一种智能配电监控器。可通过RS485串行通信的方式连接多台使用MODBUS协议的仪表、综合保护器、接触器、断路器等现场设备。可将现场设备的相关数据集中显示在智能配电监控器的液晶显示器上,可通... 详细信息

为满足中小型配电系统的需求,本课题设计一种智能配电监控器。可通过RS485串行通信的方式连接多台使用MODBUS协议的仪表、综合保护器、接触器、断路器等现场设备。可将现场设备的相关数据集中显示在智能配电监控器的液晶显示器上,可通过触摸屏对现场设备进行操作。在现场设备发生报警、故障等事件时,智能配电监控器进行记录并通过短消息通知向配电管理人员。智能配电监控器还带有网络接口和GPRS接口,可通过网线或无线的方式连接到INTERNET上,提供Web Server支持浏览器访问现场设备数据,支持Modbus/TCP,可将智能配电监控器整合到上一级更大的配电监控系统中。经过一段时间的运行,证明该监控器系统能很好的完成监控、报警、记录等功能,具有良好的稳定性和安全性,已经成为中小型配电监控系统的组成部分,提高了配电系统的智能化水平,达到了预定的目标。

关键词：智能配电监控器现场设备

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于运行时验证的监控器优化方法研究

基于运行时验证的监控器优化方法研究

作者：叶玲玲桂林电子科技大学

学位级别：硕士

随着计算机软件系统规模的不断扩大和复杂性的逐渐增加,验证软件系统正确性和可靠性的难度也越来越大,传统的验证技术已经无法满足需求。运行时验证是一种提高软件系统正确性和可靠性的轻量级验证技术,是传统验证技术的有效补充,它通过... 详细信息

随着计算机软件系统规模的不断扩大和复杂性的逐渐增加,验证软件系统正确性和可靠性的难度也越来越大,传统的验证技术已经无法满足需求。运行时验证是一种提高软件系统正确性和可靠性的轻量级验证技术,是传统验证技术的有效补充,它通过监控软件系统的实际运行状态来验证软件系统是否正确。然而,在运行时验证中,监控软件系统的运行状态通常会产生一些额外的运行时开销,这会对软件系统的性能造成一定的影响。因此,减少运行时验证的开销是运行时验证领域中一个重要的研究内容。本文围绕如何有效地减少运行时验证的开销问题进行研究,具体对运行时验证工具JavaMOP展开研究工作。对JavaMOP进行优化,降低JavaMOP运行时验证的时间和内存开销,提高运行时验证工具JavaMOP的验证效率。本文首先分析JavaMOP验证线性时态逻辑(Linear Temporal Logic,LTL)性质时监控器的构造过程,研究并提出了一种改进的监控器构造方法。该方法使用基于迁移的广义Büchi自动机(Transition-based Generalized Büchi Automaton,TGBA)作为中间的辅助自动机。将LTL性质直接转换为TGBA,并对TGBA进行冗余化简;然后将化简后的TGBA泛化成Büchi自动机;再由Büchi自动机得到确定型有穷自动机,即监控器的抽象表示。实验结果表明,该方法能够得到更小的Büchi自动机,加速JavaMOP中监控器的构造过程,减少JavaMOP生成监控器的时间和内存开销。针对参数属性的运行时验证,本文提出结合静态分析技术和垃圾回收机制,对验证参数属性的监控器实例进行分析,减少监控过程中一些不必要的监控器实例,进一步降低运行时验证的开销。参数属性能够很好描述面向对象系统的行为,JavaMOP验证系统参数属性时,参数对象被绑定到具体的对象实例,然后生成监控器实例,进行属性监控。本文结合静态分析技术定义一个Sufenable集合,用于收集参数监控过程中的监控器实例,分析出其中不必要的监控器实例并对它们进行回收释放。同时在验证系统之前,对系统程序进行预处理,减少系统的监控量和监控器插装,从而减少运行时监控的开销。

关键词：运行时验证 JavaMOP 监控器参数属性 Büchi自动机

基于μC/OS-Ⅱ的嵌入式开发平台的构建及其在监控器中的应用

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于μC/OS-Ⅱ的嵌入式开发平台的构建及其在监控器中的应用

作者：邓家龙中南大学

学位级别：硕士

在21世纪,工程机械将进入机电一体化时代,将沿智能化、集成化和网络化的方向前进,先进工程机械监控器是机电一体化的基础和平台。由于历史的原因,现有的工程机械监控器功能单一、可靠性差、没有总线通信功能,不能满足机电一体化的要求... 详细信息

在21世纪,工程机械将进入机电一体化时代,将沿智能化、集成化和网络化的方向前进,先进工程机械监控器是机电一体化的基础和平台。由于历史的原因,现有的工程机械监控器功能单一、可靠性差、没有总线通信功能,不能满足机电一体化的要求。本文在吸收国内外工程机械监控器优秀成果的基础上,将嵌入式技术应用于监控器中,开发出功能先进、可靠性高、具有CAN通信功能的新型的工程机械监控器。嵌入式系统是后PC时期计算机最普遍的应用形式,广泛应用于控制领域、信息家电、工业、农业、商业、服务业等各行业,已成为现代电子设计的一大领域和方向。嵌入式系统的设计方法也从早期的直接开发进入平台化开发时代。美国Jean J. Labrosse教授开发的μC/OS-Ⅱ实时操作系统内核实时性好、代码效率高,原代码公开,已成为嵌入式操作系统的研究热点。本文在深入分析μC/OS-Ⅱ的多任务管理机制后,将之移植到PIC18F458单片机中,并在此之上编写了常用的四个模块的应用程序接口,由此组成一个简单的嵌入式软件开发平台。开发平台的建立不仅为开发高水平的监控器提供了基础,同时也是单片机开发技术的革命性飞跃。从监控器的主要功能出发,本文构建了以PIC18F458为嵌入式CPU的监控器硬件系统,EEPROM数据存储器、LCD显示、串口通信、CAN通信等模块代表了新型监控器的发展方向,隔离型DC/DC模块、去耦电路、光电隔离、屏蔽等技术的应用为监控器的高可靠性提供了坚实的保证。以嵌入式监控器硬件为载体、以μ C/OS-Ⅱ及其API为平台,本文开发了嵌入式监控器的应用软件。嵌入式软件囊括了模拟信号采集、LCD显示、EEPROM数据记录、串口通信、CAN通信等流行的应用模块。其中尤以CAN通信网络的规划、通信协议的制定最能体现其先进性。上位机的基于VB的串口通信软件为实时数据的采集和EEPROM数据的转储提供了手段,基于LABVIEW的波形分析及数字滤波软件为在必要时分析设备的实时数据提供了途径。高可靠性的监控器是本文的主要设计目标,从硬件和软件两个方

关键词： μC/ISⅡ 嵌入式系统监控器 PIC单片机 CAN通信

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于CAN总线的移动电站监控器的设计

基于CAN总线的移动电站监控器的设计

作者：朱凯哈尔滨工业大学

学位级别：硕士

随着集成电路和嵌入式技术的发展，嵌入式系统在各种车载装备中的应用越来越广泛。移动电站作为车载装备的电力供给来源，其供电质量和可靠性直接决定了装备效能的发挥，因此，实现移动电站的现代化和信息化以及保证其供电质量和可靠性... 详细信息

随着集成电路和嵌入式技术的发展，嵌入式系统在各种车载装备中的应用越来越广泛。移动电站作为车载装备的电力供给来源，其供电质量和可靠性直接决定了装备效能的发挥，因此，实现移动电站的现代化和信息化以及保证其供电质量和可靠性对车载装备的现代化建设具有良好的意义。本文针对某型车辆开展了基于CAN总线的移动电站监控器的设计。首先，本文简要介绍了国内外电力监控设备及CAN总线的发展现状。然后，对CAN总线相关理论进行了研究，针对某型移动电站系统结构，确定了监控器的基本功能及性能指标，详细论述各监控参数的测量原理，提出了以CAN总线构建系统的拓扑结构。再次，利用高性能ARM芯片LPC2368、专用计量芯片ADE7758和各种传感器进行了硬件设计，基于μC/OS II操作系统进行了各模块的软件设计，在硬件设计、软件设计和结构设计过程中同时进行了可靠性设计和可靠性测试，采用新工艺、新技术提高了整个嵌入式系统的可靠性。最后，对系统进行了台架试验和实际装车应用试验，经过试验和试用证明，设计的监控器达到了车载移动电站的要求。本监控器集测量、保护、控制、通信于一体，取代目前移动电站配电系统各种模拟或数显的电流表、电压表、转速表以及控制和保护装置等，彻底改变了传统仪器的结构，使整个系统拓扑结构简单，易于实现整车各项监控参数的集散控制以及功能扩展，使本系统结构更加合理，更加人性化。同时，提高了车辆上装的使用空间，而且还能够进一步规范移动电站的操控流程，降低移动电站的维护、培训等边际成本，提升车辆承载装备的总体自动化、集成化、信息化水平。因此，本设计具有良好的社会和经济效益。

关键词：移动电站 CAN总线监控器嵌入式 LPC2368

基于PPTL3运行时验证监控器的研究与改进

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于PPTL3运行时验证监控器的研究与改进

作者：王艳梅西安电子科技大学

学位级别：硕士

随着计算机技术的发展,各种应用软件逐渐深入到人们日常生活的各个领域。但是应用软件的微小错误都可能对人们造成极其负面的影响,为此提高软件系统的可靠性和安全性是非常重要的。运行时验证作为一种轻量级验证技术,弥补了传统验证技... 详细信息

随着计算机技术的发展,各种应用软件逐渐深入到人们日常生活的各个领域。但是应用软件的微小错误都可能对人们造成极其负面的影响,为此提高软件系统的可靠性和安全性是非常重要的。运行时验证作为一种轻量级验证技术,弥补了传统验证技术的缺陷,使用形式化方法描述性质并将其转换为对应的监控器,然后从被验证系统中提取运行轨迹并交予监控器,最终监控器将判断性质给出结果与反馈。各种时序逻辑被广泛用来描述运行时验证性质,命题投影时序逻辑(Propositional Projection Temporal Logic,PPTL)具有完全正则表达能力,由于运行时验证只能获取系统的有限轨迹,为此一种基于PPTL三值语义(Three-valued PPTL,PPTL3)的运行时监控器构造方法被提出,相应的PPTL3性质监控器生成工具(Property Monitor Generation of PPTL property,PMGPTL)被实现并分别应用到离线和在线监控的社交网络系统中。本文对基于PPTL3的运行时验证监控器进行了研究,提出了监控器的改进方案并在PMGPTL中实现。首先,直接地证明了监控器构造算法的正确性,保证了构造算法生成的监控器与PPTL三值语义的一致性。其次,提出了监控器构造算法需要解决的两个关键问题,分别是打结Buchi自动机(Stutter BuchiAutomaton,SBA)转换NFA过程中NFA可接受状态的判空操作和构造监控器之前的最小化DFA操作,为此给出了基于强连通分量(Strong Connected Component,SCC)的判空算法和最小化确定有穷自动机状态算法,并且研究分析了改进后PPTL3监控器构造算法的时间复杂度以及空间复杂度。然后,介绍了 PMGPTL中两个算法的实现以及其他改进细节,并将改进前后的监控器进行了一定的对比,结果明显的表明了改进的必要性。随后,提出了基于PMGPTL的命题式轨迹监控系统(Propositional Trace Monitoring System,PTMS)和数据式轨迹监控系统(Data-based Trace Monitoring System,DTMS)。PTMS每次离线监控只包含一个性质的监控器,监控的轨迹形式是原子命题的合取,对目标系统的语言没有任何限制。DTMS的一次在线或离线监控均可包含多个性质的监控器,监控的轨迹形式是数据对象,其中离线监控对目标语言没有限制,而在线监控必须是Java。最终,将PMGPTL与其他运行时验证监控器进行对比,表明了PMG PPTL的可用性。

关键词：运行时验证监控器命题投影时序逻辑命题式轨迹监控系统数据式轨迹监控系统

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

监控器IC 监控电池供电设备

电子产品世界 1997年第3期 101-106页

为了确保正常工作,大多数基于微处理器的系统在上电和掉电过程中以及进入或退出关闭或睡眠方式时都要求监控.监控器可能仅提供上电复位,也可能提供其他功能,如后备电池管理,存贮器写保护,低电平早期告警或软件看门狗（图1）.你可以通过... 详细信息

为了确保正常工作,大多数基于微处理器的系统在上电和掉电过程中以及进入或退出关闭或睡眠方式时都要求监控.监控器可能仅提供上电复位,也可能提供其他功能,如后备电池管理,存贮器写保护,低电平早期告警或软件看门狗（图1）.你可以通过选择微处理器监控器IC（也称上电复位、电源导通电路、复位电路等）一次或按不同组合得到这些功能.下述讨论将帮助你选择最适合你的应用型号,并为许多常见的μP监控器问题提供解决方案.首先,确定发生复位的V;门限电压.（当电源电压在容限范围之外时,复位的确定会阻碍μP工作.）典型上电复位电路由电压基准、比较器和定时器组成,通过比较其准电压和V;上升沿(通过

关键词：监控器低电平比较器传播延迟仪表复位门限电池 IC

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

监控器:你不要这样地看着我

人生十六七 2002年第1期 16-17页

常说实话的老崔: 我是山东省一所重点中学的学生,每天受到来自学业、家长和老师的重重"压迫",感觉很累。可最近,又有一双眼睛盯上了我,那就是安装在校园的监控器。真的,我越来越累了,感觉自己就像一只小小鸟,校园是如此的小,而我注定无... 详细信息

常说实话的老崔: 我是山东省一所重点中学的学生,每天受到来自学业、家长和老师的重重"压迫",感觉很累。可最近,又有一双眼睛盯上了我,那就是安装在校园的监控器。真的,我越来越累了,感觉自己就像一只小小鸟,校园是如此的小,而我注定无处可逃……

关键词：监控器重点中学学生安装山东省学校感觉眼睛老师实话