基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

太阳10.7 cm射电辐射流量预报方法初探

引进“相似周”方法,通过两种方式对第23周太阳10.7cm辐射流量（F10.7）月均值进行预报和预报,由“相似周”方法得到的第23周太阳黑子数月均平滑预测值来预测F10.7月均值和直接采用“相似周”方法对F10.7月均平滑值进行预测,通过对两种预报试验结果分析,得到以下结论。（1）两种预测结果与实际都比较吻合,都得到双峰结构。（2）直接通过相似周预测的F10.7的月均值结果较间接通过太阳黑子数的预测结果所推断的F10.7预测结果更接近实际观测结果。（3）使用“相似周”,预报方法,可以给出F10.7比较精细的剖面结构,这是其他普通预报方法很难做到的。     

基于人眼视觉的结构相似度图像质量评价方法

分析了数字图像中亮度、纹理细节、空间位置等因素对人眼视觉特性的影响,建立了数学模型,将人眼视觉特性与图像的结构相似度结合起来,提出一种符合人眼视觉特性的图像质量评价新方法.该方法将图像划分成大小相等的分块,计算出各分块的亮度影响因子、纹理细节影响因子和空间位置影响因子,经过归一化处理得到每个分块的权值,用加权平均的结构相似度作为图像质量的评价指标.实验证明该方法能够区别图像中不同区域的图像特征,符合人眼视觉特性,与主观评价结果一致.      

角度计量

１角度量的分类和应用平面角按平面所在的空间位置可分为：在水平面内的水平角或方位角,在垂直面内的垂直角或倾斜角。空间角是水平角和垂直角的合成;按量程可分为圆周分度角和小角度;按标称值可分为定角和任意角;按组成单元可分为线角度和面角度;按形成方式可分为固...     

基于视频的行人再识别

行人再识别是指在无交叉区域的多摄像机视频监控系统中,匹配不同摄像机中的相同行人目标。本文提出了一种基于视频的行人再识别方法,用HOG3D来描述一组视频的时空特征,在训练集上用预训练的DenseNet来微调模型参数,利用迁移学习得到的模型来提取视频中行人的表观特征,融合两种特征来描述视频序列中的行人。最后将融合的高维特征降维,并用度量学习方法计算行人对之间的距离。本文在PRID 2011和iLIDS-VID这两个视频数据集上进行了使用,实验结果表明本文的方法取得了较高的累积匹配得分。     

基于全卷积孪生神经网络的复杂监控场景下前景提取方法

由于光照变化、相机抖动和动态背景等因素影响,现有基于传统图像处理方法的前景提取算法并不能在复杂场景下获得良好的分割效果。针对此类问题,本文提出了一种基于全卷积孪生神经网络的前景提取算法,仅需任意2帧图像即可准确提取运动前景。将输入的2帧图像分为背景图像与待提取图像,将其输入全卷积孪生神经网络得到二者的相似性度量图,该相似性度量图中包含待提取图像相对于背景图像的各像素变化情况信息;接着将相似性度量图与待提取图像融合,利用编解码网络以实现端到端的前景提取。在CDnet2014数据集上进行综合评估与测试,结果均证明了该方法的有效性。     

飞行器热防护结构的相似准则问题研究

高速飞行带来的气动热与热防护问题是制约高速飞行器系统提高技术水平和能力的一个主要技术瓶颈。在飞行器结构设计过程中,对飞行器结构进行考核试验必不可少。受风洞设备试验能力限制,试验模型尺寸、来流条件等与实际飞行通常存在较大差异,要在试验中完全模拟实际飞行环境、温度和应力状况无法做到。对飞行器进行缩放处理后进行模型的风洞热结构考核,并通过相似准则获得真实结构的温度/应力分布特性,为飞行器热防护设计提供支撑有着迫切需求。本文通过热传导方程和热弹性动力学方程组,对其中的模型相似参数进行讨论,并根据模型试验边界情况进行了讨论研究。提出了飞行器热防护结构地面考核试验的相似准则,并建立了不同试验类型情况下需要遵循的相似准则条件。该相似准则体系具有较大的灵活度,同时具有很高的实用价值。     

ν-gap度量及其在飞行控制律评估中的应用

传统控制律评估方法主要用于单输入单输出(SISO)系统,且对模型参数摄动考虑不够全面,针对这些不足,研究了ν-gap度量方法。在介绍系统广义稳定裕度相关概念的基础上,给出了ν-gap度量的定义、特点和性质以及近似摄动模型的计算,提出ν-gap度量评估控制律的步骤。实例结果表明,该方法不仅克服了上述传统评估方法的缺陷,而且还有根据所求的各摄动影响情况忽略影响小的元素,以减少计算量及可以找到最坏情况下的参数摄动组合等优点。     

基于贝叶斯因子和二阶概率方法的圣地亚热传导模型确认挑战问题

针对美国圣地亚国家实验室为促进模型确认方法的发展所提出的热传导挑战问题,根据现代模型确认思想总结了该挑战问题解答中应包含的核心内容。在确认度量环节采用贝叶斯因子考察了实验数据是否支持所给模型,在此基础上通过二阶概率方法得到了模型预测的分布,以此计算出模型预测结论的置信度。该过程中考虑了模型参数的随机不确定性和认知不确定性,最后通过灵敏度分析辨识了模型参数的不确定性对模型预测的影响。研究表明该挑战问题中的实验数据支持所给模型,模型预测受导热系数的不确定性影响最大,模型预测材料在调控条件下的失效概率不满足调控要求,该结论的置信度为99.97%。     

亚/超声速楔状流层流边界层速度与温度相似解及拟合解

利用相似变换获得了楔状流层流边界层无量纲流函数的3阶非线性常微分方程,用Runge-Kutta法求解微分方程获得了不同楔形角楔状流层流边界层无量纲速度随相似变量的变化曲线;推导了亚声速和超声速楔状流层流边界层无量纲温度关于相似变量的2阶线性齐次和非齐次微分方程,获得了温度分布的通解,恒壁温条件下亚声速楔状流和绝热壁面条件下超声速楔状流层流边界层无量纲温度解析解及指数函数形式的拟合解.以楔形角为0为例利用相似变换研究了超声速条件下气体压缩性及黏度随温度变化等因素对层流边界层速度与温度的影响,得出不可压缩常物性与可压缩变物性条件下无量纲速度相对误差绝对值小于9.8%的结论.研究表明:Pr越大贴近壁面处无量纲温度变化越剧烈;超声速条件下壁温低于绝热壁温时黏性耗散作用可以使层流边界层气体温度从壁面到主流间出现先升高后降低的变化.