【簡介：】本篇文章給大家談?wù)劇禷tlas航空公司服務(wù)》對應(yīng)的知識點(diǎn)，希望對各位有所幫助。本文目錄一覽：
1、5y555是哪個航空？
2、5Y是什么航空
3、各大航空公司運(yùn)單號前綴都是多少啊？
本篇文章給大家談?wù)劇禷tlas航空公司服務(wù)》對應(yīng)的知識點(diǎn)，希望對各位有所幫助。
本文目錄一覽：
5y555是哪個航空？
5Y555是土耳其一家廉價航空公司，阿特拉斯航空公司（ATLAS AIR）的一個航班，以前在我國的浙江杭州蕭山國際機(jī)場見到過。
5Y是什么航空
5Y,GTI, ATLAS AIR 阿特拉斯航空
5Y- EXPRESS RAIL LINK/EXPRESS RAIL LINK SDN BHD
與全球BSP結(jié)算中心無協(xié)議，故此無結(jié)算代碼（也就是你說的數(shù)字代碼）
傳說中的亞特蘭蒂斯究竟在哪里呢？
從希臘神話和柏拉圖的記載可以看出，亞特蘭蒂斯應(yīng)該位于現(xiàn)在直布羅陀海峽附近，最直接的證據(jù)就是大西洋的Atlantic直接源自于亞特蘭蒂斯Atlantis。至于有人說在克里特島、愛琴海上的錫拉島、塞浦路斯島，還有人說在加勒比海，更有甚者是南極洲，這些說法明顯都差距甚遠(yuǎn)。
亞特蘭蒂斯與非洲之眼
根據(jù)柏拉圖描述亞特蘭蒂斯的樣子：中央是圓形陸地，向往有三層的環(huán)形運(yùn)河，一圈陸地隔一圈水。位于西非毛里塔尼亞的非洲之眼，也被稱為撒哈拉之眼，其環(huán)狀結(jié)構(gòu)與柏拉圖描述的亞特蘭蒂斯的結(jié)構(gòu)幾乎一模一樣。亞特蘭蒂斯島的正中心有一個小山，非洲之眼的中心恰好有一個60米左右的小山丘，但只是形似不能證明非洲之眼就是亞特蘭蒂斯。以下證據(jù)能否證明非洲之眼就是亞特蘭蒂斯呢？
位于毛里塔尼亞的非洲之眼
1、地理位置相符
柏拉圖說：在赫拉克勒斯石柱的對面，有一塊被海洋包圍著的大島，這就是亞特蘭蒂斯王國。這個大島說的顯然不是歐洲大陸，柏拉圖及古希臘人對歐洲大陸有相當(dāng)?shù)恼J(rèn)知；那么赫拉克勒斯石柱的對面，不是非洲大陸就是大西洋里面的某個島嶼，但至今沒有任何發(fā)現(xiàn)大西洋的海底或者島嶼與亞特蘭蒂斯描述相符的地方。
非洲之眼
2、名稱來歷相符
古希臘神話中，北非的國王是阿特拉斯Atlas的后人，阿特拉斯是擎天巨神，他被宙斯降罪用雙肩支撐蒼天，永遠(yuǎn)不準(zhǔn)放下。而位于非洲西北部的阿特拉斯山脈正是以巨神來命名，美國阿特拉斯航空公司的logo，正是擎天巨神阿特拉斯雙肩扛起地球的圖案。古希臘人還把亞特蘭蒂斯稱為阿特拉斯島Island of Atlas，因此亞特蘭蒂斯就是阿特拉斯島，而毛里塔尼亞的非洲之眼就處于非洲西北部的阿特拉斯山脈之中。
atlas blue是什么顏色
atlas blue并不是指的顏色，而是指的是亞特拉斯藍(lán)天航空。
atlas blue航空公司所在國家是摩洛哥。
atlas 是什么的縮寫？
C/ATLAS全稱Common / Abbreviated Test Language for All Systems(全系統(tǒng)公共/簡明測試語言)是一個廣泛用于軍事和航空測試的標(biāo)準(zhǔn)化語言.由IEEE負(fù)責(zé)對該語言標(biāo)準(zhǔn)進(jìn)行管理維護(hù),許多國家都參加了這個語言的開發(fā).本文介紹的正是我國開發(fā)的ATLAS編譯器中的語義分析部分.
語義分析是編譯中的重點(diǎn),在語義分析中不僅要進(jìn)行程序的上下文語義一致性的檢查,還要為目標(biāo)代碼生成提供足夠的信息.本文介紹了ATLAS語義分析的實(shí)現(xiàn)方法,并對ATLAS系統(tǒng)的實(shí)現(xiàn)技術(shù),運(yùn)行環(huán)境的實(shí)現(xiàn)方法進(jìn)行了簡單的介紹.
對于ATLAS語義中要求的特殊問題,我們采用了面向?qū)ο蠹夹g(shù)加以實(shí)現(xiàn),并取得了很好的結(jié)果.具體的實(shí)現(xiàn)采用靜態(tài)語義分析和動態(tài)語義分析相結(jié)合的方法.本文對ATLAS系統(tǒng)中的設(shè)備管理系統(tǒng),運(yùn)行環(huán)境系統(tǒng)等也進(jìn)行了簡單的介紹,為ATLAS系統(tǒng)的進(jìn)一步開發(fā)奠定了基礎(chǔ).
目 錄
第一章 系統(tǒng)簡介
1.1 ATLAS 系統(tǒng)簡介
C/ATLAS是全系統(tǒng)公共/簡明測試語言(Common / Abbreviated Test Language for All Systems)的縮寫,它是一種功能十分強(qiáng)大的全系統(tǒng)標(biāo)準(zhǔn)測試語言,在軍事,航空事業(yè)中具有廣泛的應(yīng)用.
20世紀(jì)60年代,ARINC公司為了對航空器上的電子設(shè)備系統(tǒng)進(jìn)行測試,主辦開發(fā)了一個測試語言ATLAS,當(dāng)時ATLAS的含義是指Abbreviated Test Language for Avionics Systems .隨后,美國陸軍,海軍,航空部隊(duì)以及北大西洋公約組織也加入到這個語言的開發(fā).
1976年,C/ATLAS的控制權(quán)由ARINC移交給IEEE,此時ATLAS的含義更為廣泛:Abbreviated Test Language for All Systems .同時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):
一,它是一個標(biāo)準(zhǔn)的測試語言.為了防止語言的日益龐大和不利于維護(hù),該語言由IEEE負(fù)責(zé)發(fā)布相應(yīng)的標(biāo)準(zhǔn),以達(dá)到語言的規(guī)范和統(tǒng)一.參與該標(biāo)準(zhǔn)的主要用戶有美國國防部,德國國防部,法國國防部,英國國防部,瑞典國防部和航空工業(yè)的航空無線電公司等.
二,C/ATLAS具有和測試設(shè)備無關(guān)的特性,可應(yīng)用于所有的測試系統(tǒng).用ATLAS語言編寫的程序可以測試各種儀器設(shè)備,測試的代碼中不包括任何測試所采用的硬件信息.也就是說,只要測試使用的自動測試設(shè)備(ATE)支持ATLAS,便可以不經(jīng)過修改地使用在另外一個測試系統(tǒng)中編寫的ATLAS程序.
三,ATLAS的功能十分強(qiáng)大,提供了真正的自動測試.在以往的測試中,測試人員不僅要考慮測試的算法和流程,還要花很多精力用于選擇測試使用的設(shè)備甚至設(shè)計(jì)測試所需的硬件等,進(jìn)行不同的測試需要不同的測試設(shè)備和相應(yīng)的測試流程.在ATLAS中則不需要測試人員考慮測試硬件,而由ATLAS系統(tǒng)自動處理,這樣測試人員就能夠更加專心地進(jìn)行測試算法和測試流程設(shè)計(jì).ATLAS系統(tǒng)的ATE(自動測試資源)中提供了大量的測試設(shè)備,一個ATE能進(jìn)行很多測試,這樣不僅簡化了測試系統(tǒng)的規(guī)模,也大大提高了測試的效率和水平.
1.1.1 進(jìn)行ATLAS 測試的硬件環(huán)境
ATLAS語言可以應(yīng)用于各種電子類和非電類儀器設(shè)備的測試,隨著測試技術(shù)和測試設(shè)備的不斷發(fā)展,ATLAS語言也在不斷的進(jìn)行修改.在遵循IEEE標(biāo)準(zhǔn)的基礎(chǔ)上,為了方便用戶的使用,ATLAS語言自身提供了一種的擴(kuò)展機(jī)制,以完成由于當(dāng)前標(biāo)準(zhǔn)的限制而不能進(jìn)行的測試.
ATLAS 語言中不提供測試硬件信息.用戶使用過程中,ATLAS系統(tǒng)根據(jù)程序中的設(shè)備特征信息,自動地進(jìn)行設(shè)備分配并調(diào)用相應(yīng)的硬件操作來完成對UUT(被測試單元)的測試.可以說ATLAS系統(tǒng)是一個對測試軟件和硬件進(jìn)行管理的虛擬機(jī),它不僅負(fù)責(zé)對ATLAS源程序編譯,生成機(jī)器碼;還要對測試資源設(shè)備進(jìn)行管理,設(shè)備管理包括:添加和刪除設(shè)備,管理被測試單元(UUT)到自動測試系統(tǒng)(ATE)設(shè)備的開關(guān)連接通路;此外,ATLAS系統(tǒng)還要在測試的執(zhí)行過程中,處理測試中產(chǎn)生的事件,并監(jiān)控測試資源的工作情況.
下圖是ATLAS測試的硬件環(huán)境.
,ATLAS測試系統(tǒng)硬件結(jié)構(gòu)圖
ATLAS測試系統(tǒng)硬件主要有以下幾個部分組成:
ATE(auto test equipment):自動測試設(shè)備,使整個測試系統(tǒng)的核心,采用VXI或IEEE488 總線將設(shè)備連接到主機(jī)上.ATE機(jī)柜中的設(shè)備主要包括:1)測試使用的資源,如各種可控直流電源,可控信號發(fā)生器,數(shù)字萬用表,示波器等;2)開關(guān)設(shè)備,用于連接ATE外部的陣列接口和ATE內(nèi)部的設(shè)備.3)ATE陣列接口,是ATE的輸出接口,外接測試使用的適配器.
UUT(unit under test):被測試單元,即測試的對象,在測試過程中和ATE外部的適配器相連接.
適配器:用于連接ATE和UUT.在測試過程中,ATE負(fù)責(zé)提供給UUT (被測試單元)電源,輸入的激勵信號,并從UUT (被測試單元)中讀出測試點(diǎn)的內(nèi)容.適配器的作用就是進(jìn)行從ATE(自動測試設(shè)備)到UUT(被測試單元)建立相應(yīng)的連接,并根據(jù)UUT 情況進(jìn)行電氣轉(zhuǎn)換,電信號到非電信號的轉(zhuǎn)換等.
VXI 總線等:用于連接主機(jī)和ATE(自動測試資源)中的測試設(shè)備,可控開關(guān)等,進(jìn)行ATE控制和數(shù)據(jù)通信.
主機(jī):測試主控計(jì)算機(jī),其上面運(yùn)行ATLAS系統(tǒng).
1.1.2.ATLAS 系統(tǒng)結(jié)構(gòu)
ATLAS系統(tǒng)負(fù)責(zé)編譯執(zhí)行ATLAS編寫的測試程序,提供調(diào)試環(huán)境,測試仿真環(huán)境,管理ATE中的各種設(shè)備和開關(guān).ATLAS系統(tǒng)由ATLAS編譯器,ATLAS運(yùn)行環(huán)境,ATLAS環(huán)境管理程序,設(shè)備庫,擴(kuò)展協(xié)議,總線描述文件,設(shè)備描述文件,開關(guān)描述文件和適配器描述文件組成.
系統(tǒng)的結(jié)構(gòu)如下圖所示:
ATLAS系統(tǒng)測試流程圖
ATLAS 環(huán)境管理程序?qū)y試使用的設(shè)備描述文件,開關(guān)描述文件,總線描述文件和適配器描述文件轉(zhuǎn)換為內(nèi)部的設(shè)備信息,開關(guān)信息,總線信息和適配器引腳信息.
ATLAS編譯器將測試程序編譯成可執(zhí)行的目標(biāo)代碼,并交給ATLAS運(yùn)行系統(tǒng)執(zhí)行.在編譯的過程中,ATLAS編譯器根據(jù)系統(tǒng)中的設(shè)備信息,開關(guān)信息,總線和適配器引腳信息,進(jìn)行測試設(shè)備的分配,生成相應(yīng)測試設(shè)備的操作代碼,并在測試結(jié)束后回收設(shè)備.
ATLAS運(yùn)行系統(tǒng)負(fù)責(zé)執(zhí)行目標(biāo)代碼,完成最終的測試.在運(yùn)行系統(tǒng)中要監(jiān)控設(shè)備的執(zhí)行情況,處理來自測試設(shè)備的信號和中斷,管理測試執(zhí)行的進(jìn)程,并給程序員提供相應(yīng)的調(diào)試環(huán)境.
在執(zhí)行中,ATLAS的運(yùn)行系統(tǒng)調(diào)用設(shè)備DLL庫中的設(shè)備函數(shù)來執(zhí)行測試.設(shè)備管理系統(tǒng)負(fù)責(zé)添加測試設(shè)備,修改開關(guān)通路,修改測試設(shè)備信息,刪除測試設(shè)備等等.添加和修改一個設(shè)備則相應(yīng)的修改設(shè)備DLL庫.
ATLAS編譯器根據(jù)源程序中設(shè)備的特征信息,結(jié)合系統(tǒng)內(nèi)部的設(shè)備信息,引腳信息和開關(guān)信息,來查找設(shè)備.如果找到滿足條件的設(shè)備,則分配該設(shè)備并調(diào)用這個設(shè)備的操作.如果更改系統(tǒng)的設(shè)備,比如添加新設(shè)備或修改當(dāng)前設(shè)備的某些信息,這時要修改系統(tǒng)內(nèi)部的設(shè)備信息,以便在ATLAS編譯時能夠找到滿足條件的設(shè)備.
1.2 本文完成的工作
本文介紹的工作是我們的項(xiàng)目——ATLAS系統(tǒng)的一部分,主要是ATLAS語言的語義分析部分,給出了ATLAS形式化語義,ATLAS編譯環(huán)境,運(yùn)行環(huán)境,ATLAS的動態(tài)語義分析技術(shù)和靜態(tài)語義分析技術(shù).本文完成的工作有:
實(shí)現(xiàn)了ATLAS語言的語義分析
利用面向?qū)ο蟮募夹g(shù)[5][6]解決了ATLAS要求的語義擴(kuò)展和設(shè)備無關(guān)性
闡述了ATLAS系統(tǒng)的組成和各部分的功能
實(shí)現(xiàn)了ATLAS的語義分析器[7],給出了ATLAS靜態(tài)語義檢查和動態(tài)語義檢查的內(nèi)容,并利用屬性文法加以描述
第二章 ATLAS語言
2.1 ATLAS 2000
ATLAS是一個十分有趣的語言,與一般的過程式語言不同,ATLAS更接近于自然語言.在這個語言中每一個語句由動詞,名詞和它們的修飾信息組成,一個ATLAS語句中至少包含一個動詞和一個名詞[2].
ATLAS2000語句結(jié)構(gòu)如下圖所示:
固定域 分隔符
,
固定域中的標(biāo)志域,用來說明這條語句的含義,如果忽略標(biāo)志說明是一條普通的語句,是注釋語句則標(biāo)志為"C" 或"B",如果是"E"表示可以從標(biāo)志的這條語句開始執(zhí)行測試,而與前面的測試無關(guān).
VERB動詞,包括ATLAS中的動詞和動詞修飾詞.動詞有:APPLY,DEFINE,DECLARE,REQUIRE,DISCONNECT,REMOVE,DO等.動詞的修飾詞用來輔助動詞如:"DO ,SIMULTANEOUS" 語句中的SIMULANEOUS,信號語句中的"THEN RESET"等.
分隔符,在ATLAS中不同的語法成分由分隔符","隔開.
每一條都有一個終止符"$".
每個語句的語句剩余部分根據(jù)情況而定.
ATLAS2000結(jié)構(gòu):
ATLAS2000 是一個有多層結(jié)構(gòu)的語言[4],一個ATLAS程序由核子原語,語句,模型,TTF和模塊組成.ATLAS核子部分和ATLAS原語構(gòu)成了這個語言的基礎(chǔ),用戶通過預(yù)定義和這些基本語素來建立測試項(xiàng)目的需求.模型結(jié)構(gòu)使用戶通過對底層部件的操作組合,抽象出具有更高層次的結(jié)構(gòu)并對更復(fù)雜的測試功能加以描述.TTF(Test Technology Frameworks)測試技術(shù)框架,ATLAS2000測試技術(shù)框架包括并定義一些由ATLAS2000基礎(chǔ)組成的特殊的測試環(huán)境.模塊用來封裝那些可重復(fù)使用的測試代碼.具體結(jié)構(gòu)如下圖所示:
ATLAS 2000 結(jié)構(gòu)圖
注釋:
ATLAS核子部分(NUCLEUS)定義了ATLAS語言典型的性能和功能.ATLAS核子由形式語法,保留字和規(guī)則三個部分組成.
ATLAS原語(PRIMITIVES)是描述和說明ATLAS信號,動作,屬性和性能必需的元素.這些基本元素不能再分,其中包括名詞,名詞修飾詞,動詞,動詞修飾詞,操作符以及它們的功能定義.
ATLAS模型(MODELS)是一系列函數(shù)和過程的表示,在ATLAS中,模型用來描述測試設(shè)備和被測試單元(UUT)的特征.ATLAS模型是文法元素的描述基礎(chǔ),ATLAS關(guān)鍵字根據(jù)ATLAS2000模型來定義,所有的關(guān)鍵字必須模型化.一旦一個模型被定義并且成為測試技術(shù)框架(TTF)的一部分,就可以在ATLAS的語句中作為一個關(guān)鍵字來使用.
ATLAS的模塊(MODULE)是包含在ATLAS程序中的一個實(shí)體,可以說它是一個包含ATLAS過程和非ATLAS過程的容器.在ATLAS中用"INCLUDE"語句來使用模塊.在模塊內(nèi)通過聲明過程的屬性是全局的還是局部的,來決定過程的作用域,全局的過程可以在模塊外使用.在模塊內(nèi)部可使用本模塊定義的所有過程,通過對其它的模塊進(jìn)行引用聲明,也可使用外部過程.
2.2 ATLAS 語義分析特點(diǎn)
ATLAS語言是用于測試的標(biāo)準(zhǔn)語言.盡管在ATLAS語言中沒有關(guān)于測試設(shè)備硬件的具體信息,如設(shè)備的物理地址,設(shè)備驅(qū)動程序和設(shè)備的操作函數(shù)等,但是ATLAS提供了描述設(shè)備特征的原語和模型[1][3],其中包括:名詞,動詞,修飾詞,連接和信號保留字等.ATLAS編譯器正是根據(jù)在ATLAS程序中的由這些原語和模型組成的信息,來自動地完成設(shè)備查找,設(shè)備分配,去配和操作.
和常見的程序語言相比,ATLAS最大的特點(diǎn)就是包括了一些與測試設(shè)備或被測單元相關(guān)的信息和語句[1],而對測試設(shè)備進(jìn)行操作也就是ATLAS語義的重要部分.現(xiàn)在我們來對比一個非ATLAS語言和ATLAS語言是如何編寫測試程序的.
我們從C語言的測試程序和ATLAS語言編寫的同樣功能的程序進(jìn)行一下對比.
例:將一個電壓是28v的直流電源連接到被測試設(shè)備(UUT)上.
實(shí)現(xiàn):
用C語言編寫測試程序的具體操作步驟是:首先將要使用的電源連接到測試系統(tǒng)上,將電源到UUT的開關(guān)置為連接,然后設(shè)置電源電壓為28V,接下來檢查電源的輸出電壓是否是28V,工作電流是否小于1A,如果滿足條件則允許該電源工作.
在ATLAS中,通過一條簡單的語句就可以完成了這些操作,在ATLAS程序中不需要指出要使用哪一個電源,我們可以看出ATLAS和C語言的不同之處.在C的程序中由測試員指定要使用的電源并連接這個電源的使用的開關(guān)這樣來完成測試,在ATLAS這些工作中則由編譯器自動完成.
C語言和ATLAS語言編寫的代碼比較如下:
摘自：softlab.jlu.edu.cn/temp/thesis/2004liulei.doc
關(guān)于《atlas航空公司服務(wù)》的介紹到此就結(jié)束了。
