一类随机系统的自适应滤波

讨论一类含时变未知参数的随机系统，给出该系统在系统状态噪声与量测噪声于有限时间区间上相关情况下的自适应渺茫皮递推公式，并给出相应的滤波算法。     

一类随机系统的自适应滤波

讨论一类含时变未知参数的随机系统，给出该系统在系统状态噪声与量测噪声于有限时间区间上相关情况下的自适应滤波递推公式，并给出相应的滤波算法     

分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

分布式系统卷重构过程的改写块预取方法

从多同构主机分别由同一共享系统卷远程启动与配置过程中对共享卷改写情况的统计分析入手,提出了透明计算模式下分布式系统卷重构过程的改写块预取模型.通过在共享系统卷的改写相似集元素上留下一种标识来进行信息传递,以此指导该主机以后对改写相似集的快速定位,并指导其他主杌重构其系统卷时快速预取相应的改写块.设计了基于二度局部特征的改写块预取算法,使得改写块预取能在横向顺序预取、纵向跳转预取两方向并发完成.算法对共享系统卷扩展块改写感知判别和改写块地址重定位的时间复杂度始终是O(1).结果表明该预取策略具有良好的性能和稳定性.     

系统辨识的频域最小二乘算法

提出了一种用于求解有限脉冲响应系统函数和脉冲响应的频域最小二乘算法（ＲＦＬＳ），可应用于非实时系统辨识。本算法具有精度高、运算量小、易于实现和能够达到很高阶数的特点。给出了算法的推导论证、定阶和实用问题的讨论以及计算实例。     

有限维Lie代数Killing型算法及其在偏微分方程对称性质判定中的应用

给出有限维Lie代数Killing型的计算方法和机械化实现,本算法适合于任意有限维Lie代数,适用于非线性偏微分方程对称性的判断和应用.以此算法为基础,给出了1+2维标准双曲和抛物方程拥有Lie代数性质的判定,得到该两个经典方程的Lie代数结构及相关性质.给出了1+2维抛物方程Lie代数的优化系统,为从代数角度研究偏微分方程问题提供了可借鉴的结果.     

基于时变神经网络的迭代学习辨识算法

为了实现在有限时间区间上可重复运行的离散时变非线性系统辨识,给出基于时变神经网络的迭代学习辨识算法.对于每一个固定时刻,以该时刻的神经网络逼近该时刻系统输入输出间的映射关系,提出了在同一时刻沿迭代轴训练网络权值的带死区迭代学习最小二乘算法,为防止收敛速度下降过快,进一步提出了协方差阵可重调的改进算法.所提算法有较快的收敛速度,且时变神经网络对非线性时变系统的辨识精度也较高.     

布尔查询的改写算法

研究数据集成中的布尔查询的改写问题.考虑布尔查询的特殊性,简化了布尔查询的改写处理,给出了在封闭世界假设下的多项式改写算法和开放世界假设下的指数型改写算法,同时说明两个算法都是可靠的.     

有限特殊图厄系统的有限阶元

讨论了有限可交换特殊图厄系统 (Σ∶ R)及其字问题 ,证明了一个有限可交换特殊图厄系统 (Σ∶ R)是一个有限群与一个自由幺半群的直积 ;在所讨论的系统是完备的情况下 ,得到了一个判定有限阶元问题存在的线性时间算法 ,这个算法同时还构造了字方程 xm =xn 的所有解     

线性随机时变系统的有限时间稳定性研究

针对一类具有有限时间的随机微分时变系统,研究了关于随机线性时变系统的有限时间稳定性及控制器设计问题。首先,引入了有限时间稳定性的定义,基于该定义提出了一种针对假定的Lyapunov函数满足分段连续性,在每一个分段点处可能不连续的有限时间稳定性的新方法,并借助切换系统的思想研究了随机时变系统的有限时间稳定性;在此基础上,考虑带有反馈控制器的随机时变系统的控制器设置问题,并通过采用逐段控制的方法给出了系统的控制器设置方法;最后基于线性矩阵不等式设计了一类线性随机时变系统的有限时间稳定控制器的算法,使得对于控制器的设置能够有效地实现。     

Lurie混沌系统的有限时间同步问题

研究Lurie混沌系统的有限时间同步问题,同时考虑Lurie系统及其不确定系统、Lurie观测器系统及其不确定系统的有限时间同步问题,给出一个易于实现的连续非线性反馈控制器,并根据有限时间稳定性理论,指出当该控制器满足一定条件时,2个相同的Lurie系统可以快速达到有限时间同步,基于Lyapunov稳定性理论给出系统有限时间同步的充分条件,并估计出同步时间.最后数值算例说明该方法的有效性.     

可靠度最优分配演算法的一个注

可靠度最优分配问题是系统研制过程需要解决的一个重要问题。其目的是从整体出发将有限资源加以最有效利用。讨论了由九个相互独立的子系统串联而成，第j种子系统由白个相互独立的第歹种部件并联而成的系统可靠度最优分配问题。文中给出以上系统可靠度最优分配的改进算法，并应用于具体算例，说明计算次数有一定减少。     

嵌入式系统有限资源下的代码移植和优化

给出一种基于ADI Blackfin系列数字信号处理器的人像考勤系统设计方案. 在此基础上, 归纳了嵌入式有限资源限制下人像识别算法的实现策略,解决了算法移植过程中从C++到C的转换问题, 并提出了通过修改连接描述文件重新配置存储资源的方法, 从而缓解了大数据量与芯片上有限存储资源之间的矛盾. 测试结果表明, 移植后人像识别算法的运行结果和速度都满足使用要求.     

模糊判断矩阵加性一致性局部修正算法

研究了群体决策中模糊判断矩阵加性一致性修正问题.在给出模糊判断矩阵有关概念的基础上,通过模糊偏序,给出模糊判断矩阵之间距离测度的一般定义,进一步提出新的可接受加性一致性,并设计群体决策中模糊判断矩阵加性一致性局部修正算法,验证了算法的收敛性;最后,通过算例说明本文给出的加性一致性修正算法,并与已有算法进行对比说明提出方法的优点.     

与三阶特征值问题相联系的可积系及对合解

基于特征值问题的非线性化方法,得到与三阶特征值问题相联系的有限维系统,利用生成函数证明此系统是Liouville意义下的完全可积系统,并借助可积系统的解,给出发展方程族的解的对合表示.     

模糊系统的静态输出反馈控制

对一类非线性系统利用模糊 T- S模型进行建模 ,研究了静态输出反馈控制问题。用矩阵不等式的形式给出了模糊系统可通过静态输出反馈控制的充分条件。并将矩阵不等式的条件转化为迭代线性矩阵不等式 ( ILMI) ,并给出了相应的算法。仿真结果表明所提出的控制算法是有效的。     

特殊可交换Thue系统的完备化

给出了判定可交换特殊 Thue系统完备化的方法 .对于所考虑的 Thue系统 ,检验 Church-Rosser性质可进行系统完备化判定 .而使 Church- Rosser性质成立的重叠条件在规则的向量形式表示下 ,可归结为规则的分量满足若干性质 ,最终得到了判断一个特殊可交换 Thue系统是否完备化的线性时间复杂度算法 .     

有向超图的可平面性算法

随着有向超图理论在实际问题中的深入应用，其平面性研究也更加具有意义．本文回顾有向超图的一般理论，给出了有向超图结构图的概念，并在此基础上给出有向超图的可平面性算法．由于有向超图的结构图是简单有向图，故有向超图的可平面性算法建立在对一般图的可平面性判断上，该算法是多项式时间算法，是有效算法．     

多值特征结构描述

提出了信念格上的多值非循环有限自动机并给出了特征和的算法,分别与Rounds-Kasper和Dawar-Shanker的非循环有限自动机相比较,这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑和它的语义,并为该逻辑提供了一个充分且完备的证明系统。最后,证明了最小不相容特征描述逻辑的可满足性问题是NP-完全的。