假如使用Ada语言

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

Ada1750A编译程序

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

Pascal与Ada的比较

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

实时系统的语言特征

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

JOVIAL语言发展回顾

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

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

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

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

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

用于 F—15飞行测试的Ada软件

由 Ada 软件控制的数字飞行控制计算机已经在USAF/MCDONNEll Douqlas 研制的 F—15B 飞机上试飞成功,在加利福尼亚州的 Edwords 空军基地进行的一系列试验证明。Ada(“五角大楼”管理的下一代     

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

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

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

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

日本ICAO英语测试调查

本文选择对日本ICAO英语测试进行调查,以期从语言测试这一视角观察日本民航界的英语推行现状,希望对我国的ICAO英语测试实践提供一定参考。     

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

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

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

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

(宝石柱)

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

如何对民航企业安全管理体系有效性实施现场验证

<正>安全管理体系(SMS)的有效性是民航企业推行SMS和局方审定的出发点和立足点。由于SMS建设对局方和企业来说都是一个新生事物,且缺少指导性强的行业SMS建设指南,这既给局方补充运行合格审定工作带来了规范性不强的问题,也给企业推行SMS带来了极大困难,客观上造成了各企业在理解与推行结果上五     

推行选课制的初步研究

推行学分制是我国普通高校教学管理改革的基本趋势。本文提出了推行以选课制为中心的学分制管理的基本思路与实施方案,按照两步走的构想,完成由学年制向专业方向学分制和完全学分制的过渡。     

美国国防工业系统推行全面质量管理的一些情况

雪果同志搜集了美国国防系统推行全面质量管理的有关资料,并编译成本文。文中介绍了美国国防部推行的全面质量管理的方法和模式、国防部承包商企业实行全面质量管理的阶段划分、企业形象化的内容和手段等。这些内容对我们进一步推行全面质量管理工作会有一定启迪,故予以刊登,供读者参考。     

推行以责任成本控制为中心的目标成本管理

责任成本是实行全面成本管理、落实成本责任制、进行成本控制和考核所采用的一个成本概念。文章论述了推行责任成本控制的目的和意义,介绍了推行责任成本的具体方法。     

关于开放系统方法

介绍了美国国防部正在积极推行的一种先进的武器装备研制管理方法 —— 开放系统方法,阐述了该方法的基本内容、作用、与标准化的关系、有关政策、要求、负责组织推行该方法的组织机构、该方法的适用对象;并举例说明美国国防部推行该方法的现状。     

军工企业卓越绩效模式的实施

本文研究了卓越绩效模式的实质、军工系统推行卓越绩效模式的现状、实施卓越绩效模式的方法,找出了军工企业实施卓越绩效模式的关键点和实施具体程序,是笔者在推行卓越绩效模式过程中的经验提炼,对军工行业实施卓越绩效模式的实施指出了可行的途径。