一类不完全信息多属性决策的随机模拟方法

提出了一类不完全信息条件下的多属性决策问题以及解决这类问题的随机模拟方法，数值实验表明这一方法具有很好的稳定性与可靠性，而且与传统方法相比，它还具有计算复杂度低、易于实现等特性．     

非结构网格上双曲守恒律的并行算法研究

针对Euler方程的求解问题,在分布式存储环境下,提出一种适合于非结构网格上的并行算法。采用区域分解算法,适当处理网格,使每台处理器保持负载平衡。采用GMRES隐式时间离散格式、当地时间步长等加速收敛方法,通过对绕NACA0012翼型、ONERA M6机翼以及DLR-F6翼身组合体无黏流动数值模拟,验证了该方法具有较高的加速比和并行效率,适合在MIMD模式下进行大粒度科学计算。     

伪MTL-代数(WPBL-代数)的正规滤子

给出伪MTL-代数（WPBL-代数）的一些新性质。通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数（WPBL-代数）中不再成立，并给出伪MTL-代数（WPBL-代数）正规滤子的一个新的等价条件。利用这些结果，建立了伪MTL-代数（WPBL-代数）的商代数结构。     

对称PMC(SPMC)模型下节点可诊断性研究

在图论和网络科学上,网络故障诊断是目前非常受欢迎的课题之一,影响着多处理器系统的可靠性与安全性。随着多处理器系统规模的急速增长,系统的全局故障诊断模式适用性降低,相应地,局部故障诊断得益于对网络拓扑结构的要求较低,可对网络分块处理,大幅提高了诊断效率,具有更强的适用性,成为了新的研究方向。针对最新的对称PMC(SPMC)模型,研究了网络节点可诊断(局部诊断)的相关性质,提出了新的拓扑结构(拓展树结构),得到了在SPMC模型下网络节点可诊断的条件以及节点可诊断与系统可诊断的关系,并给出了扩展树结构上各节点是否故障的判定定理及详细证明。根据该定理,提出了扩展树结构网络的悲观故障诊断算法ST₂_B-FDA,并应用到超立方体网络中进行仿真实验,验证算法的有效性。该算法时间复杂度仅O(NlogN),远低于一些传统故障诊断算法的时间复杂度,可有效降低诊断成本,大幅度提升诊断效率。此外,所提出算法原理简单,便于实现及应用,也可作为大规模规则网络系统的诊断方法之一。     

曲面上CRS机器人的极值轨道

为了解决曲面上移动CRS机器人的路径规划问题,在曲面上建立了机器人的动态模型,利用微分几何的李群理论和庞特里亚金最大值原理,证明了曲面上CRS机器人是可控的,并给出了机器人的最小时间控制的必要条件和结构方程.指出速度控制变量和角速度控制变量完全由结构方程和曲面的高斯曲率决定.通过对结构方程的分析,得到机器人的极值轨道由5种基本轨道的有限组合而成,这5种基本轨道是以单位速度向前(后)移动,并且还给出了这5种基本轨道角速度变化的具体分布情况.     

局部对称de Sitter空间中的紧致类空超曲面

研究了局部对称de Sitter空间N1^n 1中具有常数量曲率的n维紧致类空超曲面，利用一个自伴随算子及活动标架法得到了这种类空超曲面的刚性分类定理．同时给出了de Sitter空间S1^n 1中标准数量曲率为常数的n维紧致类空超曲面的相应分类定理，所得结果推广了Zheng和Liu的结果，并使Pinching常数只与维数n有关．     

破产概率的一种改进解法

提出了刚性企业、弹性企业、最大容忍损失及临界破产概率4个概念,据此给出了破产概率另一种解法．同时用数学的方法找到了破产的原因,并得到在有限时间内企业必破产、企业的临界破产概率等结果．     

分块结式矩阵逆阵的快速算法

利用结式矩阵求逆矩阵的多项式快速算法,给出了具有结式矩阵块的分块矩阵逆矩阵的一种快速算法。该算法仅用结式矩阵的第一行元素进行计算,在计算机上实现时只有舍入误差,故在理论上是精确的。最后给出了应用该算法的数值例子。     

抽象Kuhn-Tucker定理的推广

在Ｂａｎａｃｈ空间以中点锥定义了锥序以及Ｂａｎａｃｈ空间中锥序意义下的最大,最小点和上,下确界,由此给出了锥凸函数的定义,并借助于锥序意义下的鞍点定理对多目标带约束的向量值函数的优化问题进行了讨论。所得结果为将抽象Ｋｕｈｎ－Ｔｕｃｋｅｒ定理由单目标推广到锥序Ｂａｎａｃｈ空间中的向量值函数,从而将多目标带约束向量值函数的优化问题也转化为无约束抽象Ｌａｇｒａｎｇｅ函数的极值问题,扩大了Ｋｕｈｎ－Ｔｕｃ     

R0-代数的正规MP～理想

R0-代数是基于系统研究形式演绎系统￡^*而提出的一类逻辑代数，研究了R0-代数的结构，引进了R0-代数的正规MP-理想的概念，讨论了正规MP-理想与MP-理想之间的关系，给出了正规MP-理想的特征性质和扩张性质，用正规MP-理想完全刻画，了正规R0-代数。