一种低耗的无线传感器网络状态监测方法

传感器网络包含大量的微型无线传感器节点,并以无人值守的方式工作。为了有效地管理传感器网络,提出了一种模型辅助的传感器网络状态监测方法来支持传感器网络的状态监测,该方法的思想是在基站与节点上建立描述传感器网络状态的变化模型来辅助传感器网络状态的监测。实验结果表明:这种方法能够降低传感器网络状态监测的能量消耗。     

有限状态程序模型及其应用

工程实际中的大部分应用程序都可以用有限状态机来描述。论文首先提出了一个一般性的有限状态程序模型,即有限状态自动机。并讨论了基于有限状态模型的程序框架生成和该模型的一些性质。对于工业中的大多数专用应用程序和嵌入式系统,该模型给出了简洁、直观、统一的规范描述及其开发与维护方法。     

基于IED的变电站一次设备状态监测系统

本文结合变电设备状态监测系统现状以及智能电网建设需求,分析了变电设备状态监测系统存在的问题以及发展趋势,指出基于IED的变电设备状态监测系统是变电设备状态监测系统的过渡形式;同时,阐述了基于IED的变电设备状态监测系统的建设原则,系统架构以及实施方案,并分析了系统的特点及优势.     

一种桥梁状态监测信号采集的软件设计

提出一种桥梁检测装置的软件设计方案,讨论了桥梁监测信号采集的关键问题,完成了相关的编程工作,报告了部分软件流程。实验证明,该技术方案科学可行,可以用于桥梁检测的实际工程中。     

滚动轴承的状态监测系统

论述了滚轴承的状态监测原理、方法和系统。为了判别轴承有无故障,采用了振动监测和温度监测系统对轴承进行在线监测。发现故障后,则采用共振解调法诊断出故障的部位及其趋势等。     

一种桥梁状态监测信号采集的硬件设计

提出一种桥梁检测装置的硬件技术方案,完成了其中的实验,报告了部分成果。实验证明,该技术方案科学可行,可以用于桥梁检测的实际工程中。     

电力机车状态监测与故障诊断系统研究

介绍了一个电力机车状态监测与故障诊断系统的设计思想和实现方法,通过利用机车上现有的微机检测控制部分实现在线诊断.     

基于互联网的远程状态监测与故障诊断系统研究

针对传统故障诊断受到地域限制、无法实现多专家协同诊断的问题，把互联网技术应用到设备状态监测和故障诊断领域之中，以便汇聚更多领域专家对故障设备进行会诊，讨论了基于互联网的远程监测与诊断的系统结构模式，分别提出了硬件和软件实现方式。     

大型风电机组状态监测系统研究

该文结合大型电机组运行工况实际,以通信技术、网络技术和检测技术为基础,采用微型计算机作为主机,利用PLC作为从机,发挥其强大运算和逻辑功能,通过完善的软件与硬件相结合,构成风力发电机组的状态监测系统。     

基于智能传感的车轮运动状态监测系统设计

针对机动车安全运行存在的问题,提出一种基于智能传感的车轮运动状态监测系统。分析了该系统的框架与工作信息流,利用微惯性传感器研制了车轮智能传感节点,并进行了安装测试。结果表明,车轮智能传感节点体积小,便于安装,可用于不同行驶状况下车轮运动状态监测,也可实时地获取多个车轮运动状态信息,满足车轮运动状态实时监测的需要。     

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案．以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件，通过分析程序符号化执行语义，借助自动定理证明器，对语句的可达性条件进行逻辑推理，删除那些与性质的可满足性无关的语句，以达到程序精简的目的．理论分析和实验结果表明，条件化可以有效缩减程序状态空间，而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息，满足软件模型检测对状态缩减的安全性要求．     

机器人程序设计中的状态转换方法

为了解决不同应用中机器人的控制程序设计问题,提出了基于状态转换的机器人程序设计方法.通过对有限状态机理论的回顾和引申,对应于机器人的动作变化,给出了基于状态转换方法的半自动X射线晶体角分类机的分类机械手、简易智能车机器人和协调工作的多机械手的状态转换设计实例;结果表明了该方法的可行性和有效性.这种方法可以使机器人的程序设计思路变得简单明了,减轻了设计者的工作强度,易于机器人控制程序的编制.     

一种基于网络平台的工程机械监测系统

介绍一种基于网络平台的工程机械运行状态检测与故障诊断系统模型,利用网络技术实现异地工程机械状态检测与故障诊断,可实现工程机械用户与维护站或生产研家的信息交换,能够评测工程机械的运行状况与工作性能,并将评判结果形成报表通过网络传输给客户,开拓了网络技术与工程技术综合应用的新领域,系统数据库由SQLServer7建构与,种面向对象的程序软件由DELPHI5．0语言开发。     

Program monitoring based on automaton simulation

To check whether a program behaves in expectation, program monitoring systems are used for intrusion detection. This article presents a program monitoring system using automaton simulation based on the state graphs extracted from C programs through static analysis. For complete state graph construction, a pointer alias analysis method is proposed to solve the function pointers for obtaining actual control flows. After compiling, programs are instrumented with probes to report the internal states when they are running. A program monitor is built in the kernel of Linux system, which monitors the states of programs from probes and checks the paths of execution. This monitoring system could respond to the abnormal behaviors immediately to protect the systems and programs from further damages.     

RBF网络在智能BIT状态监测中的应用研究

以柴油机喷油系统为例,将智能化方法引进BIT状态监测中,运用人工神经网络对智能BIT状态监测问题进行研究,研究成果对于促进BIT智能化状态监测理论在复杂电机系统中的应用具有一定的学术和应用价值。     

监测仪表软件开发中合理使用动态链接库

在仔细研究动态链接库的基础上，合理利用动态链接库的优点，将之应用于监测仪表的软件设计中，使软件更加符合用户需求。     

RBF网络在智能BIT状态监测中的应用研究

以柴油机喷油系统为例,将智能化方法引进BIT状态监测中,运用人工神经网络对智能BIT状态监测问题进行研究,研究成果对于促进BIT智能化状态监测理论在复杂电机系统中的应用具有一定的学术和应用价值。