一种嵌入式软件的组合测试指标获取方案

为了获取组合测试中适应值函数所需要覆盖率、测试运行代价等信息,设计实现了基于嵌入式软件源代码插桩的指标获取方案。该方案使用交叉开发环境,完成了对源代码语法、词法分析,插桩库和插桩策略的制定,目标机／宿主机通讯方式设计,获得了语句覆盖率、分支覆盖率、运行时间、被测程序程序复杂度等关键指标,并以图表的方式提供统计结果,为组合测试设计适应值函数,进行测试用例约减提供了依据。     

抗压缩的照片图像与真实感计算机图形识别

数字图像取证是计算机取证、信息安全领域的一门新学科。为实现照片图像与真实感计算机图形的可靠识别,提出一种基于图像稀疏表示的数字图像取证方法,该方法在抵抗压缩方面具有较好性能,从而保证图像压缩不会改变照片图像与真实感计算机图形的真实性本质。Tetrolet变换为保护图像局部几何结构,在L1-范数最小约束下搜索4×4图像块的最优覆盖(Covering)形式,获得图像的稀疏表示。观察自适应值c的统计分布,得到一幅图像中117种Covering出现次数的归一化直方图,从而得到图像的HoC(histogram of covering)特征。实验结果表明,在饱和度(S)分量提取的HoC特征能够很好地刻画照片图像与真实感计算机图形在局部几何结构上的不同统计特性,算法在识别能力、泛化能力,尤其是抵抗压缩能力上表现出良好性能,能够应用于图像真实性检测及照片图像与计算机图形的自动分类。     

超音速微粒轰击表面纳米化及其对耐磨性的影响

采用超音速微粒轰击技术对20钢进行表面纳米化处理。研究了表面纳米化工艺对材料流失与形貌变化的影响，并采用往复磨损试验机研究了纳米化表面的磨损性能。结果表明：超音速微粒轰击在表面形成纳米层过程中使材料发生流失和表面粗糙度增大。在干摩擦和油润滑条件下，微粒轰击样品的磨损率分别是未轰击样品的2．77和1．83倍，轰击抛光样品的磨损率则比未轰击样品分别降低了26％和42％。对其影响耐磨性的原因作了初步讨论。     

超临界水中氧化钙催化泥炭制氢

使用间歇式超临界水反应器,以氧化钙作为催化剂和CO_2化学固定剂,详细考察了Ca/C摩尔比、反应温度、停留时间、压力等条件对泥炭在超临界水中转化制氢的影响。在873 K,Ca/C比为0.61时,CO_2几乎被完全固定,在气相产物中只有氢气、甲烷和低碳烃,碳转化率由未添加CaO时的66.6％提高到82.4％,氢气的产率由2.2 mmol·g~(-1)提高到6.9 mmol·g~(-1)。当反应温度由773 K提高到923 K时,泥炭的裂解反应加剧,气体产物的收率由5.5 mmol·g~(-1)提高到19.5 mmol·g~(-1),但是氢气所占比例由55.4％下降到34.8％。与温度相比,压力和在终温停留时间的影响相对较小。     

混沌和超混沌系统的自适应有限时间投影同步

在混沌系统投影同步的研究中,针对驱动-响应系统达到投影同步的时间不确定问题,提出了一种可以预先计算出同步时间,且在此时间内混沌系统实现投影同步的方法.对给定的驱动系统,构造合适的响应系统;采用自适应控制法,仅在误差系统的部分状态变量上加入自适应控制器;采用李亚普诺夫稳定性理论证明了在所采用的自适应控制律作用下,误差系统稳定同时驱动-响应系统达到有限时间投影同步.以典型的统一混沌系统和超混沌系统进行了数值仿真,结果进一步验证了上述控制方法的有效性与可行性.     

红外相机三态隔热冷却装置的设计及分析北大核心

红外相机工作环境温度不能超过50℃,但在某些工业高温场合,它需在约300℃的环境中持续工作。针对此问题,设计一种适用于某型号红外相机的三态隔热冷却装置。该装置结合隔热材料阻滞热量传递、水冷却、空气冷却的三态物质的隔热冷却效果,同时具有自清洁石英玻璃的作用。通过COMSOL中的传热模块对传热性能进行验证,分析其内部空间的温度场。结果表明:所设计的三态隔热冷却装置能够在约300℃的环境温度下使红外相机所处空间的温度保持在50℃以下,保证红外相机能正常工作。     

分布式网络测量中测量节点的智能选择算法

大规模网络结构复杂,需要有针对性的网络监测方法。测量节点的自动选择必须在测量代价和覆盖范围之间进行权衡。合理地测量节点选择,能在获取全网性能状况的同时,有效减少测量给待测网络带来的带宽占用和软硬件资源消耗的影响。以最小化测量节点数量为目标,选择蚁群算法作为测量节点自动选择的基本算法,并通过对基本算法进行改进和创新,可形成一种针对分布式网络测量的测量节点智能选择算法。     

融合全局和局部相关熵的图像分割

目的 针对LCK(local correntropy-based K-means)模型对初始轮廓敏感的问题,提出了新的基于全局和局部相关熵的GLCK(global and local correntropy-based K-means)动态组合模型。方法 首先将相关熵准则引入到CV(Chan-Vese)模型中,得到新的基于全局相关熵的GCK(global correntropy-based K-means)模型。然后,结合LCK模型,提出GLCK组合模型,并给出一种动态组合算法来优化GLCK模型。该模型分两步来完成分割:第1步,用GCK模型分割出目标的大致轮廓;第2步,将上一步得到的轮廓作为LCK模型的初始轮廓,对图像进行精确分割。结果 主观上,对自然图像和人工合成图像进行分割,并同LCK模型、LBF模型以及CV模型进行对比,结果表明本文所提模型的鲁棒性比上述模型都要好;客观上,对BSD库中的两幅自然图像进行分割,并采用Jaccard相似性比率进行定量分析,准确率分别为91.37%和89.12%。结论 本文算法主要适用于分割含有未知噪声及灰度分布不均匀的医学图像及结构简单的自然图像,并且分割结果对初始轮廓具有鲁棒性。     

一类参数不确定混沌系统特殊的线性广义同步

研究了一类参数不确定混沌系统特殊的线性广义同步问题。实际系统受到干扰时,参数失真,使得这类混沌系统,在参数不匹配的情况下,根据线性广义函数与驱动系统系数矩阵的相关性,设计了非线性反馈控制器以及参数自适应律,实现了主从系统的线性广义同步。借助Lyapunov稳定性定理与Barbalat引理,严格证明了定理的正确性。对于具体的混沌系统,控制器还可以进一步简化,以Lorenz系统为例,计算机仿真结果证实了方法的正确性与有效性。     

图像结构失真的编码质量评价

客观图像质量评价方法——自动评价图像质量使其与主观感受一致, 对于很多图像和视频处理应用特别是图像编码具有重要意义。提出了一种基于结构失真的图像编码质量客观评价方法。首先根据匹配追逐算法将参考图像在基函数上进行投影分解按照重要性排列获得结构信息,并给出结构重要性度量,然后利用该信息计算编码图像的结构信息,比较编码前后结构信息的差异作为客观质量评价度量,其中在匹配追逐算法中,选取了2维可分离的Gabor基函数集作为字典。实验结果显示,上述方法与主观质量评价值有很好的一致性。