逻辑特征 meaning in English
logical implication
Examples
- The logic characteristics of lukacs ' mterialization theories
卢卡奇物化理论的逻辑特征 - Information , relationship and quality acceptability of logical features
关系与逻辑特征质的取向 - Describes the hardware architecture platform , specially hardware design , about sync module and program special information ( psi ) extracting module . 3
2 .描述了nios码流分析设计的硬件结构平台,特别是其中的硬件部分,同步头模块和自定义逻辑特征信息提取模块的设计。 - Bisimulation equivalence is considered as one of the fundamental notions of behavioural equivalence , and one of the important properties of bisimulation is its modal logic characterization
互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。 - However , because - bisimulation is not always an equivalence relation , such characterization in the usual style of hml does not always exist for - bisimulation associated with an arbitrary metric
但由于不为超度量时-互模拟一般不为等价关系,所以无法得到一个具有hml经典形式的逻辑特征。