三点后方交会法的检验方法的改进

本文对现行的三点后方交会法的检验方法提出质疑,并通过测试数据计算分析,证实此法存在问题,在此基础上,对三点后方交会法提出了新的检验方法,并在考核场地进行检验,证实此法正确可靠。     

概略平差方法在快速导线测量中的应用

导线测量方法及其精度在研究生《炮兵测量学》和本科生《炮兵侦察》课程教学中占有一定的位置。本文是在传统方法的基础上,进行简化、推导得出概略平差公式,并用此法在我院北操场进行实地检验,所得结果正确。此法在教学和炮兵测量应用中,值得推广。     

距离交会法连测的改进

由于原距离交会法连测误差较大,本文提出了新的测量和计算方法。通过误差分析和实施测量,论证和检验了改进的距离交会法,不但不受交会角大小的限制,而且连测的精度较高。     

地炮雷达系统数据处理实时性的分析

本文较详细地讨论了地炮雷达系统的工作原理,然后,通过对离散、非线性卡尔曼滤波的运算分析,论证了该系统的实时性。最后,提出了系统的一个实现方案。     

集值广义(S)_+型映射之一致极限的广义度理论及其应用

本文构造了集值(S)+型映射之一致极限的广义度,所得结果统一并加强了文献〔1～4〕的相应结果。运用拓扑度方法获得了一些新的满值性定理与某些新的不动点定理。     

P—(S)_+型映射的特征刻划及其满值性定理

本文首先给出了一个映射是P—(S)_+型的充要条件。继而以中所建立的拓扑度理论为工具获得了一个关于P—(S)_+型映射的满值性定理。     

一种开发逻辑程序中AND并行性的静态编译方法

逻辑程序AND并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中AND并行性的静态编译方法。该方法分成三个阶段:第一阶段,进入模式(entry mode) 的分析;第二阶段,退出模式(exit mode) 的生成;第三阶段,执行图表达式(execution graphexpression) 的确定。通过运行一些基准程序可知,与其它方法相比,该方法能在“生产者一消费者”原则(producer-consumer scheme) 下最大限度地开发AND并行性,且只需很小的动态开销。     

离散 Hartley 变换的 MIMD 并行算法

本文把长为N=N_1N_2(N_1为奇数)的离散Hartley变换(DHT)分解成N_1个长N_2的DHT及一些附加运算,附加运算也可以变成N_2个长N_1的DHT。由此得到计算它的一种MIMD并行算法,若用N_1台处理机并行计算,只需(?)个乘法步和(?)个加法步,这里M(N_2)和A(N_2)分别表示计算一个长N_2的DHT所需的乘法数及加法数。并行机的有效利用率接近于1。     

聚苯乙炔的合成及其表征——用无水AlCl3和(Ph3P)2PdCl2二种催化剂

本文用无水AlCl_3和(Ph_3P)_2PdCl_2二种催化剂催化苯乙炔聚合,得到共轭聚合物聚苯乙炔(PPA)。对PPA 的微结构分析表明:用无水AlCl_3催化苯乙炔,得到顺-反式PPA;用(Ph_3P)_2PdCl_2催化苯乙炔得到反-顺式PPA.因此,作者认为用无水AlCl_3催化苯乙炔聚合时可能按络合催化机理反应;用(Ph_3P)_2PdCl_2催化苯乙炔聚合时可能按易位催化机理反应。     

机载超宽带SAR运动误差建模与分析

机载超宽带合成孔径雷达(UWB SAR)具有大积累角和长合成孔径的特点,这使得这类SAR系统的运动误差变得非常复杂.建立了机载UWB SAR运动误差模型,并基于该模型推导了存在运动误差情况下的回波信号频谱.分析了运动误差影响SAR成像处理的根本原因,以及不同特性运动误差对SAR图像所产生的不同影响.仿真实验结果证明了文...