独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

气动力星座保持的闭环控制研究

本文研究了利用气动力进行星座保持的闭环控制问题。提出了一种改进的半全局指数收敛闭环控制律，对于指定的任意大的有界域，利用不变集定理论上证明了该控制律的稳定性和抗干扰性，又提出了双ε法以提高响应速度。     

Z—连续偏序集P上σ^Z（P）的Soberity

Sober空间是介于T0空间与T2空间之间又完全独立于T1空间的一类拓扑空间，本文基于拓扑σ^Z(P），证明了Z－连续偏序集P上的拓扑σ^Z(P）当σD(P）≤σ(P）时是Sober空间。     

基于粗集的调度Agent知识库建模研究

首先通过相识集、招标集、投标集和中标者的概念，描述了车间调度系统中的调度Agent与资源Agent间任务分配的招投标关系；运用粗集理论，基于任务的属性和资源Agent完全任务的成本、质量、负荷和时间等属性构造决策表；在分析了决策表的特征基础上，生成调度规则集，即调度知识库；最后给出车间调度Agent的调度过程算法。     

筒状大长度固体药柱在内压载荷下的响应

本文研究不可压缩的粘弹性圆筒，在轴对称的平面应变条件下承受内压的问题，粘弹性材料采用分数阶导数模型。并用分数阶导数模型拟合固体推进剂松弛模量曲线，用Ｌａｐｌａｃｅ变换和其反变换计算了固体火箭发动机筒段在点火内压建立过程中的位移和应力，得到它们随位置和时间变化的曲线。     

模型修正中一种特殊广义逆的性质与功能

本文对一种特殊的广义逆矩阵在模型修正中使用时可能具有的性质与功能给予了间接的论证,从而为这种广义逆的进一步应用给予了提示。该论证表明,这种广义逆不仅具有增补方程个数的作用,而且还具有对修正模型的参考基增补高阶理论模态信息的功能。通过本文论证,文[2][4]之解的唯一性问题明确解决了,即为一个实用完备模态空间中的确定解。     

中国航天科工集团公司隆重集会庆祝中国航天事业创建50周年

2006年10月8，为中华民族伟大复兴立下不朽功勋的中国航天事业，迎来了五十华诞，这一天，中国航天科工集团公司二院礼堂张灯结彩，花团绵簇，近千名新老航天人欢聚一堂，重温历史，共话未来，中国航天科工集团公司以召开庆祝表彰大会暨文艺汇演的方式，隆重纪念这一具有历史意义的日子。     

二维粘性不可压缩流场的分块耦合求解方法

本文用分块耦合的方法，并采用S.Abdallah^[1,2]和M.L.Mansour^[3]的在非交错网络上隐式求解原始变量的Navier-Stokes方程的提法和离散格式，成功地解决了二维复杂流场的数值求解问题，获得了空腔流、T型叉管流、NACA0020翼型绕流和方块钝体绕流的稳态解，并进行了讨论。此方法还可推广到三维复杂流场的计算问题。     

粘性不可压缩流动三维复杂流场分块耦合求解

提出了一个粘性不可压缩流动三维复杂流场的分块耦合求解方法。可解决科学和工程计算中的各种稳态和瞬态粘性不可压缩流动计算问题。