基于频率差异积分的故障定位算法研究

软件故障定位是软件测试实践中最重要的活动之一。目前,利用人工方式通过调试器进行故障定位仍然占据主导地位,故障定位能力常常依赖于人员的知识和经验,调试效率低,调试支持工具相对较弱,对程序员要求高。因此,无论在软件开发阶段还是软件投入使用以后,软件调试和故障定位的自动化技术越来越成为一个有重要价值的研究课题。研究了多种成熟的基于谓词的统计学错误定位技术,分析了典型的参数化和非参数化故障定位统计模型,提出了一种新的基于谓词统计的故障定位算法:频率差异积分算法(Frequency Difference Integration,简称为FDI),突破了现有算法的部分限制;最后对FDI算法进行了验证,并和已有算法进行了对比,验证了其有效性和高效性。借助该研究成果,可以有效提高故障定位的准确率和覆盖率,这对于推动程序自动化调试技术、缩短软件开发周期、降低软件的维护成本具有一定的意义和实用价值。     

数控机床蓝牙无线分布式监控系统的研究

利用蓝牙技术建立高速无线数据链路,实现数控机床工况参数无线传输和网络通讯,以转速及温度传感器为例进行实验,设计下位机硬件电路,编写上位机程序。利用LabVIEW对STC89C52单片机采集的数控机床数据进行分析处理,并通过蓝牙技术实现二者之间的数据交换。     

物联网技术在河流水位监测中的应用

结合物联网的相关技术理论,提出了一种基于物联网架构的水位监测系统的设计方案,利用ZigBee无线通信技术的特点,结合河流水位预报的实际情况,采用数簇结构组建ZigBee网络,该系统对水文监测中的重要指标水位进行远程实时监测.实验表明,系统运行可靠,具有一定的应用前景.     

顾及源图像质量的可见光和红外图像融合算法

分析了目前图像融合算法存在的问题,提出顾及源图像质量的可见光和红外图像融合的算法。以图像融合理论方法为基础,引入图像质量评价方法,构建了顾及源图像质量的图像融合基本框架。以区域加权信息熵作为可见光和红外图像评价方法,并以图像质量评价结果作为小波变换的系数权值来进行图像融合,分别以图像的平均灰度、标准差、信息熵、空间频率作为评价指标对融合后的图像进行质量评价,提出了基于区域加权信息熵的可见光与红外图像融合算法。最后选取多组可见光和红外图像进行图像融合实验。实验结果表明:顾及源图像质量的可见光和红外图像融合算法是完全可行和有效的。     

嵌入式植物叶面积测量装置的研制

针对叶面积测量方法大多依赖计算机做图像处理,研制了一种嵌入式植物叶面积测量装置,以CycloneⅡ系列EP2C70F896C6为核心器件,用硬件描述语言Verilog设计叶片图像采集单元、图像存储单元、图像处理单元,内嵌NiosⅡ软核处理器完成叶面积计算。设计的关键在于解决了叶片图像实时高速采集问题,并且实现脱机运行。实验结果表明:测量装置能够测量离体叶片叶面积,适当改进,可以应用于测量叶片其他参数。     

考虑生态环境用水对电站发电量的影响分析

如何将对生态环境的影响降到最低是水电开发所面临的重要任务,因此对于引水式和混合式开发的水电站通过释放生态流量可以解决由于脱水引起的生态环境问题,但释放生态流量必将对电站的发电效益产生影响,本文选择了三座不同特性的水电站作为代表,对考虑不同比例生态环境用水对水电站的发电量所产生的影响进行了详细的分析,得出了影响结果。     

土工合成材料在软土路基工程中的应用

软土具有含水量高、孔隙比大、渗透性小、压缩性高、抗剪强度低、触变性显著等不利的工程性质。在软土地区修筑高等级公路，一直是公路建设的一个重大技术难题。简述了土工合成材料的种类、作用及其在软土路基工程中的应用机理，并结合实例分析土工织物的应用效果。     

A dynamic problem on the edges of a mode I crack subjected to moving unit-step loads

By the theory of complex functions, a dynamic problem on the edges of a mode I crack subjected to moving unit-step loads are investigated. The Riemann-Hilbert problem is easily formulated by the ways of selfsimilar functions. The analytical solution obtained is rather simple and concise. After the solution was utilized by superposition theorem, the relevant solution on the case of arbitrary loading can be obtained.     

空冷塔传热特性的数值模拟

采用标准的高Rek-ε湍流模型和壁面函数法,应用软件FLUENT对空冷塔内外部流场进行了模拟计算,分析和总结了外界环境对塔内外速度和压力的分布规律以及散热性能规律的影响,得到了各种工况下的速度场和压力场的图谱,为提高空冷塔运行效率提出理论依据,对掌握空冷塔的运行规律具有指导意义。     

基于有限域GF上圆锥曲线的公钥密码算法

圆锥曲线密码学是一种新型的公钥密码学,迄今对圆锥曲线密码学的研究成果都是以有限域GF(p)上的圆锥曲线为基础的.本文将有限域GF(p)上的圆锥曲线C(GF(p))推广为有限域GF(2ⁿ)上的圆锥曲线C(GF(2ⁿ)),证明了圆锥曲线C(GF(2ⁿ))上的点和加法运算构成有限交换群(C(GF(2ⁿ)),),并给出了圆锥曲线群(C(GF(2ⁿ)),)的阶的计算.此外,提出了使用有限域GF(2ⁿ)上的圆锥曲线群构造公钥密码系统,并给出了ElGamal加密方案和数字签名算法(DSA)在圆锥曲线C(GF(2ⁿ))上模拟的算法,最后分析其安全性.