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

简介：表2中为对CIF格式大小的foreman（建筑工人）视频序列经过优化后的编码速率,本文对MPEG4视频编码算法中运动估计模块进行了改进,在第一、第二以及第三步搜索中也存在着大量的冗余搜索点

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

简介：针对火力发电中汽轮机健康参数估计问题,研究了一种非线性卡尔曼滤波估计方法,比较了扩展卡尔曼滤波(EKF)和无味卡尔曼滤波(UKF)两种方法对参数估计效果,最终本文选取EKF对实际运动轨迹和期望运动轨迹进行研究。结果表明:扩展卡尔曼滤波能够很好地对参数进行估计,是一种实用的非线性参数估计方法。

简介：

简介：Acascadesapproachtoanonlinearseparationprinciple.AcharacterizationofthenoninteractingcontrolproblemwithstabilityforaclassofnonlinearHamiltoniansystems.Adesignofgain-scheduledcontrolviaLMIs.AHybridAdaptiveFuzzyControlforAClassofNonlinearMIMOSystems.

简介：视频监控全局运动估计6参数仿射模型全景图,所示见图l为一段720x576大小的视频序列中利用16x16的块匹配在某帧最上层图像上求出的相对其上一帧的运动矢量,通过计算最上层图像的块运动矢量

简介：在外弹道数据处理中，奇异点处理、特征点求取与随机误差削弱都是精度估计的关键环节．本文首先利用小波变换在处理奇异点、特征点、噪声消除方面的优势，对观测数据进行基于小波变换的分解、融合、重构处理，剔除奇异点，查找特征点，削弱随机误差．其次利用节点自由分布B样条描述导弹运动轨迹，使该弹道确定方法转化为关于求解导弹轨道样条表示参数和测量系统误差的多模融合的非线性优化问题，采用非线性最优化方法，进而得到待估参数的最优估计，完成弹道的最佳逼近．仿真结果表明，该技术应用在奇异点处理、特征点提取与随机误差削弱方面效果较好，多模融合算法能减少计算量，且能切实提高参数估计精度．

简介：QQ2004以上版本提供了查看好友游戏状态和聊天状态这个功能，如果不希望自己的状态过于暴露，可以在QQ上依次选择“菜单→系统设置→本地安全”，在“本地安全”的设置中勾选“游戏状态不可见”与“聊天状态不可见”，确定后重新登录即可生效。

简介：第一组项目用于项目参数训练和能力测试模式的,用这一矩阵和相应的被试能力或项目参数组成4组训练模式,这组被试的能力θ或该组项目的参数a、b和c作为该模型的输出

简介：第一组项目用于项目参数训练和能力测试模式的,用这一矩阵和相应的被试能力或项目参数组成4组训练模式,这组被试的能力θ或该组项目的参数a、b和c作为该模型的输出

简介：基本上所有的软件都是有限状态机（finite-statemachine，FSM）。什么是FSM呢？它是一个有向图，由一组节点和一组相应的转移函数组成。通俗一点讲，它是一个事件驱动系统的模型，这个模型由有限数目的状态，若干输入和状态与状态之间转换的规则组成。在某一时刻，有一个或一组状态是FSM的当前状态，FSM接收输入事件并根据转换规则，将当前状态转为新的状态。正是由于这三个元素的组合，使得FSM具备了自己的行为特点。在游戏开发中，FSM被用来实现人工智能的决策过程，控制游戏对象的行为。

简介：众所周知，Maxthon的状态栏不仅能滚动显示各种小笑话和小技巧，还能实现设置广告猎手、缩放网页、使用收集面板、控制新链接的打开方式等等实用的功能。细心的用户也许发现，有时这里还能显示本地的IP地址，或者可用虚拟内存等等信息，可惜一闪而过。有没有办法让Maxthon状态栏显示我们需要的信息呢？其实，只要我们稍作手脚，就能打造出更加实用的Maxthon状态栏。

简介：在个人主页或论坛签名中，放置一个通讯工具的在线状态指示器，你的朋友就可实时知晓你的在线状态，方便和你交流了。

简介：SpeedFan是一个监视电脑风扇速度及温度的软件．能即时显示芯片温度，可以根据芯片温度来设定不同的风扇速度．在SpeedFan最新版中还增加了S.M.A.R.T.技术监控硬盘以及FSB频率调节等功能．

简介：引入状态变量表示力学系统的约束方程；建立状态空间中运动约束系统的新型变分原理；导出运动约束系统的带乘子的运动微分方程和广义状态变量运动微分方程；证明状态空间中运动约束系统的运动方程是奇异的；举例说明所得结果的应用．

简介：为什么Q友总是知道你在玩QQ游戏或者在聊天室里与其他人聊天？其实他们是将鼠标移到你的QQ图标上，在弹出的好友信息窗口中看到你的状态，我们完全可以关闭这些状态提示。

简介：本想趁国庆长假出去好好玩玩。可有件事让我傻了眼单位上那些服务器怎么办？要是这段时间有人“胡作非为“就麻烦了。于是，聪明的我决定在这些服务器上安装监控软件配合终端服务，对电脑进行全方位监控，把其他操作者在电脑中的一举一动全部记录下来(当然包括各类密码啦)。

简介：本文以经典的80C51单片机为例，利用工作状态及其状态迁移的新概念、新观点和新方法，揭示一些单片机运作的内在规律，对于单片机学习者和应用开发者具有一定的启迪作用和实际意义。

简介：本文主要讨论了舰船航海状态自动记录系统的总体结构。提出了运用功能分散的集中管理型多微处理器系统实现这一结构的方法，并且详细论述了其中使用单端口存储器构成大容量双端口存储器的技术。