基于GPRS的输电线路多参量远程采集系统

在分析现有输电线路实时监测系统数据传输模式的基础上,提出一种基于GPRS技术的远程数据采集系统.该系统利用GPRS网络和Socket网络通信技术开发,能够全天候工作,实现输电线路实时状态监测数据的无线传输.结果表明,系统能够实时、准确地传输输电线路的状态数据,满足实时传输数据的需要,为用户监测、分析输电线路状态奠定基础,在输电线路监测平台中具有较强的针对性和可靠性.     

带有检测迟延的燃料-汽压系统状态观测器设计

由于时延现象的大量存在,时延系统的状态估计问题得到了广泛的研究和重视.针对输出含有时间延迟的燃料-汽压系统,进行了时间延迟补偿观测器的设计.针对不同的时间延迟进行了仿真,实验结果表明,观测器在一定的时间内能够很好地跟踪输出时延系统的状态.     

基于嵌套?伪预估器反馈的时滞控制系统输入时滞补偿

本文研究同时具有输入和状态时滞的控制系统的输入时滞补偿问题. 通过建立嵌套?伪预估器反馈方法预测系统未来的状态, 使得任意大但有界的输入时滞得到完全补偿. 不同于传统的预估器反馈利用开环系统预测系统未来的状态, 嵌套?伪预估器反馈则是利用闭环系统嵌套地预测系统未来的状态. 依据积分时滞系统的稳定性, 给出了保证闭环系统渐近稳定的充要条件. 最后, 采用数值仿真验证所提出方法的有效性.     

操作系统汇编级形式化设计和验证方法

由于系统的巨大规模,操作系统设计和实现的正确性很难用传统的方法进行描述和验证.在汇编层形式化地对系统模块的功能语义进行建模,提出一种汇编级的系统状态模型,作为汇编语言层设计和验证的纽带.通过定义系统状态模型的合法状态和状态转换函数来建立系统状态模型的论域,并以此来描述汇编层的论域.通过验证汇编层的功能模块的正确性来保证汇编语言层设计的正确性,达到对系统功能实现的正确性验证.同时,使用定理证明工具Isabelle/HOL来形式化地描述这一系统状态模型,基于这一形式化模型,在Isabelle/HOL中验证系统模块的功能语义的正确性.以实现的安全可信OS（verified secure operating system,简称VSOS）为例,阐述了所提出的形式化设计和验证方法,说明了这一方法的可行性.     

MVL条件下k—out—of-n：S系统的研究

复杂网络环境下的系统组件往往处于多种不同状态,二值逻辑(BL)在描述多种组件状态时显得无能为力.本文提出了采用多值逻辑(MVL)分析组件状态,重点描述k-out-of-n:S系统模型,并采用Minkowski距离和定义可生存性函数描述系统状态和可生存性.实验表明,MVL条件下的k-out-of-n:S模型很好地描述了系统的状态扣可生存性.     

Android的空压机监控系统设计与实现

为了便于中小企业实时掌握空压机的运行状态和及时反馈存在的问题,本文设计了一套基于Android的空压机监控系统.它可通过移动设备的Android程序方便快捷地监控并及时提交空压机的实时状态,能够利用Web Services技术的特点实现监控系统与其它系统的数据共享、对接和集成.     

基于单片机的电力设备在线监测系统研究

电力设备状态监测的目的是采用有效的检测手段和分析诊断技术,及时、准确地掌握设备运行状态,保证设备的安全、可靠和经济运行.红外在线监测系统在对电力设备的运行状态检测方面存在较大优势,能够实现不停电、非接触、全天候的对电力设备展开监测.因此,本文对电力设备红外在线监测系统展开探讨研究.     

一类具有积分输入到状态稳定未建模动态的高阶非线性系统的状态反馈调节

本文研究了一类具有积分输入到状态稳定(iISS)未建模动态的高阶非线性系统的状态反馈调节问题.基于反推技术和iISS的性质,通过恰当地选取设计函数和参数修正律,给出了一个状态反馈控制器的设计过程.设计的控制器保证了闭环系统所有信号的有界性,并且状态渐近调节到零.仿真例子验证了该控制方案的有效性.     

一种同时估计状态及参数的非线性过滤器

精确快速地同时估计出非线性动态系统的状态及参数对高精度非线性控制系统是必需的.本文在指出文献[1]若干错误的基础上,给出了一种改进型非线性滤波器,可同时精确估计出系统状态及参数.仿真实例证实了本文方法的有效性.     

一类线性时变系统的输出反馈控制

基于线性时不变系统能控能观标准型变换及非线性系统高增益观测器方法,本文研究了一类线性时变系统 的输出反馈控制问题. 通过引入时变的状态变量坐标变换,分别设计了线性时变系统的状态反馈控制器、状态观测器以及基于 状态观测器的输出反馈控制器. 进一步地,本文分别证明了观测器动态误差是渐近收敛于零的,而状态反馈控制器以及输出反馈控制器可以 保证闭环系统的渐近稳定性.     

基于相似度计算的信息物理融合系统自决策研究

信息物理融合系统(CPS)应用日趋广泛,如何使系统自主捕捉到复杂状态变化并做出相应动作是CPS的核心问题之一.针对此关键问题,结合强化学习算法提出一种基于相似度计算的CPS自决策方法(SCBRLA).该方法首先提取系统特征和系统目标状态特征,然后通过计算系统当前状态与目标状态的相似度决定采取相应动作及其顺序.该方法可较好地用于分析CPS服务在受到攻击时,系统采取的自适应决策.仿真结果表明该方法能够帮助CPS系统实现自决策,且与传统算法相比能获得更快的响应速度.     

周期离散时间系统的预见控制器设计

对于一类线性周期离散时间系统,提出一种新的周期预见控制器的设计方法.首先,利用二维模型方法及系数矩阵的周期性特点,将系统状态与其稳态值之差代替通常的状态差分,成功地构造出原系统的二维(2D)扩大误差系统;然后,针对导出的扩大误差系统,结合Lyapunov稳定性理论和LMI方法,给出闭环系统渐近稳定的条件及预见控制器的设计方法;最后,通过数值仿真说明该方法的有效性.     

具有iISS未建模动态的非线性系统的状态反馈调节

针对一类具有积分输入到状态稳定(Integral input-to-state stability, iISS)未建模动态的非线性系统, 本文研究了状态反馈调节问题. 利用反推技术和iISS的性质, 通过恰当地选取设计函数和参数修正律, 给出了一个状态反馈控制器的设计过程. 所设计的控制器保证了闭环系统所有信号的有界性, 并且状态可以渐近调节到零. 仿真例子验证了该控制方案的有效性.     

一般非线性系统的Kalman分解

本文讨论一般非线性系统的标准分解问题.线性系统的Kalman分解给出了系统的能控 状态、能观状态和系统的最小实现.本文首先给出非线性系统的局部第一类Kalman分解形 式,从而解决了系统的局部能控状态和局部能观状态的分解.然后,再给出第二类Kalmall分 解形式,它提供了非线性系统的局部最小实现.     

4状态可修系统的可靠性和检测策略研究

研究4状态检测系统的一个模型,假定系统有4种运行状态:正常、异常、隐患和故障, 其中故障状态不需检测便可发现,正常、异常和隐患均为工作状态,需经过检测才能发现.当 系统工作时,每隔一段随机时间对它检测一次,直到系统故障或检测出系统处于隐患状态为 止.利用概率分析和补充变量方法,研究了系统的可靠性指标和最优检测周期.     

基于聚类分析和状态估计的制粉系统故障预警

状态监测可大大降低发电设备的维护成本.将基于非线性状态估计的状态监测方法用于发电机组制粉系统.采用一种改进的内存矩阵的构造方法,能够很好地覆盖制粉系统的正常运行空间.当估计的模型和实际测量值之间相差很大时表明状态异常.通过提取正常工况下的监测参数的聚类中心,计算估计值与聚类中心的相似性测度值,确定风机工作状态.根据国内某机组某直吹式制粉系统的实时数据验证,仿真结果表明此方法可以有效地实现早期故障预警.     

基于图文法的并发系统状态测试方法及其实现

在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段．本文介绍一种基于图文法模型的并发系统状态测试方法，该方法与描述并发系统结构和行为的图文法模型相结合，构成了一个并发系统开发支持环境．这一方法可根据对并发系统的状态测试要求，在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况，使并发系统的开发者可以实时地得到并发系统的运行状态，或者在并发系统运行结束后重演并发系统的状态变化过程.     

基于GPRS的油井水系统的远程监测技术的研究

油井水系统运行状态的远程监测长期以来都是测井人员追求的目标.用卫星无线传输数据成本太高,而GPRS的低成本和低技术门槛使得油井水系统运行状态的远程监测成为可能.本文构建了一个基于GPRS的油井水系统的远程监测系统.它利用现场分散采集,通过GPRS通信,最后监测中心计算机集中接收处理并在Web服务器进行网上数据发布.该系统可方便地对油井水系统运行情况进行实时监测,且稳定性高,具有广阔的实用价值和推广意义.     

基于状态相关系数系统的非线性控制

针对非线性仿射系统的镇定问题,将待镇定系统表达成相应的状态相关系数系统.在短时段内,可以用一个线性定常系统逼近该状态相关系数系统,将该线性定常系统的镇定控制器用来控制原非线性系统.该设计方法的优点是:设计简单,只用到线性定常系统的控制方法,无需构造复杂的李亚普诺夫函数;扩展容易,可以结合各种线性系统设计方法进行控制器设计.在状态相关系数矩阵满足可换性条件时,可以保证闭环系统的稳定性.对小车倒立摆的仿真结果表明:用该设计方法构造的控制器可以很好地镇定系统.     

非线性变参数系统的混合 H2/H∞控制

本文研究了一类非线性变参数系统的混合 H2/H∞ 保性能控制问题. 基于Lyapunov稳定性理论, 建立了状态反馈混合 H2/H∞ 保性能控制的可解性条件. 该条件是依赖于状态和参数的线性矩阵不等式, 显式地体现了系统的时变和非线性特性, 通过多项式平方和方法, 可以转化为优化问题. 特别地, 本文构造一种新颖的控制器和Lyapounov范数. 在此基础上, 研究了基于多项式平方技术的不确定非线性变参数系统混合 H2/H∞ 保性能控制问题. 最后, 通过倾转旋翼飞行器实例和数值仿真均验证本文方法的可行性和有效性.