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