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

中国图象图形学报 2024年第10期29卷 2912-2925页

作者：邢健开徐昆普适计算教育部重点实验室北京100084 北京信息科学与技术国家研究中心北京100084 清华大学计算机系北京100084

可微渲染技术是当前计算机图形学与计算机视觉方向的研究热点,其目标是将计算机图形学中的渲染流水线进行可微化改造以支持计算渲染的输出图像关于输入参数如几何、材质等参数的梯度。结合渲染图像与目标图像之间的损失函数,可微渲染允... 详细信息

可微渲染技术是当前计算机图形学与计算机视觉方向的研究热点,其目标是将计算机图形学中的渲染流水线进行可微化改造以支持计算渲染的输出图像关于输入参数如几何、材质等参数的梯度。结合渲染图像与目标图像之间的损失函数,可微渲染允许在生成式分析的框架中,通过梯度下降的方式从图像中推理出场景参数,是解决三维重建、逆向渲染等领域问题的有效方法,并在虚拟现实、自动驾驶等领域有着广泛的应用前景。基于物理的可微渲染旨在对基于物理的渲染管线进行可微化改造,主要涉及对场景几何和材质的表达,以及光路传输模拟过程的梯度计算方法。本文对近年来基于物理的可微渲染领域的发展情况进行了调研,总结了基于物理的可微渲染研究进展。首先总体介绍正向渲染和可微渲染的计算方法;然后介绍如何针对具体的几何、材质以及相机的表达方式进行梯度计算;讨论如何提高可微渲染的效率和鲁棒性;展示可微渲染如何应用于实际任务中;最后本文展望了可微渲染的发展趋势,期望推动该领域的进一步发展。

关键词：渲染可微渲染逆向渲染光线跟踪三维重建

来源：评论

学校读者我要写书评

暂无评论

可扩展的网络验证技术:研究现状与发展趋势

引用

电子学报 2024年第4期52卷 1083-1102页

作者：黄翰林徐恪李琦李彤付松涛高翔宇清华大学计算机科学与技术系北京100084 北京信息科学与技术国家研究中心北京100084 中关村实验室北京100094 清华大学网络科学与网络空间研究院北京100084 数据工程与知识工程教育部重点实验室(中国人民大学) 北京100872

互联网作为国家信息基础设施的重要组成部分,已经在各个领域发挥着巨大的作用.随着其规模不断扩大和应用持续深入,我们也面临着意图不一致的网络行为可能导致的灾难性危害.为了确保互联网的正常运行和网络行为的一致性,我们迫切需要可... 详细信息

互联网作为国家信息基础设施的重要组成部分,已经在各个领域发挥着巨大的作用.随着其规模不断扩大和应用持续深入,我们也面临着意图不一致的网络行为可能导致的灾难性危害.为了确保互联网的正常运行和网络行为的一致性,我们迫切需要可部署的网络验证技术,以确保网络运行时的行为与网络运维人员的意图一致.当前已经有许多关于网络验证技术的研究,这些研究帮助用户实现自动检测网络错误,并进一步分析错误产生的原因.然而,为了满足互联网规模不断扩大的需求,可扩展性问题成为在互联网部署网络验证技术的一项重要挑战.即如何在满足时间和空间复杂度约束的前提下,快速发现并排查网络策略的错误,真正将网络验证技术应用于实际,成为一个研究热点.本文从数据面验证和控制面验证两个方面出发,深入研究和总结了现有的网络验证研究工作,并探索了基于时空优化的可扩展性技术,对这些方案的特点进行了系统性分析.最后,本文总结和展望了网络验证可扩展技术的未来研究趋势,为该领域的研究人员提供一定的参考.

关键词：网络验证可扩展性网络配置时空优化数据面验证控制面验证

来源：评论

学校读者我要写书评

暂无评论

传输控制中的确认机制研究

引用

软件学报 2024年第4期35卷 1993-2021页

作者：李彤郑凯徐恪数据工程与知识工程教育部重点实验室(中国人民大学) 北京 100872 中国人民大学信息学院北京 100872 华为技术有限公司计算机网络与协议实验室北京 100085 清华大学计算机科学与技术系北京 100084 北京信息科学与技术国家研究中心(清华大学) 北京 100084 鹏城实验室广东深圳 518055

Internet传输层协议需要依赖于确认(ACK)机制提供的反馈信息,实现拥塞控制和可靠传输等功能.以Internet传输协议演化的历史为线索,回顾传输控制领域中的确认机制,并讨论现有确认机制中需要解决的问题;基于"类型-触发条件-信息"... 详细信息

Internet传输层协议需要依赖于确认(ACK)机制提供的反馈信息,实现拥塞控制和可靠传输等功能.以Internet传输协议演化的历史为线索,回顾传输控制领域中的确认机制,并讨论现有确认机制中需要解决的问题;基于"类型-触发条件-信息"三要素,提出按需确认机制及其设计原则,重点分析确认机制和拥塞控制、丢包恢复等传输协议子模块之间的耦合关系;结合设计原则,详细阐述一种可行的按需确认机制实现——TACK机制,并对相关概念进行系统的、深入的分析和澄清.最后结合按需确认机制面临的挑战,给出几个有意义的研究方向.

关键词：传输协议确认机制拥塞控制丢包恢复按需确认

来源：评论

学校读者我要写书评

暂无评论

面向鲁棒图结构防御的过参数化图神经网络

引用

软件学报 2024年第8期35卷 3878-3896页

作者：初旭马辛宇林阳王鑫王亚沙朱文武梅宏清华大学计算机科学与技术系北京100084 北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 清华大学北京信息科学与技术国家研究中心北京102206 北京大学软件工程国家工程研究中心北京100871

图数据在现实应用中普遍存在,图神经网络(GNN)被广泛应用于分析图数据,然而GNN的性能会被图结构上的对抗攻击剧烈影响.应对图结构上的对抗攻击,现有的防御方法一般基于图内聚先验进行低秩图结构重构.但是现有的图结构对抗防御方法无法... 详细信息

图数据在现实应用中普遍存在,图神经网络(GNN)被广泛应用于分析图数据,然而GNN的性能会被图结构上的对抗攻击剧烈影响.应对图结构上的对抗攻击,现有的防御方法一般基于图内聚先验进行低秩图结构重构.但是现有的图结构对抗防御方法无法自适应秩真值进行低秩图结构重构,同时低秩图结构与下游任务语义存在错配.为了解决以上问题,基于过参数化的隐式正则效应提出过参数化图神经网络(OPGNN)方法,并形式化证明所提方法可以自适应求解低秩图结构,同时证明节点深层表征上的过参数化残差链接可以有效解决语义错配.在真实数据集上的实验结果表明,OPGNN方法相对于现有基线方法具有更好的鲁棒性,同时,OPGNN方法框架在不同的图神经网络骨干上如GCN、APPNP和GPRGNN上显著有效.

关键词：图节点半监督分类图结构对抗防御过参数化隐式正则化图神经网络

来源：评论

学校读者我要写书评

暂无评论

处理器分支预测攻击研究综述

引用

计算机学报 2022年第12期45卷 2475-2509页

作者：刘畅杨毅李昊儒邱朋飞吕勇强王海霞鞠大鹏汪东升清华大学计算机科学与技术系北京100084 北京邮电大学可信分布式计算与服务教育部重点实验室北京100867 清华大学北京信息科学与技术国家研究中心北京100084

分支预测器是现代处理器的重要微架构组件,它可有效缓解流水线的控制流冒险问题,提升处理器性能.然而,尽管分支预测器的设计越发先进,设计细节也不被处理器厂商公开,但基于分支预测器的分支预测机制存在的安全问题仍不断被研究人员曝光... 详细信息

分支预测器是现代处理器的重要微架构组件,它可有效缓解流水线的控制流冒险问题,提升处理器性能.然而,尽管分支预测器的设计越发先进,设计细节也不被处理器厂商公开,但基于分支预测器的分支预测机制存在的安全问题仍不断被研究人员曝光.利用分支预测机制,攻击者能构建侧信道或隐藏通道,从而绕过软硬件的安全边界检查.在著名的Spectre攻击中,分支预测器还被用来构建瞬态执行窗口,这打破了被错误预测并执行的指令对软件程序员完全透明的错误安全假设.Spectre攻击曝光后,分支预测的安全问题越来越受到重视,相关的攻击变种与防御措施成为学术界和工业界共同关注的课题.本文从分支预测器的设计角度出发,从已公开和被研究人员逆向工程出的分支预测器设计中总结了分支预测器的工作机制,然后按分支预测器填充方式、分支预测器索引方式和分支预测利用过程等特征对现有的分支预测攻击进行归纳和整理,并总结了这些攻击的攻击模型,包括攻击场景与攻击链.随后,本文结合Intel、AMD和ARM等主流商用处理器的典型微体系结构,从攻击模型深入分析了各分支预测攻击的关联性、创新点和可行性,并提出一种评价分支预测类瞬态执行攻击可行性的理论方法.最后,本文讨论了分支预测攻击未来的研究趋势、相关的防御策略以及安全分支预测器设计等诸多问题.

关键词：分支预测处理器安全计算机微体系结构侧信道瞬态执行

来源：评论

学校读者我要写书评

暂无评论

Arm架构的分支预测器隐蔽信道研究

引用

信息安全学报 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架构分支预测器隐蔽信道

来源：评论

学校读者我要写书评

暂无评论

一种基于变量隐藏抽象的IC3硬件验证算法

引用

计算机科学 2023年第S02期50卷 783-788页

作者：杨柳范洪宇李东方贺飞清华大学软件学院北京100084 教育部信息系统安全重点实验室北京100084 北京国家信息科学与技术研究中心北京100084 北京计算机技术及应用研究所北京100854

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。... 详细信息

随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。

关键词：硬件验证 IC3算法形式化方法模型检验变量隐藏抽象

来源：评论

学校读者我要写书评

暂无评论

海洋剖面激光雷达探测中颗粒物偏振散射问题

引用

光学学报 2022年第12期42卷 1-20页

作者：唐军武朱培志刘秉义张洪玮胡连波陶邦一廖然孟凡谦何惠馨陈树果吴松华马辉青岛海洋科学与技术试点国家实验室“观澜号”海洋科学卫星工程部山东青岛266237 中国海洋大学信息科学与工程学部山东青岛266100 中国科学院上海光学精密机械研究所空间激光信息传输与探测技术重点实验室上海201800 自然资源部第二海洋研究所卫星海洋环境动力学国家重点实验室浙江杭州310012 清华大学深圳国际研究生院广东深圳518055

垂向层化是海洋水体的基本特征之一,几乎所有海洋学科的测量与分析都需要直接或间接的剖面信息。激光雷达是目前唯一可以遥感方式获得百米级海洋剖面信息的手段,激光雷达水体回波信号主要受水分子与水体颗粒物吸收、散射作用的共同影响... 详细信息

垂向层化是海洋水体的基本特征之一,几乎所有海洋学科的测量与分析都需要直接或间接的剖面信息。激光雷达是目前唯一可以遥感方式获得百米级海洋剖面信息的手段,激光雷达水体回波信号主要受水分子与水体颗粒物吸收、散射作用的共同影响。从激光雷达的后向180°散射信号中反演水体颗粒物成分时,活体浮游植物及其降解物、无机颗粒(悬浮泥沙)、浮游动物、气泡等颗粒物在粒径、组分、形状、内部结构等方面的复杂性决定了水体光学特性的复杂性。180°处的体散射系数β(π)是激光雷达水体探测的基本参数,然而不同浮游植物颗粒的散射相函数在180°处相差10倍。目前的模拟仿真中采用的仅具有普适意义的Petzold体散射函数或Voss&Fry穆勒矩阵偏振参数,与具体的遥感探测水体的体散射函数或穆勒参数有很大的差别。针对这个激光雷达中最重要的基础性问题之一,也是主被动光学海洋观探测中的基本问题,进行了综述,并参考国际相关研究人员近些年的一些研究成果,试图提出后续应当重点解决的理论与技术问题。

关键词：海洋光学海洋剖面激光雷达水体光学特性水体偏振光散射水体颗粒物光学特性

来源：评论

学校读者我要写书评

暂无评论

ARM处理器分支预测漏洞分析测评及新漏洞发现

引用

西安交通大学学报 2021年第7期55卷 71-78页

作者：王春露田瑞冬赵旭吕勇强汪东升北京邮电大学可信分布式计算与服务教育部重点实验室北京100876 北京信息科技大学计算机学院北京100192 清华大学北京信息科学与技术国家研究中心北京100084 清华大学计算机科学与技术系北京100084

针对ARM处理器上的分支预测漏洞研究不全面、不深入等问题,提出了一种分支预测漏洞测评方法。通过对分支预测漏洞的攻击过程进行研究,提炼了分支预测漏洞的6步骤攻击模型。根据分支预测漏洞攻击利用的微体系结构和针对的地址空间,将现... 详细信息

针对ARM处理器上的分支预测漏洞研究不全面、不深入等问题,提出了一种分支预测漏洞测评方法。通过对分支预测漏洞的攻击过程进行研究,提炼了分支预测漏洞的6步骤攻击模型。根据分支预测漏洞攻击利用的微体系结构和针对的地址空间,将现有的分支预测漏洞分成9种类型。基于攻击模型和分类方法构建了ARM处理器上的分支预测漏洞测评方法。在主流的3种ARMv8架构处理器上对9种分支预测漏洞进行了测评,测评内容包括是否受漏洞影响、防御方法是否有效和新漏洞的发掘。实验结果表明,部分ARM处理器完全不受分支预测漏洞攻击影响,部分处理器只受5到6种分支预测漏洞影响。在防御方法方面,尚未存在一种防御方法能防御所有的分支预测漏洞,但可以通过不同防御方法的组合来构建完善的防御体系。在测评过程中,发现了一种ARM架构独有的预测执行漏洞——顺序预测漏洞,此漏洞能够泄露同一进程空间的任意数据。

关键词： ARM处理器分支预测漏洞分类漏洞测评顺序预测漏洞

来源：评论

学校读者我要写书评

暂无评论

行人再识别技术研究进展

引用

中国图象图形学报 2023年第6期28卷 1829-1862页

作者：张永飞杨航远张雨佳豆朝鹏廖胜才郑伟诗张史梁叶茫晏轶超李俊杰王生进北京航空航天大学计算机学院北京100191 北京航空航天大学虚拟现实技术与系统全国重点实验室北京100191 清华大学电子系北京100084 北京信息科学与技术国家研究中心北京100084 起源人工智能研究院阿布扎比5151阿拉伯联合酋长国中山大学计算机学院广州510006 北京大学计算机学院北京100871 武汉大学计算机学院武汉430072 上海交通大学人工智能研究院教育部人工智能重点实验室上海200240

行人再识别通过大时空范围内跨摄像机目标行人图像的检索与匹配,可实现人脸等生物特征失效情况下的行人关联,已成为智能视频监控系统的关键环节和支撑技术,并在智慧公安、智慧城市等国民经济建设中发挥了重要作用。近年行人再识别技术... 详细信息

行人再识别通过大时空范围内跨摄像机目标行人图像的检索与匹配,可实现人脸等生物特征失效情况下的行人关联,已成为智能视频监控系统的关键环节和支撑技术,并在智慧公安、智慧城市等国民经济建设中发挥了重要作用。近年行人再识别技术吸引了越来越多的关注,并取得了快速发展与进步。本文在对行人再识别技术进行简介的基础上,面向行人再识别的技术发展和落地应用需求与挑战,总结分析遮挡行人再识别、无监督行人再识别、虚拟数据生成、域泛化行人再识别、换装行人再识别、跨模态行人再识别和行人搜索等热点方向的前沿进展,归纳其发展现状和存在问题,最后对行人再识别技术的发展趋势进行展望。希望通过总结和分析,能够为研究人员开展行人再识别相关研究、推动行人再识别技术进步提供参考。

关键词：智能视频监控遮挡行人再识别无监督行人再识别虚拟数据生成域泛化行人再识别换装行人再识别跨模态行人再识别行人搜索

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：