查询词典 halving method

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The study of operation of lattice dicision-making By applying the concept, theory, method of lattice theory and graph theory, defining and stipulating the method which can reflect the superior or inferior relation among different elements on lattice, and the variable, parameter, operation rule and the compare method, For example, the preference distance and it's working with relecting the superior or inferior relation among different elements on lattice.

借助格论和图论中的有关概念、理论和方法，定义和规定了能描述格上不同元素之间优劣关系及其联系强度的变量、参数、运算规则及其比较方法，如反映不同决策方案的优劣程度差别的"偏好距离"及其计算，并将此理论运用到了具有区间数的群决策问题中去，给出了区间数的一种格序排列方法。

Its technical process is: Is different to the activated charcoal regeneration method, its response technical process is also different, uses the heating regenerative method flow and the lavation regenerative method flow generally.

其工艺流程为：对活性炭再生的方法不同，其反应的工艺流程也不同，一般采用加热再生法流程和洗涤再生法流程。

But only partial changes of rhubarb laxation group and over-swimming group have a coherent trend to those of SAS clinical patents. Our improved over-fatigue method is better than rhubarb laxation method and over-swimming method. Proved by Sijunzi decoction treatment, the mice behave normally. All objective indexes are improved more distinctively than the group that resumes naturally. These prove that the SAS model is made successfully and meets the requirements of judgement for SAS animal model. In this model, SAS is caused possibly by largely released Gas, which results in increased contractile in small intestine, over-exudation of intestine and obstacle in absorption.

在所选的指标中，改良型劳倦过度组小鼠的变化均与临床脾虚证患者的变化趋势一致，且多数指标的变化较大黄组(大黄泻下法塑造脾虚证动物模型)和力竭游泳组(力竭游泳法塑造脾虚证动物模型)明显，而大黄组和力竭游泳组只有部分指标的变化与临床患者一致，因此，改良型劳倦过度法塑造脾虚证动物模型优于大黄泻下法和力竭游泳法。

MethodNortheast Rape leaves as subject, using the Kjeldahl Nitrogen Determination method, Soxhlet extraction method and direct drying method, the content of leaf protein, crude fat and water in Northeast Rape leaves were determined to study the influence of different pH, extraction temperature, time and the ratio of solid-liquor on the extraction percentage of leaf protein.

方法以东北小油菜叶作为试验材料，分别利用凯式定氮法、索式抽提法和直接干燥法测定油菜叶中叶蛋白、粗脂肪和水分含量，研究不同pH值、提取温度、时间及料液比对叶蛋白提取率的影响。

The theories of multi member function"s extremity value, Hooke Jeeves mode searching method solving wholly complex problem of extremity value and uniformity design method, one new and efficient method to choose test point, are applied to establish the two-dimension oil well orbit optimized model. The shortest length of oil well orbit curve is regarded as this model"s object and all kinds of effecting parameters are analyzed.

通过引入多元函数极值理论、求解复杂极值问题的HookeJeeves模式搜索法及一种较为新颖和高效的试验点选择方法：均匀设计法，建立以最短油井轨迹曲线长为目标的二维油井轨道优化设计模型，并对影响井轨迹曲线的参数进行了较为详细的分析。

An incremental-iterative method based on the Newton-Raphson method combined with constant arc length of incremental displacement vector is employed for the solution of nonlinear equilibrium equations. The subspace iterative method is used for the solution of natural frequencies and vibration modes for the free vibration of beam structures.

本研究推导元素的节点惯性力时，先将元素扰动位移表示成当前固定元素座标的扰动位移和旋转之函数，故可直接求得元素的节点惯性力，元素的一致性质量矩阵可由元素节点的惯性力对元素节点的加速度微分求得。

This paper present a new sorting method on group decision -likelihood ratio method, it s a simple, reasonable and direct method.

本文给出了群组决策法中新的排序方法，这一方法简单、合理、直观。

With application of plastic limit analysis method using finite element method, stability of high loess slope is analyzed and solved by using linear programming method in this paper. Safety factor and stress fields and velocity fields of slope can be obtained.

本论文采用有限元塑性极限分析法对黄土高边坡进行稳定分析，并运用线性规划的方法对稳定问题进行求解，可以得到边坡的稳定安全系数和边坡的应力场及速度场。

This paper investigates alternating iterative method and generalized alternating method for the solution of a large linear system, extend the convergence theorem and comparison theorem for generalized or alternating iterative method when the coefficient are Hermitian positive definite systems.

本文主要研究了大型线性方程组的交替迭代法及迭代法的各种变形，给出了当系数矩阵为Hermitian正定矩阵时各类迭代法的收敛原理及其相应的比较理论。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。