打即机绘图驱动程序

本文介绍Ｑｕｉｃｋ－ＢＡＳＩＣ环境里编制的打印机绘图驱动程序，详细叙述了绘图语句的功能、格式和使用方法；列出驱动程序字符集编码；给出一个完整的调用绘图语句绘制图形及各种规格字符的例子。     

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

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

人机对奕与启发式搜索

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

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

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

表面触觉再现技术现状和评估方法

表面触觉再现技术可通过裸指触摸屏幕来感知物体特性,在多媒体终端实现高效自然的交互,具有巨大的研究价值,因而得到国内外研究学者的广泛关注。然而,现有研究多集中于力觉交互设备,未对表面触觉再现设备进行系统分析,且对设备的各项性能评价过于主观,未给出客观可信的表面触觉再现技术评估标准。首先,在充分研究现有表面触觉再现技术的基础上,重点对近十年表面触觉再现技术进行补充和完善。将表面触觉再现设备分为振动式、压力式、压膜式、静电力式和电刺激式,重点从工作原理、装置构成和性能指标等方面对典型设备进行详细分析和介绍,总结设备在触觉表达方面存在的优缺点。然后,针对现有评价方式过于粗糙和主观的问题,提出一种表面触觉再现技术的评估方法。通过制造难度、工作区间等7种评价指标全面评价设备的性能,采用专家打分法和层次分析法获得振动式、压力式、压膜式、静电力式4种设备在每种评价指标下的权重,并对4种设备在多媒体终端应用中的性能优劣进行排序,为不同领域下选择和评价表面触觉再现设备提供参考。最后,总结现有设备的不足,讨论其未来的研究和改进方向。      

航天器总装技术状态的数字化管理方法

针对航天器研制过程总装技术状态的结构化刻画、比对以及传递需求,提出一种航天器总装技术状态的结构化表达、统计、管理与应用方法,该方法针对产品设计、工艺设计和工艺实施人员的技术状态协同控制需求,分别定义总装设计（ADC）、总装工艺（APDC）以及总装实做（AIC）等3种技术状态控制视图,以数字样机作为数据集成管理框架,结合基于活动内容模板的工艺设计方法,实现总装工艺技术状态的设置与管理,最终实现总装全过程技术状态数据的精确控制。此外,通过基于工艺数字样机的总装技术状态比对,实现了一种与总装工艺设计及实施过程紧密结合的技术状态视图应用方法。将其应用到卫星设备总装技术状态的控制过程中,证明了该方法对技术状态控制的有益作用。     

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

卫星授时以其安全、可靠、稳定、精准等优势广泛应用于各领域。本文立足遥测地面站对时间的高精度、协同性、实时性、网络化的需求，在简述了几种典型授时技术应用特点的基础上，深入开展了北斗卫星授时技术研究。首先对北斗时间系统的组成，以及单向、双向授时技术优缺点等进行了论证，重点分析了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的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。