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

计算机学报 2015年第11期38卷 2145-2162页

作者：刘阳李宣东马艳王林章南京大学计算机软件新技术国家重点实验室南京210093 新加坡国立大学计算学院计算机科学系新加坡117417 南京航空航天大学计算机科学与技术学院南京210016

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛... 详细信息

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛关注,并取得了很大的进展.该文追溯了随机模型检验的渊源,系统地概括了其最基本的原理及几类典型的PCTL、概率的LTL、PCTL*和CSL模型检验随机系统的算法框架.然后归纳总结了随机模型检验的主要研究方向及其进展,分析了基于随机模型检验的验证过程及其优势与劣势,并分类列出了目前出现的随机模型检验工具.最后介绍了随机模型检验的应用领域并指出了其未来的应用挑战.

关键词：形式验证马尔可夫随机过程随机模型检验定量分析

来源：评论

学校读者我要写书评

暂无评论

基于函数占用和需求分析测试代码用例自适应优先排序

引用

计算机与现代化 2016年第3期 46-51页

作者：薛一帆毛宇光南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

在采用函数占用(覆盖)的测试代码用例优先级排序过程中,其特征一般是以函数占用代码率信息表示,容易忽视其他优先排序影响因素,对此提出基于函数占用和需求分析的测试代码用例自适应优先排序方式。首先,以测试代码用例优先级排序过程中... 详细信息

在采用函数占用(覆盖)的测试代码用例优先级排序过程中,其特征一般是以函数占用代码率信息表示,容易忽视其他优先排序影响因素,对此提出基于函数占用和需求分析的测试代码用例自适应优先排序方式。首先,以测试代码用例优先级排序过程中的调用函数存在路径为参照,利用源代码信息变更影响,进行影响域的回归测试分析,并对测试代码用例集进行回归范围确定。其次,考虑测试代码用例优先级排序的需求影响因素,并确定其需求优先级评价指标,然后与调用函数源代码变更影响指标进行权重自适应融合,并设计基于函数占用和需求分析评价优先级的动态调整算法。最后,通过仿真对比显示,所提方法可提高缺陷检测正确率,降低测试成本。

关键词：代码变更测试代码用例排序回归测试路径调用需求分析

来源：评论

学校读者我要写书评

暂无评论

基于程序频谱的动态缺陷定位方法研究

引用

软件学报 2015年第2期26卷 390-412页

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

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预... 详细信息

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预备知识和基本假设;随后,提出缺陷定位研究框架并识别出框架内一系列可影响缺陷定位效果的内在影响因素,包括程序频谱构造方式、测试套件构成和维护、内在缺陷数量、测试用例预言设置、用户反馈和缺陷修复开销等;接着,对实证研究中采用的评测指标和评测程序进行总结和分析;然后,对缺陷定位方法在一些特定测试领域中的应用进行总结;最后,对该领域未来值得关注的研究方向进行了展望.

关键词：软件调试缺陷定位程序频谱测试用例测试用例预言

来源：评论

学校读者我要写书评

暂无评论

基于双目融合与竞争的无参考立体图像质量评价方法

引用

宁波大学学报（理工版） 2016年第4期29卷 50-55页

作者：何美伶郁梅宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室江苏南京210093

根据人眼对立体图像的感知过程,提出了一种基于双目融合和竞争特性的无参考立体图像质量评价方法.首先将左右视点图像进行融合,对得到的独眼图进行Gabor特征提取;然后对左右视点图像的绝对差值图提取特征;最后将独眼图特征和绝对差值图... 详细信息

根据人眼对立体图像的感知过程,提出了一种基于双目融合和竞争特性的无参考立体图像质量评价方法.首先将左右视点图像进行融合,对得到的独眼图进行Gabor特征提取;然后对左右视点图像的绝对差值图提取特征;最后将独眼图特征和绝对差值图特征融合得到立体图像特征集,通过支持向量回归预测得到客观值.采用该方法对LIVE立体图像数据库进行评价,Pearson线性相关系数(PLCC)和Spearman等级相关系数(SROCC)均在0.94左右,优于其他参与对比的质量评价方法.表明该方法符合人眼视觉特性,能够很好地描述人眼感知特性.

关键词：立体图像质量评价无参考图像质量评价双目融合双目竞争独眼图

来源：评论

学校读者我要写书评

暂无评论

面向开放域问答的问题分类技术研究进展

引用

电子学报 2015年第8期43卷 1627-1636页

作者：杨思春戴新宇陈家骏安徽工业大学计算机科学与技术学院安徽马鞍山243032 南京大学计算机软件新技术国家重点实验室江苏南京210023

开放域问答是当前自然语言处理和信息检索领域的研究热点,作为开放域问答系统的重要组成部分,问题分类可以缩小答案的搜索空间并决定答案的选择策略.近年来,基于机器学习的问题分类技术受到广泛的关注,相关研究表明问题分类的准确性直... 详细信息

开放域问答是当前自然语言处理和信息检索领域的研究热点,作为开放域问答系统的重要组成部分,问题分类可以缩小答案的搜索空间并决定答案的选择策略.近年来,基于机器学习的问题分类技术受到广泛的关注,相关研究表明问题分类的准确性直接影响问答系统的整体性能.本文从分类体系与数据集、特征提取、分类器设计、性能评测等层面,总结了问题分类技术近年的主要研究成果.重点分析了各种基于监督学习的问题分类方法的特点和不足,讨论了核方法、半监督学习、主动学习、迁移学习等在问题分类中的应用,同时对问题分类技术未来研究动向进行了展望.

关键词：开放域问答问题分类机器学习特征提取分类器设计

来源：评论

学校读者我要写书评

暂无评论

传感器网络中自适应滑动窗口的高效Top-k查询技术

引用

电子学报 2015年第10期43卷 2117-2123页

作者：郑吉平宋保利王海翔王永阁南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

在传感器节点上安装动态窗口的过滤机制是无线传感器网络Top-k查询处理研究的一个重要方向.然而,已有过滤窗口算法会产生很大的窗口更新代价.本文针对过滤窗口更新频繁产生巨大能量消耗的问题,提出基于高斯过程回归预测的自适应滑动窗口... 详细信息

在传感器节点上安装动态窗口的过滤机制是无线传感器网络Top-k查询处理研究的一个重要方向.然而,已有过滤窗口算法会产生很大的窗口更新代价.本文针对过滤窗口更新频繁产生巨大能量消耗的问题,提出基于高斯过程回归预测的自适应滑动窗口Top-k查询处理算法FUGPR.当过滤窗口发生变化时,对传感器网络节点读数进行预测,评估窗口更新前后的代价来决定过滤窗口是否更新,从而减少了频繁更新窗口带来的巨大能量消耗,实验表明,本文提出的FUGPR算法无论在真实传感器网络环境的数据集上还是模拟的传感器网络环境数据集上都可以有效地减少由于过滤窗口更新带来的能量消耗.

关键词：过滤窗口无线传感器网络 FUGPR

来源：评论

学校读者我要写书评

暂无评论

多尺度粗糙表面的实时绘制方法

引用

中国图象图形学报 2015年第4期20卷 559-567页

作者：过洁潘金贵南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

目的大部分材质表面都具有一定的细微结构,而这些细微结构的存在增加了真实感图形绘制的复杂性。方法首先将材质表面的细微结构分为3类:宏观结构、介观结构和微观结构,并对每类结构分别建模:宏观结构采用三角面片建模,介观结构则采用法... 详细信息

目的大部分材质表面都具有一定的细微结构,而这些细微结构的存在增加了真实感图形绘制的复杂性。方法首先将材质表面的细微结构分为3类:宏观结构、介观结构和微观结构,并对每类结构分别建模:宏观结构采用三角面片建模,介观结构则采用法向图表示,而微观结构直接采用单一的粗糙度表达。然后针对每种结构,分别获得它们的法向分布函数(NDF),并用混合v MF分布拟合。最终屏幕空间每个像素内的法向分布用3个尺度NDF的卷积操作近似获得。此外,在处理环境光照时引入抛物面图(PM)和summed-area table(SAT),满足了动态场景的实时绘制需求。结果实验结果表明本文方法可以在不同视点范围下生成高真实感的反射效果,并获得实时的绘制性能。结论本文提出的实时绘制方法能够处理表面材质结构复杂的3维模型在环境光下的真实感反射效果,并支持动态光照和形变物体。

关键词：多尺度粗糙表面动态光照实时绘制滤波

来源：评论

学校读者我要写书评

暂无评论

基于海量医疗数据的症状自查服务云框架设计

引用

计算机科学与探索 2015年第9期9卷 1056-1065页

作者：周作建林文敏王斌斌潘金贵南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

随着当前社会"亚健康"人群的增加,症状自查服务显得愈发重要。各地基于居民健康档案的区域卫生信息平台的建立,为症状自查服务实现提供了数据基础,但是人们仍面临着海量电子病历的获取、存储、搜索以及数据分析计算等诸多挑... 详细信息

随着当前社会"亚健康"人群的增加,症状自查服务显得愈发重要。各地基于居民健康档案的区域卫生信息平台的建立,为症状自查服务实现提供了数据基础,但是人们仍面临着海量电子病历的获取、存储、搜索以及数据分析计算等诸多挑战。鉴于上述问题,提出了一种基于云框架的症状自查服务模型。首先建立了Hadoop集群,用来存储海量医疗数据以及建立索引,提高电子病历的搜索响应时间。其次设计了基于Lucene的分布式搜索节点集群,用来对海量的电子病历进行实时检索、数据分析和隐私过滤。此外,对症状自查服务的实现进行了讨论,包括搜索节点的选择、病历索引文件的建立、病历相似度的计算及排序方法。最后,通过实验证实了症状自查服务的云框架模型具有可扩展性和有效性。

关键词：云框架症状自查服务海量医疗数据 Hadoop Lucene

来源：评论

学校读者我要写书评

暂无评论

中断驱动的嵌入式系统数据竞争检测工具

引用

计算机科学与探索 2015年第8期9卷 914-925页

作者：陈园军石浚菁王林章李宣东南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域,但因系统设计复杂,运行环境多样等原因,中断不确定性导致的严重故障时有发生,数据竞争是较为棘手的问题之一。已有工作对中断导致的数据竞争检测做了许多尝试,但目前还没... 详细信息

中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域,但因系统设计复杂,运行环境多样等原因,中断不确定性导致的严重故障时有发生,数据竞争是较为棘手的问题之一。已有工作对中断导致的数据竞争检测做了许多尝试,但目前还没有比较易用的解决方案。为了解决这类问题,提出了一种基于控制流图的静态检测方法。该方法通过对源程序进行预处理分析,检测出程序中使用的共享资源和中断使能操作;根据预处理的结果,构建出源程序对应的简要控制流图;通过对简要控制流图的抢占关系分析,得到可能会导致竞争关系的执行序列。实验结果表明,该方法能有效检测出程序中潜在的竞争关系,并指明该潜在竞争的发生路径,帮助软件测试人员对故障进行确认和修复。

关键词：中断竞争嵌入式系统中断驱动测试

来源：评论

学校读者我要写书评

暂无评论

基于云计算的多层量子精英属性协同约简算法

引用

四川大学学报（工程科学版） 2015年第6期47卷 97-103页

作者：丁卫平陈森博王杰华管致锦南通大学计算机科学与技术学院江苏南通226019 南京大学计算机软件新技术国家重点实验室江苏南京210093 苏州大学江苏省计算机信息处理技术重点实验室江苏苏州215006

针对传统粗糙集属性约简算法无法高效处理日益增长的大数据问题,提出一种基于云计算的多层量子精英属性协同约简算法。该算法首先在云计算MapReduce模型下将大规模数据集划分到不同的进化蛙群中,分别获得各子种群最优解;然后构造一种基... 详细信息

针对传统粗糙集属性约简算法无法高效处理日益增长的大数据问题,提出一种基于云计算的多层量子精英属性协同约简算法。该算法首先在云计算MapReduce模型下将大规模数据集划分到不同的进化蛙群中,分别获得各子种群最优解;然后构造一种基于多层量子蛙群精英向量的属性协同约简策略,挑选出具有全局搜索和局部精化最强优化能力的精英子种群向量,快速引导各子种群找到各自最小属性约简集,从而取得大规模数据集的全局最优属性约简集。实验结果表明,本文算法在大规模数据集上求解全局最优属性约简解的效率和精度具有明显优势,同时应用于电子病历数据库MRI分割效果表明其具有较强适用性。

关键词：属性协同约简云计算 MapReduce模型多层量子精英 MRI分割

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：