SIFT:飞机控制用的容错计算机的设计和分析

SIFT(软件实现容)是飞机关链性的控制应用的一种可(亻告)性计祘机,这种计祘机是通过处理件中间的任务重复而实现容。主处理件是一发现有的小型计祘机,和一些对1/0系统起接口作用的标准微型计祘机。采用专门设计的冗余总线系统互连各处理件实现故障隔离。错误检测和分析以及系统重新组合都用软件来实现,重复任务冗余地执行。对每个重复结果使用之前都要实行表决。因此,用三任务可容许在处理件或总线中有任何单个故障,且容许在重新组合之后接着发生的故障。由各分隔处理独立执行的任务处理机只要求松驰同步。文中叙述了一种新的容同步法。SIFT软件结构非常大,且在形式上规定使用SRI所提出的SPECIAL语言。     

外部型阵列处理机的发展动向

前言自第一台电子计祘机问世以来的40多年里,电子计祘机的发展迅猛异常,其性能和计祘速度大幅度增加,而体积和重量也随之不断缩小、减轻。计祘机已经历了四次大的更新换代,正向着智能化、高度并行的第五代迈进。在过去的40多年中,单机系统的处理能力有了相当可观的改进和提高,这种发展趋势将会继续发展下去,但是。自然物理法则     

FTMP—机载高可(亻告)容错多重处理机

容错多重处理机是一种数字记祘机体系结构。它已发(尸一)了十年多,主要是和一些寿命关链的航天应用有关。最近这种计祘机已被推荐作为民用运(车入)机应用的容错中央计祘机。仿制工作已进行了一段时间,计划第一个工程样机在1979年后期完成。     

容错航天计算机系统结构

本文总结用于航天机载处理的容错计祘方面长期研究的结果。随着器件工艺的改变,研制方案已从容错单处理机的设计进展到容错分佈计祘机系统的研制,航天计祘的特殊要求与引起的实时计祘机系统结构结果一起进行介绍,並对设计的下列各方面进行讨论:1>简化分佈计祘机系统复杂性的系统结构的特奌。2>故障检测和恢复。3>提高可靠性和可测试性的技术。4>用LSI的设计方法。     

Ada1750A编译程序

美国纽约高级计祘机技术公司,宣佈第一个以MIL-STD-1750A处理机为目标的Ada语言编译程序生效,投入使用。该公司的Ada/1750A交叉编译程序,是由Ada审批局于今年6月21日进行审批试验的。     

静态压力试验自动控制系统

该系统是为校检各种压力传感器和数字式压力计而试制的。使用它,使校检过程完全自动化,大大地提高了校检的速度和准确度。 本系统由157/100型压力标准、IBM-PC微机和高低温箱等近十台设备组成。软件是用FORTRAN语言、宏汇编语言和关系数据库dBASFⅢ写成的。计算机采用人-机对话方式     

一种通用的遥测实时数据处理与显示系统

研制这种实时数据监视系统(RTDMS)的目的是为了提供一种通用的遥测数据处理和显示系统。该系统使用DEC公司的PDP-11小型计算机作为处理机。由于CPU的速度有限,而在实际中经常遇到的都是高数据速率,因此过去使用小型计算机的这类系统,数据处理能力一般都很有限。设计这种RTDMS的目的是用一台预处理机配合CPU来扩大数据处理能力,全部硬/软件系统都设计出来了。该系统是根据某些通用数据类型构成的,并且尽量减少处理机在各种数据结构上的开销。软件的设计充分利用了RSX-11M多任务操作系统的能力和资源。由于构成系统要求相当大的数据库,所以特别注意到了操作人员的接口。编制了一组程序,这组程序用交互式菜单建立了所需的全部数据库文件,这就大大减少了操作员建立系统所需的输入和训练时间。     

南航研制成功计算机自动绘图与图形显示系统

一种可实现设计计算、图形显示与计算机绘图一体化的MDS绘图软件系统,已由南京航空学院研制成功,并于最近通过了部级技术鉴定。 这种通用的计算机绘图软件系统,可供使用FORTRAN语言的用户在IBM-PC微机上进行计算机辅助设计工作。该系统有一套（共11类68种）MDS自动绘图语句,其中的每一种语句均可在用户的FORTRAN程序中直接调用;它可以画直线、圆、椭圆及列表曲线;     

实时显示生成器

实时显示生成器(RTDB)是一种生成逻辑驱动显示的交互式图形工具样机。这些显示反映了当前系统状态,实时完成故障检测算法,采纳老练飞控人员的操作知识。该RTDB采用面向目标的方法,将基本操作逻辑和显示符号结合起来。要生成显示时,用户利用这种方法可规定屏幕布局和驱动逻辑。RTDB正在UNLX下用C语言开发,利用了MASSCOMP图形环境,作了适当的功能划分,以便于移植到其它图形环境。RTDB是为用户化实时数据驱动的航天飞机系统显示而开发的。使用该工具初始功能度的显示在STS—26发现者号轨道运行阶段投入了实用。目前正在NASA/JSC任务操作部开发的实时数据系统工程准备利用RTDB产生几种显示。本文介绍了这种工具的特点、目前的发展状况及其应用。     

关于FORTRAN程序调用汇编程序问题

在三坐标测量机微机改造任务中,软件移植是重要的组成部分。在将 CMMDHL 三坐标测量机数据处理语言系统移植到 IBM-PC 的兼容机—GW-0520A 和 Victor-9000的过程中,关键问题之一,是怎样将汇编语言编制的测量机采点程序中的数据传送到用 FORTRAN 语言     

NASA数据系统标准化计划的缘由和概貌

实用空间运输系统及伴随而来的空间永久设施,对NASA数据系统提出了空前的挑战。到那时,还可能出现大量极高数据速率的实验。尤其是航天器重访能力,借此可作在轨载荷更换,无法进行传统的全系统地面测试。若要经济、高效地解决这些挑战,只有采用端一端数据系统工程和灵活结构设计方案。正在研究一种简单的端一端数据系统总逻辑模型,借此可找出每个自动化空间数据系统     

符合ARINC661规范的DF文件生成技术的研究与应用

ARINC661规范定义了飞机座舱显示系统和用户应用之间的接口。它彻底解除了显示系统逻辑处理和图形显示的耦合关系,具有很好的灵活性、开放性和实用性,已逐步发展成为飞机座舱显示系统的行业标准。本文提出了一种符合ARINC661规范的DF文件的生成技术,并基于该技术完成了DF文件生成工具的开发。     

一种基于FPGA的简易逻辑分析仪

基于FPGA的逻辑分析仪是以可编程逻辑器件ACEX1K30TC144-3为控制核心，由输入电平调理模块、数据采集模块、数据处理模块、数据存储模块、信号输出模块等组成。数据采集模块、数据处理模块和数据存储模块全部由可编程逻辑器件内部实现，其中数据存储模块有效地利用了FPGA内部的RAMIP核，提高了系统的工作速度及可靠性。系统的采样速率最高可达1MHz，存储深度为1k。系统的硬件电路精炼，稳定性好。逻辑分析仪输出到示波器上同时显示被测的8路信号，十分清晰、稳定。     

波纹板和开口腹板刚度等效计算程序设计及实现

以MSC／PATRAN为平台,利用其二次开发工具PCL语言,并结合FORTRAN语言,通过客户化、增设特定的命令和窗体等技术开发了波纹板等效刚度和开口腹板当量厚度计算程序及相应的用户界面。将等效刚度技术融合于有限元建模过程中,使用户在有限元建模过程中随时调用本程序进行波纹板和开口板的等效刚度计算。实际工程应用结果表明,本程序使用方便,可以提高建模效率。     

新型速率和加速度传感器

美国联信航宇公司正就客户对它研制的一种适用于惯性测量装置的新型数字式速率和加速度传感器的兴趣进行调研。这种仍处于研制初期的传感器采用科氏(Coriolis)加速度来测量速率。每个采用微机械加工称为FIX(微型)Sciras的硅科氏传感器包含两个作为单块结构一部分的加速度计,这两个加速度计以恒定频率的幅值抖动来感测科氏加速度。三个传感器以正交方式安排可精密测量三轴的线加速度和角速度。据公司称,若采用直接数字接口,传感器及转换精度为每小时几度。     

以PC机作为测控核心系统的导弹舵机CAT软件包

 本文介绍采用IBM-PC/XT型计算机测控核心系统的导弹舵机计算机辅助试验（CAT）系统软件包。有开关没置、零点校验、传感器标定、静态测试、动态测试和数据处理等六个程序文件,采用FORTRAN 77和宏汇编（MASM）语言混合编制。采用批处理方式联接程序文件,而各程序文件间的数据传递则利用数据文件实现,因此程序编写、调试和扩展比较方便。系统具有计算机自动给出测试信号,自动没置测试系统开关的功能。软件广泛采用汉字菜单和汉字人机对话的方式,并具有简单判断故障能力,故不但提高了测试自动化程度,而且使用方便,符合我国国情。软件包经过多次联试证明是可行的。     

基于ZigBee无线传感器网络的功率测量系统

论述了基于ZigBee无线网络的功率测量系统的硬件组成和软件协议。与传统功率测量系统相比,无线系统具有很高的灵活性,表现为传感器数量可扩充,空间覆盖范围广,可用于测量移动尤其是旋转目标,以及便于携带和安装等特点。     

红外和磁传感器可用于机场防撞

价格低廉的磁和红外传感器能为管制员提供一种在地面上跟踪飞机和车辆的新的辅助设备,有助于防止地面碰撞事故。 霍尼韦尔公司技术中心最近按FAA的合同研制了一种二重红外/磁传感器。在滑行道和跑道边沿的照明灯柱上加装传感器后,便在机场上设置了数百个小型短距无源系统。由此得到的信息可给出机场上飞机及车辆位置的精确数据,可帮助装有地面探测雷达(如 ASDE-3)的机场实现地面交通自动化管制。 成本低是这种二重传感器为用户所接受的关键,对无力安装地面监视雷达的小型机场很有用。类似的红外传感器的售价不到30美元。低价的磁传感器为目前正进入批生产的制在     

柔性PLC

本文介绍一种模块式的低成本可编程逻辑控制器。它可根据用户的要求，通过改变硬件模块来随意组合输入输出关系以及输出点类型，并能方便地扩充１／Ｏ点个数。该可编程逻辑控制器可采用常规高级语言进行编程，使实际操作更加方便灵活。     

民用直升机机外噪声符合性验证方法研究及应用

本文依据 CCAR36部适航条例规定,从噪声符合性验证要求、测试技术、数据处理方法等方面着手,结合某型机机外噪声适航验证试飞进行了研究和实际应用,达到了预期目的。