完全图Kn和完全多部图Kn(t)的{C3,S4}-强制分解

本文给出完全图Kn和完全多部图Kn(t)存在{C3, S4}-强制分解的充分必要条件.     

多级评分的Bayes估计

对多级评分的测验题型,给出了其Bayes模型,把先验分布从无信息先验推广到了更一般的Dirichlet先验分布情形,求出了参数的Bayes估计,指出了其意义,并在不同样本条件下给出了先验分布超参数的估计.     

带边值问题二阶泛函微分方程的非负解

本文利用Leray-Schauder择型一定理研究了带边值问题二阶泛函微分方程的非负解的存在性.     

拟线性系统的脉冲控制器及其稳定鲁棒性研究

通过分析拟线性系统的稳定性，得到了一类拟线性脉冲控制系统渐近稳定的一个充分条件，由此为这类系统设计了脉冲控制器，解决了这类线性系统的镇定问题，进一步分析了这类拟线性脉冲系统的鲁棒性。     

一种实时战场仿真的层次结构及算法研究

在实时战场仿真环境下提出了一种基于智能体的战场交互通信模型，在此基础上采用组队工作的思想，将任务分解为各Agent能够执行的子任务，并对其进行了角色定义、算法描述，采用任务表示语言TRL将知识表达出来，实现了应用智能Agents对战场交互式通信模型进行实时战场仿真。     

基于任务的访问控制模型及其实现

分析了基于任务的访问控制原理，参考工作流系统及基于角色的访问控制提出了一个基于任务访问控制的基础模型，讨论了联合任务和职责分离思想，并对该模型在应用中的实现问题进行了研究。     

无穷范数下的目标状态融合方法

给出了一种无穷范数意义下的状态估计线性组合的最优融合准则，在分布式雷达网数据处理模式中，通过利用各传统传感器输出的观测序列，对目标进行串上，将判定源于同一目标的状态估计值进行融合，得到更精确的目标状态和航迹，给出了实际数据的实验结果。     

广义相对论有效势与伪牛顿有效势的比较

比较了在牛顿力学和广义相对论框架中有效势的特征，对比了广义相对效势和两种伪牛顿有效势（PW有效势力和LC有效势）所对应的最内稳定圆轨道半径和放能效率，结果表明，PW有效势能很好地描述检验粒子在Schwarzschild黑洞赤道面上的轨道特征，LC有效势也能较好地模拟检验粒子在Kerr黑洞赤道面上的轨道特征（顺行粒子向快转黑洞吸积的情况除外）。     

基于STL文件的有限元模拟模具自动生成技术

针对板料成型模拟技术，在分析三维STL文件格式数据结构的基础上，提出了对实体数据模型进行自动诊断与修复的原则和方法，并自动生成具有三角形网格的冲压模具，减轻了模具网格剖分的工作量，开发了适应性强的程序，通过实际应用证明了程序的实用性。     

敏捷制造环境下基于多智能体的车间控制系统

针对敏捷制造的需求，提出了一种基于多智能体的车间控制系统，这种控制系统是由重构智能体，任务智能体、资源管理智能体、制造资源智能体构成的多智能体系统，通过智能体的自治和智能体之间的相互协调，完成车间控制任务并保证其敏捷特征，讨论了各种智能体的功能、作用和行为。