1) Symbolic Satisfaction
象征性满足
2) 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.
语义网的关键推理问题可以化为公式的可满足性判定问题。
3) satisfy one's desires
满足性欲.
4) function support
性能满足度
6) proof of compliance
满足性验证
补充资料：布鲁纳象征性模式
布鲁纳象征性模式
Bruner's symbolic model
布含纳象征性模式(Bruner’5 symbolicmodel)美国心理学家J.S.布鲁纳所提出的构成人类对世界的认知模式的三种表象模式之一。在人的心智能力的发展历程中，象征性模式的出现，表明人们能够运用语言、数字、图形等符号来代表经验或知识。它具有间接性和任意性。语一言的词既不是直接的事物，也不像映象那样和直接的事物相似，它是象征式的。语言的词可以搭配成任意的组合来表示事物。这种象征性模式，使人们具有考虑命题、构成概念层次结构的能力，以及探索事物的因果关系和预测未来的能力。 (成立夫撰匾亘国审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条