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

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

软件学院实验过程综合管理系统的构建研究

针对当前软件学院实验教学环节信息化水平较低的现状,运用UML建模技术,.NET Socket技术,.NET编程技术结合SQL Server数据库技术开发了基于B/S和C/S混合模式的软件学院实验过程综合管理系统.在分析了实验课程特点的基础上,提出了系统设计思路,并详细阐述了系统功能和技术实现方法.     

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

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

离心泵非定常流场计算和影响使用寿命的因素分析

采用伯努利方程数值计算、流体动力学(CFD)、FLUENT数值计算模拟叶轮非定常流场的变化规律,定量分析影响指定大型离心泵使用寿命的关键性技术指标,结果表明:此型号大型离心泵实际工作流量大于设计流量(Q≥4 438.77 m3/h)时,叶轮入口就会形成△β≤-5.14°的负冲角,离心泵扬程H≤58 m,发生汽蚀现象.     

双储液器环路热管工作不稳定性实验分析

对双储液器环路热管运行中出现的温度迟滞、倒流及温度波动等不稳定现象进行了描述和解释.实验发现,在热载荷递增和递减循环实验中,双储液器环路热管在可变热导区内的工作温度并不一致,功率递减时的工作温度偏低;姿态对出现温度迟滞现象的热载荷范围有一定影响;热载荷变化幅度对温度迟滞的影响并不大.倒流现象不仅发生在蒸气槽道充满液体的小热载荷启动过程,蒸气槽道存在蒸气的小热载荷启动过程中也可能发生工质倒流;工质倒流的原因主要是芯内蒸发或者蒸气瞬间穿透毛细芯,使得芯内压力高于芯外压力.温度波动现象可能发生在小热载荷启动或者较大热载荷的亚稳态运行过程中,尤其当有液体引管穿过的储液器位于蒸发器上方时,温度波动发生的几率较大.     

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

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

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

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

"凝固力"FSS化学加固材料在松软煤体仰采工作面的应用

近年来,随着科学技术的迅猛发展,新型高分子材料在煤矿得到广泛应用,国内大部分生产矿井随着采深加大,巷道压力明显提高,尤其是综采工作面,在周期来压前后,出现大量片帮、冒顶,严重制约产量,并对安全生产提出严峻考验.化学加固材料在煤体合理加注后,可以有效提高煤壁硬度,有效控制片帮、冒顶事故,为均衡、正规、安全生产提供有效保障.     

高中物理探究性实践课堂教学特点与方法探析

随着教改步伐的不断推进,高中物理教学中已经开始普遍实施新课改的教学实践手段和探究性教学方式,这对学生后期的发展有着非常重要的影响和意义。主要围绕高中物理教学探究性实践课堂的特点进行简单分析和阐述,希望通过探讨和论述,为配合做好高中物理新课改及其教学实践的发展提供可行性思路和建议。     

综放工作面运输机安装机械手的研制与应用

本文介绍自行研制的综放工作面运输机安装机械手的结构特点、施工工艺；及该设备在S2S6段工作面、S2S8段工作面的应用中发挥了作用。