一类非线性发展方程的精确解

利用hirota双线性法,得到(3+1)维孤子方程、(3+1)维KP-Boussinesq方程、(2+1)维修正Caudrey-Dodd-Gibbon-Kotera-S awada方程、Hirota-Satsuma浅水波方程的精确解,并做出一部分解的图形,进一步研究解的结构和性质.     

广义神经传播方程的整体吸引子

使用Galerkin方法,结合Sobolev空间理论和不等式技巧,给出了广义神经传播方程解的存在唯一性定理,然后利用吸引子存在性定理,采用半群方法证明了方程整体吸引子的存在性.     

一种压电驱动的三足爬行机器人

机器人领域涉及到力学、机械、材料、控制、电子和计算机等多个学科. 其中, 爬行机器人可在极端环境下工作, 进而可有效降低人工作业的危险性并提高工作效率. 因此, 爬行机器人一直是机器人领域的重点研究对象. 压电陶瓷是一种能够将机械能和电能互相转换的新型功能陶瓷材料. 逆压电效应是指当在电介质的极化方向施加电场, 这些电介质就在一定方向上产生机械变形或机械压力, 当外加电场撤去时, 这些变形或应力也随之消失. 本文基于压电陶瓷的逆压电效应设计了一种由3条弯曲变截面梁支撑的一体化三足爬行机器人. 利用理论力学方法对该三足爬行机器人建立整体受力分析方程, 再用哈密顿原理对变截面、变角度梁建立动力学方程, 最终得到了可求解该三足爬行机器人的压电驱动腿固有频率的方程. 设计并制作了三足爬行机器人实物, 通过实验测试了不同弯折角度、不同驱动频率、不同负载、不同电压波形对运动方向及运动速度的影响. 最后利用不对称的驱动电压使三足爬行机器人实现了左转、右转以及不加导轨的近似直线运动, 实现了设计的3个方向的运动, 最后分析了该机器人的能耗问题. 该研究可为微型爬行机器人设计和实验提供参考依据.      

坚硬顶板爆破切顶在沿空留巷中的应用研究

当煤层上方为坚硬顶板时,在工作面回采期间容易出现大面积悬顶,导致巷旁充填体出现大变形破坏,极大威胁采煤安全.为解决这一问题,以某矿1205工作面沿空留巷为工程背景,分析了爆炸围岩裂隙范围和坚硬顶板破断特征,建立了切顶卸压围岩结构力学模型,研究表明,相邻炮孔爆炸后,炮孔间裂隙互相贯穿,降低了顶板强度,同时当切顶角为15°时,巷道稳定性较好.工程实践结果表明:采用爆破切顶技术后,顶板下沉量减小了62.3%,较好地保证了围岩稳定性.     

广义Fermat型微分与微差分方程整函数解的存在性与形式

利用Nevanlinna值分布理论,主要讨论了几类广义Fermat型微分与微差分方程有限级超越整函数解,得到了二阶微分、微差分方程整函数解的存在性条件以及解的具体形式,所获定理推广了之前的结果,并举例说明了结果的精确性。     

发光铱(Ⅲ)配合物抗肿瘤活性研究及应用

铱(Ⅲ)配合物因其发光量子产率高且波长易调控、发光寿命长和光稳定性好的特点,在发光材料领域备受关注。铱(Ⅲ)配合物细胞渗透能力强,能靶向多种细胞组织并影响其结构和功能,表现出独特的抗肿瘤活性,是目前金属抗肿瘤药物特别是PDT光敏剂方向的研究热点。本文重点关注铱(Ⅲ)配合物的结构对其发光性能与抗肿瘤性能的影响,综述了近期铱(Ⅲ)配合物在生物成像、探针与传感、抗肿瘤诊疗等领域的研究进展,并对目前研究中存在的问题及其应用前景进行探讨和展望。     

阻尼分数阶薛定谔方程柯西问题的局部适定性

本文在全空间中研究一类带阻尼的散焦型分数阶薛定谔方程的柯西问题,阻尼系数是依赖于时间的,并且可能在无穷处消失.我们借助单调算子理论得到了弱解的存在性;利用Strichartz估计以及压缩不动点定理得到了局部解的唯一性;利用精细的能量估计和下半连续性讨论建立了L~2和H~α∩L^p+2的能量衰减估计.     

基于快速神经网络架构搜索的鲁棒图像水印网络算法

为解决深度学习在图像水印算法中计算量大且模型冗余的问题，提高图像水印算法在抵抗噪声、旋转和剪裁等攻击时的鲁棒性，提出基于快速神经网络架构搜索（neural architecture search，NAS）的鲁棒图像水印网络算法。通过多项式分布学习快速神经网络架构搜索算法，在预设的搜索空间中搜索最优网络结构，进行图像水印的高效嵌入与鲁棒提取。首先，将子网络中线性连接的全卷积层设置为独立的神经单元结构，并参数化表示结构单元内节点的连接，预先设定结构单元内每个神经元操作的搜索空间；其次，在完成一个批次的数据集训练后，依据神经元操作中的被采样次数和平均损失函数值动态更新概率；最后，重新训练搜索完成的网络。水印网络模型的参数量较原始网络模型缩减了92%以上，大大缩短了模型训练时间。由于搜索得到的网络结构更为紧凑，本文算法具有较高的时间性能和较好的实验效果，在隐藏图像时，对空域信息的依赖比原始网络更少。对改进前后的2个网络进行了大量鲁棒性实验，对比发现，本文算法在CIFAR-10数据集上对抵抗椒盐噪声和旋转、移除像素行（列）等攻击优势显著；在ImageNet数据集上对抵抗椒盐高斯噪声、旋转、中值滤波、高斯滤波、JPEG压缩、裁剪等攻击优势显著，特别是对随机移除行（列）和椒盐噪声有较强的鲁棒性。     

高维多项式理想的实根计算

研究高维多项式理想实根的计算。对于给定的高维多项式理想,首先通过一个典范同态映射将其转化为扩张多项式环中的零维理想。基于零维实根是实极大理想的交集的结论,该扩张理想的实根可以在新的多项式环中计算。最后,通过理想的收缩,把实根收缩回原多项式环,便可得到高维多项式理想的实根。