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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于炉膛辐射能信号的主汽压特性及仿真研究

采用了基于火焰图像处理的炉膛辐射能信号检测系统对湘潭电厂300MW燃煤机组进行了现场检测，并对机组进行了锅炉燃料扰动和汽机调门开度扰动的开环试验，获得主汽系统的动态特性，将炉膛辐射能信号引入燃烧控制系统，对入炉燃料量进行反馈控制，仿真试验表明，该控制方案可以有效克服燃料量内扰和负荷外扰对主汽压力的影响，维持主汽压力的稳定。     

并行数据库系统PAROⅡ连接算法

提出了并行数据库系统的哈希轮转（Hash-Round-Robin）数据划分方法以及其于该划分方法的并行记录分布B^n树，给出了基于该树的并行连接算法，分析了该算法的效率，这种连接算法充分利用了数据的已有分布及B^n树的特性，还利用了哈希轮转划分的特性，提高了并行连接的效率，该算法已经在自主研制的并行数据库管理系统PAROⅡ中得到实现。