【简介：】本篇文章给大家谈谈《atlas货运航空》对应的知识点，希望对各位有所帮助。本文目录一览：
1、5y555是哪个航空？
2、atlas 是什么的缩写？
3、传说中的亚特兰蒂斯究竟在哪里呢？
本篇文章给大家谈谈《atlas货运航空》对应的知识点，希望对各位有所帮助。
本文目录一览：
5y555是哪个航空？
5Y555是土耳其一家廉价航空公司，阿特拉斯航空公司（ATLAS AIR）的一个航班，以前在我国的浙江杭州萧山国际机场见到过。
atlas 是什么的缩写？
C/ATLAS全称Common / Abbreviated Test Language for All Systems(全系统公共/简明测试语言)是一个广泛用于军事和航空测试的标准化语言.由IEEE负责对该语言标准进行管理维护,许多国家都参加了这个语言的开发.本文介绍的正是我国开发的ATLAS编译器中的语义分析部分.
语义分析是编译中的重点,在语义分析中不仅要进行程序的上下文语义一致性的检查,还要为目标代码生成提供足够的信息.本文介绍了ATLAS语义分析的实现方法,并对ATLAS系统的实现技术,运行环境的实现方法进行了简单的介绍.
对于ATLAS语义中要求的特殊问题,我们采用了面向对象技术加以实现,并取得了很好的结果.具体的实现采用静态语义分析和动态语义分析相结合的方法.本文对ATLAS系统中的设备管理系统,运行环境系统等也进行了简单的介绍,为ATLAS系统的进一步开发奠定了基础.
目 录
第一章 系统简介
1.1 ATLAS 系统简介
C/ATLAS是全系统公共/简明测试语言(Common / Abbreviated Test Language for All Systems)的缩写,它是一种功能十分强大的全系统标准测试语言,在军事,航空事业中具有广泛的应用.
20世纪60年代,ARINC公司为了对航空器上的电子设备系统进行测试,主办开发了一个测试语言ATLAS,当时ATLAS的含义是指Abbreviated Test Language for Avionics Systems .随后,美国陆军,海军,航空部队以及北大西洋公约组织也加入到这个语言的开发.
1976年,C/ATLAS的控制权由ARINC移交给IEEE,此时ATLAS的含义更为广泛:Abbreviated Test Language for All Systems .同时ARINC发布了IEEE格式的ARINC416-13A标准.1988年,IEEE发布了ATLAS716-1988/9标准,同年ARINC也发布了标准ARINC626-1988/9,之后IEEE和ARINC每三,四年就更新一次各自的标准.2000年,IEEE发布了C/ATLAS的最新版本ATLAS2000标准,我们实现的系统采用的就是IEEE的ATLAS2000标准.
C/ATLAS具有如下的特点:
一,它是一个标准的测试语言.为了防止语言的日益庞大和不利于维护,该语言由IEEE负责发布相应的标准,以达到语言的规范和统一.参与该标准的主要用户有美国国防部,德国国防部,法国国防部,英国国防部,瑞典国防部和航空工业的航空无线电公司等.
二,C/ATLAS具有和测试设备无关的特性,可应用于所有的测试系统.用ATLAS语言编写的程序可以测试各种仪器设备,测试的代码中不包括任何测试所采用的硬件信息.也就是说,只要测试使用的自动测试设备(ATE)支持ATLAS,便可以不经过修改地使用在另外一个测试系统中编写的ATLAS程序.
三,ATLAS的功能十分强大,提供了真正的自动测试.在以往的测试中,测试人员不仅要考虑测试的算法和流程,还要花很多精力用于选择测试使用的设备甚至设计测试所需的硬件等,进行不同的测试需要不同的测试设备和相应的测试流程.在ATLAS中则不需要测试人员考虑测试硬件,而由ATLAS系统自动处理,这样测试人员就能够更加专心地进行测试算法和测试流程设计.ATLAS系统的ATE(自动测试资源)中提供了大量的测试设备,一个ATE能进行很多测试,这样不仅简化了测试系统的规模,也大大提高了测试的效率和水平.
1.1.1 进行ATLAS 测试的硬件环境
ATLAS语言可以应用于各种电子类和非电类仪器设备的测试,随着测试技术和测试设备的不断发展,ATLAS语言也在不断的进行修改.在遵循IEEE标准的基础上,为了方便用户的使用,ATLAS语言自身提供了一种的扩展机制,以完成由于当前标准的限制而不能进行的测试.
ATLAS 语言中不提供测试硬件信息.用户使用过程中,ATLAS系统根据程序中的设备特征信息,自动地进行设备分配并调用相应的硬件操作来完成对UUT(被测试单元)的测试.可以说ATLAS系统是一个对测试软件和硬件进行管理的虚拟机,它不仅负责对ATLAS源程序编译,生成机器码;还要对测试资源设备进行管理,设备管理包括:添加和删除设备,管理被测试单元(UUT)到自动测试系统(ATE)设备的开关连接通路;此外,ATLAS系统还要在测试的执行过程中,处理测试中产生的事件,并监控测试资源的工作情况.
下图是ATLAS测试的硬件环境.
,ATLAS测试系统硬件结构图
ATLAS测试系统硬件主要有以下几个部分组成:
ATE(auto test equipment):自动测试设备,使整个测试系统的核心,采用VXI或IEEE488 总线将设备连接到主机上.ATE机柜中的设备主要包括:1)测试使用的资源,如各种可控直流电源,可控信号发生器,数字万用表,示波器等;2)开关设备,用于连接ATE外部的阵列接口和ATE内部的设备.3)ATE阵列接口,是ATE的输出接口,外接测试使用的适配器.
UUT(unit under test):被测试单元,即测试的对象,在测试过程中和ATE外部的适配器相连接.
适配器:用于连接ATE和UUT.在测试过程中,ATE负责提供给UUT (被测试单元)电源,输入的激励信号,并从UUT (被测试单元)中读出测试点的内容.适配器的作用就是进行从ATE(自动测试设备)到UUT(被测试单元)建立相应的连接,并根据UUT 情况进行电气转换,电信号到非电信号的转换等.
VXI 总线等:用于连接主机和ATE(自动测试资源)中的测试设备,可控开关等,进行ATE控制和数据通信.
主机:测试主控计算机,其上面运行ATLAS系统.
1.1.2.ATLAS 系统结构
ATLAS系统负责编译执行ATLAS编写的测试程序,提供调试环境,测试仿真环境,管理ATE中的各种设备和开关.ATLAS系统由ATLAS编译器,ATLAS运行环境,ATLAS环境管理程序,设备库,扩展协议,总线描述文件,设备描述文件,开关描述文件和适配器描述文件组成.
系统的结构如下图所示:
ATLAS系统测试流程图
ATLAS 环境管理程序将测试使用的设备描述文件,开关描述文件,总线描述文件和适配器描述文件转换为内部的设备信息,开关信息,总线信息和适配器引脚信息.
ATLAS编译器将测试程序编译成可执行的目标代码,并交给ATLAS运行系统执行.在编译的过程中,ATLAS编译器根据系统中的设备信息,开关信息,总线和适配器引脚信息,进行测试设备的分配,生成相应测试设备的操作代码,并在测试结束后回收设备.
ATLAS运行系统负责执行目标代码,完成最终的测试.在运行系统中要监控设备的执行情况,处理来自测试设备的信号和中断,管理测试执行的进程,并给程序员提供相应的调试环境.
在执行中,ATLAS的运行系统调用设备DLL库中的设备函数来执行测试.设备管理系统负责添加测试设备,修改开关通路,修改测试设备信息,删除测试设备等等.添加和修改一个设备则相应的修改设备DLL库.
ATLAS编译器根据源程序中设备的特征信息,结合系统内部的设备信息,引脚信息和开关信息,来查找设备.如果找到满足条件的设备,则分配该设备并调用这个设备的操作.如果更改系统的设备,比如添加新设备或修改当前设备的某些信息,这时要修改系统内部的设备信息,以便在ATLAS编译时能够找到满足条件的设备.
1.2 本文完成的工作
本文介绍的工作是我们的项目——ATLAS系统的一部分,主要是ATLAS语言的语义分析部分,给出了ATLAS形式化语义,ATLAS编译环境,运行环境,ATLAS的动态语义分析技术和静态语义分析技术.本文完成的工作有:
实现了ATLAS语言的语义分析
利用面向对象的技术[5][6]解决了ATLAS要求的语义扩展和设备无关性
阐述了ATLAS系统的组成和各部分的功能
实现了ATLAS的语义分析器[7],给出了ATLAS静态语义检查和动态语义检查的内容,并利用属性文法加以描述
第二章 ATLAS语言
2.1 ATLAS 2000
ATLAS是一个十分有趣的语言,与一般的过程式语言不同,ATLAS更接近于自然语言.在这个语言中每一个语句由动词,名词和它们的修饰信息组成,一个ATLAS语句中至少包含一个动词和一个名词[2].
ATLAS2000语句结构如下图所示:
固定域 分隔符
,
固定域中的标志域,用来说明这条语句的含义,如果忽略标志说明是一条普通的语句,是注释语句则标志为"C" 或"B",如果是"E"表示可以从标志的这条语句开始执行测试,而与前面的测试无关.
VERB动词,包括ATLAS中的动词和动词修饰词.动词有:APPLY,DEFINE,DECLARE,REQUIRE,DISCONNECT,REMOVE,DO等.动词的修饰词用来辅助动词如:"DO ,SIMULTANEOUS" 语句中的SIMULANEOUS,信号语句中的"THEN RESET"等.
分隔符,在ATLAS中不同的语法成分由分隔符","隔开.
每一条都有一个终止符"$".
每个语句的语句剩余部分根据情况而定.
ATLAS2000结构:
ATLAS2000 是一个有多层结构的语言[4],一个ATLAS程序由核子原语,语句,模型,TTF和模块组成.ATLAS核子部分和ATLAS原语构成了这个语言的基础,用户通过预定义和这些基本语素来建立测试项目的需求.模型结构使用户通过对底层部件的操作组合,抽象出具有更高层次的结构并对更复杂的测试功能加以描述.TTF(Test Technology Frameworks)测试技术框架,ATLAS2000测试技术框架包括并定义一些由ATLAS2000基础组成的特殊的测试环境.模块用来封装那些可重复使用的测试代码.具体结构如下图所示:
ATLAS 2000 结构图
注释:
ATLAS核子部分(NUCLEUS)定义了ATLAS语言典型的性能和功能.ATLAS核子由形式语法,保留字和规则三个部分组成.
ATLAS原语(PRIMITIVES)是描述和说明ATLAS信号,动作,属性和性能必需的元素.这些基本元素不能再分,其中包括名词,名词修饰词,动词,动词修饰词,操作符以及它们的功能定义.
ATLAS模型(MODELS)是一系列函数和过程的表示,在ATLAS中,模型用来描述测试设备和被测试单元(UUT)的特征.ATLAS模型是文法元素的描述基础,ATLAS关键字根据ATLAS2000模型来定义,所有的关键字必须模型化.一旦一个模型被定义并且成为测试技术框架(TTF)的一部分,就可以在ATLAS的语句中作为一个关键字来使用.
ATLAS的模块(MODULE)是包含在ATLAS程序中的一个实体,可以说它是一个包含ATLAS过程和非ATLAS过程的容器.在ATLAS中用"INCLUDE"语句来使用模块.在模块内通过声明过程的属性是全局的还是局部的,来决定过程的作用域,全局的过程可以在模块外使用.在模块内部可使用本模块定义的所有过程,通过对其它的模块进行引用声明,也可使用外部过程.
2.2 ATLAS 语义分析特点
ATLAS语言是用于测试的标准语言.尽管在ATLAS语言中没有关于测试设备硬件的具体信息,如设备的物理地址,设备驱动程序和设备的操作函数等,但是ATLAS提供了描述设备特征的原语和模型[1][3],其中包括:名词,动词,修饰词,连接和信号保留字等.ATLAS编译器正是根据在ATLAS程序中的由这些原语和模型组成的信息,来自动地完成设备查找,设备分配,去配和操作.
和常见的程序语言相比,ATLAS最大的特点就是包括了一些与测试设备或被测单元相关的信息和语句[1],而对测试设备进行操作也就是ATLAS语义的重要部分.现在我们来对比一个非ATLAS语言和ATLAS语言是如何编写测试程序的.
我们从C语言的测试程序和ATLAS语言编写的同样功能的程序进行一下对比.
例:将一个电压是28v的直流电源连接到被测试设备(UUT)上.
实现:
用C语言编写测试程序的具体操作步骤是:首先将要使用的电源连接到测试系统上,将电源到UUT的开关置为连接,然后设置电源电压为28V,接下来检查电源的输出电压是否是28V,工作电流是否小于1A,如果满足条件则允许该电源工作.
在ATLAS中,通过一条简单的语句就可以完成了这些操作,在ATLAS程序中不需要指出要使用哪一个电源,我们可以看出ATLAS和C语言的不同之处.在C的程序中由测试员指定要使用的电源并连接这个电源的使用的开关这样来完成测试,在ATLAS这些工作中则由编译器自动完成.
C语言和ATLAS语言编写的代码比较如下:
摘自：softlab.jlu.edu.cn/temp/thesis/2004liulei.doc
传说中的亚特兰蒂斯究竟在哪里呢？
从希腊神话和柏拉图的记载可以看出，亚特兰蒂斯应该位于现在直布罗陀海峡附近，最直接的证据就是大西洋的Atlantic直接源自于亚特兰蒂斯Atlantis。至于有人说在克里特岛、爱琴海上的锡拉岛、塞浦路斯岛，还有人说在加勒比海，更有甚者是南极洲，这些说法明显都差距甚远。
亚特兰蒂斯与非洲之眼
根据柏拉图描述亚特兰蒂斯的样子：中央是圆形陆地，向往有三层的环形运河，一圈陆地隔一圈水。位于西非毛里塔尼亚的非洲之眼，也被称为撒哈拉之眼，其环状结构与柏拉图描述的亚特兰蒂斯的结构几乎一模一样。亚特兰蒂斯岛的正中心有一个小山，非洲之眼的中心恰好有一个60米左右的小山丘，但只是形似不能证明非洲之眼就是亚特兰蒂斯。以下证据能否证明非洲之眼就是亚特兰蒂斯呢？
位于毛里塔尼亚的非洲之眼
1、地理位置相符
柏拉图说：在赫拉克勒斯石柱的对面，有一块被海洋包围着的大岛，这就是亚特兰蒂斯王国。这个大岛说的显然不是欧洲大陆，柏拉图及古希腊人对欧洲大陆有相当的认知；那么赫拉克勒斯石柱的对面，不是非洲大陆就是大西洋里面的某个岛屿，但至今没有任何发现大西洋的海底或者岛屿与亚特兰蒂斯描述相符的地方。
非洲之眼
2、名称来历相符
古希腊神话中，北非的国王是阿特拉斯Atlas的后人，阿特拉斯是擎天巨神，他被宙斯降罪用双肩支撑苍天，永远不准放下。而位于非洲西北部的阿特拉斯山脉正是以巨神来命名，美国阿特拉斯航空公司的logo，正是擎天巨神阿特拉斯双肩扛起地球的图案。古希腊人还把亚特兰蒂斯称为阿特拉斯岛Island of Atlas，因此亚特兰蒂斯就是阿特拉斯岛，而毛里塔尼亚的非洲之眼就处于非洲西北部的阿特拉斯山脉之中。
关于《atlas货运航空》的介绍到此就结束了。
