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

第十七届全国量子光学学术会议

作者：王琨吴楠 Parker Kuklinski 徐平胡海星宋方敏南京大学计算机科学与技术系计算机软件新技术国家重点实验室 Department of Mathematics Boston University 固体微结构物理国家重点实验室

作为一种特殊的离散量子行走模型,三态量子行走的演化行为与二态量子行走有显著的区别。本文使用生成函数和离散路径积分的方法研究了三态离散量子行走存在吸收边界时的吸收概率问题。我们理论证明和数值模拟了吸收概率和吸收边界的位... 详细信息

作为一种特殊的离散量子行走模型,三态量子行走的演化行为与二态量子行走有显著的区别。本文使用生成函数和离散路径积分的方法研究了三态离散量子行走存在吸收边界时的吸收概率问题。我们理论证明和数值模拟了吸收概率和吸收边界的位置关系,观察并分析三态量子行走中存在的双峰局域化现象。

关键词：吸收边界

来源：评论

学校读者我要写书评

暂无评论

基于随机游走的无线传感器网络覆盖洞修复

引用

计算机应用与软件 2016年第8期33卷 141-145页

作者：韩蕊张书奎陈朋飞苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210023

近年来,无线传感器网络逐渐成为研究的热点。无线传感器网络中由于传感器节点能力的耗尽或失效导致原先被覆盖的区域变成无节点覆盖的区域,即覆盖空洞。针对覆盖空洞问题,提出基于随机游走的移动节点修复覆盖空洞算法。通过添加移动节点... 详细信息

近年来,无线传感器网络逐渐成为研究的热点。无线传感器网络中由于传感器节点能力的耗尽或失效导致原先被覆盖的区域变成无节点覆盖的区域,即覆盖空洞。针对覆盖空洞问题,提出基于随机游走的移动节点修复覆盖空洞算法。通过添加移动节点,运用融合了能量消耗和时延的随机游走方式指引移动节点寻找覆盖空洞,并进行填补。仿真实验的结果证明了此方法的有效性,移动节点寻找出的覆盖空洞的路径上在能量以及时延方面较优。

关键词：无线传感器网络覆盖洞随机游走移动节点修复

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

项目驱动的电子商务课程教学

引用

计算机教育 2016年第1期 94-96页

作者：许蕾李言辉南京大学计算机科学与技术系江苏南京210023 南京大学计算软件新技术国家重点实验室江苏南京210023

针对计算机系电子商务课程的教学实际,探讨增强学生学习兴趣、提高学生学习效率的方法,提出将项目驱动引入电子商务教学,包括项目驱动教学的一般过程、实施中可能存在的问题以及对应的解决方案,方便学生高效地掌握、应用相关知识点,并... 详细信息

针对计算机系电子商务课程的教学实际,探讨增强学生学习兴趣、提高学生学习效率的方法,提出将项目驱动引入电子商务教学,包括项目驱动教学的一般过程、实施中可能存在的问题以及对应的解决方案,方便学生高效地掌握、应用相关知识点,并进一步提高学生分析、解决问题的学习能力和互助协作的团队工作能力。

关键词：项目驱动电子商务课堂教学

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

随机模型检验研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

电子学报 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年第8期9卷 914-925页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：