说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 二足性
1)  bipedalism [英]['baipedəlizəm]  [美]['baɪpɛdḷ,ɪzəm]
二足性
2)  postural stability of biped robots
二足机器人姿态稳定性
3)  Having two feet; two-footed.
有二足的;二足的
4)  Second toe
第二足趾
5)  biped [英]['baɪped]  [美]['baɪpɛd]
二足动物
6)  satisfiability [,sætisfaiə'biliti]
可满足性
1.
RTL hybrid satisfiability solving methods are classified into two categories:One is based on SMT(Satisfiability Modulo Theories),and the other is based on circuit structure searching.
RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类。
2.
Two heuristic strategies for solving satisfiability (SAT) problem were presented.
提出了两个用于求解可满足性 (SAT)问题的启发式策略。
3.
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
语义网的关键推理问题可以化为公式的可满足性判定问题。
补充资料:二足
【二足】
 (术语)以人之两足譬福智二者。六度中般若为智足,其余五度为福足,义楚六帖一曰:“智论云:佛积万行于三大劫,福足智足无间无遗。”
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条