课程文献中心 更多>>

关键词： SQL注入   机器学习   特征向量  

摘要： 随着信息技术的不断发展,人们对网络技术日益依赖,网络本身的安全问题也日益凸显。对于网站来说,SQL注入攻击已经成为其面临的最为严重的安全威胁之一。本文主要研究对SQL注入的检测问题,设计并且实现了一个基于机器学习的SQL注入检测系统,设计该系统主要是为了方便将不同的机器学习算法引入到SQL注入检测的研究中去。本文的主要研究内容如下:(1)经过对SQL注入语句特点的研究,确定系统的特征提取方式,即基于关键词匹配,以此来将SQL语句转换为特征向量,特征向量的每一位都代表了某个关键词是否匹配,并选取了16个关键词用于提取特征。(2)在考虑到用户多种需求的前提下,设计并实现了基于机器学习对SQL注入进行检测的系统,系统的功能有:导入SQL数据集,添加检测关键词,切换不同的机器学习算法,使用机器学习算法对数据集进行学习和建模,以及使用已建立的模型对输入的SQL语句进行判断。在使用多种方式收集数据集后,对系统的功能进行了完整的应用测试,测试结果表明系统可以比较方便的将不同的机器学习算法引入对SQL注入的研究中,并且可以增加关键字,满足了用户多方面的需求。使用系统来对不同的算法用于检测SQL注入攻击的效果进行了测试,测试结果表明使用本系统中提供的算法可以对SQL注入的检测起到较好的效果。

关键词： 微课   设计   相似对角化   教学  

摘要： 微课以"短而全、简而精"的显著特点促进着互联网时代的教学,通过微课设计,使得抽象难懂的线性代数变得清晰简单,打造出"浅、显、易、趣"的数学课堂,文章以线性代数中"矩阵的相似对角化"微课设计为例,对知识点的教授做作了完美的诠释,通过将微课思想应用于传统教学,极大的提高了课堂教学效果,使得学生提升了本节知识和线代代数思想内涵的理解,同时极大的提升了教师的教学水平。

关键词： 两部件系统   拟紧算子   特征值  

摘要： 本文考虑一个包含两个部件和一个修复员系统的数学模型.首先指出此系统的主算子生成一个C0-半群T(t),并证明该C0-半群T(t)是拟紧算子,然后证明0是该主算子及其共轭算子的几何重数为1的特征值,最后将上述结果结合在一起推出该系统的时间依赖解强收敛于该系统的稳态解.

关键词： 微分系统   差分系统   特征值   正解   不动点  

摘要： 本文研究了两类微分、差分系统的特征值问题,利用上下解方法和锥上不动点定理给出了这两类特征值问题正解的存在性结论,总结了多解性结论.第一章,首先介绍了本文的研究背景,然后用两小节分别介绍了微分方程和差分方程特征值问题的发展概况,最后交代了本文的研究内容并列出了文中需要用到的基本定义和定理.第二章,考虑了一类带φ-Laplace算子的非线性微分系统混合边值问题:其中,φ为单调增奇函数,φ(u'),φ(v')∈C1((0,1),R).特征值入,μ为非负实数且不全为***(i = 1,2)∈ C([0,1],R+)且在[0,1]的任意非零测度上不恒为0.f,g是非负的,并且满足在无穷远处超线性.文中首先建立了此类边值问题的上下解定理,给出了正解的存在性结论,然后利用Guo-Krasnosel'skii不动点定理给出了两个正解的存在性,得到关于正解的个数与特征值的大小关系.第三章,研究了二阶差分系统Dirichlet边值问题:其中,T>1为给定的正整数,△为向前差分算子,△u(k+1)=△u(k+1)-△u(k).特征值λ,μ非负且不全为0,hi:[1,T]Z →(0,+∞),f,g非负且为连续函数.本文证明了当λ和μ较小时,这类边值问题正解的存在性,并运用不动点指标理论证明了多个解的存在性.

关键词： 多变量公钥密码体制   UOV签名算法   矩阵运算   AVX2指令集  

摘要： 密码学一直是信息安全中最重要的基础,信息安全中所有的理论和实践都建立在密码学上。随着信息时代的来临,密码学作为保护信息安全的重要工具,得到了飞速的发展。在对称密码体制中,发展出了广为人知的DES对称加密算法和AES对称加密算法等算法,而非对称密码体制中,则发展出了RSA算法、Elgmal算法以及ECC算法等算法。在20世纪90年代,Shor P.提出了量子攻击,原本在攻击RSA算法、Elgamal算法以及ECC算法时需要指数时间,现在只需要多项式时间就能达到了,这对于传统公钥密码体制无疑是一个毁天灭地的打击。庆幸的是还没有一台理想计算能力的量子计算机诞生。然而在2016年,随着世界上首颗量子科学实验卫星“量子号”的成功发射升空,象征着量子计算机技术的飞速发展,意味着量子计算机技术即将迈向成熟,保护信息的安全需要一套抗量子攻击的密码方案。多变量公钥密码体制(Multivariate Public Key Cryptosystems,MPKC)是一种能够有效对抗量子攻击的非对称密码体制,早在20世纪80年代就有人提出来了。MPKC在数学的角度上来说,就是在求解基于有限域的非线性多变量方程组。在1999年,非平衡油醋签名方案(Unbalance Oil-Vinegar,UOV)首次被提出,时至今日仍然是MPKC中研究的热门。然而,这些年中,对UOV的研究更多地只是停留在理论上,而导致在具体实现时效果远差于理想。本文针对(31)域UOV签名算法进行具体实现,并对其数据结构和底层的运算进行优化,然后进行向量化编程优化。最后本文再将优化的结果与广为在研究上使用的NTL库(31)域UOV签名算法以及openSSL的RSA签名算法做对比,对比结果可以得知经过优化数据结构和底层运算的(31)域的UOV签名算法性能上全方位超越NTL库实现的方案,而且在签名和验证效率上也比openSSL-RSA表现出色。

关键词： 非负矩阵   不可约矩阵   最大特征值   估计式  

摘要： 非负矩阵理论是数学学科代数中最活跃的研究领域之一,在人口统计学、数值分析、计算机科学、动态规划等领域中具有重要的应用价值。本文基于Perron-Frobenius定理对非负不可约矩阵的最大特征值上下界的问题展开研究。本文的主要内容安排如下:第一章介绍非负不可约矩阵谱半径的研究背景,以及国内外研究的现状。第二章介绍非负不可约矩阵的一些基本定义、基本定理以及一些非负不可约矩阵的常用的算法。第三章给出一种估计非负不可约矩阵最大特征值的新方法。对于非负不可约矩阵A =(αij)n×n,通过构造新矩阵B =（A2 +α1I +A）n-1和C=（A2-α2I +A）n-1,利用新构造矩阵的行和与列和,得到了非负不可约矩阵最大特征值的上下界的估计式:并用算例验证了用新的估计式所得结果比文献[16-19]的结果更加精确。第四章在上一章给出的非负不可约矩阵最大特征值的新估计式的基础上,利用构造的新矩阵B和C,进一步推导出非负不可约矩阵最大特征值的一个上下界的极限估计式:（?）并且从理论上证明了该极限估计式。

关键词： 多元方差分析   wilks检验统计量   F检验统计量   广义特征值  

摘要： 多元方差分析是一种非常重要的多元统计分析方法,主要任务包括:检验各个因素对实验指标的影响是否显著、估计出各个因子不同水平的效应值、估计出各个因子水平之间的交互效应值、估计出协方差阵等等。其中首要任务是检验各个因素对实验指标的影响是否显著。为此,需要进行假设检验,较常使用的检验统计量有:wilks检验统计量、Hotelling迹检验统计量、Pillai-Bartlett准则检验统计量以及Roy最大特征值检验统计量。这些检验统计量经过适当变形,可以转化为服从F分布的检验统计量。这些检验统计量的导出过程计算量较大,将它们转化为服从F分布检验统计量的推导证明过程较难理解,需要用到高深的数理统计知识。为了克服上述问题,可以利用投影技术将高维数据降低为一维数据,能够证明投影后的数据仍然满足同方差且服从正态分布,可以直接基于线性变换后的数据构建F分布检验统计量进行多元方差分析,这种分析方法在很大程度上改进了多元方差分析的效率。基本思路为:该F检验统计量与一般的F统计量有所不同,其中投影方向事先并不知道,所以无法计算出检验统计量具体数值。投影技术可以使组间差异最大化,也可以使组间差异最小化,为了排除不同投影方向对检验结果的干扰,可以向使组间差异最小化方向投影,然后计算F检验统计量具体取值F,若该值落入拒绝域中,则向任何方向投影计算F检验统计量具体取值均落入拒绝域,故各组样本均值向量之间确实存在差异,依据小概率事件在一次实验中不发生原则,有充分理由拒绝原假设;如果F没有落入拒绝中,有可能向其他方向投影,计算的F检验统计量具体取值落入拒绝域,为了排除这种情况,可以计算出F检验统计量最大值F,若F统计量最大值仍然落入接受域,则向任何方向投影,计算F检验统计量具体取值均落入接受域,即各组样本的均值向量确实没有差异,故不拒绝原假设;如果F落入接受域,F落入拒绝域,则可以调整显著性水平,直到出现F落入拒绝域或者F落入接受域。

关键词： 协同向量   任务分配   多智能体系统   联盟形成   人工智能  

摘要： 联盟形成是多智能体系统中一个重要的协同问题,对智能体的协同能力进行适当的描述是处理这个问题的一个基本且必要的前提。这篇文章对智能体的协同能力进行了建模,该模型由五个影响因素构成。同时,对任务需求向量进行了描述。提了一种随机机制以减少联盟形成过程中的过度竞争。此外,为了减少任务需求和实际任务需求之间的差距,提出了一种人工智能方法,该方法可以提高多智能体对人类指令的认知。实验结果显示了该模型及分布式人工智能方法的有效性。

关键词： GCT变换   几何形状   复数空间   特征向量   形状相似性判定  

摘要： 目的人类的视觉能力可以轻易地判定两个几何图形形状的相似性,但是,这对于计算机来说仍是一个开问题。在计算机视觉应用中,不仅需要对图形形状进行分类和相似性判定,还需要对图形形状的相似性度量给出与人类的视觉判断一致的结果,这是目前图形形状表示和分类算法没有较好解决的问题。方法通过GCT变换,将图形形状从实数空间的坐标表示变换到复数空间的复数特征向量表示,进而将判定两个几何形状的相似性问题转化为判定它们的复数空间特征向量的相似性问题。GCT变换不仅可以判定图形形状的相似性,它还是可逆的,它可以近似重建原图形形状。结果 GCT变换具有位移、尺度和旋转不变性,它不仅可以判定几何图形形状的相似性,给出与人类视觉判断一致的相似性结果,而且在两个几何图形形状相似的情况下,还能计算出它们的角度旋转和尺度缩放。结论对于封闭的几何形状,如果几何形状的中心点位于几何形状的内部且过中心点的任一直线与该几何形状有且只有两个交点,理论证明和实验验证,GCT变换可以高效准确地判定这类几何图形形状的相似性,并给出与人类视觉判定一致的结果。

关键词： 波浪群性   码头   系泊船   运动响应  

摘要： 码头前系泊船的运动响应与缆绳张力对于码头的运营安全至关重要。波群对系泊浮体波浪载荷特性不同于普通的随机波浪,具有一定的特殊性。该文对两种模拟波群方法进行了讨论,分析了两种模拟波群方法的特点以及群性与波浪统计特征值之间的关系。在此基础上开展了群性波浪作用下系泊船的运动响应研究,得出了谱峰因子?、群高参数GFH和群长参数GLF与波浪特征波高的变化规律。