搜索

Through gathering the search individuation data of the user, will make the search of the user more accurate.

通过积累用户的搜索个性化数据，将使用户的搜索更加精确。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

A new knowledge acquirement way is presented based on the reliability data of product, then the fuzzy semantic net which consists of FEPM and fuzzy fault tree is regard as fault knowledge representation. The formalization of the fuzzy semantic net is described, and the relative concepts and relations are summarized. A stereo-knowledge representation which consisted of FFTF, rule and fuzzy neural network which make up of the shallow knowledge of the product is presented. The integrated fault diagnosis method based on the stereo-knowledge representation is suggested. The method is as follows. The fuzzy search inference is carried out on FFTF firstly. If the node being diagnosing can be decided if it failed or not in the fuzzy search inference, the rule inference to the node is carried out with the rules which being in symptom-fault way. An equivalent method, pattern recognization inference using fuzzy neural network, can fulfill the same work.

提出了以FFTF模糊语义网络为主、基于浅知识的产生式规则、模糊神经网络为辅的产品故障知识的立体知识表示方式，并提出了基于该多种知识表示的综合性故障诊断方法，即：首先对故障产品进行基于FFTF模糊语义网络的模糊搜索推理，如果在模糊搜索推理过程中不能确定当前诊断节点故障与否，则对当前诊断节点进行基于征兆-故障形式的验证式规则推理或者对包含该诊断节点的部件／子系统进行基于模糊神经网络的模式识别推理，如果在完成或者不再进行基于模糊语义网络的故障推理，仍然不能诊断出故障节点，则对基于模糊语义网络诊断过程中形成的故障诊断子图进行神经网络推理。

June 30, as announced by Infoseek (www.infoseek.co.jp), a search site, and it is certain that he will rise as the central topic of talk in the latter half.

由一搜索网站Infoseek (www.infoseek.co.jp)宣布，裴勇俊也在2005上半年（1.1~6.30）搜索单词排名男性部分排名第三，理所当然他将在下半年成为讨论的中心话题。

This is platform with search of information of this locality life website that Xu dragon river founded 2005 -- fourth fourth net, through inputting the address of initial drop and destination, the website offers the optimal course of a travel with the form of the search, show circumjacent other life information at the same time, hit the point the effective demand of office worker.

徐龙江2005年创建的这个以本地生活信息搜索为平台的互联网站——丁丁网，通过输入起始点和目的地的地址，网站以搜索的形式提供出行的最佳路线，同时显示周边的其他生活信息，切中了上班族的实际需求。

In initial phase of the system,i...

同时我们在系统实现过程中采用了自适应的区域搜索，自动确定搜索区域的基准灰度级，增强了系统的稳定性和可推广性。

Initial solution is the sticking point of TS. The quality of initial solution restricts the convergence rate of search.

禁忌搜索算法设计的框架中初始解尤为关键，初始解的好坏制约着搜索的收敛速度。

Therealization completed to have the manager to manage, the user input,the picture characteristic contrast and the picture searchdemonstration module and so on the simple basic function based on thepicture search software system.

实现完成了一个具有管理员管理、用户输入、图像特征对比和图像搜索显示模块等简单基本功能的基于图像搜索的软件系统。

Originally the Baidu of the one should care his own business and clean out treasure, because Baidu is high-key,announce to march market of C TO C and " bayonet sees red ". On September 8, clean out treasure to announce Baidu of formal and complete screen is searched, gu Ge and other search are insusceptible.

原本井水不犯河水的百度与淘宝，由于百度高调宣布进军C TO C市场而"刺刀见红"。9月8日，淘宝宣布正式彻底屏蔽百度搜索，谷歌以及其他搜索则不受影响。

It was intuitionist and brief by the Matrix coding,the local optimum was avoided and the global optimum solution was obtained by the crossover and mutation operation.

采用的矩阵编码方法具有直观、简单的优点；通过交叉和变异让搜索跳离局部极值的陷阱，搜索到全局最优解。

You need to lie low for a while.

你们得歇手一段时间

If you do, you may just be pleasantly surprised.

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