查询词典 solver

Based on the experiences in Computational Fluid Dynamics, the linear equation solver takes more than 60% CPU time of the whole process, therefore acceleration of the linear equation solver is a key element in enhancing the whole performance of CFD.

研究了基于非结构化网格通用输运方程的数值求解方法，包括输运方程的离散格式，边界条件处理方法，压力速度耦合SIMPLE求解方法，详细讨论了影响界面流量计算的重要因素。

ATPG is widely used in testing, and in terms of branch-and-bound searching, it is equivalent to a SAT solver. ATPG has two attractive features: It uses structural information of the circuit in decision making, and it handles X states more easily than a SAT solver. This report focus on fast ATPG engine specifically applied to PreImage computing in Unbounded Model Checking.

自动测试激励生成是测试领域的概念，它本身的求解过程是一个等同于可满足性问题的分支限界搜索，它的优点在于可以很好的利用电路的结构信息进行启发式搜索，同时可以灵活的处理不确定位。

First, a SAT solver is used to determine whether the preimage solution has been exhausted. When a preimage solution is generated by the SAT solver, a specific ATPG process is adopted to minimize the sets of assignments to state variables. This in turn reduces the number of all the preimage solutions and accelerates the fixed point iteration process.

SAT用来判断是否已经穷尽所有解；每次SAT枚举出一个前像解后，采用一个专门的ATPG过程减少状态变量上的赋值，从而减少前像解的总个数，加快后面的不动点迭代处理。

The designing way of this paper about the forebody and afterbody of aerocraft is based on the wave-rider theory, so design the aerocraft upper and down surface separately, besides keeping the length and thickness of forebody and afterbody constant, to some extent ensure the whole aerocraft design target and avoid the conflict with other disciplines, The flow solver takes use of Euler equations, combining with the technique of the unstructured dynamic meshes.

文中对飞行器前后体设计思路基于高超音速乘波体的思想，将飞行器上下表面进行分离设计，在前后体的长度厚度以及发动机的位置保持不变的条件下，较大程度避免了飞行器整体外形布局的改变，从而一定程度上保证了总体设计的目标，大大缓和了与飞行器其他学科设计时的冲突。

By using the Solver Add-in included with Microsoft Excel the optimum solution is identified and can then be manually adjusted to test alternative scenarios.

利用求解增益集，包括与Microsoft Excel的最佳解决方案是确定的，其后也可以手动调整，以测试的其他情况。

The mutual interference problem between the components caused by the limitation of the intersection angle of the incident light beams and the dissymmetry of geometrical arrangement is solved by a data processing system composed of electronic mixer and data solver.

由电子混频和数据解算装置所组成的数据处理系统，解决了由于入射光束交角的限制及几何布置不对称性所造成的分量间相互干扰问题。

An RANS solver is used to predict roll hydrodynamic coefficients(added inertia moment and damping)of a two-dimensional section with/without bilge keel s on the free surface.

文章用RANSE求解器计算在自由面上带舭龙骨二维柱体的横摇水动力系数。

Under some reasonable assumptions of the'Distribution Matrix', the Riemann Problem with piecewise constant initial data is proved to have a unique Riemann Solver; furthermore, using'Wave Front Tracking Method'and properties of the'Generalized Characteristics', we prove the existence of weak entropy solution to the Riemann Problem with arbitrary initial data of bounded Total Variation.

在"分布矩阵"满足合理的假设前提下，证明了具有分片常值初始条件的黎曼问题的黎曼解算子的存在唯一性；并进一步运用"波前追踪法"和"广义特征"等得到了具有任意有界全变差初值条件的广义黎曼问题的弱熵解的存在性。

He is a problem-solver, though, and he sent me off to another metal fabrication shop outside of town to have a guy braze the broken banjo fitting to a part that he could crimp to the line.

他是一个解决问题，不过，他送我去另一个金属加工店外的镇有一个家伙钎破碎班卓琴拟合中的一部分，他可以卷曲的界线。

I was strangely surpriz'd at his Question, and after all, tho' I was now an old Man, yet I was but a young Doctor, and ill enough quallified for a Casuist, or a Solver of Difficulties And at first I could not tell what to say, so I pre tended not to hear him, and ask'd him what he said?

然后，我又告诉他，在人们心里，魔鬼是上帝的敌人。他一贯心存恶意，使尽阴谋诡计来破坏上帝善良的计划，试图毁灭世界上的基督天国等等。于是，星期五说："你说，上帝是强大的，伟大的，他不是比魔鬼更强大、更有力吗？""是的，是的，"我说，星期五，上帝比魔鬼更强大，上帝高于魔鬼。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。