查询词典 approximation method

Cauchy convergence criteria is proved the convergence and spread the basic method and through this method also launched many simple method, thus the important position of cauchy criterion, this kind of method is obvious superiority of the characteristics of itself, through to judge whether to prove the convergence, and this will bring convenience to the standards for the following summary, and probes into some of the relationship between them.

柯西收敛准则是证明收敛与发散的基本方法，并且通过此种方法还推出了非常多简单的方法，由此可见柯西准则的重要地位，此种方法的优越性也是显而易见的，就是通过本身的特征来判断是不是收敛，这就给证明带来了方便，本文将这几种准则作了以下总结，并且探讨了它们之间的一些关系。

It is the most powerful means of eradicating schistosomiasis. Current method of elimination cercaria is mainly the chemical method which has many disadvantages such as drug resistance, drug dilutedness, environmental pollution and poisoning the other biology, etc. For these reasons, this paper poposed a new method of elimination through high-voltage pulsed electric field, discussed the feasibility of the new method, studied the elimination mechanisms of using different forms of electrodes, analyzed various factors which influences the effect of elimination and introduced the structure of high-voltage pulsed electric field system at the stage of laboratory. Moreover, this paper showed the security problems that should be considered during the research and experiment.

针对常用的化学药物杀灭法存在的易使尾蚴产生抗药性、水域宽广致使药效降低、污染环境、毒杀其它生物等弊端，本文提出了一种利用高压脉冲电场杀灭血吸虫尾蚴的新方法，探讨了这种电子杀灭方法的可行性，分别研究了采用锐形电极和平板电极的血吸虫尾蚴杀灭机理，分析了影响尾蚴杀灭效果的各种因素，介绍了实验阶段血吸虫尾蚴高压脉冲电场杀灭系统的构成，指出了系统研制和试验过程中需要充分考虑的安全性问题。

Kit method and coagulase gene method, to authenticate staphylococci and evaluate coagulase test method. The strain will be test again if the result of 4 kind method are inconsistent.

和凝固酶基因法，鉴定葡萄球菌和评价凝固酶试验方法。4种方法结果不一致的菌株进行重复试验。

It's good method to authenticate staphylococci coagulase test by the slidex staph?kit method and the tube method with highly sensitivity and specificity .Otherwise ,the specificity of the slide agglutination test method is lower than the others ,perhaps it caused by staphylococci antibody in human plasm.

乳胶血凝法和试管法敏感性和特异性较高，是鉴定葡萄球菌凝固酶试验的好方法，玻片法的特异性较差，可能是由于人血浆中产生的葡萄球菌抗体所致。

The paper includes the constitutes of system hardware, image pretreatment, the achievement of parameter detection artithmetic. The main work is as follow: The pater makes use of vanguard genetic algorithms in image segmentation, uses vanguard genetic algorithms to get the image threshold. Using this method we may get different grey vehicles from the background exactly. Used the support vector machine theory to conduct the vehicles automatic sorting simulation research, the simulation result had proven this method could quite be accurate carries on the vehicles type the recognition; Improved based on the background automatic renewal hypothesized examination region algorithm, enhanced timeliness and the accuracy which the vehicles examines; And to has carried on the specify based on the hypothesized examination region imagery processing algorithm realization; In the paper also introduced withdraws the algorithm based on the gradation continuous movement vehicles characteristic to carry on the vehicles the characteristic to withdraw as well as to use the localization method which colored filter same gradation chart processing unifies to carry on the realization method which the vehicles license plate locates.

本文根据智能交通控制与仿真对于交通流量、车辆到达率、车辆速度等交通信息检测的需求，基于视频图像进行了交通信息处理的算法研究与实现，主要工作包括以下几个方面：将先锋遗传算法应用到图像阈值分割中，利用先锋遗传算法寻求全局最优阈值，可以比较准确的将图像中不同灰度的车辆从背景中分离出来；采用支持向量机理论进行了车辆自动分类的仿真研究，仿真结果证明该方法能够比较准确的将车辆的类型进行识别；改进了基于背景自动更新的虚拟检测区域算法，提高了车辆检测的实时性和准确性；并对基于虚拟检测区域的图像处理算法实现进行了详细说明；论文中还介绍了基于灰度连续性的运动车辆特征提取算法进行车辆的特征提取以及采用彩色过滤器同灰度图处理相结合的定位方法进行车辆牌照定位的实现方法。

The Reverse Construction Method has not been well developed in our country. The paper discussed the designing method of the Reverse Construction Method and made a comparison with the regular construction method and studied some key technique of the Reverse construction procedure combining construction practice, such as diaphragm and mid-maintain columniation designing and constructing, dewatering, earthwork excavating, diaphragm wall structure constructing, surrounding buildings protection, construction inspecting and so on.

本论文探讨了逆作法的设计方法，同时与顺作法进行了对比，并结合工程实践研究了逆作法施工中的多项关键性技术，如地下连续墙与中间支撑柱设计与施工、基坑内降水、土方开挖、地下结构逆作施工、周围建筑物保护、施工监测等。

While studying, this paper adopts some research methods like demonstration and specification method, institution method, game theory method and comparativeness method etc., and argues the following points:(1) Regional cooperation is an inevitable demand of markets.

本文在研究过程中，运用了实证与规范分析法、制度分析法与博弈论、比较法等研究方法，论证了以下观点：（1）区域合作是市场要求的必然，因此，深港合作是市场经济发展的产物，深港合作是市场要求的必然。

The research methods used in this thesis are document method, comparison method, classification method and survey-talking method.

本文所用的研究方法是文献法、比较法、归纳法和调查交谈法。

By introducing the generating method and the expanding method,a complementary abstract state space can be constructed using the generating method on goal state once and the expanding method several times in turn.They are useful tools for designers to construct the complementary abstract state space in an easy way,where the complementarity of abstract states means that each ground state can only be represented by one abstract state and all the ground states can be represented by all the abstract states.

然后又提出了抽象状态空间的生成方法和扩展方法，从一个准确描述的的目标抽象状态开始，使用一次生成方法和多次扩展方法，可以让设计者很容易的得到一个规模适度的互补抽象状态空间，即每个基本状态只有一个抽象状态来表示，所有的抽象状态又能表示所有的基本状态。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。