检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

智能合约漏洞检测技术综述

软件学报 2024年第1期35卷 38-62页

作者：董伟良刘哲刘逵黎立葛春鹏黄志球南京航空航天大学计算机科学与技术学院江苏南京211106 Monash University Clayton VIC 3800Australia

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分... 详细信息

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.

关键词：智能合约合约安全合约可靠性合约质量保障漏洞检测合约程序分析

在线全文

学校读者我要写书评

暂无评论

少年吃茶记

儿童故事画报 2024年第52期 22-23页

作者：饼干(脚本) 球球(绘) 不详

关键词：

在线全文

学校读者我要写书评

暂无评论

基于条件生成对抗网络的图像翻译综述

计算机辅助设计与图形学学报 2024年第1期36卷 14-32页

作者：屠杭垚王万良陈嘉诚李国庆吴菲浙大城市学院计算机与计算科学学院杭州3100152 浙江大学计算机科学与技术学院杭州3100583 浙江工业大学计算机科学与技术学院杭州310014

图像翻译旨在实现多组不同领域图像间的转换,同时需要约束样本空间与目标空间分布的一致性.文章旨在寻找条件生成对抗网络与图像翻译问题的结合点,首先,介绍了数据集的特点,指出了不同数据集图像翻译难易程度;其次,从数学表达、性质以... 详细信息

图像翻译旨在实现多组不同领域图像间的转换,同时需要约束样本空间与目标空间分布的一致性.文章旨在寻找条件生成对抗网络与图像翻译问题的结合点,首先,介绍了数据集的特点,指出了不同数据集图像翻译难易程度;其次,从数学表达、性质以及目标函数设计方法得出算法实现的不同方式;将现有图像翻译分成3种类别——匹配图像翻译、非匹配图像翻译和多领域图像翻译,并得出不同应用场景所对应的图像翻译类别,即高清任务对应匹配图像翻译,低成本任务对应非匹配图像翻译,多样化任务对应多领域图像翻译;将图像质量评价方法分为主观图像质量评价与客观图像质量评价,并分析客观图像质量评价中全参考图像与无参考图像质量评价的适用范围;最后,总结条件生成对抗网络在图像翻译中的进展,并分析算法后指出了模式崩塌,模型可解释性和少样本等未来所需解决的问题.

关键词：条件生成对抗网络图像翻译生成模型图像质量评价

洋中脊弯折带的构造-岩浆耦合作用:西北印度洋中脊火山锥及断层分布的约束

在线全文

学校读者我要写书评

暂无评论

岩石学报 2024年第7期40卷 2215-2224页

作者：党牛余星韩喜球吴招才邱中炎王叶剑李洪林自然资源部海底科学重点实验室自然资源部第二海洋研究所杭州310012 福建师范大学地理科学学院福州350007 浙江大学海洋学院舟山316021

洋中脊作为全球火山活动最活跃的区域之一,岩浆以裂隙式喷发为主,同时也存在中心式喷发火山锥。本文基于西北印度洋中脊大洋24航次的船载多波束地形数据,选择具有特殊空间位置和构造属性的北部弯折带作为研究靶区,应用定量地貌学方法分... 详细信息

洋中脊作为全球火山活动最活跃的区域之一,岩浆以裂隙式喷发为主,同时也存在中心式喷发火山锥。本文基于西北印度洋中脊大洋24航次的船载多波束地形数据,选择具有特殊空间位置和构造属性的北部弯折带作为研究靶区,应用定量地貌学方法分析火山锥形态特征与空间分布,探索区域火山作用与构造活动的耦合关系。结果表明,火山锥沿洋脊纵向上的分布主要受控于岩浆供应量,但段内其横向上的分布不仅与岩浆供应量有关,还决定于火山锥岩浆通道的形成。火山锥的分布与断层分布密切相关,断层分布密集,易于火山锥通道的形成。弯折带的洋脊段除了受扩张力外,还受到北东方向的应力作用,使弯折带南翼发育有更密集的断层,更高的火山锥密度。该应力效应的产生与非洲板块的北东向推移、印度板块的逆时针旋转以及弯折带效应本身有关。火山锥形态特征与空间分布,对于理解洋中脊区域构造演化以及火山活动过程具有重要价值。

关键词：火山锥分布特征构造-岩浆背景定量地貌学西北印度洋中脊

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

基于LHP的数据中心服务器芯片级散热技术

华中科技大学学报（自然科学版） 2024年第7期52卷 126-131页

作者：薛志虎艾邦成曲伟中国航天空气动力技术研究院北京100074

针对绿色数据中心的高效散热和节能降耗需求,开展了基于环路热管的数据中心服务器芯片级散热技术研究,完成了高性能环路热管在真实服务器上的应用开发和不同冷端温度条件下的测试实验.实验结果显示:在相同测试条件下,液冷式环路热管对... 详细信息

针对绿色数据中心的高效散热和节能降耗需求,开展了基于环路热管的数据中心服务器芯片级散热技术研究,完成了高性能环路热管在真实服务器上的应用开发和不同冷端温度条件下的测试实验.实验结果显示:在相同测试条件下,液冷式环路热管对服务器芯片的控温值比传统翅片热沉结构降低29~32℃,风冷式环路热管对服务器芯片的控温值比传统翅片热沉结构降低29~30℃,为提高数据中心的供水温度和送风温度而降低数据中心制冷能耗创造了条件.采用环路热管芯片级散热技术的服务器整机噪声值降低25~30 dB,改善了机房内人机环境的友好性.

关键词：数据中心服务器电子散热芯片级节能环路热管

光子拓扑绝缘体:超快激光直写加工与应用(特邀)

在线全文

学校读者我要写书评

暂无评论

中国激光 2024年第4期51卷 199-214页

作者：楼旻晗谭德志之江实验室浙江杭州311121 浙江大学材料科学与工程学院浙江杭州310058

超快激光直写技术可以高精度加工任意三维波导结构,从而实现新型拓扑模型以及集成化的拓扑光子器件。通过经典的拓扑结构(如一维二元复式晶格、非对角Aubry-André-Harper晶格、蜂窝晶格),阐述拓扑光学的基本原理和现象(如Thouless泵浦... 详细信息

超快激光直写技术可以高精度加工任意三维波导结构,从而实现新型拓扑模型以及集成化的拓扑光子器件。通过经典的拓扑结构(如一维二元复式晶格、非对角Aubry-André-Harper晶格、蜂窝晶格),阐述拓扑光学的基本原理和现象(如Thouless泵浦,手性边缘态、局域态与拓扑不变量之间的关系),介绍最新的拓扑光子学进展与应用(如高阶拓扑绝缘体、Floquet拓扑绝缘体、非厄米拓扑、非线性拓扑,以及量子拓扑保护),重点综述在超快激光直写平台下实现的拓扑现象与应用。

关键词：激光光学光子拓扑绝缘体超快激光直写 Floquet光子拓扑绝缘体非厄米拓扑非线性拓扑光子芯片

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

遇见芭蕉

儿童故事画报 2024年第44期 30-31页

作者：饼干(脚本) 球球(绘) 不详

关键词：

在线全文

学校读者我要写书评

暂无评论

基于生产情境的评析能力测评赏析

中学政治教学参考 2024年第37期 71-73页

作者：屠玲江苏省南京市燕子矶中学

近几年高考命题以高考评价体系中的“核心价值金线、能力素养银线、情境载体串联线”为根本指南,呈现“无价值,不入题;无思维,不命题;无情境,不成题”的典型特征。文章以2024年高考山东省政治卷第17题为例,从“聚焦时代生活,回应时代议... 详细信息

近几年高考命题以高考评价体系中的“核心价值金线、能力素养银线、情境载体串联线”为根本指南,呈现“无价值,不入题;无思维,不命题;无情境,不成题”的典型特征。文章以2024年高考山东省政治卷第17题为例,从“聚焦时代生活,回应时代议题”“匹配生产情境,追问具体问题”“厚植知识工具,设计学科任务”“注重关键能力,促进思维发展”四个方面对基于情境的评析能力测评进行探讨,以揭示这种测评方式在新高考背景下的重要实践价值。

关键词：生产情境评析能力知识工具关键能力

基于MTRDL的自动飞行系统模式需求建模与验证方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4265-4286页

作者：徐恒黄志球胡军陶传奇王金永石帆南京航空航天大学计算机科学与技术学院江苏南京210016 徐州工程学院信息工程学院江苏徐州221018

在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中... 详细信息

在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中必需的多重飞行模式之间的交互关系,还体现在模式转换与外部环境之间复杂的数据与控制交联关系,这些交联关系同时隐含了飞行模式转换的安全性质,这些特征提高了形式化方法的应用难度.提出一种领域特定的建模验证框架:首先,提出面向自动飞行系统模式转换的领域需求建模语言MTRDL和基于该语言扩展于SysML上的建模方法;其次,提出基于安全需求模板的安全性质辅助规约方法;最后,通过对某机型的若干条目化需求的实例研究,证明所提方法在自动飞行系统模式转换需求验证中的有效性.

关键词：自动飞行系统模式形式化方法 SysML建模安全性质