赋权有向图中最小生成树问题的显式整数规划模型

就具有不对称权重的有向图中的最小生成树问题,本文首次建立了相应的显式整数规划模型,这一模型可以成功地运用整数规划软件包如Ｌｉｎｄｏ等求解。并进一步将这一模型推广到随机最小生成树问题,也即具有随机变量权重的有向图中的最小生成树问题,并设计了相应的求解算法,给出了数值例示。     

基于小波分析的噪声抑制和数据压缩综合技术——SAR图像的噪声抑制与数据压缩

本文给出了一种基于小波分析方法的噪声抑制技术,它具有运算简便和能在保持原图精度的同时有效地降低斑点噪声影响的优点。更重要的是,它将噪声抑制与数据压缩过程同时进行,对ＳＡＲ雷达图像的处理取得了良好的效果。     

红外焦平面阵列非均匀校正算法研究

红外图像的非均匀性已经成为制约红外焦平面阵列成像质量的限制性因素。本文对红外非均匀性的定义和来源进行了深入的探讨,给出了几种非均匀校正算法及其实验结果,最后对各种校正算法的特点进行了归纳总结。     

广义线性系统的脉冲弱可观性

本文利用广义系统的系数矩阵,构造了它的不变子空间及其算法,在此基础上讨论了其广义弱可观性和脉冲弱不可观性。     

实时控制计算微分代数系统的代数约束算法

本文结合实际的航天工程背景,针对飞行器轨道约束实时控制模型问题进行了算法研究。首先分析了ＢＤＦ方法用于飞行器轨道约束实时控制模型问题时的缺陷,其后针对实际问题的特点构造了具有三阶收敛的代数约束算法,分析了该算法的数值稳定性,并对潜地式弹道约束实时控制问题及指标（ｉｎｄｅｘ）为２的单摆模型问题进行了实际仿真计算,理论分析以及数值结果表明代数约束算法对指标为２的半显式微分代数系统的实时控制计算是非常有效的。     

卫星图像的格矢量量化编码压缩方法研究

卫星图像是一个种高熵值图像,本文针对卫星图像研究了格矢量量化编码压缩方法,分析了格矢量量化特性,并列举了几种格。实验结果表明,格矢量量化编码压缩方法失真小,计算量少,比较适用于卫星图像编码压缩。     

非马尔科夫可修表决系统可靠性数字仿真

本文设计了求解任意非马尔科夫可修表决系统可靠性指标的仿真算法,通过仿真计算可以获得系统任意瞬态可靠性指标。文中给出了几种不同情况的仿真实例。文末对本文算法进行了检验。     

价格系统及其稳定性研究

本文基于产品的销售额和毛利率,从生产和市场的角度出发,提出了一个新型的部门产品价格模式——经济部门系统的价格模型。该模型表明报告期的产品价格向量Ｐ（ｔ＋１）可以表示成两个向量的凸组合之和,其中一个是基期单位产品物耗成本ＡＴ（ｔ）Ｐ（ｔ）与报告期单位产品物耗成本ＡＴ（ｔ＋１）Ｐ（ｔ＋１）的凸组合,即Θ＾（ｔ）ＡＴ（ｔ）Ｐ（ｔ）＋Ｅ＾（ｔ）ＡＴ（ｔ＋１）Ｐ（ｔ＋１）;另一个是基期单位产品和报告期单位产品在报告期销售所获毛利δ１（ｔ＋１）和δ２（ｔ＋１）的凸组合,即Θ＾（ｔ）δ１（ｔ＋１）＋Ｅ＾（ｔ）δ２（ｔ＋１）,这里Θ＾（ｔ）≥０,Ｅ＾（ｔ）≥０,Θ＾（ｔ）＋Ｅ＾（ｔ）＝Ｉ（单位矩阵）,Ａ（ｔ）和Ａ（ｔ＋１）分别是两期的实物型投入产出表的直接消耗系数矩阵。在基期和报告期的生产技术结构一致和其它假定条件下,我们给出了该系统稳定的四个充分必要条件。最后考察了一个特例,提出了临界平均工资率ＲＣ的概念,证明了如果全社会平均工资率Ｒ＜ＲＣ,则该价格系统是稳定的。     

一种更优的精度控制故障树解算方法

本文针对安全分析方法中故障树解算问题提出了一种完全依赖于所要求精度的近似算法——精度取舍法。详细给出了近似求解顶事件概率值的两个截断条件。结论表明,它在同时兼顾精度与时间的要求方面优于别的算法。     

GPS载体姿态测量技术研究

本文首先介绍了ＧＰＳ姿态测量技术的原理,包括坐标转换、相位干涉等,并在此基础上重点讨论了基线矢量解算过程中存在的相位模糊问题。在低精度基线较短时可采用搜索方法,并推导了模糊空间的大小和搜索检验方法;在高精度基线较长时,可采用多天线辅助解相位模糊,并推导了为满足给定的整周模糊错误概率和一定精度要求时,所需的相邻基线长度比及所需的天线阵元总数,同时给出了实例。本文的研究对ＧＰＳ姿态测量的工程应用具有一定的参考价值。