指體系結(jié)構(gòu)分析設(shè)計語言規(guī)范,是構(gòu)成語法和語義正確的AADL聲明。一個完全的AADL系統(tǒng)模型包括實(shí)例化、按照規(guī)范表示的應(yīng)用系統(tǒng)實(shí)例,AADL規(guī)范以及可以通過文本、圖形、文本圖形結(jié)合的形式表示的聲明,或者使用擴(kuò)展置標(biāo)語言(XML)的形...[繼續(xù)閱讀]

    指在軟件開發(fā)過程中采用形式化方法,該方法在航電領(lǐng)域、具有高實(shí)時性要求的分布式實(shí)時嵌入式系統(tǒng)中有著巨大價值。...[繼續(xù)閱讀]

    提供了一系列的分析組件用來分析AADL模型,支持第二版AADL。...[繼續(xù)閱讀]

    active appearance models fitting的縮寫。...[繼續(xù)閱讀]

    advanced business application programming的縮寫。...[繼續(xù)閱讀]

    ABB(Asea Brown Boveri Ltd.)公司的質(zhì)量控制系統(tǒng),作為自動化技術(shù)領(lǐng)域的領(lǐng)導(dǎo)廠商ABB,其質(zhì)量控制系統(tǒng)使用ABB的掃描架和測量技術(shù),整合TCP/IP和現(xiàn)代PC,廣泛應(yīng)用于工業(yè)領(lǐng)域。...[繼續(xù)閱讀]

    approximate bayesian computation的縮寫。...[繼續(xù)閱讀]

    一種多類分類器的推進(jìn)算法,在每一個推進(jìn)進(jìn)程中,通過貪心算法自適應(yīng)選擇一個基本類。...[繼續(xù)閱讀]

    attribute-based encryption的縮寫。...[繼續(xù)閱讀]

    在基于屬性加密中,密文是和描述屬性的組相關(guān)聯(lián)的,僅當(dāng)密文的屬性和用戶密鑰的屬性相匹配時可以解密。...[繼續(xù)閱讀]