摘要:智能合约是区块链三大特点之一，也是区块链具有应用价值和灵活性的领域.本质上，智能合约是一段用特定脚本语言实现的代码，不可避免地存在安全漏洞风险.如何及时准确地检查出各种智能合约的漏洞，就成为区块链安全研究的重点和热点.为了检测智能合约漏洞，研究者提出了各种分析方法，包括符号执行、形式化验证和模糊测试等.随着人工智能技术的快速发展，越来越多基于深度学习的方法被提出，并且在多个研究领域取得了很好的效果.目前，针对基于深度学习的智能合约漏洞检测方法并没有被详细地调查和分析.本文首先简要介绍了智能合约的概念以及智能合约漏洞相关的安全事件；然后对基于深度学习的方法中常用的智能合约特征进行分析；同时对智能合约漏洞检测中常用的深度学习模型进行描述.此外，为了进一步推动基于深度学习的智能合约漏洞检测方法的研究，本文将近年来基于深度学习的智能合约漏洞检测方法根据其特征提取形式进行了总结分类，从文本处理、静态分析和图像处理3个角度进行了分析介绍；最后，总结了该领域面临的挑战和未来的研究方向.

摘要:随着经济的快速发展，信用贷款在企业资金周转中的作用越来越重要. 信用评级是信用贷款发放的基本依据之一. 本文针对实际信用评级中有标签样本数量不足的问题提出了一种基于Tri-training算法的多分类信用评级方法, 该方法选择支持向量机、决策树和最大熵模型作为基分类器组合. 最后，本文使用真实信用数据集验证了该方法的实际效果.

摘要:本文对具有质量涨落的双分数阶耦合振子系统的随机共振（Stochastic Resonance，SR）进行了研究. 在利用Shapiro-Loginov公式和Laplace变换求得系统输出振幅增益（output Amplitude Gain，OAG）的解析式后，本文研究了不同参数对OAG共振行为的影响. 数值模拟结果显示，OAG随噪声强度、信号频率及阻尼系数的变化出现随机共振. 此外，分数阶和耦合系数对OAG的随机共振也有影响.

摘要:本文针对二维和三维对流-扩散-反应方程的界面问题提出了一种基于非贴体网格的扩展杂交间断有限元方法. 该方法在单元的内部分别用分片 k (k≥1) 和 m (m=k,k-1) 次多项式逼近标量函数及其梯度, 在单元边界上用 k 次多项式逼近标量函数的迹, 在界面上则用界面单元内部的 k 次多项式在界面上的限制去逼近标量函数的迹. 对于弱问题, 本文利用 Lax-Milgram 定理证明其解的存在唯一性. 对于离散格式, 本文给出了其解的存在唯一性以及能量范数下的最优误差估计.

摘要:本文针对低截获概率（Low Probability of Intercept, LPI）雷达信号调制类型的识别问题提出了一种基于Swin Transformer神经网络的识别方法. 该方法首先用平滑伪Wigner-Ville分布对信号进行时频变换，将一维时域信号变换为二维时频图像，然后使用Swin Transformer神经网络对图像进行特征提取及调制类型识别. 仿真结果显示，该方法具有较强的抗噪声能力，在低信噪比条件下识别准确率高，且具有较强的小样本适应能力.

摘要:近年来，复杂网络逐渐成为非线性动力系统研究的一个热点. 对复杂网络混沌行为的产生机制及其对系统参数的依赖性进行研究，可以为复杂网络的混沌控制提供理论基础. 本文研究了一种新的Duffing-WS型小世界网络的混沌行为. 本文首先利用变分法推导了系统的最大李雅普诺夫指数，并将其作为混沌判据讨论了系统的混沌行为对其参数的依赖. 结果显示，该网络具有比单个Duffing方程复杂得多的混沌行为.

摘要:本文考虑了一维环面上的非线性 Schrodinger 方程小振幅解的稳定性. 在正则指标s大于0.5小于1的条件下, 本文给出了方程小振幅解的长时间稳定性的一个估计.

摘要:本文将DDPG算法中使用的OrnsteinUhlenbeck (OU) 噪声整数阶微分模型推广为分数阶OU噪声模型，使得噪声的产生不仅和前一步的噪声有关而且和前K步产生的噪声都有关联.通过在gym惯性环境下对比基于分数阶OU噪声的DDPG和TD3算法和原始的DDPG和TD3算法，我们发现基于分数阶微积分的OU噪声相比于原始的OU噪声能在更大范围内震荡，使用分数阶OU噪声的算法在惯性环境下具有更好的探索能力，收敛得更快.

摘要:为提升冷链物流配送效率、降低物流成本，本文在综合考虑多配送中心、客户动态需求、沿途补货策略的前提下，建立以总配送成本和客户满意度最优为目标的冷链物流配送模型.模型采用主目标法处理客户满意度和成本之间的背反关系，将动态问题按照时间轴依次分解为一系列的静态调度子问题并考虑了5种配送成本.本文提出自适应大邻域搜索算法求解该模型，设计了三种破坏算子和三种修复算子，对小中大三种不同规模的算例进行测算.结果表明该算法在速度、精度和稳定性上表现良好，对求解此类问题有较好的适应性和准确性.与不考虑沿途补货策略的动态配送方案相比，沿途补货策略可使成本降低23.06%、客户满意度提升8.69%.结果表明提出的配送方案可很好地节约企业的配送资源、减少配送成本、增强竞争力.

摘要:由于预训练模型输入分词数量限制，基于 BERT 的长文本分类任务效果与长文本分割后的文本段集合的处理及特征融合密切相关，现有的长文本分类研究在融合文本段特征时更关注文本段之间原始的顺序关系，而本文提出了一种基于 BERT 和集合神经网络的长文本分类模型.该方法以 BERT 为基础，可处理从同一文本样本分割得到的任意数量文本段，经过 BERT 后得到文本段特征，再将所有文本段特征输入到具有置换不变性的集合神经网络层中，提取出集合级别特征来优化长文本的特征表达.通过在三个数据上的实验分析，论文在平均分词长度较长的数据集上取得了90.82%的准确率，高出目前最优方法4.37%.

摘要:目前基于神经网络的DOA估计主要是针对理想情况下的均匀线阵，且信源非相干，可估计的信源数较少.针对阵列误差和相干信源同时存在的问题，在理想数据集中引入互耦误差、阵元幅度误差、阵元相位误差以及阵元位置误差，并设计了一个多通道CNN+DNN网络和目标函数生成方法，用于相干信源的稳健DOA估计.引用B-band互耦模型和相关误差模型合成阵列输出信号，通过提取阵列输出信号的协方差矩阵的实部、虚部与相位角，构建网络的输入信号.对理想条件下的MUSIC算法DOA估计结果进行拟合，根据拟合公式生成多信源从不同角度入射时的空间谱，作为网络的目标信号.使用相同的数据集对本文DOA估计网络与其它文献中的DOA估计网络进行训练和测试.结果显示，在不同信噪比、不同误差大小以及不同信源数的情况下，本网络的稳健性和解相干能力都更优.

摘要:高分辨率遥感图像场景分类广泛应用于土地监测、环境保护及城市规划等诸多领域.现有场景分类方法不能很好地结合局部纹理信息和全局语义信息，同时各通道特征之间的关系没有得到有效挖掘.因此，本文提出了一种基于多通道自注意力网络的遥感图像场景分类模型.通过卷积网络提取遥感图像的多尺度特征；随后采用特征融合单元建立多尺度特征间的局部-全局关系，基于多头自注意力机制的Inter-Channel Transformer在通道维度对融合后的特征建模，并推导特征在通道间的关系，进一步扩大全局感受野，以捕捉其语义结构信息，有效提高了网络的分类精度.在数据集AISC和SIRI-WHU上，本文所提算法的整体分类准确率(OA)分别为95.70%和94.00%，超过了当前最新的研究算法，证明了所提模型在高分辨率遥感图像场景分类任务中的有效性.

摘要:暴力行为检测是行为识别的一个重要研究方向，在网络信息审查和智能安全领域具有广阔的应用前景.针对目前的时序模型在复杂背景下不能有效提取人体运动特征和常规循环神经网络无法联系输入上下文的问题，本文提出一种时序边界注意力循环神经网络TEAR-Net.首先，以本文提出的一种全新的运动特征提取模块MOE为基础，在保留输入视频段序列背景信息的前提下加强运动边界区域.运动边界对于动作识别的作用要远大于图像其他区域，因此运动边界加强能够有效提高动作特征的提取效率，从而提升后续网络的识别精度.其次，引入了一种全新的结合上下文语境和注意力机制的循环卷积门单元(CSA-ConvGRU)，提取连续帧之间的流特征以及不同帧的独立特征，并关注关键帧，能够极大提升动作识别的效率，以少量参数和较低计算量的代价掌握视频流的全局信息，从而有效提高识别准确率.本文提出的模型在目前最新的公开数据集RWF-2000和RLVS上进行了多种实验.实验结果表明，本文提出的网络在模型规模和检测精度上均优于目前主流的暴力行为识别算法.

摘要:本文利用基于密度泛函理论的第一原理方法研究Half-Heusler合金LiMgAs 的结构性质以及热力学性质. 所计算的晶格常数，弹性模量和弹性模量对压强的导数与实验和其他理论值相吻合. 本文还计算了α, β 和γ 三种相的LiMgAs声子频率，发现没有虚频的α-LiMgAs热力学结构是稳定，其他两个相结构都有虚频率，不稳定. 本文通过准谐德拜模型研究并获得了不同温度0~1500 K和不同压强0~70 GPa下的热膨胀系数，热容，熵，德拜温度，Grüneisen参数. 我们发现, 热膨胀系数、热容、熵和Grüneisen参数随温度增加而增加，随压强增加而减小; 而温度和压强对德拜温度弹性模量影响和上面其他物理量影响恰好相反. 另外，热容较高温度即高于1000 K时，热容值变化很小，遵循Dulong-Petit定律.

摘要:为了快速标定闪烁室的氡浓度，本文提出一种无需通过实验就能得到闪烁室不同时刻测氡的刻度因子来标定氡浓度的方法. 该方法首先利用Geant4模拟了ST-203闪烁室中的氡及其子体不同能量α粒子的探测效率，再基于取样3 h平衡后其刻度因子与闪烁室内氡及其子体平均探测效率的关系，然后根据氡及其子体的衰变规律，建立了闪烁室不同时刻的刻度因子计算方法. 基于上述方法, 本文利用ST-203闪烁室开展不同时刻测氡的刻度因子实验研究，其理论值和实验值的偏差小于5%. 由闪烁室结构直接确定不同时刻测氡刻度因子的方法，能够快速标定闪烁室的氡浓度.

摘要:本文提出了一种基于碳化硼慢化体和涂硼微结构中子探测器的通用中子能谱仪设计方法, 获得了计算最优慢化体厚度和探测器响应函数的通用公式, 并用蒙特卡罗方法进行了验证和修正, 可实现对中子能谱仪的快速设计. 该类能谱仪可实现各中子响应函数之间的解耦, 使每个探测器对各个分立能量区间的中子最为敏感, 具有较强适用性和灵活性. 基于该方法, 我们设计了一个用于硼中子俘获治疗（BNCT）超热中子能谱测量的能谱仪, 通过Gravel算法实现了中子能谱解析, 并提出了一种具有良好普适性的基于响应函数的预置谱设置方法. 结果表明, 该能谱仪对单能中子的峰位解析精度约为1%, 对BNCT连续谱的解析均方差约为0.76%, 具有较大技术优势和可行性.

摘要:以吲哚-2,3-环氧化合物和商品化的酸为主要反应物, 经环氧的酸开环反应, 可以高收率的得到一系列的酯基取代的二氢吲哚化合物. 该方法简便高效, 首次实现了吲哚-2,3-环氧化合物在酸性条件下的开环反应, 为酯基取代的吲哚化合物的合成提供了一条新的合成方法.

摘要:Ti-6Al-4V是民航客机应用最广泛的中高强度钛合金, 在锻造领域, 数值模拟准确性依赖于高准确度的材料模型. 本工作基于热压缩模拟方法, 在不同变形温度（750、800、850、900和950 ℃）和应变速率（0.001、0.01、0.1、1和5 /s）下, 针对变形量为60%的Ti-6Al-4V合金, 考虑鼓度因素影响, 对真实应力-真实应变曲线进行了摩擦和温度修正, 并进一步构建了该工况条件下的本构模型. 对比实验结果, 修正后的流变应力值低于实际测量值, 且随着应变量和应变速率的提高、变形温度的降低, 二者之间的差值也逐渐增大. 本工作分别建立了Ti-6Al-4V双曲正弦式以及用Z参数表达的材料本构模型. 真实应力应变曲线的摩擦和温度修正对提高材料模型的准确性具有指导意义, 同时对提高数值模拟精度具有参考价值.

摘要:本研究的目的是从生态环境独特而复杂的西藏林芝地区的土壤样品中挖掘所蕴藏的特殊淀粉酶微生物资源.采用淀粉酶功能筛选的方法获得一株低温碱性淀粉酶生产菌株,编号为3F1.其酶活最适条件为10 ℃、pH 10.2.通过16S rDNA序列分析法鉴定该菌株为蕈状芽孢杆菌(Bacillus mycoides),并将其命名为Bm3F1.通过发酵条件的逐步优化,最终确定其最佳发酵条件为:发酵培养基中添加1.5%可溶性淀粉,培养基初始pH 7.2,装液量10 mL/250 mL,菌体接种量9.0%,发酵温度30 ℃,发酵时间18 h,经优化后可将菌株的酶活提升至13.58 U/mL. 表明从西藏林芝地区分离的Bm3F1具有在低温和碱性条件下产较高酶活淀粉酶的特性.

摘要:淫羊藿（Epimedium brevicornu Maxim.）作为野生药材，品质受到自然环境的影响.为研究淫羊藿品质变化趋势，本研究选取甘肃省南部洮河流域内淫羊藿为研究对象，以淫羊藿苷含量为淫羊藿品质标准，运用MaxEnt模型和地理信息技术，对影响淫羊藿品质的环境因子进行筛选分析.结果显示，淫羊藿苷含量与7月份水蒸气压呈线性回归关系（F=26.331， P=0.000， r=0.703， R2=0.494），淫羊藿苷含量随着7月份水蒸气数值增加逐渐降低，在适宜淫羊藿生长的河道两边，距离河流越远淫羊藿苷含量越高，药材品质越好.本研究表明，MaxEnt模型和地理信息技术可作为研究影响野生淫羊藿品质变化的一种有效方法，指导淫羊藿药材资源的保护与开发.

摘要:为探究切挖边坡土壤钾素及其组分的空间分布规律，采用野外采样和实验室分析相结合的方法，以四川省阿坝州松潘县川黄高速公路的切挖边坡为研究对象，对比不同坡向间土壤各形态钾素含量的差异，分析不同形态钾素与土壤理化性质的相关性，明确土壤有效钾的影响因素.结果表明：土壤水溶性钾、非特殊吸附钾、特殊吸附钾、速效钾和非交换性钾含量均表现为阳坡>阴坡，而土壤矿物钾和全钾含量则表现为阳坡<阴坡；土壤所有形态钾素含量均表现为半阳坡>半阴坡.土壤非特殊吸附钾、特殊吸附钾和速效钾与土壤pH、全氮、碱解氮均达到显著或极显著正相关.土壤pH是影响切挖边坡土壤有效钾的主要因素，水溶性钾、非特殊吸附钾对切挖边坡土壤有效钾的贡献较大.

摘要:为了探究CARK11在ABA介导的生理进程中的具体作用，本研究以拟南芥哥伦比亚生态型（WT）、CARK11功能缺失突变体cark11和回补激酶丧失CARK11N203A（com-CARK11m）以及过表达转基因株系（OE-CARK11）为研究对象，探究CARK11在种子萌发、幼苗形态构建、主根生长与干旱响应中发挥的作用. 结果显示：相比WT，ABA促进了cark11和com-CARK11m的种子萌发、子叶变绿和主根伸长，而OE-CARK11被抑制. qRT-PCR检测RAB18和RD29a的表达量，发现过表达CARK11促进RAB18和RD29a表达；ABA处理后，这种促进作用更强. 干旱实验发现，OE-CARK11耐旱性增加，而cark11和com-CARK11m耐旱性弱于WT. 这些结果表明：CARK11作为ABA信号通路的正调控因子抑制拟南芥的种子萌发、子叶变绿和主根生长；同时在干旱胁迫中具有积极作用；另外CARK11在ABA信号途径中的功能依赖激酶活性.

摘要:针对大型复杂结构件几何参量在线精密测量的技术难题，本文开展了基于多轴联动激光扫描和结构光三目视觉摄影的尺寸测量技术研究；通过结构方案设计、算法研究、软件开发及系统搭建，研制了针对不同测量对象的多套非接触式几何尺寸测量系统. 测试校准结果表明，激光扫描测量系统在15 m距离的测量不确定度为2.656 mm，结构光三目视觉测量系统在7 m距离的测量结果不确定度为1.552 mm，均满足大型结构件的测量范围及精度要求. 在此基础上，本文采用两种类型的测量系统同时对生产现场大型热态锻件外圆直径参数进行在线测量，重复测量误差均小于±4 mm，测量结果表现出良好的一致性.研究结果为大型结构件表面和内部几何尺寸的高精度在线测量提供了有效的技术方法和装备.

摘要:法学与智能技术的深度结合应用于司法审判领域，可辅助司法纠错、优化决策、预警法律风险等，能够让司法实践提质增效，但在技术中立伪装下也可能带来司法偏见、失控与误导.本文首先论述了司法信息提取中的问题，提出通过增加法律文书说理部分和规范法律文本结构等提高司法信息有效性的具体措施.其次，提出司法裁量模型中应加入价值观念，并讨论了建立价值审核和监督机制与促进算法可解释性的具体路径，通过建立内外部监督机制，让司法智能裁量模型使用的背景、整体的价值观以及采用的规则可被法律人理解，才能让其真正服务于司法实践.最后，针对当前司法智能裁量系统建立的难点即类案推荐，分析了类案判定的困境，并在比较法律专家系统与基于当前智能技术的计算模型利弊的基础上，指出人机协作建立具有综合分析能力的认知系统是司法智能裁量系统的发展方向.