城市交通乘车路线的计算机查询

本文以南京市的公交路线为对象,在IBM4341计算机及IBM-PC/XT机上,实现了对任意给定的两个车站之间的最短乘车路径的查询(即换车次数和途经的车站数最少),查询的结果可以在图形屏幕上动态显示,同时还可在字符终端和打印机上输出路径上的各个站名、路径名以及换车地点。程序是用PASCAL语言编写的,便于移植。     

人机对奕与启发式搜索

本文叙述了在IBM-PC/XT个人计算机上,使用LISP语言研制的人机对奕一字棋程序中,如何成功地运用了启发式搜索法来设计该智能程序。並说明了该程序的设计思想,流程图及其运行情况。     

飞机液压导管及连接件弯曲疲劳试验台的研制

液压导管及连接件的弯曲疲劳寿命的长短直接影响到整个飞机的安全,疲劳破坏被称为飞机安全的"杀手",是航空领域非常关注的一个问题。为了准确测验出飞机液压导管及连接件弯曲疲劳寿命,根据航空部有关标准,在参考目前国内外其他类型弯曲疲劳试验台的基础上,我们为某研究所设计了一套包含液压系统、振动台、力加载装置、计算机控制等在内的一套自动化程度非常高的测试系统。该系统能同时对6个带内压的试件进行弯曲疲劳寿命试验,并具有压力告警、采集、存储、显示及故障报警功能。提高了试验效率,为同类产品的设计起到了一个引领作用。     

生成矩形毛坯最优两段排样方式的递归算法

提出一种递归算法生成矩形毛坯两维两段排样方式。这种算法将板材分成两段,同一段中所有条带的长度和方向都相同,二段的条带方向相互平行或垂直,不同尺寸的毛坯可以在一根条带中出现。通过递归在段上生成最优条带布局,隐式地讨论所有长度的段,确定所有两段组合的价值,选择价值最大的一个组合作为最优解。计算结果表明,该算法在计算时间和材料利用率两方面都有效。最后,一个实际问题的解表明:使用该算法,材料利用率较高。     

基于序列图象的三维刚体运动估计研究进展

序列图象运动估计是动态场景分析的基础,它主要研究如何从变化场景的一系列不同时刻的图象中,提取出有关场景中物体的位置、运动和结构等信息。在综述了基于序列图象运动分析的传统方法及其技术特点和存在的问题后,分析了基于序列图象的三维刚体运动估计研究的发展趋势。     

利用MAK软件开发的战场环境仿真系统

战场环境仿真是作战仿真和训练模拟系统的重要组成部分,由于战场环境本身的复杂性,因此其仿真实现是一个难点。文章设计并实现了一个战场环境仿真分系统,该系统采用了HLA高层体系结构框架,充分利用MAK系列软件的功能进行二次开发,实现了对战场自然环境、电磁环境和多种计算机生成兵力（CGF）对象的实时仿真,较好地满足了某训练模拟系统的需要。     

月面数字地形构造方法研究

月面巡视探测器着陆区域的地形将对其产生重要的影响。文章对月面数字地形构造方法进行了研究。首先,对月面典型地形特征石块和撞击坑的分布规律和典型形状进行了分析。其次,说明了数字地形的生成流程。再次,先后利用两种方法确定石块和撞击坑的直径,在此基础上构建了数字地形。一种方法是根据巡视器的越障能力确定石块和撞击坑直径,该方法可在一定程度上满足巡视探测器移动性能试验需求;另一种方法是随机生成石块和撞击坑的直径,使生成的地形符合月面的实际情况,不仅可以应用于巡视探测器的移动性能试验,而且也可以应用于路径规划和着陆器着陆过程的模拟。     

北斗双向授时技术在遥测地面站组网中的应用研究

卫星授时以其安全、可靠、稳定、精准等优势广泛应用于各领域。本文立足遥测地面站对时间的高精度、协同性、实时性、网络化的需求，在简述了几种典型授时技术应用特点的基础上，深入开展了北斗卫星授时技术研究。首先对北斗时间系统的组成，以及单向、双向授时技术优缺点等进行了论证，重点分析了RDSS（Radio Determination Satellite Service，卫星无线电测定业务）双向授时的技术实现、理论推导、误差影响和精度评估等；然后，结合遥测地面站授时现状和需求，提出了遥测地面站组网应用中时统的总体思路，通过三级控制、统一溯源、内外互联、由点到面的模式，构建了“以北斗双向授时为主，NTP（Network Time Protocol，网络时间协议）计算机网络授时为辅”的网络化授时体系，并对遥测地面站组网应用场景和入网策略进行了分析论证。本文研究具有较强的实践性和可行性，可为网络化授时应用提供参考。     

HPM对伪码脉冲无线电引信的压制干扰效应仿真

为了对高功率微波作用于伪码脉冲无线电引信的干扰效果进行分析,建立了引信信号处理模型并进行了计算机仿真。仿真结果表明,在频率对准的情况下,当 HPM进入引信距离门对回波信号造成压制时,由于 HPM的信号频带较宽,覆盖了多普勒滤波器带宽,多普勒滤波器的输出信号幅度仍可达到启动门限电平,压制干扰无效。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。