多方位测量的相位双差GNSS欺骗干扰检测算法

对于二元天线阵,相位双差检测算法的载波相位双差角度模糊、虚警概率较高,这限制了算法的应用。针对这一问题,提出天线阵方位变化的欺骗干扰检测算法。通过二元天线阵在不同方位估计信号的载波相位双差,进行多次判决,有效消除角度模糊,降低检测的虚警概率,实现二元天线的载波相位双差检测。建立仿真模型,并通过仿真计算分析验证了该方法的有效性。     

一个不可缺少的条件

利用导数比较区间内点处函数值与区间端处函数值的大小,函数在区间端点处的连续性是不可缺少的条件。     

一类非线性动力系统的定性分析

研究2种生物种群在一段时间内是否可以相互生存,有着重要的现实意义。为了获得这方 面的有关结果,本文运用微分方程的稳定性理论,详尽地讨论了一类非线性动力系统模型平衡点的类型, 并进一步给出了该系统极限环的不存在性,从而得到系统的共存性。     

舰载对陆巡航导弹规划航路点间距离的计算分析

针对舰载对陆巡航导弹在实际飞行中,其航迹需要参考近似大地线的航线,在充分考虑导弹由海对陆的航路规划过程基础上,提出了易于编程、精度有所改进的空间两点间大地距离的计算方法。该方法在考虑高程的地球椭球模型参数的求取基础上,利用Bowring反解公式重新推导了顾及高程的空间航路点间的计算公式。相关算例表明,该方法提高了导弹规划航路点间距离的计算精度且易于工程实现。     

GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

一种联机手写汉字识别方法

本文给出了一种基于动态汉字基元获取笔段有序序列的联机手写汉字识别方法。该方法对汉字书写笔顺无任何限制,对手写汉字变形有很好的适应能力。经测试,基于本方法研制的联机手写汉字识别系统的识别率为９７．１％．     

试验函数空间的非标准包

本文研究了试验函数空间Ｄ（Ω）的非标准包（Ｄ）＾及其性质,并给出了（Ｄ）∧中元素的构造。最后,证明了（Ｄ）∧与Ｄ（Ω）有着类似的结构,而且（Ｄ）∧也可作为一类局部凸空间的严格归纳极限     

激光测距系统控制策略研究的一种新方法

首先运用更新理论研究了激光测距系统漏测点的分布规律,在该系统跟踪目标的角误差为平稳高斯过程的前提下,给出了易于计算的漏测点分布律的显式表示,为求取使不可补漏测点出现概率最小的控制策略提供了一条行之有效的新途径。     

计算机辅助动画系统 (GKDCAS)

GKDCAS是一个基于微型计算机环境,使用C语言设计的一个实用动画制作系统。本文阐述了GKDCAS的软件结构与设计方法,介绍了它的功能,并给出了一个用该系统制作动画的实例。     

知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。