指體系結構分析設計語言規范,是構成語法和語義正確的AADL聲明。一個完全的AADL系統模型包括實例化、按照規范表示的應用系統實例,AADL規范以及可以通過文本、圖形、文本圖形結合的形式表示的聲明,或者使用擴展置標語言(XML)的形...[繼續閱讀]

    指在軟件開發過程中采用形式化方法,該方法在航電領域、具有高實時性要求的分布式實時嵌入式系統中有著巨大價值。...[繼續閱讀]

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

    active appearance models fitting的縮寫。...[繼續閱讀]

    advanced business application programming的縮寫。...[繼續閱讀]

    ABB(Asea Brown Boveri Ltd.)公司的質量控制系統,作為自動化技術領域的領導廠商ABB,其質量控制系統使用ABB的掃描架和測量技術,整合TCP/IP和現代PC,廣泛應用于工業領域。...[繼續閱讀]

    approximate bayesian computation的縮寫。...[繼續閱讀]

    一種多類分類器的推進算法,在每一個推進進程中,通過貪心算法自適應選擇一個基本類。...[繼續閱讀]

    attribute-based encryption的縮寫。...[繼續閱讀]

    在基于屬性加密中,密文是和描述屬性的組相關聯的,僅當密文的屬性和用戶密鑰的屬性相匹配時可以解密。...[繼續閱讀]