1) State Equation Satisfiability
状态方程可满足性
1.
It is well known that state equation satisfiability is a necessary but not sufficient condition for reachability.
众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件。
2) satisfaction condition
方程逻辑可满足性条件
1.
The theorem of satisfaction condition is skillfully proved by introducing a sentence functor Eqn : Sign→Set and a model functor Alg: Sign→Cat~(op) in equational logic.
在方程逻辑中,通过引入语句函子Eqn:Sign→Set和模型函子Alg:Sign→Catop,得到了方程逻辑可满足性条件定理,从而建立了方程逻辑Institution理论,并进一步讨论了它的一些性质,得到了自由理论态射的复合也是自由理论态射等结论。
3) 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.
语义网的关键推理问题可以化为公式的可满足性判定问题。
5) λ-satisfiability
λ-可满足性
6) countable satiation
可数满足性
补充资料：贝蒂-布里奇曼状态方程
分子式：
CAS号：
性质：描述实际气体系统处于平衡状态时摩尔体积Vm压力P及温度T之间关系的一种经验方程，具有高度准确性。其表达式为:式中R是气体常数；A、B和a、b、c是可由实验测得的常数，对于不，同种类的气体有不同值。
CAS号：
性质：描述实际气体系统处于平衡状态时摩尔体积Vm压力P及温度T之间关系的一种经验方程，具有高度准确性。其表达式为:式中R是气体常数；A、B和a、b、c是可由实验测得的常数，对于不，同种类的气体有不同值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条