| 1. | On the design of constraint - based off - line model solver
基于约束的离线式建模求解器的研究与设计 |
| 2. | The improvement of ode solver method in the analysis of ode eigenvalue problem
常微分方程特征值问题求解器解法的改进 |
| 3. | ( 4 ) a paralleling solver to the linear equations in net environment is realized
实现了一个在网络环境下求解线性方程组的并行求解器。 |
| 4. | On addition , the author research on optimizing the solver of the finite element program
另一方面，作者对优化有限元计算求解器也进行了初步的探索。 |
| 5. | At the same time , the module is applicable to other fem codes that use ls - dyna as solver
同时,该模块也可以移植到以ls - dyna为求解器的其他有限元分析软件中。 |
| 6. | In this way , the solver can deal with a design of the order of millions with high speed and precision
实验证明，该求解器能处理大规模电路设计，速度快，精度高。 |
| 7. | Study on electric field calculator for electrical apparatus based on interactive technology and regional identification
基于交互技术与区域识别的电器电场求解器研究 |
| 8. | 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 ) 。 |
| 9. | Pre - reductor is first proposed to reduce nodes dramatically , therefore the solving ability is enhanced and the speed of the solver is improved
摘要提出了利用预处理器来提供强大的压缩节点功能，大大提高了电源网格节点电压求解器的求解能力和求解速度。 |
| 10. | 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求解器来计算 |
