【簡(jiǎn)介：】本篇文章給大家談?wù)劇禷tlas航空公司服務(wù)》對(duì)應(yīng)的知識(shí)點(diǎn)，希望對(duì)各位有所幫助。本文目錄一覽：
1、5y555是哪個(gè)航空？
2、5Y是什么航空
3、各大航空公司運(yùn)單號(hào)前綴都是多少啊？
本篇文章給大家談?wù)劇禷tlas航空公司服務(wù)》對(duì)應(yīng)的知識(shí)點(diǎn)，希望對(duì)各位有所幫助。
本文目錄一覽：
- 1、5y555是哪個(gè)航空？
- 2、5Y是什么航空
- 3、各大航空公司運(yùn)單號(hào)前綴都是多少啊？
- 4、傳說中的亞特蘭蒂斯究竟在哪里呢？
- 5、atlas blue是什么顏色
- 6、atlas 是什么的縮寫？
5y555是哪個(gè)航空？
5Y555是土耳其一家廉價(jià)航空公司，阿特拉斯航空公司（ATLAS AIR）的一個(gè)航班，以前在我國的浙江杭州蕭山國際機(jī)場(chǎng)見到過。
5Y是什么航空
5Y,GTI, ATLAS AIR 阿特拉斯航空
5Y- EXPRESS RAIL LINK/EXPRESS RAIL LINK SDN BHD
與全球BSP結(jié)算中心無協(xié)議，故此無結(jié)算代碼（也就是你說的數(shù)字代碼）
各大航空公司運(yùn)單號(hào)前綴都是多少??？
提單代碼 航空公司中文名稱 航空公司英文名稱 IATA代碼 國際代碼 所在地
000 伊朗馬漢航空 Mahan Airlines W5 伊朗
001 美國美洲航空公司 American Airlines AA AAL 秘魯
005 美國大陸航空公司 Continental Airlines CO COA 美國-得克薩斯-休斯敦
006 美國達(dá)美航空公司 Delta Air Lines DL DAL 美國-喬治亞-亞特蘭大
012 美國西北航空公司 Northwest Airlines NW NWA 美國-明尼蘇達(dá)-伊根
013 加蓬航空 Gabon Airlines GY GBK 加蓬利伯維爾
014 加拿大航空公司 Air Canada AC ACA 加拿大-蒙特利爾
016 美國聯(lián)合航空公司 United Airlines UA UAL 美國-伊利諾伊州
018 加拿大國際航空公司 Canadian Airlines Int′l CP 加拿大
020 德國漢莎航空 Lufthansa Cargo AG LH DLH 德國-法蘭克福
023 美聯(lián)邦航空公司 Fedex FX 美國
027 阿拉斯加航空公司 Alaska Airlines AS ASA 美國-阿拉斯加
037 美國航空公司 US Airways US USA 美國-得克薩斯-沃斯堡
040 喀麥隆航空公司 Camair-Co UY UYC 喀麥隆
041 捷星亞洲航空 Jetstar Asia Airways 3K JSA 新加坡
042 里約格朗德航空 VARIG RG VRG 巴西里約熱內(nèi)盧
043 港龍航空公司 Dragon Air KA HDA 中國-香港
044 阿根廷航空公司 AEROLINEAS AR ARG 阿根廷-布宜諾斯艾利斯
045 智利航空 LAN Airlines LA LAN 智利-圣地亞哥
047 TAP葡萄牙航空 公司 TAP AIR PORTUQAL TP TAP 葡萄牙
048 塞浦路斯航空 Cyprus Airways CY CYP 塞浦路斯
050 希臘國營奧林匹克航空公司 Olympic Airways OA OAL 希臘
053 愛爾蘭航空公司 Aer Lingus EI EIN 愛爾蘭-都柏林
055 意大利航空公司 Alitalia AZ AZA 意大利
057 法國航空公司 Air France AF AFR 法國
061 塞舌爾航空公司 Air Seychelles HM SEY 塞舌爾
064 捷克航空公司 CSA Czech Airlines OK CSA 捷克
065 沙特阿拉伯航空公司 Saudi Arabian Airlines SV SVA 沙特阿拉伯航
070 敘利亞阿拉伯航空 Syrian Arab Airlines RB SYR 敘利亞
071 埃塞俄比亞航空公司 Ethiopian airlines ET ETH 埃塞俄比亞
072 海灣航空公司 Gulf Air GF GFA 巴林
074 荷蘭皇家航空公司 KLM KL KLM 荷蘭
075 西班牙航空公司 Iberia IB IBE 西班牙
076 黎巴嫩航空公司 Lebanese Air Transport LQ LAQ 黎巴嫩
077 埃及航空公司 Egyptair MS MSR 埃及
079 菲律賓航空公司 Philippine airlines PR PAL 菲律賓
080 波蘭航空公司 Lot Polish Airlines LO LOT 波蘭
081 快達(dá)航空公司 Qantas Airways QF QFA 美國
082 比利時(shí)航空公司 Brussels Airlines SN DAT 比利時(shí)
083 南非航空公司 South African Airways SA SAA 南非
086 新西蘭航空公司 Air New Zealand NZ ANZ 新西蘭
090 翠鳥航空有限公司 Kingfisher Airlines IT KFR 印度-班加羅爾
096 伊朗航空公司 Iran air IR IRA 伊朗
098 印度航空公司 Air India AI AIC 印度
105 芬蘭航空公司 Finnair Oyj AY FIN 芬蘭
106 西印度群島航空公司 BWIA West Indies Airways Limited BW BWA 西班牙
108 冰島航空公司 Iceland air FI ICE 冰島
112 中國貨運(yùn)航空 China Cargo Airlines LTD. CK CKK 中國-上海
114 以色列航空公司 El Al Israel Airlines LY ELY 以色列
115 南斯拉夫航空 Jugoslovenski Aerotransport JU JAT 南斯拉夫
117 北歐航空公司 Scandinavian Airlines System SK SAS 瑞典斯德哥爾摩
118 安哥拉航空公司 TAAG – Linhas Aereas de Angola DT DTA 安哥拉-盧安達(dá)
119 ALM Airline Inc. Air ALM LM ALM 荷屬安的列斯
123 維珍航空 Virgin Atlantic Airways VS VIR 英國
124 阿爾及利亞航空公司 Air Algerie AH DAH 阿爾及利亞-阿爾及爾
125 英國航空公司 British Airways p.l.c. BA BAW 英國-倫敦
126 印尼航空 Garuda Indonesia GA GIA 印尼-雅加達(dá)
127 Aviaprima Sochi Airlines Aviaprima Sochi Airlines J5 PRL 希臘
128 香港快運(yùn)航空公司 HONGkONG EXPRESS UO HKE 中國-香港
129 荷蘭馬丁航空公司 Martinair Cargo MP MPH 荷蘭-阿姆斯特丹
131 日本航空公司 Japan Airlines Company Ltd. JL JAL 日本-東京
132 墨西哥聯(lián)運(yùn)航空公司 Aeroméxico Cargo MX MXA 墨西哥
136 古巴航空公司 Cubana de Aviacion S.A. CU CUB 古巴
139 墨西哥航空公司 Aeromexico Cargo AM AMX 墨西哥
140 秘魯 LIAT 航空公司 LIAT Airlines LI LIA 秘魯
141 迪拜航空公司 Flydubai FZ FDB 迪拜
145 拉德科智利航空 Royal Air Maroc UC LCO 智利
147 摩洛哥皇家航空公司 Royal Air Maroc AT RAM 摩洛哥-達(dá)爾貝達(dá)
155 敦豪航空公司 DHL International E.C. ES DHX 中國-北京
157 卡塔爾航空公司 Qatar Airways (W.L.L.) QR QTR
160 香港國泰航空有限公司 Cathay Pacific Airways Ltd. CX CPA 中國-香港
163 比利時(shí) TNT航空公司 TNT Airways 3V TAY 比利時(shí)
165 斯洛文尼亞國際航空公司 Adria Airways – The Airline of Slovenia JP ADR 斯洛文尼亞
167 馬拉維航空公司 Air Malawi QM AML 馬拉維布蘭太爾
172 盧森堡航空公司 Cargolux Airlines International CV CVA 盧森堡-芬德爾機(jī)場(chǎng)
173 夏威夷航空 Hawaiian Airlines HA HAL 美國-夏威夷
176 阿聯(lián)酋航空公司 Emirates EK UAE 阿聯(lián)酋-迪拜
180 大韓航空公司 Korean Air Lines Co. Ltd. KE KAL 韓國
183 里約格朗德航空 VARIG RG VRG 巴西里約熱內(nèi)盧
186 納米比亞航空 Air Namibia SW NMB 納米比亞-溫得和克
195 普爾科沃航空公司 Pulkovo Aviation Enterprise Z8 PLK 俄羅斯-圣彼得堡
201 牙買加航空有限公司 Air Jamaica JM AJM 牙買加-金斯敦
202 塔卡國際航空公司 TACA International Airlines TA TAI 薩爾瓦多
203 菲律賓宿務(wù)航空公司 Cebu Pacific Air 5J CPI 中國
205 日本全日空航空公司 ANA All Nippon Airways NH ANA 日本-東京
214 巴基斯坦航空公司 Pakistan International Airlines PK PIA 巴基斯坦
217 泰國航空公司 Thai Airways International Public TG THA 泰國-曼谷
229 科威特航空公司 Kuwait Airways KU KAC 科威特
230 巴拿馬航空公司 COPA Airlines CM CMP 巴拿馬
231 維也納勞達(dá)航空公司 Lauda Air NG LDA 奧地利施韋夏特
232 馬來西亞航空公司 Malaysian Airline System Berhad MH MAS 馬來西亞-吉隆坡
234 日本佳速航空貨運(yùn) Japan Air System JD JAS 東京
235 土耳其航空公司 Turkish Airlines Inc. TK THY 土耳其-伊斯坦布爾
236 英國大陸航空公司 British Midland Airways Ltd. BD BMA 英國
239 毛里求斯航空有限公司 Air Mauritius MK MAU 毛里求斯-路易港
254 Jetclub航空 Jet Club 0J JCS 瑞士蘇黎世
257 奧地利航空公司 Austrian Cargo OS AUA 奧地利
258 馬爾加什國家航空 Air Madagascar MD MDG 馬達(dá)加斯加
265 遠(yuǎn)東航空公司 Far Eastern Air Transport FE FEA 中國臺(tái)北
266 Leisure航空 Leisure Cargo L8 德國
270 跨地中海航空公司 Trans Mediterranean Airways TL TMA 黎巴嫩
272 卡利塔航空 Kalitta Air K4 CKS 美國
279 捷藍(lán)航空 JetBlue Airways B6 JBU 美國-紐約
281 羅馬尼亞航空 Tarom RO ROT 羅馬尼亞
288 香港華民航空公司 Air Hong Kong LD AHK 中國香港
297 臺(tái)灣中華航空公司 China Airlines CI CAL 中國-臺(tái)灣
301 全球航空服務(wù) Global Aviation and Services 5S GAK 利比亞
302 美國 SkyWest 航空公司 Sky West Airlines OO SKW 美國
307 圣圖倫貨運(yùn)航空 Centurion Air Cargo WE CWC 美國
312 印地高航空 IndiGo CarGo 6E 印度
317 聯(lián)盟航空公司 Alliance Airlines 3A AFJ 美國
318 冰島亞特蘭大航空 Air Atlanta Icelandic CC ABD 冰島
321 德國星光航空公司 Starlight Airlines QP 德國
324 山東航空 Shandong Airlines Co.,Ltd. SC CDG 中國-濟(jì)南
328 挪威航空 Norwegian Air Shuttle DY NAX 挪威-奧斯陸
331 SATA航空 SATA INTERNATIONAL S4 RZO 圣米格爾
345 北方貨運(yùn)航空公司 Northern Air Cargo NC NAC 美國
355 郵件空運(yùn)航空 Estafeta Carga Aerea E7 ESF 墨西哥
356 盧森堡國際貨運(yùn)航空公司 Cargolux Italia C8 ESF 盧森堡
369 美國阿特拉斯航空公司 Atlas Air, Inc. 5Y GTI 美國
370 跨地中海航空公司 Trans Mediterranean Airways TL TMA 摩爾多瓦
378 開曼航空 Cayman Airways KX CAY 開曼群島
390 希臘愛琴海航空 Aegean Airlines A3 AEE 希臘-雅典
403 極地航空貨運(yùn)全球有限公司 Polar Air Cargo PO PAC 美國-紐約州-帕切斯
406 聯(lián)合包裹航空公司 United Parcel Service 5X UPS 美國
416 National航空 National Air Cargo N8 NCR 美國
417 中南美空運(yùn) Bringer Air Cargo E6 BRC 巴西
421 西伯利亞航空公司 Siberia Airlines S7 SBI 俄羅斯-莫斯科
423 敦豪航空公司 DHL Aviation/DHL Airways ER DHL 德國北萊茵
463 阿塞拜疆絲綢之路 Silk Way Airlines ZP AZQ 阿塞拜疆
465 阿斯塔納航空公司 Air Astana KC 哈薩克斯坦-阿斯塔納
474 加那利航空公司 BinterSwift Cargo NT IBB 加那利群島
479 深圳航空公司 Shenzhen Airlines ZH CSZ
485 Astral航空 Astral Aviation 8V ACP 肯尼亞
489 噴氣貨運(yùn)航空公司 Cargojet Airways W8 CJT 加拿大
501 絲綢之路航空 Silk Way West Airlines 7L 阿塞拜疆巴庫
507 俄羅斯航空 Aeroflot Russian Airlines SU AFL 俄羅斯
512 約旦皇家航空 Royal Jordanian RJ RJA 約旦-安曼
514 阿拉伯航空 Air Arabia G9 ABY 阿拉伯聯(lián)合酋長(zhǎng)國沙迦
519 尼泊爾航空公司 Nepal Airlines RA KTM 尼泊爾
524 澳大利亞航空快遞公司 Australian air Express XM JLJ 日本
525 臺(tái)灣立榮航空 EVA Airways B7 UIA 中國-臺(tái)灣
526 美國西南航空公司 Southwest Airlines WN SWA 美國-達(dá)拉斯
549 巴西 ABSA 航空公司 ABSA Aerolinhas Brasileiras M3 TUS 巴西-坎皮納斯
552 Mario\’s航空公司 Mario\’s Air M2 佛羅里達(dá)州
555 俄羅斯航空公司 Aeroflot Russian Airlines SU AFL 俄羅斯-莫斯科
566 烏克蘭國際航空公司 Ukraine International Airlines PS AUI 烏克蘭-基輔
572 摩爾多瓦航空公司 Air Moldova 9U MLD 摩爾多瓦基希訥烏
574 聯(lián)盟航空 Allied Air AJK 尼日利亞-拉各斯
575 英國 Coyne Air公司 Coyne Air 7C COY 英國
576 Skylease航空 Skylease Cargo KY
578 泰國東方航空 Orient Thai Airlines OX OEA 泰國
580 俄羅斯空橋貨運(yùn)航空公司 Airbridge cargo RU ABW 俄羅斯
589 印度杰特航空公司 Jet Airways (India) Limited 9W JAI 印度
603 斯里蘭卡航空公司 SriLankan Airlines Limited UL ALK 斯里蘭卡-科倫坡
607 阿聯(lián)酋阿提哈德航空公司 Etihad cristal cargo EY ETD 阿聯(lián)酋-阿布扎比
615 DHL航空 DHL Aviation GL GRL 德國
618 新加坡航空公司 Singapore Airlines SQ SIA 新加坡
623 保加利亞航空 Bulgaria Air FB LZB 保加利亞
624 巴西天馬航空 Pegasus Cargo PC 巴西
629 新加坡航空公司 Silk Air MI 新加坡
630 托馬斯庫克航空 Thomas Cook Airlines Scandinavia DK VKG 丹麥-哥本哈根
631 格陵蘭航空公司 Air Greenland GL GRL 丹麥-努克
635 也門航空 Yemenia Airlines IY IYE 也門
642 墨西哥航空貨運(yùn) Aeroméxico Cargo QO 墨西哥
643 馬耳他航空 Air Malta KM AMC 馬耳他 -魯卡
644 Solar Cargo航空 Solar Cargo
649 越洋航空 Air Transat TS TSC 加拿大
656 新幾內(nèi)亞航空 Air Niugini PX ANG
657 波羅的海航空 Air Baltic BT BTI 拉脫維亞-里加
670 香港空運(yùn)貨站有限公司 UO
672 文萊航空公司 Royal Brunei Airlines BI RBA 文萊 -斯里巴加灣
673 地中海航空公司 TMA Trans Mediterranean Airways N2
675 澳門航空有限公司 Air Macau Company Limited NX AMU 中國-澳門
687 阿羅哈航空貨運(yùn) Aloha Air Cargo KH AAH 美國
695 臺(tái)灣長(zhǎng)榮航空 EVA Airways BR EVA 中國-臺(tái)灣
700 中國貨運(yùn)航空 C.A.L. Cargo Airlines Ltd. 5C CAL 中國-上海
706 肯尼亞航空公司 Kendell Airlines KQ KQA 肯尼亞-內(nèi)羅畢
710 阿班航空 Aban Air K5 ABE 伊朗
711 Movie Reviews Movie Reviews MR
716 土耳其 MNB 航空公司 MNG Cargo Airlines MB MNB 土耳其
723 墨西哥聯(lián)運(yùn)航空公司 Aeroméxico Cargo QO 墨西哥
724 瑞士國際航空公司 Swiss International Air Lines LX SWR 瑞士-巴塞爾
729 坦帕航空貨運(yùn) Tampa Cargo QT TPA 比利時(shí)
730 德國航空貨運(yùn) ACG Air Cargo Germany 6U ACG 德國-哈恩
731 廈門航空公司 XiaMen Airlines MF CXA 中國-廈門
738 越南國家航空公司 Vietnam Airlines VN HVN 越南河內(nèi)
745 柏林航空 Air Berlin AB BER
749 南非支線航空公司 SA Airlink Airlines 4Z LNK
754 途易航空 Jetairfly TB TUB 比利時(shí)
756 比利時(shí) TNT航空公司 TNT Airways 3V TAY 比利時(shí)-列日
757 Avient Avient Z3 SMJ
767 大西洋航空 Atlantic Airways RC FLI 丹麥
771 阿塞拜疆航空公司 Azerbaijan Airlines J2 AHY 阿塞拜疆-巴庫
774 上海航空公司 Shanghai Airlines FM CSH 中國-上海
775 森帕蒂航空公司 spiceJet SG
781 中國東方航空公司 China Eastern Airlines MU CES 中國-上海
784 中國南方航空公司 China Southern Airlines CZ CSN 中國-廣州
790 馬斯航空 MASAir 1A Leaderjet 墨西哥
800 銀河國際貨運(yùn)航空有限公司 Grandstar Cargo GD GSC 中國-天津
803 華信航空公司 Mandarin Airlines AE MDA 中國-臺(tái)灣
807 亞洲航空公司 AirAsia Berhad AK AXM 馬來西亞-吉隆坡
810 美國噴氣國際公司 Amerijet International M6 AJT 美國
827 魯斯航空公司 RUS Aviation R4 立陶宛
831 克羅的亞航空 Croatia Airlines OU CTN 克羅的亞
843 亞洲航空 AirAsia D7 KUL 馬來西亞
851 香港航空 Hong Kong Airways HX CRK 香港
858 西非航空公司 Africa West FK WTA 英國
862 美國達(dá)美航空公司 Atlantic Southeast Airlines EV CAA 美國-亞特蘭大
865 墨西哥麥斯航空 MASAir MY MWA 墨西哥-墨西哥
870 烏克蘭空中世界航空公司 Aerosvit Airlines VV AEW 烏克蘭-基輔
871 揚(yáng)子江快運(yùn)航空有限公司 Yangtze River Express Co. Ltd Y8 YZR 中國-上海
876 四川航空 Sichuan Airlines Co.,Ltd. 3U CSC 中國-成都
880 海南航空公司 Hainan Airlines HU CHH 中國-?？?
886 美國 Comair 航空公司 Comair OH COM 美國
900 馬爾代夫航空 Air Maldives L6 AMI 馬爾代夫
901 玻利維亞航空 TAB Transportes Aereos Bolivianos B1 BOL 玻利維亞
907 皇家航空 Air Armenia QN ARR 亞美尼亞
910 阿曼航空公司 Oman Air WY OAS 馬斯喀特
932 英國維珍航空公司 Virgin Atlantic Airways Limited VS VIR 英國-倫敦
933 日本貨運(yùn)航空公司 Nippon Cargo Airlines KZ NCA 日本-東京
946 Vensecar國際航空 Vensecar V4 VEC 委內(nèi)瑞拉
947 危地馬拉DHL DHL de Guatemala L3 JOS 危地馬拉
950 CHAMP-Test XS
957 巴西塔姆航空公司 TAM Linhas Aereas JJ TAM 巴西
958 Insel Air Cargo Insel Air Cargo 7I INC 庫拉索島
960 愛沙尼亞航空 Estonian Air OV ELL 愛沙尼亞-塔林
976 墨西哥聯(lián)運(yùn)航空 Aeromexpress Cargo QO 墨西哥
988 韓亞航空公司 Asiana Airlines OZ AAR 韓國-首爾
989 長(zhǎng)城航空公司 Great Wall Airlines IJ GWL 中國-上海
991 吉布提航空 Daallo Airlines D3 吉布提
992 巴拿馬 敦豪航空 DHL Aero Expreso D5 DAE 巴拿馬
996 歐洲貨運(yùn)航空公司 Air Europa Cargo UX AEA 西班牙
997 孟加拉航空 Biman Bangladesh BG BBC 孟加拉國-達(dá)卡
999 中國國際貨運(yùn)航空有限公司 Air China International Corporation CA CAO 中國-北京
傳說中的亞特蘭蒂斯究竟在哪里呢？
從希臘神話和柏拉圖的記載可以看出，亞特蘭蒂斯應(yīng)該位于現(xiàn)在直布羅陀海峽附近，最直接的證據(jù)就是大西洋的Atlantic直接源自于亞特蘭蒂斯Atlantis。至于有人說在克里特島、愛琴海上的錫拉島、塞浦路斯島，還有人說在加勒比海，更有甚者是南極洲，這些說法明顯都差距甚遠(yuǎn)。
亞特蘭蒂斯與非洲之眼
根據(jù)柏拉圖描述亞特蘭蒂斯的樣子：中央是圓形陸地，向往有三層的環(huán)形運(yùn)河，一圈陸地隔一圈水。位于西非毛里塔尼亞的非洲之眼，也被稱為撒哈拉之眼，其環(huán)狀結(jié)構(gòu)與柏拉圖描述的亞特蘭蒂斯的結(jié)構(gòu)幾乎一模一樣。亞特蘭蒂斯島的正中心有一個(gè)小山，非洲之眼的中心恰好有一個(gè)60米左右的小山丘，但只是形似不能證明非洲之眼就是亞特蘭蒂斯。以下證據(jù)能否證明非洲之眼就是亞特蘭蒂斯呢？
位于毛里塔尼亞的非洲之眼
1、地理位置相符
柏拉圖說：在赫拉克勒斯石柱的對(duì)面，有一塊被海洋包圍著的大島，這就是亞特蘭蒂斯王國。這個(gè)大島說的顯然不是歐洲大陸，柏拉圖及古希臘人對(duì)歐洲大陸有相當(dāng)?shù)恼J(rèn)知；那么赫拉克勒斯石柱的對(duì)面，不是非洲大陸就是大西洋里面的某個(gè)島嶼，但至今沒有任何發(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)公共/簡(jiǎn)明測(cè)試語言)是一個(gè)廣泛用于軍事和航空測(cè)試的標(biāo)準(zhǔn)化語言.由IEEE負(fù)責(zé)對(duì)該語言標(biāo)準(zhǔn)進(jìn)行管理維護(hù),許多國家都參加了這個(gè)語言的開發(fā).本文介紹的正是我國開發(fā)的ATLAS編譯器中的語義分析部分.
語義分析是編譯中的重點(diǎn),在語義分析中不僅要進(jìn)行程序的上下文語義一致性的檢查,還要為目標(biāo)代碼生成提供足夠的信息.本文介紹了ATLAS語義分析的實(shí)現(xiàn)方法,并對(duì)ATLAS系統(tǒng)的實(shí)現(xiàn)技術(shù),運(yùn)行環(huán)境的實(shí)現(xiàn)方法進(jìn)行了簡(jiǎn)單的介紹.
對(duì)于ATLAS語義中要求的特殊問題,我們采用了面向?qū)ο蠹夹g(shù)加以實(shí)現(xiàn),并取得了很好的結(jié)果.具體的實(shí)現(xiàn)采用靜態(tài)語義分析和動(dòng)態(tài)語義分析相結(jié)合的方法.本文對(duì)ATLAS系統(tǒng)中的設(shè)備管理系統(tǒng),運(yùn)行環(huán)境系統(tǒng)等也進(jìn)行了簡(jiǎn)單的介紹,為ATLAS系統(tǒng)的進(jìn)一步開發(fā)奠定了基礎(chǔ).
目 錄
第一章 系統(tǒng)簡(jiǎn)介
1.1 ATLAS 系統(tǒng)簡(jiǎn)介
C/ATLAS是全系統(tǒng)公共/簡(jiǎn)明測(cè)試語言(Common / Abbreviated Test Language for All Systems)的縮寫,它是一種功能十分強(qiáng)大的全系統(tǒng)標(biāo)準(zhǔn)測(cè)試語言,在軍事,航空事業(yè)中具有廣泛的應(yīng)用.
20世紀(jì)60年代,ARINC公司為了對(duì)航空器上的電子設(shè)備系統(tǒng)進(jìn)行測(cè)試,主辦開發(fā)了一個(gè)測(cè)試語言ATLAS,當(dāng)時(shí)ATLAS的含義是指Abbreviated Test Language for Avionics Systems .隨后,美國陸軍,海軍,航空部隊(duì)以及北大西洋公約組織也加入到這個(gè)語言的開發(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è)試語言.為了防止語言的日益龐大和不利于維護(hù),該語言由IEEE負(fù)責(zé)發(fā)布相應(yīng)的標(biāo)準(zhǔn),以達(dá)到語言的規(guī)范和統(tǒng)一.參與該標(biāo)準(zhǔn)的主要用戶有美國國防部,德國國防部,法國國防部,英國國防部,瑞典國防部和航空工業(yè)的航空無線電公司等.
二,C/ATLAS具有和測(cè)試設(shè)備無關(guān)的特性,可應(yīng)用于所有的測(cè)試系統(tǒng).用ATLAS語言編寫的程序可以測(cè)試各種儀器設(shè)備,測(cè)試的代碼中不包括任何測(cè)試所采用的硬件信息.也就是說,只要測(cè)試使用的自動(dòng)測(cè)試設(shè)備(ATE)支持ATLAS,便可以不經(jīng)過修改地使用在另外一個(gè)測(cè)試系統(tǒng)中編寫的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īng)用于各種電子類和非電類儀器設(shè)備的測(cè)試,隨著測(cè)試技術(shù)和測(cè)試設(shè)備的不斷發(fā)展,ATLAS語言也在不斷的進(jìn)行修改.在遵循IEEE標(biāo)準(zhǔn)的基礎(chǔ)上,為了方便用戶的使用,ATLAS語言自身提供了一種的擴(kuò)展機(jī)制,以完成由于當(dāng)前標(biāo)準(zhǔn)的限制而不能進(jìn)行的測(cè)試.
ATLAS 語言中不提供測(cè)試硬件信息.用戶使用過程中,ATLAS系統(tǒng)根據(jù)程序中的設(shè)備特征信息,自動(dòng)地進(jìn)行設(shè)備分配并調(diào)用相應(yīng)的硬件操作來完成對(duì)UUT(被測(cè)試單元)的測(cè)試.可以說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è)備的開關(guān)連接通路;此外,ATLAS系統(tǒng)還要在測(cè)試的執(zhí)行過程中,處理測(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ù)字萬用表,示波器等;2)開關(guān)設(shè)備,用于連接ATE外部的陣列接口和ATE內(nèi)部的設(shè)備.3)ATE陣列接口,是ATE的輸出接口,外接測(cè)試使用的適配器.
UUT(unit under test):被測(cè)試單元,即測(cè)試的對(duì)象,在測(cè)試過程中和ATE外部的適配器相連接.
適配器:用于連接ATE和UUT.在測(cè)試過程中,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è)備,可控開關(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編寫的測(cè)試程序,提供調(diào)試環(huán)境,測(cè)試仿真環(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)測(cè)試流程圖
ATLAS 環(huán)境管理程序?qū)y(cè)試使用的設(shè)備描述文件,開關(guān)描述文件,總線描述文件和適配器描述文件轉(zhuǎn)換為內(nèi)部的設(shè)備信息,開關(guān)信息,總線信息和適配器引腳信息.
ATLAS編譯器將測(cè)試程序編譯成可執(zhí)行的目標(biāo)代碼,并交給ATLAS運(yùn)行系統(tǒng)執(zhí)行.在編譯的過程中,ATLAS編譯器根據(jù)系統(tǒng)中的設(shè)備信息,開關(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í)行情況,處理來自測(cè)試設(shè)備的信號(hào)和中斷,管理測(cè)試執(zhí)行的進(jìn)程,并給程序員提供相應(yīng)的調(diào)試環(huán)境.
在執(zhí)行中,ATLAS的運(yùn)行系統(tǒng)調(diào)用設(shè)備DLL庫中的設(shè)備函數(shù)來執(zhí)行測(cè)試.設(shè)備管理系統(tǒng)負(fù)責(zé)添加測(cè)試設(shè)備,修改開關(guān)通路,修改測(cè)試設(shè)備信息,刪除測(cè)試設(shè)備等等.添加和修改一個(gè)設(shè)備則相應(yīng)的修改設(shè)備DLL庫.
ATLAS編譯器根據(jù)源程序中設(shè)備的特征信息,結(jié)合系統(tǒng)內(nèi)部的設(shè)備信息,引腳信息和開關(guān)信息,來查找設(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語言的語義分析部分,給出了ATLAS形式化語義,ATLAS編譯環(huán)境,運(yùn)行環(huán)境,ATLAS的動(dòng)態(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)語義檢查和動(dòng)態(tài)語義檢查的內(nèi)容,并利用屬性文法加以描述
第二章 ATLAS語言
2.1 ATLAS 2000
ATLAS是一個(gè)十分有趣的語言,與一般的過程式語言不同,ATLAS更接近于自然語言.在這個(gè)語言中每一個(gè)語句由動(dòng)詞,名詞和它們的修飾信息組成,一個(gè)ATLAS語句中至少包含一個(gè)動(dòng)詞和一個(gè)名詞[2].
ATLAS2000語句結(jié)構(gòu)如下圖所示:
固定域 分隔符
,
固定域中的標(biāo)志域,用來說明這條語句的含義,如果忽略標(biāo)志說明是一條普通的語句,是注釋語句則標(biāo)志為"C" 或"B",如果是"E"表示可以從標(biāo)志的這條語句開始執(zhí)行測(cè)試,而與前面的測(cè)試無關(guān).
VERB動(dòng)詞,包括ATLAS中的動(dòng)詞和動(dòng)詞修飾詞.動(dòng)詞有:APPLY,DEFINE,DECLARE,REQUIRE,DISCONNECT,REMOVE,DO等.動(dòng)詞的修飾詞用來輔助動(dòng)詞如:"DO ,SIMULTANEOUS" 語句中的SIMULANEOUS,信號(hào)語句中的"THEN RESET"等.
分隔符,在ATLAS中不同的語法成分由分隔符","隔開.
每一條都有一個(gè)終止符"$".
每個(gè)語句的語句剩余部分根據(jù)情況而定.
ATLAS2000結(jié)構(gòu):
ATLAS2000 是一個(gè)有多層結(jié)構(gòu)的語言[4],一個(gè)ATLAS程序由核子原語,語句,模型,TTF和模塊組成.ATLAS核子部分和ATLAS原語構(gòu)成了這個(gè)語言的基礎(chǔ),用戶通過預(yù)定義和這些基本語素來建立測(cè)試項(xiàng)目的需求.模型結(jié)構(gòu)使用戶通過對(duì)底層部件的操作組合,抽象出具有更高層次的結(jié)構(gòu)并對(duì)更復(fù)雜的測(cè)試功能加以描述.TTF(Test Technology Frameworks)測(cè)試技術(shù)框架,ATLAS2000測(cè)試技術(shù)框架包括并定義一些由ATLAS2000基礎(chǔ)組成的特殊的測(cè)試環(huán)境.模塊用來封裝那些可重復(fù)使用的測(cè)試代碼.具體結(jié)構(gòu)如下圖所示:
ATLAS 2000 結(jié)構(gòu)圖
注釋:
ATLAS核子部分(NUCLEUS)定義了ATLAS語言典型的性能和功能.ATLAS核子由形式語法,保留字和規(guī)則三個(gè)部分組成.
ATLAS原語(PRIMITIVES)是描述和說明ATLAS信號(hào),動(dòng)作,屬性和性能必需的元素.這些基本元素不能再分,其中包括名詞,名詞修飾詞,動(dòng)詞,動(dòng)詞修飾詞,操作符以及它們的功能定義.
ATLAS模型(MODELS)是一系列函數(shù)和過程的表示,在ATLAS中,模型用來描述測(cè)試設(shè)備和被測(cè)試單元(UUT)的特征.ATLAS模型是文法元素的描述基礎(chǔ),ATLAS關(guān)鍵字根據(jù)ATLAS2000模型來定義,所有的關(guān)鍵字必須模型化.一旦一個(gè)模型被定義并且成為測(cè)試技術(shù)框架(TTF)的一部分,就可以在ATLAS的語句中作為一個(gè)關(guān)鍵字來使用.
ATLAS的模塊(MODULE)是包含在ATLAS程序中的一個(gè)實(shí)體,可以說它是一個(gè)包含ATLAS過程和非ATLAS過程的容器.在ATLAS中用"INCLUDE"語句來使用模塊.在模塊內(nèi)通過聲明過程的屬性是全局的還是局部的,來決定過程的作用域,全局的過程可以在模塊外使用.在模塊內(nèi)部可使用本模塊定義的所有過程,通過對(duì)其它的模塊進(jìn)行引用聲明,也可使用外部過程.
2.2 ATLAS 語義分析特點(diǎn)
ATLAS語言是用于測(cè)試的標(biāo)準(zhǔn)語言.盡管在ATLAS語言中沒有關(guān)于測(cè)試設(shè)備硬件的具體信息,如設(shè)備的物理地址,設(shè)備驅(qū)動(dòng)程序和設(shè)備的操作函數(shù)等,但是ATLAS提供了描述設(shè)備特征的原語和模型[1][3],其中包括:名詞,動(dòng)詞,修飾詞,連接和信號(hào)保留字等.ATLAS編譯器正是根據(jù)在ATLAS程序中的由這些原語和模型組成的信息,來自動(dòng)地完成設(shè)備查找,設(shè)備分配,去配和操作.
和常見的程序語言相比,ATLAS最大的特點(diǎn)就是包括了一些與測(cè)試設(shè)備或被測(cè)單元相關(guān)的信息和語句[1],而對(duì)測(cè)試設(shè)備進(jìn)行操作也就是ATLAS語義的重要部分.現(xiàn)在我們來對(duì)比一個(gè)非ATLAS語言和ATLAS語言是如何編寫測(cè)試程序的.
我們從C語言的測(cè)試程序和ATLAS語言編寫的同樣功能的程序進(jìn)行一下對(duì)比.
例:將一個(gè)電壓是28v的直流電源連接到被測(cè)試設(shè)備(UUT)上.
實(shí)現(xiàn):
用C語言編寫測(cè)試程序的具體操作步驟是:首先將要使用的電源連接到測(cè)試系統(tǒng)上,將電源到UUT的開關(guān)置為連接,然后設(shè)置電源電壓為28V,接下來檢查電源的輸出電壓是否是28V,工作電流是否小于1A,如果滿足條件則允許該電源工作.
在ATLAS中,通過一條簡(jiǎn)單的語句就可以完成了這些操作,在ATLAS程序中不需要指出要使用哪一個(gè)電源,我們可以看出ATLAS和C語言的不同之處.在C的程序中由測(cè)試員指定要使用的電源并連接這個(gè)電源的使用的開關(guān)這樣來完成測(cè)試,在ATLAS這些工作中則由編譯器自動(dòng)完成.
C語言和ATLAS語言編寫的代碼比較如下:
摘自：softlab.jlu.edu.cn/temp/thesis/2004liulei.doc
關(guān)于《atlas航空公司服務(wù)》的介紹到此就結(jié)束了。
