检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

数据挖掘在入侵检测中的应用研究

数据挖掘在入侵检测中的应用研究

作者：蔡少伟华南理工大学

学位级别：硕士

随着计算机硬件及网络技术的快速发展,信息已经成为推动经济和社会发展的关键因素,人们进行资源共享的同时,也感受到了信息安全问题日益突出。网络攻击手段也呈现出多元化、复杂化、智能化的特点,仅仅依靠传统的静态安全防御技术已经不... 详细信息

随着计算机硬件及网络技术的快速发展,信息已经成为推动经济和社会发展的关键因素,人们进行资源共享的同时,也感受到了信息安全问题日益突出。网络攻击手段也呈现出多元化、复杂化、智能化的特点,仅仅依靠传统的静态安全防御技术已经不能满足网络安全的需求,入侵检测技术作为一种典型的主动防御技术已经成为保障网络安全的重要手段。传统的采用手工编码方式构造的入侵检测系统在检测准确率、自适应性和扩展性等方面均存在不足,将数据挖掘技术应用于入侵检测系统可解决这些问题。论文首先阐述了入侵检测和数据挖掘的概念,常用的入侵检测技术和模型,并分析了数据挖掘技术在入侵检测系统中的应用。在此基础上对入侵检测系统体系结构进行了扩展,并提出了一种基于数据挖掘的入侵检测系统模型,然后对模型的工作原理、流程和功能模块进行了详细的设计。该模型利用聚类分析算法对数据集进行分类,模型不需要带有标记的训练数据集,因此模型具有一定的适应性和扩展性。论文重点对数据挖掘中的关键算法Apriori进行了分析,针对Apriori的不足,论文根据数据库事务的统计性规律提出了基于层次发现最大频繁项集的挖掘算法。算法首先从整体上判断候选集的频繁性,然后在最大频繁项集的发现过程中算法通过引入整体性策略、排序策略、最小策略有效地减少了候选集与数据库事务之间的比较次数。实验证明该算法较Apriori算法提高了效率。

关键词：入侵检测数据挖掘关联规则 Apriori算法最大频繁项集

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

掺杂钴元素对尖晶石锰酸锂的影响

电源技术 2013年第7期37卷 1118-1120页

作者：蔡少伟中国电子科技集团公司第十八研究所天津300384

采用高温固相反应合成了具有尖晶石结构的化合物LiMn2-xCoxO4,通过X射线衍射、扫描电镜和激光粒度分析对所得样品的结构、形貌和粒度分布进行了表征。结果表明,掺杂钴可以合成结晶良好的具有尖晶石结构的晶体。研究了Co含量(x=0.00,0.05... 详细信息

采用高温固相反应合成了具有尖晶石结构的化合物LiMn2-xCoxO4,通过X射线衍射、扫描电镜和激光粒度分析对所得样品的结构、形貌和粒度分布进行了表征。结果表明,掺杂钴可以合成结晶良好的具有尖晶石结构的晶体。研究了Co含量(x=0.00,0.05,0.10,0.15)对最终产品物化参数及电性能的影响,发现当Co的添加量为0.10时,产品的综合性能较好。

关键词：锂离子电池固相法尖晶石锰酸锂钴掺杂

在线全文

学校读者我要写书评

暂无评论

锂离子电池正极三元材料的研究进展及应用

电源技术 2013年第6期37卷 1065-1068页

作者：蔡少伟中国电子科技集团公司第十八研究所天津300384

对近年来锂离子电池正极材料氧化镍钴锰锂的研究进展进行了综述,介绍其结构、性能特点、制备方法、电化学性能以及掺杂、包覆改性等方面的研究情况,论述了三元材料的研究现状和市场应用,环保、高能的三元材料将成为下一代动力锂离子电... 详细信息

对近年来锂离子电池正极材料氧化镍钴锰锂的研究进展进行了综述,介绍其结构、性能特点、制备方法、电化学性能以及掺杂、包覆改性等方面的研究情况,论述了三元材料的研究现状和市场应用,环保、高能的三元材料将成为下一代动力锂离子电池的首选。

关键词：锂离子电池正极材料三元材料

在线全文

学校读者我要写书评

暂无评论

连体力学

连体力学

1971年

作者：冯元祯蔡少伟等译述

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

佛教道教商业化治理的广东实践和思考

中国宗教 2021年第2期 70-71页

作者：杨坤龙余庆斌蔡少伟广东省民族宗教研究院

一、佛教道教商业化治理的广东实践(一)广东省治理佛教道教商业化问题取得的成效自国家宗教局等12部门联合下发《关于进一步治理佛教道教商业化问题的若干意见》以来,广东省把治理佛教道教商业化作为宗教工作的一个重点,深入推进治理工... 详细信息

一、佛教道教商业化治理的广东实践(一)广东省治理佛教道教商业化问题取得的成效自国家宗教局等12部门联合下发《关于进一步治理佛教道教商业化问题的若干意见》以来,广东省把治理佛教道教商业化作为宗教工作的一个重点,深入推进治理工作,取得了成效。1.治理商业资本介入问题。这类问题表现在把宗教当作促进旅游、发展经济的手段,以佛教道教活动场所或其他佛教道教资源为核心进行商业宣传,打造景区发展旅游。

关键词：商业宣传实践和思考国家宗教局资本介入商业化广东实践佛教道教活动场所

在线全文

学校读者我要写书评

暂无评论

约束求解与定理证明专题前言

软件学报 2023年第8期34卷 3465-3466页

作者：蔡少伟陈振邦王戟詹博华赵永望中国科学院软件研究所北京100190 国防科技大学计算机学院湖南长沙410073 浙江大学计算机科学与技术学院浙江杭州310007

随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求... 详细信息

随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求解和定理证明是形式化方法中的两大关键技术.在约束求解方面,SAT和SMT求解器已经在学术界和工业界得到了广泛应用,比如SAT求解器用于EDA领域的等价性验证,SMT求解器用于程序验证和白盒模糊测试等.交互式定理证明通过人和计算机之间的交互完成证明,能够验证非常复杂的系统和性质,例如编译器和操作系统的正确性验证.约束求解与定理证明专题关注约束求解和定理证明的理论、技术、工具与应用,包括在EDA、符号执行、模型检测、程序分析与验证、系统安全等领域的应用.

关键词：形式化方法定理证明约束求解符号执行计算机系统模糊测试模型检测系统安全