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

东南大学学报（自然科学版） 2012年第5期42卷 808-813页

作者：沈航白光伟赵露唐振民南京理工大学计算机科学与技术学院南京210094 南京大学计算机软件新技术国家重点实验室南京210093 南京工业大学计算机科学与技术系南京210009

为了在多跳无线网络中对实时视频流提供高效的端到端服务质量支持,提出了一种具有时间意识的视频流控制协议(TACP).首先在网络层增加了独立的TACP子层,采用跨层设计方法将各协议层的参数映射至该子层.在此基础上,源节点通告视频同步信息... 详细信息

为了在多跳无线网络中对实时视频流提供高效的端到端服务质量支持,提出了一种具有时间意识的视频流控制协议(TACP).首先在网络层增加了独立的TACP子层,采用跨层设计方法将各协议层的参数映射至该子层.在此基础上,源节点通告视频同步信息,使中间节点形成时间意识;中间节点通过分布式时延估计方法限制超时视频数据的转发.随后,为了对高优先级视频数据提供保护,研究了一种基于GOP的路径探测机制,并将其与视频流控制协议协同工作.利用仿真实验,对TACP视频通信性能进行分析和评价.结果表明:TACP能够显著改善实时视频流质量,包括可解码帧率、端到端时延和时延抖动等性能指标;该协议极大地提高了网络带宽利用率,并能够有效适应实时性需求的变化.

关键词：多跳无线网络实时视频流跨层设计服务质量

来源：评论

学校读者我要写书评

暂无评论

一种自适应的多臂赌博机算法

引用

计算机研究与发展 2019年第3期56卷 643-654页

作者：章晓芳周倩梁斌徐进苏州大学计算机科学与技术学院江苏苏州215006 计算机软件新技术国家重点实验室(南京大学) 南京210023

多臂赌博机问题是强化学习中研究探索和利用两者平衡的经典问题,其中,随机多臂赌博机问题是最经典的一类多臂赌博机问题,是众多新型多臂赌博机问题的基础.针对现有多臂赌博机算法未能充分使用环境反馈信息以及泛化能力较弱的问题,提出... 详细信息

多臂赌博机问题是强化学习中研究探索和利用两者平衡的经典问题,其中,随机多臂赌博机问题是最经典的一类多臂赌博机问题,是众多新型多臂赌博机问题的基础.针对现有多臂赌博机算法未能充分使用环境反馈信息以及泛化能力较弱的问题,提出一种自适应的多臂赌博机算法.该算法利用当前估计值最小的动作被选择的次数来调整探索和利用的概率(chosen number of arm with minimal estimation, CNAME),有效缓解了探索和利用不平衡的问题.同时,该算法不依赖于上下文信息,在不同场景的多臂赌博机问题中有更好的泛化能力.通过理论分析给出了该算法的悔值(regret)上界,并通过不同场景的实验结果表明:CNAME算法可以高效地获得较高的奖赏和较低的悔值,并且具有更好的泛化能力.

关键词：强化学习多臂赌博机探索和利用自适应上下文相关

来源：评论

学校读者我要写书评

暂无评论

一种基于π^t演算的安全协议建模方法

引用

计算机研究与发展 2010年第4期47卷 613-620页

作者：韩进蔡圣闻王崇峻赖海光谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 解放军理工大学指挥自动化学院计算机系南京210007

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议... 详细信息

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞.

关键词：安全协议模型 πt演算安全协议验证类型化系统形式化方法

来源：评论

学校读者我要写书评

暂无评论

基于半监督学习的启发式值约简

引用

控制与决策 2010年第10期25卷 1531-1535页

作者：王利民李雄飞王学成吉林大学计算机科学与技术学院长春130012 南京大学计算机软件新技术国家重点实验室南京210093

提出一种基于半监督学习的粗糙集知识约简算法(SLRS).SLRS基于对信息论基本概念的引申定义,描述了各条件属性的重要程度以及相互之间的依赖关系.对于数据库中某些记录属性域存在的缺失值,基于半监督学习进行启发式属性值约简,进而求取... 详细信息

提出一种基于半监督学习的粗糙集知识约简算法(SLRS).SLRS基于对信息论基本概念的引申定义,描述了各条件属性的重要程度以及相互之间的依赖关系.对于数据库中某些记录属性域存在的缺失值,基于半监督学习进行启发式属性值约简,进而求取粗糙集约简决策表,即使在现有知识不足或信息不完备的情况下,也能通过半监督学习构造新的规则补充到知识库中.样例分析及在UCI数据集上的实验结果均表明了所提出算法的合理性和有效性.

关键词：半监督学习粗糙集信息论值约简

来源：评论

学校读者我要写书评

暂无评论

使用敏感路径识别方法分析安卓应用安全性

引用

软件学报 2017年第9期28卷 2248-2263页

作者：缪小川汪睿许蕾张卫丰徐宝文计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京邮电大学计算机学院江苏南京210023

安卓系统在手机端操作系统中长期占据主导地位,但由于安卓系统开放共享的特性和不够严谨的第三方市场审核机制,安卓平台受到众多恶意应用的侵扰.结合静态程序分析和机器学习方法,提出了基于敏感路径识别的安卓应用安全性分析方法.首先,... 详细信息

安卓系统在手机端操作系统中长期占据主导地位,但由于安卓系统开放共享的特性和不够严谨的第三方市场审核机制,安卓平台受到众多恶意应用的侵扰.结合静态程序分析和机器学习方法,提出了基于敏感路径识别的安卓应用安全性分析方法.首先,针对恶意应用中存在的恶意行为以及触发条件,定义了敏感路径;其次,针对安卓应用中存在大量组件间函数调用关系问题,提出了一种生成应用组件间函数调用关系图的方法;再次,由于提取出的敏感路径信息无法直接作为识别特征,实现了一种基于敏感路径信息抽象的特征提取方法;最后,从Google Play、豌豆荚、Drebin等来源收集了493个应用APK文件作为实验数据集,该方法的准确率为97.97%,高于基于API-Feature的检测方法(90.47%).此外,在恶意应用和良性应用检测的精度、召回率、F度量等方面,该方法均优于API-Feature方法.另外,实验结果表明:APK文件大小会影响实验的结果,尤其体现在分析时间上(0~4MB大小的APK平均分析用时89s;文件增大后,平均分析用时增长明显).

关键词：安卓恶意应用敏感路径组件函数调用关系程序静态分析特征抽象

来源：评论

学校读者我要写书评

暂无评论

使用共享变量分析和约束求解检测安卓应用数据竞争

引用

软件学报 2019年第11期30卷 3281-3296页

作者：孙全许蕾夏昕濛张卫丰计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京邮电大学计算机学院江苏南京210023

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执... 详细信息

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执行路径的基础上进行发生序(happens-before)分析,进而检测安卓应用的并发缺陷,但仍然存在低覆盖率、误报、漏报等问题.结合共享变量分析和约束求解方法实现了安卓应用数据竞争的检测,并实现了检测工具RaceDetector.该工具首先根据安卓系统的特性和数据竞争的定义,通过静态分析抽取相关信息,并进一步使用安卓共享变量分析来提高准确性和性能,继而进行可疑数据竞争分析,得出可疑的数据竞争集合;接着根据每一个可疑的数据竞争候选者,通过约束求解的方法在所有事件调度和线程调度解空间下识别发生序关系,并最终检测出真正的数据竞争.实验部分是从Google Play等来源收集了15个流行的应用APK文件作为数据集,RaceDetector平均报告了340个数据竞争,误报率为13%(44/340).与现有工具EventRacer(默认产生300随机事件触发应用执行,平均检测2个有害数据竞争)相比,RaceDetector能够解析全部源码,覆盖了所有线程调度和事件调度,平均检测出15个有害数据竞争.

关键词：安卓应用数据竞争事件驱动模型多线程模型约束求解

来源：评论

学校读者我要写书评

暂无评论

一种基于衍生树的交互式P2P流媒体系统

引用

软件学报 2010年第5期21卷 1138-1152页

作者：陈建忠徐天音李文中陆桑璐陈道蓄 Edward CHAN 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 香港城市大学电脑科学系

提出了一种基于衍生树的P2P系统框架,以支持交互式流媒体应用.该系统利用分布式发现服务来进行资源定位,并通过基于衍生树的缓存结构来维护数据传输拓扑.使用基于衍生树的系统管理策略可以显著地降低节点动态加入和退出等交互操作的开销... 详细信息

提出了一种基于衍生树的P2P系统框架,以支持交互式流媒体应用.该系统利用分布式发现服务来进行资源定位,并通过基于衍生树的缓存结构来维护数据传输拓扑.使用基于衍生树的系统管理策略可以显著地降低节点动态加入和退出等交互操作的开销.另外,通过使用分布式散列表(distributed hash table,简称DHT)来维护会话,可以较低的代价实现资源查找、服务重构和拓扑维护等任务.仿真实验结果表明,与现有的P2P流媒体系统相比,该系统具有良好的性能,其用户交互操作的开销可以降低超过50%.

关键词：衍生树 P2P流媒体交互性分割缓存分布式发现服务

来源：评论

学校读者我要写书评

暂无评论

TeraPELB:云计算中基于预测的弹性负载均衡算法

引用

系统仿真学报 2013年第8期25卷 1751-1760,1765页

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

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

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

关键词：负载均衡服务器集群云计算弹性负载均衡虚拟机

来源：评论

学校读者我要写书评

暂无评论

一种角色分离的信任评估模型

引用

软件学报 2012年第12期23卷 3187-3197页

作者：周国强曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京邮电大学计算机学院江苏南京210003

针对实体恶意推荐问题,提出了一种角色分离的信任评估模型(RSTrust).模型将实体在信任评估中承担的角色分为交易角色和推荐角色两类,分别用交易信任度和推荐信任度来描述其可信性,区分不同角色对实体不同信任度的影响;在计算实体全局信... 详细信息

针对实体恶意推荐问题,提出了一种角色分离的信任评估模型(RSTrust).模型将实体在信任评估中承担的角色分为交易角色和推荐角色两类,分别用交易信任度和推荐信任度来描述其可信性,区分不同角色对实体不同信任度的影响;在计算实体全局信任度时,RSTrust将推荐者的全局推荐信任度作为其推荐证据的可信权重,消除恶意推荐对全局信任度计算的干扰.分析和仿真结果表明,模型具有良好的抗恶意推荐能力和收敛性.

关键词：对等网络信任模型推荐信任角色分离

来源：评论

学校读者我要写书评

暂无评论

面向分布式处理的工作流系统建模

引用

计算机集成制造系统-CIMS 2002年第7期8卷 533-537页

作者：窦万春席晓鹏蔡世杰南京大学计算机科学与技术系软件新技术国家重点实验室江苏南京210093

在分析对分布式处理特点的基础上 ,从局部和整体的角度 ,探讨了面向分布式处理的工作流系统建模。利用复合建模思想 ,结合新产品开发实例分析 ,构造了这种工作流系统的系统原型。通过对工作流系统智能化环节的分析。

关键词：分布式处理工作流系统建模复合建模企业

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：