油田环境下局域网安全构架分析

文章首先针对我国石油工业局域网安全需求特征做出了必要的分析,而后综合当前我国油田局域网安全现状,对于如何构建起更为完整的油田环境局域网安全构架进行了相对深入的讨论,对于切实推动石油工业网络安全工作的成熟与发展有着一定的积极价值。     

面向适航标准的机载软件测试验证工具综述

机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介;按照系列适航标准,从DO-178C、基于模型的开发与验证（DO-331）和形式化方法（DO-333）三个维度对工具的功能、特性及应用进行了详细介绍,并对其发展现状进行小结;总结机载嵌入式软件测试验证及其工具研发中存在的问题,并对其发展趋势进行了分析。     

多相关滤波自适应融合的鲁棒目标跟踪

目的 由于目标在复杂场景中可能会发生姿态变化、物体遮挡、背景干扰等情况,目标跟踪仍然是一个具有挑战性的课题。目前判别性相关滤波方法在目标跟踪问题上获得了成功而又广泛的应用。标准的相关滤波方法基于循环偏移得到大量训练样本,并利用快速傅里叶变换加速求解滤波器,使其具有很好的实时性和鲁棒性,但边界偏移带来的消极的训练样本降低了跟踪效果。空间正则化的相关滤波跟踪方法引入空间权重函数,增强目标区域的滤波器作用,在增大了目标搜索区域的同时,也增加了计算时间,而且对于目标形变不规则,背景相似的情景也会增强背景滤波器,从而导致跟踪失败。为此,基于以上问题,提出一种自适应融合多种相关滤波器的方法。方法 利用交替方向乘子法将无约束的相关滤波问题转化为有约束问题的两个子问题,在子问题中分别采用不同的相关滤波方法进行求解。首先用标准的相关滤波方法进行目标粗定位,进而用空间正则化的相关滤波跟踪方法进行再定位,实现了目标位置和滤波模板的微调,提高了跟踪效果。结果 本文算法和目前主流的一些跟踪方法在OTB-2015数据集中100个视频上,以中心坐标误差和目标框的重叠率为评判标准进行了对比实验,本文算法能较好地处理多尺度变化、姿态变化、背景干扰等问题,在CarScale、Freeman4、Girl等视频上都表现出了最好的跟踪结果;本文算法在100个视频上的平均中心坐标误差为28.55像素,平均目标框重叠率为61%,和使用人工特征的方法相比,均高于其他算法,与使用深度特征的相关滤波方法相比,平均中心坐标误差高了6像素,但平均目标框的重叠率高了4%。结论 大量的实验结果表明,在目标发生姿态变化、尺度变化等外观变化时,本文算法均具有较好的准确性和鲁棒性。     

基于UML模型集成测试工具的建模与设计

软件测试是保证软件质量、提高软件可靠性的关键工作。基于模型的测试技术是目前国内外学者在软件测试领域的研究热点,但针对计算机辅助测试工具的研究尚有不足。本文分析了UML集成测试工具的开发需求,通过跟踪需求,构建合理的操作流程,提出了一种以需求驱动为迭代开发模型、以UML模型覆盖准则为依据、以UML集成测试工具为开发目标的辅助测试工具设计方案,设计了一套具有UML模型解析、检测和测试序列自动生成功能的测试工具原型。最后,对集成测试工具的有效性和易用性进行了验证。     

基于UML活动图的测试场景生成方法研究

本文研究运用统一建模语言(UML)活动图生成测试场景的方法,提出采用McCabe的基路径方法生成测试场景,首先对活动图进行压缩,采用基路径寻找算法找出其中的基本路径,并发活动实例化,替换找出的基本路径,形成完整的路径,据此生成相应的测试场景。文中对UML活动图的语法和语义进行了形式化定义和描述,详细描述了从压缩后的活动图中寻找基本路径的算法,对并发活动进行了约束。该方法所产生的基本路径相对独立,提高了测试效率。     

基于时间Petri网的综合航电系统时序验证分析

综合航电系统是一种对可靠性、实时性要求非常高的嵌入式应用系统。为了解决针对复杂应用场景下综合航电系统的处理时间和工作时序预估较困难、且计算自动化程度不高等测试验证问题,提出了一种基于时间约束Petri网的综合航电系统时序验证和分析方法。给出了时间约束Petri网的形式化定义,分析了综合航电系统工作流程中各节点的时间属性,通过引入时序约束路径的概念,并提出了时序推理算法。通过在仿真算例中进行计算并对比实际运行数据,结果表明该方法在针对综合航电系统运行时序的验证分析方面具有有效性。     

基于特征比的平面目标识别

模式识别是人工智能研究领域的一项重要课题,对于目标物在射影变换、仿射变换下的识别,尤其是严重变形情况下的识别和匹配更是该领域的研究热点和难点.针对仿射变换下的平面目标识别问题,提出了一种新的几何特征不变量——特征比,并以此为基础构造了一种新的仿射不变图像特征描述符.该描述符通过构造一系列与目标图像相交的直线,将图像用一系列共线点的位置关系进行表示.进而,将点的位置关系转化为特征比并表示成一系列的特征比谱;最后,通过动态时间规整(dynamic time warping,DTW)算法比较特征比谱间的距离得出图像间的相关性,从而进行目标识别.实验表明,该算法不仅对严重的仿射变形有较高的识别率,对相似度较高的图像也有很好的区分效果.     

一种基于遗传算法的TSP建模方法

为解决小组软件过程(TSP)中针对活动如何有效安排工程小组人员的问题,从关于目标和面向活动的角度刻画TSP模型,提出基于遗传算法的优化方法。分析TSP核心思想,给出模型的结构和形式化描述,介绍建立模型的步骤。通过实验验证了该优化方法具有良好的执行性能,能够得到一个具有较优效益值的人员安排方案,可行性良好。     

基于SCA的DBF算法可重构设计及其仿真实现

复杂电磁环境条件下,只具有单一DBF算法的系统因算法固有的局限性无法针对各种情况使性能达到最优。提出并仿真实现了一种基于SCA的DBF算法可重构体系结构。在此体系结构下系统可根据当前电磁环境从DBF算法库中动态地实时加载最优DBF算法,重构信号处理单元,使系统性能达到最优。     

废铅蓄电池湿法再生过程PbO2的还原研究

研究了亚硫酸钠、硫代硫酸钠、双氧水、Fe^2＋四种不同的还原剂在相同条件下对PbO2的还原效果,并研究了矿浆浓度、反应时间、还原剂浓度、温度对最佳还原剂还原效果的影响。结果表明,四种不同的还原剂还原能力依次为：硫代硫酸钠〉亚硫酸钠〉硫酸亚铁〉双氧水;以硫代硫酸钠作为还原剂的最佳还原条件为还原剂浓度0.8 mol/L,矿浆浓度20%,反应温度80℃,反应时间60 min,此时PbO2还原率可达82.97%。