一种具有自我恢复功能的脆弱性水印技术

脆弱性数字水印技术主要用于检测图像内容的完整性,即检测是否被篡改,并对其进行定位,它是解决数字产品内容保护的有效方法,而自嵌入水印技术不但具有检测篡改的能力,而且能够对被篡改区域进行修复.作者在对现有的自嵌入脆弱性水印进行分析的基础上,提出了一种改进的具有修复功能的自嵌入水印算法,大量的实验结果表明该方法的有效性与实用性.

基于SDL-LightGBM集成学习的软件缺陷预测模型

为提高软件缺陷预测准确性和预测模型的可解释性,提出一种Spearman+DE+LIME+LightGBM(SDL-LightGBM)集成学习的软件缺陷预测模型。使用混合特征选择方法Spearman+LightGBM确定最佳特征子集,在保证模型预测性能的情况下降低模型复杂度;使用集成学习算法LightGBM(light gradient boosting machine)对特征子集建立预测模型,并使用差分进化(differential evolution, DE)算法优化模型的重要超参数;使用局部可解释的模型无关技术(local interpretable model-agnostic explanations, LIME)对模型进行局部可解释分析。实验通过12个项目的35个版本的结果表明,SDL-LightGBM算法优于现有的软件缺陷预测方法,F1值平均提高8.97%,AUC值平均提高11.42%,模型训练时间缩短43.6%。

基于JSP技术的WEB物流信息系统的设计与实现

本文基于JSP技术。探讨了Browser/Server体系结构下物流信息系统的设计与开发,同时介绍了利用JSP技术开发WEB物流信息系统的特点和关键技术,最后给出一个邮政物流信息系统的实例。

一种验证JPEG图象内容完整性的自恢复水印技术

自嵌入水印技术是将图象本身作为水印嵌入到图象中的水印技术,不但具有检测篡改的能力,而且能够对被篡改区域进行修复。现在的自嵌入水印技术大多比较脆弱,特别是在抗JPEG压缩方面显得过于脆弱,因此在实用性方面受到一定限制。提出了一种直接对JPEG图象进行自嵌入的数字水印算法,实验结果表明该方法的有效性与实用性。

基于图表示学习的代码异味强度排序模型

代码异味的存在使得软件系统难以开发和维护.现有的代码异味检测器通常仅输出结果,忽略了结合开发者的需求对检测出的异味按照其强度进行排序,而将判断异味重构优先级的耗时过程留给了开发人员.因此,本文提出了基于图表示学习的代码异味强度排序模型,为开发人员的重构优先级决策提供参考.该模型利用抽象语法树与代码间的依赖调用关系构建语义结构图,采用无监督的图表示学习方法将语义结构图与代码度量信息结合生成嵌入表示,利用机器学习方法,根据开发人员感知的异味严重性程度实现代码异味的强度排序.本文将模型应用于4种常见的代码异味,即Blob、Complex Class、Spaghetti Code与Shotgun Surgery.通过实验表明,本文提出的代码异味强度排序模型在大型开源项目上具有科学性与有效性,相较于基线方法,F1值最高提升了10.35%.

在动载荷作用下框架结构大变形分析的微分代数方法

采用弧坐标首先建立了在动载荷作用下,具有不连续性条件和初始位移的框架结构大变形分析的非线性数学模型.其次,在空间区域内,采用微分求积单元法(DQEM)来离散非线性数学模型,并提出了在使用DQEM来求解结构大变形分析中,多个变量具有间断性条件的有效方法,得到了一组非线性DQEM的离散化方程,它是时间域内的一组具有奇异性的非线性微分-代数方程.同时也给出了求解非线性微分-代数方程组的一个解法.作为应用,求解了受集中力和分布力作用的框架和组合框架的大变形静动力学问题,并与现有结果进行了比较.数值算例表明,处理多个变量具有间断性条件的方法和求解代数-微分系统的方法是一个有效的和一般的方法,它具有较少的节点、较小的计算工作量、较高的精度、良好的收敛性、操作简单以及应用广泛等优点.

通用可组合安全的门限签名协议

门限签名协议使得签名团体中任何t个参与者合作可以生成某个消息的有效签名;而少于t个参与者就无法得到该消息的合法签名。目前关于门限签名协议的安全性研究只是专注于单一协议执行时的安全性,针对这点,引入通用可组合框架。利用该框架的通用可组合性可以模块化地设计与分析门限签名协议。首先定义了门限签名协议在通用可组合框架下的安全模型,并证明其等价于门限签名协议标准概念下的安全模型,然后以前摄门限签名协议为例描述如何应用这个安全模型。提出的门限签名协议和前摄性门限签名协议不仅满足可证明安全性,还具有通用可组合安全性。

基于监控服务器的在线考试防作弊方法的研究

探讨了在线考试中可能出现的各种作弊方法,其中基于互联网通信的方法是较容易解决的,可以采用设置考试网关,在网关处对数据包过滤,仅允许与位于互联网上的考试服务器等机器之间的数据包通过,而对其它数据包统统禁止的方式解决;而基于局域网通信的方法是较难解决的,对局域网内作弊的监视和控制方法做了重点介绍,在LAN内设置一台监控服务器,负责监控LAN内数据包,并对数据包进行分析,发现非法的数据包,则切断连接,从而实现在线考试的监考功能。

流体饱和多孔弹性柱体动力响应的微分求积法

基于多孔介质混合物理论,在小变形的假设下,建立了两相不可压流体饱和多孔介质弹性空间轴对称问题的控制方程。在空间域和时间域内分别采用微分求积方法和二阶向后差分格式来离散控制方程,给出了处理对称轴处奇异性条件的方法,并在空间离散后采用消元法来缩减未知量,提高计算速度。作为应用,分析了流体饱和弹性多孔介质圆柱体的动力响应,考察了所布节点数对数值结果的影响。

基于J2EE框架的Web应用可靠性研究

为了快速开发基于银行系统的框架,结合目前流行的开源框架,提出了一种在开发J2EE Web应用时解决复杂度问题的解决方案。该方法通过采用多层次的设计思想,将表示层、业务层、持久化层进行分离,能够帮助开发人员在短期内搭建系统。通过整合Spring和iBATIS框架,实现了一体化信用卡业务系统—TOPCARD系统平台,最大化地提升系统的开发效率和缩减编写代码的工作量。实验结果表明,该方法使得系统有更高的稳定性和可维护性。

Euler型梁-柱结构的非线性稳定性和后屈曲分析

在有限变形的假设下,建立了位于非线性弹性基础上非线性弹性Euler型梁-柱结构的广义Hamilton变分原理,并由此导出了任意变截面Euler型梁-柱结构的3维非线性数学模型,其中考虑了转动惯性、几何非线性、材料非线性等因素的影响.作为模型的应用,分析了弹性基础上一端完全固支另一端部分固支,并受轴力作用的均质等截面线性弹性Euler型梁的非线性稳定性和后屈曲;结合打靶法和Newton法,给出了一种计算平凡解(前屈曲状态)、分叉点(临界载荷)和分叉解(后屈曲状态)的数值方法,对前两个分支点和相应分支解,成功地实现了数值计算,并考虑了基础反力和惯性矩对分支点的影响.

基于GMDH神经网络的组合预测模型

软件可靠性增长模型(SRGM)是软件可靠性工程中一项重要的研究内容.在可靠性增长模型应用的过程中,常常因为模型假设与实际软件开发和调试过程有差异,导致可靠性预测的准确性不高.至今尚没有一种能适应各种软件开发环境的SRGM.为此,某些国外文献采用遗传(GA)算法,提出了模型组合方法,以期提高SRGM的预测能力.本文采用GM DH神经网络,提出一种非线性的SRGM模型组合方法.通过对比基于GA算法的模型组合方法,实验结果表明,基于GMDH神经网络的组合方法能有效提高模型预测能力.

简单的通用可组合代理重签名方案

给出一个简单的代理重签名方案及其两个等价的安全模型:基于通用可组合安全框架的安全模型和基于游戏的安全模型.提出的方案是双向的、多用的、可传递的和密钥最优化的,其安全性可以规约到随机预言机模型下的计算Diffie-Hellman假设.该方案同时也满足通用可组合安全性.

求解几何非线性桩-土耦合系统的微分求积单元法

将桩-土系统看成在土层中嵌入了一根等圆截面桩的空间轴对称弹性体,在几何非线性的条件下建立了具有间断性条件的桩-土系统的非线性控制方程,并运用微分求积方法(DQEM)来求解了该问题.提出了利用DQEM求解非线性空间轴对称问题中处理单元之间连接条件(包括间断性条件)及边界条件的离散化方法,最终得到了一组离散化的非线性DQEM代数方程,运用Newton-Raphson迭代方法求解非线性代数方程组可以得到每个节点处的位移,进一步可以得到系统的应力和应变.给出了两个数值算例,并与有限元解进行了比较,它们是非常吻合的.将看到,由于在采用DQEM求解时只布置了较少的节点,因此,该文方法具有较小的计算工作量、较高的精度、良好的收敛性以及应用广泛等优点.该文提出的处理连接条件的方法是一个一般的方法,由于它在数学上遵循了求解边值问题的思路,因此,数学上也是严谨的.

基于WinPcap的电子监考系统的研究与实现

针对目前在线考试中的作弊问题,设计实现了一种基于WinPcap(Windows Packet Capture)的电子监考系统,介绍了电子监考系统的相关技术、系统结构及实现过程中所涉及的几个关键问题,对其中较难实现的局域网内作弊的监视和控制方法,进行了重点介绍,经过实验证明,该系统对阻止作弊行为有很好的作用。

无网格方法在平面粘弹性力学问题中的应用

本文综合应用无网格方法(EFGM)、线性粘弹性与弹性力学之间的对应原理,Laplace变换和逆变换等方法求解了拟静态平面弹性和粘弹性力学问题。首先,利用Laplace变换和逆变换推导了平面问题的粘弹性本构关系,建立了拟静态粘弹性平面问题的边值问题;其次,利用粘弹性与弹性力学之间的对应原理得到了Laplace变换域中平面问题的基本方程,在Laplace变换域中建立了相应的泛函,并得到了用无网格方法离散的控制方程;同时,求解了几个拟静态弹性和粘弹性平面问题,给出了它们的表达式和数值结果;最后,采用Laplace逆变换和数值逆变换,得到了粘弹性力学平面问题在物理空间中的解,并比较了由解析解和无网格数值方法所得到的数值结果,可以看到它们是非常吻合的。说明本文方法的正确性和有效性。

基于数据包嗅探的主机网络地址自动配置方法

针对网络地址管理中存在的若干问题,提出一种基于数据包嗅探的主机网络地址自动配置方法。该方法通过对局域网内其它主机的数据包进行嗅探和协议分析,得到其它主机的地址配置信息。然后根据这些配置信息计算出子网的地址范围,最后通过对活动地址的探测得到本机可用的网络地址集,并从中随机选择一个配置到本机上。该方法实现了IP地址无冲突分配,能够简化网络管理和提高管理的效率。

基于Spring MVC及MyBatis的Web应用框架研究

基于EJB等重量级的Web应用框架存在很多问题,如性能差、复杂度高、代码复用率低等,提出了一种B/S结构与C/S结构相结合,采用Spring MVC设计模式和MyBatis为基础的Web应用框架,并对该框架的结构、组成等内容进行分析和研究。以TOPCard信用卡业务系统为应用实例,说明Spring MVC和MyBatis在Web系统中的应用。通过实验结果分析,基于Spring MVC及MyBatis的Web应用框架研究,可以解决性能差、复杂度高、代码复用率低等问题。

弹性地基上HDAJ接头桩的非线性稳定性分析

本文采用弧坐标首先建立了弹性地基中受轴向载荷作用的高柔性抗震拼接头桩(HighDuctilityAseis-maticJointSplicedPile)的非线性数学模型,并假定土(基础)对桩基的反作用力服从Winkler模型;在此基础上对该模型进行了线性化,并得到HDAJ接头桩的临界载荷。最后根据分叉理论的观点和方法,讨论了HDAJ接头桩在临界载荷处的稳定性问题。研究结果表明HDAJ接头桩在临界载荷附近必发生分叉,且分叉解是唯一的,稳定的,并且给出了分叉解的渐近表达式。物理上,这表示HDAJ接头桩的平衡构形在临界载荷处必然发生改变,并且从一个稳定的平衡构形变化到另一个稳定的平衡构形。同时考察了土的液化对临界载荷的影响,说明液化的影响是非常明显的。当考虑土的液化时,桩基的临界载荷低于不考虑土的液化时桩基的临界载荷。

微分求积方法对于桩基大变形分析的应用

本文基于大变形的理论,采用弧坐标首先建立了具有初始位移的桩基的非线性数学模型,一组强非线性的微分-积分方程,其中,地基的抗力采用了Winkeler模型;其次,引入变数变换将微分-积分方程转化为一组非线性微分方程,并用微分求积方法离散了方程组,得到一组离散化的非线性代数方程;最后用Newton-Raphson迭代方法对离散化方程进行了求解,得到了桩基变形前后的构形、弯矩和剪力。计算中选取了两种不同类型的初始位移,并考察了它们对桩基大变形力学行为的影响。