基于包含的指针分析优化技术综述

指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存开销等方面进行了评述和总结.文章最后阐述了基于包含的指针分析今后潜在的研究方向.

基于传播引擎的指针引用错误检测

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13%,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.

当前基层动物防疫存在的问题与对策

畜牧养殖业要健康发展，动物防疫是保障，但现阶段，农村动物防疫中仍然存在一些不容忽视的问题，迫切需要各级部门认真对待，研究加以解决。

绵羊暴发肝片吸虫病的诊治

2003年9月,山西省阳城县白桑乡某养羊户的羊群发生以精神萎顿,粘膜苍白,食欲废绝,两腿无力并很快死亡为主要症状的疾病。

一种基于最小调试边界的断点自动生成技术

时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位手段.日常调试过程中,断点的选择和调试的效率主要依赖于调试人员自身的经验以及对所调试程序的理解程度.提出一种基于最小调试边界的断点自动生成方法.最小调试边界描述了一个由程序执行轨迹上一组轨迹点构成的结合.该集合具有对错误传播的阻隔性,以及所对应的程序状态规模最小化的特征.受益于最小调试边界(minimum debugging frontier set,简称MDFS)的错误阻隔性,一旦查明其上的程序状态是否符合设计预期,即可确定错误触发位置与该MDFS在程序执行轨迹上的先后顺序,将错误触发的范围限定在MDFS的一侧.而状态规模的最小化也减轻了用户检查断点处语句实例的开销.为评价断点质量,还制定了一组断点评价标准,用于考量断点与程序失效之间的关联性、断点本身的易判性以及对调试收敛的帮助.实验结果表明,采用该方法生成的断点具有检查开销低、加速调试收敛等优势;采用所提供的断点的调试流程,与基于经典错误定位方法的流程相比,能以更低的人工开销定位更多的错误.

阳城县基层动物防疫体系建设经验

阳城县位于山西省南部边缘，与河南省济源市接壤。自2001年首次获得农业部“全国动物防疫先进县”的荣誉称号以后，该县坚持动物防疫体系和网络、队伍建设，持续推进动物防疫工作再上新台阶，连续六年获得省、市政府和业务部门的表彰奖励。今年初，又受到农业部重大动物疫病防控工作督查组的肯定和赞赏。他们的主要做法可以归纳为以下八条：

猪肺丝虫病的查治

2004年4月,山西省阳城县某养猪场新购进的仔猪出现强力的阵咳,呼吸困难,食欲减退或废绝,体温间或升高,并很快死亡.经剖解,发现肺部支气管、细支气管、肺泡内有大量虫体,诊断为猪肺丝虫.

基层动物疫情测报网存在的问题与建议

为有效地控制和扑灭动物疫病，保障畜牧业健康稳定发展，国家在基层设立了300多个动物疫情测报站，山西省阳城县动物疫情测报站就是其中之一。现就我站运行过程中存在的问题及改善建议与同行探讨。

车用高强钢薄壁构件碰撞性能研究

基于台车正碰试验的响应数据,运用有限元软件对台车双筒模型进行正面碰撞仿真与分析。从薄壁的形变模式、加速度与能量曲线变化为响应指标来入手,研究了仿真与试验之间存在的误差。以提高模型的仿真精度为目标,研究考虑应变率效应对碰撞响应的影响,并与不考虑应变率和实车试验进行形变模式、加速度曲线进行对比。最终结果表明:在加速度峰值和薄壁变形折叠的次数来看,考虑应变率效应明显优于不考虑应变率的。

陈荣焜辨治矮小症经验集粹

本文从"病因病机、辨治思路、临床用药、摄生指导"4个方面入手,对陈荣焜老师的矮小症治疗经验进行总结、整理,为后辈临床学习提供思路。

要关注体育测试成绩对学生的影响

学校教职工长跑比赛，我担任记录裁判。比赛一结束，就有很多老师过来问成绩，虽然他们已经知道自己的名次，但他们更希望了解自己具体跑了多长时间。有一组有40多个人，因为只取前15名，加上统计比较匆忙，所以后面的一些老师的时间就没有记录上去。我观察到，没有看到成绩的老师都带着遗憾的表情走开了。虽然是一次小小的比赛，也反映了不少老师对自己具体运动水平的关心。