1) composition table reasoning
组合表推理
2) compositional reasoning
组合推理
1.
Model checking based on compositional reasoning for cryptographic protocols;
密码协议的一种基于组合推理的模型验证
2.
Based on assume-guarantee compositional reasoning techniques, a new assume-guarantee based reasoning rule and algorithm are proposed, and the soundness of the rule is proved.
基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题。
3) combinatorial reasoning
组合推理
1.
In order to represent the equivalence of topological relations between a line and a region in vector space,on the basis of 97 topological relations between a line and a region,which are depicted by combinatorial reasoning of spatial topological relations,the questions of equivalent transformation of the basic topological relations types in abstraction process are discussed.
以空间拓扑关系组合推理所描述的线与面之间的拓扑关系为基础,研究了抽象过程中基本拓扑关系类型等价转换所涉及的问题;提出了成分抽象的等价转换方法,并将其运用于线与面之间基本拓扑关系类型的抽象过程中;绘制了线与面之间基本拓扑关系类型的等价转换图。
4) Mamdani Compositional Inference
Mamdani组合推理
5) Spatial direction relations combinative table reasoning
空间方位关系组合表推理
6) Independent Inference of Sum Composition
并组合独立推理
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条