English translation for "演绎系统"
|
- deduction system
hypothetical-deductive system
Related Translations:
智慧演绎: intelligence everywherethe choice of a new generation 演绎作品: derivative worksderived works 演绎逻辑: deductive logicdeductive reasoning 演绎结论: deductive conclusion
- Example Sentences:
| 1. | Abstract operator logic and its natural deduction system
抽象算子逻辑及其自然演绎系统 | | 2. | The natural deductive system of fuzzy logic
模糊逻辑中的自然演绎系统 | | 3. | An hnc approach to the resolution of syntactic structural ambiguity
句法范畴的代数结构与演绎系统 | | 4. | About this , the completeness of the formal deductive systems is one of the main branches
在完全解决模糊推理的逻辑基础问题中，形式演绎系统的完备性是非经典逻辑的主要研究方向之一。 | | 5. | 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架构的非法外联检测模型;针对病毒检测,提出了基于主机的防病毒检测思想,在客户端进行病毒防护。 |
- Similar Words：
- "演绎推理" English translation, "演绎推理功能" English translation, "演绎推理控制" English translation, "演绎推理演绎推理" English translation, "演绎问答程序" English translation, "演绎系统完备性" English translation, "演绎形式查询语言" English translation, "演绎性的" English translation, "演绎学习" English translation, "演绎学习法" English translation
|
|
|
