the rule of substitution

The classical proposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。

Network intrusion rules extraction based on rough set and niche genetic algorithm

基于粗糙集与小生境GA的网络入侵规则提取

Intrusion Detection Model Based on Association Rules;

基于关联规则的入侵检测模型的研究

Study on GEP Rule Extraction Algorithm for Network Intrusion Detection

网络入侵检测的GEP规则提取算法研究

Rule Research of Intrusion Detection System and Pattern of IDS Based on Machine Learning

入侵检测系统的规则研究与基于机器学习的入侵检测系统模型

The Design of IFS～Intrusion Detection and Firewall with Regular Linkage System;

规则联动的防火墙和入侵检测系统IFS设计

Research on Application of Association Rule Mining in Intrusion Detection System;

关联规则挖掘在入侵检测系统中的研究

Improving the Efficiency of Intrusion Detection by Dynamic Rule Set and Protocol Analysis;

利用动态规则集和协议分析提高入侵检测效率

Wireless Intrusion Detection Based on Association Mining;

基于关联规则挖掘的无线网络入侵检测研究

Structure Rules Base of IDS Base on Multi Agent;

基于多Agent的入侵检测系统规则库的构建

Research on Intrusion Detection Technology Based on Mining Association Rule;

基于关联规则挖掘的入侵检测技术研究

Research on Network Intrusion Detection Based on Association Rules;

基于关联规则的网络入侵检测技术的应用研究

Application of Fuzzy Association Mining in Intrusion Detection;

模糊关联规则挖掘在入侵检测中的应用研究

The Intrusion Prevention System Based on Protocol Analysis and Rules Transform;

基于协议分析和规则转化的入侵防御系统

The Research on PSO-Based Rule Extraction Algorithm for Intrusion Detection

基于粒子群优化的入侵检测规则提取方法研究

Research on Database Intrusion Detection Based on Associaton Rules

基于关联规则的数据库入侵检测方法研究

COST-BASED ADAPTIVE INTRUSION RESPONSE SYSTEM

一种代价估算规则在入侵响应系统中的应用

Intrusion detection rules extraction based on rough set and Online SVM

基于粗糙集和Online SVM的入侵检测规则提取

Distributed Intrusion Detection System Based on Dynamic Rule Set

分布式入侵检测系统的动态规则集研究