高维增广相空间中广义完整非保守力学系统的Lie对称定理及其逆定理

依据广义增广相空间中完整非保守力学系统的运动微分方程在无限小变换下的不变性,建立系统的确定方程,给出结构方程和守恒量的形式及有关结论的逆命题。     

广义射影神经网络的指数稳定性

研究了一类广义射影神经网络,分析了它的稳定性和收敛性.当映射和非对称时,分别定义了恰当的能量函数,在适当的条件下证明了该网络的全局收敛性和指数稳定性.与已有结果相比,文中的稳定性条件并不需要映射的可微性及映射和的对称性.理论分析和数值实例表明所得结果适用于非单调问题,而且给定的条件易于验证.由于该网络可求解一大类优化和平衡问题,因此文中结论具有一定的理论价值和实际意义.     

用重影线法求解两个平面立体的相贯线

提出了用重影线法求解两个平面立体的相贯线并判断可见性的新方法．对两条直线在某投影面上发生重影的现象进行分析，从空间角度认识其几何位置，由此得出重影线的定义．将其加以扩展，应用求解两个平面立体的相贯线的问题上，可以很快得出相贯线并判断可见性．     

低成本姿态测量系统研究

针对由低精度的惯性陀螺、加速度计、磁强计组成的低成本姿态测量系统,该文进行了组合算法研究.设计了有陀螺测量和基于四元数差分法的无陀螺测量2种广义卡尔曼滤波器(EKF);采用四元数避免了欧拉角法的奇异问题;用高斯-牛顿误差最小法将六维观测量转化为四元数,作为观测量的一部分,显著减少了直接使用EKF的计算量.设计了仿真数据进行算法验证,成功地得到姿态估计,并对2种EKF滤波器在低速和高速状态下进行验证,取得良好效果.     

Hilbert值半鞅在广义收敛意义下Doob-Meyer分解的稳定性

利用判断Hilbert值右连左极过程胎紧性的充要条件,将实值特殊半鞅典则分解稳定性的结果推广到更一般的Hilbert空间值特殊半鞅.     

基于关系矩阵的复合宽边界区域拓扑关系计算

简单宽边界区域拓扑关系计算比较简单,而复合宽边界区域拓扑关系计算比较复杂,因而需要一个计算方法以实现复合宽边界区域拓扑关系计算、查询和分析处理。在分析复合宽边界区域与简单宽边界区域关系联系的基础上,研究了根据复合宽边界区域中简单宽边界区域拓扑关系矩阵计算复合宽边界区域拓扑关系的方法,并根据复合宽边界区域的性质,简化了算法。计算方法使得扩展九交模型不再是一个概念模型,而是可计算的,从而为查询和分析处理宽边界区域拓扑关系奠定了基础。     

实Hilbert空间之闭子空间对闭区间的最佳同时逼近

本文得到实Hilbert空间之闭子空间对闭区间的最佳同时逼近公式。     

基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

一个推广的Borel强大数定律的改进

Borel通过研究Bernoulli试验,首先给出了其强大数定律,已有文献给出了一个推广的Borel强大数定律.作者改进了这个结果,将其中的条件dn=O(1/n)减弱为dn=O(1/nα),α>0.另外,将此结果推广到有界的随机变量序列的情形,给出其Borel强大数定律.     

环上逻辑函数的相关性分析

分析了Galois和Zm环上逻辑函数的互相关函数与特征谱之间的关系,并且利用逻辑函数的互相关性研究了环上逻辑函数的密码特性.