Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
He tried to study logic philosophy, it trying to expand concepts to analyses of sentences in thing natural language. Then he established the system of philosophy of logic.
他试图探讨逻辑哲学，即把概念文字扩展到自然语言中句子的分析，建立逻辑哲学体系。
This paper analyses the design form of engine fire detection system, principle of detectors and fire detection logic, as well of technical characteristics.
本文分析了现代飞机的发动机火警探测系统的总体设计，探测器原理和处理探测器信号的判断逻辑和系统设计特点。
This paper analyses mechanisms needed for a negative selection algorithm in an artificial immune system and defines fuzzy similarity using fuzzy logic.
利用模糊思想，在定义了模糊相似度与背离度的基础上，提出了一种生成最有效检测器集的变阈值免疫阴性选择算法。
This paper analyses mechanisms needed for a negative selection algorithm in an artificial immune system and defines fuzzy similarity using fuzzy logic.
利用模糊思想，在定义了模糊相似度与背离度的基础上，提出了一种生成最有效检测器集的变阈值免疫阴性选择算法。
应用推荐