查询词典 halving method

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

To RPC, the fluidity was usually a key index, because it directly reflected the work-ability. The effect factors were complex, however, the quantity relation between the RPC fluidity and its effect factors could not be expressed with a uniform numeric formula. There was no effective method for this problem at present. In accordance, a numeric method which used for controlling the RPC fluidity was advanced. The neural network model based on genetic algorithm was introduced for a aptitude method consequently.

流动度是RPC配制的一个关键指标，它直接反映了其工作性的优劣，但其影响因素复杂，难以用统一的数值关系直接描述RPC流动度与其影响因素的量化关系，目前还没有合适的计算方法，为此，提出控制RPC流动度的数值方法，即引入遗传神经网络对RPC的流动度进行预测控制。

Through comparison with finite element method, it has been demonstrated that boundary clement method is an effective method in the analysis of some complicatedly loaded parts and local stress concentration areas on loaders.

通过与有限元法比较表明，边界元法是分析装载机某些受力复杂零件和局部应力集中区域的有效分析工具。

This invention discloses an excavation method of generalized association rule used to analysis the compound rule of Chinese medicine; the method is essentially an excavation of association rule combined with excavation method of generalized association rule expressed by field knowledge, using semantic Web technology as the principal means expressed by field knowledge.

本发明公开了一种用于分析中医方剂药物组配规律的泛化关联规则挖掘方法，该方法实质上是一种结合关联规则挖掘和领域知识表示的泛化关联规则挖掘方法，它使用语义万维网技术作为领域知识表示的主要手段。

Liber Abaci emphasizes summed-up algorithm, but does not pay attention to the form of propositions derived, and it mainly reflects the tendency of practical algorithms, such as principal method from India and the algebraic knowledge from the Arab. In Liber Abaci it is found some problems similar to ancient Chinese mathematics like pursuit problems, drainage problems, business problems, hundred fowls problems, remainder problems, indeterminate problems, as well as some Algorithm—fraction addition and subtraction,the compound rule of three, the method Elchataym and the method of Excess and Deficit, and so on.

在系统梳理《计算之书》数学内容过程中，笔者发现《计算之书》中存有与中国古代数学中相似的实用算题，如：追及问题、排水问题、经商问题、百鸡问题、剩余问题、不定问题等，以及和中算一致的算法：分数算法、多率法和重今有术、第二类"Elchataym算法"和盈不足术等。

In this paper,a optimization method of naval gun weapon system performance is presented based on the polynomial mode of power index method and the solution s concision geometry programming method.

简要介绍了评价舰炮武器系统性能的幂指数法和一种特殊的非线性规划方法——几何规划方法。

Mastery the method of root canal treatment, includeing method of root canal preparation (standardized system, step-back technique, step-down technique) and root canal condensation technique, principle , operation, incidental problem in the operation course of every kind endodontic treatment method

掌握根管治疗的操作方法，包括根管预备方法（标准法，逐步后退法，冠根向深入法）和根管充填方法，各种牙髓治疗方法的原理、适应症、操作方法及操作过程中容易发生的问题

This paper mainly introduces a new method to approximating the failure probability of structural systems and the method is defined as dimensions reduction method by conditional probability .

本文主要介绍一种新的结构体系失效概率近似计算的方法——条件概率降维法。

In the algorithm designed here, polygon-fill algorithm and "Painter Algorithm" are used to display 3-D isoline," Windup Storage" method to balance computer processing load,"Associative Fan in" method to conflate results, and "Run Length Compression" method to save network communication time.

根据等值线数据量随其属性值而变化的特点，设计了采用"卷帘存储法"实现负载平衡的等值线三维显示的并行算法；采用"结合扇入法"实现结果合并，并采用"运行长度压缩法"以缩短网络通讯时间。

In the algorithm designed here, polygon-fill algorithm and "Painter Algorithm" are used to display 3-D isoline,"Windup Storage" method to balance computer processing load,"Associative Fan in" method to conflate results, and "Run Length Compression" method to save network communication time.

运用多边形填充和"画家算法"，实现了等值线三维显示；根据等值线数据量随其属性值而变化的特点，设计了采用"卷帘存储法"实现负载平衡的等值线三维显示的并行算法；采用"结合扇入法"实现结果合并，并采用"运行长度压缩法"以缩短网络通讯时间。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。