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

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

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

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

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

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

高速数字系统设计中信号完整性研究

在高速数字系统设计中，信号完整性问题无处不在，影响巨大。针对高速数字电路中典型的信号完整性问题，分析了各种破坏信号完整性的原因。提出避免PCB设计中信号完整性问题的解决方案。     

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

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

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

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

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

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

影响C60／C70产率因素的研究

本文介绍了直流电弧法合成Ｃ６０／Ｃ７０技术，测量了在拟和氩中，烟灰 产率和Ｃ６０／Ｃ７０提取率与气压及孤电流的关系。在１５０ｍｍＨｇ拟气氛和６５Ａ孤电流下，烟灰产率为３４％，从烟灰中提取Ｃ６０／Ｃ７０的产率为１７％。     

禹城洼陷生烃潜力研究

目的 评价禹城洼陷的生烃潜力，以指导下一步勘探。方法利用烃源岩分析数据对禹城洼陷的生烃潜力进行研究和评价，利用包裹体测温等分析资料对影响烃源岩发育和分布的因素进行分析和总结，利用生物标志化合物指标（C29S／S＋R）对生油门限进行了重新认识和探讨。结果禹城洼陷烃源岩发育较差、分布不均，总体上处于未熟一低熟阶段；其主要影响因素是异常高压带的分布和火成岩的入侵；本区生油门限应在3500m以下。结论禹城洼陷下第三系生烃潜力不足。