1) 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) CVODE solver
CVODE求解器
1.
Richard s equation was transformed into ordinary differential equations through spatial descretization,which were then solved using an software package(CVODE solver) with adaptive time-step size control.
针对以含水率θ为变量的Richards方程进行了试验,常微分方程组求解采用CVODE求解器,并对土壤水分特征曲线和水量平衡进行了检验。
5) ODE solver
ODE求解器
1.
Adopting the powerful MATLAB code,a re-developed function based on ODE solver is programmed for analysis of dynamical response problems of the time-varying systems,such as vehicle-bridge coupling vibration problems.
运用MATLAB强大的数值计算功能,编制基于ODE求解器的二次开发函数来解决时变系统(类似车桥耦合)动力响应分析。
6) COL90 solvers
COL90求解器
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条