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

新型工业化 2012年第3期 54-64页

作者：唐启锋许蕾钱巨陈林张震宇南京大学计算机软件新技术国家重点实验室，南京 210093 南京大学计算机科学与技术系，南京 210093 南京航空航天大学计算机科学与技术学院南京210016 中国科学院软件研究所，计算机科学国家重点实验室，北京 100080

目前大多数错误定位技术的研究均基于单一类型的程序节点（如语句、谓词等），其效果往往只在定位相应类型的错误时表现较好，而定位其他类型的程序错误时则表现不佳。为此，借鉴机器学习领域中集成学习的思想，建立多错误定位方法相结... 详细信息

目前大多数错误定位技术的研究均基于单一类型的程序节点（如语句、谓词等），其效果往往只在定位相应类型的错误时表现较好，而定位其他类型的程序错误时则表现不佳。为此，借鉴机器学习领域中集成学习的思想，建立多错误定位方法相结合的错误定位模型，并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法，提出了3种新的错误定位方法。实验结果表明，相对于此前单一的方法，所提出的2种方法具有更高的错误定位效率和更强的适应性。

关键词：错误定位集成学习程序分析软件调试

来源：评论

学校读者我要写书评

暂无评论

基于三值决策的属性约简

基于三值决策的属性约简

引用

中国人工智能学会第十三届学术年会

作者：贾修一商琳陈家骏南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

本文从决策语义角度出发,研究了决策和属性约简之间的关系.基于三值决策,定义了两种不同的属性约简:保持前后决策不变的属性约简和前后决策发生变化的属性约简.针对这两种不同的约简,分别给出了相应的语义解释,使得约简后的属性更符合... 详细信息

本文从决策语义角度出发,研究了决策和属性约简之间的关系.基于三值决策,定义了两种不同的属性约简:保持前后决策不变的属性约简和前后决策发生变化的属性约简.针对这两种不同的约简,分别给出了相应的语义解释,使得约简后的属性更符合决策者的需求.

关键词： rough set three-way decision decision theoretic rough set attribute reduction

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络组播协议研究

无线传感器网络组播协议研究

引用

第一届中国传感器网络学术会议(CWSN 2007)

作者：洪爵韩皓陆桑璐陈道蓄谢立南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京 210093

数据传输是无线传感器网络的关键技术,也是当前的研究热点。其中的单播和广播协议已经取得了许多成果。在无线传感器网络的许多应用场景中,数据通信节点之间通常是一对多、多对一的关系。在这些应用中,组播作为一种开销小、效率高的数... 详细信息

数据传输是无线传感器网络的关键技术,也是当前的研究热点。其中的单播和广播协议已经取得了许多成果。在无线传感器网络的许多应用场景中,数据通信节点之间通常是一对多、多对一的关系。在这些应用中,组播作为一种开销小、效率高的数据传输方式正受到越来越多的关注。本文探讨了目前在无线传感器网络中组播协议的应用,分类总结了近年来提出的各种实现组播协议的思想和有代表性的研究成果,并对各种协议算法从性能度量和应用评价两个方面进行了比较和总结,指出了当前研究中存在的问题,对未来的研究与发展趋势做出了展望。

关键词：无线传感器网络数据传输组播协议

来源：评论

学校读者我要写书评

暂无评论

基于代理双向竞拍的弹性云资源调度方案

引用

计算机应用与软件 2024年第3期41卷 87-93页

作者：何望林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室江苏南京210023

针对跨云平台的资源调度问题,提出一种基于代理双向竞拍的弹性资源调度方案。该方案在拍卖过程中引入交易延时排队影响因子,排队轮数越多,排队影响因子值越大,竞价提交优先级越高,同时根据服务等级协议判定不合规交易的惩罚金数额,以惩... 详细信息

针对跨云平台的资源调度问题,提出一种基于代理双向竞拍的弹性资源调度方案。该方案在拍卖过程中引入交易延时排队影响因子,排队轮数越多,排队影响因子值越大,竞价提交优先级越高,同时根据服务等级协议判定不合规交易的惩罚金数额,以惩罚金制度防范恶意竞拍交易的出现。每轮竞拍允许并发实现多项交易。仿真结果表明,该方案保证了竞拍成功率,并且与传统一次拍卖成交方案相比,其竞拍时间减少了0.32 s,同时能提高16%的用户收益与9%的资源提供商利益。

关键词：双向竞拍资源调度排队影响因子恶意竞拍

来源：评论

学校读者我要写书评

暂无评论

一种层次式时间自动机模型检测方法

引用

计算机应用与软件 2012年第11期29卷 48-51页

作者：周宇胡军葛季栋南京航空航天大学计算机科学与技术学院江苏南京210000 南京大学软件新技术国家重点实验室江苏南京210000

层次式时间自动机在软件系统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度,难以对之进行直接的形式化验证工作。提出一种平展算法,将层次式时间自动机转化为一组并行的顺序时间自动机,应用广播通道同步该自动机集合执行。... 详细信息

层次式时间自动机在软件系统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度,难以对之进行直接的形式化验证工作。提出一种平展算法,将层次式时间自动机转化为一组并行的顺序时间自动机,应用广播通道同步该自动机集合执行。在此基础之上实现一个原型系统可以将层次式时间自动机模型自动转化为模型检测工具UPPAAL的输入,从而可以对之进行验证。结合实时UML状态机图实例,证明了该方法的有效性。

关键词：层次式时间自动机形式化方法模型检测

来源：评论

学校读者我要写书评

暂无评论

一种新的基于线性四叉树的图像分割算法

一种新的基于线性四叉树的图像分割算法

引用

第九届全国虚拟现实与可视化学术会议

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

图像分割是进行图像分析的一个关键步骤，其分割效果直接决定图像分析的好坏。提出了一种新的基于线性四叉树的图像分制算法，这是一种基于区域增长的图像分割技术，具有比较理想的分割效果，同时利用一种具有常数时间复杂度邻域查询的... 详细信息

图像分割是进行图像分析的一个关键步骤，其分割效果直接决定图像分析的好坏。提出了一种新的基于线性四叉树的图像分制算法，这是一种基于区域增长的图像分割技术，具有比较理想的分割效果，同时利用一种具有常数时间复杂度邻域查询的线性四叉树加快其区域增长过程。

关键词：图像分割线性四叉树邻域查询区域增长

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络接入网格的研究进展

无线传感器网络接入网格的研究进展

引用

第一届中国传感器网络学术会议(CWSN 2007)

作者：严允培陈贵海陈锦铭南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京 210093

网格计算是继Internet之后出现的一种新型网络计算平台,并且已经成为全球资源共享和协作的关键技术和实施标准。将传感器网络接入到网格中就像为传感器网络架起了通向外界的桥梁,同时也让计算网格拥有了感知现实世界的眼睛和耳朵,因此... 详细信息

网格计算是继Internet之后出现的一种新型网络计算平台,并且已经成为全球资源共享和协作的关键技术和实施标准。将传感器网络接入到网格中就像为传感器网络架起了通向外界的桥梁,同时也让计算网格拥有了感知现实世界的眼睛和耳朵,因此具有广泛的应用前景和重要的研究价值,国内外研究者对此进行了大量探讨。本文讨论了将传感器网络接入网格,建立传感器网格的意义,涉及的技术,当前国内外对此问题的研究现状,以及存在的主要问题和挑战,目的是希望能够为国内这方面的研究者提供一点参考。

关键词：网格计算无线传感器网络传感器网格资源共享

来源：评论

学校读者我要写书评

暂无评论

解非均匀区域油藏模拟问题的一种有效并行计算方法

解非均匀区域油藏模拟问题的一种有效并行计算方法

引用

863计划智能计算机主题学术会议

作者：刘青昆舒继武赵金熙张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系(南京) 清华大学计算机科学与技术系(北京)

本文基于分布式并行系统,运用整体预处理区域分解方法,结合有效的负载平衡策略,对一类黑油模型油藏模拟问题并行求解.实验结果表明,模拟速度有较大提高,并取得较高加速比.

关键词：区域分解并行计算数值油藏模拟负载平衡分布式并行系统

来源：评论

学校读者我要写书评

暂无评论

PC 4.5:用于不均衡数据集的C 4.5改进算法

PC 4.5:用于不均衡数据集的C 4.5改进算法

引用

第十届中国机器学习会议

作者：周荃王崇骏王珺陈世福南京大学计算机软件新技术国家重点实验室计算机科学与技术系江苏南京210093

样本的不均衡性直接影响分类器的精度,基于C4.5算法提出一种改进算法--PC4.5,并应用于MIT数据集.实验表明该算法能很好地处理训练集的不均衡性,并降低决策树的规模.

关键词： C4.5算法 PC4.5算法入侵检测不均衡性

来源：评论

学校读者我要写书评

暂无评论

基于边缘计算的视频监控框架

引用

计算机工程与设计 2019年第1期40卷 32-39页

作者：葛畅白光伟沈航宋来将南京工业大学计算机科学与技术学院江苏南京211816 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京邮电大学通信与网络技术国家工程研究中心江苏南京210003

为降低云平台视频监控系统视频传输时延、视频分析处理开销和存储成本,提出一种基于边缘计算的视频监控框架。根据边缘节点地理位置靠近视频源的特点,将监控视频流的分析预处理工作迁移到边缘节点完成;设计边缘节点帧过滤算法,通过对视... 详细信息

为降低云平台视频监控系统视频传输时延、视频分析处理开销和存储成本,提出一种基于边缘计算的视频监控框架。根据边缘节点地理位置靠近视频源的特点,将监控视频流的分析预处理工作迁移到边缘节点完成;设计边缘节点帧过滤算法,通过对视频流的目标识别,筛选出有效视频帧进行上传;在此基础上,设计边缘节点任务调度算法,提高视频流实时性和资源利用率。实验结果表明,该框架能够有效降低视频传输开销和视频分析处理开销。

关键词：边缘计算视频预处理视频监控目标识别帧过滤

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：