指体系结构分析设计语言规范,是构成语法和语义正确的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的缩写。...[继续阅读]

    在基于属性加密中,密文是和描述属性的组相关联的,仅当密文的属性和用户密钥的属性相匹配时可以解密。...[继续阅读]