查询词典 inference

Enterprise management decision ; expert system ; inference engine ; PROLOG language ; function

企业管理决策；专家系统；推理机； PROLOG语言；功能

A model can be described by one or more predicates. They can be stored to dynamic database of PROLOG system. It uses inference to evaluation.

一个模型用一个或多个谓词来描述，把它们存放在PROLOG系统的动态数据库中，然后使用推理机进行求解。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

This paper attempts to discuss a kind of non - exact inferences bassed on the model of possible worlds and explains their application in propositional logic and syllogism inference.

借助于可能世界模型，讨论了一类非精确推理，并将其应用于命题逻辑和三段论推理

To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。

Inference from here, what imaginary number Ict expresses is an unreal, it can writect,=I pure imaginary number form, also namely it and the part of solid space

由此推论，虚数Ict所表达的是一个虚空间，它可以写成ct，=I的纯虚数形式，也即它与实空间的部分

The key problems of software radio and direct sequence spread spectrum range used in high range radio fuze are discussed. The effects of doppler frequency and carrier's initial random phase are analyzed. A new direct sequence spread spectrum algorithm based on software radio is proposed, by using differential encoding and quadrature demodulating, the effects of doppler frequency and carrier's initial phase on the output of inference filter are eliminated successfully.

研究了软件无线电和直接扩频测距技术在大炸高无线电引信应用中的关键技术问题，分析了由于多普勒效应引起的载波频偏以及载波随机相位对测距的影响，提出了一种基于软件无线电的直接序列扩频解调算法，通过采用差分编码和正交解调的方法，消除了多普勒频偏和载波随机相位对测距的影响。

This inference seems quite real in the universe where we are, but what if coincidence happens random and we are coincidently living in a universe that is coincidently proper for us to live in?

这个推论在我的宇宙中如此真实，但如果巧合随机，而我们恰好生活在一个恰令我们容身的宇宙中呢？

The former is an expression of a rational cognition in form of concept, judgement and inference, and also is an instruction theory for teaching practice.

前者是以概念、判断、推理等形式表达的理性认识的结果，是指导教学实践的教学理论。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。