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

第八届全国仿真器学术年会

作者：吴和生王崇骏谢俊元南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210046 计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

现代负载均衡已经成为云计算中虚拟资源管理和调度的核心.针对现有云计算弹性负载均衡存在的不足,提出了一种基于预测的弹性负载均衡资源管理算法(TeraPELB),不仅能更加灵活地动态调配资源,而且支持基于负载的趋势预测.理论分析和仿真... 详细信息

现代负载均衡已经成为云计算中虚拟资源管理和调度的核心.针对现有云计算弹性负载均衡存在的不足,提出了一种基于预测的弹性负载均衡资源管理算法(TeraPELB),不仅能更加灵活地动态调配资源,而且支持基于负载的趋势预测.理论分析和仿真实验表明,随着网络负载的变动,TeraPELB算法能根据负,解决了从云中申请载变化情况动态地调整后端服务器集群的处理能力虚拟机具有延迟性而导致迟滞甚至无法满足用户请求的问题,相较于传统的弹性负载均衡算法效果更好.

关键词：云计算虚拟资源趋势预测弹性负载均衡资源管理算法

来源：评论

学校读者我要写书评

暂无评论

基于权重的Jaccard相似度度量的实体识别方法

基于权重的Jaccard相似度度量的实体识别方法

引用

第三届中国数据挖掘学术会议(CCDM2009)

作者：潘磊雷钰丽王崇骏谢俊元计算机软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

社会网络分析方法将社会行动者映射为图的节点，社会行动者之间的关系映射为图的边，然后利用图论的相关知识来解决社会网络的问题。将数据挖掘方法应用于社会网络分析是数据挖掘研究领域的一个新方向。本文主要在算法改进和系统实现层... 详细信息

社会网络分析方法将社会行动者映射为图的节点，社会行动者之间的关系映射为图的边，然后利用图论的相关知识来解决社会网络的问题。将数据挖掘方法应用于社会网络分析是数据挖掘研究领域的一个新方向。本文主要在算法改进和系统实现层面展开数据挖掘在社会网络分析中的应用研究，提出了基于权重的Jaccard相似度度量的方法，及处理多链接属性的实体识别算法。最后基于电信分析系统平台，使用上述算法在电信数据集上进行测试，实验结果表明上述算法的有效性和实用性。关键词：社会网络分析;数据挖掘;实体识别

关键词：社会网络分析数据挖掘实体识别

来源：评论

学校读者我要写书评

暂无评论

一种面向隐私保护的安全多方计算协议

一种面向隐私保护的安全多方计算协议

引用

第二十五届中国数据库学术会议(NDBC2008)

作者：郑波柏文阳张剡计算机软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

随着信息共享的日益频繁,如何在数据交换中实现隐私保护已经得到了越来越多的关注.在相关工作的基础上,提出了一种面向并集和内积这两种数据交互操作的安全多方计算协议,使用该协议可以在一组互不信任的参与方之间实现保护隐私的安全数... 详细信息

随着信息共享的日益频繁,如何在数据交换中实现隐私保护已经得到了越来越多的关注.在相关工作的基础上,提出了一种面向并集和内积这两种数据交互操作的安全多方计算协议,使用该协议可以在一组互不信任的参与方之间实现保护隐私的安全数据交换.分析表明该协议具有较好的安全性和较强的抗恶意攻击能力.

关键词：安全多方计算隐私保护并集协议内积协议数据交换抗恶意攻击

来源：评论

学校读者我要写书评

暂无评论

车联网边缘计算环境下基于流量预测的高效任务卸载策略研究

引用

电子学报 2024年

作者：许小龙杨威杨辰翊程勇齐连永项昊龙窦万春南京信息工程大学软件学院江苏省大气环境与装备技术协同创新中心江苏省先进计算与智能服务工程研究中心东南大学软件学院中国石油大学(华东)计算机科学与技术学院南京大学计算机软件新技术国家重点实验室

车联网（Internet of Vehicles,IoV）边缘计算通过将移动边缘计算和车联网相结合，实现了车辆计算任务从云服务器向边缘服务器的下沉，从而有效降低了车联网服务的响应时延.然而，车联网中不规则的交通流时空分布会导致边缘服务器计算... 详细信息

车联网（Internet of Vehicles,IoV）边缘计算通过将移动边缘计算和车联网相结合，实现了车辆计算任务从云服务器向边缘服务器的下沉，从而有效降低了车联网服务的响应时延.然而，车联网中不规则的交通流时空分布会导致边缘服务器计算负载不均衡，进而影响车联网服务的实时响应.为此，本文提出了一种车联网边缘计算环境下基于流量预测的高效任务卸载策略.具体而言，首先设计了能充分挖掘路段间连通性和距离信息的切比雪夫图加权网络（Chebyshev graph Weighted Network,ChebWN）进行交通流量预测.然后，设计了一种基于深度强化学习的二元任务卸载方法（DRL-based Binary task Offloading Algorithm,DBOA），该算法将二元任务卸载的决策过程分为两个阶段，即首先通过深度强化学习得到卸载策略，再通过一维双端查找算法确定最大化总计算速率的时间片分配方案，降低了决策过程的复杂度.最后，通过大量的对比实验验证了ChebWN在预测交通流量方面的准确性，以及DBOA在提升车联网服务响应速度方面的优越性.

关键词：移动边缘计算深度强化学习车联网图神经网络(GNN) 任务卸载

来源：评论

学校读者我要写书评

暂无评论

用户评论驱动的语音测试数据生成方法

引用

小型微型计算机系统 2023年第7期44卷 1382-1390页

作者：曹冬玉陶传奇郭虹静黄志球南京航空航天大学计算机科学与技术学院南京211106 南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室南京211106 南京大学计算机软件新技术国家重点实验室南京210023 软件新技术与产业化协同创新中心南京210093

目前,语音识别的测试需要提供语音及其转录文本,测试语音需要涵盖各个场景下的语音输入,因此,测试语音的数量远远不够.鉴于用户评论中包含用户使用场景等可辅助测试的信息,文中提出一种用户评论驱动的语音测试数据生成方法.首先,爬取移... 详细信息

目前,语音识别的测试需要提供语音及其转录文本,测试语音需要涵盖各个场景下的语音输入,因此,测试语音的数量远远不够.鉴于用户评论中包含用户使用场景等可辅助测试的信息,文中提出一种用户评论驱动的语音测试数据生成方法.首先,爬取移动应用市场中语音相关应用的用户评论,对其进行清洗和预处理.其次,提取评论中的语音属性并分析语音属性在评论中的组合.最后,通过数据蜕变对语音种子进行语音属性及其组合的变换,生成语音测试数据.文中对百度、阿里云和讯飞语音识别进行实验,通过语音种子与生成测试语音的输出结果是否一致来评估识别错误率.实验结果表明,生成的测试语音可以有效检测出三款语音识别软件中的错误行为.

关键词：用户评论挖掘测试数据生成语音识别数据蜕变测试

来源：评论

学校读者我要写书评

暂无评论

一种基于发生序和锁集的BPEL数据竞争静态检测方法

一种基于发生序和锁集的BPEL数据竞争静态检测方法

引用

第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会

作者：李少东许蕾南京大学计算机科学与技术系南京210093 南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测B... 详细信息

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。

关键词： BPEL数据发生序锁集数据竞争

来源：评论

学校读者我要写书评

暂无评论

基于目标制导符号执行的静态缓冲区溢出警报自动确认技术

引用

信息安全学报 2016年第2期1卷 46-60页

作者：鲍铁匀高凤娟周严李游王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏省软件新技术与产业化协同创新中心南京大学计算机科学与技术系

缓冲区溢出漏洞是一类严重的安全性缺陷。目前存在动态测试和静态分析技术来检测缓冲区溢出缺陷:动态测试技术的有效性取决于测试用例的设计,而且往往会引入执行开销;静态分析技术及自动化工具已经被广泛运用于缓冲区溢出缺陷检测中,然... 详细信息

缓冲区溢出漏洞是一类严重的安全性缺陷。目前存在动态测试和静态分析技术来检测缓冲区溢出缺陷:动态测试技术的有效性取决于测试用例的设计,而且往往会引入执行开销;静态分析技术及自动化工具已经被广泛运用于缓冲区溢出缺陷检测中,然而静态分析由于采取了保守的策略,其结果往往包含数量巨大的误报,需要通过进一步人工确认来甄别误报,但人工确认静态分析的结果耗时且容易出错,严重限制了静态分析技术的实用性。符号执行技术使用符号代替实际输入,能系统地探索程序的状态空间并生成高覆盖度的测试用例。本文提出一种基于目标制导符号执行的静态缓冲区溢出警报确认方法,使用静态分析工具的输出结果作为目标,制导符号执行确认警报。我们的方法分为3步:首先在过程间控制流图中检测静态分析警报路径片段的可达性,并将可达的警报路径片段集合映射为用于确认的完整确认路径集合;其次在符号执行中通过修剪与溢出缺陷疑似语句无关的路径,指导符号执行沿特定确认路径执行;最后在溢出缺陷疑似语句收集路径约束并加入溢出条件,通过约束求解的结果,对静态分析的警报进行分类。基于上述方法我们实现了原型工具BOVTool,实验结果表明在实际开源程序上BOVTool能够代替人工减少检查59.9%的缓冲区溢出误报。

关键词：符号执行缓冲区溢出警报确认目标制导

来源：评论

学校读者我要写书评

暂无评论

知识工程课程实验教学改革探索

引用

计算机教育 2019年第4期 167-170页

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

针对当前知识工程课程中普遍存在实验教学偏少、内容陈旧等问题,分析国内外相关课程及教材现状,提出知识工程课程实验教学的改革思路,设计新的知识工程课程实验内容,说明在实际教学中的改革效果。

关键词：知识工程语义网知识图谱实验教学改革课程建设

来源：评论

学校读者我要写书评

暂无评论

基于优势关系粗糙集的规则生成算法

引用

江南大学学报（自然科学版） 2007年第6期6卷 686-689页

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

针对现有的基于优势关系粗糙集的规则生成算法存在运行效率低的问题,提出了一种基于多个优势差别矩阵的规则生成算法,突出不同决策类之间的差别信息,在得到精简规则集的同时,能够提高规则生成效率.通过实验与其他规则生成算法加以比较,... 详细信息

针对现有的基于优势关系粗糙集的规则生成算法存在运行效率低的问题,提出了一种基于多个优势差别矩阵的规则生成算法,突出不同决策类之间的差别信息,在得到精简规则集的同时,能够提高规则生成效率.通过实验与其他规则生成算法加以比较,表明该算法在平均性能方面优于其他算法.

关键词：优势关系粗糙集优势差别矩阵规则生成

来源：评论

学校读者我要写书评

暂无评论

一种中断驱动系统的时间约束验证方法

一种中断驱动系统的时间约束验证方法

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：孙琳陈鑫李宣东南京大学计算机软件新技术国家重点实验室南京 210046 南京大学计算机科学与技术系南京 210046

中断是嵌入式系统进行实时响应的重要机制。目前还不存在一种有效地中断驱动系统设计方法来保证系统的时间约束总能够得到满足。因此，在设计完成后需要对系统能否满足时间约束进行验证。传统的以测试为基础的方法，在处理中断驱动的系... 详细信息

中断是嵌入式系统进行实时响应的重要机制。目前还不存在一种有效地中断驱动系统设计方法来保证系统的时间约束总能够得到满足。因此，在设计完成后需要对系统能否满足时间约束进行验证。传统的以测试为基础的方法，在处理中断驱动的系统时，由于系统可能的运行轨迹空间是无穷的，其有效性受到很大的影响。本文提出了一种基于线性混成自动机有界验证技术对中断驱动系统的时间约束进行验证的方法，应用线性混成自动机对中断驱动的系统建模，将时间约束验证问题转换成线性混成自动机上的路径可达性判定问题，并借助模型检验工具BACH来进行验证。以一个周期性中断源驱动的嵌入式系统为例，说明了方法的可行性和有效性。

关键词：中断驱动的系统时间约束验证线性混成自动机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：