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

计算机工程与应用 2021年第22期57卷 15-27页

作者：刘锐丁辉尚媛园邵珠宏刘铁首都师范大学信息工程学院北京100048 成像技术北京市高精尖创新中心北京100048 高可靠嵌入式系统技术北京市工程研究中心北京100048 电子系统可靠性技术北京市重点实验室北京100048

由于影像学技术在新型冠状病毒肺炎(COVID-19)的诊断和评估中发挥了重要作用,COVID-19相关数据集陆续被公布,但目前针对相关文献中数据集以及研究进展的整理相对较少。为此,通过COVID-19相关的期刊论文、报告和相关开源数据集网站,对涉... 详细信息

由于影像学技术在新型冠状病毒肺炎(COVID-19)的诊断和评估中发挥了重要作用,COVID-19相关数据集陆续被公布,但目前针对相关文献中数据集以及研究进展的整理相对较少。为此,通过COVID-19相关的期刊论文、报告和相关开源数据集网站,对涉及到的新冠肺炎数据集及深度学习模型进行整理和分析,包括计算机断层扫描(CT)图像数据集和X射线(CXR)图像数据集。对这些数据集呈现的医学影像的特征进行分析;重点论述开源数据集,以及在相关数据集上表现较好的分类和分割模型。最后讨论了肺部影像学技术未来的发展趋势。

关键词： COVID-19数据集深度学习图像分割图像分类

来源：评论

学校读者我要写书评

暂无评论

Ptolemy离散事件模型形式化验证方法

引用

软件学报 2021年第6期32卷 1830-1848页

作者：陆芝浩王瑞孔辉关永施智平首都师范大学信息工程学院北京100048 轻型工业机器人与安全验证北京市重点实验室(首都师范大学) 北京100048 华为技术上海研发中心上海201206 电子系统可靠性与数理交叉学科国家国际科技合作示范基地(首都师范大学) 北京100048

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不... 详细信息

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不同事件的时间戳触发组件,时间自动机模型能够表达这个特征,因此选用Uppaal作为验证工具.首先定义了离散事件模型的形式语义;其次设计了一组从离散事件模型到时间自动机的映射规则;然后在Ptolemy环境中实现了一个插件,可以自动将离散事件模型转换为时间自动机模型,并通过调用Uppaal验证内核完成验证;最后,以一个交通信号灯控制系统为例进行了成功的转换和验证,实验结果证实了该方法能够验证Ptolemy离散事件模型的正确性.

关键词：形式化验证 Ptolemy离散事件模型模型自动转换时间自动机

来源：评论

学校读者我要写书评

暂无评论

基于非对称变邻域粗糙集模型的属性约简

引用

计算机科学 2015年第6期42卷 282-287页

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

在分析邻域粗糙集模型弊端的基础上,提出了非对称变邻域粗糙集模型,并以全局属性重要度为启发条件,构造了基于非对称变邻域粗糙集模型的属性约简的启发式算法。利用6个UCI标准数据集与现有算法进行了比较分析,结果表明,该模型不仅可以... 详细信息

在分析邻域粗糙集模型弊端的基础上,提出了非对称变邻域粗糙集模型,并以全局属性重要度为启发条件,构造了基于非对称变邻域粗糙集模型的属性约简的启发式算法。利用6个UCI标准数据集与现有算法进行了比较分析,结果表明,该模型不仅可以选择较少的属性个数,而且还能保持较高的分类能力。

关键词：邻域粗糙集全局定邻域非对称变邻域全局属性重要度

来源：评论

学校读者我要写书评

暂无评论

结合属性重要度和灰色关联度的数据补齐方法

引用

计算机工程与设计 2014年第1期35卷 248-254页

作者：王方心潘巍吴立锋金声震李晓娟首都师范大学信息工程学院北京100048 首都师范大学高可靠嵌入式系统技术北京市工程研究中心北京100048 首都师范大学电子系统可靠性技术北京市重点实验室北京100048

结合属性重要度和灰色关联度,提出了一种新的数据补齐方法,可使补齐后的数据具有更高的识别率和分类性能。按照属性重要度确定各个条件属性的补齐顺序;对于当前要补齐的缺失样本,将所有完备样本分别与其进行比较,并选择灰色关联度最大... 详细信息

结合属性重要度和灰色关联度,提出了一种新的数据补齐方法,可使补齐后的数据具有更高的识别率和分类性能。按照属性重要度确定各个条件属性的补齐顺序;对于当前要补齐的缺失样本,将所有完备样本分别与其进行比较,并选择灰色关联度最大的完备样本对该样本的缺失数据进行补齐。并提出了一种新的判断数据补齐性能的评价标准,即补齐后的数据不能影响原有数据的识别率。实验结果表明,即使在很高的数据缺失比率下,该方法仍能很好地进行补齐,并能取得较高的识别率。

关键词：不完备数据补齐属性重要度补齐顺序灰色关联度评价标准

来源：评论

学校读者我要写书评

暂无评论

基于属性重要度的数据补齐方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于数据冗余性的近似计算技术

引用

计算机工程与设计 2021年第3期42卷 649-655页

作者：陈折桂王晶张伟功首都师范大学信息工程学院北京100048 首都师范大学北京成像理论与技术高精尖创新中心北京100048 首都师范大学电子系统可靠性技术北京市重点实验室北京100048

为解决神经网络中爆炸式增长的数据量所加剧的计算机系统存储墙问题,针对经典近似方法在平衡精确度和开销问题上的不足,提出一种利用相邻数据之间相似特征以及神经网络中数据冗余性的优化方法。通过分析数据密集型应用的数据特征,提出... 详细信息

为解决神经网络中爆炸式增长的数据量所加剧的计算机系统存储墙问题,针对经典近似方法在平衡精确度和开销问题上的不足,提出一种利用相邻数据之间相似特征以及神经网络中数据冗余性的优化方法。通过分析数据密集型应用的数据特征,提出针对权值的稀疏矩阵压缩,针对输入数据的重复值压缩和相邻小范围浮动数据近似的方案,设计神经网络拓扑感知的冗余数据近似方法,在合理范围内实现数据近似。实验结果表明,相比于SNNAP方案输出质量平均提高了8.16%,压缩率达到51.38%,为提高数据密集型应用的系统加速比提供了可行性。

关键词：神经网络数据冗余数据相似近似压缩

来源：评论

学校读者我要写书评

暂无评论

抗板级物理攻击的持久存储方法研究

引用

计算机工程 2022年第2期48卷 132-139页

作者：李闽张倩颖王国辉施智平关永首都师范大学信息工程学院北京100048 高可靠嵌入式系统北京市工程研究中心北京100048 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 电子系统可靠性技术北京市重点实验室北京100048 北京成像理论与技术高精尖创新中心北京100048

为保护文件系统的安全性,提出一种抗板级物理攻击的持久存储方法。利用ARM TrustZone技术构建持久存储架构,实现内存保护机制和持久存储保护服务,提高文件系统的物理安全性。基于片上内存(OCM)在可信执行环境(TEE)中的内核层建立内存保... 详细信息

为保护文件系统的安全性,提出一种抗板级物理攻击的持久存储方法。利用ARM TrustZone技术构建持久存储架构,实现内存保护机制和持久存储保护服务,提高文件系统的物理安全性。基于片上内存(OCM)在可信执行环境(TEE)中的内核层建立内存保护机制,保证TEE的可信应用能够抵抗板级物理攻击。基于TEE的内存保护机制实现保护文件系统中敏感数据的持久存储保护服务,确保文件系统的机密性和完整性。在物理开发板上实现持久存储架构的原型系统,使用基准测试工具对原型系统进行性能评估,并分析性能损耗的原因。测试结果表明,内存保护机制在保护TEE系统物理安全性时引入的时间开销会随着OCM的增大而减小,持久存储保护服务在保护数据量较小的敏感数据时产生的时间开销在用户可接受范围内。

关键词： ARM TrustZone技术可信执行环境板级物理攻击片上内存持久存储保护

来源：评论

学校读者我要写书评

暂无评论

局部特征及视觉一致性的柱面全景拼接算法

引用

中国图象图形学报 2016年第11期21卷 1523-1529页

作者：朱庆辉尚媛园邵珠宏尹晔首都师范大学信息工程学院北京100048 成像技术北京市高精尖创新中心北京100048 首都师范大学电子系统可靠性技术北京市重点实验室北京100048 首都师范大学高可靠嵌入式系统技术北京市工程技术研究中心北京100048

目的传统的基于平面拼接算法生成的全景图像存在严重的失真问题,很难保证良好的视觉一致性;而普通柱面拼接算法无法较好地满足实时性要求。为此,提出一种基于改进SIFT(scale-invariant feature transform)特征描述子的柱面全景图像拼接... 详细信息

目的传统的基于平面拼接算法生成的全景图像存在严重的失真问题,很难保证良好的视觉一致性;而普通柱面拼接算法无法较好地满足实时性要求。为此,提出一种基于改进SIFT(scale-invariant feature transform)特征描述子的柱面全景图像拼接算法。方法首先将待拼接的图像序列进行柱面投影,利用改进的SIFT特征检测器获取图像中的特征点,生成64维SIFT特征描述子;然后根据特征描述子之间的欧氏距离提取初始特征点对,利用RANSAC(random sample consensus)方法进一步剔除伪匹配特征点对并建立待拼接图像之间的空间变换矩阵;最后根据图像之间的空间变换矩阵进行图像配准,采用加权平均融合的方法完成图像的无缝拼接。结果本文全景图拼接算法,可以有效地克服平面拼接算法存在的失真问题,保证了全景图像的视觉一致性。同时,相比普通柱面拼接算法,本文算法的拼接速度提高了近一倍。结论通过对不同尺寸和数量的图像序列构建全景图,相对于平面拼接算法和普通柱面拼接算法,本文算法可以有效实现图像之间的拼接,生成宽视野、高分辨率的全景图像,且能够应用于对实时性要求比较高的图像拼接场合。

关键词：柱面全景图柱面投影 SIFT检测器图像配准图像融合

来源：评论

学校读者我要写书评

暂无评论

CAN网络层次化动态调度策略设计与实现

引用

小型微型计算机系统 2022年第6期43卷 1141-1146页

作者：邵椿与李晓娟史涤霏张笑搏王瑞关永首都师范大学信息工程学院高可靠嵌入式系统技术北京市工程研究中心电子系统可靠性重点实验室北京100048 首都师范大学燕都学院北京100048

CAN总线是一种基于消息的事件触发通信服务,主要应用于汽车、机器人等实时通信系统.CAN总线上有多个节点互相独立工作,当多个节点访问总线时出现消息碰撞,由于CAN总线采用按位仲裁算法决定节点访问总线的优先级,导致低优先级节点访问失... 详细信息

CAN总线是一种基于消息的事件触发通信服务,主要应用于汽车、机器人等实时通信系统.CAN总线上有多个节点互相独立工作,当多个节点访问总线时出现消息碰撞,由于CAN总线采用按位仲裁算法决定节点访问总线的优先级,导致低优先级节点访问失败,而高优先级节点继续传输消息,这种方式导致低优先级节点饥饿现象而丢失消息,因此CAN总线调度算法随之被提出.目前调度策略已从静态发展到动态,但是随着节点的增多,系统维护和调度难度增加,单条总线调度策略难以维持系统性能需要.因此本文考虑将系统中的节点挂载到多条CAN总线上构成CAN网络,针对CAN网络提出了一种层次化的动态调度算法,将节点优先级仲裁分为:单条总线本地优先级仲裁和系统全局优先级仲裁,确定系统优先级最高的节点,使其进行数据传输.利用MATLAB中的Stateflow工具,建立分层动态调度模型,依据CAN总线数据传输机制和仲裁机制,设计实现了节点模块、总线模块、函数模块等,在总线模块实现了两级调度.实验结果表明,本算法在增加了节点总数目的基础上,满足高优先级节点传输且避免了低优先级节点的饿死现象.

关键词： CAN总线两级仲裁层次化动态调度 Stateflow建模

来源：评论

学校读者我要写书评

暂无评论

超级电容容量动态测试系统设计

引用

计算机工程与设计 2013年第12期34卷 4374-4378页

作者：郝美娟吴立锋关永潘巍唐武兵李晓娟首都师范大学信息工程学院北京 100048 首都师范大学高可靠嵌入式系统技术北京市工程研究中心北京 100048 首都师范大学电子系统可靠性技术北京市重点实验室北京 100048

为了深入研究超级电容的容量与端电压、充放电电流的关系,设计并实现了基于LabVIEW的超级电容容量动态测试系统。对超级电容容量的测试方法、信号调理电路的设计、传感器及数据采集卡的选型进行了介绍,详细阐述了基于LabVIEW的软件设计... 详细信息

为了深入研究超级电容的容量与端电压、充放电电流的关系,设计并实现了基于LabVIEW的超级电容容量动态测试系统。对超级电容容量的测试方法、信号调理电路的设计、传感器及数据采集卡的选型进行了介绍,详细阐述了基于LabVIEW的软件设计,着重分析了超级电容端电压随时间的变化情况,并在此基础上研究了超级电容容量随端电压及充放电电流的变化情况。系统测试结果表明,该系统可以准确、同步地采集超级电容特征数据,确定端电压、充放电电流对超级电容容量的影响。

关键词：超级电容容量 LabVIEW数据采集系统设计

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：