R2L 相关硕士博士期刊学术论文 - 搜论网

R2L相关论文

核安全级控制算法描述语言的可信编译研究

核电站控制保护逻辑规模庞大、逻辑复杂,通常采用面向工程人员的图形语言开发,并自动生成C代码实现。如何保证图形语言到C代码转换......

期刊

核安全级编译器形式化验证定理证明 Coq ACG R2L L2C

基于K-means聚类特征消减的网络异常检测

针对基础K-means算法在KDD 99数据集中检测罕见攻击效果差且效率低下等问题,该文通过数据统计的方式对数据集中各维度与每类攻击类......

期刊

异常检测 K-means 特征消减 U2R R2L

看过本文同时还关注