一种求解命题公式骨干集的警示传播算法

警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效。通过对WP算法的数学原理分析发现,当算法收敛时以高概率固定部分变元的赋值,可以对公式进行化简。基于这样的特征修改WP算法的迭代方程和变元赋值条件,设计了一种求解命题公式骨干集的信息传播算法。当变元数目超过400时,与经典骨干集求解算法对比,效率提高了40%,与目前常用算法对比也有10%的提高。结果表明,所提算法求解命题公式骨干集时非常有效。     

中文知识库问答中的路径选择

路径选择是知识库问答任务的关键步骤,语义相似度常被用来计算路径对于问句的相似度得分。针对测试集中存在大量未见的关系,该文提出使用一种负例动态采样的语义相似度模型的训练方法,去丰富训练集中关系的多样性,模型性能得到显著提升。针对复杂问题候选路径数量组合爆炸问题,该文比较了两种路径剪枝方法,即基于分类的方法和基于集束搜索的方法。在包含简单问题和复杂问题的CCKS 2019-CKBQA评测数据集上,该方法能达到较优异的性能,测试集上单模型系统平均F₁值达到0.694,系统融合后达到0.731。     

基于多通道分离整合的多尺度单幅图像去雨算法

由于密度不同的雨对图像造成的遮挡不同,图像去雨一直都是一项极具挑战性的任务。目前,基于深度学习的图像去雨算法已经成为主流。然而,多数深度学习的架构都是通过堆叠卷积层来设计的,执行去雨任务后图像仍存在着大小不一的雨痕,这些方法并不能很好地关注训练中雨图的局部信息和上下文信息。为了解决上述问题,本文设计一种基于多通道分离整合的卷积神经网络用于图像去雨。第一步通过通道分离,再利用卷积层间的层级连接,构成多尺度模块,最终将不同通道的输出进行整合。该模块可以增大感受野,探索特征图之间的空间信息,更好地提取特征。第二步利用渐进网络来反复计算挖掘上下文信息,能够很好关联到全局特征。整体模型易于实施,可以端对端训练。在常用的数据集以及自建的自动驾驶雨天数据集上的大量实验表明,本文方法比现有方法取得了明显的改进。     

引入动态内存分析的微信撤回消息恢复方法

作为广受用户青睐的即时通信系统,微信在给人们生活带来极大便利的同时,也给不法分子提供了违法犯罪的新手段、新工具。微信聊天记录作为我国法律中明确列出的电子证据类型,其有效性引起广泛关注,使得微信聊天记录的恢复成为相关领域的研究热点。针对现有的聊天记录恢复研究多集中于删除消息的恢复,撤回消息的恢复尚未取得有效进展,通过研究PC版微信运行过程中的动态内存管理机制,分析撤回消息在动态内存中的特征字符及字段结构,对比文本、表情、图片等不同类型的消息在内存中的存储原理,提出一种基于动态内存分析的微信撤回消息恢复方法。利用Python语言编写的工具实现了对微信撤回消息原文、撤回状态、撤回方微信ID等内容的批量恢复,验证了该方法的有效性。     

对抗样本三元组约束的度量学习算法

针对已有三元组约束的度量学习算法大多利用先验知识构建约束,一定程度上制约了度量学习算法性能的问题,本文借鉴对抗训练中样本扰动的思想,在原始样本附近学习对抗样本以构造对抗三元组约束,基于对抗三元组和原始三元组约束构建了度量学习模型,提出了对抗样本三元组约束的度量学习算法(metric learning algorithm with adversarial sample triples constraints,ASTCML)。实验结果表明,提出的算法既克服了已有固定约束方法受先验知识影响大的问题,也提高了分类精度,说明区分更加难以区分的三元组约束能够提升算法的性能。     

多溶洞地层桩端极限承载力下限有限元法分析

为计算多溶洞地层桩基的极限承载力,通过MatLab平台编制了用于分析多溶洞地层桩端极限承载力下限的有限元法计算程序。采用平面应变模型,并假定材料符合Mohr-Coulomb准则和塑性关联流动法则。定义无量纲参数N来衡量各参数对桩端极限承载力的影响。根据桩与溶洞间的相对位置关系,详细探讨了6种工况下桩端极限承载力的变化规律,并分析了嵌岩深度h_r、上覆土层自重q_s和溶洞直径D的影响程度。分析结果表明:桩端极限承载力随h_r的增大而增大,随D的增大而减小,而q_s的影响基本可忽略不计。此外,还对不同工况下桩端的极限破坏模式进行了分析。最后,通过考虑无溶洞、有溶洞下的2种桩基算例,验证了本文方法的正确性。     

脱湿过程中红黏土热导率的变化试验研究

自然状态下岩土体中的三相组成处于动态变化之中,对土体热传导性能的准确测试造成困难,通过热导率脱湿曲线(TCDC)可间接获取土体的传热性能。为此,以桂林红黏土为研究对象,采用压力板仪和KD2 Pro土壤热特性分析仪,研究了红黏土在脱湿过程中热导率的变化规律。试验结果表明:在进气值之前,土体饱和度不变,3种干密度的土体热导率都有小幅度增加,此阶段主要与吸力变化引起的土体密实度变化有关;当吸力超过进气值后,热导率随饱和度减小逐渐减小,此阶段含水率为影响热导率的主要因素。基于热导率试验结果,采用Lu模型和William模型对红黏土脱湿过程中热导率变化曲线进行拟合,整体上2模型对试验结果拟合较好,可以用于红黏土脱湿过程中热导率变化的模拟。     

基于ANSYS的车路系统力学分析

车辆荷载对路面的作用是导致路面病害的主要原因.以某道路改建工程为依托,通过大量的室内外实验,把实验的数据借助ANSYS力学分析软件进行路表弯沉、应力等静力学分析,得到最大值出现位置和应力变化趋势.考虑到路面上车辆行驶的运动特点,对车路系统进行了动力学分析,得到位移最大值及应力随时间的变化规律,为道路病害的预防提供了理论依据.     

智能缝制设备嵌入实时软件平台的定制与实现*

依据智能缝制设备数字化、网络化的应用特点,首先分析了面向智能缝制设备的嵌入式系统体系结构,重点研究了基于Linux开发面向领域的网络化嵌入实时软件平台的关键技术和方法。目前,基于该方法所实现的嵌入式软件平台已被成功应用于新型的电子花样缝纫机。     

蓖麻油-马来酸酐-苯乙烯双功能润滑油添加剂的合成

传统石油基润滑油添加剂对环境的不利影响,使可生物降解的植物油基润滑油添加剂成为研究热点。以蓖麻油(CO)、马来酸酐(MAH)、苯乙烯(ST)为原料,偶氮二异丁腈(AIBN)为引发剂,甲苯为溶剂,合成了蓖麻油-马来酸酐-苯乙烯共聚物(PCMAS)。通过红外光谱(FT-IR)、核磁共振氢谱(¹H NMR)表征了蓖麻油-马来酸酐-苯乙烯共聚物的结构,采用凝胶渗透色谱(GPC)测定了聚合物的相对分子质量及其多分散性指数,采用热重分析研究了聚合物的热稳定性,并对聚合物作为润滑油降凝剂和黏度指数改进剂的性能进行了评价。结果表明：当单体质量比m(CO)∶m(MAH)∶m(ST)=1.0∶0.2∶1.2、引发剂AIBN含量占总单体的0.5%(质量分数)、反应时间4 h、反应温度90℃时,共聚物收率为68.39%,其数均相对分子质量为0.348×10⁵,多分散性指数为4.77。将蓖麻油-马来酸酐-苯乙烯共聚物添加到润滑油馏分(350～395℃)中,可降低润滑油的凝点,并提高其黏度指数。蓖麻油-马来酸酐-苯乙烯共聚物可作为一种具有降凝增黏双重功能的润滑油添加剂。