English translation for "自然演绎系统"
|
- natural deduction system
Related Translations:
智慧演绎: intelligence everywherethe choice of a new generation 演绎作品: derivative worksderived works 演绎逻辑: deductive logicdeductive reasoning
- Example Sentences:
| 1. | Abstract operator logic and its natural deduction system
抽象算子逻辑及其自然演绎系统 | | 2. | The natural deductive system of fuzzy logic
模糊逻辑中的自然演绎系统 | | 3. | 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
|
|
|
