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

基于移动机器人的主动嗅觉技术研究

使用移动机器人来定位气味源已经成为一个研究热点,机器人主动嗅觉是指使用机器人自主发现并跟踪烟羽,最终确定气味源所在位置的技术。本文对当前主动嗅觉技术进行概述,并根据生物嗅觉行为介绍一种气味源定位算法,这种算法不依赖某一点气味浓度值,仅依靠气味浓度变化率就可找到气味源。并在高斯模型下对烟羽分布模型进行仿真。     

基于RFID技术的监所巡更系统

介绍一种基于射频卡及读卡器进行软件开发而成的方便实用的监所巡更系统。由PC微机、射频卡及其读卡器等部分组成,完成巡更资料的采集、传输、管理等功能。该统既可以加强对监所的管理,又可以省去管理人员检查的麻烦,同时也适应各监所逐步普及计算机管理、提高管理水平的要求,具有很好的实用和推广意义。