搜索

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.

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

The PBIL algorithm is a combination of genetic algorithms and competitive learning, which maintains a probability vector about the search space and uses it to direct algorithm's exploration.

PBIL进化算法有效结合了简单遗传算法和竞争学习算法的特点，通过一个不断更新的且与搜索空间有关的概率矢量来指导算法的搜索，该概率矢量是整个进化过程的信息积累，用它指导产生的后代将会更加优秀。

In short, the more specific a consumer is in the search query, the higher propensity to purchase.

这表明，在网民的搜索请求中，基于本地搜索的消费倾向越来越突出。

Denyin' Next thing you know I'm a brand new man Well, I wish I could say I always stayed right there And I did ...heaven might look someday I see the people there, so I pull up a chair And their stories, they blow me away '...

以上搜索结果均系通过搜索引擎技术从第三方网站自动搜录所得，概与我公司无关。根据有关法律法规和政策，部分搜索结果可能未予显示，请点击这里查看

Simulation results show that the proposed Smart-Broadcast algorithm has higher query efficiency and lower message load than other algorithms.

3本文在Cactus系统和区间搜索算法的基础上，提出了一种Top-K搜索算法—IES(Iterative Estimate Range-size)。

Firstly, the authors create various initial colonies and introduce quinary coding strategy to improve searching speed. Then, they adopt random selection mechanism without reimbursement to prevent premature convergence. Twopoint crossover and multipoint mutation are adopted to extend searching range of model space and to keep individual diversity.

首先，产生多样化的初始群体，引入五进制的编码策略提高搜索速度，然后采用无退还随机选择机制防止收敛早熟，采取两点交叉及多点变异方案以扩大模型空间的搜索范围和保持个体的多样性。

As such they represent an intelligent exploitation of a random search within a defined search space to solve a problem.

因此他们所代表的智能开发的随机搜索在确定的搜索空间，以解决问题。

The program is based on the following IDL platform Act of random search tree search algorithm optimization examples!

该程序是基于IDL平台下开法的应用随机搜索树进行搜索的优化算法实例！

The new algorithm uses chaotic search rather than a random number generator to search a promising region.

该算法用混沌搜索方法代替随机数产生器在较好的区域搜索最优解。

To search or examine thoroughly; ransack .

搜索仔细地搜索或检查；搜找

You need to lie low for a while.

你们得歇手一段时间

If you do, you may just be pleasantly surprised.

如果你开口问了，或许有意想不到的惊喜。