检索结果-内蒙古大学图书馆

南京理工大学学报 2017年第5期41卷 602-609页

作者：姜艺吴静朱泽宇朱俊武李斌扬州大学信息工程学院江苏扬州225127 广西师范学院计算机与信息工程学院广西南宁530023 圭尔夫大学计算机科学学院南京大学软件新技术国家重点实验室江苏南京210023

在团购中,对商品有不同数量需求的买家可以通过形成一个具有共同利益的联盟来增强与商家的谈判协商能力。为了解决在团购联盟内买家收益分配不均的问题,该文在最大化联盟收益和最大化联盟成交量两种不同联盟形成方案的基础上,提出了分... 详细信息

在团购中,对商品有不同数量需求的买家可以通过形成一个具有共同利益的联盟来增强与商家的谈判协商能力。为了解决在团购联盟内买家收益分配不均的问题,该文在最大化联盟收益和最大化联盟成交量两种不同联盟形成方案的基础上,提出了分段式的买家收益分配机制和真实报价的贡献支付机制。其中分段式分配机制能够根据买家的报价进行分段,使得买家获得的收益与其为联盟的贡献度成正比,贡献支付机制中买家实际支付的费用是其对联盟的贡献。从理论上分析了两种机制能够同时满足个体理性、预算平衡、真实报价和公平性等的良好属性。实验结果表明,该文提出的自保护定价函数满足了卖家收益单调递增的性质,保证了卖家的收益不会随卖出商品数量的增大而减少。

关键词：团购定价函数联盟定价机制收益分配

来源：评论

学校读者我要写书评

暂无评论

静态软件缺陷预测方法研究

引用

软件学报 2016年第1期27卷 1-25页

作者：陈翔顾庆刘望舒刘树龙倪超南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

静态软件缺陷预测是软件工程数据挖掘领域中的一个研究热点.通过分析软件代码或开发过程,设计出与软件缺陷相关的度量元;随后,通过挖掘软件历史仓库来创建缺陷预测数据集,旨在构建出缺陷预测模型,以预测出被测项目内的潜在缺陷程序模块... 详细信息

静态软件缺陷预测是软件工程数据挖掘领域中的一个研究热点.通过分析软件代码或开发过程,设计出与软件缺陷相关的度量元;随后,通过挖掘软件历史仓库来创建缺陷预测数据集,旨在构建出缺陷预测模型,以预测出被测项目内的潜在缺陷程序模块,最终达到优化测试资源分配和提高软件产品质量的目的.对近些年来国内外学者在该研究领域取得的成果进行了系统的总结.首先,给出了研究框架并识别出了影响缺陷预测性能的3个重要影响因素:度量元的设定、缺陷预测模型的构建方法和缺陷预测数据集的相关问题;接着,依次总结了这3个影响因素的已有研究成果;随后,总结了一类特殊的软件缺陷预测问题(即,基于代码修改的缺陷预测)的已有研究工作;最后,对未来研究可能面临的挑战进行了展望.

关键词：软件质量保障软件缺陷预测软件度量元机器学习数据集预处理

来源：评论

学校读者我要写书评

暂无评论

死路径消除语义下的BPEL过程建模与分析

引用

微型机与应用 2017年第6期36卷 22-25页

作者：陈莹邢建春王洪达杨启亮解放军理工大学国防工程学院江苏南京210007 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对BPEL过程在死路径消除语义下建模与分析不够完善的问题,提出了一种新的BPEL过程建模与分析方法。该方法建立了将BPEL死路径消除语义转化为普通if-then-else的规则,进而可以利用着色Petri网(CPN)形式化地对BPEL过程进行建模,并通过CP... 详细信息

针对BPEL过程在死路径消除语义下建模与分析不够完善的问题,提出了一种新的BPEL过程建模与分析方法。该方法建立了将BPEL死路径消除语义转化为普通if-then-else的规则,进而可以利用着色Petri网(CPN)形式化地对BPEL过程进行建模,并通过CPN-Tools对BPEL过程的建模进行自动分析及验证。案例分析表明,该方法具有一定的实用性和可行性,能够帮助软件工程人员更好地测试、调试和维护BPEL程序。

关键词： Web服务组合 BPEL程序依赖图死路径语义消除着色Petri网

来源：评论

学校读者我要写书评

暂无评论

含有析取语义循环的不变式生成改进方法

引用

软件学报 2016年第7期27卷 1741-1756页

作者：潘建东陈立前黄达明孙浩曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 并行与分布处理国防科技重点实验室(国防科学技术大学计算机学院) 湖南长沙410073

抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显... 详细信息

抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的循环结构生成更加精确的不变式,并且有益于一些安全性质的推理.

关键词：抽象解释抽象域不变式析取语义循环分解

来源：评论

学校读者我要写书评

暂无评论

基于相对熵的数据流概念漂移检测算法

引用

计算机应用与软件 2017年第12期34卷 256-259页

作者：杨帆张永辽宁师范大学计算机与信息技术学院辽宁大连116081 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

针对数据流中出现的概念漂移问题,采用决策树作为分类器,提出一种基于相对熵的数据流概念漂移检测算法。提出的算法将分类器的准确率与相对熵作为判断该数据块是否发生概念漂移的标准。通过5个数据集对该方法进行验证,该算法在其中4个... 详细信息

针对数据流中出现的概念漂移问题,采用决策树作为分类器,提出一种基于相对熵的数据流概念漂移检测算法。提出的算法将分类器的准确率与相对熵作为判断该数据块是否发生概念漂移的标准。通过5个数据集对该方法进行验证,该算法在其中4个数据集上都获得了最优的结果,在另一个数据集上获得了次优结果。实验结果表明采用该方法不仅能够有效地检测概念漂移的发生,而且还能提高分类器的准确率。

关键词：数据流概念漂移相对熵决策树

来源：评论

学校读者我要写书评

暂无评论

基于混沌蜂群算法的高耸结构振动信号小波阈值去噪方法研究

引用

建筑结构学报 2016年第S1期37卷 467-474页

作者：张迅李决龙邢建春王平杨启亮解放军理工大学国防工程学院江苏南京210007 海军海防工程研究中心北京100841 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了有效去除实测振动信号中的噪声,改进了一种基于Kent混沌人工蜂群(KCABC)算法的振动信号小波阈值去噪方法。该算法采用Kent混沌映射初始化蜂群,引入锦标赛选择机制选择食物源,并结合混沌策略搜索最优解。基于广义交叉验证(GCV)阈值... 详细信息

为了有效去除实测振动信号中的噪声,改进了一种基于Kent混沌人工蜂群(KCABC)算法的振动信号小波阈值去噪方法。该算法采用Kent混沌映射初始化蜂群,引入锦标赛选择机制选择食物源,并结合混沌策略搜索最优解。基于广义交叉验证(GCV)阈值构造了目标函数,采用改进的KCABC算法搜索最优阈值,实现了不基于噪声先验知识的振动信号阈值去噪。通过对广州新电视塔4组实测振动信号的处理,比较了改进的KCABC算法与粒子群优化(PSO)算法、标准蜂群(SABC)算法以及Logistic混沌蜂群(LCABC)算法的去噪性能。结果表明:提出的KCABC算法具有较快的收敛速度和较高的搜索精度,能够有效去除高耸结构振动信号中的噪声部分。

关键词：高耸结构振动信号小波阈值去噪人工蜂群算法 Kent混沌

来源：评论

学校读者我要写书评

暂无评论

基于模式组合的粒子群优化测试用例生成方法

引用

软件学报 2016年第4期27卷 785-801页

作者：姜淑娟王令赛薛猛张艳梅于巧姚慧冉中国矿业大学计算机科学与技术学院江苏徐州221116 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使... 详细信息

适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使每个分支得到评价.但修改源代码不但可能影响程序的原有结构、引入错误,而且很难实现自动化.针对这一问题,提出一种基于模式组合的粒子群优化测试用例生成方法.首先,将分支条件定义为"模式",即,一类具有相同特征且能提高适应度值的个体集合,并改变其分支函数的插桩方式,可解决分支条件不完全评价的问题;然后,设计一种新的交叉算子,寻找到所有使模式的分支函数值最小的个体,将这些个体中含有模式的部分通过交叉算子组合到一个个体上,既可防止模式在进化过程中被破坏,又可因多种模式的组合而提高个体的适应度值;最后,使用局部搜索策略对种群中的最优个体进行搜索,提高粒子群优化算法的局部搜索精度,进一步提高测试用例生成效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验.实验结果表明:对于含有模式的程序,该测试用例生成方法与已有方法相比,在覆盖率和平均进化代数上均有明显优势.

关键词：测试用例生成粒子群优化算法交叉算子局部搜索策略

来源：评论

学校读者我要写书评

暂无评论

基于分支相关性分析的不可达路径检测方法

引用

计算机研究与发展 2016年第5期53卷 1072-1085页

作者：姜淑娟韩寒史娇娇张艳梅鞠小林钱俊彦中国矿业大学计算机科学与技术学院江苏徐州221116 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 计算机软件新技术国家重点实验室(南京大学) 南京210023 南通大学计算机科学与技术学院江苏南通226019

软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了... 详细信息

软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了一种利用关联分析和数据流分析确定分支相关性的方法,进而实现不可达路径的自动检测.首先,结合静态分析和动态分析,构建反映程序中各分支判断语句静态依赖关系和动态执行信息的数据集;然后,利用关联分析和数据流分析技术确定分支的相关性;最后,根据分支相关性信息检测不可达路径.基于一组基准程序和开源程序,开展不可达路径检测实验.实验结果表明,该方法能够准确地检测出程序中的不可达路径,可以有效地提高软件测试的效率.

关键词：软件测试不可达路径分支相关性关联分析数据流分析

来源：评论

学校读者我要写书评

暂无评论

软件形式化方法与应用专题前言

引用

软件学报 2016年第3期27卷 495-496页

作者：詹乃军王戟李宣东计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 国防科学技术大学计算机学院湖南长沙410073 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专... 详细信息

形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.

关键词：形式化方法高阶逻辑应用专题定理证明器程序理论数学方法研究成果代数的计算机科学保障系统

来源：评论

学校读者我要写书评

暂无评论

基于电子病历的临床数据中心构建研究

引用

中国数字医学 2017年第3期12卷 38-41页

作者：刘健韩秋君曹磊镇江市第一人民医院江苏省镇江市电力路8号212002 计算机软件新技术国家重点实验室(南京大学) 江苏省南京市汉口路22号210093 南京工业大学计算机学院

为建立以患者为核心的临床数据中心,实现各类临床业务及运营管理数据的整合,如何为医疗决策提供信息支持作用是研究方向。为此镇江市第一人民医院基于已有的电子病历体系,经过数据的抽取、清洗、转换、集成构建了临床数据中心,为运营管... 详细信息

为建立以患者为核心的临床数据中心,实现各类临床业务及运营管理数据的整合,如何为医疗决策提供信息支持作用是研究方向。为此镇江市第一人民医院基于已有的电子病历体系,经过数据的抽取、清洗、转换、集成构建了临床数据中心,为运营管理分析、病历质控分析及科研病历分析等各类主题应用提供了翔实的数据支撑。从架构设计、建设流程和应用开发等方面详细介绍了数据中心的构建策略。实践证明,基于电子病历的数据中心能够从基础医疗数据中提取面向应用的有效信息,为医疗规范化、管理精细化提供有力的决策支持。

关键词：数据仓库临床数据中心决策平台电子病历

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：