蕴涵
- implication;contain;accumulate
![蕴涵](../cache/1403150.jpg)
-
[contain;accumulate] 包含。也作蕴含
-
本文阐明了形式化验证中中间断言和最弱前置谓词两种思想和方法,在此基础上,解决了两个问题:开始前置断言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