推理模型

Then the paper changes the algorithms, and applies them to Predicate/Transition net model of first-order predicate logic.

这些算法都具有较高的效率，为逻辑推论的P／T网和Pr／T网模型的推理提供了新的有效的方法。

A new type of timed fuzzy Petri netapproach to prognostication and diagnosis of abnormal events was proposed in this paper.

为此提出了一类赋时模糊Petri网模型，用于化工过程异常事件的预测与诊断，tFPN的变迁与产生式规则的可信度和时间相关联，可自动进行模糊推理。

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

The model for deductive theory is the propositional calculus.

演绎推理理论的模型是命题演算。

Aiming at the deficiencies of analysis capacity from different levels and the deficiencies of fuzzy reasoning,a product function granular model is built using the theory of granular computing of quotient space.Function granular representation,function granular operation and the function modeling method based on similarity degree calculation are also proposed.

针对目前功能建模多层次分析能力不足且缺乏模糊推理手段，将商空间粒度计算引入产品功能建模，提出了产品功能粒度模型，包括功能粒度表示、功能粒度运算规则以及基于相似计算的功能建模方法。

This paper conceives patent strategy bases on SWOT and cases ratiocination.

本文构建基于SWOT分析的企业专利战略制定方案，和基于案例推理的企业专利战略制定模型。

The decision support system Which uses the ratiocinative technology basedon model is researched mainly in this paPeY, at the saxne time, considering theactual utility of the system and the opefation detecting of the power network, theoperation detecting of the power network and the decision support are combinedaccording to the actual detecting data.

本文主要研究采用基于模型推理的技术完成决策支持系统，同时为了系统的实用性，考虑了对电网的运行的监测，以实际监测数据为基础，将电网运行的监测与决策支持结合一起。

A hybrid model of short-term load forecasting based on chaotic theory, correlation and neural networks is presented in this paper. Firstly, reconstruct attractors in phase spaces using chaotic theory, Secondly fit the attractor's evolvement using BP neural networks, because selecting neural network's input training data using Euclid distance and correlation, improve neural network's associative memory and ratiocinative ability, can better fit the attractor's evolvement.

提出一种将混沌理论、关联度和神经网络相结合的短期负荷预测模型，首先利用混沌理论重构负荷时间序列的相空间吸引子，然后用BP 神经网络来拟合空间吸引子的演化，由于使用空间欧氏距离和关联度联合来选取神经网络的训练样本，这样就提高了神经网络对负荷序列混沌特性的联想和泛化推理能力，能够更好的拟合吸引子的演化。

Firstly, reconstruct attractors in phase spaces using chaotic theory,Secondly fit the attractor s evolvement using BP neural networks, because selecting neural network s input training data using Euclid distance and correlation, improve neural network s associative memory and ratiocinative ability, can better fit the attractor s evolvement.

提出一种将混沌理论、关联度和神经网络相结合的短期负荷预测模型，首先利用混沌理论重构负荷时间序列的相空间吸引子，然后用BP神经网络来拟合空间吸引子的演化，由于使用空间欧氏距离和关联度联合来选取神经网络的训练样本，这样就提高了神经网络对负荷序列混沌特性的联想和泛化推理能力，能够更好的拟合吸引子的演化。

The traditional rationalist model suggests moral judgment is the result of a series of rational reasoning

传统的理性主义模型认为，道德判断是一系列理性推理的结果

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。