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

计算机科学 2010年第6期37卷 64-69页

作者：魏姝杰白光伟曹磊沈航王华南京工业大学计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

近年来,通过无线移动网络传输实时流媒体数据一直是很热门的研究课题。然而,这种无线环境下的实时流媒体传输面临着严峻的挑战,原因在于多媒体应用严格的服务质量要求和无线移动网络固有的动态特性。提出一种应用于无线移动adhoc网络实... 详细信息

近年来,通过无线移动网络传输实时流媒体数据一直是很热门的研究课题。然而,这种无线环境下的实时流媒体传输面临着严峻的挑战,原因在于多媒体应用严格的服务质量要求和无线移动网络固有的动态特性。提出一种应用于无线移动adhoc网络实时流媒体传输的速率调节机制(ARAM)。该机制采取跨层设计,根据GM(1,1)模型预测得到带宽信息,考察队列情况来自适应地调节节点的发送速率。通过NS2设置典型的无线网络场景进行仿真,以来获取无线流媒体传输的数据。对ARAM性能的数学分析表明,该机制有效地改进了无线移动adhoc网络中流媒体传输的可靠性和无线实时通信的服务质量。

关键词：自适应速率调节无线流媒体传输性能跨层设计

来源：评论

学校读者我要写书评

暂无评论

Artemis-COOR:一个基于Agent的软件动态协同支撑平台

引用

计算机工程与科学 2010年第5期32卷 1-5,9页

作者：曹春马晓星陶先平南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向... 详细信息

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向此概念模型,给出了相应的软件动态协同支撑平台Artemis-COOR,该平台在"非侵入式"A-gent封装、多模式交互支撑和软件体系结构动态演化支撑等方面形成了一定的技术特色。最后,给出以水雨情会商系统为例的演示性应用,展示了上述技术的可行性和有效性。

关键词：动态软件协同软件Agent 软件体系结构多模式交互

来源：评论

学校读者我要写书评

暂无评论

Intel Bensley平台下前端总线竞争对访存密集型程序的性能影响分析

引用

南京大学学报（自然科学版） 2010年第2期46卷 149-158页

作者：毛晓炜陶先平何万青软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 Intel中国有限公司北京100020

对称多处理(symmetric multiprocessor,SMP)机群系统因其优越的性价比和良好的可扩展性,已经成为当今高性能计算的主流结构.其中,单节点采用Intel双路四核平台已经逐渐成为目前高性能计算服务器的主流平台.由于一个CPU的四个核心共享一... 详细信息

对称多处理(symmetric multiprocessor,SMP)机群系统因其优越的性价比和良好的可扩展性,已经成为当今高性能计算的主流结构.其中,单节点采用Intel双路四核平台已经逐渐成为目前高性能计算服务器的主流平台.由于一个CPU的四个核心共享一根前端总线,而且两根前端总线并不完全独立,前端总线竞争对访存密集型程序的性能有很大的影响.本文针对Intel Bensley双路四核平台特性,给出了前端总线竞争对访存密集型message passing interface(MPI)程序性能影响的计算模型,并编写程序和利用实例验证的该计算模型的有效性.

关键词：访存密集型应用 Bensley 前端总线地址总线利用率数据总线利用率

来源：评论

学校读者我要写书评

暂无评论

基于时隙选择概率分布的DCF区分服务机制

引用

计算机工程 2010年第18期36卷 285-287,290页

作者：徐颖白光伟王明超曹磊南京工业大学计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

针对IEEE 802.11 DCF不能为实时业务提供服务质量保证的问题,提出一种简单的基于优先级的退避机制,根据不同等级数据业务的QoS需求提供区分服务。高优先级数据流采用减少数据包重传次数策略,低优先级数据流采用改进的RWBO+BEB退避机制,... 详细信息

针对IEEE 802.11 DCF不能为实时业务提供服务质量保证的问题,提出一种简单的基于优先级的退避机制,根据不同等级数据业务的QoS需求提供区分服务。高优先级数据流采用减少数据包重传次数策略,低优先级数据流采用改进的RWBO+BEB退避机制,使得时隙选择概率分布均匀,能减少数据包碰撞概率。采用马尔科夫链模型对该机制进行数学分析与评价,结果表明,该机制不仅能够有效支持区分服务,并且能够提高系统饱和吞吐量。

关键词：分布式协调功能服务质量时隙选择概率分布马尔科夫链模型

来源：评论

学校读者我要写书评

暂无评论

基于不干扰理论的隔离语义描述及隔离策略的自动化验证方法研究

引用

计算机科学 2010年第6期37卷 147-154页

作者：崔隽黄皓陈志贤南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 南京工业大学信息学院南京210009

隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义,以利于分析和制定系统的隔离策略;利用通信顺序进程CSP来定义上述隔离语义,并给出一个系统满足给定隔离策略的判定断言,以利于借助形式化验... 详细信息

隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义,以利于分析和制定系统的隔离策略;利用通信顺序进程CSP来定义上述隔离语义,并给出一个系统满足给定隔离策略的判定断言,以利于借助形式化验证工具FDR2来实现系统内隔离策略的自动化验证。以基于虚拟机的文件服务监控器为例,展示了如何利用CSP来建模一个系统及其隔离策略以及如何利用FDR2来验证该系统模型满足给定的隔离策略。

关键词：不干扰模型进程隔离通信顺序进程形式化验证

来源：评论

学校读者我要写书评

暂无评论

基于隔离区的信息保护模型研究

引用

计算机工程与设计 2010年第21期31卷 4550-4554,4723页

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

通过分析以主机为管理对象的涉密信息保护技术的特点,提出了一种基于隔离区的信息保护模型。该模型在保证涉密信息可用性不受影响的同时,加强了对涉密信息的保护。实现该模型的关键在于实现进程资源访问的隔离,通过分析Windows操作系统... 详细信息

通过分析以主机为管理对象的涉密信息保护技术的特点,提出了一种基于隔离区的信息保护模型。该模型在保证涉密信息可用性不受影响的同时,加强了对涉密信息的保护。实现该模型的关键在于实现进程资源访问的隔离,通过分析Windows操作系统中进程信息可能的泄漏点,结合过滤驱动和程序组件校验的机制构造了涉密信息隔离区来实现进程资源访问的隔离。

关键词：隔离区过滤驱动内核完整性可信启动程序组件校验

来源：评论

学校读者我要写书评

暂无评论

基于内核机制的非法连接监控研究与设计

引用

计算机工程与设计 2010年第6期31卷 1161-1165页

作者：钱廷发黄皓南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

在内核监控技术研究的基础上,通过对当前防止非法外联技术的比较和分析,针对当前非法外联技术的弱点,设计了一个防止非法连接的系统。该系统通过认证和策略来确保通信对象的可信性,通过基于SNMP协议的网络拓扑发现算法来确保及时发现连... 详细信息

在内核监控技术研究的基础上,通过对当前防止非法外联技术的比较和分析,针对当前非法外联技术的弱点,设计了一个防止非法连接的系统。该系统通过认证和策略来确保通信对象的可信性,通过基于SNMP协议的网络拓扑发现算法来确保及时发现连接到内网的未安装客户端的主机,通过网络设备控制和内核监控技术来保证网络设备的可靠性,最终达到防止非法连接的目的。

关键词：监控 Windows内核驱动非法外联非法连接简单网络管理协议

来源：评论

学校读者我要写书评

暂无评论

面向3G通信的流媒体关键技术研究

引用

计算机科学 2010年第5期37卷 57-61页

作者：曹磊沈航骆斌白光伟南京工业大学电子与信息工程学院计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

3G网络实时流媒体通信是一种新兴的移动增值业务,近年来对其需求日益增强,引起了学术界和工业界的广泛关注。3G流媒体开创了无线通信、互联网和视频融合的新时代。然而由于无线通信网络动态变化的信道特性、有限的带宽资源、高误码率、... 详细信息

3G网络实时流媒体通信是一种新兴的移动增值业务,近年来对其需求日益增强,引起了学术界和工业界的广泛关注。3G流媒体开创了无线通信、互联网和视频融合的新时代。然而由于无线通信网络动态变化的信道特性、有限的带宽资源、高误码率、节点移动以及多媒体业务严格的服务质量(QoS)要求,3G流媒体业务的服务质量(QoS)保障成为一个挑战性的问题。首先对比目前几种主要的3G通信标准的技术特点;在此基础上从QoS体系、传输协议、编码技术、实时流媒体通信流特性建模等几个方面探讨面向3G通信的流媒体关键技术和研究方法;最后归纳该领域目前需要重点解决的关键问题。

关键词： 3G 流媒体 QoS 传输协议视频编码

来源：评论

学校读者我要写书评

暂无评论

可逆逻辑门网络的表示与级联

引用

电子学报 2010年第10期38卷 2370-2376页

作者：管致锦秦小麟陶涛施南通大学计算机科学与技术学院江苏南通226019 南京大学新技术软件国家重点实验室江苏南京210093 南京航空航天大学信息科学与技术学院江苏南京210016 南通大学江苏省专用集成电路设计重点实验室江苏南通226019

可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交... 详细信息

可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交可逆逻辑门单元的输出值与此二逻辑门单元分布到相同平行线的两条相邻垂直线上的输出值之间的关系;给出了分布在相同平行线上奇数和偶数个相邻的相同可逆逻辑门单元输出结果的性质.提出了一种可逆网络输出向量的表示方法和基于可逆门编码的可逆网络级联方法,以此生成给定范围内的可逆网络.通过变进制数的方法快速找到可逆网络输出向量所对应的序号,降低了搜索次数,减小了搜索空间,为进一步综合大规模可逆网络,提高可逆网络级联效率提供了支持.Benchmark例题验证表明,该方法构造的可逆网络控制门数更少,代价更小.

关键词：可逆计算可逆逻辑综合可逆逻辑门可逆网络可逆门级联

来源：评论

学校读者我要写书评

暂无评论

用于社团发现的Girvan-Newman改进算法

引用

计算机科学与探索 2010年第12期4卷 1101-1108页

作者：朱小虎宋文军王崇骏谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

为了克服Girvan-Newman算法运行效率的不足,提出了一个基于modularity极值近似的社团发现算法MEA。该算法采用modularity增量作为社团结构的度量,使用贪心策略获得最优社团分划的近似解。通过理论分析,并在实际的数据集上进行实验验证,... 详细信息

为了克服Girvan-Newman算法运行效率的不足,提出了一个基于modularity极值近似的社团发现算法MEA。该算法采用modularity增量作为社团结构的度量,使用贪心策略获得最优社团分划的近似解。通过理论分析,并在实际的数据集上进行实验验证,结果表明MEA算法是快速、有效的。

关键词：社会网络分析社团结构发现 Girvan—Newman算法贪心策略

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：