基于本体的茶虫害诊断系统构建的研究 关键词：本体；领域本体；茶虫害；分类法；公理系统 [gap=964]Key words：Ontology；Domain ontology；Tea pest；Classification method；Axiom system
基于46个网页-相关网页
axiom system公理体系 In addition to the classical mathematics, it adopted mainly fuzzy set method to describe the internet economy structure ...
基于6个网页-相关网页
complete axiom system [数] 完备公理系统
consistent axiom system 相容性公理系
Euclidean axiom system 欧几里得公理系统
The axiom system COG 公理系统COG
new axiom system 新公理系统
hoare axiom system hoare公理系统
peano axiom system Peano自然数公理
IMTL axiom system IMTL公理系统
hilbert axiom system hilbert公理体系
In this paper, the authors disscuss a sort of template dependency having available and complete axiom system under null value circumstances.
本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖，给出了模板依赖的强、弱保持条件。
参考来源 - 空值环境下模板依赖（NTD）的研究 in CHe quoted the mobility concept in his abstruse axiom system and improved the non-Euclidean geometries into a mature mathematical science with mathematical experiment (thought experiment)and rich imaginability.
赫氏将运动概念作为基本的概念引入了深奥的公理系统,用合理的数学实验(思想实验)以及丰富的想象能力发展了非欧几何,使之成为一门成熟的数学学科。
参考来源 - 赫尔姆霍茨的数学哲学思想研究·2,447,543篇论文数据，部分数据来源于NoteExpress
As application, we give a equivalent axiom system of associative BCI-algebras.
作为应用，给出结合BCI -代数的一组等价公理系。
Simplify the axiom system of lattice implication algebras, which was given by y.
给出的格蕴含代数的公理系统，并给出另一个公理系统。
Two groups of axioms in the natural axiom system of probability theory are set up.
建立《概率论自然公理系统》中的第组和第组公理。
应用推荐