数学体验:学习“基本事实”的有效路径——以“平行线分线段成比例”为例

<正>《义务教育数学课程标准(2022年版)》中对“图形与几何”部分给出了9条“基本事实”,教学中多数教师把这些基本事实当成不用证明的公理直接给出,淡化了基本事实的教学价值,不利于对欧氏几何公理化体系的认识和建构,也会影响学生对数学知识之间、数学与其他学科之间、数学与生活之间联系的深度体验.     

稀疏正交联合约束多通道非负矩阵分解声信号分离算法

针对复杂环境下多通道声信号分离问题,提出稀疏正交联合约束多通道非负矩阵分解声信号分离方法。首先设计基于多通道扩展坂仓斋藤(Itakura-Saito,IS)散度的稀疏正交联合约束项构造代价函数,给出信号稀疏和信号正交约束辅助函数,实现代价函数最小化求解。然后通过迭代更新规则设计,得到稀疏正交优化的多通道非负矩阵分解基矩阵和系数矩阵,讨论了稀疏正交约束对基矩阵和系数矩阵稀疏性与连续性影响。最后基于多通道信号空间特性,进行了非负矩阵分解基聚类以获得多通道非负矩阵分解声信号的分离结果。双通道音频数据与四通道声学目标分离实验数据测试表明,对音频数据,所提算法在性能指标信号失真比(SDR)上提高了0.84 dB,对于直升机声源数据,所提算法在SDR上提高了4.53 dB。     

基于消失点检测算法的束靶红外图像畸变校正

传统的霍夫变换、Cannylines直线检测算法、霍夫概率变换方法在图像上的直线检测效果不佳,存在检测线段不连续不正确的问题,因而,利用Sobel滤波对红外图像横轴和纵轴两个方向分别进行锐化,通过线段检测(LSD)算法实现线段特征检测,进而经线段聚类拟合获得图像中完整的直线,通过对直线交点计算获得消失点,最后依据透视关系计算得到校正图像。实验结果表明,该方法可以实现对中性束红外图像的自动有效校正。     

活用三角中点关系 巧解向量动点问题

向量是一种新的量,不同于以往学过的数量,它兼有代数与几何两种形式,具有代数的抽象与几何的直观,是集“数”与“形”于一身的数学概念.因此,解题中要注意数形结合的思想.在高考中以考查向量的概念与运算为主,其中向量的模与向量数量积的计算尤为重要,特别是牵涉到动点问题,许多学生无从下手.笔者主要介绍活用三角中点关系,巧解向量动点问题.     

一类奇异非线性多重调和方程存在正整解的充分必要条件

研究一类奇异非线性多重调和方程?~mu=f(|x|,u,|▽u|)u~(-β),给出了方程存在正的径向对称整体解的充分必要条件和解的性质.     

双荷子系统运动的经典解

根据力学理论和经典电磁理论研究双荷子系统的运动.列出双荷子系统的运动微分方程,导出运动积分,说明系统的对称性,包括SO(4)对称性;利用变分法逆问题方法,构造双荷子系统的Lagrange(拉格朗日)函数和Hamilton(哈密顿)函数;解出双荷子系统的运动规律.     

飞机－道面－土基动力耦合系统有限元分析

本文将飞机－道面－土基作为一个相互作用的动力系统，对飞机滑行情况下，弹性半空间地基上刚性道面板的动响应，采用有限元法进行了计算分析。结果表明，本文计算结果与现场实测值吻合很好。由于考虑了飞机和道面之间的耦合作用，避免了实测飞机对道面作用荷载的繁琐工作，因此本文方法具有明显的实用意义。     

实验／分析模态双协调综合的实现

本文讨论了实验/分析模态双协调综合实现中实验子结构转角自由度和集中力矩柔度的测量问题。首次提出基于有限元理论的双无加载概念,并通过仿真计算说明其在转角自由度测量的应用价值.最后以一汽车底架模型为实例,经过分析综合和实验(/分析)综合,实践了本文的主题.     

国内外 INS 和 SG 故障诊断专家系统的发展概述

本文着重介绍了几种典型的专家系统，如国内ＰＬ—１型平台罗经自动测试系统（ＰＬＴＳ），国内外ＤＭＩＮＳ的复合诊断系统（ＢＤＳ）以及Ｆ—１５飞机惯导智能诊断专家（ＩＮＳＩＤＥ）等；并剖析其技术特点，说明采用专家系统诊断ＩＮＳ和ＳＧ故障的必要性。     

利用血管生成模型计算实体肿瘤内的血液动力学

肿瘤血管生成(Tumor-induced Angiogenesis)是指在实体肿瘤细胞诱导下毛细血管的生长以及肿瘤中血液微循环的建立。肿瘤内血液、组织液等流体流动在肿瘤药物输运过程中扮演着重要作用,而这些流动受到肿瘤内微血管网络结构的直接影响。目前要获得精确的肿瘤内外的毛细血管拓扑结构存在一定困难,因此给肿瘤内的血液动力学研究带来困难。本文根据肿瘤内外的复杂生理特性,建立肿瘤内外血管生成的二维离散模型,在获得相对真实的毛细血管网络拓扑结构基础上对肿瘤内的血液动力学进行初步计算,数值计算的结果加深了对肿瘤的复杂生理特性的理解,同时也给肿瘤内的药物输运给予一定的提示。