17世纪名画“几何学寓言”中的几何命题探析

以17世纪的一幅名画“几何学寓言”为素材,探讨其中的几何命题的证明以及命题的推广,试图从中获得一些思想启迪,为初中几何教学提供参考.     

农业供应链金融能有效缓解企业的融资约束？——涉农企业参与精准扶贫的实证研究

农业供应链金融为涉农企业融资难问题提供了新思路。本文以上市涉农上市企业2016~2018年的财务数据为样本,探讨了农业供应链金融对缓解企业融资约束的影响,以及涉农企业参与精准扶贫对缓解融资约束的调节作用。研究发现:涉农企业普遍面临融资约束问题,而农业供应链金融显著缓解了涉农企业的融资约束,且对参与精准扶贫企业的融资约束缓解更为显著。本文揭示了:农业供应链金融能有效缓解涉农企业的融资约束问题,再次证明了农业供应链金融缓解涉农企业融资约束的重要性和必要性,拓展了供应链金融研究的领域,同时对企业参与精准扶贫,响应新时期涉农企业社会责任的具体要求,形成政府、企业等共同承担社会责任的多元化减贫治理机制,助力乡村振兴提供相应借鉴。     

“几何图霸”在高中立体几何教学中的应用策略

“几何图霸”是一款用于绘制动态几何图形的计算机软件.随着信息技术2.0的到来,“几何图霸”在教学中的应用得到了越来越多教师的青睐.本文通过几个实例来探究“几何图霸”在高中立体几何教学中的应用策略,希望对在教学一线的数学教师有所帮助.     

结合局部增强与反向残差的点云语义分割网络北大核心CSCD

激光点云是3D传感器的输出,且对它的语义分割任务是理解真实世界的基础。基于图卷积的点云分割网络在许多场景下都展现了优异的性能。然而,现有的图卷积方法存在部分问题:点云局部表示的能力未得到加强,忽略了全局几何信息,并且聚合操作只保留局部最大响应值信息,而次最大值信息丢失。为了处理这些问题,本文提出GRes-Net网络。利用局部几何加强(Local Geometry Augment,LGA)模块,使网络对Z轴具有旋转不变性,以便加强点云局部信息表示;采用全局几何特征(Global Geometry Feature,GGF)模块,计算局部与全局的球体体积比,将其与坐标特征X进行连接,使全局几何信息特征得以保留;通过多个对称聚合操作将局部信息多方面地保留;网络中每层都使用残差操作,将上一层信息传递到下一层,以及利用反向残差模块(Reversed Residual MLP,RevResMLP)挖掘更深层次的语义信息。本文在S3DIS数据集上进行语义场景分割实验,验证网络分割的性能。实验结果表明该方法在分割精度上达到61%,相比于基准网络DGCNN提高14%,有效地提高了模型性能。     

自适应空间约束融入混合模型的遥感图像分割

为了降低图像噪声的影响并提高遥感图像分割精度,提出了一种自适应空间约束融入混合模型的遥感图像分割算法。考虑到学生t分布具有重尾特性比高斯分布更具有鲁棒性,利用学生t混合模型(Student’s-t Mixture Model, SMM)建模像素光谱测度概率分布。为了避免图像噪声对分割结果的影响,基于马尔可夫随机场利用局部像素类属概率定义组份权重,将像素空间相关性融入SMM,进而构建出空间约束图像分割模型。为了实现自适应平滑系数的模型参数求解,采用梯度下降方法求解分割模型。采用本文算法对添加噪声的遥感图像进行分割实验,结果表明,所提算法可有效降低图像噪声的影响,同时可准确分割高分辨率遥感图像。     

时间约束下 ＦＰＧＡ 资源最小化的动态重构

针对可重构嵌入式系统算法中数据路径部分的时间划分,本文提出了一种在时间约束下实现应用数据路径所需的单元格数量最小化的动态重构策略。首先,把算法建模为一个无环数据流图G(V,E),其中顶点集V={O1,O2,…,Om}对应于算术算子和逻辑算子,有向边集E={e1,e2,…,ep}表示运算之间的数据依赖关系;其次,对应用设置一个约束时间T,通过E建模的数据依赖关系来执行算法,使得所需要的FPGA单元数量最少。具体实现是使用一个与目标相关的算子库,这个库可以将算子Oi需要的最大路径延迟ti和基本FPGA单元的数量Area(Oi)两个属性关联到图G的每个顶点,从而计算出精确的处理时间;最后,分析总的处理时间(配置和执行)与约束时间之间的差,对分区作出判决。基于一个图像处理算法的应用表明,本文提出的划分策略对于可重构嵌入式系统的设计是有效的。     

基于CSAR图像的目标高度提取方法

圆周合成孔径雷达（Circular Synthetic Aperture Radar,CSAR）可以对目标进行360°全方位观测,获得目标全方位散射信息。通过将CSAR成像数据划分成多个子孔径能够直接获取目标高度信息,本文在原有获取目标高度信息的方法基础上,进行了改进和创新,提出了一种新的提取目标高度信息的方法。本文通过对子孔径图像进行高度向投影,在一定程度上提高了计算精度,同时在子孔径选择时,也考虑了子孔径之间的相关性,有效地提高了算法的精确性。最后首次引入自主测量的L波段实测数据对本文所提算法进行验证,证实了该方法的有效性和准确性。     

沙蚕毒系化合物的结构与生物活性关系

用ＭＮＤＯ－ＰＭ３方法对沙蚕毒系化合物二氢沙蚕毒，硫氰酸酯，巴丹，杀虫单及其异构件的几何构型进行了全自由度优化，并计算了其电子结构，讨论了生物活性与几何构型和电了结构的关系。     

d9配合物MOSE曲面和几何构型的研究

d~9电子构型的金属离子所形成的配合物几何构型一般为拉长八面体或平面正方形,晶体场理论和角重叠模型都对此作出了较满意的描述,但就该电子构型的中心离子与指定配体配位时易形成配合物的配位数、配体所处的位置等问题,至今尚无满意解释.本文通过分子轨道稳定化能(MOSE)的计算及其曲面的绘制,形象地解释了上述问题.     

Ru_n(n=2~8)金属团簇的结构和能级分布的DFT研究

采用密度泛函理论中的广义梯度近似(DFT/GGA)方法,对Run团簇(n = 2~8)的几何结构与稳定性、束缚能以及能级分布的关系进行了研究,并分析了随着团簇原子数的增加,团簇的几何结构和费米能级的变化,结果表明:Ru簇的几何结构在4个原子以前是平面结构,而从5个原子开始为空间立体的稳定结构,束缚能随金属原子数的增加而增加。能级结构呈明显的分立特征,费米能级随原子个数的增加而增加,但从Ru7开始又有所降低,且团簇的能量间隙逐渐减小,趋近于大块金属的能级特征。