推理方法

However,there are few researches on feasible granule representation models and reasoning methods in different granular levels.

但是，具体可行的粒表示模型和不同粒的推理方法研究相对较少。

The backward induction is an important reasoning method in game theory.

逆向归纳法是博弈论中的一种重要的推理方法。

First,we deprived probability density of median closely according to probability density formula of Laplace distribution,from general to special; then we proved the unbiasedness of L 1 estimation according to probability density of median.

笔者基于误差分布理论及概率统计理论，由Laplace分布的概率密度函数公式出发，采用由一般情形到特殊情形的推理方法，严密地推导

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

According to user requirements, authors disassemble the whole function, confirm the functional view, then in accordance with the sub-functional factors physical mechanism in functional view, we the manufacturable physical entity combining with group technology and based-on case reasoning to complete the conceptual and physical design of product.

依据用户需求所确定的产品总体功能，对总体功能进行分解，确定产品的功能视图，再根据功能视图中各个分功能要素的物理机制，配置物理制造实体，结合成组技术和基于实例的推理方法，完成产品的概念设计和物理设计。

A mixed reasoning method is advised to deal with multifold fuzzy numbers of the probability of the event.

针对事件概率可取多种模糊数情况，提出了模糊因果图混合推理方法。

To solve the uncertain multiple attribute decision making problem of the performance evaluation and selection of suppliers,a multi-level MADM model is developed quantitatively and qualitatively via the evidential reasoning for uncertainties.

针对供应商绩效评价与选择这一不确定多属性决策问题，采用证据推理方法建立一个具有不确定性包含有定量和定性的具有多层次结构的多属性决策分析模型。

Thus, the output will always be driven by a single transistor, either P- channel or N-channel. Since they are as closely matched as possible, the output resistance of the gate will always be the same, and signal behavior is therefore more predictable. Fig. 3.4 CMOS NAND gate One of the main problems with CMOS gates is their speed. They cannot operate very quickly, because of their inherent input capacitance. B-series devices help to overcome these 24 Lesson 3 CMOS Logic Circuit 25 limitations to some extent, by providing uniform output current, and by switching output states more rapidly, even if the input signals are changing more slowly. Note that we haven't gone into all of the details of CMOS gate construction here. For example, to avoid damage caused by static electricity, different manufacturers developed a number of input protection circuits to prevent input voltages from becoming too high. [3] However, these protection circuits don't affect the logical behavior of the gates, so we won't go into the details here. New Words and Phrases 1. CMOS abbr.

略语互补金属氧化物半导体(complementary metallic oxide semiconductor)逻辑，逻辑学，逻辑性，推理方法补充的，补足的，互补的电池供电的门电路，逻辑门，闸门，控制栅，大门，通道，门口，入口伏特，环骑，闪避基础的，基本的，主要的基本原则，基本原理增强型金属氧化物半导体场效应晶体管(metallic oxide semiconductor field effect transistor)反相器，反用换流器，变极器来源，水源，消息来源，原始资料，发起者源，源极排水沟，消耗，排水漏极排出，喝干，耗尽排水，流干，耗尽相同的，相配的，匹配的匹配有效地，有力地，事实上，实际上无限的东西无穷大无穷的，无限的，无数的，极大的接地的正向偏置的，正偏的或非 25 2。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

The MCMC method [10] is used to simulate the posterior distributions of interest.

这个推理方法[10]是用来模拟后分布的兴趣。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。