本發(fā)明涉及通信
技術(shù)領(lǐng)域：
：，尤其涉及一種航天器狀態(tài)的判斷方法及裝置。
背景技術(shù)：
：：近年來(lái)，隨著航天器技術(shù)飛速發(fā)展，航天器的種類以及功能不斷提升。對(duì)航天器控制的準(zhǔn)確度要求也越來(lái)越高。目前，對(duì)航天器的控制通過(guò)地面控制單元向航天器發(fā)送遙控指令，從而使航天器進(jìn)行動(dòng)作。在地面控制單元可以設(shè)置預(yù)測(cè)函數(shù)，根據(jù)遙控指令和預(yù)測(cè)函數(shù)，對(duì)航天器接收到遙控指令后的姿態(tài)進(jìn)行預(yù)測(cè)，以實(shí)現(xiàn)下一階段的遙控指令發(fā)送。但是，根據(jù)預(yù)測(cè)函數(shù)對(duì)航天器接收到遙控指令后的姿態(tài)進(jìn)行預(yù)測(cè)，預(yù)測(cè)后的航天器姿態(tài)與航天器的實(shí)際姿態(tài)會(huì)有誤差，會(huì)導(dǎo)致對(duì)航天器控制的準(zhǔn)確度不高。一些重要事件，包括對(duì)飛行階段重要時(shí)刻的狀態(tài)，例如，點(diǎn)火、關(guān)機(jī)、艙器分離等狀態(tài)出現(xiàn)判斷誤差，會(huì)嚴(yán)重影響航天器的安全性。公開(kāi)于該
背景技術(shù)：
：部分的信息僅僅旨在增加對(duì)本發(fā)明的總體背景的理解，而不應(yīng)當(dāng)被視為承認(rèn)或以任何形式暗示該信息構(gòu)成已為本領(lǐng)域一般技術(shù)人員所公知的現(xiàn)有技術(shù)。技術(shù)實(shí)現(xiàn)要素：有鑒于此，本發(fā)明要解決的技術(shù)問(wèn)題是，如何提供一種航天器狀態(tài)的判斷方法及裝置，能夠精確的對(duì)遙測(cè)數(shù)據(jù)進(jìn)行判斷。為解決以上技術(shù)問(wèn)題，本發(fā)明在第一方面提供一種航天器狀態(tài)的判斷方法，包括：從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式；當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)；輸出所述當(dāng)前飛控狀態(tài)，其中，遙測(cè)值為從遙測(cè)數(shù)據(jù)幀中獲取的航天器參數(shù)采集值。在一種可能的實(shí)現(xiàn)方式中，所述遙測(cè)值包括第一遙測(cè)值和第二遙測(cè)值，所述第一遙測(cè)值與第一判別式對(duì)應(yīng)，所述第二遙測(cè)值與第二判別式對(duì)應(yīng)。在一種可能的實(shí)現(xiàn)方式中，所述當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，包括：當(dāng)所述第一遙測(cè)值滿足所述第一判別式且所述第二遙測(cè)值滿足所述第二第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。在一種可能的實(shí)現(xiàn)方式中，所述從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值包括：從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)所述遙測(cè)值；所述當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，包括：當(dāng)所述多個(gè)遙測(cè)值均滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。在一種可能的實(shí)現(xiàn)方式中，所述從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式包括：從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)第一遙測(cè)值和多個(gè)第二遙測(cè)值，獲取與所述第一遙測(cè)值對(duì)應(yīng)的第一判別式，獲取與所述第二遙測(cè)值對(duì)應(yīng)的第二判別式；所述當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，包括：當(dāng)所述多個(gè)第一遙測(cè)值均滿足與所述第一遙測(cè)值對(duì)應(yīng)的第一判別式且當(dāng)所述多個(gè)第二遙測(cè)值均滿足與所述第二遙測(cè)值對(duì)應(yīng)的第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。本發(fā)明在第二方面提供一種航天器狀態(tài)的判斷裝置，包括：獲取模塊，用于從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式；判斷模塊，用于在所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)；輸出模塊，用于輸出所述當(dāng)前飛控狀態(tài)，其中，遙測(cè)值為從遙測(cè)數(shù)據(jù)幀中獲取的航天器參數(shù)采集值。在一種可能的實(shí)現(xiàn)方式中，所述獲取模塊中獲取的遙測(cè)值包括第一遙測(cè)值和第二遙測(cè)值，所述第一遙測(cè)值與第一判別式對(duì)應(yīng)，所述第二遙測(cè)值與第二判別式對(duì)應(yīng)。在一種可能的實(shí)現(xiàn)方式中，所述判斷模塊還用于，當(dāng)所述第一遙測(cè)值滿足所述第一判別式且所述第二遙測(cè)值滿足所述第二第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。在一種可能的實(shí)現(xiàn)方式中，所述獲取模塊還用于從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)所述遙測(cè)值；所述判斷模塊還用于當(dāng)所述多個(gè)遙測(cè)值均滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。在一種可能的實(shí)現(xiàn)方式中，所述獲取模塊還用于從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)第一遙測(cè)值和多個(gè)第二遙測(cè)值，獲取與所述第一遙測(cè)值對(duì)應(yīng)的第一判別式，獲取與所述第二遙測(cè)值對(duì)應(yīng)的第二判別式；所述判斷模塊還用于，當(dāng)所述多個(gè)第一遙測(cè)值均滿足與所述第一遙測(cè)值對(duì)應(yīng)的第一判別式且當(dāng)所述多個(gè)第二遙測(cè)值均滿足與所述第二遙測(cè)值對(duì)應(yīng)的第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。本發(fā)明實(shí)施例提供的一種根據(jù)遙測(cè)數(shù)據(jù)判斷航天器狀態(tài)的方法及裝置，通過(guò)從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式，當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，輸出所述當(dāng)前飛控狀態(tài)，其中，遙測(cè)值為從遙測(cè)數(shù)據(jù)幀中獲取的航天器參數(shù)采集值。可以實(shí)現(xiàn)通過(guò)航天器遙測(cè)值對(duì)航天器狀態(tài)準(zhǔn)確進(jìn)行判定，提高了航天器狀態(tài)判斷的準(zhǔn)確性以及航天器的安全性。根據(jù)下面參考附圖對(duì)示例性實(shí)施例的詳細(xì)說(shuō)明，本發(fā)明的其它特征及方面將變得清楚。附圖說(shuō)明包含在說(shuō)明書(shū)中并且構(gòu)成說(shuō)明書(shū)的一部分的附圖與說(shuō)明書(shū)一起示出了本發(fā)明的示例性實(shí)施例、特征和方面，并且用于解釋本發(fā)明的原理。圖1示出本發(fā)明的一實(shí)施例提供的航天器狀態(tài)的判斷方法的流程圖；圖2示出本發(fā)明的又一實(shí)施例提供的航天器狀態(tài)的判斷方法的流程圖；圖3示出本發(fā)明的又一實(shí)施例提供的航天器狀態(tài)的判斷方法的流程圖；圖4為單個(gè)確定性有限狀態(tài)自動(dòng)機(jī)的狀態(tài)轉(zhuǎn)換圖；圖5為多個(gè)確定性有限狀態(tài)自動(dòng)機(jī)的協(xié)同比判狀態(tài)圖；圖6示出本發(fā)明的一實(shí)施例提供的航天器狀態(tài)的判斷裝置的結(jié)構(gòu)示意圖。具體實(shí)施方式下面結(jié)合附圖，對(duì)本發(fā)明的具體實(shí)施方式進(jìn)行詳細(xì)描述，但應(yīng)當(dāng)理解本發(fā)明的保護(hù)范圍并不受具體實(shí)施方式的限制。為使本發(fā)明實(shí)施例的目的、技術(shù)方案和優(yōu)點(diǎn)更加清楚，下面將結(jié)合本發(fā)明實(shí)施例中的附圖，對(duì)本發(fā)明實(shí)施例中的技術(shù)方案進(jìn)行清楚、完整地描述，顯然，所描述的實(shí)施例是本發(fā)明一部分實(shí)施例，而不是全部的實(shí)施例。基于本發(fā)明中的實(shí)施例，本領(lǐng)域普通技術(shù)人員在沒(méi)有作出創(chuàng)造性勞動(dòng)前提下所獲得的所有其他實(shí)施例，都屬于本發(fā)明保護(hù)的范圍。除非另有其它明確表示，否則在整個(gè)說(shuō)明書(shū)和權(quán)利要求書(shū)中，術(shù)語(yǔ)“包括”或其變換如“包含”或“包括有”等等將被理解為包括所陳述的元件或組成部分，而并未排除其它元件或其它組成部分。在這里專用的詞“示例性”意為“用作例子、實(shí)施例或說(shuō)明性”。這里作為“示例性”所說(shuō)明的任何實(shí)施例不必解釋為優(yōu)于或好于其它實(shí)施例。另外，為了更好的說(shuō)明本發(fā)明，在下文的具體實(shí)施方式中給出了眾多的具體細(xì)節(jié)。本領(lǐng)域技術(shù)人員應(yīng)當(dāng)理解，沒(méi)有某些具體細(xì)節(jié)，本發(fā)明同樣可以實(shí)施。在一些實(shí)例中，對(duì)于本領(lǐng)域技術(shù)人員熟知的方法、手段、元件未作詳細(xì)描述，以便于凸顯本發(fā)明的主旨。實(shí)施例1圖1示出本發(fā)明的一實(shí)施例提供的航天器狀態(tài)的判斷方法的流程圖，如圖1所示，該方法包括：步驟S1，從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式；步驟S2，當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)；步驟S3，輸出所述當(dāng)前飛控狀態(tài)，其中，遙測(cè)值為從遙測(cè)數(shù)據(jù)幀中獲取的航天器參數(shù)采集值。具體地，遙測(cè)數(shù)據(jù)是地面控制中心接收到的反映航天器的狀態(tài)的實(shí)時(shí)數(shù)據(jù)。目前國(guó)際上遙測(cè)數(shù)據(jù)下傳的通行做法是：星上采集的遙測(cè)數(shù)據(jù)一般先打包為一定格式固定長(zhǎng)度的數(shù)據(jù)塊，然后經(jīng)過(guò)通信信道下傳，地面遙測(cè)軟件需要處理的數(shù)據(jù)一般與星上打包的數(shù)據(jù)塊相對(duì)應(yīng)，有時(shí)為了描述處理的方便，也會(huì)將星上下傳的格式較復(fù)雜數(shù)據(jù)預(yù)處理成格式較規(guī)范的數(shù)據(jù)塊，這里將這些數(shù)據(jù)塊定義為遙測(cè)幀。具體地，從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值指的是，對(duì)接收到的下行遙測(cè)幀進(jìn)行處理，得到可以反映航天器運(yùn)行中某一參數(shù)的采集值，例如電壓值。由此，通過(guò)從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式，當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，輸出所述當(dāng)前飛控狀態(tài)，其中，遙測(cè)值為從遙測(cè)數(shù)據(jù)幀中獲取的航天器參數(shù)采集值?？梢詫?shí)現(xiàn)通過(guò)航天器遙測(cè)值對(duì)航天器狀態(tài)準(zhǔn)確進(jìn)行判定。進(jìn)一步地，所述遙測(cè)值可以包括第一遙測(cè)值和第二遙測(cè)值，所述第一遙測(cè)值與第一判別式對(duì)應(yīng)，所述第二遙測(cè)值與第二判別式對(duì)應(yīng)。相應(yīng)的，所述當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，可以包括：當(dāng)所述第一遙測(cè)值滿足所述第一判別式且所述第二遙測(cè)值滿足所述第二第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。具體地，遙測(cè)值通過(guò)判別式進(jìn)行判定。例如，第一遙測(cè)值A(chǔ)1和第二遙測(cè)值A(chǔ)2是電壓值，判別式為A1＝3，A2＝5。對(duì)獲取到的A1進(jìn)行判斷，若A1的值為3且A2的值為5，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，當(dāng)前狀態(tài)需要A1和A2共同確定，則輸出所述當(dāng)前飛控狀態(tài)。由此，通過(guò)遙測(cè)值包括第一遙測(cè)值和第二遙測(cè)值，所述第一遙測(cè)值與第一判別式對(duì)應(yīng)，所述第二遙測(cè)值與第二判別式對(duì)應(yīng)。當(dāng)所述第一遙測(cè)值滿足所述第一判別式且所述第二遙測(cè)值滿足所述第二第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)?？梢詫?shí)現(xiàn)通過(guò)航天器遙測(cè)值對(duì)航天器狀態(tài)準(zhǔn)確進(jìn)行判定，提高了航天器狀態(tài)判斷的準(zhǔn)確性以及航天器的安全性。實(shí)施例2圖2示出本發(fā)明的又一實(shí)施例提供的航天器狀態(tài)的判斷方法的流程圖，在圖2中與圖1采用相同附圖標(biāo)記的步驟，均與圖1適用于相同的文字說(shuō)明，在此不再贅述。本實(shí)施例中，步驟S1中，從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值包括：步驟S101，從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)所述遙測(cè)值；步驟S2，當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，包括：步驟S102，當(dāng)所述多個(gè)遙測(cè)值均滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。由此，通過(guò)對(duì)從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)所述遙測(cè)值進(jìn)行判定，可以避免遙測(cè)幀傳輸過(guò)程中的跳變，造成漏判或誤判，提高了對(duì)航天器重要事件判斷的準(zhǔn)確性。實(shí)施例3圖3示出本發(fā)明的又一實(shí)施例提供的航天器狀態(tài)的判斷方法的流程圖，在圖3中與圖1采用相同附圖標(biāo)記的步驟，均與圖1適用于相同的文字說(shuō)明，在此不再贅述。實(shí)施例一中，所述步驟S1從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式包括：步驟S301，從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)第一遙測(cè)值和多個(gè)第二遙測(cè)值，獲取與所述第一遙測(cè)值對(duì)應(yīng)的第一判別式，獲取與所述第二遙測(cè)值對(duì)應(yīng)的第二判別式。實(shí)施例一中，所述步驟S2當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，包括：步驟S302，當(dāng)所述多個(gè)第一遙測(cè)值均滿足與所述第一遙測(cè)值對(duì)應(yīng)的第一判別式且當(dāng)所述多個(gè)第二遙測(cè)值均滿足與所述第二遙測(cè)值對(duì)應(yīng)的第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。需要說(shuō)明的是，一個(gè)判據(jù)可以對(duì)應(yīng)多個(gè)判別式，并不限于第一判別式和第二判別式。具體地，上述的判斷過(guò)程可以通過(guò)確定性有限狀態(tài)自動(dòng)機(jī)(deterministicfiniteautomaton；簡(jiǎn)稱：DFA)來(lái)實(shí)現(xiàn)。確定性有限狀態(tài)自動(dòng)機(jī)用于描述一條規(guī)則產(chǎn)生式的推理過(guò)程。滿足這個(gè)條件，即遷移發(fā)生，將轉(zhuǎn)移到相應(yīng)的狀態(tài)，這個(gè)狀態(tài)即表示此條件滿足，可以進(jìn)行下一步推理。如果一條規(guī)則需要有多個(gè)條件同時(shí)滿足才觸發(fā)，那么多個(gè)條件則對(duì)應(yīng)多個(gè)遷移。這些遷移都完成，則表明對(duì)應(yīng)的所有條件都滿足，進(jìn)入終止?fàn)顟B(tài)，此狀態(tài)即代表推理結(jié)束。借助DFA的定義，就可以歸納出產(chǎn)生式推理到有限狀態(tài)自動(dòng)機(jī)的映射關(guān)系。①產(chǎn)生式推理有一個(gè)開(kāi)始狀態(tài)，表示系統(tǒng)準(zhǔn)備就緒，可以開(kāi)始接收條件進(jìn)行推理，這對(duì)應(yīng)的就是DFA的初始狀態(tài)。②產(chǎn)生式的推理過(guò)程是接收條件的過(guò)程，接收到之前已經(jīng)接收過(guò)的條件或接收到與之前條件無(wú)規(guī)則關(guān)聯(lián)的條件，則推理原地等待。在原狀態(tài)上構(gòu)造一個(gè)自轉(zhuǎn)移，使得自動(dòng)機(jī)仍然在當(dāng)前狀態(tài)。③產(chǎn)生式推理的結(jié)束是某個(gè)規(guī)則的觸發(fā)。在DFA中，推理結(jié)束則轉(zhuǎn)移到終止?fàn)顟B(tài)。在終止?fàn)顟B(tài)之前的狀態(tài)遷移序列，就是某一規(guī)則中的所有條件的滿足過(guò)程。判據(jù)可以通過(guò)判據(jù)表達(dá)式的形式來(lái)體現(xiàn)。通常情況下判據(jù)表達(dá)式為一個(gè)以判別式為計(jì)算對(duì)象的邏輯表達(dá)式一個(gè)飛控狀態(tài)可以存在多組判據(jù)表達(dá)式，各組判據(jù)表達(dá)式之間獨(dú)立判斷，各組判據(jù)表達(dá)式之間是或的關(guān)系，即任何一組判據(jù)表達(dá)式滿足，則判定該飛控狀態(tài)發(fā)生。例如，判別式A：TMN001＝＝1；判別式B：TMN002＝＝0；判別式C：TMN003＝＝3；判據(jù)表達(dá)式為：A&&B&&C。圖4為單個(gè)確定性有限狀態(tài)自動(dòng)機(jī)的狀態(tài)轉(zhuǎn)換圖，圖5為多個(gè)確定性有限狀態(tài)自動(dòng)機(jī)的協(xié)同比判狀態(tài)圖，請(qǐng)參閱圖4、圖5，判定的具體流程為：為每個(gè)判別式分別一個(gè)確定性有限狀態(tài)自動(dòng)機(jī)，分配后該確定性有限狀態(tài)自動(dòng)機(jī)為初態(tài)。假設(shè)獲取連續(xù)3個(gè)第一遙測(cè)值的情況下，當(dāng)?shù)谝贿b測(cè)值TMN001為1時(shí)，確定性有限狀態(tài)自動(dòng)機(jī)變?yōu)橹虚g態(tài)，取下一第一遙測(cè)值，當(dāng)下一第一遙測(cè)值為1時(shí)確定性有限狀態(tài)自動(dòng)機(jī)保持中間態(tài)。獲取再下一第一遙測(cè)值，若連續(xù)三個(gè)第一遙測(cè)值都為1，則確定性有限狀態(tài)自動(dòng)機(jī)變?yōu)榻K態(tài)。若確定性有限狀態(tài)自動(dòng)機(jī)變?yōu)橹虚g態(tài)時(shí)，下一第一遙測(cè)值不為1，則確定性有限狀態(tài)自動(dòng)機(jī)變?yōu)槌鯌B(tài)。當(dāng)?shù)诙b測(cè)值TMN002為0時(shí)，確定性有限狀態(tài)自動(dòng)機(jī)變?yōu)橹虚g態(tài)，取下一第二遙測(cè)值，當(dāng)下一第二遙測(cè)值為0時(shí)確定性有限狀態(tài)自動(dòng)機(jī)保持中間態(tài)。獲取再下一第二遙測(cè)值，若連續(xù)三個(gè)第二遙測(cè)值都為0，則確定性有限狀態(tài)自動(dòng)機(jī)變?yōu)榻K態(tài)。當(dāng)?shù)谌b測(cè)值TMN003為3時(shí)，確定性有限狀態(tài)自動(dòng)機(jī)變?yōu)橹虚g態(tài)，取下一第二遙測(cè)值，當(dāng)下一第二遙測(cè)值為3時(shí)確定性有限狀態(tài)自動(dòng)機(jī)保持中間態(tài)。獲取再下一第二遙測(cè)值，若連續(xù)三個(gè)第二遙測(cè)值都為3，則確定性有限狀態(tài)自動(dòng)機(jī)變?yōu)榻K態(tài)。此時(shí)，滿足判據(jù)表達(dá)式A&&B&&C，因此可以輸出當(dāng)前飛控狀態(tài)。每個(gè)飛控狀態(tài)依次處理每個(gè)判據(jù)，每個(gè)判據(jù)依次處理每個(gè)判別式，一個(gè)判別式對(duì)應(yīng)一個(gè)有限狀態(tài)自動(dòng)機(jī)。當(dāng)有一個(gè)判別式自動(dòng)機(jī)變?yōu)榻K態(tài)時(shí)，計(jì)算判據(jù)表達(dá)式結(jié)果。若判據(jù)腳本滿足，則飛控狀態(tài)判出。由此，本實(shí)施例中，通過(guò)單個(gè)確定性有限狀態(tài)自動(dòng)機(jī)獨(dú)立完成判斷邏輯，可以實(shí)現(xiàn)較準(zhǔn)確實(shí)現(xiàn)需求，簡(jiǎn)化編碼的復(fù)雜度，并且有效避免了遙測(cè)參數(shù)中的毛刺數(shù)據(jù)對(duì)飛控狀態(tài)判斷的影響?？梢员苊膺b測(cè)幀傳輸過(guò)程中的跳變，造成漏判或誤判，進(jìn)一步提高重要事件判斷的準(zhǔn)確性。實(shí)施例4圖6示出本發(fā)明的一實(shí)施例提供的航天器狀態(tài)的判斷裝置的結(jié)構(gòu)示意圖，如圖5所示，該裝置包括：獲取模塊110、判斷模塊120、輸出模塊130。獲取模塊110，用于從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式；判斷模塊120，用于在所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)；輸出模塊130，用于輸出所述當(dāng)前飛控狀態(tài)，其中，遙測(cè)值為從遙測(cè)數(shù)據(jù)幀中獲取的航天器參數(shù)采集值。由此，通過(guò)從遙測(cè)數(shù)據(jù)中獲取遙測(cè)值，并獲取與所述遙測(cè)值對(duì)應(yīng)的判別式，當(dāng)所述遙測(cè)值滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)，輸出所述當(dāng)前飛控狀態(tài)，其中，遙測(cè)值為從遙測(cè)數(shù)據(jù)幀中獲取的航天器參數(shù)采集值?？梢詫?shí)現(xiàn)通過(guò)航天器遙測(cè)值對(duì)航天器狀態(tài)準(zhǔn)確進(jìn)行判定。在一種可能的實(shí)現(xiàn)方式中，所述獲取模塊110中獲取的遙測(cè)值包括第一遙測(cè)值和第二遙測(cè)值，所述第一遙測(cè)值與第一判別式對(duì)應(yīng)，所述第二遙測(cè)值與第二判別式對(duì)應(yīng)。在一種可能的實(shí)現(xiàn)方式中，所述判斷模塊120還用于，當(dāng)所述第一遙測(cè)值滿足所述第一判別式且所述第二遙測(cè)值滿足所述第二第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。由此，通過(guò)遙測(cè)值包括第一遙測(cè)值和第二遙測(cè)值，所述第一遙測(cè)值與第一判別式對(duì)應(yīng)，所述第二遙測(cè)值與第二判別式對(duì)應(yīng)。當(dāng)所述第一遙測(cè)值滿足所述第一判別式且所述第二遙測(cè)值滿足所述第二第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)?？梢詫?shí)現(xiàn)通過(guò)航天器遙測(cè)值對(duì)航天器狀態(tài)準(zhǔn)確進(jìn)行判定。在一種可能的實(shí)現(xiàn)方式中，所述獲取模塊110還用于從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)所述遙測(cè)值；所述判斷模塊120還用于當(dāng)所述多個(gè)遙測(cè)值均滿足與所述遙測(cè)值對(duì)應(yīng)的判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。由此，通過(guò)對(duì)從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)所述遙測(cè)值進(jìn)行判定，可以避免遙測(cè)幀傳輸過(guò)程中的跳變，造成漏判或誤判，提高了重要事件判斷的準(zhǔn)確性。在一種可能的實(shí)現(xiàn)方式中，所述獲取模塊110還用于從遙測(cè)數(shù)據(jù)中獲取連續(xù)的多個(gè)第一遙測(cè)值和多個(gè)第二遙測(cè)值，獲取與所述第一遙測(cè)值對(duì)應(yīng)的第一判別式，獲取與所述第二遙測(cè)值對(duì)應(yīng)的第二判別式；所述判斷模塊120還用于，當(dāng)所述多個(gè)第一遙測(cè)值均滿足與所述第一遙測(cè)值對(duì)應(yīng)的第一判別式且當(dāng)所述多個(gè)第二遙測(cè)值均滿足與所述第二遙測(cè)值對(duì)應(yīng)的第二判別式時(shí)，判斷為當(dāng)前飛控狀態(tài)滿足與所述當(dāng)前飛控狀態(tài)對(duì)應(yīng)的判據(jù)。由此，可以實(shí)現(xiàn)較準(zhǔn)確實(shí)現(xiàn)需求，簡(jiǎn)化編碼的復(fù)雜度，并且有效避免了遙測(cè)參數(shù)中的毛刺數(shù)據(jù)對(duì)飛控狀態(tài)判斷的影響?？梢员苊膺b測(cè)幀傳輸過(guò)程中的跳變，造成漏判或誤判，進(jìn)一步提高重要事件判斷的準(zhǔn)確性。實(shí)施例5本實(shí)施例提供一種計(jì)算機(jī)語(yǔ)言，可以用來(lái)實(shí)現(xiàn)實(shí)施例3中的根據(jù)遙測(cè)數(shù)據(jù)判斷航天器狀態(tài)的方法。本實(shí)施例設(shè)計(jì)了航天器遙測(cè)信息描述語(yǔ)言(TDL)，TDL對(duì)遙測(cè)參數(shù)屬性等信息進(jìn)行直觀描述，實(shí)現(xiàn)描述信息與通用遙測(cè)處理框架分離，同時(shí)便于非專業(yè)人員查詢、確認(rèn)與信息共享。TDL語(yǔ)言是描述航天器遙測(cè)信息元素的描述語(yǔ)言，該語(yǔ)言由上下文無(wú)關(guān)文法描述。TDL語(yǔ)言是一種嵌入式語(yǔ)言，不能獨(dú)立運(yùn)行，需要在宿主語(yǔ)言提供的環(huán)境中運(yùn)行，TDL提供了與宿主語(yǔ)言進(jìn)行信息交互的標(biāo)準(zhǔn)機(jī)制，可通過(guò)宿主語(yǔ)言對(duì)TDL進(jìn)行擴(kuò)充。TDL在設(shè)計(jì)時(shí)，借鑒了lua、c/c++、javascript、python和ROOT/CINT的語(yǔ)法和設(shè)計(jì)思想，其中，大部分設(shè)計(jì)思想和語(yǔ)法來(lái)自lua和javascript，刪去了使用不到且可能影響效率的語(yǔ)法，如元表、thread、面向?qū)ο蟮?，增加了描述遙測(cè)信息特有的語(yǔ)法，如整數(shù)子集表達(dá)式。TDL用來(lái)對(duì)所有航天器的遙測(cè)信息進(jìn)行描述，因此TDL的一些語(yǔ)法帶有元語(yǔ)言的特點(diǎn)，在描述特定航天器遙測(cè)信息時(shí)，可以對(duì)TDL進(jìn)行剪裁，也可以進(jìn)行擴(kuò)充。TDL中用到的標(biāo)識(shí)符可以是任何非數(shù)字開(kāi)頭的字母、數(shù)字、下劃線組成的字符串。標(biāo)識(shí)符用來(lái)命名參數(shù)代號(hào)、變量、函數(shù)名稱等。下面的關(guān)鍵字是保留的，不能用作名字：TDL是一個(gè)大小寫(xiě)敏感的語(yǔ)言：and是一個(gè)保留字，但是And和AND則是兩個(gè)不同的合法的名字。一般約定，以下劃線開(kāi)頭連接一串大寫(xiě)字母的名字(比如_VERSION)被保留用于TDL內(nèi)部全局變量。下面這些是其它的符號(hào):字符串既可以用一對(duì)單引號(hào)引起，也可以是雙引號(hào)，里面還可以包含類似C的轉(zhuǎn)義符：'\a'(響鈴)，'\b'(退格)，'\f'(表單)，'\n'(換行)，'\r'(回車(chē))，'\t'(橫向制表)，'\v'(縱向制表)，'\\'(反斜杠)，'\"'(雙引號(hào))，以及'\”(單引號(hào))。而且，如果在一個(gè)反斜杠后跟了一個(gè)真正的換行符，其結(jié)果就是在字符串中產(chǎn)生一個(gè)換行符。還可以用反斜杠加數(shù)字的形式\ddd來(lái)描述一個(gè)字符。這里，ddd是一串最多三位的十進(jìn)制數(shù)字。(注意，如果需要在這種描述方法后接一個(gè)是數(shù)字的字符，那么反斜杠后必須寫(xiě)滿三個(gè)數(shù)字。)TDL中的字符串可以包含任何8位的值。包括用'\0'表示的零。只有在需要把不同的引號(hào)、換行、反斜杠、或是零結(jié)束符這些字符置入字符串時(shí)，才必須使用轉(zhuǎn)義符。別的任何字符都可以直接寫(xiě)在文本里。數(shù)字常量可以分兩部分寫(xiě)，十進(jìn)制底數(shù)部分和十進(jìn)制的指數(shù)部分。指數(shù)部分是可選的。TDL也支持十六進(jìn)制整數(shù)常量，只需要在前面加上前綴0x。下面是一些合法的數(shù)字常量的例子：33.03.1416314.16e-20.31416E10xff0x56注釋可以在除字符串內(nèi)的任何地方是以兩橫(--)開(kāi)始。如果跟在兩橫后面的不是“[[”，這就是一個(gè)短注釋，它的作用范圍直到行末；否則就是一個(gè)長(zhǎng)注釋，其作用范圍直到遇到“]]”。TDL是一種動(dòng)態(tài)類型語(yǔ)言。變量沒(méi)有類型，值才有類型。語(yǔ)言中不存在類型定義語(yǔ)句。而所有的值本身攜帶它們自己的類型信息，值在做運(yùn)算時(shí)，會(huì)進(jìn)行必要的類型轉(zhuǎn)換。TDL內(nèi)置七種基本類型：nil,boolean,number,string,function,userdata和table。Nil類型只有一種值nil，它的主要用途用于標(biāo)識(shí)和別的任何值的差異；通常，當(dāng)需要描述一個(gè)無(wú)意義的值時(shí)會(huì)用到它。Boolean類型只有兩種值：false和true。nil和false都能導(dǎo)致條件為假；而另外所有的值都被當(dāng)作真。Number表示實(shí)數(shù)(雙精度浮點(diǎn)數(shù))。String表示一串字符的數(shù)組，字符串可以包含任何8位字符，包括零結(jié)束符('\0')。TDL可以調(diào)用(和處理)用TDL寫(xiě)的函數(shù)以及用宿主語(yǔ)言寫(xiě)的函數(shù)。userdata類型用來(lái)將任意C數(shù)據(jù)保存在TDL變量中。這個(gè)類型相當(dāng)于一塊原生的內(nèi)存，除了賦值和相同性判斷，TDL沒(méi)有為之預(yù)定義任何操作。table類型實(shí)現(xiàn)了一個(gè)關(guān)聯(lián)數(shù)組。數(shù)組可以用任何東西(除了nil)做索引，而不限于數(shù)字。table可以以不同類型的值構(gòu)成；它可以包含所有的類型的值(除nil外)。table是TDL中唯一的一種數(shù)據(jù)結(jié)構(gòu)；它可以用來(lái)描述原始的數(shù)組、符號(hào)表、集合、記錄、圖、樹(shù)等等。用于表述記錄時(shí)，TDL使用域名作為索引。跟索引一樣，table每個(gè)域中的值也可以是任何類型(除nil外)。特別的，因?yàn)楹瘮?shù)本身也是值，所以table的域中也可以放函數(shù)。table，function和(full)userdata這些類型的值是所謂的對(duì)象：變量本身并不會(huì)真正的存放它們的值，而只是放了一個(gè)對(duì)對(duì)象的引用。賦值，參數(shù)傳遞，函數(shù)返回，都是對(duì)這些對(duì)象的引用進(jìn)行操作。TDL中有三類變量：全局變量，局部變量，還有table的域。一個(gè)單一的名字可以表示一個(gè)全局變量，也可以表示一個(gè)局部變量(或者是一個(gè)函數(shù)的參數(shù)，這是一種特殊形式的局部變量)：任何變量都被假定為全局變量，除非顯式的以local修飾定義。局部變量有其作用范圍：局部變量可以被定義在它作用范圍中的函數(shù)自由使用。在變量的首次賦值之前，變量的值均為nil。方括號(hào)被用來(lái)對(duì)table作索引：var::＝prefixexp`[′exp`]′所有的全局變量都是放在一個(gè)特定TDLtable中，這個(gè)特定的table叫作environment(環(huán)境)table或者簡(jiǎn)稱為環(huán)境。每個(gè)函數(shù)都有對(duì)一個(gè)環(huán)境的引用，所以一個(gè)函數(shù)中可見(jiàn)的所有全局變量都放在這個(gè)函數(shù)所引用的環(huán)境表(environmenttable)中。當(dāng)一個(gè)函數(shù)被創(chuàng)建出來(lái)，它會(huì)從創(chuàng)建它的函數(shù)中繼承其環(huán)境。TDL支持常見(jiàn)的語(yǔ)句，包括賦值，控制結(jié)構(gòu)，函數(shù)調(diào)用，變量聲明等。語(yǔ)句塊是一列語(yǔ)句段，一個(gè)語(yǔ)句塊可以被顯式的寫(xiě)成一個(gè)單獨(dú)的語(yǔ)句段：stat::＝doblockend顯式的語(yǔ)句塊可以用來(lái)控制變量的作用范圍。顯式的語(yǔ)句塊還可被用來(lái)在另一個(gè)語(yǔ)句塊中插入return或是break。TDL允許多重賦值。因此，賦值的語(yǔ)法定義是等號(hào)左邊放一系列變量，而等號(hào)右邊放一系列的表達(dá)式。兩邊的元素都用逗號(hào)間開(kāi)：stat::＝varlist1`＝′explist1varlist1::＝var{`,′var}explist1::＝exp{`,′exp}在作賦值操作之前，右值會(huì)被對(duì)齊到左邊變量需要的個(gè)數(shù)。如果右值比需要的更多的話，多余的值就被扔掉。如果右值的數(shù)量不夠，將會(huì)按所需擴(kuò)展若干個(gè)nil。如果表達(dá)式列表以一個(gè)函數(shù)調(diào)用結(jié)束，這個(gè)函數(shù)所返回的所有值都會(huì)在對(duì)齊操作之前被置入右值序列中。賦值段首先會(huì)做運(yùn)算完所有的表達(dá)式，然后僅僅做賦值操作。因此，下面這段代碼i＝3i,a[i]＝i+1,20會(huì)把a(bǔ)[3]設(shè)置為20，而不會(huì)影響到a[4]。這是因?yàn)閍[i]中的i在被賦值為4之前就被拿出來(lái)了(那時(shí)是3)。簡(jiǎn)單說(shuō)，這樣一行x,y＝y(tǒng),x可以用來(lái)交換x和y中的值。if、while、以及repeat這些控制結(jié)構(gòu)符合通常的意義，而且也有類似的語(yǔ)法：stat::＝whileexpdoblockendstat::＝repeatblockuntilexpstat::＝ifexpthenblock{elseifexpthenblock}[elseblock]end控制結(jié)構(gòu)中的條件表達(dá)式可以返回任何值。false和nil兩者都被認(rèn)為是假條件。所有不同于nil和false的其它值都被認(rèn)為是真(特別需要注意的是，數(shù)字0和空字符串也被認(rèn)為是真)。在repeat–until循環(huán)中，內(nèi)部語(yǔ)句塊的結(jié)束點(diǎn)不是在until這個(gè)關(guān)鍵字處，它還包括了其后的條件表達(dá)式，條件表達(dá)式中可以使用循環(huán)內(nèi)部語(yǔ)句塊中的定義的局部變量。return被用于從函數(shù)或是語(yǔ)句塊中返回值。函數(shù)和語(yǔ)句塊可以返回不只一個(gè)值，所以return的語(yǔ)法為stat::＝return[explist1]break被用來(lái)結(jié)束while、repeat、或for循環(huán)，它將忽略掉循環(huán)中下面的語(yǔ)句段的運(yùn)行：stat::＝breakbreak跳出最內(nèi)層的循環(huán)。return和break只能被寫(xiě)在一個(gè)語(yǔ)句塊的最后一句。如果需要從語(yǔ)句塊的中間return或是break，可以使用顯式的聲名一個(gè)內(nèi)部語(yǔ)句塊。一般寫(xiě)作doreturnend或是dobreakend。For語(yǔ)句for有兩種形式：一種是數(shù)字形式，一種是一般形式。數(shù)字形式的for循環(huán)，通過(guò)一個(gè)數(shù)學(xué)運(yùn)算不斷的運(yùn)行內(nèi)部的代碼塊。下面是它的語(yǔ)法：stat::＝forName`＝′exp`,′exp[`,′exp]doblockendblock將把name作循環(huán)變量。從第一個(gè)exp開(kāi)始起，直到第二個(gè)exp的值為止，其步長(zhǎng)為第三個(gè)exp。一個(gè)for循環(huán)看起來(lái)是這個(gè)樣子forv＝e1,e2,e3doblockend這等價(jià)于代碼：dolocalvar,limit,step＝tonumber(e1),tonumber(e2),tonumber(e3)ifnot(varandlimitandstep)thenerror()endwhile(step>0andvar<＝limit)or(step<＝0andvar>＝limit)dolocalv＝varblockvar＝var+stependend需要注意的是：1)所有三個(gè)控制表達(dá)式都只被運(yùn)算一次，表達(dá)式的計(jì)算在循環(huán)開(kāi)始之前。這些表達(dá)式的結(jié)果必須是數(shù)字。2)var、limit、以及step都是一些不可見(jiàn)的變量。這里給它們起的名字都僅僅用于解釋方便。3)如果第三個(gè)表達(dá)式(步長(zhǎng))沒(méi)有給出，會(huì)把步長(zhǎng)設(shè)為1。4)可以用break來(lái)退出for循環(huán)。5)循環(huán)變量v是一個(gè)循環(huán)內(nèi)部的局部變量；當(dāng)for循環(huán)結(jié)束后，就不能在使用它。如果需要這個(gè)值，在退出循環(huán)前把它賦給另一個(gè)變量。一般形式的for通過(guò)一個(gè)叫作疊代器(iterators)的函數(shù)工作。每次疊代，疊代器函數(shù)都會(huì)被調(diào)用以產(chǎn)生一個(gè)新的值，當(dāng)這個(gè)值為nil時(shí)，循環(huán)停止。一般形式的for循環(huán)的語(yǔ)法如下：stat::＝fornamelistinexplist1doblockendnamelist::＝Name{`,′N(xiāo)ame}for語(yǔ)句等價(jià)于：forvar_1,···,var_ninexplistdoblockend它等價(jià)于這樣一段代碼：dolocalf,s,var＝explistwhiletruedolocalvar_1,···,var_n＝f(s,var)var＝var_1ifvar＝＝nilthenbreakendblockendend注意以下幾點(diǎn)：1)explist只會(huì)被計(jì)算一次。它返回三個(gè)值，一個(gè)疊代器函數(shù)，一個(gè)狀態(tài)，一個(gè)疊代器的初始值。2)f、s、以及var都是不可見(jiàn)的變量。這里給它們起的名字都只是為了解說(shuō)方便。3)可以使用break來(lái)跳出for循環(huán)。4)循環(huán)變量var_i對(duì)于循環(huán)來(lái)說(shuō)是一個(gè)局部變量；不可以在for循環(huán)結(jié)束后繼續(xù)使用。如果需要保留這些值，那么就在循環(huán)結(jié)束前賦值到別的變量里去。函數(shù)調(diào)用可以被作為一個(gè)語(yǔ)句段執(zhí)行：stat::＝functioncall在這種情況下，所有的返回值都被舍棄。局部變量可以在語(yǔ)句塊中任何地方聲名。聲名可以包含一個(gè)初始化賦值操作：stat::＝localnamelist[`＝′explist1]如果有的話，初始化賦值操作的行為等同于賦值操作。否則，所有的變量將被初始化為nil。這些局部變量的作用范圍從聲明起一直延伸到語(yǔ)句塊末尾。TDL中有這些基本表達(dá)式：exp::＝nil|false|true(常量表達(dá)式)exp::＝Number(數(shù)字常量表達(dá)式)exp::＝String(字符串常量表達(dá)式)exp::＝function(函數(shù)定義表達(dá)式)exp::＝tableconstructor(表構(gòu)造表達(dá)式)exp::＝expbinopexp(二元運(yùn)算表達(dá)式，包括算數(shù)、邏輯等運(yùn)算)exp::＝unopexp(一元運(yùn)算表達(dá)式)prefixexp::＝var|functioncall|`(′exp`)′(變量聲明、函數(shù)定義、括號(hào)表達(dá)式)TDL支持常見(jiàn)的數(shù)學(xué)運(yùn)算操作符：+(加法)，-(減法)，*(乘法)，/(除法)，％(取模)，以及^(冪)；和一元操作-(取負(fù))。如果對(duì)數(shù)字操作，或是可以轉(zhuǎn)換為數(shù)字的字符串，所有這些操作都依賴它通常的含義。冪操作可以對(duì)任何冪值都正常工作。比如，x^(-0.5)將計(jì)算出x的平方根。TDL中的比較操作符有＝＝～＝<><＝>＝這些操作的結(jié)果是邏輯值false或true。等于操作(＝＝)首先比較操作數(shù)的類型。如果類型不同，結(jié)果就是false。否則，繼續(xù)比較值。數(shù)字和字符串都用常規(guī)的方式比較。對(duì)象(table，userdata以及函數(shù))以引用的形式比較：兩個(gè)對(duì)象只有在它們指向同一個(gè)東西則認(rèn)為相等。操作符～＝完全等價(jià)于(＝＝)操作的反值。大小比較操作以以下方式進(jìn)行。如果參數(shù)都是數(shù)字，那么就直接做數(shù)字比較。否則，如果參數(shù)都是字符串，就用字符串比較的方式進(jìn)行。TDL中的邏輯操作符有and,or,以及not。所有的邏輯操作符把false和nil都作為假，而其它的一切認(rèn)作真。取反操作not總是返回false或true中的一個(gè)。與操作符and在第一個(gè)參數(shù)為false或nil時(shí)返回這第一個(gè)參數(shù)；否則，and返回第二個(gè)參數(shù)?；虿僮鞣鹢r在第一個(gè)參數(shù)不為nil也不為false時(shí)，返回這第一個(gè)參數(shù)，否則返回第二個(gè)參數(shù)。and和or都遵循短路規(guī)則；也就是說(shuō)，第二個(gè)操作數(shù)只在需要的時(shí)候去求值。如：取長(zhǎng)度操作符寫(xiě)作一元操作#。字符串的長(zhǎng)度是它的字節(jié)數(shù)(就是以一個(gè)字符一個(gè)字節(jié)計(jì)算的字符串長(zhǎng)度)。tablet的長(zhǎng)度被定義成一個(gè)整數(shù)下標(biāo)n。它滿足t[n]不是nil而t[n+1]為nil；此外，如果t[1]為nil，n就可能是零。對(duì)于常規(guī)的數(shù)組，里面從1到n放著一些非空的值的時(shí)候，它的長(zhǎng)度就精確的為n，即最后一個(gè)值的下標(biāo)。如果數(shù)組有一個(gè)“空洞”(就是說(shuō)，nil值被夾在非空值之間)，那么#t可能是任何一個(gè)是nil值的位置的下標(biāo)(就是說(shuō)，任何一個(gè)nil值都有可能被當(dāng)成數(shù)組的結(jié)束)。TDL中操作符的優(yōu)先級(jí)寫(xiě)在下表中，從低到高優(yōu)先級(jí)排序：通常，可以用括號(hào)來(lái)改變運(yùn)算次序。連接操作符冪操作('^')是從右至左的。其它所有的操作都是從左至右。table構(gòu)造子是一個(gè)構(gòu)造table的表達(dá)式。每次構(gòu)造子被執(zhí)行，都會(huì)構(gòu)造出一個(gè)新的table。構(gòu)造子可以被用來(lái)構(gòu)造一個(gè)空的table，也可以用來(lái)構(gòu)造一個(gè)table并初始化其中的一些域。一般的構(gòu)造子的語(yǔ)法如下tableconstructor::＝`{′[fieldlist]`}′fieldlist::＝field{fieldsepfield}[fieldsep]field::＝`[′exp`]′`＝′exp|Name`＝′exp|expfieldsep::＝`,′|`；′每個(gè)形如[exp1]＝exp2的域向table中增加新的一項(xiàng)，其鍵值為exp1而值為exp2。形如name＝exp的域等價(jià)于["name"]＝exp。最后，形如exp的域等價(jià)于[i]＝exp，這里的i是一個(gè)從1開(kāi)始不斷增長(zhǎng)的數(shù)字。這這個(gè)格式中的其它域不會(huì)破壞其記數(shù)。舉個(gè)例子：a＝{[f(1)]＝g；"x","y"；x＝1,f(x),[30]＝23；45}等價(jià)于如果表單中最后一個(gè)域的形式是exp，而且其表達(dá)式是一個(gè)函數(shù)調(diào)用或者是一個(gè)可變參數(shù)，那么這個(gè)表達(dá)式所有的返回值將連續(xù)的進(jìn)入列表。為了避免這一點(diǎn)，可以用括號(hào)把函數(shù)調(diào)用(或是可變參數(shù))括起來(lái)。TDL中的函數(shù)調(diào)用的語(yǔ)法如下：functioncall::＝prefixexpargs函數(shù)調(diào)用時(shí)，第一步，prefixexp和args先被求值。如果prefixexp的值的類型是function，那么這個(gè)函數(shù)就被用給出的參數(shù)調(diào)用。否則prefixexp的方法"call"就被調(diào)用，第一個(gè)參數(shù)就是prefixexp的值，跟下來(lái)的是原來(lái)的調(diào)用參數(shù)。參數(shù)的語(yǔ)法如下：args::＝`(′[explist1]`)′args::＝tableconstructorargs::＝String所有參數(shù)的表達(dá)式求值都在函數(shù)調(diào)用之前。因?yàn)楸磉_(dá)式語(yǔ)法在TDL中比較自由，所以不能在函數(shù)調(diào)用的'('前換行。這個(gè)限制可以避免語(yǔ)言中的一些歧義。比如這樣寫(xiě)a＝f(g).x(a)TDL將把它當(dāng)作一個(gè)單一語(yǔ)句段，a＝f(g).x(a)。因此，如果想作為成兩個(gè)語(yǔ)句段，必須在它們之間寫(xiě)上一個(gè)分號(hào)。如果真的想調(diào)用f，必須從(g)前移去換行。函數(shù)定義的語(yǔ)法如下：function::＝functionfuncbodyfuncbody::＝`(′[parlist1]`)′blockend一個(gè)函數(shù)定義是可以一個(gè)可執(zhí)行的表達(dá)式，該表達(dá)式執(zhí)行結(jié)果是一個(gè)類型為function的值。當(dāng)TDL預(yù)編譯一個(gè)語(yǔ)句塊的時(shí)候，語(yǔ)句塊作為一個(gè)函數(shù)。形參(函數(shù)定義需要的參數(shù))是一些由實(shí)參(實(shí)際傳入?yún)?shù))的值初始化的局部變量：parlist1::＝namelist[`,′`...′]|`...′當(dāng)一個(gè)函數(shù)被調(diào)用，如果函數(shù)沒(méi)有被定義為接收不定長(zhǎng)參數(shù)，即在形參列表的末尾注明三個(gè)點(diǎn)('...')，那么實(shí)參列表就會(huì)被調(diào)整到形參列表的長(zhǎng)度，變長(zhǎng)參數(shù)函數(shù)不會(huì)調(diào)整實(shí)參列表；取而代之的是，它將把所有額外的參數(shù)放在一起通過(guò)變長(zhǎng)參數(shù)表達(dá)式傳遞給函數(shù)，其寫(xiě)法依舊是三個(gè)點(diǎn)。這個(gè)表達(dá)式的值是一串實(shí)參值的列表，看起來(lái)就跟一個(gè)可以返回多個(gè)結(jié)果的函數(shù)一樣。如果一個(gè)變長(zhǎng)參數(shù)表達(dá)式放在另一個(gè)表達(dá)式中使用，或是放在另一串表達(dá)式的中間，那么它的返回值就會(huì)被調(diào)整為單個(gè)值。若這個(gè)表達(dá)式放在了一系列表達(dá)式的最后一個(gè)，就不會(huì)做調(diào)整了(除非用括號(hào)給括了起來(lái))。先做如下定義，然后再來(lái)看一個(gè)例子：functionf(a,b)endfunctiong(a,b,...)endfunctionr()return1,2,3end下面看看實(shí)參到形參數(shù)以及可變長(zhǎng)參數(shù)的映射關(guān)系：結(jié)果由return來(lái)返回。如果執(zhí)行到函數(shù)末尾依舊沒(méi)有遇到任何return語(yǔ)句，函數(shù)就不會(huì)返回任何結(jié)果。冒號(hào)語(yǔ)法可以用來(lái)定義方法，就是說(shuō)，函數(shù)可以有一個(gè)隱式的形參self。因此，如下寫(xiě)法：functiont.a.b.c:f(params)bodyend等價(jià)于：t.a.b.c.f＝function(self,params)bodyend整數(shù)子集表達(dá)式描述了一個(gè)整數(shù)子集，該表達(dá)式的結(jié)果類型為table，該table的值為整數(shù)，該table的索引為從0開(kāi)始，最大值為(table.length-1)的整型number。該表達(dá)式的語(yǔ)法有3種形式：(1)以‘，’號(hào)分隔的整型表達(dá)式列表，各表達(dá)式從左至右依次遞增。如：2,3,5,6，而3,2,6,5，是非法的表達(dá)式。(2)以‘-’號(hào)連接的兩個(gè)整型表達(dá)式，左側(cè)表達(dá)式值大于右側(cè)，表示從左側(cè)表達(dá)式開(kāi)始到右側(cè)表達(dá)式結(jié)束的閉區(qū)間范圍內(nèi)所有的整數(shù)值均屬于結(jié)果子集的元素。如：2-10，而10-2是非法的表達(dá)式。(3)前兩種表達(dá)式的混合，混合后的表達(dá)式必須滿足從左至右出現(xiàn)的整型表達(dá)式值依次遞增。TDL是一個(gè)有詞法作用范圍的語(yǔ)言。變量的作用范圍開(kāi)始于聲明它們之后的第一個(gè)語(yǔ)句段，結(jié)束于包含這個(gè)聲明的最內(nèi)層語(yǔ)句塊的結(jié)束點(diǎn)?？聪旅孢@些例子：這里，類似localx＝x這樣的聲明，新的x正在被聲明，但是還沒(méi)有進(jìn)入它的作用范圍，所以第二個(gè)x指向的是外面一層的變量。因?yàn)橛羞@樣一個(gè)詞法作用范圍的規(guī)則，所以可以在函數(shù)內(nèi)部自由的定義局部變量并使用它們。當(dāng)一個(gè)局部變量被更內(nèi)層的函數(shù)中使用的時(shí)候，它被內(nèi)層函數(shù)稱作upvalue(上值)，或是外部局部變量。注意，每次執(zhí)行到一個(gè)local語(yǔ)句都會(huì)定義出一個(gè)新的局部變量。看看這樣一個(gè)例子：這個(gè)循環(huán)創(chuàng)建了十個(gè)closure(這指十個(gè)匿名函數(shù)的實(shí)例)。這些closure中的每一個(gè)都使用了不同的y變量，而它們又共享了同一份x。因?yàn)門(mén)DL是一個(gè)嵌入式的擴(kuò)展語(yǔ)言，所有的TDL動(dòng)作都是從宿主程序的代碼調(diào)用TDL庫(kù)中的一個(gè)函數(shù)開(kāi)始的。在TDL編譯或運(yùn)行的任何時(shí)候發(fā)生了錯(cuò)誤，控制權(quán)都會(huì)交還給宿主程序，而宿主程序可以來(lái)做一些恰當(dāng)?shù)拇胧?比如打印出一條錯(cuò)誤信息)。類型為function和userdata的對(duì)象，可以用另外一個(gè)與之關(guān)聯(lián)的被稱作它們的環(huán)境的一個(gè)表，環(huán)境也是一個(gè)常規(guī)的table，多個(gè)對(duì)象可以共享同一個(gè)環(huán)境。userdata的環(huán)境在TDL中沒(méi)有意義。只是為了在程序員想把一個(gè)表關(guān)聯(lián)到一個(gè)userdata上時(shí)提供便利。關(guān)聯(lián)在TDL函數(shù)上的環(huán)境用來(lái)接管在函數(shù)內(nèi)對(duì)全局變量的所有訪問(wèn)。它們也會(huì)作為這個(gè)函數(shù)內(nèi)創(chuàng)建的其它函數(shù)的缺省環(huán)境。可以通過(guò)調(diào)用setfenv來(lái)改變一個(gè)TDL函數(shù)或是正在運(yùn)行中的線程的環(huán)境。TDL使用Lua提供的自動(dòng)內(nèi)存管理。這就是說(shuō)不需要關(guān)心創(chuàng)建新對(duì)象的分配內(nèi)存操作，也不需要在這些對(duì)象不再需要時(shí)的主動(dòng)釋放內(nèi)存。Lua編譯器通過(guò)運(yùn)行一個(gè)垃圾收集器來(lái)自動(dòng)管理內(nèi)存，以此一遍又一遍的回收無(wú)用的對(duì)象(這是指TDL中不再訪問(wèn)的到的對(duì)象)占用的內(nèi)存。TDL中所有對(duì)象都被自動(dòng)管理，包括：table,userdata、函數(shù)、字符串。以下描述了遙測(cè)信息元素及其描述語(yǔ)法，這里描述的元素在描述特定任務(wù)遙測(cè)信息時(shí)可以選用。規(guī)范并未對(duì)特定任務(wù)所有遙測(cè)信息的存儲(chǔ)形式做出約定，推薦采用嵌入式數(shù)據(jù)庫(kù)、xml文檔、excel表等較結(jié)構(gòu)化的格式容納這些信息。TDL定義了一些預(yù)定義變量，在描述特定遙測(cè)信息元素時(shí)，可以直接使用這些預(yù)定義變量。預(yù)定義變量的使用規(guī)范，由語(yǔ)法定義；預(yù)定義變量值的更新，由運(yùn)行環(huán)境保證。_TDL_ORIGINALa)類型：Tableb)說(shuō)明：存儲(chǔ)遙測(cè)幀原碼，索引類型為number，值類型為number，索引起始計(jì)數(shù)為0。例如，取某遙測(cè)幀幀首第一個(gè)字節(jié)的值，可使用表達(dá)式：_TDL_ORIGINAL[0]。_TDL_FRAME_COUNTa)類型：numberb)說(shuō)明：存儲(chǔ)遙測(cè)幀幀計(jì)數(shù)。_TDL_FRAME_IDa)類型：numberb)說(shuō)明：存儲(chǔ)遙測(cè)幀幀格式號(hào)。_TDL_FRAME_SUBIDa)類型：numberb)說(shuō)明：存儲(chǔ)遙測(cè)幀變幀格式號(hào)。{參數(shù)代號(hào)}a)類型：numberb)說(shuō)明：存儲(chǔ)參數(shù)計(jì)算結(jié)果。遙測(cè)幀描述方法目前國(guó)際上遙測(cè)數(shù)據(jù)下傳的通行做法是：星上采集的遙測(cè)數(shù)據(jù)一般先打包為一定格式固定長(zhǎng)度的數(shù)據(jù)塊，然后經(jīng)過(guò)通信信道下傳，地面遙測(cè)軟件需要處理的數(shù)據(jù)一般與星上打包的數(shù)據(jù)塊相對(duì)應(yīng)，有時(shí)為了描述處理的方便，也會(huì)將星上下傳的格式較復(fù)雜數(shù)據(jù)預(yù)處理成格式較規(guī)范的數(shù)據(jù)塊，這里將這些數(shù)據(jù)塊定義為遙測(cè)幀。幀名稱c)類型：stringd)取值：符合TDL標(biāo)識(shí)符定義的字符串，單個(gè)航天器唯一。e)作用：定義標(biāo)識(shí)遙測(cè)幀f)可使用的預(yù)定義變量：無(wú)幀說(shuō)明a)類型：stringb)取值：編碼為GB2312的字符串，長(zhǎng)度限制由具體任務(wù)。c)作用：對(duì)遙測(cè)幀進(jìn)行說(shuō)明。d)可使用的預(yù)定義變量：無(wú)幀格式標(biāo)識(shí)a)類型：number。b)取值：常量算數(shù)表達(dá)式。c)作用：使用數(shù)字標(biāo)識(shí)特定幀，與幀名稱一一對(duì)應(yīng)。d)可使用的預(yù)定義變量：無(wú)變幀格式標(biāo)識(shí)a)類型：number。b)取值：常量表達(dá)式。c)作用：標(biāo)識(shí)特定幀的變幀格式，特定幀內(nèi)唯一。d)可使用的預(yù)定義變量：無(wú)幀計(jì)數(shù)a)類型：number。b)取值：表達(dá)式。c)作用：標(biāo)識(shí)特定幀的變幀格式，特定幀內(nèi)唯一。d)可使用的預(yù)定義變量：_TDL_ORIGINAL起始波道計(jì)數(shù)a)類型：number。b)取值：常量表達(dá)式。c)作用：定義該幀參數(shù)波道計(jì)數(shù)起始值。d)可使用的預(yù)定義變量：無(wú)幀長(zhǎng)度a)類型：number。b)取值：常量表達(dá)式。c)作用：定義該幀長(zhǎng)度，單位為字節(jié)。d)可使用的預(yù)定義變量：無(wú)同步碼a)類型：number。b)取值：table構(gòu)造表達(dá)式，table索引為number型，值為同步碼波道，波道起始計(jì)數(shù)為0，table值為number型，為同步碼值。c)作用：定義該幀同步碼。d)可使用的預(yù)定義變量：無(wú)遙測(cè)參數(shù)描述方法遙測(cè)參數(shù)是遙測(cè)處理的基本單位，與遙測(cè)幀具有集合與元素的關(guān)系。參數(shù)序號(hào)：a)類型：number。b)取值：常量表達(dá)式。c)作用：用數(shù)字形式唯一標(biāo)識(shí)一個(gè)航天器內(nèi)的一個(gè)參數(shù)。d)可使用的預(yù)定義變量：無(wú)參數(shù)代號(hào)a)類型：string。b)取值：編碼為ascii碼的字符串。c)作用：用字符串形式唯一標(biāo)識(shí)一個(gè)航天器內(nèi)的一個(gè)參數(shù)。d)可使用的預(yù)定義變量：無(wú)參數(shù)名稱a)類型：string。b)取值：編碼為GB2312的字符串。c)作用：對(duì)參數(shù)的簡(jiǎn)要說(shuō)明。d)可使用的預(yù)定義變量：無(wú)參數(shù)原碼類型a)類型：string。b)取值：符合預(yù)先定義規(guī)則的字符串集合，如uint8，sint8等，見(jiàn)下表。某些航天器可能會(huì)定義超出下表中定義的碼型，在描述特定航天器時(shí)，可對(duì)下表進(jìn)行擴(kuò)充。c)作用：參數(shù)原碼的碼型。d)可使用的預(yù)定義變量：無(wú)參數(shù)結(jié)果類型：a)類型：string。b)取值：取值范圍與參數(shù)原碼類型相同，但有如下限制：對(duì)于整型數(shù)，只能取uintN和sintN兩種碼型，且N的取值滿足如下條件：N＝8*n；n＝1,2,4,8。c)作用：參數(shù)處理結(jié)果的碼型。d)可使用的預(yù)定義變量：無(wú)參數(shù)波道：a)類型：Table。b)取值：整數(shù)子集表達(dá)式。c)作用：表示參數(shù)波道。d)可使用的預(yù)定義變量：無(wú)參數(shù)位范圍：a)類型：Table。b)取值：整數(shù)子集表達(dá)式。參數(shù)最低位計(jì)數(shù)為0。如果參數(shù)位范圍非空，則位范圍外的其它位在計(jì)算時(shí)清零，位范圍內(nèi)的位保持不變。如果參數(shù)位范圍為空，所以位在計(jì)算時(shí)保持不變。c)作用：表示參數(shù)有效位集合。d)可使用的預(yù)定義變量：無(wú)波道字節(jié)序：a)類型：string。b)取值：“<”表示高字節(jié)在高地址(即低前高后)，”>”表示高字節(jié)在低地址(即高前低后)。為空表示字節(jié)序使用該參數(shù)所在分系統(tǒng)使用的字節(jié)序。c)作用：表示參數(shù)字節(jié)序。d)可使用的預(yù)定義變量：無(wú)參數(shù)系數(shù)表達(dá)式：a)類型：table。b)取值：table構(gòu)造表達(dá)式，該table作為算法表達(dá)式的系數(shù)被傳遞給算法表達(dá)式，因此該table的結(jié)構(gòu)應(yīng)與算法表達(dá)式的邏輯保持一致。c)作用：表示參數(shù)系數(shù)。d)可使用的預(yù)定義變量：無(wú)參數(shù)計(jì)算公式：a)類型：string。b)取值：符合TDL定義的語(yǔ)句塊，在該語(yǔ)句塊中，參數(shù)原碼用“_TDL_ORIN”表示，為number型，參數(shù)系數(shù)用”_TDL_PARAM”表示，為table型，該語(yǔ)句塊由執(zhí)行環(huán)境組裝為T(mén)DL函數(shù)，該函數(shù)有兩個(gè)輸入?yún)?shù)，第一個(gè)參數(shù)為用number型表示的參數(shù)原碼，第二個(gè)參數(shù)為用table型表示的參數(shù)系數(shù)，該函數(shù)結(jié)束時(shí)，返回兩個(gè)number值，第一個(gè)number值為狀態(tài)碼，狀態(tài)碼由具體任務(wù)規(guī)定，第二個(gè)number值為參數(shù)計(jì)算結(jié)果。c)作用：表示參數(shù)計(jì)算公式。d)可使用的預(yù)定義變量：{參數(shù)代號(hào)}參數(shù)范圍表達(dá)式a)類型：string。b)取值：符合TDL定義的語(yǔ)句塊，在該語(yǔ)句塊中，參數(shù)計(jì)算結(jié)果用“_TDL_X”表示，參數(shù)結(jié)果為number型，該語(yǔ)句塊由執(zhí)行環(huán)境組裝為T(mén)DL函數(shù)，該函數(shù)有一個(gè)輸入?yún)?shù)，參數(shù)為用number型表示的參數(shù)結(jié)果，該函數(shù)結(jié)束時(shí)，返回一個(gè)number型值，該number值表示參數(shù)范圍計(jì)算結(jié)果，計(jì)算結(jié)果的具體含義由具體任務(wù)規(guī)定。如：c)作用：表示參數(shù)范圍。d)可使用的預(yù)定義變量：{參數(shù)代號(hào)}前提條件表達(dá)式a)類型：string。b)取值：符合TDL定義的語(yǔ)句塊，該語(yǔ)句塊由執(zhí)行環(huán)境組裝為T(mén)DL函數(shù)，該函數(shù)無(wú)輸入?yún)?shù)，該函數(shù)結(jié)束時(shí)，返回一個(gè)boolean型值，值為false表示參數(shù)不滿足計(jì)算條件，值為true表示參數(shù)滿足計(jì)算條件。c)作用：表示參數(shù)計(jì)算前提條件。d)可使用的預(yù)定義變量：{參數(shù)代號(hào)}航天器狀態(tài)比判描述方法航天器狀態(tài)是根據(jù)遙測(cè)參數(shù)計(jì)算結(jié)果，對(duì)航天器正常狀態(tài)或異常狀態(tài)的判斷結(jié)果。遙測(cè)處理系統(tǒng)的狀態(tài)比判功能一般在航天器狀態(tài)發(fā)生變化時(shí)觸發(fā)其它邏輯。航天器狀態(tài)序號(hào)：a)類型：number。b)取值：常量表達(dá)式。c)作用：唯一標(biāo)識(shí)航天器的一個(gè)狀態(tài)。對(duì)于多個(gè)航天器在飛行過(guò)程中存在信息交互的飛行任務(wù)，可將多個(gè)航天器的狀態(tài)統(tǒng)一排序。d)可使用的預(yù)定義變量：無(wú)連判幀數(shù)：算術(shù)表達(dá)式a)類型：number。b)取值：常量表達(dá)式。c)作用：為提高航天器狀態(tài)判斷的可靠性，可使用該屬性指定狀態(tài)的連判幀數(shù)，只有連續(xù)的若干幀數(shù)據(jù)均滿足狀態(tài)判據(jù)，該狀態(tài)才被認(rèn)為滿足。d)可使用的預(yù)定義變量：無(wú)關(guān)聯(lián)狀態(tài)列表：a)類型：table。b)取值：table構(gòu)造表達(dá)式。Table值為關(guān)聯(lián)關(guān)鍵狀態(tài)序號(hào)，索引為從0開(kāi)始的number型整數(shù)。c)作用：航天器的若干狀態(tài)間存在互斥關(guān)系，即航天器在任意時(shí)刻只能存在其中的一個(gè)狀態(tài)中，這種關(guān)系稱為關(guān)聯(lián)關(guān)系。該列表描述了與該狀態(tài)關(guān)聯(lián)的其它飛行狀態(tài)。d)可使用的預(yù)定義變量：無(wú)判據(jù)表達(dá)式：a)類型：boolean。b)取值：符合TDL定義的語(yǔ)句塊，該語(yǔ)句塊由執(zhí)行環(huán)境組裝為T(mén)DL函數(shù)，該函數(shù)無(wú)輸入?yún)?shù)，該函數(shù)結(jié)束時(shí)，返回一個(gè)boolean型值，值為false表示判據(jù)滿足，值為true表示判據(jù)不滿足。一般情況下，該語(yǔ)句塊為一個(gè)邏輯表達(dá)式，如：(A>0)and(B<0)and(C＝＝1)。一個(gè)航天器狀態(tài)可存在多個(gè)判據(jù)表達(dá)式，這些表達(dá)式相互獨(dú)立，有一個(gè)表達(dá)式滿足即認(rèn)為航天器狀態(tài)發(fā)生。c)作用：描述航天器狀態(tài)判據(jù)。d)可使用的預(yù)定義變量：{參數(shù)代號(hào)}。在表達(dá)式中引用一個(gè)參數(shù)代號(hào)時(shí)，可使用幀范圍限定語(yǔ)法，即使用“.”連接起來(lái)的表達(dá)式。如：引用幀名稱為frame1中的param1，可使用表達(dá)式frame1.param1，frame1和param1必須在系統(tǒng)中已定義，否則，表達(dá)式返回null。判別式：以參數(shù)值為計(jì)算對(duì)象，返回boolean型結(jié)果的表達(dá)式，如“TMN001＝＝1；且連判3幀”。一個(gè)判別式對(duì)應(yīng)一個(gè)有限狀態(tài)自動(dòng)機(jī)，該自動(dòng)機(jī)狀態(tài)Q由RT_State定義如下：其中，enInit為該自動(dòng)機(jī)的初始狀態(tài)q0；{enFull}為該自動(dòng)機(jī)的終止?fàn)顟B(tài)集合F。當(dāng)該自動(dòng)機(jī)處于enFull狀態(tài)下，判別式返回true，其余狀態(tài)返回false。判據(jù)表達(dá)式：符合TDL定義的語(yǔ)句塊，該語(yǔ)句塊由執(zhí)行環(huán)境組裝為T(mén)DL函數(shù)，該函數(shù)無(wú)輸入?yún)?shù)，該函數(shù)結(jié)束時(shí)，返回一個(gè)boolean型值，值為true表示判據(jù)滿足，值為表示判據(jù)不滿足。一般情況下，該語(yǔ)句塊為一個(gè)以判別式為計(jì)算對(duì)象的邏輯表達(dá)式。如:判別式A：TMN001＝＝1；判別式B：TMN002＝＝0；判別式C：TMN003＝＝3；判據(jù)表達(dá)式為：A&&B&&C。飛控狀態(tài)：一個(gè)飛控狀態(tài)可以存在多組判據(jù)，各組判據(jù)之間獨(dú)立判斷，各組判據(jù)之間是或的關(guān)系，即任何一組判據(jù)滿足，則該飛控狀態(tài)即判發(fā)生。2.航天器狀態(tài)比判機(jī)制每個(gè)判別式比判的整個(gè)運(yùn)行過(guò)程作為一個(gè)有限自動(dòng)機(jī)，記為M＝(Q，Σ，δ，q0，F(xiàn))。1)將自動(dòng)機(jī)在其整個(gè)運(yùn)行周期中可能的狀態(tài)作為狀態(tài)集Q(括號(hào)中的字母為其代號(hào))。Q＝{“初始狀態(tài)enInit(q0)”，“部分滿足狀態(tài)enHalf(q1)”，“完全滿足狀態(tài)enFull(q2)”}。2)輸入字母表Σ(括號(hào)中的字母為其代號(hào))Σ＝{遙測(cè)值滿足(a)，遙測(cè)值連續(xù)且滿足(b)，遙測(cè)值不滿足(c)，遙測(cè)值不連續(xù)(d)，幀數(shù)滿足(e)}。3)將“初始狀態(tài)enInit”作為M的初始狀態(tài)即q0＝“初始狀態(tài)enInit”。4)將“完全滿足狀態(tài)enFull”作為M的終止?fàn)顟B(tài)集.即F＝{“完全滿足狀態(tài)enFull”}。5)將各種動(dòng)作對(duì)自動(dòng)機(jī)所引起的狀態(tài)變化作為M的從Q×M→Q的映射δ(δ描述中，引起狀態(tài)變化的動(dòng)作用相應(yīng)的字母代號(hào)表示)，δ定義如下:δ(q0，a)＝q1，δ(q1，b)＝q1δ(q1，c)＝q0，δ(q1，d)＝q0δ(q1，e)＝q2由此，本實(shí)施例解決了遙測(cè)信息自然描述的問(wèn)題，并采用TDL語(yǔ)言解析器進(jìn)行最近一次編譯、重復(fù)使用的方式進(jìn)行解析編譯，解決了自然語(yǔ)言描述的效率問(wèn)題。前述對(duì)本發(fā)明的具體示例性實(shí)施方案的描述是為了說(shuō)明和例證的目的。這些描述并非想將本發(fā)明限定為所公開(kāi)的精確形式，并且很顯然，根據(jù)上述教導(dǎo)，可以進(jìn)行很多改變和變化。對(duì)示例性實(shí)施例進(jìn)行選擇和描述的目的在于解釋本發(fā)明的特定原理及其實(shí)際應(yīng)用，從而使得本領(lǐng)域的技術(shù)人員能夠?qū)崿F(xiàn)并利用本發(fā)明的各種不同的示例性實(shí)施方案以及各種不同的選擇和改變。本發(fā)明的范圍意在由權(quán)利要求書(shū)及其等同形式所限定。以上所描述的裝置實(shí)施例僅僅是示意性的，其中所述作為分離部件說(shuō)明的單元可以是或者也可以不是物理上分開(kāi)的，作為單元顯示的部件可以是或者也可以不是物理單元，即可以位于一個(gè)地方，或者也可以分布到多個(gè)網(wǎng)絡(luò)單元上?？梢愿鶕?jù)實(shí)際的需要選擇其中的部分或者全部模塊來(lái)實(shí)現(xiàn)本實(shí)施例方案的目的。本領(lǐng)域普通技術(shù)人員在不付出創(chuàng)造性的勞動(dòng)的情況下，即可以理解并實(shí)施。當(dāng)前第1頁(yè)1 2 3 當(dāng)前第1頁(yè)1 2 3