蕴涵

本文阐明了形式化验证中中间断言和最弱前置谓词两种思想和方法，在此基础上，解决了两个问题：开始前置断言Q蕴涵非常弱的前置断言Q′与程序正确性的关系；

The main purpose of this paper is to illuminate two thoughts and methods of formal verification : intermediate assertion and weakest predicate , on this base , two problems are solved : the relation to " Q contain Q ′" and program correction ;

引入模糊认知图（FCM）将隐性知识蕴涵到案例中，将基于案例分析技术（CBR）和案例因素相似度排序方法运用到解决问题的过程，实现了案例中部分隐性知识的显性化。

Cite fuzzy cognitive map to contain tacit knowledge in cases , use case-based reasoning technique and sort way by similarity of elements in cases in process of solving problems , and realize converting part of tacit knowledge into explicit form .

他温和的话中蕴涵着警告之意。

His soft words contained an undertone of warning .

许多动词和许多其他类词都蕴涵着因果关系。

Many verbs and many words of other kinds are implicitly causal .

故事虽短，却蕴涵着深刻的哲理。

The story , short as it is , contains a profound philosophy .

蕴涵是一种包含关系。

Entailment is a relation of inclusion .

语气要求下的最优Fuzzy蕴涵

Optimum Fuzzy Implication Under the Hedge Criteria

N（2,0）代数的模糊蕴涵理想

Fuzzy Implication Ideals in N ( 2,0 ) Algebras

格H蕴涵代数与格蕴涵代数类

Lattice H Implication Algebras and Lattice Implication Algebra Classes

正则Fuzzy蕴涵代数

Regular Fuzzy Implication Algebra

R0代数中的蕴涵滤子与同余关系

Implication Filters and Congruence Relations in R 0 Algebras

最后，得到了在格H蕴涵代数中，准素滤子和素滤子等价的结论。

A primary filter is proved a prime filter in lattice H implication algebras .

“include”软件工具能够蕴涵子文件的拷贝，可用“include”组装许多程序。

The " INCLUDE " software tool can include copies of subfile . " INCLUDE " can be used to assemble many programs .

随着互联网的发展，Web中蕴涵海量呈指数级增长的各类信息，历史学专家的研究途径不再局限于封闭的数据库，而是借助搜索引擎在Internet上寻找所需要的史学信息。

With development of Internet , various kinds of information grow exponentially , historians search for useful historical information through Internet rather than limit to a closed database .

基于完备BR0-代数的全蕴涵三I算法

Total Complication Triple I Method Based on Complete BR_0-Algebra

XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础，是XML规范化理论的关键问题之一。

The problem of inference rules for multivalued dependency is the key to solve implication problem between dependencies in XML and the key problem of XML normalization theory .

本文首先对WTO例外条款进行了概述，包括概念、分类、法理基础及蕴涵的法律原则。

Firstly , this thesis makes a general introduction to WTO exception clauses , which consists of concepts , classification , jurisprudential basis and the implied legal principles .

HEYTING代数与FUZZY蕴涵代数

Heyting algebra and fuzzy implication algebra

本文的第二章正是基于全蕴涵三Ⅰ算法，讨论当蕴涵算子取蕴涵格中的蕴涵算子（称为IL型蕴涵）时的三Ⅰ算法和三IMT算法以及它们的还原性。

In the second chapter of the paper , we turn to the IL-type triple - I algorithm of fuzzy reasoning .

同时探讨了关联蕴涵代数与剩余格及BL代数之间的关系。

Meanwhile , discussion was made on the relations between residual lattice , BL-algebra and associated implication algebra .

讨论由模糊蕴涵算子Einstein算予交的基于三I算法构造的单输入单输出和双输入单输出模糊控制器及其响应函数。

The 1 2 - input / 1-output fuzzy controllers constructed by Einstein fuzzy implication operator intersection based on full implication ⅲ algorithm and its response function is researched .

他们还需要掌握数据库的概念或具有DBA的经验，以便在设计解决方案时能够理解源和目标数据库之间的蕴涵关系。

They also need to have knowledge of database concepts or DBA experience in order to understand the implications for the source and target database when designing this solution .

在此基础上运用模糊推理对任意零件的STEP文件中的两两类型面进行组合推理，通过选用不同的模糊蕴涵规则可以快速地初步确定推理结果，为进一步确定组成零件的基本特征奠定了基础。

The two surfaces of the step file of arbitrary part were combined and inferred by the fuzzy reasoning . The reasoning results were rapidly and preliminary determined by the different fuzzy implication rules . This is the foundation for further determining the basic features of part .

在以往的研究中，根据洞穴次生碳酸盐沉积87Sr/86Sr的变化对一些可能的Sr来源的相对贡献进行了研究，并进一步对其蕴涵的气候环境演化意义进行了探讨。

In the past studies , changes in speleothem 87Sr / 86Sr is used as an indicator of variations of relative contribution of various Sr sources , and in turn as a reflection of changes in paleoclimate and paleoenvironment .

对LP（X）中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件；

The method for judging a logical formula is a indecomposable extremely simple form or not was discussed , the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given .

然后从以下三个方面讨论了CRI方法在模糊分类中的应用：（1）不同的蕴涵算子对分类结果的影响；

Then it discusses the application of CRI method in the fuzzy classification problems in the following three aspects : ( 1 ) the influence of different implication operators on the classification result ;

Davis通过把Dowty的论元选择从一个抽象过程实现为特征结构表达式，成功地将词汇语义蕴涵引入到HPSG框架之内。

By rendering Dowty 's argument selection from an abstract procedure into a concrete feature structure presentation , Davis has successfully introduced the lexical entailments into HPSG ( Head-Driven Phrase Structure Grammar ) .

其次分别给出泛蕴涵与D-P条件和（T-T1）条件的关系，得出泛蕴涵在什么情形下分别满足它们。

Then the relations between universal implication and two conditions that are D-P condition and ( T-T 1 ) condition are deeply discussed , the cases that the universal implication satisfies the two conditions are obtained .

近红外光谱信号分析（NIRS）近年来发展迅速并获得临床应用，人们一直试图用此方法得到精确的组织血液成分的信息，而没有挖掘其中蕴涵的血管动态调节的丰富信息。

Near infrared spectroscopy ( NIRS ) has been developed rapidly , some achievements have been applied to clinic . Up to now , all reports focused on quantifying the tissue blood oxygenation precisely , whereas overlooked the important information on vascular regulation hiding in signals of NIRS .

基于布尔型蕴涵的模糊关系方程的分解与求解

Decomposition and Resolution of Fuzzy Relation Equations Based on Boolean Implications