AADL execution model
分类：英汉云计算·物联网·大数据149字
指能够描述嵌入式实时软件的非功能属性，支持静态、动态结构的协同建模，支持软件、硬件的协同建模，并且可以针对特定领域进行扩展，支持四种模式： 同步数据流(synchronous dataflows)模式、互斥(mutex)模式、黑板(blackboard)模式和排队缓冲(queued buffer)模式 ...... （共149字） [阅读本文]>>
上一篇
其他相关分类
推荐内容
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