从学生的“问题”出发审视空间向量内容的教学和育人价值北大核心

1问题提出高中数学课程引入空间向量内容后,使很多原本需要进行推理演化的立体几何问题的求解“代数化”、“程序化”了,以往的一些立体几何的“难题”变得“简单”了.有老师认为,立体几何内容在培养学生直观想象、逻辑推理核心素养的育人价值减弱了.在教学中,不难发现即便有空间向量作为解决立体几何问题的有力工具,学生在解决立体几何问题时依然会存在各式各样的“错误”.     

Sentinel-2卫星的多光谱轻量级船舶目标检测算法

近年来深度卷积神经网络在可见光船舶检测方面取得了显著的进展，然而，大多数相关研究是通过改进大型的网络结构来提高检测性能，因此加大了对更高计算机性能的需求。此外，可见光图像难以在云、雾、海杂波、黑夜等复杂场景检测到船舶。针对以上问题，提出了一种融合红（red, R）、绿（green, G）、蓝（blue, B）和近红外（NIR）4个波段光谱信息的由粗到精细的轻量型船舶检测算法。与现有的方法中根据光谱特性利用水体检测算法提取水体区域不同之处是该算法是利用改进的水体检测算法来提取船舶候选区域。为获取更准确的候选区域，对船舶、厚云、薄云、平静海面、杂波海面5种场景中4个波段的像素值进行了统计分析，选取近红外大于阈值作为辅助判断，并以其中心点获取候选区域32×32大小的切片，并对切片进行非极大值抑制，由此获得了船舶粗检测结果。随后构建了轻量级LSGFNet网络对船舶候选区域切片进行精细识别。构建的网络融合了1×1卷积提取的波谱特征与3×3的提取几何特征，为防止光谱特征与几何特征的信息在融合时“信息不流通”，在LSGFNet网络中引入了ShuffleNet中的通道打乱机制，并减小了模型结构，与典型的轻量级网络相比具有更好的效果且模型较小。最后，利用Sentinel-2卫星多光谱10 m分辨率数据构建了512×512大小的1 120组数据进行粗检测，以及32×32大小的6 014组数据进行精细网络训练，其中候选区域粗提取的查全率为98.99%，精细识别网络精确度为96.04%，不同场景下的平均精确度为92.98%。实验表明该算法在抑制云层、海浪杂波等干扰的复杂背景下具有较高的检测效率，且训练时间短、计算机性能需求低。     

国际次声监测研讨会

全面核禁试条约第三届全球次声监测工作研讨会于1997年8月25至28日在美国新墨西哥州西班牙式的古城圣菲举行．会议云集了中国、美国、法国、俄罗斯、阿根廷、澳大利亚等5大洲12个国家61位活跃在次声学科领域的研究人员、政府官员以及联合国临时技术秘书等要员，围绕着全球次声监测中的7个专题进行报告和讨论，它们依次为：欢声阵的设计和信号处理，次声阵性能和减噪设备；法国欢声监测系统，国际次声监测系统60个站网的能力模型，对流层风对长距离次声传播的影响，高空风对次声同性能的影响，渗透管的特性以及对次声监测的减噪作用，欢声减噪器；爆炸检测，声遥感技术对爆炸源能量的估计，小当量地下，地面和近地面爆炸远距离声传     

正项二阶等差数列的不等式

文[1]、[2]研究了正项等差数列方幂的不等式，本文研究由递增正项二阶等差数列若干项构成的不等式，为了简便起见，以下约定{an}是递增正项二阶等差数列，bn=a（n＋1）-an，{bn}的公差为d，其前n项和为Sn，m，k，n，p为正整数．     

谐和与随机噪声联合作用下Van der Pol-Duffing振子的参数主共振

研究了Van der Pol-Duffing振子在谐和与随机噪声联合激励下的参数主共振响应和稳定性问题。     

实验研究二维圆柱后尾流中涡脱落的有序和混沌现象

本文给出了在Re=50—400范围内二维圆柱后涡脱落的有序和混沌现象的一些初步实验结果。涡脱落由有序到混沌的转捩发生在Re=184.6—193.5之间,但是它不是通过准周期途径。在涡脱落频率与Re数的关系曲线上有两个间断。在Re=70处的间断可能对应于倾斜涡脱落模式的变化,在Re≈193.5处的第二间断对应于由有序到混沌状态的转捩。     

一类拟线性椭圆方程边值问题弱解的研究

本文应用上、下解方法和 Leray-Schauder不动点定理 ,证明了一类拟线性椭圆方程边值问题弱解的存在性 ,并且给出了一个应用实例     

NA列加权乘积和的完全收敛性

本文讨论了NA和几类加权部分和及加权乘积和的完全收敛性，其中部分结果要优于iid列的已知结论。     

左Clifford半群的特征与结构

作为Clifford半群的推广,本文定义了左Clifford半群,给出了它的许多特征,建立了它的半格分解结构和ξ直积结构。还讨论了两类特殊情形。