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

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

石羊河流域晚冰期以来环境变化与人类活动

石羊河流域是中国西北地区环境变化与丝路文明演化的典型区域.基于大批学者的研究,目前对石羊河地区的气候、环境、文化形成了基础认识,但沉积地层指示的古湖泊演化过程,以及古文化更替与气候变化之间的联系仍存在争议.本研究与前人采用单一采样点的研究方法不同,在石羊河流域沿中游红水河地区和下游猪野泽地区共连续采集13个剖面,建立了包含705个沉积样品, 129个AMS¹⁴C年代数据, 5460个古环境代用指标数据和12个历史文化遗址的数据库.结合TraCE-21 ka(The Transient Climate Evolution Experiment)和PMIP3(Paleoclimate Modeling Intercomparison Project 3)模拟,探讨晚冰期以来石羊河流域环境变化和古文化演变.研究发现,石羊河流域晚冰期以来环境持续变化;晚冰期到早全新世期间,古湖泊武始泽和猪野泽开始发育;中全新世时期,石羊河流域气候湿润,湖泊面积大、水位高;晚全新世干旱化使得湖泊退缩,河流下切;在干旱趋势下,马家窑、齐家文化逐渐消失,沙井文化(一种独特的青铜文化)兴起,匈奴...     

企业内部审计的若干问题探讨

本文主要从企业审计实践出发，从内部审计不同视角对我国企业审计目前存在的问题进行了解析，提出了企业审计的政策建议及内部审计参与企业的风险管理，旨在达到降低经营风险的目的。     

电厂焊接质量的常见问题及控制措施探讨

在科技高速发展的当下,人们在生产生活中对电力的需求也在不断增加,这种现象作用下,使得电厂的供电压力也随之增加.而为了满足人们的需求,加大对电厂的建设规模便也是必然的趋势.而在电厂的建设过程中,焊接质量的好坏,对后期电厂的正常运作有着直接的影响.但从当下电厂的焊接施工的实际情况来看,其中不乏有焊接质量问题的存在,因此,相关的施工建设人员必须重视常见的焊接质量问题,并采取积极、有效的控制措施对问题进行针对性解决,才能真正保证发电厂运行的可靠性、安全性与经济.     

激光扫描仪在动车组开闭罩外形曲面检测中的应用

正动车组开闭罩是高速动车组头部导流、左右开闭装置,其流线性外部造型符合空气动力学原理,左右开闭罩开启后便于车钩连接其它动车车辆,是动车组头部的关键部件。CRH6型头车开闭罩体积大,物料重,开闭罩外形曲面变形、偏差时常造成开闭罩研装时同车体固定罩干涉,或者与车体固定罩配合间隙不均匀而影响美观;为了保证开闭罩与车体固定罩配合间隙,需要反复的拆装开闭罩,研磨修补开闭罩;加上开闭罩研装的机械化程度不高,致使开闭罩研装时间     

溶剂沉淀分离法松脂加工工艺的研究

考察了不同有机溶剂对松脂的酸性组分（左旋海松酸、枞酸、硬脂酸）、不皂化物和松节油的溶解性能，研究了采用溶剂沉淀分离松脂树脂酸和松节油的加工新方法；分析沉淀分离条件对松脂树脂酸沉淀产率的影响，探讨沉淀分离法松脂加工工艺条件；运用气相色谱/质谱分析树脂酸沉淀的化学组成，并进行理化性能测试。结果表明：以二氯甲烷为良性溶剂溶解松脂，与松脂酸性组分的非良性溶剂乙腈混合，可以沉淀分离松脂树脂酸；滤液中二氯甲烷和乙腈可通过分馏方法分离回收、重复利用，而松节油则通过水蒸气蒸馏法分离回收；在松脂、二氯甲烷和乙腈的质量比为1∶13∶2的条件下，松脂树脂酸的产率为71 %、酸值为183 mg/g、不皂化物质量分数为2 %；该溶剂沉淀分离方法适用于马尾松松脂等松节油含量不高的松脂原料，无需特殊设备，操作工艺简单，不改变天然松脂树脂酸的化学组成，有利于天然松脂资源的综合利用。     

土柱溶质运移试验的理论验证及影响因素敏感性分析

交通运输过程中产生的路面径流污染有可能对路线周边环境造成不利影响.对污染物在公路周边土体中的溶质运移规律进行探讨具有重要的理论价值和工程意义.本研究基于土柱溶质运移试验成果,引入实测的边界浓度曲线,采用一维数值计算程序Hydrus-1D,对土柱出口处溶质浓度在试验过程中的变化规律、典型时刻溶质浓度沿土柱的分布规律等进行...     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

基于计算机技术的高压直流输电教学培训系统的设计与实现

<正>我国的能源资源主要集中在西部,而主要能源负荷却在中东部,资源分布和负荷的这个特点决定了在一个时期内"西电东送"将是我国电网发展的重要战略。直流输电因具有适宜远距离输送、送电容量大以及易于控制和调节等特点,在"西电东送"工程中发挥着重要作用。本文,笔者描述了基于计算机技术的高压直流输电系统的教学培训系统的工作原理、实现方法、技术特点和应用前景。     

Cu-Al-MoS_2复合粉末在等离子喷涂中的应用

等离子喷涂技术广泛应用于机械行业,根据不同的用途选用合适的喷涂材料来增加零件表面的硬度、耐磨性、润滑性等机械性能,从而提高零件的寿命。Cu-Al-MoS2复合粉末因为其有较高的力学和化学性能以及特殊的自润滑性在等离子和火焰喷涂中占据重要的位置,本文通过实例来阐述Cu-Al-MoS2复合粉末的等离子喷涂工艺、喷涂参数、喷涂后性能等。