栽培

IAEA verified this level of enrichment is well below what's needed to build a nuclear bomb.

国际原子能机构证实这一级别的铀浓缩远远低于所需要的制造核弹。

Based on this model, a framework of description logic-ALCA is given, and the conclusion that ALCA is deterministic is proved, and the algorithm of deterministic is given.

基于此模型，提出描述逻辑ALCA框架，用以描述结合目标任务的多Agent组织，证明了ALCA是可判定的，给出一个ALCA的可满足性判定算法。