1) all-solution SAT solver
全解求解器
1.
It compared several algorithms of SAT solvers and selected the algorithm with higher efficiency and better suitability for all-solution SAT solver.
对可满足性求解器算法进行比较,从中选择了效率较高且适用于全解求解器的算法。
2) 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求解器,并对土壤水分特征曲线和水量平衡进行了检验。
3) 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求解器的二次开发函数来解决时变系统(类似车桥耦合)动力响应分析。
4) COL90 solvers
COL90求解器
5) solver
[英]['sɔlvə(r)] [美]['sɑlvɚ]
求解器
1.
Power/Ground Network Solver Based on Incomplete Cholesky Decomposition Conjugate Gradient *;
基于不完全分解预优共轭梯度法的电源和地线网络求解器
2.
And the method of ordinary differential equations(ODEs) solver is employed to study the eigenproblem of stability.
本文在用连续介质法推导出高层双肢剪力墙结构稳定特征方程的基础上，用常微分方程（简称：ＯＤＥ──ＯｒｄｉｎａｒｙＤｉｆｆｅｒｅｎｔｉａｌＥｑｕａｔｉｏｎ）求解器研究该结构的稳定特征值问题。
3.
Patran which is a pre-processing and post-processing platform,noise solver has been integrated to the platform using PCL language,finally,pipeline noise of one cabin has been calculated,th.
Patran为前后处理平台,使用PCL语言对水下航行器噪声计算程序进行了二次开发,并将噪声求解器集成到MSC。
6) EO solver
EO求解器
补充资料：求解
1.请求解救或解除。 2.求得解悟。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条