查询词典 propositional inference

This paper summarizes several decidabilities for predicate logic inference and several points for attention, which may help people in proof of such subjects.

本文总结了几种谓词逻辑推理的判定方法和注意事项，以帮助掌握证明题的证明。

Bingham, 40 Wash .App.553 ,699 P.2d 262 (1985),the court refused to accept the inference of premeditation from the fact that it took several minutes to strangle the victim to death .

在"州诉宾厄姆案"中，法院否定了勒死受害人所需要的几分种时间里可以思考的这一推论。

This paper relates to describe thedesign of thermal pipe line, the calculation of thermal stress and its inference to the pipe line engineering,flexible pipe system and selection of the form of the compensations, to reach the optimized design andengineering prepotency finally.

本文介绍了在热力管道的设计方面应引起注意的几个重点问题，说明热应力的计算及其对管道工程的影响，管系柔性以及对补偿形式的选择，以达到设计优化、工程"优生"。

Fact inference and presumption of law have prominent distinction and have countless connections.

事实上的推定仅仅是一个意见，是一个来自基础事实的推论，不必成为一个单独法律问题[1]。

Presumption;experience rules;the fact inference;the presumption of law

推定；经验法则；事实推定；法律推定

This paper presents the problems and solutions for the implementation of Prolog inference engine based on WAM.

提出了在实现基于WAM架构的C-Prolog推理引擎过程中所遇到的问题，以及相应的解决方法和策略。

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系统的动态数据库中，然后使用推理机进行求解。

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.

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

I had a lovely dog named PiPi, he was one of my best friends.

我曾经有过一只小狗，它的名字叫皮皮，它很善良，它是我最忠实的朋友。

Newly ovulated mouse oocytes were cultured in the CZB medium supplemented with different concentrations of pyruvate before treated for activation or assayed for MPF activity.

我们猜测卵母细胞在不含丙酮酸的条件下老化的更快，并且卵丘细胞可能通过消耗不含葡萄糖的CZB中的丙酮酸从而促进卵母细胞老化。