推理

We begin by adding inductively defined types in an LF-like type theory.

基于这一考虑，TML的一致化算法融进了项推理过程。

In terms of physical causation, and any ethical consequences inferable from that, no more can be said.

根据物理原因，以及任何民族推理可以从函数推论出，没有其他的说法。

An identification algorithm for tool interference in NC machining is presented based on the fuzzy inference techniques and pattern recognition theory.

基于模糊推理的自由曲面描述方法和模式识别理论，提出一种适用于不同刀具类型并可同时考虑刀具底面干涉和侧面干涉的刀具干涉判别算法。

Furthermore, we present two pattern sanitization algorithms for blocking inference channels in frequent pattern sharing, and evaluate their performance in the experiments.

然后，基于模式净化的思路，提出了两个推理控制算法，并通过实验对算法的性能进行了比较分析。

Firstly, subtractive clustering algorithm is used to confirm the structure of fuzzy neural network. Secondly, combined fuzzy inference systems to process pattern recognition, its principle and studying algorithm are introduced in detail. Finally, the four kinds of fabric wrinkle feature parameters are imported to verify the true fabric.

首先利用减法聚类方法确定模糊神经网络的结构，再结合模糊推理系统进行模式识别，并详细介绍了其基本原理和学习算法，最后引入4种起皱特征参数对真实织物进行验证。

Then, considering the knowledge represented by a set of frequent patterns, we investigate the problems of preserving sensitive patterns in data sharing, hiding sensitive patterns in frequent pattern sharing, and also blocking inference channels in frequent pattern sharing. The main contributions are as follows:(1) For the problem of preserving anonymity in data sharing, we propose a clustering-based approach for implementing l-diversity.

本文首先研究了数据共享中匿名保护问题，接着以频繁模式为知识的表现形式，研究了数据共享中的敏感模式保护，频繁模式共享中的敏感模式隐藏，以及频繁模式共享中的推理控制等问题，主要的研究成果如下：(1)针对数据共享中的匿名保护问题，提出了一种基于聚类的l-多样化实现方法。

Then, considering the knowledge represented by a set of frequent patterns, we investigate the problems of preserving sensitive patterns in data sharing, hiding sensitive patterns in frequent pattern sharing, and also blocking inference channels in frequent pattern sharing.

本文首先研究了数据共享中匿名保护问题，接着以频繁模式为知识的表现形式，研究了数据共享中的敏感模式保护，频繁模式共享中的敏感模式隐藏，以及频繁模式共享中的推理控制等问题，主要的研究成果如下：（1）针对数据共享中的匿名保护问题，提出了一种基于聚类的l-多样化实现方法。

Meanwhile, we also made use of the finite state machine inference algorithm.

同时，我们还提出了利用有限状态机进行推理的算法。

Your paper is in the lack of the inference to prove your arguments.

你的论文缺少能证明你的论点的正确推理。

He's came to this conclusion by inference.

他通过推理得出这个结论。

What would he tell Judith and the children?

他将怎样告诉朱迪丝和孩子们呢？

I this is at that time, the opinion with peacockish true girl is full of in a heart.

这就是当时的我，一个心中布满虚荣的女孩子真实的想法。