【簡(jiǎn)介：】本篇文章給大家談?wù)劇禷tlas貨運(yùn)航空》對(duì)應(yīng)的知識(shí)點(diǎn)，希望對(duì)各位有所幫助。本文目錄一覽：
1、5y555是哪個(gè)航空？


2、atlas 是什么的縮寫(xiě)？


3、傳說(shuō)中的亞特蘭蒂斯究竟在哪里呢？

本篇文章給大家談?wù)劇禷tlas貨運(yùn)航空》對(duì)應(yīng)的知識(shí)點(diǎn)，希望對(duì)各位有所幫助。

本文目錄一覽：

• 1、5y555是哪個(gè)航空？
• 2、atlas 是什么的縮寫(xiě)？
• 3、傳說(shuō)中的亞特蘭蒂斯究竟在哪里呢？

5y555是哪個(gè)航空？

5Y555是土耳其一家廉價(jià)航空公司，阿特拉斯航空公司（ATLAS AIR）的一個(gè)航班，以前在我國(guó)的浙江杭州蕭山國(guó)際機(jī)場(chǎng)見(jiàn)到過(guò)。

atlas 是什么的縮寫(xiě)？

C/ATLAS全稱Common / Abbreviated Test Language for All Systems(全系統(tǒng)公共/簡(jiǎn)明測(cè)試語(yǔ)言)是一個(gè)廣泛用于軍事和航空測(cè)試的標(biāo)準(zhǔn)化語(yǔ)言.由IEEE負(fù)責(zé)對(duì)該語(yǔ)言標(biāo)準(zhǔn)進(jìn)行管理維護(hù),許多國(guó)家都參加了這個(gè)語(yǔ)言的開(kāi)發(fā).本文介紹的正是我國(guó)開(kāi)發(fā)的ATLAS編譯器中的語(yǔ)義分析部分.

語(yǔ)義分析是編譯中的重點(diǎn),在語(yǔ)義分析中不僅要進(jìn)行程序的上下文語(yǔ)義一致性的檢查,還要為目標(biāo)代碼生成提供足夠的信息.本文介紹了ATLAS語(yǔ)義分析的實(shí)現(xiàn)方法,并對(duì)ATLAS系統(tǒng)的實(shí)現(xiàn)技術(shù),運(yùn)行環(huán)境的實(shí)現(xiàn)方法進(jìn)行了簡(jiǎn)單的介紹.

對(duì)于ATLAS語(yǔ)義中要求的特殊問(wèn)題,我們采用了面向?qū)ο蠹夹g(shù)加以實(shí)現(xiàn),并取得了很好的結(jié)果.具體的實(shí)現(xiàn)采用靜態(tài)語(yǔ)義分析和動(dòng)態(tài)語(yǔ)義分析相結(jié)合的方法.本文對(duì)ATLAS系統(tǒng)中的設(shè)備管理系統(tǒng),運(yùn)行環(huán)境系統(tǒng)等也進(jìn)行了簡(jiǎn)單的介紹,為ATLAS系統(tǒng)的進(jìn)一步開(kāi)發(fā)奠定了基礎(chǔ).

目 錄

第一章 系統(tǒng)簡(jiǎn)介

1.1 ATLAS 系統(tǒng)簡(jiǎn)介

C/ATLAS是全系統(tǒng)公共/簡(jiǎn)明測(cè)試語(yǔ)言(Common / Abbreviated Test Language for All Systems)的縮寫(xiě),它是一種功能十分強(qiáng)大的全系統(tǒng)標(biāo)準(zhǔn)測(cè)試語(yǔ)言,在軍事,航空事業(yè)中具有廣泛的應(yīng)用.

20世紀(jì)60年代,ARINC公司為了對(duì)航空器上的電子設(shè)備系統(tǒng)進(jìn)行測(cè)試,主辦開(kāi)發(fā)了一個(gè)測(cè)試語(yǔ)言ATLAS,當(dāng)時(shí)ATLAS的含義是指Abbreviated Test Language for Avionics Systems .隨后,美國(guó)陸軍,海軍,航空部隊(duì)以及北大西洋公約組織也加入到這個(gè)語(yǔ)言的開(kāi)發(fā).

1976年,C/ATLAS的控制權(quán)由ARINC移交給IEEE,此時(shí)ATLAS的含義更為廣泛:Abbreviated Test Language for All Systems .同時(shí)ARINC發(fā)布了IEEE格式的ARINC416-13A標(biāo)準(zhǔn).1988年,IEEE發(fā)布了ATLAS716-1988/9標(biāo)準(zhǔn),同年ARINC也發(fā)布了標(biāo)準(zhǔn)ARINC626-1988/9,之后IEEE和ARINC每三,四年就更新一次各自的標(biāo)準(zhǔn).2000年,IEEE發(fā)布了C/ATLAS的最新版本ATLAS2000標(biāo)準(zhǔn),我們實(shí)現(xiàn)的系統(tǒng)采用的就是IEEE的ATLAS2000標(biāo)準(zhǔn).

C/ATLAS具有如下的特點(diǎn):

一,它是一個(gè)標(biāo)準(zhǔn)的測(cè)試語(yǔ)言.為了防止語(yǔ)言的日益龐大和不利于維護(hù),該語(yǔ)言由IEEE負(fù)責(zé)發(fā)布相應(yīng)的標(biāo)準(zhǔn),以達(dá)到語(yǔ)言的規(guī)范和統(tǒng)一.參與該標(biāo)準(zhǔn)的主要用戶有美國(guó)國(guó)防部,德國(guó)國(guó)防部,法國(guó)國(guó)防部,英國(guó)國(guó)防部,瑞典國(guó)防部和航空工業(yè)的航空無(wú)線電公司等.

二,C/ATLAS具有和測(cè)試設(shè)備無(wú)關(guān)的特性,可應(yīng)用于所有的測(cè)試系統(tǒng).用ATLAS語(yǔ)言編寫(xiě)的程序可以測(cè)試各種儀器設(shè)備,測(cè)試的代碼中不包括任何測(cè)試所采用的硬件信息.也就是說(shuō),只要測(cè)試使用的自動(dòng)測(cè)試設(shè)備(ATE)支持ATLAS,便可以不經(jīng)過(guò)修改地使用在另外一個(gè)測(cè)試系統(tǒng)中編寫(xiě)的ATLAS程序.

三,ATLAS的功能十分強(qiáng)大,提供了真正的自動(dòng)測(cè)試.在以往的測(cè)試中,測(cè)試人員不僅要考慮測(cè)試的算法和流程,還要花很多精力用于選擇測(cè)試使用的設(shè)備甚至設(shè)計(jì)測(cè)試所需的硬件等,進(jìn)行不同的測(cè)試需要不同的測(cè)試設(shè)備和相應(yīng)的測(cè)試流程.在ATLAS中則不需要測(cè)試人員考慮測(cè)試硬件,而由ATLAS系統(tǒng)自動(dòng)處理,這樣測(cè)試人員就能夠更加專心地進(jìn)行測(cè)試算法和測(cè)試流程設(shè)計(jì).ATLAS系統(tǒng)的ATE(自動(dòng)測(cè)試資源)中提供了大量的測(cè)試設(shè)備,一個(gè)ATE能進(jìn)行很多測(cè)試,這樣不僅簡(jiǎn)化了測(cè)試系統(tǒng)的規(guī)模,也大大提高了測(cè)試的效率和水平.

1.1.1 進(jìn)行ATLAS 測(cè)試的硬件環(huán)境

ATLAS語(yǔ)言可以應(yīng)用于各種電子類和非電類儀器設(shè)備的測(cè)試,隨著測(cè)試技術(shù)和測(cè)試設(shè)備的不斷發(fā)展,ATLAS語(yǔ)言也在不斷的進(jìn)行修改.在遵循IEEE標(biāo)準(zhǔn)的基礎(chǔ)上,為了方便用戶的使用,ATLAS語(yǔ)言自身提供了一種的擴(kuò)展機(jī)制,以完成由于當(dāng)前標(biāo)準(zhǔn)的限制而不能進(jìn)行的測(cè)試.

ATLAS 語(yǔ)言中不提供測(cè)試硬件信息.用戶使用過(guò)程中,ATLAS系統(tǒng)根據(jù)程序中的設(shè)備特征信息,自動(dòng)地進(jìn)行設(shè)備分配并調(diào)用相應(yīng)的硬件操作來(lái)完成對(duì)UUT(被測(cè)試單元)的測(cè)試.可以說(shuō)ATLAS系統(tǒng)是一個(gè)對(duì)測(cè)試軟件和硬件進(jìn)行管理的虛擬機(jī),它不僅負(fù)責(zé)對(duì)ATLAS源程序編譯,生成機(jī)器碼;還要對(duì)測(cè)試資源設(shè)備進(jìn)行管理,設(shè)備管理包括:添加和刪除設(shè)備,管理被測(cè)試單元(UUT)到自動(dòng)測(cè)試系統(tǒng)(ATE)設(shè)備的開(kāi)關(guān)連接通路;此外,ATLAS系統(tǒng)還要在測(cè)試的執(zhí)行過(guò)程中,處理測(cè)試中產(chǎn)生的事件,并監(jiān)控測(cè)試資源的工作情況.

下圖是ATLAS測(cè)試的硬件環(huán)境.

,ATLAS測(cè)試系統(tǒng)硬件結(jié)構(gòu)圖

ATLAS測(cè)試系統(tǒng)硬件主要有以下幾個(gè)部分組成:

ATE(auto test equipment):自動(dòng)測(cè)試設(shè)備,使整個(gè)測(cè)試系統(tǒng)的核心,采用VXI或IEEE488 總線將設(shè)備連接到主機(jī)上.ATE機(jī)柜中的設(shè)備主要包括:1)測(cè)試使用的資源,如各種可控直流電源,可控信號(hào)發(fā)生器,數(shù)字萬(wàn)用表,示波器等;2)開(kāi)關(guān)設(shè)備,用于連接ATE外部的陣列接口和ATE內(nèi)部的設(shè)備.3)ATE陣列接口,是ATE的輸出接口,外接測(cè)試使用的適配器.

UUT(unit under test):被測(cè)試單元,即測(cè)試的對(duì)象,在測(cè)試過(guò)程中和ATE外部的適配器相連接.

適配器:用于連接ATE和UUT.在測(cè)試過(guò)程中,ATE負(fù)責(zé)提供給UUT (被測(cè)試單元)電源,輸入的激勵(lì)信號(hào),并從UUT (被測(cè)試單元)中讀出測(cè)試點(diǎn)的內(nèi)容.適配器的作用就是進(jìn)行從ATE(自動(dòng)測(cè)試設(shè)備)到UUT(被測(cè)試單元)建立相應(yīng)的連接,并根據(jù)UUT 情況進(jìn)行電氣轉(zhuǎn)換,電信號(hào)到非電信號(hào)的轉(zhuǎn)換等.

VXI 總線等:用于連接主機(jī)和ATE(自動(dòng)測(cè)試資源)中的測(cè)試設(shè)備,可控開(kāi)關(guān)等,進(jìn)行ATE控制和數(shù)據(jù)通信.

主機(jī):測(cè)試主控計(jì)算機(jī),其上面運(yùn)行ATLAS系統(tǒng).

1.1.2.ATLAS 系統(tǒng)結(jié)構(gòu)

ATLAS系統(tǒng)負(fù)責(zé)編譯執(zhí)行ATLAS編寫(xiě)的測(cè)試程序,提供調(diào)試環(huán)境,測(cè)試仿真環(huán)境,管理ATE中的各種設(shè)備和開(kāi)關(guān).ATLAS系統(tǒng)由ATLAS編譯器,ATLAS運(yùn)行環(huán)境,ATLAS環(huán)境管理程序,設(shè)備庫(kù),擴(kuò)展協(xié)議,總線描述文件,設(shè)備描述文件,開(kāi)關(guān)描述文件和適配器描述文件組成.

系統(tǒng)的結(jié)構(gòu)如下圖所示:

ATLAS系統(tǒng)測(cè)試流程圖

ATLAS 環(huán)境管理程序?qū)y(cè)試使用的設(shè)備描述文件,開(kāi)關(guān)描述文件,總線描述文件和適配器描述文件轉(zhuǎn)換為內(nèi)部的設(shè)備信息,開(kāi)關(guān)信息,總線信息和適配器引腳信息.

ATLAS編譯器將測(cè)試程序編譯成可執(zhí)行的目標(biāo)代碼,并交給ATLAS運(yùn)行系統(tǒng)執(zhí)行.在編譯的過(guò)程中,ATLAS編譯器根據(jù)系統(tǒng)中的設(shè)備信息,開(kāi)關(guān)信息,總線和適配器引腳信息,進(jìn)行測(cè)試設(shè)備的分配,生成相應(yīng)測(cè)試設(shè)備的操作代碼,并在測(cè)試結(jié)束后回收設(shè)備.

ATLAS運(yùn)行系統(tǒng)負(fù)責(zé)執(zhí)行目標(biāo)代碼,完成最終的測(cè)試.在運(yùn)行系統(tǒng)中要監(jiān)控設(shè)備的執(zhí)行情況,處理來(lái)自測(cè)試設(shè)備的信號(hào)和中斷,管理測(cè)試執(zhí)行的進(jìn)程,并給程序員提供相應(yīng)的調(diào)試環(huán)境.

在執(zhí)行中,ATLAS的運(yùn)行系統(tǒng)調(diào)用設(shè)備DLL庫(kù)中的設(shè)備函數(shù)來(lái)執(zhí)行測(cè)試.設(shè)備管理系統(tǒng)負(fù)責(zé)添加測(cè)試設(shè)備,修改開(kāi)關(guān)通路,修改測(cè)試設(shè)備信息,刪除測(cè)試設(shè)備等等.添加和修改一個(gè)設(shè)備則相應(yīng)的修改設(shè)備DLL庫(kù).

ATLAS編譯器根據(jù)源程序中設(shè)備的特征信息,結(jié)合系統(tǒng)內(nèi)部的設(shè)備信息,引腳信息和開(kāi)關(guān)信息,來(lái)查找設(shè)備.如果找到滿足條件的設(shè)備,則分配該設(shè)備并調(diào)用這個(gè)設(shè)備的操作.如果更改系統(tǒng)的設(shè)備,比如添加新設(shè)備或修改當(dāng)前設(shè)備的某些信息,這時(shí)要修改系統(tǒng)內(nèi)部的設(shè)備信息,以便在ATLAS編譯時(shí)能夠找到滿足條件的設(shè)備.

1.2 本文完成的工作

本文介紹的工作是我們的項(xiàng)目——ATLAS系統(tǒng)的一部分,主要是ATLAS語(yǔ)言的語(yǔ)義分析部分,給出了ATLAS形式化語(yǔ)義,ATLAS編譯環(huán)境,運(yùn)行環(huán)境,ATLAS的動(dòng)態(tài)語(yǔ)義分析技術(shù)和靜態(tài)語(yǔ)義分析技術(shù).本文完成的工作有:

實(shí)現(xiàn)了ATLAS語(yǔ)言的語(yǔ)義分析

利用面向?qū)ο蟮募夹g(shù)[5][6]解決了ATLAS要求的語(yǔ)義擴(kuò)展和設(shè)備無(wú)關(guān)性

闡述了ATLAS系統(tǒng)的組成和各部分的功能

實(shí)現(xiàn)了ATLAS的語(yǔ)義分析器[7],給出了ATLAS靜態(tài)語(yǔ)義檢查和動(dòng)態(tài)語(yǔ)義檢查的內(nèi)容,并利用屬性文法加以描述

第二章 ATLAS語(yǔ)言

2.1 ATLAS 2000

ATLAS是一個(gè)十分有趣的語(yǔ)言,與一般的過(guò)程式語(yǔ)言不同,ATLAS更接近于自然語(yǔ)言.在這個(gè)語(yǔ)言中每一個(gè)語(yǔ)句由動(dòng)詞,名詞和它們的修飾信息組成,一個(gè)ATLAS語(yǔ)句中至少包含一個(gè)動(dòng)詞和一個(gè)名詞[2].

ATLAS2000語(yǔ)句結(jié)構(gòu)如下圖所示:

固定域 分隔符

,

固定域中的標(biāo)志域,用來(lái)說(shuō)明這條語(yǔ)句的含義,如果忽略標(biāo)志說(shuō)明是一條普通的語(yǔ)句,是注釋語(yǔ)句則標(biāo)志為"C" 或"B",如果是"E"表示可以從標(biāo)志的這條語(yǔ)句開(kāi)始執(zhí)行測(cè)試,而與前面的測(cè)試無(wú)關(guān).

VERB動(dòng)詞,包括ATLAS中的動(dòng)詞和動(dòng)詞修飾詞.動(dòng)詞有:APPLY,DEFINE,DECLARE,REQUIRE,DISCONNECT,REMOVE,DO等.動(dòng)詞的修飾詞用來(lái)輔助動(dòng)詞如:"DO ,SIMULTANEOUS" 語(yǔ)句中的SIMULANEOUS,信號(hào)語(yǔ)句中的"THEN RESET"等.

分隔符,在ATLAS中不同的語(yǔ)法成分由分隔符","隔開(kāi).

每一條都有一個(gè)終止符"$".

每個(gè)語(yǔ)句的語(yǔ)句剩余部分根據(jù)情況而定.

ATLAS2000結(jié)構(gòu):

ATLAS2000 是一個(gè)有多層結(jié)構(gòu)的語(yǔ)言[4],一個(gè)ATLAS程序由核子原語(yǔ),語(yǔ)句,模型,TTF和模塊組成.ATLAS核子部分和ATLAS原語(yǔ)構(gòu)成了這個(gè)語(yǔ)言的基礎(chǔ),用戶通過(guò)預(yù)定義和這些基本語(yǔ)素來(lái)建立測(cè)試項(xiàng)目的需求.模型結(jié)構(gòu)使用戶通過(guò)對(duì)底層部件的操作組合,抽象出具有更高層次的結(jié)構(gòu)并對(duì)更復(fù)雜的測(cè)試功能加以描述.TTF(Test Technology Frameworks)測(cè)試技術(shù)框架,ATLAS2000測(cè)試技術(shù)框架包括并定義一些由ATLAS2000基礎(chǔ)組成的特殊的測(cè)試環(huán)境.模塊用來(lái)封裝那些可重復(fù)使用的測(cè)試代碼.具體結(jié)構(gòu)如下圖所示:

ATLAS 2000 結(jié)構(gòu)圖

注釋:

ATLAS核子部分(NUCLEUS)定義了ATLAS語(yǔ)言典型的性能和功能.ATLAS核子由形式語(yǔ)法,保留字和規(guī)則三個(gè)部分組成.

ATLAS原語(yǔ)(PRIMITIVES)是描述和說(shuō)明ATLAS信號(hào),動(dòng)作,屬性和性能必需的元素.這些基本元素不能再分,其中包括名詞,名詞修飾詞,動(dòng)詞,動(dòng)詞修飾詞,操作符以及它們的功能定義.

ATLAS模型(MODELS)是一系列函數(shù)和過(guò)程的表示,在ATLAS中,模型用來(lái)描述測(cè)試設(shè)備和被測(cè)試單元(UUT)的特征.ATLAS模型是文法元素的描述基礎(chǔ),ATLAS關(guān)鍵字根據(jù)ATLAS2000模型來(lái)定義,所有的關(guān)鍵字必須模型化.一旦一個(gè)模型被定義并且成為測(cè)試技術(shù)框架(TTF)的一部分,就可以在ATLAS的語(yǔ)句中作為一個(gè)關(guān)鍵字來(lái)使用.

ATLAS的模塊(MODULE)是包含在ATLAS程序中的一個(gè)實(shí)體,可以說(shuō)它是一個(gè)包含ATLAS過(guò)程和非ATLAS過(guò)程的容器.在ATLAS中用"INCLUDE"語(yǔ)句來(lái)使用模塊.在模塊內(nèi)通過(guò)聲明過(guò)程的屬性是全局的還是局部的,來(lái)決定過(guò)程的作用域,全局的過(guò)程可以在模塊外使用.在模塊內(nèi)部可使用本模塊定義的所有過(guò)程,通過(guò)對(duì)其它的模塊進(jìn)行引用聲明,也可使用外部過(guò)程.

2.2 ATLAS 語(yǔ)義分析特點(diǎn)

ATLAS語(yǔ)言是用于測(cè)試的標(biāo)準(zhǔn)語(yǔ)言.盡管在ATLAS語(yǔ)言中沒(méi)有關(guān)于測(cè)試設(shè)備硬件的具體信息,如設(shè)備的物理地址,設(shè)備驅(qū)動(dòng)程序和設(shè)備的操作函數(shù)等,但是ATLAS提供了描述設(shè)備特征的原語(yǔ)和模型[1][3],其中包括:名詞,動(dòng)詞,修飾詞,連接和信號(hào)保留字等.ATLAS編譯器正是根據(jù)在ATLAS程序中的由這些原語(yǔ)和模型組成的信息,來(lái)自動(dòng)地完成設(shè)備查找,設(shè)備分配,去配和操作.

和常見(jiàn)的程序語(yǔ)言相比,ATLAS最大的特點(diǎn)就是包括了一些與測(cè)試設(shè)備或被測(cè)單元相關(guān)的信息和語(yǔ)句[1],而對(duì)測(cè)試設(shè)備進(jìn)行操作也就是ATLAS語(yǔ)義的重要部分.現(xiàn)在我們來(lái)對(duì)比一個(gè)非ATLAS語(yǔ)言和ATLAS語(yǔ)言是如何編寫(xiě)測(cè)試程序的.

我們從C語(yǔ)言的測(cè)試程序和ATLAS語(yǔ)言編寫(xiě)的同樣功能的程序進(jìn)行一下對(duì)比.

例:將一個(gè)電壓是28v的直流電源連接到被測(cè)試設(shè)備(UUT)上.

實(shí)現(xiàn):

用C語(yǔ)言編寫(xiě)測(cè)試程序的具體操作步驟是:首先將要使用的電源連接到測(cè)試系統(tǒng)上,將電源到UUT的開(kāi)關(guān)置為連接,然后設(shè)置電源電壓為28V,接下來(lái)檢查電源的輸出電壓是否是28V,工作電流是否小于1A,如果滿足條件則允許該電源工作.

在ATLAS中,通過(guò)一條簡(jiǎn)單的語(yǔ)句就可以完成了這些操作,在ATLAS程序中不需要指出要使用哪一個(gè)電源,我們可以看出ATLAS和C語(yǔ)言的不同之處.在C的程序中由測(cè)試員指定要使用的電源并連接這個(gè)電源的使用的開(kāi)關(guān)這樣來(lái)完成測(cè)試,在ATLAS這些工作中則由編譯器自動(dòng)完成.

C語(yǔ)言和ATLAS語(yǔ)言編寫(xiě)的代碼比較如下:

摘自：softlab.jlu.edu.cn/temp/thesis/2004liulei.doc

傳說(shuō)中的亞特蘭蒂斯究竟在哪里呢？

從希臘神話和柏拉圖的記載可以看出，亞特蘭蒂斯應(yīng)該位于現(xiàn)在直布羅陀海峽附近，最直接的證據(jù)就是大西洋的Atlantic直接源自于亞特蘭蒂斯Atlantis。至于有人說(shuō)在克里特島、愛(ài)琴海上的錫拉島、塞浦路斯島，還有人說(shuō)在加勒比海，更有甚者是南極洲，這些說(shuō)法明顯都差距甚遠(yuǎn)。

亞特蘭蒂斯與非洲之眼

根據(jù)柏拉圖描述亞特蘭蒂斯的樣子：中央是圓形陸地，向往有三層的環(huán)形運(yùn)河，一圈陸地隔一圈水。位于西非毛里塔尼亞的非洲之眼，也被稱為撒哈拉之眼，其環(huán)狀結(jié)構(gòu)與柏拉圖描述的亞特蘭蒂斯的結(jié)構(gòu)幾乎一模一樣。亞特蘭蒂斯島的正中心有一個(gè)小山，非洲之眼的中心恰好有一個(gè)60米左右的小山丘，但只是形似不能證明非洲之眼就是亞特蘭蒂斯。以下證據(jù)能否證明非洲之眼就是亞特蘭蒂斯呢？

位于毛里塔尼亞的非洲之眼

1、地理位置相符

柏拉圖說(shuō)：在赫拉克勒斯石柱的對(duì)面，有一塊被海洋包圍著的大島，這就是亞特蘭蒂斯王國(guó)。這個(gè)大島說(shuō)的顯然不是歐洲大陸，柏拉圖及古希臘人對(duì)歐洲大陸有相當(dāng)?shù)恼J(rèn)知；那么赫拉克勒斯石柱的對(duì)面，不是非洲大陸就是大西洋里面的某個(gè)島嶼，但至今沒(méi)有任何發(fā)現(xiàn)大西洋的海底或者島嶼與亞特蘭蒂斯描述相符的地方。

非洲之眼

2、名稱來(lái)歷相符

古希臘神話中，北非的國(guó)王是阿特拉斯Atlas的后人，阿特拉斯是擎天巨神，他被宙斯降罪用雙肩支撐蒼天，永遠(yuǎn)不準(zhǔn)放下。而位于非洲西北部的阿特拉斯山脈正是以巨神來(lái)命名，美國(guó)阿特拉斯航空公司的logo，正是擎天巨神阿特拉斯雙肩扛起地球的圖案。古希臘人還把亞特蘭蒂斯稱為阿特拉斯島Island of Atlas，因此亞特蘭蒂斯就是阿特拉斯島，而毛里塔尼亞的非洲之眼就處于非洲西北部的阿特拉斯山脈之中。

關(guān)于《atlas貨運(yùn)航空》的介紹到此就結(jié)束了。