智能冰箱关键技术研究

针对传统冰箱缺乏智能性,难以满足物联网时代需求的问题,提出一种智能冰箱原型系统。该系统集成冰箱端开发板、移动客户端及服务器端应用程序的设计与实现。冰箱端选用基于OK6410的ARM11开发板,通过Win CE系统将收集到的食品数据实时传输给远程服务器,并将其保存到数据库中;数据库服务器端,提出最优时隙防冲突算法,根据标签数目分配帧长,使得所有标签分得帧长时隙以解决多标签同时读/写数据碰撞问题;客户端用户通过无线保真(WiFi)网络、移动通信网络等连接到远程服务器,随时随地管理冰箱。仿真实验结果表明,所设计与实现的冰箱食品信息远程查看与管理、饮食搭配菜谱智能推荐、冰箱周期清理和食品保鲜期限实时提醒等功能科学、合理和实用。

二次定位车牌分割及识别方法

智慧城市建设中,需对重点街道和路口采集到的交通视频文件进行智能分析.为此,提出一种二次定位车牌分割、识别方法.首先,利用垂直投影区域特征并结合Hough变换得到车牌的粗略定位分割结果;然后,基于该车牌图像的粗略定位分割结果,采用支持向量机的方法,进行车牌的精细定位分割并对车牌号码进行自动提取、识别.通过对多源车流量视频实验数据中的1680帧车牌图像进行自动车牌提取分析,在5°和10°两个倾斜角度,二次定位车牌识别方法的准确率分别达到96.7%和96.2%,优于相关算法.

多粒度邻域粗糙直觉模糊集模型

针对名义型属性和数值型属性并存的混合型数据,结合多粒度邻域粗糙集和直觉模糊集,分别定义模糊覆盖粗糙隶属度和非隶属度.基于不同的属性集序列和不同的邻域半径,构建多粒度邻域粗糙直觉模糊集模型,证明模型相关性质.然后提出乐观和悲观多粒度邻域粗糙直觉模糊集的近似集,并讨论模型性质.最后使用文中模型计算实例,说明其能较好地解决名义型属性和数值型属性的混合型数据的处理问题.

基于稀疏性和自信息的显著性检测方法

为提高图像显著性检测的准确性与有效性,在CIE Lab颜色空间内,通过模拟生物视觉神经元的中央-周围运算,提出一种基于稀疏表示与自信息的快速显著性检测方法。对原始输入图像的特征图像进行稀疏量化,计算该稀疏量化图像各像素点的自信息值,根据各像素点的自信息值进行显著性检测。实验结果表明,与GBVS、AIM和ITTI模型相比,该方法 AUC值分别提高了15%、17%和20%,平均耗时则分别降低了93%、95%和92%,验证了该方法能够准确快速地检测图像显著性。

面向抒情歌曲旋律的钢琴自动伴奏算法

目前钢琴自动伴奏中存在着一定的不和谐问题,其中一个重要原因是由于和弦处理的固定性往往不能满足旋律的不确定性要求.为此,提出一种面向拍号固定的抒情歌曲旋律的自适应伴奏算法.首先,根据拍号对旋律进行小节分割和乐句整合,在传统三度关系的三和弦基础上定义更泛化的三元和弦,自适应获取三元和弦的内部音程关系;然后,自适应计算旋律音对和弦的贡献分值,以获取小节中所有可能的三元和弦;自动选取和弦个数,将选出的和弦与知识库进行匹配,将匹配成功的和弦添加合适的伴奏音型,最终生成伴奏.实验结果表明,人们不容易将该算法生成的伴奏与人工的伴奏进行区分.

基于CTL的并发系统CSP模型验证

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.

关于非扩张映射上三类问题公共元的迭代算法

基于Hilbert空间的非扩张映射的一类问题的解或两类问题的公共解已给出了相应的迭代算法.针对非扩张映射上的广义均衡问题的解集,不动点集及变分包含问题的解集的公共元问题,提出了一种迭代算法,获得一强收敛定理和若干相关的推论.