基于规则专家系统的广义随机Petri网仿真分析模型

利用广义随机Ｐｅｔｒｉ网为基于规则的专家系统建模,将推理过程中规则的匹配—选择—执行循环的各阶段统一于其广义随机Ｐｅｔｒｉ网模型中,通过对该模型的计算机仿真分析,可对系统的可靠性及性能进行评价。     

冷连轧过程线性化动态模型的研究

以多机架四辊冷连轧机为背景,研究了冷连忆过程的动态模型,建立了冷连轧过程的工作点线性化状态空间模型,实验仿真结果说明了这一动态模型的有效性。     

有色噪声中多个周期相近信号参数的估计算法

本文提出了一种“谐波组清除算法”来估计周期信号的参数。该算法不仅计算简单并可获得较高的频率分辨率,而且对信号模型具有较强的鲁棒性。最后,用数值仿真数据与实测直升机噪声数据对该算法进行了检验。     

一种改进的基于小波变换图像边缘检测算法

本文提出了一种改进的图像边缘检测算法。它基于小波变换的方法,可以使检测处理中图像边缘相互影响所造成的边缘混叠现象减少到很小。实验结果证实了该算法的可行性。     

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

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

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

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

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

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

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

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

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

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

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

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