AADL behavior annex
分类：英汉云计算·物联网·大数据133字
指AADL标准语言的语义扩展，用于描述软件构件内部的具体行为。行为附件通过状态及状态的迁移来描述构件行为，状态的迁移可以定义使能条件和执行动作，并且可以通过层次、并发状态来支持更加复杂的行为描述。行为附件的出现使AADL可以更好地支持功能行为的验证和自动代码的生成 ...... （共133字） [阅读本文]>>
上一篇
其他相关分类
推荐内容
a computational logic for applicative common lisp (ACL2)
是由公共Lisp的程序语言、一套可扩展的一阶逻辑理论和一个机械化的定理证明工具所组成的软件系统。
48字 134A priori
指无须经验或先于经验获得的知识。通常与后验知识相比较，后验为需要经验才能获得的知识。从原因到结果的论证称为“先验的”，而从结果到原因的论证称为“后验的”。
77字 112A* algorithm
一种在多个节点的路径图形平面上，求出最低通过成本的算法。该算法属于人工智能中的启发式搜索算法，常用于游戏中的非玩家控制角色(NPC)的移动计算，或线上游戏机器人(BOT)的移动计算。
91字 120A* search
同“A星算法”。
8字 113A* -based best-first heuristic searsh
在状态空间采用A星算法进行搜索，对每一个搜索的位置进行评估，得到最好的位置，再从这个位置进行搜索直到目标。启发式搜索对位置的评估是十分重要的，采用不同的评估可以有不同的效果，从而省略大量无谓的搜索路径，
107字 100