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

计算机工程与应用 2005年第14期41卷 133-137页

作者：毛涛徐云胡自林中国科学技术大学计算机科学与技术系合肥230026 中国科学院软件研究所计算机科学实验室北京100080

由于网格环境中存在着大量分布、异构、动态的资源和服务,快速、准确地进行资源发现,是关系到网格计算性能的关键因素之一。该文按照虚拟组织(V irtual Organization)——机构(Institution)——资源(Resource)的层次,建立分层网格模型,... 详细信息

由于网格环境中存在着大量分布、异构、动态的资源和服务,快速、准确地进行资源发现,是关系到网格计算性能的关键因素之一。该文按照虚拟组织(V irtual Organization)——机构(Institution)——资源(Resource)的层次,建立分层网格模型,提出了该模型上的资源发现机制,包括信息共享、消息扩散及资源查询机制。通过模拟实验,表明了该资源发现机制的查询应答率较高,同时消息扩散的开销较小。

关键词：网格资源发现虚拟组织消息扩散

来源：评论

学校读者我要写书评

暂无评论

一种用于指针程序安全性证明的指针逻辑

引用

计算机学报 2008年第3期31卷 372-380页

作者：陈意云华保健葛琳王志芳中国科学技术大学计算机科学与技术系合肥230026 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

在高可信软件的各种性质中,安全性是被关注的重点,其中软件满足安全策略的证明方法是研究的热点之一.文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统.该逻辑系统是Hoare逻辑系统的一种扩展,... 详细信息

在高可信软件的各种性质中,安全性是被关注的重点,其中软件满足安全策略的证明方法是研究的热点之一.文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统.该逻辑系统是Hoare逻辑系统的一种扩展,它用推理规则来表达每一种语句引起指针信息的变化情况.它可用来对指针程序进行精确的指针分析,所获得的信息用来证明指针程序是否满足定型规则的附加条件,以支持程序的安全性验证.该逻辑系统也可用来证明指针程序的其它性质.

关键词：软件安全指针逻辑 Hoare逻辑指针分析类型系统

来源：评论

学校读者我要写书评

暂无评论

一个新的意图后承形式系统L_(m5c)

引用

软件学报 2002年第7期13卷 1271-1277页

作者：朱紫汝陈小平周熠中国科学技术大学计算机科学与技术系安徽大学计算智能与信号处理开放实验室安徽合肥230039

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于归约蕴涵的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优... 详细信息

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于归约蕴涵的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改.

关键词：意图承形式系统 Lm5c 主体 BDI模型多值逻辑人工智能意图形式化

来源：评论

学校读者我要写书评

暂无评论

STP协议攻击者放置问题研究

引用

中国科学技术大学学报 2009年第11期39卷 1212-1217页

作者：周颢赵保华陈伟琳中国科学技术大学计算机科学与技术系安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027

STP协议攻击者放置问题考虑的是,在一个给定物理拓扑结构的网络中,如何选择合适的交换设备来布置STP攻击者,以控制各交换设备的非终端端口的通断状态,从而动态改变逻辑网络拓扑结构.针对该问题先进行了有向图抽象,给出了受控边覆盖的判... 详细信息

STP协议攻击者放置问题考虑的是,在一个给定物理拓扑结构的网络中,如何选择合适的交换设备来布置STP攻击者,以控制各交换设备的非终端端口的通断状态,从而动态改变逻辑网络拓扑结构.针对该问题先进行了有向图抽象,给出了受控边覆盖的判定定理,在此基础上提出了受控顶点选择算法,并结合具体实例对算法进行了讨论与分析.

关键词：生成树协议 STP攻击者拓扑结构网络

来源：评论

学校读者我要写书评

暂无评论

基于网络覆盖的P2P稀有资源搜索策略

引用

计算机工程 2009年第11期35卷 68-70页

作者：田舟贤顾乃杰何颂颂中国科学技术大学计算机科学与技术系合肥230027 安徽省计算与通信软件重点实验室合肥230027

针对无结构P2P网络中稀有资源搜索成功率低、搜索代价高的问题,提出2种基于网络覆盖的稀有资源搜索策略:RSR和FRSR。RSR在随机漫步的基础上通过考虑邻居节点的热度改进请求转发方式,FRSR通过结合洪泛搜索改进随机漫步转发策略。实验结... 详细信息

针对无结构P2P网络中稀有资源搜索成功率低、搜索代价高的问题,提出2种基于网络覆盖的稀有资源搜索策略:RSR和FRSR。RSR在随机漫步的基础上通过考虑邻居节点的热度改进请求转发方式,FRSR通过结合洪泛搜索改进随机漫步转发策略。实验结果表明,RSR搜索稀有资源的时间比普通随机漫步减少了22.9%,平均搜索成功率提高了26.2%,通信开销降低了22.8%,FRSR比随机转发方式减少了15.4%的搜索时间,提高了14.2%的搜索成功率。

关键词：网络覆盖稀有资源无结构P2P网络

来源：评论

学校读者我要写书评

暂无评论

一种P2P网络中的隐蔽搜索模型

引用

计算机研究与发展 2008年第z1期45卷 370-374页

作者：王进顾乃杰田舟贤中国科学技术大学计算机科学与技术系合肥230027 安徽省计算与通信软件重点实验室合肥230027

随着peer-to-peer(P2P)网络应用的不断发展,网络中的隐私保护问题引起了广泛的关注.当前研究主要集中在匿名通信机制的实现,而这些匿名技术通常需要复杂的系统结构,增加了开发维护代价以及网络管理的难度,同时也增大了传输延迟.针对P2P... 详细信息

随着peer-to-peer(P2P)网络应用的不断发展,网络中的隐私保护问题引起了广泛的关注.当前研究主要集中在匿名通信机制的实现,而这些匿名技术通常需要复杂的系统结构,增加了开发维护代价以及网络管理的难度,同时也增大了传输延迟.针对P2P网络,尤其是无搜索服务器的P2P网络中用户搜索内容隐私保护的问题,提出了基于单向函数和Soundex算法的隐蔽搜索模型.该模型能够保护用户的搜索内容、抵抗窃听、重放、身份冒充等攻击,并且支持精确搜索和模糊搜索.分析表明隐蔽搜索模型具有较高的安全性和搜索有效性.

关键词：隐蔽搜索 Hash函数 RSA算法 Soundex算法

来源：评论

学校读者我要写书评

暂无评论

采用分区缓存调度策略的P2P点播系统

引用

计算机工程 2010年第9期36卷 90-93,96页

作者：曾文烽许胤龙中国科学技术大学计算机科学与技术系合肥230027 安徽省高性能计算重点实验室合肥230027

针对在当前的P2P点播系统中,由于节目热度的差异导致数据副本分布不合理的问题,提出一个采用分区缓存调度策略的P2P流媒体点播系统设计方案。该策略将用户节点缓存区分为2个部分,分别考虑节点自身的需求和整个网络的全局需求进行调度,... 详细信息

针对在当前的P2P点播系统中,由于节目热度的差异导致数据副本分布不合理的问题,提出一个采用分区缓存调度策略的P2P流媒体点播系统设计方案。该策略将用户节点缓存区分为2个部分,分别考虑节点自身的需求和整个网络的全局需求进行调度,以优化节目数据在各节点间的分布,从而提高播放质量。通过仿真实验,验证了该系统设计与策略的有效性。

关键词：对等网络流媒体点播缓存调度

来源：评论

学校读者我要写书评

暂无评论

多媒体基准测试程序中的流并行性分析

引用

计算机科学 2009年第5期36卷 287-290页

作者：周丽萍安虹徐光王耀彬中国科学技术大学计算机科学与技术系合肥230026 中国科学院计算机系统结构重点实验室北京100080

在分析多媒体基准测试程序Mediabench特征的基础上,以Imagine流处理器为例讨论了流体系结构对多媒体应用所提供的软硬件支持,并且利用流编程模型对多媒体应用中存在的流并行性进行了详细的剖析,最后通过对3个典型的多媒体应用进行流并... 详细信息

在分析多媒体基准测试程序Mediabench特征的基础上,以Imagine流处理器为例讨论了流体系结构对多媒体应用所提供的软硬件支持,并且利用流编程模型对多媒体应用中存在的流并行性进行了详细的剖析,最后通过对3个典型的多媒体应用进行流并行程序设计,在Imagine的时钟精确模拟器Isim上测试得到了多媒体应用在流体系结构上可以获得的加速性能。

关键词：多媒体基准测试程序流体系结构流并行性

来源：评论

学校读者我要写书评

暂无评论

一种采用物理模型的实时溃坝动画算法

引用

小型微型计算机系统 2009年第1期30卷 121-124页

作者：吴献董兰芳卢德唐中国科学技术大学计算机科学与技术系安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027

溃坝水波是一种包含大梯度间断的水流运动,既包含整体的水波运动,又必然夹杂着大量分散的水花.本文采用一种基于物理模型的方法模拟溃坝水波,把溃坝过程看作是含间断波的二维浅水流运动.采用无结构网格的有限体积法求解N-S方程,应用二阶... 详细信息

溃坝水波是一种包含大梯度间断的水流运动,既包含整体的水波运动,又必然夹杂着大量分散的水花.本文采用一种基于物理模型的方法模拟溃坝水波,把溃坝过程看作是含间断波的二维浅水流运动.采用无结构网格的有限体积法求解N-S方程,应用二阶的Reo-MUSCL格式,并采用了适当的限制器,使得我们的模型既不产生过大耗散,又具有较高分辨率.在真实感处理方面,加入了粒子系统以模拟溃坝过程中水花四溅的情形.实验结果表明:本文的方法能够真实有效地模拟溃坝水流的运动.

关键词：基于物理建模溃坝有限体积法粒子系统

来源：评论

学校读者我要写书评

暂无评论

基于优化BP算法的无线局域网入侵检测系统的设计

引用

中国科学技术大学学报 2010年第10期40卷 1096-1100页

作者：刘凤纯周颢赵保华中国科学技术大学计算机科学与技术系安徽合肥230027 网络与交换技术国家重点实验室北京100876 安徽省计算与通讯软件重点实验室安徽合肥230027

针对现有BP神经网络算法存在的平坦曲面和局部极小点问题,提出了极小点跃迁遍历BP算法,以取得更好的收敛效果.将改进的BP算法应用于无线局域网入侵检测系统.实验表明,改进的算法提高了入侵检测的准确性和实时性.

关键词：无线局域网入侵检测神经网络 802.11协议

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：