基于小波的压缩图像索引技术

在JPEG2000压缩框架下给出了两种压缩图像索引方法, 不需要完全解压缩, 减少了数据处理量。实验结果证明,给出的索引方法具有很强的图像表征能力,利用该索引进行图像检索,提高了检索效率。     

基于区分对象对的不完备决策表求核

在差别矩阵的基础上,针对不完备决策表提出了基于差别矩阵的区分对象对集定义,并证明求不完备决策表的核可以转化到求基于差别矩阵的区分对象对集上。在此基础上,提出了一种基于区分对象对的不完备决策表求核算法,该算法的时间复杂度为：[max{O(|C||U||Upos|),O(K|C||U|)}],优于同类算法的时间复杂度;用实例说明了新算法的有效性。     

基于单词相似度的文本聚类

研究了现有的基于向量空间模型的文本聚类算法,发现这些算法都存在数据维度过高和忽略了单词之间语义关系的缺点.针对这些问题,提出一种基于单词相似度的文本聚类算法,该算法首先利用单词相似度对单词进行分类获得单词间的语义关系,然后利用产生的单词类作为向量空间的项表示文本降低了向量空间的维度,最后采用基于划分聚类方法对文本聚类.实验结果表明,相对于传统基于向量空间模型的聚类算法,该算法具有较好的聚类效果.     

无线传感器网络自适应紧急上报与兴趣命令协议

针对无线传感器网络的节能要求,提出了自适应断链恢复、事件源数据融合、信道预约等新技术,进而提出了一种新的MAC层网络协议。该协议由紧急上报和兴趣命令驱动数据传输,适用于大规模数据采集与环境监测。与其他同类型协议比较的仿真结果表明,该协议具有更好的节能效果和更短的延时。     

基于神经网络的静态台标识别系统设计与实现

台标是电视台的重要标志,是对电视节目来源、类型等属性的描述,因此台标识别是实现电视视频自动收录、检索的重要技术基础.针对静态台标的特点和识别中存在的问题,在台标提取和特征识别的基础上,提出了一种基于BP神经网络的台标识别方法,并设计实现了一个静态台标识别系统,对系统的神经网络参数经过反复试验调整,最后得到令人满意的结果.实验结果表明,通过训练和识别分开,对包括半透明台标在内的电视视频,系统具有识别效率高、结果准确等优点.     

虚拟网格服务工作流的调度算法研究

对虚拟网格服务工作流的调度算法进行了研究,提出了最小计算时间(MCT)、最小传输时间(MTT)、最小执行时间(MET)3种虚拟网格服务工作流的调度算法.在满足给定假设的情况下,MCT、MTT、MET的调度分别能保证目标工作流获得最小计算时间、最小传输时间、最小执行时间.在描述了调度算法之后,证明了算法调度的正确性.对几种算法的调度性能进行实验模拟,并分析和比较了它们的实现代价和时间、空间复杂度,从而给出各算法的适用情况.     

信号处理中去噪算法的改进仿真

针对信号处理中交替投影法去噪计算量大的缺点,提出了改进方法,改进后的方法首先利用Ad hoc算法求出信号的模极大值,然后对模极大值点分段进行抛物线插值,从而得到信号的估计小波系数,最后利用估计小波系数重构信号,实现去噪的目的。仿真实验证明：该方法能有效去除噪声,与交替投影法相比,该算法在原理上更简单,程序实现更容易,去噪速度更快,是更加实用的方法,特别是便于用硬件实现。     

基于超声传感器阵列的陆地自主车测距

目前,超声波传感器主要用于低速运动的自主式移动机器人短距离测量,采用的测距方法多把串音干扰看作有用信号的干扰项,尽可能排除.基于远距离超声波传感器,本文利用串音干扰设计了一种适用于高速行驶的陆地自主车进行远距离测量的方法.实验结果表明此方法的可靠性和精度都能满足陆地自主车的距离探测要求.     

反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.     

填充球蓄热室热效率影响因素数值分析

利用自行设计的填充球蓄热室蓄热放热过程模拟系统,从蓄热室几何参数,相变球性能参数和外界操作参数三个方面分析了各因素对热效率的影响,得出一定的规律,对工程设计具有一定的指导作用.