一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误．提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位．对西门子测试数据集进行的实验表明了该方法具有良好的效果．     

基于区分Web QoS的负载均衡集群模型

随着电子商务的应用逐步深入,用户访问量的激增且服务请求多样．如何实现对所有请求的快速响应是当前解决的问题．针对此问题,本文提出采用基于区分WebQoS的负载均衡技术．建立了基于区分WebQoS的负载均衡的集群模型．根据请求类型和用户权限划分服务等级,高服务的请求具有高优先调度权,在集群当中通过动态反馈技术均衡调度到某个节点,从而达到区分WebQoS服务的目的,同时也保证集群服务器的负载均衡．该模型在网络环境及硬件环境相同的条件下,与常用的负载均衡技术进行了比较,实验结果证明本文提出的方法效果显著．     

RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

基于发射功率最小化的MIMO-OFDM系统资源分配算法

研究了一种针对多用户MIMO-OFDM系统的资源分配算法. 该算法是在保证用户公平性的前提下,基于发射功率最小化对系统进行子载波和比特分配. 首先按照用户信道增益状况由最差到最好的顺序进行子载波的初次分配,之后再比较其功率大小找到最终适合用户的子载波,最后利用贪婪注水法对子载波进行比特分配. 仿真结果表明,算法降低了系统的发射功率,并提高了系统的性能.     

基于同构多核处理器的任务调度

随着现代应用对计算机性能要求的提高,计算机主频不断提升。由于功耗和半导体工艺的限制,仅靠提高单核主频难以继续维持“摩尔定律”,同构多核处理器（Homogeneous Multi-core）应运而生。在同构多核处理器的支持下,一个芯片汇集多个地位对等、结构相同的通用处理器核,以最小的代价满足了提高系统性能、负载均衡、处理器容错的需要。并行体系结构需要结合与之适应的软件实现性能效益的倍增。本文从操作系统层面,针对处理器结构的变化,研究并实现多核任务调度。系统采用混合调度策略,簇间独立调度,簇内统一调度。从调度模式、调度算法、分配算法、调度时机等方面详细分析了多核调度的原理和实现机制。最后通过模拟实验证明功能正确性及算法可调度性。     

静压支承技术在海水淡化旋转式能量回收装置中的应用

海水淡化旋转式能量回收装置（RERD）高、低压流体间的泄漏主要在转子与端盘的配合间隙中发生，这种泄漏直接影响到装置的能量回收效率水平。本文通过在平面端盘上引入阻尼孔和静压支承槽，构建了静压支承端盘方案，将静压支承技术应用到自主开发的电驱RERD装置中，以解决其运行过程中泄漏量大、能量回收效率低等问题。在转子与上、下端盘配合总间隙为0.04mm、转子转速为500r/min的条件下，RERD分别使用平面端盘和静压支承端盘进行对比实验研究。结果表明，在操作压力为4.5MPa和处理量为13m³/h的工况下，与平面端盘相比，采用1^#静压支承端盘（静压支承槽槽宽为2.0mm）时，装置的泄漏量从0.45m³/h减小至0.28m³/h，能量回收效率从91.3%提升至92.7%。采用2^#静压支承端盘（静压支承槽槽宽为3.0mm）的RERD在相同工况下，装置的泄漏量可降低至0.11m³/h，能量回收效率提升到95.0%。上述研究显示静压支承技术对于减小RERD装置泄漏量、提高装置效率具有显著的效果，对RERD装置密封结构设计与优化具有指导意义。     

重要数据文件的恢复技术

在进行硬盘数据恢复时,如果每次都从头到尾地进行扫描,需要耗费大量的时间,而且恢复的数据大部分是不需要的。为了节约时间提高效率,应对特定的重要数据文件进行恢复。论文从硬盘启动及文件读写的原理出发,分析文件被修改或删除时操作系统所做的操作,对比分析文件分配表（FAT）和文件目录表（FDT）在特定文件修改或删除时产生的变化,针对现有的数据恢复技术无法自动恢复不连续簇文件的问题,通过FAT表内连续簇的分布规律来进行特定文件恢复,并在实验中进行验证。     

Image Mosaic Techniques OptimizationUsing Wavelet

This essay concentrates on two key procedures of image mosaic--image registration and imagefusion.Becauseof the character of geometric transformation invariance of edge points, wecalculate the angle difference of the direction vector ofedge points in different images anddraw an angle difference histogramto adjust the rotationproblem. Through this way, algorithm based on gray information is expandedandcan be used in images withdisplacementand rotation. Inthe term of image fusion, wavelet multi-scale analysis is used to fuse spliced images. In order to choose the best method of imagefusion,weevaluate the results of different methods of image fusion by cross entropy.     

基于拥塞预警与分流传输的AOMDV协议优化

针对AOMDV协议只使用主路径传输数据,导致备用路径未能得到充分利用以及网络负载失衡的问题,本文提出一种LBAOMDV(Load Balanced AOMDV)协议。该协议在AOMDV协议的基础上使用基于路径长度、路径使用次数以及路径状态的分流传输机制在多条路径上同时传输数据以均衡网络负载,当网络中的节点负载过重并通过预先设定的阀值时将触发拥塞预警机制以减少通过该节点的数据流量,从而进一步达到网络负载的动态均衡。     

基于硬件滤波电路的无刷直流电机转子位置辨识

反电动势过零检测是无刷直流电机无位置传感器控制中转子位置检测的主要方法之一,为消除PWM因素的影响,需要对转子位置检测电路进行滤波处理。本文采用硬件滤波器对反电动势过零检测电路进行滤波,既要考虑深度滤波带来的相移问题又要兼顾消除噪声的影响,分析滤波器的幅频特性和相频特性,根据反电动势过零检测指标要求设计滤波器参数,并用于无刷直流电机转子位置辨识和无位置传感器控制中。仿真结果和实验结果表明,所采用的滤波器及其参数能较好地检测出转子位置,可以明显提高无位置传感器无刷直流电机驱动系统的控制性能。