简介:研究了入侵检测系统中海量数据分类的问题.讨论了深度信念网络(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的执行过程和系统属性。
简介:研究了一类具有时滞的捕食系统模型。首先,分析捕食系统无时滞时,利用线性近似方程和构造Lyapunov函数研究系统平衡点的稳定性;其次,含有时滞时,满足一定条件时系统正平衡点的稳定性;最后,分析正平衡点处hopf分支的存在性。
简介:起源于美国的翻转课堂教学模式是近几年国际教育的革命性变革,并随着MOOC的推进不断成熟,我国教育界高度关注翻转课堂在我国高等教育中的重要意义及评价体系。本研究创新性地从学习者预期变量出发,整合美国客户满意度理论(ACSI)和技术接受模型理论(TAM),选择来自四所本科高校178名学生参与为期一年的翻转课堂教学试点。综合国内外量表,结合我国高教情况制定问卷,通过探索性因子分析最终选择8个观测变量,再利用结构方程分析软件PLS对假设的结构方程模型进行拟合、修正和解释,最终提出我国翻转课堂满意度模型,并发现翻转课堂中学习者个性化需求、预先课程体验等因素对学习者满意度的重要影响机制,为FCM在我国高等教育和电化教育中发展提供了理论借鉴和数据参考。
简介:提出了一种基于级联投影的高斯混合模型算法。首先,针对不同的特征维度计算高斯混合模型的边缘概率,依据边缘概率模型构造出多个子分类器,每个子分类器包含不同的特征组合。采用级联结构的框架对子分类器进行动态融合,从而获得对样本的自适应能力。其次,在心电情感信号和语音情感信号上验证了算法的有效性,通过实验诱发手段,采集了烦躁、喜悦、悲伤等情感数据。最后,探讨了情感特征参数(心率变异性、心电混沌特征,语句级静态特征等)的提取方法。研究了情感特征的降维方法,包括主分量分析、顺序特征选择、Fisher区分度和最大信息系数等方法。实验结果显示,所提算法能够在2种不同的场景中有效地提高情感识别的准确率。