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

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

不中断交通下连续箱梁桥拼接缝浇筑方式分析

为了探究不中断交通条件下连续箱梁桥拼宽关键技术,本文依托机荷高速改扩建工程,通过现场桥梁的车桥耦合振动测试,得到某连续箱梁桥的最大振动频率为5.62 Hz,最大振动速度为18 mm?s-1。考虑现场车流量的随机性,以安全的原则共设置两种车辆振动环境（5 Hz,25 mm?s-1和10 Hz,50 mm?s-1）,并在实验室中测定了不同龄期抗扰动纤维增强混凝土（Fiber Reinforced Cementitious-composite material 50,FRCM50）的弹性模量和抗拉强度。结合现有的施工工艺和新型接缝材料的特点,提出微差浇筑施工工艺。然后,分别分析了采用一次浇筑、分段浇筑和微差浇筑施工工艺时拼宽连续箱梁的受力特点、接缝时变应力、交通组织模式以及经济性,结果表明微差浇筑工艺具有受力合理、施工机械少、经济性好等优点,可指导实际工程施工,具有良好的应用性。     

最佳辊楔切分轧制效果的研究与实践

综合研究了各种参数对切分时轧件尾部不开裂、切分弯曲、切分宽展和切口质量的影响关系，从而可以获最佳切分轧制效果。     

浅议城乡居民收入差距扩大的现状及对策

改革开放以来,我国收入分配格局发生了深刻变化,城乡居民收入水平大幅度提高,生活质量显著改善,但在分配领域仍存在一些突出问题,如居民收入差距不断扩大,特别是城乡收入差距比较显著,虽引起了社会各界的关注,党和政府也作了相应的指示,但这个问题依然存在,本文针对这种现状略谈自己的看法。