论Ada对DOD国防系统软件开发标准的适应性

Ada语言与DOD-STD-2167A是美国国防部(DOD)在软件方面最重要的两个标准,对它们之间的一致性与适应性进行研究是很有必要也很有意义的。这项研究的关键是研究Ada程序结构与DOD-STD-2167A静态结构的适应性。为此,本文首先详细分析了DOD-STD-2167A的静态结构,然后研究了Ada程序结构对这种静态结构的对应问题,指出了对应中存在的问题,在此基础上引入了库单元的概念。本文最后讨论了与DOD-STD-2167A相适应的Ada软件开发策略。     

长寿命高可靠性起落架设计分析软件系统介绍

起落架长寿命高可靠性分析程序是专供起落架部件结构设计和强度分析使用并可在微机上运行的工程分析系统,是一个计算机辅助设计分析的专用集成系统。该程序系统是《AFFD》系统工程在八五期间取得的重要成果之一。本文简要介绍该系统的组成格式及其主要功能。     

林芝机场导航设备校验飞行——C560型飞机性能分析

林芝机场的建设是国家实施西部大开发项目,尤其是藏南开发的重点建设工程。林芝/米林机场位于雅鲁藏布江南岸河谷地带,在林芝地区八一镇南方。该机场净空条件非常复杂,机场周围多为4000多米的高山,导航设施信号的遮蔽现象非常严重。机场建在狭长的河谷内,气流不稳定,风切变等复     

装配指令计算机管理系统

阐述了装配指令管理系统立题的必要性；对装配指令做了简单介绍；论述了系统的软、硬件配置、系统功能及分配、系统数据流和软件结构；还论述了系统的性能及特点，并对试行及结果做了说明。     

高原机场雷达管制工作中的几项特点

昆明机场自实施雷达管制一年多来，能更好地适应空中流量的增长，满足了昆明日益增长的流量要求。通过成立进近管制室，划分进近扇区，有效地分离了以前繁杂的工作程序，降低了管制员的工作负担，也使安全得到了更好的保障。     

提高装配精度的工艺措施

结构形式为轴与孔采用压合装配，由于装配的配合面短，压装时导向性和稳定性差，容易产生偏斜，同轴度、垂直度要求不易保证。采取了改变导向角，用钢球自动定中心，使装配压力正确作用在垂直于轴的中心位置，据此制造了精确的定位、装配夹具和同轴度检测棒等，保证了装配精度，提高了产品质量。     

CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。