On the design of constraint - based off - line model solver 基于约束的离线式建模求解器的研究与设计
The improvement of ode solver method in the analysis of ode eigenvalue problem 常微分方程特征值问题求解器解法的改进
( 4 ) a paralleling solver to the linear equations in net environment is realized 实现了一个在网络环境下求解线性方程组的并行求解器。
On addition , the author research on optimizing the solver of the finite element program 另一方面,作者对优化有限元计算求解器也进行了初步的探索。
At the same time , the module is applicable to other fem codes that use ls - dyna as solver 同时,该模块也可以移植到以ls - dyna为求解器的其他有限元分析软件中。
In this way , the solver can deal with a design of the order of millions with high speed and precision 实验证明,该求解器能处理大规模电路设计,速度快,精度高。
Study on electric field calculator for electrical apparatus based on interactive technology and regional identification 基于交互技术与区域识别的电器电场求解器研究
The simple method is used for the pressure coupling , and the strong implicit procedure ( sip ) is adopted for solution of the discretized equations 基于上述方法,采用c + +程序设计语言,研究和开发了一个船舶操纵粘性流求解器( vsman ) 。
Pre - reductor is first proposed to reduce nodes dramatically , therefore the solving ability is enhanced and the speed of the solver is improved 摘要提出了利用预处理器来提供强大的压缩节点功能,大大提高了电源网格节点电压求解器的求解能力和求解速度。
Eurocrypt 93 , lofthus , norway : springer - verlag , lncs 765 , 1993 , pp . 240 - 247 . 9 p van oorschot . extending cryptographic logics of belief to key agreement 并且我们发现,其逻辑计算,可以直接转成可满足性问题sat进行处理,从而可以利用工业上高效的sat求解器来计算