求解过程

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.

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

Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.

在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。

To demonstrate the proposed framework, the design of the compensation of pulley block in derricking mechanism was presented.

通过对起重机变幅机构的补偿滑轮组系统的稳健优化设计，给出了具体的分析求解过程。

In the course of optimization, image-based lighting and ray tracing techiques are used,and inter-reflection is calculated.

在求解过程中采用了基于图像的光照和光线跟踪技术，充分考虑了物体自身互反射的影响。

There obtained solution curves fully display burning process of plasma in reactor core.

求解过程还引用数值反馈控制方法用以对解曲线的优化和控制。

Theoretical analysis and experiment results prove that our presented technique is one of the fastest techniques for the stable, real-time animation of a kind of non-rigid objects.

进行织物悬垂模拟的实验结果表明，新的算法在求解过程中是收敛和稳定的，算法在实时性上较已有的方法有一定的优越性，同时该算法得到了良好的视觉效果。

Therefore, the reliability and stability of the multi-port reflectometer is improved greatly.

该方法通过标量检测方程，利用取样网络的本征参数进行变换求得复反射系数或网络散射参数，而求解过程与多端口反射计的比例系数无关，从而简化了硬件，提高了多端口反射计的可靠性与稳定性。

In this paper, an algorithm to test the completion for query evaluation of REITER algorithm has been developed, by which we can know whether the answer given by REITER algorithm is complete or partial.

本文给出了一个测试REITER算法在某一数据库的求解过程中是否保持其完备性的算法，由此可知，通过REITER算法求得的解是完全解还是部分解。

The operator that needs in the process of mutation or crossover can be determined by min—operator or shadow price.

在规划的求解过程中，也利用对偶规划中的影子价格来指导对调节中基准约束的确定问题。

In the process of solving it, the slack variable was introduced, which has an important physical meaning. If the slack variable of the solution has a larger value, it means there's an unknown water source.

在模型求解过程中引入的松弛变量具有重要的物理意义，如果解中松弛变量取值较大，则意味着存在未知水源。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。