基于混合语义的切片级智能合约重入漏洞检测

针对现有基于深度学习的漏洞检测方法主要集中在源代码的单一表现形式上,无法完全捕获源代码中包含的丰富语义信息和结构信息,以及大多数方法基于函数粒度,检测样本存在大量与漏洞无关的冗余代码导致检测精度下降的问题,聚焦于智能合约最严重的漏洞之一,即重入漏洞,提出一种基于混合语义的切片级智能合约重入漏洞检测方法SCHyVulDect。根据漏洞特征关键字对智能合约进行切片操作,获得合约切片;构建合约切片的代码图,通过图注意力网络(graph attention network,GAT)提取其深层语义信息。并使用双向长短期记忆网络(bidirectional long-short term memory,Bi-LSTM)和注意力机制,提取切片代码的上下文序列特征,将提取的图结构特征和序列特征进行融合,从而进行漏洞检测。实验结果表明,SCHyVulDect检测重入漏洞的精确率、召回率和F1值分别为96.36%、94.45%、91.70%,比现有的基于深度学习的智能合约漏洞检测方法的精确率提高13.03~18.00个百分点,具有较好的检测效果。

基于数据流图和混合网络模型的智能合约漏洞检测

智能合约控制着区块链上巨额资产的流动,因此确保其安全性至关重要。基于此,提出一种基于数据流图和混合深度学习模型的方法,即DFG-HDP,用于检测智能合约的漏洞。该方法首先对智能合约源码进行清洗和变量规范;其次从源码中提取数据流特征,将其与源码结合作为输入;最后将不同的词嵌入模型与不同的深度学习模型结合,对输入进行学习检测。实验结果表明,该方法在智能合约漏洞检测中的F1值高达89.90%,优于之前的漏洞检测方法CBGRU。这一结果证明了该方法的有效性和优越性。

新业态下主播经纪合同的性质认定与法律适用

主播与经纪公司一般通过签订主播经纪合同开展网络直播工作。与民事关系中的平等合作模式不同,公司孵化模式下的主播经纪合同在性质认定上通常面临民事与劳动关系之抉择。一方面,孵化模式决定了主播对公司在人身、经济、组织层面具有一定的从属性;另一方面,在数字经济推动下,主播开展直播工作可不受时空限制、收入可不完全依赖公司,致使其劳动从属性有所降低,民事关系掺杂其中。主播经纪合同作为一种无名合同,在司法实践中面临合同性质认定难题,对此当前学理上存在两种观点。一是劳动关系说,即认为主播与公司是劳动关系,倾向于对从属性进行扩大解释、将劳动权利具体化或者构建类雇员制度。二是民事关系说,即认为主播与公司是民事关系,倾向于将主播经纪合同认定为服务合同或合伙合同。但这两种观点均受困于单一法律关系,难解利益平衡之困局。主播经纪合同在本质上属于混合合同,既涉及完全劳动合同与民事合同的混合,也涉及不完全劳动合同与民事合同的混合。对于完全劳动合同与民事合同的混合,应采用吸收说适用《中华人民共和国劳动合同法》(简称《劳动合同法》)。对于不完全劳动合同与民事合同的混合,应采用类推适用说分层适用《中华人民共和国民法典》(简称《民法典》)第四百六十七条。具体而言,涉及人格、健康、自由等底线保障,如竞业限制条款及最低工资、工时保障的,应参照适用《劳动合同法》及《中华人民共和国劳动法》;未触及底线保障的,应按事项性质分别适用《民法典》合同编规则,如对违约金争议适用其合同编通则,对账号归属权争议参照适用其技术合同规则。采取上述以民事关系为本体加码劳动基准权益的路径,有助于缓和部门法之间的冲突,平衡各方利益。

异质性服务平台直营、转销或混合渠道结构选择

考虑异质性服务质量努力与两部定价佣金合同,构建制造商和平台构成的博弈模型,研究异质性服务平台渠道结构,识别直营、转销和混合3种渠道结构成为平台、制造商及系统最佳选择的条件。研究表明,当平台向制造商收取一定范围的固定管理费用时,异质性服务平台选择混合渠道;制造商入侵平台形成的混合渠道会提高批发价格,加剧双重边际效应;制造商服务质量努力系数增大能够减弱服务异质性,使得混合渠道中的批发价格降低,销量增加,促进制造商提升服务质量。并通过设计有效的两部定价佣金合同,使得混合渠道实现Pareto最优。

基于混合模型和注意力机制的智能合约重入漏洞检测方法

针对传统智能合约漏洞检测工具和单一深度学习模型对重入漏洞检测效率和精确率低等问题,提出了一种基于混合模型和注意力机制的重入漏洞检测方法(CNN-BiLSTM-ATT).首先,使用单词嵌入模型(Word2vec)进行数据处理并得到特征向量;然后,将处理后的特征向量通过卷积神经网络(CNN)和双向长短期记忆网络(BiLSTM)相结合的方法进行特征提取,并通过注意力机制赋予权重以突出关键特征;最后,采用全连接层和Softmax分类器对生成的结果进行分类,实现智能合约的重入漏洞检测.实验结果表明,与传统工具和深度学习方法相比,基于CNN-BiLSTM-ATT的方法在重入漏洞检测方面有较大的提升,准确率、精确率、召回率和F1值分别达到了92.53%,93.27%,91.73%,92.5%,证明该方法的有效性.

大型公共项目总承包模式混合治理研究

随着中国经济进入新常态,基本建设投资巨量化的特点日益明显,实务界针对这种大型公共项目创造了大标段招标的承发包模式。然而,大型公共项目以大标段招标总承包模式招标缔约后,缔约合同前风险不合理分担或缔约合同后的风险变异容易导致风险回流套牢业主。为此,解构了新形势下大型公共项目总承包模式的"市场-科层"的二元混合治理结构,即业主-总承包商之间通过市场选择的合同治理和总承包商-承建工区之间企业内部的科层治理。在新形势下大型公共项目建设全生命周期过程中的内外二元耦合,据此指出大型公共项目风险回流止逆路径,并拓展了项目治理理论,为工程项目实践提供参考。

基于混合智能算法的电子市场供应链期权合同协调

在电子市场环境下,考虑了需求、市场价格和市场准入程度的随机性,基于Stack-erlberg主从对策,建立了供应链期权合同协调的随机期望值模型。在这一主从对策模型中,主方供应商的目标函数是预期利润,决策变量是期权合同预订费用和执行费用;从方分销商的目标函数是预期利润,决策变量是订货量。应用包括随机模拟、人工神经元网络和遗传算法组成的混合智能算法求解该主从对策问题。最后,结合上海宝钢集团益昌公司电子商务的运作实例,运用混合智能算法进行了仿真计算与分析。

考虑价格风险的供应链混合合约决策

研究了一个由产业服务商、制造商和原材料供应商组成的供应链原材料价格风险管理博弈模型。在远期合约和期权合约的基础上,构建了综合远期和期权的混合合约策略。利用均值-方差度量了具有风险规避的产业服务商的效用函数,得到了制造商和产业服务商接受合约的条件。在单一远期合约、单一期权合约和混合合约模型下,比较了产业服务商的效用。通过数值分析,验证了混合合约策略和期货套期保值的优越性,并分析了期现货价格相关性对合约定价和效用的影响。结果表明,在满足特定条件的情况下,混合合约优于其他两种合约。数值分析结果表明,期货套期保值可以有效降低产业服务商面临的价格风险,实现供应链的价格风险管理。

损害赔偿救济适用于排他性管辖协议的可能与困局：以法律基础为核心的分析

损害赔偿救济能否适用于排他性管辖协议,其关键在于有无适当的法律基础。自英美等普通法系国家开创性地将损害赔偿救济适用于管辖协议开始,合同法便是唯一的法律基础。但合同法基础的证成存在一个关键前提,即承认管辖协议能够创设可执行义务的合同性特征。由此,在法律传统、法律文化与政策等因素的影响下,将管辖协议视为程序性合同的大部分大陆法系国家拒绝适用损害赔偿救济。其他可能的法律基础如侵权法和返还法,虽可避开管辖协议的定性难题,但在当前法律制度的约束下,都难以成为一般性的法律基础。因此,就目前而言,只有认可管辖协议的合同性特征,损害赔偿救济才能适用于管辖协议。

基于传感器信息的多机器人任务分配研究

多机器人协作是当前机器人学和人工智能的研究热点之一。针对多机器人系统中的任务分配问题,提出一种基于集中式和分布式的混合式控制结构,在机器人得到传感器信息后,使用合同网协议来完成任务分配,最终实现多机器人协作。在player/stage仿真平台进行的实验表明:多机器人系统能够有效地进行任务分配与协作,提出的解决方案是行之有效的。

基于混合契约的生鲜松茸供应链协调策略研究

混合契约概念是"核心条款+附加条款"所构成的契约体系,使各节点的利益诉求能在更为弹性的区间内进行调适,最终实现生鲜松茸供应链协调效能的增强。基于混合契约的供应链协调策略包括,由销售商与第四方物流企业形成双向信息交互、由第四方物流企业协调栽培方与加工方的对接、在销售方与加工方之间建立代储代供合作模式、在销售方与栽培方之间建立市场信息交互平台。

低功率YAG激光—MAG电弧复合焊接不锈钢

以0Cr18Ni9Ti不锈钢钢板为试验材料,研究了低功率脉冲YAG激光—脉冲MAG电弧复合热源和单脉冲MAG焊接不锈钢。结果表明,低功率脉冲YAG激光—脉冲MAG电弧复合热源同样具有大功率激光—电弧复合焊接才有的增加熔深、提高焊接速度、稳定焊接过程等优点;低功率脉冲YAG激光的加入改变了电弧形态,电弧根部被吸引和压缩现象显著,提高了能量利用率;与单脉冲MAG堆焊相比,在相同焊接速度下复合焊最大能增加熔深1.3倍,在相同熔深下复合焊的焊接速度可以提高50%;复合焊焊缝的晶粒较单MAG焊缝中的晶粒细小,其焊缝抗拉强度比单MAG的好,断裂属于延性断裂。

一类变分不等式解的混合最速下降算法

证明了定义于严格伪压缩映像不动点集上的变分不等式解的混合最速下降算法的强收敛性,推广了Yama-da的相关结果。

所有权安排及经理人对战略性新兴产业培育的影响——基于不完全合同理论

将战略性新兴产业培育的过程依据决策时序划分为技术研发和成果产业化两个阶段,基于不完全合同理论构建模型,探讨在政府决策主导下公有制、私有制及混合所有制所有权安排及经理人努力对研发和运营投入的影响.研究表明,混合所有制安排对战略性新兴产业技术研发投入的作用显著;由于政府私人收益及寻租动机的效率损失,从而会错失公有制下最大化社会福利效益的最优所有权安排.进一步扩展模型,引入经理人作用分析不同所有权安排下战略性新兴产业运营投入及经理人收益和努力水平,得出私有制和混合所有制下经理人的薪酬激励占优,而公有制下运营投入和经理人努力水平更接近效率水平.最后,针对战略性新兴产业培育的混合所有制安排,讨论了战略性新兴产业运营组织形式、政府定位及经理人激励的政策启示.

关于拟渐近伪压缩映像族的混杂算法及其数值实现

在Hilbert空间中给出一种新的关于有限族拟渐近伪压缩映像的混杂投影算法,并利用所提出的算法证明了有限族一致Lipschitz拟渐近伪压缩映像的强收敛定理成立,最后给出数值实验说明所提出算法的有效性。所得到的结论改进了最新文献的一些研究成果。

需求与销售努力相关下混合渠道供应链协调研究

建立了由一个制造商和一个分销商组成的混合渠道供应链模型,考虑了产品需求量与分销商的销售努力相关时,混合渠道供应链中分销商的订货量、销售努力的契约协调问题。并通过改进的收入共享契约使混合渠道供应链达到了分销商订货量和销售努力的同时协调。并进行了算例分析,比较了传统渠道供应链及混合渠道供应链以及供应链成员的利润变化情况,分析结果表明在一定契约参数条件下,制造商增加电子渠道对供应链及供应链成员都是有益的。

分销商需求与其努力相关时混合渠道供应链协调研究

建立了由一个制造商和一个分销商组成的混合渠道供应链模型,考虑了分销商的需求量与其销售努力相关时的协调问题,分别讨论了传统渠道和混合渠道两种情况下供应链的订货量、销售努力的协调问题.并通过改进的收入共享契约使混合渠道供应链同时达到了订货量和销售努力的协调。最后进行了算例分析,比较了供应链、以及供应链成员的利润变化情况,分析结果可以为准备增设电子渠道的制造商提供有意义的建议。

关于拟严格渐近伪压缩映射的杂交投影算法

在自反的具有K-K性质的严格凸的光滑Banach空间中,构造了一种新的关于拟严格渐近伪压缩映射之不动点的杂交投影算法,在去掉集合C有界性的条件下,证明了不动点的强收敛定理成立.

一种基于投标结果修正的合同网协议

合同网协议是一种广泛应用于多Agent系统的合作协议.针对传统的合同网协议,提出一种基于投标结果修正的合同网协议,并论述该协议的合作过程,说明该协议简化了传统合同网协议的工作过程.最后把该协议应用于一个风力/太阳能互补发电系统的实例中,结果表明该协议的工作效率比传统合同网协议更高.

采购拍卖下混合回收渠道的闭环供应链奖惩契约协调研究

在市场需求不确定下,应用采购拍卖和奖惩契约研究零售商和第三方混合回收的闭环供应链协调问题。针对市场中存在m个制造商、1个零售商和1个第三方回收商的情形,分析目录拍卖-双重奖惩契约机制协调供应链的影响,证明当参数满足一定条件时目录拍卖-双重奖惩契约机制能够协调闭环供应链。