进行彻底搜查。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
The current designs with optimum global isotropy are developed through an exhaustive search.
目前所得到的最佳整体等向性设计是透过全域搜寻法所得到的。
But the number of coalition structures is often too large to allow exhaustive search for the optimal one.
但通常可能的联盟结构的数目太大，不允许穷尽搜索来找出最优解。
We had conducted an exhaustive search, and all the while the best candidate had been right under our noses.
我们寻找了大量的人选，但最好的人选一直就在我们眼皮底下。
SETI projects necessarily make assumptions to narrow the search, and thus no exhaustive search has been conducted so far.
SETI计划必须进行假设来缩小搜寻范围，因此迄今还没有进行全面搜索。
The assignment of values to the states is carried out by matrix inversion instead of using exhaustive search methods.
该算法不是用穷尽搜索的方法而是通过矩阵变换给状态赋值。
Moreover we analyze its robustness when exhaustive search and subtraction attack are inflicted on the watermarked content.
此外还分析了当对嵌有水印的作品进行穷举搜索攻击和减法攻击时算法的鲁棒性。
They purchased the apartment a year and a half ago after an exhaustive search, opting for a gut-renovation to make it their own.
一年半以前，他们几经周折终于买下了这个公寓，对它进行了彻头彻尾的改造把它变成了自己的家。
The number of possible journeys grows exponentially as you increase the number of towns, so an exhaustive search soon becomes practically impossible.
当你增加小镇的数量时，可能的路线会呈指数方式增长，所以彻底搜查实际上来看是不可能的。
Most recently, he carried out an exhaustive search of databases that he claims threw up 140 different identification numbers and addresses for "Barack Obama".
最近，他对数据库进行了详尽的搜索，声称查出“奥巴马”140个不同的身份证号码和地址。
The antenna selection algorithm is the exhaustive search method. Its computational complexity grows rapidly as the number of antennas increases. It is quite impractical.
穷举搜索天线选择算法的计算复杂度随天线的增多变大，影响实际应用。
This paper presents a fast exhaustive search algorithm in order to search the protein conformation space based on the lattice model by constructing a directional binary tree.
本文在构造具有方向导向性的完全二叉树的基础上，提出了一种适合研究蛋白质构象的格子模型快速穷举搜索算法。
But the RWA in mesh networks is a NP-hard problem which can not be solved optimally with exhaustive search in the endurable time. Hence, we designed a heuristic algorithm to solve it.
而格状网络中的RWA是个NP -难问题，它不可能在有限的时间内通过穷举搜索来获得其优化解，为此我们设计了一个启发性算法以解决这个问题。
The complexity of GCDG is compared with both exhaustive search algorithm and traditional greedy search algorithm, and then its efficiency is proved in the small alarm overlapped domain.
通过分析对比该算法与完全搜索算法和传统贪心算法的复杂性，证明了其在故障告警域重叠度较小情况下的有效性。
Based on the simple exhaustive search (es) method, a reduced-space search (RS) algorithm and an AI algorithm are developed respectively, which make the search space reduced dramatically.
从简单普适的穷搜(ES)法出发分别建立了降维搜索(RS)算法和AI算法，从而大幅度缩小了搜索空间。
One reason for this success might be that in natural environments cues tend to be linked, so an exhaustive search may not provide much more useful information than a fast and frugal search.
这一成功的一个原因可能是，在自然环境中各线索常常互相关联，因而全面细致的搜寻所能提供的有用信息不一定多于简单便捷的搜寻。
Experimental results indicate that comparing to exhaustive search, the proposed method improves the coding speed and compression ratio greatly with slight quality degradation of decoded image.
实验结果表明，相对于全局搜索，所提方法大幅地提高了编码速度和压缩比，而解码质量只略有下降。
According to the characteristics of orthogonal parity-check matrixes, an exhaustive algorithm was proposed to search for the orthogonal parity-check matrixes of general block codes.
根据正交校验矩阵的特点，提出了一种一般线性分组码的正交校验矩阵的穷举搜索算法。
Because it is based on the exhaustive state space search, the state space explosion problem becomes the primary bottleneck when we apply model-checking to real systems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
Tourism is no longer the exhaustive sensory enjoyment, but a search for Shangri-la of the soul.
旅游不再是感官的尽致享受，而是寻找心灵的香格里拉。
Without any exhaustive numerical search, the ERQ can increase the spectral efficiency with the optimal continuous rate and power adaptation.
不需要大量计算，ERQ可以通过最佳连续码率和功率适应提高频谱效率。
Often, thirty, forty or more searches into an exhaustive subject search we finally find a unique original website.
通常，浏览完30个、40个或者更多网站后，你会突然发现一个真正有特色的网站。
Often, thirty, forty or more searches into an exhaustive subject search we finally find a unique original website.
通常，浏览完30个、40个或者更多网站后，你会突然发现一个真正有特色的网站。
应用推荐