线性离散状态时滞系统UFIR滤波算法

针对含状态时滞的线性离散时变状态空间模型,提出一类无偏有限脉冲响应(UFIR)滤波算法.通过构造含有时滞状态的增广系统模型,对原系统进行无时滞转换.利用扩展状态空间模型的思路,将现有UFIR滤波算法推广至含控制输入的状态时滞系统中,并进一步求解相应的迭代形式,保留类Kalman算法快速计算的特点.通过仿真例子表明了所提出算法的有效性.     

一个用于授权传递的改进Bell－La Padula模型

本文简要介绍用于安全计算机系统的Ｂｅｌｌ－ＬａＰａｄｕｌａ模型．针对数据库系统中授权的可传递性，提出了一个基于Ｂｅｌｌ－ＬａＰａｄｕｌａ模型的改进模型．改进模型对原模型的元素进行了扩充，对原模型的系统状态、公理及状态转换规则进行了改造，并给出和证明了其主要的结论．     

知识状态神经推理的知识追踪模型

针对知识追踪研究忽略知识点之间的拓扑关系,从而限制了知识点状态的表示并最终影响预测效果的问题,提出一种知识状态神经推理知识追踪模型。首先建立知识点关系图和知识点状态图;其次利用扩散模型得到关系图和状态图的投影并完成融合;然后利用逆扩散过程得到融合了知识点关系的整体知识状态表示;最后预测学习者的表现。在模型有效性方面,在若干数据集上对比四个相关模型,所提模型均取得了一定的优势。在可解释性方面,展示了知识状态进化过程与真实答题结果之间的对应关系。在实际应用方面,以该模型为基础的智慧学习环境已分别应用于一门人工智能课程和英语语法课程,并取得了优于对比模型的结果。     

面向对象的类的状态测试技术研究

从类的状态模式、状态转移图以及UML状态图等三方面讨论了类的状态测试问题,提出了基于UML类图的类的状态模式测试用例生成方法,介绍了基于状态转移图的类测试方法及其对象状态测试模式在类的状态测试中的运用,讨论了基于UML状态图的测试模型——EFSM 模型的类测试方法。     

基于状态的预警模型研究

针对攻击行为预警的发展要求,特别是对未知攻击行为的预警,提出了基于状态的预警模型.模型根据攻击工具的分类详细定义了状态项,并以网络熵为基础,建立了状态、系统状态和系统状态集以及状态之间的转移关系.应用该模型,实观了存在攻击情形下的预警:状态项预警、系统状态预警、网络系统预警和受损度预警.     

双线性状态空间系统的状态观测器设计

针对受过程噪声和量测噪声干扰的双线性状态空间系统,研究其状态估计算法.借助双线性系统的特殊结构,将其等价表示为线性时变模型,推导基于Kalman滤波的状态估计算法.针对线性时变模型中存在的未知变量,基于辅助模型辨识思想,通过构造一个辅助模型,将未知变量用该模型的输出代替,提出基于辅助模型的双线性系统状态估计算法.构造双线性状态观测器,引入delta算子极小化状态估计误差协方差矩阵,从而得到最优状态估计增益,并提出基于delta算子的双线性系统状态估计算法.所提出的算法能够避免线性化过程带来的估计精度差的问题,提高双线性系统的状态估计精度.通过仿真实验验证了所提出算法的有效性,并对比分析了不同噪声情况下所提出算法的估计效果.     

基于知识情感等级BDI主体的决策行为模型研究

为了将知识、信念、愿望和意图以及害怕、焦虑和自信对决策行为的影响的强烈程度进行形式化,把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1]。知识情感等级BDI主体的决策行为通过添加了具体条件的不同背景的不同测度来决定;知识情感等级BDI主体模型清晰地表示了主体的知识状态、心智状态和情感状态的不确定性;此模型可以轻易地向其他类型的主体进行推广。在给出了知识情感等级BDI模型的语言、语义以及此模型的不同背景之间的相互关系之后,对知识情感等级BDI主体的军事决策行为进行了实例分析。此研究旨在为分布式人工智能和军事仿真提供形式支持。     

基于扩展的HMM观察序列概率计算

HMM在自然语言处理领域占有很重要的地位.通常可以解决三大问题,主要针对第一个问题:给定HMM,计算观察序列的概率.提出了一种HMM的扩展模型,利用该扩展模型,计算观察序列概率的时间复杂度为T,大大节约了开支.但该模型也存在一定的不足之处,也是以后的研究方向.     

基于观测器的液压系统健康状态评估方法研究

为了实时评估液压系统的健康状态,提出了基于观测器的健康状态评估原理,利用解析模型、仿真模型和数据模型及其配合等方法进行液压系统标准模型的建立,联合实际液压系统的监测数据,构建液压系统的状态观测器。将实际系统的相关参数作为输入,实际监测点的输出与标准模型的输出进行特征分析与对比,在数据处理的基础上形成残差及其向量,运用数据分析方法计算系统健康度,并解析各元素及其耦合所映射的故障类型与故障程度,实现液压系统的故障定位与评估。最后,利用某型装备的起竖液压系统进行了应用举例,介绍了模型构建、故障模式与参数选择、残差构成及健康度计算的方法。所研究的状态评估方法对实时评估液压系统,及开展液压系统视情维修具有参考价值。     

单输入/单输出非线性系统的状态观测器设计*

本文提出了一类非线性系统的状态观测器设计方法，针对单输入／单输出非线性系统，首先通过非线性状态变换，把原非线性系统变换成简单的中间非线性模型；然后对该简单的中间非线性模型设计稳定的常增益状态观测器，从而经状态逆变换得到原非一系统的非线性状态探测器，最后通过一倒立摆非线性系统的仿真研究说明了该方法的有效性和可行性。     

基于状态演算的通用游戏系统的自动推理

为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型.利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给出了基于状态演算的通用游戏系统模型的功能模块设计,最后利用prolog语言实现了各功能模块,调试系统并进行实例验证.实验结果表明,采用了基于状态演算的自动推理方法,得到较好的游戏成绩,提高了游戏系统的自动推理能力.     

用户界面的可变状态模型及实现

ＯＰＥ模型是一种较好的用户界面模型，它用面对象的方法将弹出式状态转换网络模型和事件处理器模型有机地结合起来，使用户界面的设计，实现变得相当规范和容易，本文在简单地介绍了ＯＰＥ模型后，针对ＯＰＥ在描述层菜单时需要较多的状态转换规则的问题，提出了可变状态的概念，并将此概念了引入了微机版ＵＩＭＳ系统－Ｆａｓｔｏｏｌ中（Ｆａｓｔｏｏｌ是ＯＰＥ模型一个特例的实现），使Ｆａｓｔｏｏｌ在被用来描述层次菜单时更简     

基于网络叠加运算的用户界面模型

本文在分析了已有的一些用于描述和控制用户界面的模型之后，提出了一个新的用户面模型－基于网络叠加运算的用户界面模型（ＯＰＥ）模型，该模型利用面向对象的方法以及网络叠加运算使事件处理器模型和状态转换网络有机地结合起来，达到了和谐的统一，本文系统全面地对ＯＰＥ模型及与此相关的概念进行了，根据该模型形成的一个用户界面管理系统（Ｆａｓｔｏｏｌ）已在ＳＧＩ的ＵＮＩＸ环境和微机的ＤＯＳ环境下实现，并已得到了很好     

基于动态内存和状态管理的模型检测新方法

模型检测是并发系统验证的主要形式化方法之一,但其存在因状态空间爆炸而导致内存不够的问题,这也是大规模并发系统验证的瓶颈.很多研究人员尽管做了很多相关研究,但仍然没有很好地解决这个问题.在研究动态内存和状态管理的基础上,提出了一种新的模型检测方法,避免了因为内存不足而无法模型检测的问题.     

具有状态纯滞后的预测控制

本文结合一些生产过程其状态空间模型具有状态纯滞后这一实际问题,给出了一种具有状态纯滞后的状态反馈预测控制算法,减小了在线计算量.     

基于状态监控与诊断中心的状态检修技术

本文分析了电力设备的状态监控与诊断技术，提出了状态监控与诊断中心的构成框架。绘出了基于状态监控与诊断中心的状态检修工作思路，给出了基于状态监控与诊断中心的变压器状态评估工作模型。     

基于固定内存和状态管理的模型检测方法*

在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测.     

一种结合环境状态的Agent语义模型

在Agent模型的研究中，大部分工作集中在基于Agent的思维状态（BDI）的模型，没有考虑外部环境的影响，或者仅仅将外部环境和内部思维状态笼统混在一起进行分析，没有考虑到它们之间的内在联系，将Agent的BDI思维属性模型与外部环境状态相结合，给出了在部分可观察环境下，结合外部环境状态的MAS语言语法，语义模型，考虑了Agent的可见算子，观察算子和信念算子之间的关系，并通过机器人足球赛的例子，对该语义系统加以具体描述，这些研究推广了Kaelbling,Wooldridge等人的工作。     

一种针对CP-nets并发模型的验证方法

状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低,并在并发属性相关行为上与原模型保持一致;在处理后模型中运用状态空间分析、模型检测等验证方法完成模型验证,针对验证得出的模型错误,通过处理前后模型的对照关系在原模型中进行改正。这在一定程度上避免了状态爆炸问题并实现了模型验证。通过将上述方法应用于HMIPv6协议模型,验证了其有效性。     

一种基于状态迁移图的性能评价模型

性能评价在计算机系统的选型、改进与设计中是至关重要的,使用模拟模型和队列解析模型可对计算机系统的性能进行分析,但是构造和使用模拟模型的费用较高,而队列解析模型又要求对系统作较多的简化和假设,针对以上模型的不足,文中基于图论和自动机理论提出了一种新的基于状态迁移图的计算机系统性能评价模型,并给出了一个箕于状态行移图模型求实时入时间的算法,经过证明和时间复杂性分析,该算法是否而有效性。