联盟规范系统及其规范能力极限

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,确定了Co-ATL的两个语言片段,分别对应于两类不可改变的系统属性.对NS和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS进行了扩展,提出了CNS-M.可以证明,关于CNS能力极限的界定在该扩展下保持稳定.     

基于多重感受野UNet的仪表图像分割方法

为解决现有深度学习图像分割算法不能有效分割指针仪表图像中密集小目标的问题,提出基于多重感受野UNet的仪表图像分割方法.将自编码器结构和空洞卷积结构结合,使多尺度浅层特征和深层语义信息融合;以多种光照强度下采集的指针仪表数据训练模型,充分提升神经网络的泛化能力;并行调节空洞卷积参数,使神经网络学习到最优模型.实验结果表...     

基于DSP的SVC控制模块设计

DSP控制模块是SVC控制器的核心。介绍了一种基于TMS320F28335的SVC控制模块,给出了该系统的硬件电路,并介绍了系统的软件设计与实现。该系统结构简单,操作方便,通过现场试验,改模块在SVC系统有着广泛的应用前景。     

复杂自然环境下感兴趣区域检测

目的 感兴趣区域检测是图像处理领域的关键技术.人类视觉系统处理一个较为复杂的场景时,会首先将其视觉注意力集中于该场景中的几个特定对象上,这些对象被称为感兴趣区域.在图像处理和分析过程中,感兴趣区域检测模拟人类视觉,能够快速、准确抓住图像重点,降低图像处理计算量,有效提高计算机信息处理的效率.因此感兴趣区域检测对于图像分析和理解有着重要意义.为此,提出一种基于低层次图像信息与中层次图像信息相结合的自底向上的感兴趣区域检测方法.方法 首先通过彩色增强Harris算子检测角点进而得到凸包边界,通过凸包区域与超像素聚类结果计算中层次信息粗略显著图;然后将图像从RGB空间转换到CIELab空间,使用差分滤波器对图像进行滤波,得到低层次信息粗略显著图;最后将低层次图像信息与中层次图像信息进行加权融合得到图像的显著图.结果 在微软亚洲研究院提供的公开数据库MSRA上验证了本文方法的有效性,根据该数据库人工标记的真值评价本文方法的检测效果,并与其他方法进行对比.其他方法的显著图是由其作者提供的源代码得到.在主观分析和客观判断两个方面的本文方法可有效抑制背景噪声,检测出的显著物具有均匀显著度,且边缘清晰.结论 本文方法是一种有效的图像预处理方法.     

基于维度加权的残差LSTM短期交通流量预测

基于神经网络的交通流量预测由于嵌入了部分手工设计的特征,使得提取的网络特征功能单一,存在适应性及鲁棒性差、数据局部特征刻画不准确等问题。为此,提出基于残差长短期记忆网络(LSTM)的交通流量预测方法,利用集成学习思想将空间分布的数据端到端训练到残差LSTM网络中,同时在每个LSTM单元后引入维度加权单元,显式建模特征维度之间的相互依赖关系。实验结果表明,该方法能实现短期交通流量数据的自适应建模分析。     

眼底图像质量分类综述

眼底视网膜是唯一可用肉眼直接并集中观察到动脉、静脉与毛细血管的部位,因而眼底图像成为医生诊断眼底疾病及糖尿病、高血压、高血脂等疾病的重要依据.高质量的眼底图像是医生对眼底疾病患者进行病情诊断与治疗的前提.根据眼底相机采集到的视网膜图像中眼底结构清晰度、图像对比度等条件对眼底图像质量进行分类成为一个既具有研究价值又极具挑战性的难点问题.首先简述了眼底图像质量分类的研究意义和实用价值,回顾了其发展历史;然后介绍了方法分类、每类方法的基本思想并梳理了各类方法中代表性算法及其特点;之后针对用于眼底质量分类的数据集,分析比较了主要眼底图像质量分类方法的性能.分析表明,传统方法中依据眼底结构特征判断视网膜图像质量相较于通用图像质量参数更加客观,而随着神经网络与机器学习的出现,在大数据驱动下,基于卷积神经网络的质量分类方法在准确率与鲁棒性方面性能更佳.最后对眼底图像质量分类未来的发展趋势进行展望.     

双目视觉系统测量精度分析

针对双目视觉系统测量精度的问题,本文提出并建立了双目视觉系统误差分析模型,分析了摄像机标定精度、镜头参数及系统结构参数对系统测量精度的影响,并结合实验证明了理论的正确性。实验表明,在标定板均匀分布于具有较大深度范围系统的整个可视区域时,增加标定图像数目能有效提高系统精度;在保证系统有效视场的前提下,增大基线距能有效的提高系统测量精度;相机光轴与基线夹角在[55o~70o]取值时,系统测量精度较高。     

“信号与系统”多媒体课件设计

针对“信号与系统”课程抽象难学的问题,本文在分析多媒体课件设计一般性要求基础上,提出了“信号与系统”课程多媒体课件的设计要求,并根据以上要求,基于Flash和Matlab设计制作了“信号与系统”多媒体课件.该课件不仅结构合理,版面美观,而且生动形象,有交互性功能,有效优化了课程的教学过程,提高了教学质量.     

一种陶瓷套管内径检测分类装置的设计

根据陶瓷套管的结构特性,设计了一种利用陶瓷套管的插拔力间接检测陶瓷套管内径的装置。装置采用了齿轮齿务、丝杠等设计了陶瓷套管的内径检测和分类的机构部分,并利用应变片和PLC进行检测和控制。实践发现该装置基本能够实现预期的功能,但存在效率不高的问题,需要进一步改进。