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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于模糊神经网络的光伏发电系统发电量的预测

引用

中国管理信息化 2017年第13期20卷 180-183页

作者：徐新卫滕翔邵瑞瑞丁敬安安徽工业大学管理科学与工程学院安徽马鞍山243000 南京大学计算机软件新技术国家重点实验室南京210000

光伏系统的输出电量由于受太阳日照量、气候、光伏组件材料等多种因素影响而是一个非线性的变化量,因此对其输出电量的准确预测可以提高光伏系统并网后电网的稳定性及安全性。在模拟实验中,将模拟数据按春、夏、冬三季进行划分从而确定... 详细信息

光伏系统的输出电量由于受太阳日照量、气候、光伏组件材料等多种因素影响而是一个非线性的变化量,因此对其输出电量的准确预测可以提高光伏系统并网后电网的稳定性及安全性。在模拟实验中,将模拟数据按春、夏、冬三季进行划分从而确定了规则层的节点数为三,进而推导出模糊化层和去模糊化层的节点数,在训练过程中通过梯度下降法来更新模糊神经网络各层的参数,得到一个符合要求的预测网络。将用于测试的数据输入到训练好的神经网络中,用来验证该方法的有效性。

关键词：光伏系统发电量预测模糊神经网络

来源：评论

学校读者我要写书评

暂无评论

死路径消除语义下的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年第1期10卷 103-111页

作者：唐俊周志华南京大学计算机软件新技术国家重点实验室南京210023 软件新技术与产业化协同创新中心南京210023

手机游戏提供商通过在游戏中销售虚拟道具来获得收益。将游戏玩家日志数据中每个事件描述为一个示例,玩家对多种游戏道具的购买状态表示为多个标记,从而将游戏道具推荐问题抽象为多示例多标记学习问题。在此基础上,将快速多示例多标记... 详细信息

手机游戏提供商通过在游戏中销售虚拟道具来获得收益。将游戏玩家日志数据中每个事件描述为一个示例,玩家对多种游戏道具的购买状态表示为多个标记,从而将游戏道具推荐问题抽象为多示例多标记学习问题。在此基础上,将快速多示例多标记学习算法用于手机网络游戏道具推荐,并利用半监督学习提升推荐性能。离线数据集以及实际在线手机网络游戏实验结果表明,基于多示例多标记学习的游戏道具推荐技术带来了游戏营收的显著增长。

关键词：机器学习多示例多标记学习(MIML) 半监督学习推荐

来源：评论

学校读者我要写书评

暂无评论

绿色数据中心数据处理型框架中的数据管理

引用

系统仿真学报 2016年第3期28卷 592-599页

作者：张啸高原王晓亮葛以踊杨海祥万书鹏南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210023 国电南瑞科技股份有限公司南京210023

使用绿色能源已成为解决数据中心能耗问题的一种有效方式。为了降低绿色能源变化幅度大的特点带来的影响,通常将可延迟作业放入等待队列,将相应空闲服务器置为休眠状态,降低系统能耗,在新能源可用的时候执行作业。当新作业执行时,需要... 详细信息

使用绿色能源已成为解决数据中心能耗问题的一种有效方式。为了降低绿色能源变化幅度大的特点带来的影响,通常将可延迟作业放入等待队列,将相应空闲服务器置为休眠状态,降低系统能耗,在新能源可用的时候执行作业。当新作业执行时,需要重新开启休眠状态服务器来保证数据可用性。数据放置与作业执行时间的不统一,会导致频繁开启休眠服务器,带来能源浪费。针对绿色数据中心提出一种数据调度策略,根据数据处理型框架中等待队列作业调度次序,通过将未来一段时间内需要被读取的数据块提前复制在活跃服务器上,降低休眠状态服务器开启的次数,从而降低总体能耗。实验模拟结果显示,该算法可平均减少43%的休眠状态服务器重复开启次数。

关键词：绿色数据中心数据处理型框架能耗新能源数据管理

来源：评论

学校读者我要写书评

暂无评论

基于网格映射的虚拟视点合成

引用

系统仿真学报 2016年第10期28卷 2321-2328页

作者：姚莉吴琼颖许辉计算机网络和信息集成教育部重点实验室(东南大学) 南京211189 计算机软件新技术国家重点实验室(南京大学) 南京210023 东南大学计算机科学与工程学院南京211189

由于深度不准确、遮挡以及相邻参考视点曝光不同等原因,基于深度图的绘制技术(DIBR)会产生空洞、重影等一系列问题,同时修复空洞需要消耗大量时间,提出基于网格映射的虚拟视点合成方法,以轮廓为基础在图像中构建网格,以网格三角形为映... 详细信息

由于深度不准确、遮挡以及相邻参考视点曝光不同等原因,基于深度图的绘制技术(DIBR)会产生空洞、重影等一系列问题,同时修复空洞需要消耗大量时间,提出基于网格映射的虚拟视点合成方法,以轮廓为基础在图像中构建网格,以网格三角形为映射单元,并通过能量约束进行映射生成虚拟视点图像。利用融合算法将不同视点的图像进行融合,得到最终的虚拟视点图像。算法相比于传统的DIBR中像素为单元的处理方式在合成图像质量相当的前提下具有更快的处理速度。

关键词：边缘检测网格化纹理映射网格映射

来源：评论

学校读者我要写书评

暂无评论

基于金字塔变换跨尺度代价聚合的立体匹配

引用

系统仿真学报 2016年第9期28卷 2227-2234页

作者：姚莉刘助奎王秉凤计算机网络和信息集成教育部重点实验室(东南大学) 南京211189 计算机软件新技术国家重点实验室(南京大学) 南京210023 东南大学计算机科学与工程学院南京211189

人眼视觉系统在不同尺度上处理接收到的视觉信号,而传统的立体匹配算法都在原立体匹配图像对最大尺度下进行立体匹配,在低纹理区域、无纹理区域立体匹配错误率高。模拟人眼视觉系统在多个尺度上进行立体匹配,再融合不同尺度下的匹配结... 详细信息

人眼视觉系统在不同尺度上处理接收到的视觉信号,而传统的立体匹配算法都在原立体匹配图像对最大尺度下进行立体匹配,在低纹理区域、无纹理区域立体匹配错误率高。模拟人眼视觉系统在多个尺度上进行立体匹配,再融合不同尺度下的匹配结果能减少错误率。通过改进一种基于高斯金字塔变换跨尺度代价聚合的立体匹配方法,在原框架上,在代价聚合阶段加入拉普拉斯金字塔变换,在视差精细化阶段加入基于加权联合双边滤波的视差精细化方法,使新框架能获得比原论文更好的视差图。

关键词：立体匹配跨尺度金字塔变换加权联合双边滤波视差精细化

来源：评论

学校读者我要写书评

暂无评论

HiBase:一种基于分层式索引的高效HBase查询技术与系统

引用

计算机学报 2016年第1期39卷 140-153页

作者：葛微罗圣美周文辉赵頔唐云周娟曲文武袁春风黄宜华南京大学计算机软件新技术国家重点实验室南京210046 江苏省软件新技术与产业化协同创新中心南京210046 中兴通讯股份有限公司南京210012 清华大学计算机科学与技术系北京100084

大数据时代,众多应用领域的数据量爆炸式增长,迫切需要研究和寻找有效的大数据存储管理方法,提供实时或准实时的大数据查询分析能力.Hadoop HBase系统为大数据的存储管理提供了一种具有高可扩展性的技术方法和系统平台.然而HBase只有主... 详细信息

大数据时代,众多应用领域的数据量爆炸式增长,迫切需要研究和寻找有效的大数据存储管理方法,提供实时或准实时的大数据查询分析能力.Hadoop HBase系统为大数据的存储管理提供了一种具有高可扩展性的技术方法和系统平台.然而HBase只有主键索引,不支持非主键索引,这导致HBase的数据查询效率较低,难以满足数据实时或准实时查询需求.为此,在HBase基础上提供面向非主键的快速查询能力,是目前Hadoop环境下急需研究和解决的一个重要问题.该文研究提出了一种基于分层式HBase非主键索引的查询模型和方法,该模型和方法首先建立基于HBase的持久性索引.然后,为了利用内存提升查询性能,该文进一步提出了一种索引热点数据缓存技术和一种高效的热度累积缓存替换策略,以降低对HBase索引表的磁盘访问开销.热度累积缓存替换策略克服了最近最少使用（LRU）算法的局限性,考虑数据访问的累积热度和时间局部特性,从而更准确地捕获数据访问的特征.为了使索引热点数据缓存内存层具有良好的可扩展性,HiBase设计了基于一致性哈希的分布式内存缓存,支持高效的基于非主键的单点查询和范围查询.最终,该文设计实现了完整的分层式索引和查询系统HiBase.在千万至十亿条记录规模数据集上的测试结果表明,HiBase冷查询响应时间比标准HBase快65倍（大结果集）到3000多倍（小结果集）;而引入基于查询热度累积算法的内存索引缓存方法后,热查询性能可在HiBase冷查询基础上再提升5~15倍,使得总体查询性能比标准HBase快300多倍（大结果集）到1.7万倍（小结果集）,比开源的Hindex系统快5~20倍.

关键词： HBase 非主键索引查询处理分层式索引缓存替换策略大数据

来源：评论

学校读者我要写书评

暂无评论

基于场景模式的立体图像舒适度客观评价模型

引用

电子与信息学报 2016年第2期38卷 294-302页

作者：应宏微蒋刚毅郁梅彭宗举邵枫宁波大学信息科学与工程学院宁波315211 宁波工程学院电子与信息工程学院宁波315211 南京大学计算机软件新技术国家重点实验室南京210093

为了预测双目立体图像内容对视觉健康可能产生的危害,该文提出一种基于场景模式的立体图像舒适度客观评价模型。根据场景中前景目标和后景区域相对于显示屏幕的凹凸性以及是否处于舒适观看区,将自然场景抽象为多种场景模式。在模式选择... 详细信息

为了预测双目立体图像内容对视觉健康可能产生的危害,该文提出一种基于场景模式的立体图像舒适度客观评价模型。根据场景中前景目标和后景区域相对于显示屏幕的凹凸性以及是否处于舒适观看区,将自然场景抽象为多种场景模式。在模式选择阶段,从视差图中自适应分割出前景目标和后景区域,根据前、后景的视差角特征确定场景所属的模式;在建模阶段,采用前、后景的视差角特征结合前景的宽度角和曲折度特征对各个场景模式分别进行建模,并量化了前、后景视差因素对视觉舒适度的影响。在IVY数据库上的实验结果表明,所提出的模型与主观感知存在较好的一致性,Pearson相关系数高于0.91,Spearman相关系数高于0.90,Kendall相关系数高于0.74,平均绝对值误差低于0.24,均方根误差低于0.32,与现有的方法相比,该文所提出的模型的评价效果更好,更接近于主观测试结果。

关键词：立体图像舒适度评价场景模式双目视觉

来源：评论

学校读者我要写书评

暂无评论

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

引用

建筑结构学报 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混沌

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：