2) SAT solvers
SAT求解器
1.
In this paper,we propose an approach for judging whether a component set is a conflict set using SAT solvers with some satisfiability algorithms.
本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性。
3) SAT-solver
SAT解答器
4) solution
[英][sə'lu:ʃn] [美][sə'luʃən]
求解
1.
Establishment of oilfield development planning models their solution;
油气田开发规划模型的建立及求解
2.
The angular dimmension chain and new method for solution in mechanical design;
机床设计中的角度尺寸链及其求解新方法
3.
Establishment and solution to spatial vibration equation of train-track(bridge) time-varying system;
关于列车-轨道(桥梁)时变系统空间振动方程的建立及其求解
5) solving
[英][sɔlv] [美][sɑlv]
求解
1.
Concealed Conditions and the Solving of Questions in Mechanics;
隐含条件与力学问题的求解
2.
Analysis and Solving about Derivative Problems Arisen in Reform of Fee to Tax in Country;
对农村税费改革衍生问题的分析与求解
3.
By using interval trial programming technique, this paper introduces a practical method for obtaining the best solution from multi solution models such as hyperbolic and Weng model and the skills of fast solving.
文章通过区间试差编程技术 ,说明了获得类似双曲模型和翁氏模型等多解模型最优解的实现方法和快速求解技
6) Solve
[英][sɔlv] [美][sɑlv]
求解
1.
Practical Application For Solver In Excel;
Excel规划求解的实际应用
2.
The paper can solves it by the interposition method of numerical analysis and program some simple computing procedure.
公路建设中 ,密实度是众多工程项目质量控制主要指标之一 ,其中最佳含水量和最大干密度是计算和控制密实度的关键 ,本文拟采用数值分析中的插值多项式方法求解 ,结合简单的计算程序 ,求解方法简单 ,结果准确 ,并可对试验结果进行有效的校
补充资料：求解
1.请求解救或解除。 2.求得解悟。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条