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

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

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

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

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

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

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

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

价格系统及其稳定性研究

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

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

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

一个计算无圈有向网络可靠性的递归公式

本文利用第一深度搜索法（Ｆｉｒｓｔ－Ｄｅｐｔｈ－Ｓｅａｒｃｈ）提出一个计算无圈有向网络的ＳＴ可靠性（至少存在一条从源点到汇点正常运行道路的概率）的新拓扑公式。这是一个递归公式,它使得计算原来无圈有向网络ＳＴ可靠性转化为计算若干更小的无圈有向网络ＳＴ可靠性。且允许对所有无圈网络进行各种可靠性保护缩减（Ｒｅｌｉａｂｉｌｉｔｙ－Ｐｒｅｓｅｒｖｉｎｇ－Ｒｅｄｕｃｔｉｏｎ）,是一个计算无圈有向网络ＳＴ可靠性的好的公式。     

GPS载体姿态测量技术研究

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

图像目标的可视识别与智能跟踪

本文研究图像目标的可视识别与跟踪,给出了图像目标识别印章模型和系统总体设计方案。在此基础上,采用智能跟踪算法,实现了正常跟踪、判断、预测和记忆跟踪的功能,而且跟踪方式随着环境条件的变化而变化。正常跟踪算法的图像代数描述是简明的,与算法是内在一致的。通过给出两个实时可视跟踪的实例说明在实时ＤＳＰ可视跟踪系统上算法的性能及其可行性。     

悬崖上的玫瑰园

<正>几片玫瑰花瓣飘到了艾茵村的坎儿井中。这是一种具有典型的阿曼风格的水渠。玫瑰花瓣随着水渠中的水流漂荡,绕过一片片种植着玫瑰花的土地。正是因为有了这些植物,阿卡达尔才远近驰名。要知道,阿卡达尔直译过来便是"绿山"。继续漂流的花瓣迅速绕过种满了石榴树、桃树、杏树的园子。最后,花瓣在重力的作用下逐渐消失不见了。几千年来,在阿卡达尔村得益于