摘要：FLNG是LNG海上产业链中重要一环,开展该类研发可完善我国在LNG海上产业链重大装备方面的自主设计及建造能力,对未来海上油气能源深度开发具有重要的战略意义。本文以小型FLNG船为切入点,对小型FLNG船的液货系统进行初步研究,旨在提升我国FLNG自主设计和建造能力,提高LNG领域全产业链领域的技术能力。

摘要：针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modular automated random testing)算法进行改进,利用其计算和使用函数摘要,提高动态符号执行的效率和可行性。该方案为C语言过程间测试自动化工具的实现提供了详细的解决方案。

摘要：针对透明度较低的共聚聚丙烯(PP)材料,设计制作了基于高频电流传感器(HFCT)的电树枝起始电压测试系统,通过实验确定该测试系统能检测到最小为5 pC的局部放电信号,测试灵敏度较高,并通过局部放电信号的辨识试验发现电树枝引发时的放电主频谱在12.9 MHz左右,与测试系统中其他可能会产生影响的局部放电频谱均不同,可以证明测得的具有特定频谱特征的局部放电信号是由试样电树枝引发导致的。利用透明XLPE试样进行了试验验证,发现该测试系统与电树枝显微观测系统测得的电树枝起始电压几乎相同,证明了该基于HFCT的电树枝起始电压测试系统的可靠性。然后分别探究了AOHBP、RBBT、RQCT 3种芳香酮电压稳定剂对共聚PP绝缘材料交流电树枝起始电压的影响。结果表明:3种电压稳定剂在适当添加量下均能提高PP电树枝引发过程的局部放电起始电压与熄灭电压,最优组分分别为PP+0.6份AOHBP、PP+0.4份RBBT、PP+0.6份RQCT,其中PP+0.6份AOHBP抑制电树枝引发的效果最好,使得电树枝起始电压提高了33.0%。