一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

聚对苯撑及其衍生物的合成、表征和电性能

从溴苯合成出了聚对苯撑,从对苯二酚合成出了几种聚对苯撑的衍生物：聚（２,５－Ｍ甲氧基）对苯撑,聚（２,５－二乙氧基）对苯撑和聚（２,５－二丁氧基）对苯撑。用ＩＲ表征了中间体和聚合物的结构,测定了聚合物的电导率和伏安特性曲线,并讨论了实验条件对产率的影响。     

有源噪声控制的新近进展（Ⅱ）

从一般封闭空间、混响声场的有源控制及控制器结构与算法三个方面对有源噪声控制进行了评述,并对今后的研究趋势提出了展望。     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。     

动目标显示雷达改善因子的自动测试

本文对动目标显示雷达改善因子的自动测试系统进行了研究,给出一种新型的全数字式频率合成器,它能在雷达的中频上叠加频率范围为±70kHz、量化间隔为0.5Hz的多普勒频率。     

坦克炮、反坦克炮简易火控系统自动调炮精度分析

本文分析了坦克炮、反坦克炮简易火控系统自动调炮装置的结构特点及调炮误差变化规律,提出了工程上的校准方法及设计要点。     

纯方位目标跟踪算法性能分析

本文对纯方位目标跟踪中的三种方位平差法进行了分析,讨论了方位误差和己艇运动要素误差对算法的解算误差的影响,进而显示了纯方位目标跟踪这一特殊估值问题中的目标运动参量和坐标系选择的重要性。此外,从分析结果中还能看出目标和己艇的运动几何态势对算法性能的影响。根据性能分析,本文还对三种算法进行了比较。     

关于小高炮射击偏差观测方法之我见

小高炮射击偏差观测的提前时间观测时机法与传统的等距法,两者的观测时机虽不同,精度也不同,但从原理上讲,都是一种近似方法,不能说哪个原理上有问题,哪个原理上无问题。从部队现装备看,在部队日常训练打靶中,前者的观测时机更易于把握,作为现装备的一种革新,有研究必要。     

驻波—行波边界条件在PSTD算法中的实现

将时域伪谱法(PSTD)的边界条件PML用驻波-行波边界条件来代替.该条件在边界处附加理想电(磁)壁对计算区域进行截断,将由此产生的反射场去除,从而减少反射场所产生的干扰,在有限的空间内有效地模拟出无限大的电磁散射空间.给出了该边界条件下的二维PSTD迭代格式,并将其数值结果与运用PML边界条件的PSTD的结果进行比较,计算结果表明这种结合形成的新方法节约了内存,提高了计算速度,具有良好的可行性.     

利用星载GPS伪码测距进行小卫星星座的整网定位

首先针对小卫星星载ＧＰＳ伪码测距，基于星间差分消除／消弱误差，并引入星座网形约束，论述了星座模式下提高小卫星定位精度的一种整网数据处理方法，并给出了一个算例。然后进一步论述了不依赖ＧＰＳ的小卫星星座测控，以及提高小卫星星座定位自主性问题的几点设想。