简介：在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。

简介：如何使嵌入式系统软件代码更加可靠，减少程序中的Bug，一直以来都是嵌入式程序员追求的目标。本文论述了状态图建模的相关概念及其在嵌入式软件中的应用——按键扫描与烤箱温度控制系统的状态机建模及C语言实现。状态图建模通过减少代码中的分支语句，实现了提高系统软件性能的目标，尤其是可靠性得以改善。

简介：不断扩大的电网规模必然产生大量的电力系统运行数据,之前的数据表达方式难以与现实发展相契合,为此,要引入实时动态可视化技术和方法,使之成为电力运行调度的依据,更好地满足人们对于电力的需求。

简介：登录QQ邮箱客户端，点击“新邮件”按钮，打开撰写新邮件窗口，将程序默认添加的“在线状态”签名行全部复制下来，把它们粘贴到非QQ邮件内容中（注意：必须以HTML格式撰写邮件）。

简介：对一类具有状态反馈控制的脉冲动力系统的动力学性质进行了研究.由周期解的扰动解得到了一个Poincare映射,利用Poincare映射讨论了系统周期解的分岔,并得到了半平凡周期解和正周期-1解存在和稳定的充分条件.定性分析和数学模拟表明,半平凡周期解通过fold分岔分岔出正周期-1解,正周期-1解通过flip分岔分岔出正周期-2解,再通过一系列flip分岔通向混沌.此外,讨论了脉冲状态反馈控制的效果.

简介：为了帮助做好升迁规划和Exchange服务器体系设计，了解用户如何使用Exchange很有用处。在“测算ExchangeServer2003系统”（2005年10月刊）一文中，我讨论了与分类用户相关的技术和概念，特别是将他们的邮件使用划分为轻度、中度和重度。开始分类用户的方法之一是判定每个用户的状态。比如已发送、接收的消息数量或者发送、接收的总宇节数。Exchange的消息跟踪日志是获取这些信息的极好资源。让我们检查一下跟踪日志的基本格式，了解在日志中查找什么．以及如何理解这些信息以便对用户的邮件使用进行分类。

简介：利用有限状态机实现嵌入式Linux的按键驱动;使用有限状态机来实现按键的抬起状态,按键的消抖状态,按键确认状态,按键“连发”状态之间的互相转换,从而更有效地利用MCU。利用Linux内核定时器实现按键的去抖动过程,按键的＂连发状态＂的时间定时,解决了每个状态转换时的时间间隔问题。

简介：基于车辆-轨道耦合动力学和空气动力学提出了一种快速计算横风下高速列车系统动力学行为的平衡状态方法．首先，忽略轨道不平顺并利用流固耦合联合仿真方法计算横风下高速列车的平衡状态；然后，将平衡状态下的气动力加载到车辆一轨道耦合动力学模型并计算高速列车动力学响应．利用建立的平衡状态疗法，研究了列车在速度为13．8m／s的横风下以350km／h速度运行时的流固耦合动力学行为．比较了平衡状态方法和联合仿真方法两种方法下列车姿态、安全性和舒适性指标的差异，计算结果差别在3．26％以内．研究结果表明：平衡状态方法计算横风下高速列车流固耦合的效率更高．

简介：研究松弛状态下的非圆截面弹性螺旋细杆,即带有原始曲率和挠率的非圆截面弹性杆的平衡稳定性问题.基于Kirchhoff动力学比拟,建立用欧拉角表达的弹性杆动力学方程.忽略线加速度引起的微小惯性力,仅考虑截面转动的动力学效应,使欧拉方程封闭.证明松弛状态下的非圆截面螺旋杆无论在空间域或时域均满足一次近似意义下的Lyapunov稳定性条件.从而为螺旋形态弹性细杆存在于自然界中的广泛性和稳定性作出理论解释.提示负泊松比材料的螺旋杆可能不稳定.

简介：研制了一套基于STM32的风电机组传动部件远程状态监测装置，采用STM32单片机进行数据转换，设计了数据采集和分析系统的硬件电路，将转换的信号通过GPRS无线网络进行远程传输。根据希尔波特包络解调谱原理，对采集的数据进行处理分析，得到准确的结果。

简介：在网络安全态势评估方法中,基于隐Markov模型的评估方法能较准确的反映网络安全状态的变化。但模型建立过程中,观测序列与转移矩阵难以科学地赋值,直接影响模型的准确性和有效性。针对上述挑战,本文提出了连续状态隐Markov模型的网络安全态势评估方法,首先,将安全状态空间划分为若干个有序状态,新获得的报警信息最优化的匹配已划分的有序状态作为观测序列;其次,基于划分的有序状态,将网络安全下一时间间隔可能处于的连续状态作为状态空间建立状态转移矩阵,从而有效降低转移矩阵维度,减少计算量的同时也更加突出地反映了网络的状态变化。最后,通过仿真实验分析,本文提出的模型建立方法更加合理地反映网络安全态势变化。

简介：新版Windows借助OCSP提高性能。在线证书状态协议（OCSP）可以有效降低证书吊销列表（CRL）与证书服务器之间的通信量，从而帮助企业更高效地管理他们的公钥基础设施。Windows7和WindowsVista里配备了OCSP客户端，并且默认开启了InternetExplorer8和7的证书吊销检查功能。

简介：为了实现对工程机械车辆发动机运行状态的实时监测及历史数据的保存、查阅，研制基于C166的工程机械发动机状态智能监测终端。该终端以C166汽车级16位微控制器XC2267M为核心，采用C语言编程，实现了发动机转速、油温、油压等信息测量、状态屏显、历史数据存储、状态报警、按键消音等功能。

简介：在MicrosoftVisualStudio2008开发环境下，通过用C#语言连接SQLSERVER2000数据库，实现了五个试验自动气象站的分钟状态文件统计入库。系统可以对各试验自动气象站的分钟运行状态进行查询和统计，以便及时发现样机设计和运行中存在的问题。为试验阶段对样机的评估提拱了一定的帮助。

简介：　　　　四、结束语　　　　网络设备状态检测决策支持系统中设备状态诊断是关键,　　　　二、基于专家系统的单一诊断模块　　　　1.单一诊断功能　　单一诊断是指对一种检测方法所取得的数据进行处理和判断,[1][2]根据在线和离线监测诊断数据、设备寿命预测数据、可靠性评价数据、设计参数、检测历史数据、同类设备统计数据等

简介：对民航地空通信普遍使用雷达天线驱动控制进行一种建模,使用Simulink建立系统模型的方法实现对系统的仿真。在特定情况下采用柴油发电机控制使其雷达天线转速达到一定标准。该文主要对其建模及仿真做一定研究。