基于JSP技术的WEB物流信息系统的设计与实现 被引量：1

1

作者 韩冰青 程卫民 俞时权 《计算机应用与软件》 CSCD 北大核心 2003年第3期21-22,58,共3页

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

关键词 JSP 物流信息系统 设计 软件设计 软件系统 WEB 电子商务 物流配送系统 邮政

在线阅读 下载PDF 职称材料

基于卷积神经网络和长短期记忆的死代码检测方法 被引量：1

2

作者 孙义康 高建华 《计算机工程》 北大核心 2025年第2期223-237,共15页

死代码是一种不良代码异味,会导致软件质量逐渐衰退。传统的死代码检测方法主要依赖于静态分析技术、代码结构的度量以及启发式规则,这些方法在开发者之间存在高度差异,且对源代码文本信息关注较少,忽略代码在实际执行过程中的情况,存... 死代码是一种不良代码异味,会导致软件质量逐渐衰退。传统的死代码检测方法主要依赖于静态分析技术、代码结构的度量以及启发式规则,这些方法在开发者之间存在高度差异,且对源代码文本信息关注较少,忽略代码在实际执行过程中的情况,存在较大的局限性。针对以上问题,设计一种新型死代码检测方法,并采用基于卷积神经网络和长短期记忆相结合的技术,其主要思路是将代码文本信息和代码度量信息相结合,提高死代码检测的准确性。首先使用DUM-Tool等工具并结合人工以确定应用程序中的死代码实例进行死代码标记,以深度优先遍历抽象语法树获取源代码的文本信息,将标签值与文本信息相匹配,再使用CK代码度量提取工具获取源代码的代码度量信息。然后通过Word2Vec将文本信息转化为词向量,使用卷积神经网络提取代码度量信息的特征,将两者拼接得到死代码检测的数据集。最后使用长短期记忆网络对数据集进行训练,再通过Sigmoid函数进行分类。实验结果表明,将代码文本信息和度量信息相结合可以有效实现死代码的检测,与传统的检测方法相比,平均F1值最高提升12.58百分点。 展开更多

关键词 死代码 深度学习 文本信息 代码度量 特征提取

在线阅读 下载PDF 职称材料

融合特征选择与多模型软投票集成学习的代码异味检测方法 被引量：1

3

作者 黄晨峻 高建华 《小型微型计算机系统》 北大核心 2025年第2期504-512,共9页

代码异味会导致软件质量逐渐衰退,降低软件可理解性和可维护性.为检测软件结构中的代码异味,提出了一种基于CK度量的、经过两步特征选择的软投票集成学习的代码异味检测方法,该方法首先进行特征选择,使用Pearson相关系数剔除冗余特征,... 代码异味会导致软件质量逐渐衰退,降低软件可理解性和可维护性.为检测软件结构中的代码异味,提出了一种基于CK度量的、经过两步特征选择的软投票集成学习的代码异味检测方法,该方法首先进行特征选择,使用Pearson相关系数剔除冗余特征,并在剩余度量中使用XGBoost特征重要性筛选相关度大的度量.然后,针对仅使用单一机器学习模型泛化性能不佳的问题,提出一种基于5种较成熟机器学习模型的软投票集成学习模型,完成代码异味分类检测任务.实验基于CK度量,利用含7个开源项目、4种代码异味的数据集,实验结果表明,此种方法能够减少特征维度,且在性能指标上优于其它分类模型,其中F1值最高提升3.24%,AUC最高提升2.32%. 展开更多

关键词 代码异味 特征选择 CK度量 投票模型 集成学习

在线阅读 下载PDF 职称材料

基于WinPcap的电子监考系统的研究与实现 被引量：5

4

作者 武伟 魏晓 魏仕民 《计算机应用与软件》 CSCD 北大核心 2008年第1期41-43,共3页

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

关键词 在线考试 WinPcap电子监考 考试网关 ARP欺骗

在线阅读 下载PDF 职称材料

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

5

作者 黄继风 林家骏 何孝富 《计算机工程与应用》 CSCD 北大核心 2005年第33期57-59,共3页

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

关键词 脆弱性水印 内容保护 自嵌入水印 JPEG

在线阅读 下载PDF 职称材料

面向条件筛选搜索系统的蜕变测试方法 被引量：2

6

作者 韩育珍 陈军华 高建华 《计算机工程与设计》 北大核心 2021年第7期1897-1903,共7页

为缓解拥有庞大数据信息的条件筛选搜索系统搜索结果时带来的Oracle问题,提出蜕变测试方法。通过识别程序多次输入输出之间的关系是否违反蜕变关系,可有效缓解Oracle问题。因此,有效识别蜕变关系是完成蜕变测试的前提。根据条件筛选搜... 为缓解拥有庞大数据信息的条件筛选搜索系统搜索结果时带来的Oracle问题,提出蜕变测试方法。通过识别程序多次输入输出之间的关系是否违反蜕变关系,可有效缓解Oracle问题。因此,有效识别蜕变关系是完成蜕变测试的前提。根据条件筛选搜索系统的自定义条件,设计两种蜕变关系模式帮助简化蜕变关系的识别,提高蜕变测试的故障检测质量。实验结果表明,利用改进的蜕变关系模式在条件筛选搜索系统中执行蜕变测试提高了14%的精确率,验证了该方法识别蜕变关系的简洁性和有效性。 展开更多

关键词 条件筛选 搜索系统 蜕变关系模式 蜕变关系 蜕变测试

在线阅读 下载PDF 职称材料

基于SDL-LightGBM集成学习的软件缺陷预测模型 被引量：3

7

作者 谢华祥 高建华 黄子杰 《计算机工程与设计》 北大核心 2024年第3期769-776,共8页

为提高软件缺陷预测准确性和预测模型的可解释性,提出一种Spearman+DE+LIME+LightGBM(SDL-LightGBM)集成学习的软件缺陷预测模型。使用混合特征选择方法Spearman+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%。 展开更多

关键词 缺陷预测 机器学习 集成学习 特征选择 模型优化 模型解释 差分进化

在线阅读 下载PDF 职称材料

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

8

作者 胡育佳 朱媛媛 程昌钧 《应用数学和力学》 CSCD 北大核心 2008年第4期398-408,共11页

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

关键词 框架结构 大变形 间断性条件 微分求积单元法(DQEM) 微分-代数系统

在线阅读 下载PDF 职称材料

通用可组合安全的门限签名协议 被引量：9

9

作者 洪璇 陈克非 李强 《通信学报》 EI CSCD 北大核心 2009年第6期1-6,共6页

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

关键词 门限签名协议 UC框架 UC安全 前摄门限签名协议

在线阅读 下载PDF 职称材料

基于监控服务器的在线考试防作弊方法的研究 被引量：7

10

作者 武伟 魏晓 魏仕民 《计算机工程与设计》 CSCD 北大核心 2007年第8期1941-1943,共3页

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

关键词 监视服务器 在线考试 ARP欺骗 作弊方式 数据包

在线阅读 下载PDF 职称材料

流体饱和多孔弹性柱体动力响应的微分求积法 被引量：6

11

作者 朱媛媛 胡育佳 程昌钧 《计算力学学报》 EI CAS CSCD 北大核心 2010年第5期868-873,共6页

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

关键词 多孔介质理论 空间轴对称问题 瞬态响应 微分求积法

在线阅读 下载PDF 职称材料

基于J2EE框架的Web应用可靠性研究 被引量：12

12

作者 高秀慧 高建华 《计算机工程与设计》 CSCD 北大核心 2013年第4期1270-1275,1323,共7页

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

关键词 JAVA2平台企业版 SPRING框架 IBATIS框架 IoC设计模式 可靠性

在线阅读 下载PDF 职称材料

Euler型梁-柱结构的非线性稳定性和后屈曲分析 被引量：5

13

作者 朱媛媛 胡育佳 程昌钧 《应用数学和力学》 CSCD 北大核心 2011年第6期674-682,共9页

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

关键词 梁.柱结构 广义Hamilton原理 非线性稳定性 打靶法和Newton法 后屈曲分析

在线阅读 下载PDF 职称材料

基于GMDH神经网络的组合预测模型 被引量：13

14

作者 崔霞 高建华 《小型微型计算机系统》 CSCD 北大核心 2016年第6期1164-1167,共4页

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

关键词 GMDH神经网络 NHPP类SRGM 软件可靠性 预测能力

在线阅读 下载PDF 职称材料

简单的通用可组合代理重签名方案 被引量：7

15

作者 洪璇 陈克非 万中美 《软件学报》 EI CSCD 北大核心 2010年第8期2079-2088,共10页

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

关键词 代理重签名 通用可组合安全 可证明安全

在线阅读 下载PDF 职称材料

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

16

作者 魏晓 胡金初 魏仕民 《计算机工程与设计》 CSCD 北大核心 2007年第14期3357-3360,共4页

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

关键词 数据包嗅探 IP地址自动配置 子网掩码计算 协议分析 主机探测 ARP欺骗

在线阅读 下载PDF 职称材料

影响GUI测试性能的两个因素:测试用例及测试预测 被引量：2

17

作者 高建华 辛敏杰 《小型微型计算机系统》 CSCD 北大核心 2011年第9期1810-1813,共4页

GUI测试在软件开发和测试中具有重要的地位.GUI自动化测试的实际应用强调了测试的成本和效率.在GUI测试中,测试用例和测试预测是两个与图形用户界面测试性能相关的主要因素.根据GUI的事件流图,事件关联图等特性,通过分析GUI事件的代码... GUI测试在软件开发和测试中具有重要的地位.GUI自动化测试的实际应用强调了测试的成本和效率.在GUI测试中,测试用例和测试预测是两个与图形用户界面测试性能相关的主要因素.根据GUI的事件流图,事件关联图等特性,通过分析GUI事件的代码复杂度,将事件分配到各个长度不同的测试用例中,并定义测试预测的级别.通过实例,研究测试用例和测试预测对于图形用户界面测试性能的影响,从而为进一步完善GUI测试框架提供了依据. 展开更多

关键词 图形用户界面 测试用例 测试预测 测试框架

在线阅读 下载PDF 职称材料

实物编码GA算法NHPP类SRGM预测能力的实验研究 被引量：3

18

作者 崔霞 高建华 《小型微型计算机系统》 CSCD 北大核心 2017年第10期2336-2340,共5页

软件可靠性增长模型是软件可靠性工程中一项重要的研究内容.在可靠性增长模型应用的过程中,常常因为模型假设与实际软件开发和调试过程有差异,导致可靠性预测的准确性不高.至今尚没有一种能适应各种软件开发环境的软件可靠性增长模型.为... 软件可靠性增长模型是软件可靠性工程中一项重要的研究内容.在可靠性增长模型应用的过程中,常常因为模型假设与实际软件开发和调试过程有差异,导致可靠性预测的准确性不高.至今尚没有一种能适应各种软件开发环境的软件可靠性增长模型.为此,某些国外文献提出软件可靠性增长模型的统一框架,及基模型组合方法,以期提高软件可靠性增长模型的预测能力.本文提出了一种实数编码遗传算法,并运用非齐次泊松过程类软件可靠性增长模型统一框架理论及算术、几何、调和加权平均方法,用以优化软件可靠性增长模型的模型系数及其加权系数.该实数编码遗传算法不但克服了二进制遗传算法局部收敛的问题,而且通过从国外文献中随机选取的7个失效计数故障数据集,有效验证了非齐次泊松过程类软件可靠性增长模型的可靠性预测能力和加权组合的预测能力提高效果. 展开更多

关键词 实数编码GA算法 全局收敛 软件可靠性 预测能力

在线阅读 下载PDF 职称材料

适用于MANETs的前摄性门限签名协议 被引量：1

19

作者 洪璇 温蜜 万中美 《计算机工程》 CAS CSCD 2012年第1期127-129,共3页

现有的门限签名方案存在大量动态的用户集合,不适用于移动Ad-hoc网络(MANETs)。为此,提出一种适用于MANETs网络的高效门限签名协议。该协议的安全性基于标准RSA假设,且满足通用可组合安全性。高效门限签名协议具有前摄性,能够同时提供&q... 现有的门限签名方案存在大量动态的用户集合,不适用于移动Ad-hoc网络(MANETs)。为此,提出一种适用于MANETs网络的高效门限签名协议。该协议的安全性基于标准RSA假设,且满足通用可组合安全性。高效门限签名协议具有前摄性,能够同时提供"分享密钥"和"更新用户子密钥"的功能。安全性分析结果证明该协议的高效性。 展开更多

关键词 门限签名协议 门限RSA签名协议 前摄性安全 强壮性 不可否认性 移动AD-HOC网络 通用可组合安全

在线阅读 下载PDF 职称材料

覆盖矩阵在参数组合配对测试中的应用 被引量：1

20

作者 张丹 高建华 《计算机工程》 CAS CSCD 北大核心 2008年第21期51-53,70,共4页

在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试... 在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试案例集,扩大其应用范围,提高测试效率。用.net工具实现该算法,证明其能够有效、快速地找到一个较优测试集。 展开更多

关键词 测试案例集合 覆盖矩阵 参数配对组合

在线阅读 下载PDF 职称材料