边界与内部的对立统一思想及其在Gauss定理和Stokes定理教学中的应用

以边界与内部的对立统一思想为指导,利用类比-联想-猜想的方法得到《高等数学》中的Gauss公式和Stokes公式的形式,并加以逻辑推导完成Gauss定理和Stokes定理的教学.其次引入外微分的符号,将《高等数学》中的四大积分公式写成统一形式,并归纳猜想出广义斯托克斯公式的形式,展现了哲学思维和猜想在数学中作用.

单块嵌入式GPU下对街景图像的实时分割研究

在有限的计算资源下,现有的语义分割网络无法兼顾实时性和准确性,导致在自动驾驶等实时应用领域上仍无法落地应用。为此,本研究采用先将感兴趣目标定位正确后再做进一步分类的策略,其在不同深度下部署了轻量级注意力机制模块以快速地捕捉到有效的空间特征信息,紧接着特征融合模块能够融合这些兼容性低下的空间特征信息,最后经过边界与内部优化模块以提高分割目标边界的平滑性以及内部的准确性和连续性。实验证明单块Tesla-P100显卡搭载所提出的网络能够胜任大部分实时任务。对于352×480分辨率的Camvid图像输入,网络在76.69帧下仍能达到69.12%的均交并比;对于1 024×2 048分辨率的Cityscapes图像输入,网络在49.90帧下均交并比达到了79.75%;对于720×1 280分辨率的Aeroscapes图像输入,网络在59.53帧下均交并比达到了80.43%。