软件故障定位技术研究综述

软件故障定位旨在利用程序信息以及测试用例找到导致程序出现故障的语句,以提高程序的安全性与健壮性。首先介绍了常见的单故障定位技术和现有的多故障定位技术,并对比分析了两者之间的差异,然后介绍了常用的测试用例集合,并列举了一些用来测试评价故障定位技术效率的方法,最后对现有的故障定位技术进行总结并提出未来研究方向的展望。     

回字形电容层析成像传感器的成像规律与抗噪声性能分析

电容层析成像(ECT)传感器是一种非接触式的传感器,可以在不干扰原流场的前提下实现实时成像.为提高ECT传感器的抗噪声性能,设计了一种回字形的传感器结构,采用评估误差函数和方差分析的方法,与矩形ECT传感器进行了对比仿真实验,结果表明:回字形ECT传感器具有成像质量稳定、抗噪声性能好的优点.     

南水北调中线干线工程投资管理模式分析

南水北调中线干线工程战线长、投资大,为有效控制工程建设投资,降低工程建设成本,工程采用静态控制、动态管理的投资管理模式.本文结合工程建设的特点,对南水北调中线干线投资管理模式进行了剖析,对完善投资管理进行了探讨.     

基于C0复杂度的语音端点检测技术研究

复杂性测度的语音端点检测技术,与目前被广泛研究的短时能量、过零率、谱熵以及倒谱等技术相比较,它具有非线性技术的本质特性.实验结果表明C0复杂性测度技术可以较好地实现在动态噪声环境下对语音端点的检测.此技术的实现将有助于提高孤立字语音识别的准确率,同时也将极大的降低语音处理的计算量和复杂性.     

计算最终线性秩函数的新方法

程序的终止性分析作为程序验证中重要的一环,在软件正确性验证中极为重要。对于一个线性循环程序,若该程序没有传统定义的线性秩函数,则基于传统定义的秩函数终止性分析方法失效。2013年,Bagnara提出了最终线性秩函数(Eventual Linear Ranking Functions)的定义,并证明了若某个程序存在最终线性秩函数,则该程序终止。由此,提出了新的方法来计算最终线性秩函数,构造了存在线性增函数和最终线性秩函数的等价半代数系统,并使用Mathematica工具对半代数系统进行求解,对比分析了各种最终秩函数求解方法的实际计算时间,结果证实了所提方法的优越性。     

短切碳纤维/铁氧体填充的复合材料对8mm波吸收性能研究

本文使用溶胶凝胶法制备了一种M型掺杂六角铁氧体,研究了该铁氧体、短切碳纤维及玻璃纤维制成的单层和双层复合材料在8mm波段(26.5～40GHz)的吸收性能.结果表明,铁氧体和短切碳纤维混合填充的复合材料在该波段反射率均在-10dB以下;而以玻璃纤维复合材料作为面层的双层结构吸波材料在该波段的吸收效果更好,-20dB以下的带宽达到2.7 GHz.     

“十二五”广东省水资源可持续发展的战略与重点

根据当前广东省改革发展的形势和主要指导精神,从水资源可持续发展的概念与内涵出发,完善、提出广东省水资源可持续发展的七大战略体系,并提出广东省今后水资源可持续发展的工作重点为:水资源保护和水生态环境建设、水资源合理配置、节水型社会建设、水资源管理改革。     

沼肥对保护地番茄生长发育及其产量的影响

采用二裂式区组设计的方法，以番茄为供试作物，以沼肥（沼液、沼渣）、猪粪和化肥为肥料，研究了不同施肥措施对番茄生长发育及其产量的影响。结果表明：与施用化肥相比，施用沼液的番茄植株平均株高及根系体积有所增加，番茄产量略有降低；与施用猪粪相比，施用沼渣可促进植株茎秆的健壮生长及根系发育，番茄产量提高20．8％；与沼渣和化肥配合施用相比，沼渣与沼液配合施用促进了番茄植株的生长发育，其植株生长稳健，根系发达，而且番茄产量增加；与猪粪和化肥配合施用相比，猪粪与沼液配合施用促进了番茄植株的生长发育，其株高较高、茎秆粗壮、根系发达，但番茄产量下降。     

基于微观特征量测度的内积变换配电网故障选线方法

针对现有配电网宏观故障选线方法在实际应用中,选线准确率不高、适应性不强等问题,该文在深入分析谐振接地配电网接地故障暂态特征的基础上,提出了一种基于微观特征量测度的内积变换故障选线新方法：首先,采用变模态分解算法获得故障特征模态,并在对特征模态进行一阶差分的基础上获得故障奇异值点;其次,在故障奇异值点处构造内积变换选线判据,进而求得反映各条馈线故障特性的综合内积值;最后,将最大内积值与最小内积值的差值与事先设置好的阈值进行比较,从而判断出到底是馈线故障,还是母线故障。仿真表明,该文方法原理简单,选线准确率高,可适应大部分故障工况。     

基于参考电站的核电模块化技术研究

模块化技术是核电站工程缩短建造工期、降低造价的重要技术手段,已成为三代核电的发展方向之一.以目前中国主力核电堆型CPR1000为参考电站,借鉴国内外先进模块化技术,借助自主开发的模块三维设计系统,完成了核电站核岛主厂房的模块总体方案设计.在此基础上,开展典型模块详细设计工作,以实例进一步验证了设计可行性,同时从采购和施工2个方面对模块化技术的实施进行了分析,评估了研究成果在实际工程项目上的技术可行性.