分析表明，用近似公式来替代统计表格，可基本满足计算的要求。
It shows that using the approximation formulae to replace the statistical tables can essentially meet the calculation needs.
语义网的关键推理问题可以化为公式的可满足性判定问题。
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT 问题。
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
公式的可满足性是其相应断言的意义集不空。
Satisfibility of the logical formula is that meaning set corresponding to it is not empty.
该方法以扩展的关系逻辑为语义基础，把一致性问题归结为关系逻辑公式的可满足性问题。
Our approach is based on an extended relational calculus, and reduces the consistency problem to a satisfiability problem of relational formulae.
试验结果表明，这些公式计算精度较高，可满足工程设计要求。
Compared with the experimental results, the suggested formulas are high in precision, wh...
试验结果表明，这些公式计算精度较高，可满足工程设计要求。
Compared with the experimental results, the suggested formulas are high in precision, wh...
应用推荐