课程文献中心 更多>>

关键词： 智能合约   漏洞检测   图神经网络   程序切片  

摘要： 智能合约是一段由计算机代码构成的程序。随着智能合约数量的暴涨,如何利用漏洞检测方法来提升智能合约的安全性显得更加重要。已有的符号执行、模糊测试与形式化验证等漏洞检测方法自动化程度低,而基于序列模型的深度学习方法由于对智能合约源代码的特征挖掘不足导致检测结果的精度偏低。因此,本文提出一个基于程序切片与图神经网络的以太坊智能合约(简称智能合约)漏洞检测方法Slice-GCN。该方法先对程序进行代码预处理简化程序,再使用基于图可达性和数据流方程的程序切片方法对预处理后的程序进行切片,并将切片结果输入长短期记忆网络(LSTM)中提取智能合约的程序语义特征。接着,简化程序依赖图后将其输入图卷积神经网络中,并提取智能合约的程序结构特征。然后,将智能合约的程序语义特征和结构特征拼接后输入多层感知机(MLP)中,并对智能合约进行漏洞检测。在提出Slice-GCN方法的基础上,针对重入攻击、时间戳依赖及整数溢出三类漏洞,本文对Slice-GCN方法与Oyente、Osiris和Soliditycheck三款智能漏洞检测工具进行了对比实验,并且通过消融实验分析了程序切片、图神经网络及图收缩比例对实验结果的影响。实验结果表明本文提出的方法在各类指标上均有较大提升,能有效提升检测准确度和精度,降低误报率,同时在检测速度上也明显优于传统的智能合约漏洞检测工具。

关键词： 网络谣言   司法限定   入罪限度   公共法益  

摘要： 为积极回应刑事政策加强管控网络谣言的要求,网络谣言犯罪化已成必然趋势,关键在于把握好入罪限度。对于编造、传播网络谣言行为的入罪探讨,应从行为的违法程度、责任限度以及需罚性三个方面展开。违法程度必须达到“明显而即刻的危险”。责任层面应否定“明知推定”机制的引入,通过“明知”的认识对象和程度双维度建构“明知”的司法适用逻辑。需罚性上,应整体援引比例原则,融入适当性、必要性和均衡性三项子原则,追寻自由与秩序的最佳平衡点。

关键词： IT支撑   网络运维   自智网络  

摘要： 针对现有评估方法存在定性评估结果难以准确反映网络智能运维水平、人工举证评估受主观因素影响等痛点,本文提出了一种自智网络等级量化评估方法,通过构建等级评估模型和等级评估体系,实现自智网终等级量化评估。引入层级熵分析法确定并修正各层级能力关键因子系数,降低主观系数赋值引起的差异性。试点数据表明,本文方法能有效提高评估结果的可信度和可靠性,指导各专业对短板能力进行针对性优化提升,助力智慧运维业务数智化能力建设。

关键词： 多标签分类   样本不均衡   中医文献异构网络   图神经网络  

摘要： 目的提出一种使用图神经网络增强句嵌入的中医文献多标签分类方法,能够有效获取相似文章之间的关联,通过与文本语义信息的相互融合,提高分类性能。方法获取论文句嵌入数据,建立中医文献异构网络,通过图神经网络GraphSAGE模型学习论文在异构网络上的表征信息和自身的句嵌入信息,将得到的特征向量输入模型进行多标签分类。结果在中医文献数据集下,基于图神经网络的模型的多标签分类精确率和F1值,达到了0.83与0.72,优于主流基线模型。结论本文提出的方法在中医文献多标签分类任务中具有有效性。

关键词： 古装悬疑网络剧   叙事策略   类型叠加   中华文化  

摘要： 古装悬疑网络剧以“古”为视角,以“悬疑”为依托,在类型创新、人物塑造、主题拓展三方面进行了叙事策略的创新尝试。古装悬疑网络剧采用类型融合、“游戏化”的叙事逻辑等拓展故事的叙事模式,以打造主角、女性角色到配角的人像展览式图景作为锚点策略,从细节凸显中式美学,为中国传统文化“赋形”。同时,把握文化肌理与古今文化的价值适配,浸润受众的精神世界,逐渐打造出富有精神内核的文艺景观。

关键词： 锡矿石   锡废料   循环利用   复杂网络   竞争格局  

摘要： 锡作为支撑国家经济发展的战略资源,受到各个国家(地区)的高度重视。随着锡在光伏发电、新能源汽车等新兴产业的广泛应用,锡原材料的供需矛盾日益凸显,加剧了其进出口国(地区)之间的竞争。对全球锡原材料贸易竞争格局的现状及演化过程开展分析,有助于世界各国(地区)构建弹性的锡原材料供应链。本文基于2003—2022年锡原材料(锡矿石、锡废料)国际贸易数据,构建其国际贸易网络和进出口竞争网络,利用复杂网络方法分析锡原材料进出口竞争网络在长时序视角下的结构特征、演化规律和国家(地区)间竞争特点。研究结果表明:锡原材料进出口竞争强度分布不均匀,锡矿石的竞争集中特征相较于锡废料更为明显。锡矿石竞争寡头垄断趋势明显,锡废料竞争日趋激烈。锡矿石进出口竞争均趋向于一体化,锡废料进出口竞争逐渐转变为区域竞争。锡原材料进出口竞争网络均呈现出显著的核心-边缘结构。锡矿石进口竞争和出口竞争的核心均位于亚洲,欧美国家是锡废料进口竞争和出口竞争的核心。中国、缅甸逐步演变为锡矿石进口竞争和出口竞争的矛盾中心;加拿大逐步演变为锡废料进口竞争和出口竞争的矛盾中心。建议中国等锡资源消费大国合理规划锡产业,多元化锡资源进口渠道,并加强再生锡产业的发展。

关键词： “X麻了”   隐喻   转喻  

摘要： 本文以新兴网络流行语“X麻了”为研究对象,从“X麻了”结构的核心“麻”出发,分析了“麻”意义的发展与适用范围的扩大。“X麻了”中“麻”已经不仅是原来表示一种身体上的切实感受,而具有了抽象的表示“高程度”的意义。搭配范围也由特定的名词、动词和程度副词扩展到各式各样的动词与形容词。本文在此基础上从隐喻和转喻的角度对“X麻了”的形成进行认知角度的分析,得出隐喻与转喻共同成为形成“X麻了”的重要认知机制。最后从近年来新兴的构式语法角度浅谈了“X麻了”的形成。

关键词： 运动学标定   并联机器人   误差建模   灵敏度分析  

摘要： 为了提高机器人工作时的运动精度,减少误差,提出了一种新型四自由度高速并联机器人的运动学标定方法。首先使用闭环矢量法构建该机器人误差模型,进而分离出机构的不可补偿误差源和可补偿误差源。然后使用最小二乘法建立误差辨识模型,进一步采用修正系统输入的方法进行误差补偿。最后对补偿前后的精度变化进行了仿真,结果表明,所提出的运动学标定方法能有效提高运动精度。

关键词： 数字经济   网络直播带货行业   税收征管  

摘要： 在数字经济背景下,用户的消费观念也发生了变化,网络直播带货行业呈现飞跃式发展。网络直播带货作为一个新兴行业,其收入来源多样化、金额不固定、发生地点不确定等特点,给网络直播带货行业的税收征管带来挑战。网络直播带货行业的健康发展,离不开税收政策的支持、引导与规范。为了解决网络直播带货行业纳税主体不明确、税收要素模糊、纳税遵从度较低等问题,本文旨在通过建立健全税收法制体系、推进以数治税、加强税务征管信息共享,优化网络直播带货行业的营商环境,从而实现对网络直播带货行业的有效税收征管。

关键词： 水下图像   多尺度融合   密集残差网络   图像增强  

摘要： 在水下成像过程中,图像往往会产生颜色失真、对比度低等问题。针对以上问题,提出一种基于密集残差策略的多尺度水下图像增强网络。通过构建基于非线性无激活函数模块的U型主干结构,改善了由于网络复杂程度提升所导致的模型训练以及预测耗费大量时间的问题;为了补偿上下采样导致的细节丢失,采用选择性密集融合模块,以大量的残差连接代替卷积堆叠,充分扩宽网络深度,有效提取其中的关键特征;最后,为充分考虑图像在不同阶段的详细特征,引入多尺度融合模块,聚合不同尺度的特征图。结果表明,提出的模型比目前主流的水下图像增强方法在峰值信噪比、结构相似性、水下图像质量评价指标上高,分别达到31.8691 dB、0.8568、2.87,且更符合人眼对图像视觉的要求。