基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.     

基于多模块关系网络的2D足迹分类

由于足迹数据的样本量有限,类间差小、类内距大,一般方法难以获取有效的足迹特征表示,导致足迹分类准确度不高.针对双模态2D足迹分类问题,文中提出一种基于小样本学习的多模块网络算法(MulRN),该算法在嵌入单元与关系单元使用了多个模块来提高网络的特征提取能力与特征度量能力,使用具有多分支结构的Inception模块与MR...     

鞘柄泡花树的考证——兼论浙江泡花树属一新亚种

鞘柄泡花树Meliosma platypoda Rehder et E.H.Wilson的模式标本采自湖北,其叶柄膨大呈鞘状而包裹芽,自发表以来分类地位一直颇受争议.经查阅原始文献、模式标本和形态比较研究,从植物形态-地理的角度出发,阐释了芽的类型在泡花树属分类中的重要意义,恢复了鞘柄泡花树的种级地位;同时将华东地区的...     

基于共形阵的角度和极化信息联合估计算法

针对复杂载体上共形阵列存在多极化接收和遮挡效应的问题,本文提出一种基于方向图矩阵重构导向矢量的改进极化多重信号分类(multiple signal classification, MUSIC)算法。首先对共形天线阵列进行建模,在获取各个阵元的方位和俯仰分量方向图数据后,将方向图数据分解并重构阵列的导向矢量矩阵,最后结合极化MUSIC算法进行波达方向(direction of arrival, DOA)和极化参数联合估计。相对于理论导向矢量的极化MUSIC算法,本文所提改进算法在解决了遮挡效应的同时具有更高的估计精度,并可有效降低运算量。仿真实验结果验证了这一结论。     

丛书与多卷书分类探析

阐述了单主题图书、多主题图书分类的基本原则,论述了丛书、多卷书的分类原则及具体做法,分析了产生同书异号的主要原因,并提出了解决问题的办法。     

可燃冰沉积物宏细观力学特性真三轴试验离散元模拟

为了研究孔隙填充型可燃冰沉积物在复杂应力状态下的力学特性,采用三维离散元法对孔隙填充型可燃冰沉积物试样进行在不同平均应力、不同中主应力系数下的真三轴压缩模拟试验,研究平均应力和中主应力系数对宏、细观力学性质的影响以及细观力学机制的演化与宏观力学特性的联系。结果表明:平均应力的取值主要影响可燃冰沉积物的峰值强度;大、中、小主应力以及大、中、小主应变受到中主应力系数的取值影响较大,其变化趋势与颗粒接触的强接触组构主值表现出良好的相似性;在三向应力不等的情况下,可燃冰沉积物的破坏强度符合Lade-Duncan准则;随着中主应力系数逐渐增大,XY平面上的法向接触力更倾向于朝着中主应力方向发展。     

极端气候工程地质:干旱灾害及对策研究进展

受全球气候变化影响,极端气候事件的发生频率和强度均呈显著加剧趋势,并通过各种方式作用于地质体,诱发一系列工程地质灾害,严重影响经济社会可持续发展,给当前工程地质研究带来许多新的挑战.迫切需要加大极端气候工程地质作用及防灾减灾基础研究.这对于提高我国重大工程应对气候变化和极端气候事件的防御及其决策能力,提升我国自然灾害综合防治能力,具有重要战略和现实意义.这也是现代工程地质学科的重要使命和发展方向.针对干旱灾害问题,近些年来工程地质界围绕干旱气候-土体相互作用方式、作用结果、监测技术及对策开展了大量研究,在干旱气候作用下土体工程性质响应过程及灾变机制方面取得了重要进展,尤其在土体蒸发、收缩、龟裂过程及机理等方面取得了一批创新性研究成果,弥补了工程地质领域在干旱气象灾害方面的研究空白,为指导干旱地区的工程地质实践和防灾减灾工作提供了科学依据.今后,除了需要加强气候变化以及大气-地质体相互作用基础研究外,还应该加强相关技术研究,如分布式光纤感测技术、基于自然解决方案的微生物地质工程技术、大数据与云计算技术、人工智能等,为工程地质防灾减灾提供先进的理论和技术支撑.     

Gauss过程的增量与轨道性质

介绍Ｇａｕｓｓ过程的增量理论和样本轨道性质这一研究领域的最新成果,其中大部分是我们的结果。