排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
普通的模拟特征分析测试方法直接根据采集的VI曲线进行故障判定,无法自动调整测试参数,测试人员需要手动调整测试参数,这样严重影响测试工作效率。以容性器件为例,根据模拟特征分析原理建立故障前后信号差异的目标函数,依据被测器件参数利用改进的高斯-牛顿迭代法对测试信号进行自动灵敏度调整,计算机仿真结果表明,该方法有效,且优化参数对电流信号差异的提升尤为明显。 相似文献
2.
设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确. 相似文献
3.
多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。 相似文献
5.
6.
改进型自汽提一分塔在尿素装置的应用 总被引:1,自引:1,他引:0
介绍了400t/d水溶液全循环法尿素装置采用改进型自汽提一分塔的技术改造;通过与第一代自汽提塔的比较,分析和对照了改进型自汽提塔的技术优势,论述了改进型自汽提一分塔的安装要领、开车程序和操作注意事项,对生产运行效果和技改效益进行了总结。结果表明,在不增加尿塔的条件下,尿素产量达到630t/d,蒸汽利用率提高20%,全年节省生产费用240万元,投资回收期为1年。 相似文献
1