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

信息安全学报 2025年第1期10卷 1-16页

作者：杨毅吴凭飞邱朋飞王春露赵路坦张锋巍王博吕勇强王海霞汪东升北京邮电大学可信分布式计算与服务教育部重点实验室北京100867 清华大学计算机科学与技术系北京100084 中国科学院信息工程研究所北京100093 南方科技大学计算机科学与工程系深圳518055 飞腾信息技术有限公司天津300459 清华大学北京信息科学与技术国家研究中心北京100084 中关村实验室北京100094

隐蔽信道是一种在不违背计算机当前安全策略的前提下,在进程间传递信息的攻击方式。共两个进程参与到隐蔽信道的构建中:木马进程和间谍进程,具有高权限的木马进程通过隐蔽信道向低权限的间谍进程传递信息以完成攻击。隐蔽信道的传输介... 详细信息

隐蔽信道是一种在不违背计算机当前安全策略的前提下,在进程间传递信息的攻击方式。共两个进程参与到隐蔽信道的构建中:木马进程和间谍进程,具有高权限的木马进程通过隐蔽信道向低权限的间谍进程传递信息以完成攻击。隐蔽信道的传输介质种类很多,如时间、功耗、温度等。在现代处理器中,分支预测器作为重要的微架构组件,有效提高了处理器的流水线效率,但由于分支预测器在核内的多进程间共享,使得其存在被用于构建隐蔽信道的风险。目前Intel x86架构已被发现存在基于分支预测器的隐蔽信道攻击,但是Arm架构是否存在相似的攻击还没有得到充分的研究。本文中,我们成功在Arm架构的实际硬件平台上构建了三种基于分支预测器的隐蔽信道。首先我们在Arm架构下设计并实现了类似于x86架构下的基于分支预测器的隐蔽信道CC和RSC,其次我们发现了一个新的基于分支预测组件BTB的隐蔽信道BTBC。我们评估并分析了隐蔽信道参数对信道性能的影响及其成因,并给出参数设置建议。在Cortex-A53及Cortex-A72两种核心上,我们对三种隐蔽信道的信号特性、传输速率和误码率进行了测试和对比分析。实验表明在实际的Arm架构硬件平台下,BTBC的传输信号边缘清晰,震荡幅度小。在连续传输数据时表现出与CC和RSC近似的信道性能,并且在两种核心上均可以低误码率进行数据传输,其在200bps的传输速率下,仅有2%的误码率。最后我们还给出了对于此类隐蔽信道的防御措施。

关键词： Arm架构分支预测器隐蔽信道

来源：评论

学校读者我要写书评

暂无评论

水平集演化中的奇点与改进的窄带算法

引用

软件学报 2003年第4期14卷 811-817页

作者：于洪川王德军唐泽圣唐龙清华大学计算机科学与技术系计算机软件研究所北京100084

对保持距离函数约束的水平集演化过程作了系统的分析,提出了奇点的概念,并给出了奇点的重要性质及其证明,详细分析了奇点在水平集演化过程中的数值影响.在此基础上对窄带算法作了改进,以避免奇点的不良影响,同时窄带宽度具有自适应性.... 详细信息

对保持距离函数约束的水平集演化过程作了系统的分析,提出了奇点的概念,并给出了奇点的重要性质及其证明,详细分析了奇点在水平集演化过程中的数值影响.在此基础上对窄带算法作了改进,以避免奇点的不良影响,同时窄带宽度具有自适应性.实验结果表明,改进的窄带算法具有较好的鲁棒性.

关键词：水平集演化奇点窄带算法计算机视觉

来源：评论

学校读者我要写书评

暂无评论

模拟集成电路二维Stack生成及模块合并算法(英文)

引用

软件学报 2004年第5期15卷 641-649页

作者：刘锐董社勤洪先龙龙迪顾钧中国科学院软件研究所清华大学计算机科学与技术系北京100084 清华大学计算机科学与技术系香港科技大学计算机系

在模拟集成电路设计中,关于X轴和Y轴同时对称的Stack,以及模块之间的合并,对于增加器件之间的匹配和控制寄生是至关重要的.描述了模拟集成电路二轴对称Stack生成算法和模块合并算法.通过对于对称欧拉图和对称欧拉路径的研究,得出了多项... 详细信息

在模拟集成电路设计中,关于X轴和Y轴同时对称的Stack,以及模块之间的合并,对于增加器件之间的匹配和控制寄生是至关重要的.描述了模拟集成电路二轴对称Stack生成算法和模块合并算法.通过对于对称欧拉图和对称欧拉路径的研究,得出了多项理论结果.在此基础上,提出了时间复杂度为O(n)的伪器件插入算法、对称欧拉路径构造算法和二轴对称Stack生成算法.生成的Stack,不但关于X轴和Y轴对称,而且具有公共质心(common- centroid)的结构.还描述了模块合并算法,给出了计算最大合并距离的公式.该算法本质上是独立于任何拓扑表示的.实验结果验证了算法的有效性.

关键词：模拟集成电路二维Stack 模块合并对称欧拉路径

来源：评论

学校读者我要写书评

暂无评论

给定限界要求的联盟结构生成

引用

计算机学报 2001年第11期24卷 1185-1190页

作者：胡山立石纯一福州大学计算机科学与技术系中国科学院软件研究所计算机科学开放研究实验室北京100080 清华大学计算机科学与技术系

联盟形成是多 Agent系统中的一个关键问题 ,目的是通过寻找使联盟值的总和最大的联盟结构来使系统得到最大的效益 .但通常可能的联盟结构的数目太大 ,不允许穷尽搜索来找出最优解 .当实际问题提出最坏情况的具体限界要求时 ,如何以最小... 详细信息

联盟形成是多 Agent系统中的一个关键问题 ,目的是通过寻找使联盟值的总和最大的联盟结构来使系统得到最大的效益 .但通常可能的联盟结构的数目太大 ,不允许穷尽搜索来找出最优解 .当实际问题提出最坏情况的具体限界要求时 ,如何以最小的搜索达到这个要求是需要解决的 .文中给出的算法对给定的限界要求 K* 2以最少的搜索层数解决了这个问题 . Sandholm等人已经证明 ,要建立最坏情况下的限界 K ( n) ,搜索联盟结构图的最底两层是必要且是充分的 ,此时限界是 n(系统的 Agent数 ) .以此为基础 ,文中给出了算法 ,在搜索最底两层之后 ,只要搜索一层就能保证 K( n) 3 ;而在搜索最底两层之后 ,最多搜索两层就能保证 K( n) 2 .与 Samdholm等人给出的算法相比 ,文中给出的算法达到指定限界的搜索量显著减少 .

关键词：联盟结构多Agent系统联盟形式人工智能

来源：评论

学校读者我要写书评

暂无评论

移动补贴市场运营商定价策略与收益分配

引用

清华大学学报（自然科学版） 2018年第1期58卷 8-13页

作者：苏辉谭崎赵乙徐恪清华大学计算机科学与技术系计算机网络技术研究所

虚拟网络运营商（ISP）的出现改变了移动互联网市场中运营商之间的连接和经济关系。该文建立博弈模型,分别在合作情况下和非合作情况下,使用博弈理论分析了移动补贴市场中流量分配、运营商之间的定价关系及收益的变化,提出了一种在运营... 详细信息

虚拟网络运营商（ISP）的出现改变了移动互联网市场中运营商之间的连接和经济关系。该文建立博弈模型,分别在合作情况下和非合作情况下,使用博弈理论分析了移动补贴市场中流量分配、运营商之间的定价关系及收益的变化,提出了一种在运营商之间分配收益的机制,并通过Nash讨价还价解的方法对收益分配因子进行了优化和求解。结果表明：运营商之间的定价随补贴的增加而升高,该文所提出的收益分配机制能促使运营商自发将其优化目标调整为社会福利最大化。

关键词：移动互联网补贴市场虚拟运营商定价收益分配

来源：评论

学校读者我要写书评

暂无评论

高性能路由器分组调度算法研究

引用

软件学报 2002年第4期13卷 621-628页

作者：江勇吴建平徐明伟清华大学计算机科学与技术系网络研究所北京100084

Internet同时面临着两个问题:更快的交换路由结构和引入服务质量（QoS）保证,每个问题都可以独立解决.高性能路由器可以用输入缓冲的交叉开关（crossbar）代替共享内存来获得更快的速度;QoS能够通过分组公平排队算法PFQ（packet fair qu... 详细信息

Internet同时面临着两个问题:更快的交换路由结构和引入服务质量（QoS）保证,每个问题都可以独立解决.高性能路由器可以用输入缓冲的交叉开关（crossbar）代替共享内存来获得更快的速度;QoS能够通过分组公平排队算法PFQ（packet fair queuing）来得到.然而到目前为止,这两个问题的解决还是互斥的——所有的分组公平排队算法研究都需要路由器采用输出排队或者集中式共享内存.基于输入输出结合排队CIOQ（combinedinput output queuing）结构,设计和实现了一种分组调度算法DF2Q（distributed feedback fair queuing）.该调度算法最重要的特征是引入了反馈机制.分析并讨论了DF2Q的性能.实验结果表明,它能够很好地避免内部拥塞和提高资源利用效率.

关键词：公组公平排队输入输出结合排队高性能路由器分组调度算法服务质量 Internet

来源：评论

学校读者我要写书评

暂无评论

路由查找算法研究综述

引用

软件学报 2002年第1期13卷 42-50页

作者：徐恪徐明伟吴建平吴剑清华大学计算机科学与技术系网络研究所北京100084

随着Internet的迅猛发展,用于主干网络互联的核心路由器的接口速率已经达到了2.5Gbps^10Gbps.这一速率要求核心路由器每秒能够转发几百万乃至上千万个以上的分组.分组转发的重要一步就是查找路由表,因此快速的路由查找算法是实现高速分... 详细信息

随着Internet的迅猛发展,用于主干网络互联的核心路由器的接口速率已经达到了2.5Gbps^10Gbps.这一速率要求核心路由器每秒能够转发几百万乃至上千万个以上的分组.分组转发的重要一步就是查找路由表,因此快速的路由查找算法是实现高速分组转发的关键.路由查找需要实现最长前缀区配.近年来,研究人员提出了多种路由查找算法,以提高查找性能.分析了路由查找问题及其难点,全面综述了各种查找算法,并对它们进行了详细的分析和比较,最后指出了进一步的研究方向.

关键词：路由器路由查找算法 IP地址 Internet

来源：评论

学校读者我要写书评

暂无评论

OpenMP指导语句全局嵌套类型的静态分析及应用(英文)

引用

软件学报 2005年第2期16卷 194-204页

作者：陈永健舒继武李建江王鼎兴清华大学计算机科学与技术系高性能计算研究所北京100084

由于指导语句动态嵌套与绑定规则的存在,OpenMP 程序中线程的一些上下文只能在运行时刻才能完全确定.然而,通过编译时刻的静态分析可以部分确定指导语句的嵌套类型,这些信息可以用于指导后续的编译与优化.由于函数调用的存在,嵌套与绑... 详细信息

由于指导语句动态嵌套与绑定规则的存在,OpenMP 程序中线程的一些上下文只能在运行时刻才能完全确定.然而,通过编译时刻的静态分析可以部分确定指导语句的嵌套类型,这些信息可以用于指导后续的编译与优化.由于函数调用的存在,嵌套与绑定常常会跨越过程边界,除了通常的局部和全局分析之外,还需要过ü谕ǔ５墓碳浞治龅幕∩细郊有畔?可以使得嵌套类型信息在过程调用图中进行传播.将这些全局信息与过程内的局部信息结合起来,就可以在编译时刻确定语句的嵌套类型.结果表明,编译时刻的嵌套类型分析可以有效地确定通常的科学与工程计算程序中指导语句的嵌套类型,基于嵌套类型的翻译与优化可以同时减少运行时开销和目标代码长度.

关键词： 0penMP 编译过程间分析全局嵌套类型 OpenMP翻译

来源：评论

学校读者我要写书评

暂无评论

RSDictionary——一种用于分布式计算环境的全局名字空间

引用

计算机研究与发展 2005年第8期42卷 1409-1414页

作者：张武生杨广文沈美明郑纬民清华大学计算机科学与技术系高性能计算研究所北京100084

资源管理是网格、P2P等分布式计算等领域的一个重要研究课题之一.提出了一种字典式的资源管理技术RSDictionary,能够打破网络拓扑结构的界限,将分散于网络结点上的各种资源依其名称组织起来,形成管理整个计算环境的全局名字空间;借助XM... 详细信息

资源管理是网格、P2P等分布式计算等领域的一个重要研究课题之一.提出了一种字典式的资源管理技术RSDictionary,能够打破网络拓扑结构的界限,将分散于网络结点上的各种资源依其名称组织起来,形成管理整个计算环境的全局名字空间;借助XML格式化消息传递机制,全局名字空间能够将资源加入和退出局限在尽量小的局部网络内,使得系统维护所需开销最小化,同时也简化了在整个名字空间中进行资源定位操作,系统管理和任务执行均可获得较高的效率.

关键词：资源管理名字空间分布式

来源：评论

学校读者我要写书评

暂无评论

连续动态手势的时空表观建模及识别

引用

计算机学报 2000年第8期23卷 824-828页

作者：任海兵祝远新徐光祐林学訚张晓平清华大学计算机科学与技术系媒体研究所北京100084

论述了复杂背景下连续动态手势的分割、建模及识别 ;融合手势运动信息和皮肤颜色信息 ,进行复杂背景下的手势分割 ;通过结合手势的时序信息、运动表观以及形状表观 ,提出动态手势的时空表观模型 ,并提出基于颜色、运动以及形状等多模式... 详细信息

论述了复杂背景下连续动态手势的分割、建模及识别 ;融合手势运动信息和皮肤颜色信息 ,进行复杂背景下的手势分割 ;通过结合手势的时序信息、运动表观以及形状表观 ,提出动态手势的时空表观模型 ,并提出基于颜色、运动以及形状等多模式信息的分层次融合策略抽取时空表观模型的参数 .最后 ,提出动态时空规整算法用于手势识别 .实验表明 ,利用上述提出的手势分割、建模、特征参数抽取及识别方法识别 12种手势 ,平均识别率高达 97% .

关键词：时空表观模型连续动态手势识别计算机视觉

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：