基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

基于人工神经网络的聚类算法

研究连续型Hopfield神经网络的电路机理,推导出网络的权值计算公式,并运用连续型的神经网络模型构造出聚类算法;对20个随机生成数据计算模拟神经网络的运行,逐步调整类内精度多次训练,当参数a=b=500,c=200且类内精度控制不超过0.6时,有一个优化的聚类方案输出.     

基于小波变换的智能天线波达方向估计研究

对比两种经典的智能天线波达方向(Direction of Arrival,DOA)估计算法——延迟-相加算法、多重信号分类(Multiple SignalClassification,MUSIC)算法,提出了一种基于小波变换的智能天线波达方向估计算法(Smart Antennas Direction of Arrival Eseimation Based on Wavelet Transformer,SADOAWT),该算法利用小波变换,将来波信号变换在多尺度频域,针对不同频域采用不同算法以实现分辨率、计算复杂度的高度兼顾.计算机仿真结果表明,新算法复杂度较低,克服了延迟-相加算法分辨率低、副瓣较多的缺点,避免了MUSIC算法遇到相关信号分辨率降低的问题.     

基于计算机视觉的植物水分胁迫状况监测方法

水分胁迫是影响植物生长最为普遍的环境威胁。水分亏缺的监测对设施农业、精确农业的发展具有重要意义。植物本身具有一种适应土壤水分胁迫的生理调节机制,其中叶片是植物外部形态中反应最为敏感的器官,这就为水分亏缺诊断提供了信号和依据。根据植物叶片对水分胁迫反应敏感这一特点,提出一种基于计算机视觉的植物水分胁迫状况无损监测新方法。首先根据环境情况对植物图像进行预处理;然后针对光照不均匀、阴影等造成的分割困难,采用了一种局部阈值图像分割算法,得到植物叶片的图像;最后提取植物叶片的叶尖相对距离和叶尖倾角这两个形态参数,实现植物水分亏缺程度的连续无损监测。实验结果表明,该方法监测的叶尖相对距离和叶尖倾角的变化趋势能够较好地反映出植物的水分亏缺程度,对于水分胁迫状况的监测,具有较高的应用价值。     

基于Gestalt优化的红外视频时空显著性检测

针对红外视频时空显著性检测问题，提出一种基于Gestalt 优化的方法。设计基于多尺度局部稀疏表示和局部对比度测量的方法计算红外视频的空间显著性；为提取视频中显著性目标的运动信息， 设计基于多帧对称差分的算法计算时间显著性；为得到初始时空显著图， 设计基于交互一致性的融合策略将空间显著图和时间显著图进行自适应融合； 提出基于Gestalt 优化的最终时空显著图计算方法。实验结果表明，提出算法能有效检测红外视频的时空显著性。     

数字助听器的并行梯度投影回声抵消

自适应回声抵消是消除助听器回声啸叫的有效方法.针对回声路径评估偏差大的问题,文中提出线性预测-并行梯度投影算法,通过对助听器输出信号进行线性预测来生成解相关FIR滤波器,获得解相关信号.系统利用解相关信号构建包含回声路径的凸优化方程,并设计并行梯度投影算法求解该方程,实现回声路径的估计.实验结果表明算法在收敛速度、稳定性和精度等方面改进显著.     

车牌识别中的倾斜车牌校正算法

在车牌自动识别过程中,图像的倾斜会给后续字符分割和识别带来困扰。利用传统Hough变换进行矫正的运算量很大,文中提出采用Canny算子提取图像边缘,去除牌照图像中和矫正无关的所有冗余信息,减少矫正过程的运算量,利用仿射变换理论采用双线性插值法校正车牌图像。实验结果表明,该方法可以准确地检测出车牌的倾斜角度,同时矫正速度比传统Hough变换方法要快。     

一种低复杂度的MIMO-OFDMA下行链路资源分配方案

针对MIMO-OFDMA下行链路系统，考虑在总功率和BER 以及用户数据速率成比例的约束下，以获取整个系统吞吐量极大化为准则，提出一种基于成比例公平性约束的资源分配方案。该方案在子载波分配时，松弛成比例约束条件，使用户数据速率近似地成比例于每个用户分配的子载波数，在功率分配时，推导出一种线性的不需要迭代的低复杂度功率分配方案。仿真和分析表明，整个方案在保证系统吞吐量的前提下，取得了用户间良好的速率公平性，同时又具有较低的计算复杂度。     

基于内容的图像检索及其在水利中的应用

提出了一种利用图像熵进行检索的方法，给出了图像熵的定义、特征提取、相似性度量、多精度检索等相关概念，并将该方法运用于水利工情图像检索，详细介绍了实现技术和方法，设计并实现了一个用于防洪决策的工情图像检索系统。     

杭州湾年最高潮位时空变化及其抬升原因分析

总结了海浪预报方法的分类和研究现状,对比分析了各类方法的优缺点。通过对比分析可知,半经验半理论预报法、经验统计预报法、数值预报法3类传统的海浪预报方法区域化显著,模型建立困难,并且对于实时性数据要求较高。此外,还分析了海浪预报的发展趋势,展望了大数据、人工智能和深度学习等新技术在海浪预报研究领域的应用前景。