基于等值线约束的地磁匹配定位技术

地磁匹配定位是利用地磁图进行定位的方法,位置输出可用于限制惯导系统的误差积累.介绍了地磁辅助导航的原理和发展现状,并重点研究了地磁匹配定位技术.提出了一种基于等值线约束的改进的相关匹配算法,能有效消除导航系统的初始位置误差并能限制匹配过程中惯导系统的积累误差.仿真实验证明该算法能有效地提高相关匹配的实时性,并能把定位精度控制在地磁数据网格间距以内.算法对航向误差具有一定的适应性.     

一个报表生成器的原理与实现

本文介绍了一个基于数据库文件的报表生成器的原理与实现,该生成器具有两种制表机制,它不但能快速简单地生成二维格式通用报表,而且能生成任意格式报表、空表、固定表等,从而为用户提供了一个简便、实用、高效的制表软件开发工具.本生成器采用TURBO C语言在长城系列微机上实现,生成DBASEIII报表打印源程度。     

新型智能化平直度测量装置

本文主要介绍了“智能化平直度测量仪”的结构和工作原理,它解决了在几何量计量中对平尺、平板、以及机床导轨等的自动检测及误差评定问题。工作效率提高近百倍。由于采用了分立式结构,该仪器还可以广泛地应用于形位误差、螺纹、齿轮等几何量计量领域,是一种实用的智能化测量仪器。     

机动决策辅助(MDA)

本文介绍了由英国拜赛马公司开发的机动决策辅助(MDA)的产生背景,MDA的发展现状、用途和优点。     

模拟电子线路CAI系统的一种设计方法

本文介绍了利用ＢＯＲＬＡＮＤＣ＋＋４．５进行《模拟电子线路》计算机辅助教学系统设计的一种方法。此方法是目前众多方法中行之有效的一种。且它也适应其它各种课程的计算机辅助教学系统的设计．     

MIS结构生成器—MISSG的设计与实现

MISSG是一个能支持“快速原型法”的通用生成工具,它不但能快速生成MIS结构的可执行原型,并且还具有“边执行——边维护”的生成方式,为MIS的生成和维护提供了一种全新的实用方法。本文阐述了MISSG的特点、组成结构和实现方法。     

液晶显示屏(LCD)的汉字及图形生成方法

本文介绍了利用通用的ＷＰＳ汉字系统的汉字字库及图形编辑软件ＳＰＴ生成ＬＣＤ液晶屏显示需要的汉字字集和图形数据的有效方法,详细介绍了以ＭＣＳ－５１单片机为控制核心的ＬＣＤ液晶屏的汉字显示原理及实用程序。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

阵地布防系统中的计算机辅助决策

本文对阵地布防辅助决策系统从其系统结构、信息处理流程及系统实现等方面作了详细介绍。目前已在PC 机及其兼客机上成功地实现了该系统的研制。     

基于衰减记忆的地形辅助导航算法

地形辅助导航是解决惯性导航系统定位误差随时间不断增大的缺点的重要方法之一。提出了基于衰减记忆的地形辅助导航算法,算法使用了一个新的相关算子,根据量测值存在的历史时间长短,对量测值赋以不同的权值,用一个递归表达式递归地计算相关值。该算法在提高定位精度的同时减少了计算量和存储空间,从而提高计算速度,并连续输出定位结果。仿真结果表明该算法的正确匹配率、均方根误差和圆概率误差均优于TERCOM算法。