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

北京邮电大学学报 2013年第4期36卷 110-115页

作者：郑吉平韩秋廷张慧南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

对不确定传感器数据进行建模,利用高斯和粒子滤波技术进行概率推理,以达到节约能量的目的.首先,根据传感器不同节点之间的时空相关性,采用历史数据建立概率模型;然后,在建立的概率模型上利用基本粒子滤波技术进行概率推理;最后,根据传... 详细信息

对不确定传感器数据进行建模,利用高斯和粒子滤波技术进行概率推理,以达到节约能量的目的.首先,根据传感器不同节点之间的时空相关性,采用历史数据建立概率模型;然后,在建立的概率模型上利用基本粒子滤波技术进行概率推理;最后,根据传感器数据符合高斯分布的特征,分别采用高斯粒子滤波、高斯和粒子滤波进行概率推理.实验结果表明,高斯和粒子滤波在准确率和运行效率两方面均能达到良好效果.

关键词：传感器网络动态概率模型粒子滤波高斯粒子滤波高斯和粒子滤波

来源：评论

学校读者我要写书评

暂无评论

基于分层过程模型的过程演化技术

引用

计算机集成制造系统 2013年第8期19卷 1913-1919页

作者：徐刚胡昊余萍葛季栋吕建南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学软件学院江苏南京210093 南京理工大学高维信息智能感知与系统教育部重点实验室江苏南京210094

为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的... 详细信息

为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的过程演化,并给出相应的系统实现。通过实例验证了所设计系统的正确性。

关键词：分层过程模型过程演化 Web服务业务过程执行语言 JBOSS业务过程管理引擎

来源：评论

学校读者我要写书评

暂无评论

一种针对非控制数据攻击的改进防御方法

引用

计算机应用研究 2013年第12期30卷 3762-3766页

作者：刘小龙郑滔南京大学计算机软件新技术国家重点实验室南京210093 南京大学软件学院南京210093

非控制数据攻击(non-control-data attack)是一种有别于传统攻击模式的新方式,通过窜改系统中的安全关键数据,实现不改变程序控制流程进行攻击。针对已有的防御措施中静态分析方法依赖源代码,而动态分析方法存在严重的误报漏报,提出了... 详细信息

非控制数据攻击(non-control-data attack)是一种有别于传统攻击模式的新方式,通过窜改系统中的安全关键数据,实现不改变程序控制流程进行攻击。针对已有的防御措施中静态分析方法依赖源代码,而动态分析方法存在严重的误报漏报,提出了一种指针污点分析方法。该方法基于动态污点分析技术,标记内存数据的污染属性、指针属性,跟踪标记信息在程序执行时的传播,监控是否存在指针的非法解引用(dereference)。设计实现了原型系统DPTA,通过实验证明本方法可以有效地防御控制数据攻击和大部分非控制数据攻击,并减少误报漏报。

关键词：非控制数据攻击程序安全动态污点分析指针着色内存破坏

来源：评论

学校读者我要写书评

暂无评论

基于Group Lasso的多源电信数据离网用户分析

引用

南京师范大学学报（工程技术版） 2014年第4期14卷 77-83页

作者：孙良君范剑锋杨琬琪史颖欢高阳周新民中博信息技术研究院有限公司江苏南京210012 南京大学计算机软件新技术国家重点实验室江苏南京210046 江苏省公安厅物证鉴定中心江苏南京210024

随着行业竞争愈演愈烈,电信企业的客户流失情况越来越严重,给电信企业造成了巨大损失.通过电信企业的数据来做离网用户的预测,从而进一步作出挽留客户的正确决策,成为电信企业日益关注的问题.面对电信后台汇总的多源数据,经分析发现其... 详细信息

随着行业竞争愈演愈烈,电信企业的客户流失情况越来越严重,给电信企业造成了巨大损失.通过电信企业的数据来做离网用户的预测,从而进一步作出挽留客户的正确决策,成为电信企业日益关注的问题.面对电信后台汇总的多源数据,经分析发现其呈现天然的组结构.为了选择对于离网类别最具判别性的特征,本文使用了一种基于Group Lasso的组特征选择方法,在此基础上用交叉验证法选择适当的特征组,最终将选择出的少量组特征用于预测离网和停机的宽带用户.实验表明,在江苏某地级市电信离网用户分析数据中取得了比其他特征选择方法的精度平均高至少10%的预测性能.

关键词：电信企业客户流失多源数据特征选择 Group Lasso

来源：评论

学校读者我要写书评

暂无评论

基于网络链接预测的推荐算法

基于网络链接预测的推荐算法

引用

第六届江苏省计算机大会

作者：华秋云陈崚扬州大学信息学院计算机系江苏扬州 225009 扬州大学信息学院计算机系江苏扬州 225009 南京大学软件新技术国家重点实验室江苏南京210093

提出基于二部网络连接预测的推荐算法。将用户-项目的评分矩阵用带权的二部网络来表达，根据推荐问题和带权二部网络连接预测问题的相似性将推荐问题抽象为二部网络上的链接预测问题，采用基于相似度的连接预测算法进行项目推荐。算法...

提出基于二部网络连接预测的推荐算法。将用户-项目的评分矩阵用带权的二部网络来表达，根据推荐问题和带权二部网络连接预测问题的相似性将推荐问题抽象为二部网络上的链接预测问题，采用基于相似度的连接预测算法进行项目推荐。算法综合考虑了顶点间的拓扑关系，以及用户之间、项目之间的相似性，找出用户对其尚未表达的项目的潜在兴趣度，应用二部网络连接预测的算法来解决推荐问题。实验结果表明，算法能够有效地提高推荐的精度。

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于FCM和随机游走的地层图像分割方法

引用

电子学报 2013年第3期41卷 526-531页

作者：陈圣国孙正兴周杰南京大学计算机软件新技术国家重点实验室江苏南京210093 金陵科技学院信息技术学院江苏南京211169

颜色特征是地层图像分割的重要依据,但地层图像的高噪声以及地层边界颜色混合使得颜色特征空间聚类分割方法无法获得很好的结果.本文提出了一种融合模糊C均值聚类与随机游走算法的图像分割算法,该算法在聚类过程中结合像素的空间信息计... 详细信息

颜色特征是地层图像分割的重要依据,但地层图像的高噪声以及地层边界颜色混合使得颜色特征空间聚类分割方法无法获得很好的结果.本文提出了一种融合模糊C均值聚类与随机游走算法的图像分割算法,该算法在聚类过程中结合像素的空间信息计算像素的隶属度,在基于随机游走的半监督图像分割算法中像素结点构成的四连通图上插入类属结点作为已标记结点,将随机游走者第一次游走到某个类属结点的概率作为该像素隶属于该类的隶属度.实验结果表明,本算法可以对地层边界颜色混合区域的像素更准确地进行分类,噪声敏感性降低,有效解决构造模拟地层图像的分割问题.

关键词：图像分割模糊C均值聚类随机游走

来源：评论

学校读者我要写书评

暂无评论

回归测试中的测试用例优先排序技术述评

引用

软件学报 2013年第8期24卷 1695-1712页

作者：陈翔陈继红鞠小林顾庆南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

测试用例优先排序(test case prioritization,简称TCP)问题是回归测试研究中的一个热点.通过设定特定排序准则,对测试用例进行排序以优化其执行次序,旨在最大化排序目标,例如最大化测试用例集的早期缺陷检测速率.TCP问题尤其适用于因测... 详细信息

测试用例优先排序(test case prioritization,简称TCP)问题是回归测试研究中的一个热点.通过设定特定排序准则,对测试用例进行排序以优化其执行次序,旨在最大化排序目标,例如最大化测试用例集的早期缺陷检测速率.TCP问题尤其适用于因测试预算不足以致不能执行完所有测试用例的测试场景.首先对TCP问题进行描述,并依次从源代码、需求和模型这3个角度出发对已有的TCP技术进行分类;然后对一类特殊的TCP问题(即测试资源感知的TCP问题)的已有研究成果进行总结;随后依次总结实证研究中常用的评测指标、评测数据集和缺陷类型对实证研究结论的影响;接着依次介绍TCP技术在一些特定测试领域中的应用,包括组合测试、事件驱动型应用测试、Web服务测试和缺陷定位等;最后对下一步工作进行展望.

关键词：回归测试测试用例优先排序贪心法元启发式搜索实证研究

来源：评论

学校读者我要写书评

暂无评论

基于符号执行和LTL公式重写的测试用例产生方法

引用

计算机研究与发展 2013年第12期50卷 2661-2675页

作者：陈冬火刘全苏州大学计算机科学与技术学院江苏苏州215006 计算机软件新技术国家重点实验室(南京大学) 南京210093 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法... 详细信息

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法.

关键词：测试用例自动产生符号执行公式重写模型检验线性时序逻辑输入输出符号变迁系统

来源：评论

学校读者我要写书评

暂无评论

C语言程序动态更新中的逻辑正确性

引用

计算机工程与应用 2013年第14期49卷 39-44,80页

作者：谢国珍马晓星南京大学软件新技术国家重点实验室南京210046

动态更新的研究已变得越来越重要,应用程序生命周期中需要不断进行更新,以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新,然后重启新版本的应用程序,而动态更新可以在程序的运行过程中使程序完成更新,... 详细信息

动态更新的研究已变得越来越重要,应用程序生命周期中需要不断进行更新,以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新,然后重启新版本的应用程序,而动态更新可以在程序的运行过程中使程序完成更新,免于重启的麻烦。另一方面,很多应用程序需要不间断的运行,短时间的中断会造成巨大的损失,这也使得动态更新的研究成为必然。针对不同的语言,有一些不同的更新技术,关于C语言,目前动态更新的研究都还停留在实验室阶段,投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向,目前C语言的动态更新正确性研究还都停留在语法层面的正确性,没有涉及的程序更新前后的逻辑正确,针对这一不足,旨在Ginseng平台上,对C程序动态更新逻辑正确性上做出改进。

关键词：动态更新程序正确性逻辑正确性基于约束分析

来源：评论

学校读者我要写书评

暂无评论

基于BP神经网络的立体图像质量评价方法

基于BP神经网络的立体图像质量评价方法

引用

中国电子学会电路与系统学会第二十五届年会

作者：吕亚奇郁梅王朝云王晓东蒋刚毅宁波大学信息科学与工程学院宁波 315211 宁波大学信息科学与工程学院宁波 315211 南京大学计算机软件新技术国家重点实验室南京 210093

立体图像质量评价是立体视频技术发展的重要环节,而人类视觉特性的研究进展是影响立体图像客观质量评价的重要因素之一. 本文避开对HVS(Human Visual System)复杂特性的研究,从机器学习的角度出发,用反向传播神经网络来模拟HVS 特性... 详细信息

立体图像质量评价是立体视频技术发展的重要环节,而人类视觉特性的研究进展是影响立体图像客观质量评价的重要因素之一. 本文避开对HVS(Human Visual System)复杂特性的研究,从机器学习的角度出发,用反向传播神经网络来模拟HVS 特性,建立模型进行立体图像的质量评价.首先,在平面数据库上建立第一个BP(Back Propagation)神经网络作为特征提取器;然后,用特征提取器对立体图像提取特征参数,再对绝对视差图提取立体感的特征参数;最后,建立第二个BP神经网络模拟HVS特性进行特征融合,建立基于BP神经网络的立体图像质量评价模型,预测立体图像质量的客观评价值.在3D LIVE立体图像数据库上的实验结果表明,本文提出的模型,Pearson线性相关系数在0.95以上,Spearman秩相关系数值在0.94以上,Kendall秩相关系数值在0.78以上,均方根误差值接近4.8,表明该模型符合人眼视觉特性,能够较好的预测立体图像质量.

关键词：立体图像质量评价反向传播神经网络人眼视觉特性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：