举世瞩目的语言—Ada

概述了Ada语言的由来与发展、特点,西方推行Ada语言的政策和状态,Ada语言的软件工程环境以及国内推行Ada语言的策略和现状。     

Ada1750A编译程序

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

假如使用Ada语言

介绍了Ada语言的应用现状及其前景,并通过一项实验说明Ada语言比C语言更适合于航空电子软件开发。     

Pascal与Ada的比较

本文将比较 Pascal 和 Ada 这两种程序设计语言。Ada 以:Pascal 为基础,而它们的设计目标却截然不同。Pascal 是为教学设计的,而 Ada 是为较大的军用软件系统设计的。仅当 Pascal的局限性不致影响应用程序设计时,Pascal 的简明性才是方便的。     

AWA—一种新研制的Ada编程测试环境

AWA(Ada Working Assistant)是一种新研制的编程测试环境,它有机地组合了各种有关的程序开发工具和实用程序,能够对Ada程序的编制和测试工作进行有效的支持。本文从软件工程的观点出发,详细论述了开发AWA的目的和动机,并且介绍了AWA的设计思想、特点、结构及实现方法。     

Ada可作为信号处理语言吗?

本文叙述用于多重处理机系统的一个信号处理应用程序。并探讨了 Ada 语言在信号处理中的适用性。特别在多重任务、同步和数据结据几个方面进行了研究。     

JOVIAL语言发展回顾

本文是对 JOVIAL 语言发展历史的回顾,从中我们可以了解JOVIAL 语言的设计意图,以及它在美国空军工程项目中所发挥的作用.文章最后还提到了 JOVIAL 向 Ada 的过渡问题.     

实时系统的语言特征

本文以实时系统的特征为基础论述实时系统所必须的语言特征,并对现有程序设计语言 C,Jovial,Ada 做实时性分析。     

洛克威尔·柯林斯公司在西科斯基S-92直升机中使用格林希尔公司软件

洛克威尔·柯林斯公司目前选择了格林希尔软件公司的Integrity-178B实时操作系统(RTOS)用于西科斯基S—92直升机的新航空电子组件。Integrity-178B和格林希尔软件公司的GSTART Ada运行时间环境目前正用于洛克威尔·柯林斯公司新的航空电子管理及显示系统。     

基于仿生视觉注意机制的无人机目标检测

提出了一种基于仿生视觉注意机制的无人机目标检测方法,该方法使用了亮度、方向和区域对比度特征,针对提取的多个显著性特征,利用Ada Boost分类器对其进行分析和融合,得到最终的显著图。对显著图进行图像分割,从中找出显著度最高的区域即目标区域。仿真结果表明,所提出的无人机目标检测方法可以比较准确地确定目标区域,自适应能力强。     

(宝石柱)

这是美国空军综合化的航空电子系统。Pave Fillar设计所用的部件是满足1750A要求的超高速集成电路构成的处理机。它将把飞机上物理分布的标准微处理机实现紧密耦合。这种航空电子结构使用超高速集成电路(VHSIC ,Ada软件。光纤(?)线和用于语音系命的人二智能系统。目前该项工作正在美国的俄(?)俄州。赖特帕蒂森空军基地的赖特航空试验室里运行。航空     

优化编译程序改进了RISC的性能

Oasys公司开发的优化编译程序的新系列为主要的32位RISC和其它微处理机提供了一组改进了的全局优化技术和“最有利的”代码生成技术。这个编译程序支持六种专用语言(Ada CC~(++),Fortran7,Fortran 90和Pascal)的前端机。可得到十三种通用微处理机(包括CISC和RISC机)的代码生成技术。专用语言前端机处理词汇分析程序,按照树型方式把原码分析成为程序的公用     

利用基于对象技术方法的IEEE宽域测试环境（ABBET）标准的执行

1996年5月，IEEEABBET标准获得投票通过，作为代替重点为Ada语言核心执行过程的1226-1993试用版的正式标准，修改后的ABBET标准一个主要变化是考虑用硬件/软件独立方式来创建测试程序。新版本的ABBET标准并没有采用什么特殊的方法和技术。然而，创建测试程序对象技术的工业和军事使用表明，ABBET独立于运行时的目标是可以实现的，独立于运行时方式已经带来了效益。但至今只是偶尔在“特定”环境下被享受到。本文对IEEE的1226分会在测试独立运行对象过程方式的进展作历史的介绍。讨论OOT与测试的关系。说明对象技术的特性并讨论了一些可能使用的对象技术。着重于执行过程的方式。     

基于滑模控制方法的航空发动机控制系统改进设计

为改善传统基于线性控制方法(PID控制)设计航空发动机控制系统在极限保护方面的不足,提出利用非线性控制理论——滑模控制取代原有控制系统中的线性控制器,设计了发动机稳态控制器与基于max-min控制逻辑的极限保护器的综合系统。与传统PID控制方法的控制效果相比较,滑模控制方法可在保证发动机不超限的情况下充分发挥发动机潜能。讨论了边界层厚度等因素对滑模控制抖动的影响。采用滑模方法设计的控制器在硬件在回路平台(HIL)上通过了仿真验证,满足实时性要求。     

变结构控制的工程实现

采用左发换函数中引入控制的微分信号，并对切换函数设置死区，在死区内应用ＰＩＤ控制的方法，解决了一般变结构控制在工程实现中的颤振问题，最后通过一个平衡梁实际系统的控制实验，证明这种控制方法奶好的控制效果。     

临近空间低动态飞行器控制研究综述

针对临近空间低动态飞行器出现的新的控制问题,分析和总结了临近空间低动态飞行器控制进展状况和发展趋势。首先,基于飞艇和浮空器等临近空间低动态飞行器的特点,归纳总结了其飞行控制问题。在此基础上,结合这类飞行器的当前发展状况,从飞行器控制角度出发,着重介绍总结了临近空间低动态飞行器在控制系统执行机构配置、数学模型、姿态控制、定点控制、速度控制、航迹优化、轨迹跟踪控制、升空和返回控制、压力控制,以及应用的多种控制策略的研究进展。最后,在已有的控制问题研究发展的基础上,提出了临近空间低动态飞行器在控制研究领域所要解决和关注的若干问题。     

永磁同步电机电流控制策略比较分析

在电机控制中根据场合要求会采用不同的电流控制策略。对永磁同步电机的4种主要电流控制策略进行了分析并总结了各自的特点。主要针对最大转矩电流比(MTPA)控制、零直轴电流(id=0)控制、单位功率因数(cosφ=1)控制以及恒磁链控制方法,在转矩确定的情况下,对交直轴电流、定子电流及功率因数进行比较分析。按照不同控制方式在MATLAB/Simulink中搭建了仿真模型。4种不同控制方法的仿真试验表明:定子电流幅值从高至低依次为cosφ=1控制、恒磁链控制、id=0控制和MTPA控制；功率因数从高至低依次为cosφ=1控制、恒磁链控制、MTPA控制和id=0控制。最后对比分析了凸极系数不同时4种控制方法的电流和功率因数变化。     

非线性变结构解耦控制及对再入飞行器的应用

讨论了一类非线性系统的变结构解耦控制在再入飞行器的应用,变结构解耦控制号输入输出线性比相结合得到的控制规律,可对象模型的不确定有鲁棒性,对于再入飞行器再入段存在的多变量非线性和参数不确定,应用了相应的变结构解耦控制的方法,讨论了其滑模面的构造方法和解耦控制条件,在姿态控制中保证了姿态跟踪期望值,在轨迹跟踪中,设计了内外回路在控制律,内回路运用变结构解耦控制保持姿态稳定,外回路通过设计比例微分控制保     

基于动态逆的综合非线性飞行控制方法

在解决非线性飞行控制问题中,动态逆控制方法已成为一种流行的控制方法.文中以动态逆控制方法为基础,使用神经网络控制与动态非线性阻尼控制综合的控制方法进行补偿,以提高非线性飞控系统的鲁棒性.在以某型推力矢量飞机为对象的仿真中,这种方法显示出很强的非线性控制能力和鲁棒性.     

直升机自转下滑训练过程发动机的控制规律

为确定直升机自转下滑训练过程发动机的控制规律,分析了采用正常控制规律进入自转状态时涡轴发动机的变化过程,提出了在现有控制规律基础上增强动力涡轮转速控制模块中总矩"提前器"作用和适当放宽速率限制值的控制对策.仿真结果表明,改进后的控制规律能够基本满足直升机对发动机状态控制的要求,为解决直升机发动机在自转训练情况下的控制问题提供了一条有效的技术途径.