江国华
- 作品数：45 被引量：65H指数：4
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金江苏高校优势学科建设工程资助项目国家电网公司科技项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信政治法律更多>>
- 无线传感器网络中空洞处理技术研究
- SR是一种典型的基于地理位置信息的无线传感器网络路由协议,本文分析总结了GPSR在处理空洞时遇到的问题,介绍了一种新的空洞处理技术.通过阻止数据包在转发过程中沿着空洞边界节点进行转发,从而避免空洞边界节点能量被过早耗尽,...
- 仲新林江国华赵国安
- 关键词：VOIDGREEDYFORWARDTIGHTHANDRULE
- 一种面向软件缺陷预测的特征聚类选择方法
- 本发明公开了一种结合聚类和特征子集选择的特征降维方法，主要应用于软件缺陷预测领域，解决了缺陷预测时软件特征维度高造成的搜索空间大、建模困难，以及相互间有冗余造成的预测精度低的问题。本发明首先对可预测样本数据集进行聚类分析...
- 江国华李丽媛
- 文献传递
- 一种面向软件缺陷预测的特征聚类选择方法被引量：3
- 2018年
- 软件缺陷预测技术通过分析软件静态信息,对软件模块的缺陷倾向性做出判断,合理分配测试资源。但有时搜集的大量度量元信息是无关或冗余的,这些高维的特征增加了缺陷预测的复杂性。文章提出了一种新的度量元选择方法,首先通过样本聚类将相似度高的样本聚在同一簇中,然后在每个簇中按照最低冗余度进行特征子集的挑选,主要选择相互间冗余度低,且预测能力强的度量元。最后通过NASA数据集的实例证明本文方法能有效降低特征子集的冗余率,并能有效提高预测的准确度。
- 李丽媛江国华
- 关键词：软件缺陷预测特征聚类
- 一种词向量和句向量互信息最大化的句嵌入方法及系统
- 本发明提供一种词向量和句向量互信息最大化的句嵌入方法及系统，其中方法包括编码第一待识别句子中的各词语；对第一待识别句子中目标词向量的多个维度进行置零操作；编码第二待识别句子中的各词语；将第一词向量矩阵中的每个词向量经过多...
- 王立松盛添叶刘绍翰江国华
- 文献传递
- 基于遗传算法的面向对象类测试用例生成研究
- 软件测试是保证软件质量的重要手段,在测试数据自动生成研究中,利用遗传算法进行针对面向过程的测试用例生成已较为完善,但在针对类对象测试数据生成方面的研究和应用方面仍有改进的空间。本文在借助遗传算法进行测试数据生成策略基础上...
- 周瑞杰江国华
- 关键词：面向对象测试遗传算法
- 文献传递
- 一种Ada并发程序的模型检测方法
- 2012年
- 提出了一种针对Ada并发程序的模型提取方法,使用模型检测工具SPIN对生成的模型进行自动化验证,发现Ada语言编写的程序中并发错误。通过实例对提取方法进行验证,实验结果表明,此方法能够成功检测出Ada并发程序中存在的错误,并给出相应的错误路径。
- 黄超江国华
- 关键词：ADA并发程序SPIN
- 基于对数几率回归的函数级软件缺陷定位
- 2018年
- 现有的基于程序频谱的缺陷定位方法是通过利用语句覆盖信息计算可疑度从而确定其检查次序的,但在系统测试时,待定位对象代码量庞大,导致这类方法效果不佳。针对以上情况,提出一种基于对数几率回归的函数级别软件定位方法,其主要是分析失败测试用例的子系统和模块的执行信息,区分缺陷根源互异的失败测试用例,缩小定位范围;依次进行模块级别和函数级别的缺陷定位,计算每个模块和函数与失败测试用例的关联度,根据可疑值确定检查次序。实验表明,提出的方法能够有效缩小缺陷定位范围,提高缺陷函数的定位效率。
- 周明泉江国华
- 基于用户分组的多用户偏好查询
- 2018年
- 越来越多的用户希望能在满足自身需求的前提下,通过共享资源以提升资源使用性价比,如拼车等.在此类多用户偏好查询应用中,用户分组起到至关重要的作用.现有的分组算法在对用户进行分组时,未考虑用户对组内其他成员的偏好,导致用户满意度较低.本文提出一种基于用户分组的多用户偏好查询算法PQBG,算法将查询分为四个步骤:首先基于欧氏距离从全体查询用户中产生预选结果集;然后依据用户对查询对象的偏好相似度降序排列生成预选队列;接着利用组属性集合与组偏好集合筛选出最终的同组用户;最后为该组用户生成查询结果集.利用真实数据集对PQBG算法与其他三种查询算法进行比较,结果表明PQBG算法在查询时间和用户满意度上具有更高的查询性能.
- 王沁雪江国华秦小麟
- 一种文本-图像增强的多模态知识图谱嵌入方法
- 本发明公开了一种文本‑图像增强的多模态知识图谱嵌入方法，包括：文本编码器对实体的描述性文本进行编码，获得实体的文本表示形式；图像编码器提取实体图像的特征，并通过投影矩阵把图像特征从图像空间投影到实体空间，进而得到实体的图...
- 王立松肖桂阳刘绍翰江国华
- 一种SysML模型到AADL模型的自动转换方法被引量：5
- 2020年
- 安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使用的标准语言:系统建模语言(SysML)和嵌入式实时系统体系结构分析与设计语言(AADL)。SysML和AADL提供了同一系统的2个不同视图,SysML模型为系统工程师提供了一个系统视图,AADL为架构设计师建立一个较低层次的设计视图,它结合了实现所有功能的硬件、操作系统和代码。提出一种SysML模型到AADL模型的自动转换方法。首先,定义SysML子集SubSysML,主要包括模块定义图(BDD)、内部模块图(IBD)、活动图(ACT)子集和从IBD和BDD扩展的AADL Profile;其次,定义SubSysML到AADL的转换规则并设计转换算法;然后,对生成的AADL初始模型进行精化;最后,使用EMF框架技术实现SubSysML到AADL的模型转换工具并通过雷达案例验证所提方法的有效性。
- 马燕燕杨志斌江国华
- 关键词：安全关键系统SYSMLAADL
