演绎系统的英文

• deduction system
• hypothetical-deductive system

• "演绎"英文翻译    deduction
• "系统"英文翻译    system
• "假想-演绎系统" 英文翻译 :    hypothetico-deductive system
• "标准演绎系统" 英文翻译 :    standard deduction system
• "过程演绎系统" 英文翻译 :    procedural deduction system
• "后向演绎系统" 英文翻译 :    backward deduction system
• "向后演绎系统" 英文翻译 :    backward deduction system
• "自然演绎系统" 英文翻译 :    natural deduction system
• "希尔伯特演绎系统" 英文翻译 :    hilbert-style deduction system
• "演绎系统完备性" 英文翻译 :    completeness of deduction system
• "基于反向规则的演绎系统" 英文翻译 :    backward rule-based deduction system
• "基于规则的演绎系统" 英文翻译 :    rule based deduction system; rule-based deduction system
• "基于规则的正向演绎系统" 英文翻译 :    forward rule-based deduction system
• "希尔伯特风格演绎系统" 英文翻译 :    hilbert-style deduction system
• "基于规则的正向演绎系统, 正向规则演绎系统" 英文翻译 :    forward rule-based deduction system
• "演绎" 英文翻译 :    [逻辑学] deduction; inference; deduce
• "假想-演绎框架系统" 英文翻译 :    hypothetico-deductive frame system
• "可演绎" 英文翻译 :    deductibility
• "推论,演绎" 英文翻译 :    deduce
• "演绎，扣除" 英文翻译 :    deduction
• "演绎版" 英文翻译 :    demo
• "演绎的" 英文翻译 :    apriori; celine dion; deductive; syllogistic
• "演绎地" 英文翻译 :    deductively
• "演绎法" 英文翻译 :    deduction; analysis; deductive method
• "演绎论" 英文翻译 :    theory of deduction

• Abstract operator logic and its natural deduction system
  抽象算子逻辑及其自然演绎系统
• The natural deductive system of fuzzy logic
  模糊逻辑中的自然演绎系统
• An hnc approach to the resolution of syntactic structural ambiguity
  句法范畴的代数结构与演绎系统
• About this , the completeness of the formal deductive systems is one of the main branches
  在完全解决模糊推理的逻辑基础问题中，形式演绎系统的完备性是非经典逻辑的主要研究方向之一。
• Basing on the thorough research and analysis of several essential technologies , we have implemented identity authentication , illegal link , network security aduit and anti - virus detection etc . we used digital certificate to accomplish identity authentication which was based on the study and analyzing of all kinds of authentication . in regard to network security audit , we mainly researched on the distributed model of network security audit and the audit strategy of the rule library . in view of the traditional rule library ’ s flaws , with the formalizing description of audit rule , we proposed a dynamic security audit strategy model which was based on the nature deduction system
  在研究并分析各种认证技术的基础上,采用基于数字证书的认证方式,实现用户上网资格审查;针对网络安全审计,重点研究了网络安全审计分布式模型以及基于规则库的审计策略,并针对传统审计规则库的缺陷,通过对审计规则进行形式化描述,提出了一种基于自然演绎系统架构的动态安全审计策略模型dsasm ( dynamicsecurityauditstrategymodel ) ,并详细论述了该模型的定义和推演算法;通过深入研究非法外联的关键技术和检测模型,提出了基于路由表查找的c / s架构的非法外联检测模型;针对病毒检测,提出了基于主机的防病毒检测思想,在客户端进行病毒防护。