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

石油地球物理勘探 2024年第5期59卷 1048-1057页

作者：徐贵军石星辰邹振毛伟建刘强李文静中国科学院精密测量科学与技术创新研究院计算与勘探地球物理中心湖北武汉430077 大地测量与地球动力学国家重点实验室湖北武汉430077 中国科学院大学北京100049 东方地球物理公司物探技术研究中心河北涿州072751 油气勘探计算机软件国家工程研究中心北京100088

基于弹性波动方程的多波多分量高斯束偏移方法计算高效且成像精确,适用于复杂地质构造,目前多应用于陆地三分量数据,对于海底地震数据存在明显的适应性问题:①不完整的海底边界条件导致P波和S波无法彻底分离,上、下行波会在海底的记录... 详细信息

基于弹性波动方程的多波多分量高斯束偏移方法计算高效且成像精确,适用于复杂地质构造,目前多应用于陆地三分量数据,对于海底地震数据存在明显的适应性问题:①不完整的海底边界条件导致P波和S波无法彻底分离,上、下行波会在海底的记录方式下发生混叠,造成虚假成像;②地下介质中普遍存在的各向异性带来运动学信息误差,导致最终成像出现反射波归位不准确、绕射波收敛效果差、能量不聚焦等问题。为此,提出一种兼顾各向异性特性、直接使用包含水压分量的海底四分量地震数据进行弹性高斯束偏移成像的方法。首先,假设海底接收界面为各向同性,以弹性波波动方程和海底完整边界为基础进行波场延拓,得到四分量数据的波型分离矩阵;然后,结合各向异性射线追踪和动力学参数近似,实现了VTI介质的弹性波高斯束偏移。2D层状模型和北海Gullfaks区域模型的数值试算结果表明,所采用的海底四分量各向异性介质高斯束偏移方法抑制了不完整边界条件造成的成像假象,能够自动分离海底各向异性介质中的PP波和PS波,实现转换波的准确成像,更精确地恢复和归位地震波,提高了地震资料成像分辨率,尤其适用于复杂海底的大炮检距、宽方位地震勘探。

关键词：波动方程成像各向异性介质弹性波高斯束四分量

来源：评论

学校读者我要写书评

暂无评论

音频大地电磁一维电导率各向异性、磁导率有限元正演

引用

地球物理学进展 2024年

作者：王浩东陈星佑王光杰周宗峄乔帅营彭桦肖调杰长沙理工大学计算机与通信工程学院国防科技大学计算机学院中国科学院地质与地球物理研究所中国科学院大学高端装备数字化软件重点实验室国防科技大学并行与分布计算全国重点实验室

音频大地电磁方法（Audio Magnetotelluric Method， AMT）是一种重要的勘探地球物理方法，被广泛应用于地质勘查、金属矿产勘探等领域。电导率和磁导率是影响AMT响应的两个重要物性参数，且真实地球物理介质中电导率各向异性、磁铁矿... 详细信息

音频大地电磁方法（Audio Magnetotelluric Method， AMT）是一种重要的勘探地球物理方法，被广泛应用于地质勘查、金属矿产勘探等领域。电导率和磁导率是影响AMT响应的两个重要物性参数，且真实地球物理介质中电导率各向异性、磁铁矿等物质磁化率显著的现象普遍存在。然而，当前成熟的AMT正反演技术通常只考虑电导率单一参数，且对电导率各向异性、非零磁化率复杂情况下的AMT响应认识不足。因此，本文从Maxwell方程组出发，同时考虑电导率任意各向异性、磁导率，首次详细推导并实现了一维层状介质有限元正演，并进一步对典型模型的响应进行了详细分析，结果表明当存在磁化率较强的铁磁性等物质时需充分考虑磁化率的影响，特殊情况下低阻体受高磁化率的影响，甚至可能会表现为无视电阻率异常或高视电阻率异常。本文提供了一种研究电导率各向异性、磁导率影响的方案，也为后续二维、三维复杂情况下的数值模拟提供参考。

关键词：音频大地电磁法有限单元法正演各向异性磁化率磁导率

来源：评论

学校读者我要写书评

暂无评论

一种基于图模型的网络攻击溯源方法

引用

软件学报 2022年第2期33卷 683-698页

作者：黄克振连一峰冯登国张海霞吴迪马向亮中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049 中国网络安全审查技术与认证中心北京100020 清华大学集成电路学院北京100084

随着信息技术的飞速发展,网络攻击事件频发,造成了日益严重的经济损失或社会影响.为了减少损失或预防未来潜在的攻击,需要对网络攻击事件进行溯源以实现对攻击者的挖掘追责.当前的溯源过程主要依赖于人工完成,效率低下.面对日益增加的... 详细信息

随着信息技术的飞速发展,网络攻击事件频发,造成了日益严重的经济损失或社会影响.为了减少损失或预防未来潜在的攻击,需要对网络攻击事件进行溯源以实现对攻击者的挖掘追责.当前的溯源过程主要依赖于人工完成,效率低下.面对日益增加的海量溯源数据和日趋全面的溯源建模分析维度,亟需半自动化或自动化的网络攻击者挖掘方法.提出一种基于图模型的网络攻击溯源方法,建立网络攻击事件溯源本体模型,融合网络攻击事件中提取的线索数据和威胁情报数据,形成网络攻击事件溯源关系图;引入图嵌入算法自动学习嵌有关联线索特征的网络攻击事件特征向量,进而利用历史网络攻击事件特征向量训练SVM(support vector machine)分类器,并基于SVM分类器完成网络攻击者的挖掘溯源;最后,通过实验验证了该方法的可行性和有效性.

关键词：网络攻击事件网络攻击者溯源网络攻击事件溯源关系图图嵌入

来源：评论

学校读者我要写书评

暂无评论

区块链智能合约交易并行执行模型综述

引用

软件学报 2022年第11期33卷 4084-4106页

作者：施建锋吴恒高赫然张文博中国科学院大学北京100049 中国科学院软件研究所软件工程技术研究开发中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

以太坊等区块链采用串行方式执行区块中的智能合约交易,虽能严格保障执行后节点间区块链状态的一致性,但这已成为目前制约区块链吞吐率的一个重要瓶颈.因此,采用并行方法优化智能合约交易的执行逐渐成为工业界和学术界关注的重点.总结... 详细信息

以太坊等区块链采用串行方式执行区块中的智能合约交易,虽能严格保障执行后节点间区块链状态的一致性,但这已成为目前制约区块链吞吐率的一个重要瓶颈.因此,采用并行方法优化智能合约交易的执行逐渐成为工业界和学术界关注的重点.总结了区块链智能合约并行执行方法的研究进展,提出了一个研究框架,该框架以智能合约并行执行的阶段为视角,凝练出4种智能合约并行执行模型,即基于静态分析的并行执行模型、基于动态分析的并行执行模型、节点间并行执行模型和分治并行执行模型,然后描述了每种模型下典型的并行执行方法.最后,对交易依赖图和并发控制策略等影响并行执行的因素进行了讨论,并提出了未来可研究的方向.

关键词：区块链智能合约并行执行事务吞吐率

来源：评论

学校读者我要写书评

暂无评论

基于eBPF的容器运行时可信监控方案

引用

信息网络安全 2025年第2期 306-326页

作者：黄轲李璇周庆飞尚科彤秦宇中国科学院软件研究所可信计算与信息保障实验室北京100190 中国长城科技集团股份有限公司深圳518028

随着云服务技术的发展,越来越多的应用以容器形式迁移到云端,容器的安全监控成为研究热点。虽然容器具有轻量级、部署快速、移植便捷的优点,但其较弱的隔离性却带来了诸多安全问题,如容器逃逸攻击、容器镜像投毒、内核漏洞利用等。针对... 详细信息

随着云服务技术的发展,越来越多的应用以容器形式迁移到云端,容器的安全监控成为研究热点。虽然容器具有轻量级、部署快速、移植便捷的优点,但其较弱的隔离性却带来了诸多安全问题,如容器逃逸攻击、容器镜像投毒、内核漏洞利用等。针对这些威胁,文章采用eBPF系统监控技术,结合BMC信任根、镜像静态分析、通用策略引擎及运行时证明,提出了一种容器运行时安全监控方案。该方案利用eBPF实现的监控程序,能够识别并监控容器的进程、权能、文件、网络等行为事件。同时,该方案设计了细粒度的容器安全策略,并依据容器镜像静态分析所得的系统调用白名单,检测容器异常行为,多维度保障容器安全。此外,该方案还设计并实现了基于BMC信任根的运行时证明协议,利用BMC中集成的可信计算模块作为信任根,通过可信计算模块的证明确保eBPF监控事件报警日志的完整性和真实性。实验表明,监控服务器能够长期监控各类容器的运行状态,并针对安全异常事件及时采取应对措施。

关键词：容器安全 eBPF 运行时监控 BMC信任根远程证明

来源：评论

学校读者我要写书评

暂无评论

ZUC算法的线路优化实现

引用

密码学报（中英文） 2024年第5期11卷 1108-1125页

作者：邹剑黄倩魏子豪李立基吴文玲福州大学计算机与大数据学院福州350108 福州大学网络系统信息安全重点实验室福州350108 数据通信科学技术研究所北京100191 中国科学院软件研究所可信计算与信息保障实验室北京100191

当前还未发现ZUC算法S盒的高效线路实现方案,一般以查找表的方式进行实现.该操作将消耗大量的硬件资源,非常不适用于在受限环境下使用ZUC算法.针对上述不足,本文首次给出ZUC算法S盒的完整线路实现以及线性变换的in-place实现,可以有效... 详细信息

当前还未发现ZUC算法S盒的高效线路实现方案,一般以查找表的方式进行实现.该操作将消耗大量的硬件资源,非常不适用于在受限环境下使用ZUC算法.针对上述不足,本文首次给出ZUC算法S盒的完整线路实现以及线性变换的in-place实现,可以有效地降低ZUC算法线路实现的资源开销.ZUC算法中的S盒由4个大小为8×8的S盒组合而成,即S=(S_(0),S_(1),S_(2),S_(3)),其中S_(0)=S_(2),S_(1)=S_(3).首先,使用穷举剪枝的搜索策略以及基于SAT的S盒优化技术给出S_(0)中3个P变换的高效线路实现,进而首次得到S_(0)的紧凑线路实现.其次,根据S_(1)的代数表达式,通过应用几种最先进的组合逻辑最小化技术,对正规基下F28域上求逆运算的720种塔域表示进行全面的研究,得到S_(1)的紧凑线路实现.相较于以往基于复合域的实现方法,节省了25.48%的硬件开销.最后,将ZUC算法中的线性变换转换成矩阵形式,并使用优化线性矩阵的启发式算法得到其in-place实现,减少了34.77%的XOR门数,且不需要使用额外的辅助比特.本文研究将会对传统环境下以及量子环境下ZUC算法的线路实现产生积极的影响.

关键词： ZUC S盒线性变换线路实现

来源：评论

学校读者我要写书评

暂无评论

基于已有实例的Linux驱动程序前向移植接口补丁推荐

引用

计算机研究与发展 2021年第1期58卷 189-207页

作者：李斌贺也平马恒太芮建武中国科学院大学北京100049 中国科学院软件研究所基础软件国家工程研究中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

Linux内核版本频繁升级对驱动程序带来的关联影响程度和影响范围都很大,为了修复这种关联影响带来的驱动程序调用内核接口的不一致性错误,不断修改旧版本驱动代码进行前向移植是一个持续和紧迫的问题.驱动演化辅助理解、驱动移植中间库... 详细信息

Linux内核版本频繁升级对驱动程序带来的关联影响程度和影响范围都很大,为了修复这种关联影响带来的驱动程序调用内核接口的不一致性错误,不断修改旧版本驱动代码进行前向移植是一个持续和紧迫的问题.驱动演化辅助理解、驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究,通过检索语句级别的辅助信息提高了驱动移植的效率.但是已有方法仅关注了检索辅助信息本身却并没有区分其中包含的有效补丁素材,因此还需要人工分析和手工构造适配性补丁.为了克服上述限制,提出了一种全新的方法旨在推荐驱动前向移植中接口错误的高质量补丁.观察发现,依赖相同内核接口服务的多个不同驱动程序之间存在相同或相似的内核接口调用,内核版本升级后其他驱动的历史开发信息中可能存在这种复用接口及其使用变更的已有实例代码.利用出错接口语句和相似已有实例的共性分析错误问题的特点,通过已有实例的辅助作用抽取针对性的接口修改方式和修改内容等细粒度素材生成待推荐补丁.具体结合分界点识别、相似度计算、细粒度差异比较和频度计算确定有效修改方式.提出了一种基于已有实例差异特征的分类算法,通过区分修改内容的不同类型分别从2种数据源提取.最后使用编辑脚本技术生成推荐补丁列表.在9个不同类型的真实驱动程序上的实验表明,该方法能够推荐驱动移植中7类接口错误补丁,有效补丁占比约67.4%,对现有辅助方法形成了有效补充和拓展.

关键词：驱动移植已有实例接口复用修改方式补丁推荐接口错误

来源：评论

学校读者我要写书评

暂无评论

基于频域解离特征的OCT指纹表征攻击检测

引用

计算机学报 2024年第2期47卷 323-336页

作者：刘凤曾文锋张文天孔哲王磊沈琳琳深圳大学计算机与软件学院广东深圳518060 广东省智能信息处理重点实验室广东深圳518060 深圳市人工智能与机器人研究院广东深圳518060 中国科学院深圳先进技术研究院广东深圳518055

在自动指纹识别系统中,指纹防伪能力的发展至关重要.传统指纹一般由表面成像得到,而这种表面的纹理特征极容易被盗取.基于这种传统指纹的识别系统,检测指纹表征攻击的能力十分有限.因此,现有研究普遍针对具有防伪特征的指纹模态,如具有... 详细信息

在自动指纹识别系统中,指纹防伪能力的发展至关重要.传统指纹一般由表面成像得到,而这种表面的纹理特征极容易被盗取.基于这种传统指纹的识别系统,检测指纹表征攻击的能力十分有限.因此,现有研究普遍针对具有防伪特征的指纹模态,如具有汗腺特征的高精度指纹和具有指静脉特征的指纹开发表征攻击检测算法.在本篇工作中,为了进一步提高指纹系统的表征攻击检测能力,我们提出一种基于光学相干断层扫描技术(Optical Coherence Tomography,OCT)的频域指纹表征攻击检测方法.与以往方法不同,我们首先利用卷积神经网络和残差结构设计了一个频域特征解离模型,通过该模型可以分别解离出时域中叠加在原始OCT指纹图像上的信息(如区分性特征、无效特征和冗余特征).然后,我们让它学习不同的频域编码,并结合OCT指纹在时域中的重构编码形成相应的潜层编码.利用潜层编码,我们设计了一种用于区分表征攻击指纹和真实指纹的预测模型,用于表征攻击检测.在目前常用的OCT指纹数据集上的实验结果表明,我们的方法可以通过在频域中分离出一些叠加在时域中的无用干扰信息,从而有效地消除干扰.在实例方面,该方法的最小误差(Err.)为0.67%,与已有的基于时域的最优方法相比,最小误差降低了3.03%,性能提高了81.89%.

关键词：表征攻击检测光学相干断层扫描技术离散小波变换频域解离自动编码器

来源：评论

学校读者我要写书评

暂无评论

CMuJava:一个面向Java程序并发变异体生成系统

引用

软件学报 2022年第2期33卷 397-409页

作者：孙昌爱耿宁代贺鹏顾友达北京科技大学计算机与通信工程学院北京100083 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程... 详细信息

并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程序的一个关键问题是,如何高效地生成大量的模拟并发故障的变异体集合.给出了一种并发程序的变异测试框架,研制了一个并发变异体自动生成工具CMuJava.采用经验研究的方式评估了CMuJava生成的变异体集合的正确性与充分性,并且评估了变异体生成的效率.实验结果表明:CMuJava能够准确、充分地生成并发变异体集合,极大地提高了手工变异体生成的效率.

关键词：并发程序变异测试并发变异算子并发变异体测试工具

来源：评论

学校读者我要写书评

暂无评论

基于联邦学习的医疗数据共享与隐私保护

引用

计算机工程与设计 2024年第9期45卷 2577-2583页

作者：刘振涛李涵吴浪秦宇北京信息科技大学理学院北京100192 中国科学院软件研究所可信计算与信息保障实验室北京100190

针对医疗数据共享中的“数据孤岛”问题,提出一个基于联邦学习的医疗数据共享与隐私保护方案。利用差分隐私技术对各个医疗机构的本地模型参数添加噪声,解决参数泄露的问题;全局模型通过编写的智能合约聚合并上传区块链,避免过度依赖中... 详细信息

针对医疗数据共享中的“数据孤岛”问题,提出一个基于联邦学习的医疗数据共享与隐私保护方案。利用差分隐私技术对各个医疗机构的本地模型参数添加噪声,解决参数泄露的问题;全局模型通过编写的智能合约聚合并上传区块链,避免过度依赖中心聚合服务器;针对提出的隐私保护方案对差分隐私噪声的添加位置进行实验和讨论。实验结果表明,该方案可以在去中心化的同时保护数据的隐私,达到了较高的准确度,找到了合适的噪声添加位置。

关键词：联邦学习多层区块链医疗数据共享差分隐私聚合智能合约隐私保护

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：