一类Schrödinger-Poisson系统非平凡解的存在性

利用变分方法和临界点理论,研究了一类Schrödinger-Poisson系统,其中泊松项为更一般的形式,通过给非线性项加拟临界增长和AR条件,得到了该系统非平凡解的存在性。补充和推广了以往研究Schrödinger-Poisson系统的相关结果。     

复杂场景散射中心模型化与雷达成像应用

在复杂场景中, 目标与环境之间的耦合散射会造成雷达图像特征的干扰, 这一问题给雷达目标自动识别与跟踪技术带来了困难, 成为雷达、电磁领域持续关注的热点研究问题。目前, 使用传统的电磁数值计算方法对复杂场景散射问题进行仿真, 所需计算资源巨大, 耗时很长, 而且多限于针对单一类型复合目标, 难以满足实际工程应用需求。针对此问题，提出了复杂场景散射中心模型化的方法, 集成散射中心模型、物理光学法、积分方程法、四路径模型、射线追踪等方法为一体, 实现了复杂场景、群目标雷达成像快速仿真。本文给出了三种有代表性的复杂场景的逆合成孔径雷达成像仿真结果, 验证了本文方法的可行性及泛用性。     

根的存在定理的推广及其应用

众所周知，在《数学分析》中会遇到连续函数的一个重要定理，即根的存在定理，此定理对方程根的存在性判别起着重要作用.将这方面已有的定理进行推广，并用例题说明其应用情况.     

等价无穷小在数列极限运算中的应用

给出了2个等价无穷小在数列极限运算中应用的定理和推论,解决了一类n项和或者积的数列极限的运算.     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

零点定理的教学设计

零点定理是数学中一个很重要的定理,也是很多实际应用的理论基础,但是学生往往不清楚如何去应用这个定理.基于此,就零点定理的教学设计给出新的探索,通过引入生活中简单有趣的实例,讲授零点定理的基本思想以及在实际中如何应用零点定理.     

基于流形假设的骨架序列动作识别算法

骨架数据是通过对动作的空间几何位置进行编码获取,可以避免冗余背景信息的干扰, 是动作识别领域常用的数据类型之一.现有骨架数据的动作识别主要分为经典的骨架数据表征和基于深度学习的骨架动作识别应用.相较于传统欧氏度量下的识别方法,流形为更好地研究非线性结构提供了重要数学工具. 然而,目前仍缺乏利用流形假设对骨架数据进行动作识别的相关总结. 因此,从骨架表示、轨迹时间对齐、动作序列表征以及动作分类 4 个关键步骤出发,系统地总结了基于流形假设的动作识别工作,对比了各项工作在基准数据集上的表现. 最后,根据当前动作识别工作的发展趋势,对流形假设在动作识别方向上的进一步改进进行了展望.     

卒中急救网络提高急性缺血性卒中再灌注治疗的救治效率

目的:观察卒中急救网络提高急性缺血性卒中再灌注治疗的成效.方法:连续收集南方医科大学顺德医院静脉溶栓及血管内治疗的病例,研究对象分为基地医院直接就诊组(首诊组)以及网络医院转诊组(转诊组).主要评价指标包括救治时间和临床预后指标.结果:实际纳入病例249例,转诊组139例,首诊组110例.转诊组发病至静脉溶栓、股动脉穿刺、首次再通时间均较首诊组延长,但未显示出统计学差异(P0.05).转诊组中大血管闭塞行血管内治疗的病例共76例,总体再通率为82.9%,术后3个月非残疾比例为36.8%.转诊组术后非残疾比例低于首诊组,术后1个月、术后3个月的死亡率高于首诊组,但未显示出统计学差异.结论:卒中急救网络有利于提高急性缺血性卒中的救治效率,改善患者预后.     

具有B(L)=m-3的m维非交换3-李代数的结构

研究了满足β(L)=m-3的m维非交换3-李代数的结构,证明了β(L)=m-n的一般m维非交换n-李代数L幂零的充要条件,并分别对导代数维数是1和2且导代数包含中心的m维非交换3-李代数L的结构进行了刻画.