检索结果-内蒙古大学图书馆

计算机工程与设计 2016年第3期37卷 725-730页

作者：吴康康潘巍首都师范大学信息工程学院北京100048 首都师范大学高可靠嵌入式系统技术北京市工程研究中心北京100048 首都师范大学电子系统可靠性技术北京市重点实验室北京100048

为更好地处理不完备决策信息系统的缺失值,提出一种基于属性重要度的增量式数据补齐算法。基于同类数据分布的内聚性和异类数据的耦合性定义属性的重要度,优先填补重要属性;提出一种属性重要度定义;采取加权欧氏距离和余弦相似从距离和... 详细信息

为更好地处理不完备决策信息系统的缺失值,提出一种基于属性重要度的增量式数据补齐算法。基于同类数据分布的内聚性和异类数据的耦合性定义属性的重要度,优先填补重要属性;提出一种属性重要度定义;采取加权欧氏距离和余弦相似从距离和角度两方面同时衡量样本的相似度;为避免不同类别数据的相互干扰,将相似样本的搜索范围限定为同类别的完备样本集。实验采用7个UCI标准数据集比较该算法和其它算法,实验结果表明,该算法能有效提高补齐后的分类识别率。

关键词：不完备决策系统增量式数据补齐属性重要度相似样本

来源：评论

学校读者我要写书评

暂无评论

基于四元数局部编码和卷积网络的表情识别

引用

计算机工程与设计 2020年第2期41卷 507-512页

作者：薛志毅邵珠宏江筱赵晓旭尚媛园首都师范大学信息工程学院北京100048 北京成像理论与技术高精尖创新中心北京100048 高可靠嵌入式系统北京市工程研究中心北京100048

为充分利用彩色图像的颜色信息和通道之间的关联性,提出一种联合四元数矩阵相位信息和幅值信息的特征提取方法,结合卷积神经网络(CNN)进行表情识别。将彩色表情图像表示为纯四元数矩阵并进行Clifford平移,对相位和幅值分别进行局部二值... 详细信息

为充分利用彩色图像的颜色信息和通道之间的关联性,提出一种联合四元数矩阵相位信息和幅值信息的特征提取方法,结合卷积神经网络(CNN)进行表情识别。将彩色表情图像表示为纯四元数矩阵并进行Clifford平移,对相位和幅值分别进行局部二值模式(LBP)编码,提取多尺度融合的图像特征,将特征输入CNN进行训练并分类。实验结果表明,该算法在RafD和MMI表情库上的识别率分别为79.42%和93.28%,相比其它表情识别算法,识别率更高且识别效果稳定。

关键词：人脸表情识别四元数表示特征提取局部二值模式卷积神经网络

来源：评论

学校读者我要写书评

暂无评论

一种新的估计基础矩阵的高精度鲁棒算法

引用

微电子学与计算机 2016年第3期33卷 32-36页

作者：张永祥穆铁英张伟功古佩强首都师范大学信息工程学院北京100048 首都师范大学高可靠嵌入式系统北京市工程技术研究中心北京100048

针对基础矩阵估计过程中因异常数据的影响导致精度和稳定性不好等问题,提出一种新的基础矩阵的估计算法.该算法首先对匹配点采用了新的分组抽样策略,突出了随机性和均匀性.然后以对极距离作为准则,通过二次中值的方法获得新的内点集和... 详细信息

针对基础矩阵估计过程中因异常数据的影响导致精度和稳定性不好等问题,提出一种新的基础矩阵的估计算法.该算法首先对匹配点采用了新的分组抽样策略,突出了随机性和均匀性.然后以对极距离作为准则,通过二次中值的方法获得新的内点集和基础矩阵初值.最后引入动态惩罚加权的思想,对新的匹配点集进行非线性优化,恢复了精确的对极几何关系.大量的模拟数据和真实图像实验数据结果表明,在误匹配和噪声存在的情况下,提出的算法切实可行,能够提高基础矩阵估计的精度和鲁棒性.

关键词：基础矩阵分组抽样动态惩罚加权加权优化鲁棒性

来源：评论

学校读者我要写书评

暂无评论

基准集在嵌入式系统性能分析中的应用

引用

计算机工程与设计 2015年第1期36卷 115-119,126页

作者：王芳良张伟功于立新周海洋庄伟首都师范大学信息工程学院北京100048 北京市高可靠嵌入式系统技术工程研究中心北京100048 北京微电子技术研究所北京100076

为准确评估嵌入式系统性能,量化分析嵌入式系统中关键部件对嵌入式系统整体性能的影响,充分发挥嵌入式处理器的性能,提出基于CoreMark基准集的嵌入式系统性能分析方法。基于开源的Leon2处理器,搭建一套用于工业控制的嵌入式系统;分析Cor... 详细信息

为准确评估嵌入式系统性能,量化分析嵌入式系统中关键部件对嵌入式系统整体性能的影响,充分发挥嵌入式处理器的性能,提出基于CoreMark基准集的嵌入式系统性能分析方法。基于开源的Leon2处理器,搭建一套用于工业控制的嵌入式系统;分析CoreMark基准集的特点和结构,将CoreMark基准集移植到嵌入式系统中;分析嵌入式系统可配置的关键部件,运用对比策略进行性能测试,得到嵌入式系统中关键部件的性能加速比,对嵌入式系统进行宏观和微观的性能分析。

关键词：嵌入式系统 CoreMark基准集 Leon2处理器性能加速比性能分析

来源：评论

学校读者我要写书评

暂无评论

UM-BUS总线及接入式体系结构

引用

电子学报 2015年第9期43卷 1776-1785页

作者：张伟功周继芹李杰王晶丁瑞邓哲王嘉佳杜瑞首都师范大学信息工程学院北京100048 北京数学与信息交叉科学2011协同创新中心北京100048 山东航天电子技术研究所山东烟台264003 北京市高可靠嵌入式系统工程技术研究中心北京100048

本文针对航天航空等领域综合电子系统在小型化、一体化设计及信息综合利用等方面的需求,提出一种可动态重构的高速串行通信总线(UM--BUS),采用N(≤32)通道并发传输,通信速率可达6.4Gbps,采用总线型拓扑结构,最大通信距离40m,支持最多30... 详细信息

本文针对航天航空等领域综合电子系统在小型化、一体化设计及信息综合利用等方面的需求,提出一种可动态重构的高速串行通信总线(UM--BUS),采用N(≤32)通道并发传输,通信速率可达6.4Gbps,采用总线型拓扑结构,最大通信距离40m,支持最多30个节点直接互连,具有远程存储访问能力,采用命令应答式协议提供QoS与实时性保证;通过并发通道相互冗余与动态重构,在允许50%性能降低的情况下,能够对N/2通道故障动态容错.在UM-BUS总线基础上,本文提出一种新型的"接入式"体系结构模型,在不改变系统逻辑结构的前提下,能够突破机箱结构限制,将逻辑功能分散嵌入到控制测量对象内部,实现功能模块"接入即用",使得综合电子系统一体化设计成为可能.

关键词：综合电子系统冗余容错高速总线动态重构 “接入式”体系结构 UM-BUS

来源：评论

学校读者我要写书评

暂无评论

SpaceWire译码电路在HOL4中的形式化验证

引用

小型微型计算机系统 2013年第8期34卷 1959-1963页

作者：张玉鹏施智平关永李黎明赵春娜张杰高可靠嵌入式系统技术北京市工程研究中心首都师范大学信息工程学院北京100048 北京化工大学信息科学与技术学院北京100029

SpaceWire是在苛刻环境下的高速通信总线协议,译码电路是其接收端的关键电路,对该电路进行形式化验证具有重要的现实意义.形式化验证方法中的定理证明将需要分析的电路进行形式化建模,结合定理证明器,对模型的性质进行严格推理从而完成... 详细信息

SpaceWire是在苛刻环境下的高速通信总线协议,译码电路是其接收端的关键电路,对该电路进行形式化验证具有重要的现实意义.形式化验证方法中的定理证明将需要分析的电路进行形式化建模,结合定理证明器,对模型的性质进行严格推理从而完成验证.本文运用定理证明的方法,在高阶逻辑证明工具HOL4中对SpaceWire总线的译码电路进行形式化验证.首先根据SpaceWire标准规范抽取相关性质,用高阶逻辑语言形式化描述;然后分析电路设计中的VHDL代码,依据代码实现的功能用相应的逻辑谓词建模;最后在HOL4中证明了译码电路设计的模型能满足所提取的性质.本文同时给出了形式化建模的方法和验证过程.

关键词： SpaceWire标准形式化验证定理证明 HOL

来源：评论

学校读者我要写书评

暂无评论

用LTL模型检验的方法验证SpaceWire检错机制

引用

计算机工程与应用 2012年第22期48卷 88-94页

作者：董玲玲关永李晓娟施智平张杰华伟首都师范大学高可靠嵌入式系统技术北京市工程研究中心北京100048 北京化工大学信息科学与技术学院北京100029

SpaceWire是应用于航空航天领域的高速通信总线协议,对SpaceWire设计正确性与可靠性要求极高,由于传统的验证方法,存在不完备性等缺陷,对SpaceWire的严格验证一直是备受关注的问题之一。模型检验以其验证的完备性得到设计人员的重视。... 详细信息

SpaceWire是应用于航空航天领域的高速通信总线协议,对SpaceWire设计正确性与可靠性要求极高,由于传统的验证方法,存在不完备性等缺陷,对SpaceWire的严格验证一直是备受关注的问题之一。模型检验以其验证的完备性得到设计人员的重视。提出用线性时态逻辑(LTL)模型检验的方法验证SpaceWire系统的检错机制。在检错模块中,该方法与用分支时态逻辑(CTL)验证方法相比,BDD分配数和状态数明显减少,提高了验证效率,还验证了错误优先级;对检错模块处理的五种错误的发生进行验证,验证结果均为正确。该方法实现了对检错机制的完备性验证。

关键词：形式化验证 SpaceWire标准模型检验分支时态逻辑(CTL) 线性时态逻辑(LTL)

来源：评论

学校读者我要写书评

暂无评论

基于暗原色先验的图像快速去雾

引用

中国图象图形学报 2015年第7期20卷 914-921页

作者：曾浩尚媛园丁辉周修庄付小雁首都师范大学信息工程学院北京100048 首都师范大学高可靠嵌入式系统技术北京市工程技术研究中心北京100048 首都师范大学电子系统可靠性技术北京市重点实验室北京100048

目的针对暗原色先验去雾算法出现的边缘残雾、天空色彩失真以及速度较慢问题,提出一种快速有效的图像去雾算法。方法舍弃传统分块的思想,采用逐像素处理的方法估计透射率,并对估计值过低的透射率进行适当的增强。大气光采用效率更高的... 详细信息

目的针对暗原色先验去雾算法出现的边缘残雾、天空色彩失真以及速度较慢问题,提出一种快速有效的图像去雾算法。方法舍弃传统分块的思想,采用逐像素处理的方法估计透射率,并对估计值过低的透射率进行适当的增强。大气光采用效率更高的四叉树算法来求解。结果有效地解决了边缘残雾和天空色彩失真问题,相比其他算法,去雾后的视觉效果有所提升。透射率和大气光的求解速度都得到一定程度的提高,去雾速度是暗原色先验去雾算法的近4倍。结论实验结果表明,本文算法在保证良好去雾效果的前提下能大幅提升去雾的效率,节省去雾所花费的时间。对于大部分有雾图像,本文算法都能够达到较好的去雾效果,但在处理具有较大景深的图像时,远景部分的去雾效果欠佳。鉴于速度上的优势,本文算法适用于对实时性要求比较高的去雾场合。

关键词：图像去雾暗原色先验快速去雾逐像素处理引导滤波

来源：评论

学校读者我要写书评

暂无评论

多纹理分级融合的织物缺陷检测算法

引用

纺织学报 2019年第6期40卷 117-124页

作者：朱浩丁辉尚媛园邵珠宏首都师范大学信息工程学院北京100048 高可靠嵌入式系统技术北京市工程技术研究中心北京100048 北京成像理论与技术高精尖创新中心北京100048 北京数学与信息交叉科学协同创新中心北京100048

针对织物缺陷检测过程中纹理分布的复杂多样性引起误检和漏检的问题,结合织物纹理周期性特点,提出一种多纹理分级融合的织物缺陷检测算法。在检测过程中,首先利用织物缺陷图像的Tamura粗糙度图,对缺陷区域进行初步定位和自适应性生长,... 详细信息

针对织物缺陷检测过程中纹理分布的复杂多样性引起误检和漏检的问题,结合织物纹理周期性特点,提出一种多纹理分级融合的织物缺陷检测算法。在检测过程中,首先利用织物缺陷图像的Tamura粗糙度图,对缺陷区域进行初步定位和自适应性生长,将初步定位的区域映射到原始织物图像中;其次根据织物图像的周期性分布特征,对初步定位区域进行分块,提取图像块的局部相位量化(LPQ)特征、Tamura特征,并将2种特征融合;然后计算融合特征与正常块特征的相似度,获取相似度图;最后将初步定位区域的经纬向特征图与相似度特征图融合,检测缺陷存在的区域。经TILDA织物纹理库数据的实验测试结果表明,缺陷区域的初步定位和自适应生长,降低了缺陷检测过程的冗余度,提高了检测效率,避免了织物缺陷检测过程中的误检和漏检情况。

关键词：织物缺陷检测织物纹理特征融合 Tamura特征局部相位量化特征

来源：评论

学校读者我要写书评

暂无评论

大气模型与亮度传播图相结合的低照度视频增强算法

引用

中国图象图形学报 2016年第8期21卷 1010-1020页

作者：胡茵萌尚媛园付小雁丁辉首都师范大学信息工程学院北京100048 首都师范大学高可靠嵌入式系统技术北京市工程技术研究中心北京100048 首都师范大学电子系统可靠性技术北京市重点实验室北京100048

目的为解决低照度视频亮度和对比度低、噪声大等问题,提出一种将Retinex理论和暗通道先验理论相结合的低照度视频快速增强算法。方法鉴于增强视频时会放大噪声,在增强之前先对视频进行去噪处理,之后结合引导滤波和中值滤波的优势提出综... 详细信息

目的为解决低照度视频亮度和对比度低、噪声大等问题,提出一种将Retinex理论和暗通道先验理论相结合的低照度视频快速增强算法。方法鉴于增强视频时会放大噪声,在增强之前先对视频进行去噪处理,之后结合引导滤波和中值滤波的优势提出综合去噪算法,并将其应用于YCb Cr空间。其次提取亮度分量来估计亮度传播图,利用大气模型复原低照度视频。最后综合考虑帧间处理技术,加入场景检测、边缘补偿和帧间补偿。结果为了验证本文算法的实际效果和有效性,对低照度视频进行增强实验并将本文算法与Retinex增强算法、去雾技术增强算法进行了比较,本文算法有效地提高了低照度视频的亮度和对比度,减小了噪声,增强了视频的细节信息并减轻了视频闪烁现象,从而改善了视频质量。算法处理速率有着非常明显的优势,相比文中其他两种算法的速率提升了将近十倍。结论本文算法保持了帧间运动的连续性,在保证增强效果的同时提升了处理速率,对细节和边缘轮廓部分的处理非常精细,具有目前同类算法所不能达到的优良效果,适用于视频监控、目标跟踪、智能交通等众多领域,可实现视频的实时增强。

关键词：低照度视频增强大气物理模型亮度传播图去噪帧间处理

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：