线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

L-凸空间中的Ky Fan极大极小不等式及其应用

在较弱的条件下证明了L-凸空间中的Ky Fan极大极小不等式，并给出其等价形式．作为应用，得出了L-凸空间中的鞍点定理。     

弱Fan Ky点与不具连续性条件的函数的极大极小不等式定理

基于弱Fan Ky点的概念，不具任何连续性条件的函数弱Fan Ky点的存在性，给出了几个极大极小不等式定理，所得结果将著名的Fan Ky不等式定理推广至不具连续性条件的情形。     

球面S^n（1）中的Mǒbius极小曲面

应用Mǒbius几何的基本理论，研究了球面S^n(1)中的Mǒbius极小曲面，得到了这些曲面的一些几何特征。     

支持POSIX权能机制的一个新的特权控制的形式模型

为了在操作系统中实施极小特权原理, 必须对进程的特权进行有效的控制; 但是进程的动态性使实现对它的控制变得困难重重. 在深入分析进程特权的形成过程和作用机制的基础上, 提出了实施极小特权原理的三层实现机制, 即管理层、功能控制层和执行层; 而且明确指出限制特权的有效范围是特权控制的重要环节, POSIX中已经提到了它, 但是POSIX的权能机制并不能有效地支持它. 在分析现有控制机制的优缺点的基础上, 不仅提出了改进的权能公式, 而且提出了基于RBAC, DTE和POSIX权能机制的新的进程控制机制的完整的形式模型; 模型中的新不变量反映了新机制与RBAC, DTE和POSIX权能机制的不同, 新机制推广了子域控制机制, 实现了子域控制机制的动态化.     

关于极小非幂零群的正规Sylow子群的换位子群的生成元集

讨论了极小非幂零群的正规Sylow子群P的换位子群P’，确定了换位子群P’的一个生成元集．从而用简单的和纯群论方法得到换位子群P’的阶|P’|的上界，并进而得到不等式|P’|≤|P|^1／3．此外，通过相关的本原单位根，给出了换位子群P’的阶|P’|达到这个上界的一个必要条件。     

全矩阵代数的一类子代数

研究了由一个矩阵生成的矩阵子代数的基本性质,给出了其极大理想的完全分类及这类子代数是半单代数的充要条件.     

区间数线性规划的一种新解

基于区间数两两比较的可能度,提出了区间数线性规划的可能有效解和可能弱有效解的定义. 利用极大极小算子来求区间数线性规划的可能弱有效解,并建立了一种求多组弱有效解的模型.给出了 求可能有效解的方法,并对区间数线性规划进行拓展.数值例子验证了该法的有效性和可行性.     

基于改进人工势场法的巡航导弹自主避障技术

针对巡航导弹在巡航段的自主避障问题,提出一种改进的人工势场法.为解决传统人工势场法无法避免的局部极小问题,本文将局部极小分为两类,分别给出两类极小值的判定定理及方法,同时给出消除局部极小的措施.考虑导弹的可用过载约束,以连续可微的对数函数构造势场函数,定量描述禁飞区和目标点;此外,为实现自主规避禁飞区,合理设置引力场和斥力场的作用区域和调整势场函数的参数,使导弹在合势场的作用下,获得一条适飞轨迹最终抵达目标点.最后,通过数学仿真,验证了这种方法的有效性.      

关于局部对称拟常曲率黎曼流形上极小子流形

本文主要研究了局部对称拟常曲率黎曼流形N^n＋p 中的紧致极小子流形Mn，得到了局部对称拟常曲率黎曼流形关于第二基本模长平方和截面曲率的拼挤常数。