基于Soot的Java程序竞争静态检测工具设计

设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确.     

高斯-牛顿法在模拟特征分析测试参数优化中的应用

普通的模拟特征分析测试方法直接根据采集的VI曲线进行故障判定,无法自动调整测试参数,测试人员需要手动调整测试参数,这样严重影响测试工作效率。以容性器件为例,根据模拟特征分析原理建立故障前后信号差异的目标函数,依据被测器件参数利用改进的高斯-牛顿迭代法对测试信号进行自动灵敏度调整,计算机仿真结果表明,该方法有效,且优化参数对电流信号差异的提升尤为明显。     

一种基于类的Java多线程程序数据竞争静态检测算法

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。     

尿素装置节能增产改造小结

介绍了尿素装置节能增产改造的经验及采取的技术措施 ,达到增产节能的目的。     

改进型自汽提一分塔开车技改总结

总结了改进型自汽提塔一分塔运行情况、技术优势和改进效果。     

改进型自汽提一分塔在尿素装置的应用

介绍了400t／d水溶液全循环法尿素装置采用改进型自汽提一分塔的技术改造;通过与第一代自汽提塔的比较,分析和对照了改进型自汽提塔的技术优势,论述了改进型自汽提一分塔的安装要领、开车程序和操作注意事项,对生产运行效果和技改效益进行了总结。结果表明,在不增加尿塔的条件下,尿素产量达到630t／d,蒸汽利用率提高20％,全年节省生产费用240万元,投资回收期为1年。