形成度量结构 发展量感与应用意识——“角的度量”单元教学设计与实践

文章围绕“发展学生量感”的素养目标,运用北京小学数学研究团队开发的“单元教学路径”(第二版本),对“角的度量”单元进行了整体设计。本单元的设计重点体现课程内容的结构化,一方面体现聚焦度量本质的一致性(度量对象、度量单位、度量方法);另一方面体现学生认知的阶段性,即学生在长度度量和面积度量的基础上,在角的度量中初步形成度量的知识结构,进而为体积度量的自主迁移学习奠定基础。

借助度量结构 促进迁移式学习——“长方体和正方体的体积”单元教学设计与实践

文章以小学数学图形与几何领域中“长方体和正方体的体积”的学习为例,以北京市小学数学教研团队开发的“单元教学路径”(第二版本)为依据,进行了单元教学的研究与实践。从度量对象、度量单位和度量方法等方面分析度量本质的一致性,结合学生的认知规律,即在角的度量学习中建立起的度量结构的基础上进行迁移,实现发展学生核心素养的目标。

Fuzzy数集上的度量结构

在对fuzzy数稍加限制后,本文定义了一种新的度量,这种度量用积分表示并引入了权函数,因此应用方便且更为合理。fuzzy数集中这一种度量结构除具有myope拓朴所保持的实数集的重要性质外,还真有其它好的性质。

概率度量空间中的度量结构

在一般框架下讨论概率度量空间（ＰＭ－空间）的度量化，在一定条件下统一了文献［1］中给出的两个度量,并用以刻划概率有界集。

基于包络学习和分级结构一致性机制的不平衡集成算法

集成方法是不平衡学习方法的重要分支,然而,现有不平衡集成方法均作用于原样本而没考虑样本的结构信息,因此其效能仍然有限.样本的结构信息包括局部和全局结构信息.为了解决上述问题,本文提出了一种基于深度样本包络网络(Deep Instance Envelope Network,DIEN)和分级结构一致性机制(Hierarchical Structure Consistency Mechanism,HSCM)的不平衡集成学习算法.该算法在考虑局部流形和全局结构信息的情况下,通过多层样本聚类,生成高质量的多层包络样本,从而实现类平衡化.首先,算法基于样本近邻拼接和模糊C均值聚类算法,设计DIEN来挖掘样本的结构信息,得到深度包络样本.然后,设计局部流形结构度量和全局结构分布度量来构建HSCM用于增强层间样本的分布一致性.接着,将DIEN和HSCM结合起来,构建出优化后的深度样本包络网络——DH(DIEN with HSCM).之后,将基分类器应用于包络样本.最后,设计bagging集成学习机制来融合基分类器的预测结果.文末组织了多组实验,采用了十多个公共数据集和有代表性的相关算法进行验证比较.实验结果表明,本文算法在AUC(Area Under Curve),F-measure等四个性能指标上显著最优.

软件体系结构层次的结构度量研究

提出了一套可操作的度量组,利用该度量组可以对软件体系结构模型的结构特征(复杂性、耦合性、形态)进行测量。利用软件度量中常用的相关性分析方法对度量的经验值进行分析,初步得出了各种度量间可能存在的相关关系。此研究为研究软件体系结构的结构特征与软件其它质量属性的关系提供了必要的基础。

关于射影平坦的拟爱因斯坦度量的结构

针对拟Einstein流形的Hilbert第四问题给出了具有常flag曲率的射影平坦的多项式(α,β)-度量F=α1+∑ni=1aiβiαi的一种构作方法,得到了生成元ξ对F结构及其空间特征的影响.其中α是Riemann度量,β是1-形式.

软件系统结构的复杂性度量研究

软件规模及其复杂性的不断增大,致使传统的度量方法不能满足开发人员对软件质量的控制;为了解决这个问题,开发人员需要有新的方法来测量软件的复杂度,从而控制软件质量,优化软件结构。复杂网络的研究为软件开发人员在系统层面上度量软件的复杂性提供了新的认识和理论支持;讨论了基于复杂网络的软件静态结构和动态结构的复杂性度量方法及其对当今大规模软件开发的指导意义;给出了一个软件结构复杂性度量的研究工具。

软件体系结构度量综述

基于软件体系结构度量的现状,从三个方面总结软件体系结构度量领域现有的研究成果,探讨其存在的不足和未来的发展趋势。

非线性各向异性扩散滤波器用于三维地震资料噪声衰减与结构特征增强

消除地震资料中的干扰噪声,增强地质沉积特征,对地震资料的后继处理和解释都有重要的意义.本文重点论述一种基于偏微分方程的非线性各向异性扩散滤波技术.采用梯度结构张量估计局部地层方向,度量地质特征的规则程度,以此约束扩散滤波器沿着地层方向作扩散滤波,并且通过控制在断层和河道等不连续性区域的滤波程度,使得扩散滤波器具有优异的保持边缘特性.对大庆油田的一块实际地震资料的处理结果表明,该方法可有效消除非相干噪声,增强地震反射同相轴的连续性,突出地质沉积特征,提高资料的信噪比,整体改善地震资料的品质.

基于复杂网络结构特征的病毒传播研究综述

文中论述近年来复杂网络结构对病毒传播行为影响的研究成果以及最新的病毒传播动力学的研究进展,评述在病毒传播和其他网络行为中网络结构所表现出来的鲁棒性和脆弱性,分析并提出在病毒传播领域需要进一步研究的几个开放问题,包括:复杂网络病毒传播的网络结构度量、针对病毒传播的网络结构鲁棒性评价和病毒传播中的网络结构优化策略。

结合多元度量指标软件缺陷预测研究进展

软件缺陷预测可帮助开发人员提前预测缺陷程序,合理分配有限的测试资源。软件缺陷预测的准确度不仅依赖于预测方法的选择,更依赖于软件的度量指标。因此,结合多元度量指标进行软件缺陷预测已成为当前的研究热点。从度量指标出发,对传统度量指标、多元度量指标以及结合多元度量指标的缺陷预测的研究进展进行了系统介绍。主要工作包含:介绍了传统的代码和过程度量指标、基于传统度量指标的软件缺陷预测模型以及影响数据质量的因素;阐述了语义结构度量指标;分析列举了当前用于软件缺陷预测的评价指标;结合预测粒度、传统度量指标、语义结构度量指标、跨项目软件缺陷预测对多元度量指标软件缺陷预测未来的研究趋势进行了展望。

程序代码相似度度量的研究与实现

针对程序代码相似度的度量问题,提出一种属性计数和结构度量相结合的方法,通过统计程序源代码的操作符和操作数个数,产生Halstead长度、Halstead词汇和Halstead容量3个程序的特征向量,利用向量夹角的余弦计算属性相似度,采用最长公共子序列算法获取结构相似度,从而衡量程序对间的相似程度。实验结果表明,该方法能够有效检测出学生作业中的相似程序代码。

基于方差调节策略耦合结构特征的图像修复算法

针对当前图像修复算法主要采用图像的R、G、B信息来获取最优匹配块,忽略了图像的结构特征,导致修复图像中含有纹理不连续及块现象等问题,设计了方差调节策略耦合结构特征的图像修复算法。首先,借助图像的梯度模值来构造结构度量因子,以度量图像的结构特征。联合置信度项、结构度量因子和数据项,构造优先权函数,以寻求优先修复块。然后,采用图像的方差特征,建立方差调节策略,考虑图像纹理的动态变化,寻求与当前纹理情况最吻合的样本块尺寸。最后,将结构度量因子引入到最优匹配块的搜索过程中,以弥补通过R、G、B信息搜索最优匹配块时所忽略图像结构特征的不足,得出最优匹配块修复图像,实现损坏区域的复原。通过实验结果发现,较当前修复方案而言,所提算法的修复图像具备更优的纹理连续性。

舰载作战系统数据集成设计与度量方法

数据集成在作战系统体系结构的设计中处于核心位置,在系统集成堆栈中具承上启下的作用。接口设计是作战系统集成设计的重点,应尽量减少两两之间的成对接口和专用数据格式,以实现数据集成方式从点对点向总线的转变。首先开展基于XML的作战系统数据建模,开发辅助设计软件,建立元数据注册库;然后采用模型驱动的方法,以数据模型为中心进行数据集成设计和体系结构度量。选取了分系统数量、节点数量、接口数量、信息单元数量和作战流程环复杂度等5个定量指标,并通过衍生指标评估作战系统体系结构的特征。数据模型驱动的开发能够支持快速生成仿真系统,可为下一步基于仿真的效能评估奠定基础。

基于图像深度先验和鲁棒马尔可夫随机场的有遮挡人脸识别

由遮挡所引发的测试数据和训练数据之间的差异,是人脸识别技术面临的重要挑战。现有的基于深度神经网络的有遮挡人脸识别方法大多需要使用大规模的有遮挡的人脸图像来训练网络模型。然而,现实世界中的任何外界物体都有可能成为遮挡,有限的训练集数据很难穷尽所有的可能性,并且使用大规模的有遮挡人脸图像训练网络模型的做法与人类视觉机制是相违背的,人眼对于遮挡区域的感知在本质上与遮挡本身并没有关系,仅依赖于无遮挡的人脸图像。为了模拟人类视觉的遮挡检测机制,将图像深度先验和鲁棒马尔可夫随机场模型结合起来,构建基于小样本数据的遮挡检测模型DIP-rMRF,并提出了一致性零填充方法以有效利用DIP-rMRF的遮挡检测结果进行后续的人脸识别。在Extended Yale B,AR和LFW这3个人脸数据库上,针对VGGFace, LCNN,PCANet, SphereFace, InterpretFR,FROM这6种CNN模型的实验结果表明,DIP-rMRF能够有效地处理遮挡以及由极端光照所引发的“类遮挡”,从而极大提升现有的深度神经网络模型对有遮挡人脸识别的性能。

概率体系和非概率体系下结构元件的可靠性分析方法回顾

简单介绍了结构可靠性度量方法的发展历史。按结构可靠性度量中是否引入概率的概念将可靠性度量方法分为两大类:概率体系下的方法和非概率体系下的方法。对概率体系和非概率体系下的结构可靠性度量方法进行了系统的分析。分析了概率体系和非概率体系下可靠性度量方法的相互关系。展望了结构可靠性度量方法面临的问题。

R^n的全体闭集上的一种自然度量

在图象处理中 ,我们需要给 Rn的全体闭集上建立拓扑结构和度量结构 .一种自然的称之为 HM拓扑的拓扑结构已经建立 ,可以证明 HM拓扑是紧的可度量化空间 .

基于SAAM方法的CASL编译程序软件体系结构分析

介绍了一种基于场景的 ,面向对象的软件体系结构分析方法 (SAAM) ,并根据 SAAM方法提供的评价软件体系结构的可行的步骤对 CASL 编译程序所选用的管道过滤器风格的体系结构进行了一些分析 ,最终对 CASL编译程序采用的这种体系结构作出了整体的评价 .

结构相似指数噪声整形算法及其在图像编码中的应用

提出一种基于双树小波变换的结构相似指数噪声整形算法(SSIM-NS)算法并将其应用于图像编码传输中。算法是在双树小波变换后的噪声整形过程中引入结构相似指数度量(SSIM),自适应地调整增益因子以达到最大限度聚集图像能量减少小波系数的目的,运用SPIHT编码算法对噪声整形后的小波系数进行编码并传输。实验结果表明,该算法不仅能够有效地削减小波系数个数聚集图像能量,而且在低比特率条件下重构图像具有更高的峰值信噪比(PSNR),能够显著提高解码图像的质量。