简介:通过对目前正在实施的入侵检测系统的深入分析,利用Java语言的安全性机制,来设计入侵检测系统,提高其自身的安全性.介绍了用Java来设计入侵检测系统中的网络通信模块,提高检测网络数据安全性的能力。
简介:研究了入侵检测系统中海量数据分类的问题.讨论了深度信念网络(DBN)的原理,提出了基于DBN的入侵检测模型.DBN由多层无监督的限制玻尔兹曼机(RBM)网络和一层有监督的反向传播(BP)网络构成.该入侵检测模型采用一种快速、贪婪的方法对DBN网络进行预训练,利用对比分歧算法逐层训练每一个RBM网络;然后,利用有监督的BP算法对整个DBN网络进行微调,并同时对RBM网络输出的低维特征进行入侵数据分类.基于KDDCUP1999数据集的实验结果表明,使用3层以上的DBN模型分类效果优于自组织映射和神经网络方法.因此,DBN是一种有效且适用于高维特征空间的入侵检测方法。
简介:实证分析方法与价值分析方法是国际私法学术研究所运用的两种最基本、最典型的研究方法。其中,实证分析方法进行的是“实然”研究,回答研究对象“实际是什么”的问题,为探寻国际私法现行立法与司法实践的不足提供基本素材,进而明确国际私法的学术研究方向和提升空间;价值分析方法是国际私法学术研究的“拔高”手段,进行的是“应然”研究,回答研究对象“应当怎么样”的问题,为国际私法现行立法与司法实践的诸多不足提出完善建议,从而真正实现国际私法学术研究促进学科进步与立法完善的基本目的。国际私法学术研究应当“梯级”运用实证分析方法与价值分析方法:首先运用实证分析方法明确研究对象“实际是什么”,然后运用价值分析方法明确研究对象“应当怎么样”。
简介:生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性。