关于内有限群的性质

研究了非交换的内有限单群,得到了非交换的内有限群的一些特殊性质.特别得到了:设G是由a和a′生成的非交换的内有限群,且G是类正规的,则a和a′都不是对合.     

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

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

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

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

一类极大临界2连通图的结构

引入图的粘合的概念，讨论了极大临界2连通图G的性质，给出了一个图是这类图的一个充要条件。由此给出该类图的一种新的构造方法，即G能按条件先粘合一系阶大于2的完全图的边，然后粘合四圈C4的t个拷贝得到．     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

不定方程sum from i=1 to n (x_i)=multiply from i=1 to n(x_i) 的因数分析解法

引入了不定方程正整数解的有关性质的引理和定理,并在此基础之上给出了求解该不定方程的所有正整数解的因数分析解法.     

取料机导轮组长轴断裂原因分析及对策

针对取料机导轮组长轴断裂的原因，采取了相应的改进措施，避免了长轴的断裂，取得了良好的效果。     

关于子格格的若干性质

对由子格格中的链构成的偏序集进行了研究，给出了一类链的长度估计式和一些相关性质，另外，还探讨了模格和分配格的子格格性质，给出了一个格是模格或分配格的子格格的充要条件，最后，给出了部分计算公式在DEA方法中的一些应用．     

一类广义非线性变分不等式组解的存在唯一性

研究了Hilbert空间中的一类广义非线性变分不等式组，运用η-次微分算子的预解式技术和辅助原理技术，证明了广义非线性变分不等式组解的存在性和唯一性，推广和改善了已有结果。     

关于混合Domain的几个问题

研究了Lawson紧的连续domainD的混合幂domainM(D)，给出了M(D)的极大元的刻画，证明了M(D)是其极大点空间Max(M(D))的domain环境，同时证明了FB-domain关于混合幂domain构造是封闭的。