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

计算机应用与软件 2018年第7期35卷 15-20,51页

作者：郝英华王瑞李晓娟首都师范大学信息工程学院北京100048 首都师范大学高可靠嵌入式系统技术北京市工程研究中心电子系统可靠性技术北京市重点实验室北京100048

随着工业机器人的发展,实时性操作系统在工业控制领域的地位越来越重要。实时调度对实时操作系统的实时性有重要影响,是提高系统实时性的关键技术。Nuttx操作系统就是一个实时操作系统,它有三种调度策略:先来先服务、时间片轮转法以及... 详细信息

随着工业机器人的发展,实时性操作系统在工业控制领域的地位越来越重要。实时调度对实时操作系统的实时性有重要影响,是提高系统实时性的关键技术。Nuttx操作系统就是一个实时操作系统,它有三种调度策略:先来先服务、时间片轮转法以及零星调度。首次提出对以上三种调度策略进行切换,使得任务到达时能够根据自身的特点去选择适合自己的调度策略,以便得到更快的响应。对切换策略建立时间自动机模型;用计算树逻辑公式对实时性进行了形式化描述;在模型检测工具时间自动机Uppaal中进行了验证。结果表明该切换策略能够使任务在规定的时间内更好地完成操作,满足了系统的实时性。

关键词：工业机器人实时调度 Nuttx操作系统切换实时性时间自动机Uppaal

来源：评论

学校读者我要写书评

暂无评论

实数二项式系数在HOL4中的形式化

引用

计算机科学 2014年第2期41卷 15-18页

作者：师丽坤赵春娜关永施智平李晓娟叶世伟首都师范大学信息工程学院高可靠嵌入式系统技术北京市工程研究中心北京100048 中国科学院研究生院信息科学与工程学院北京100049

定理证明是一种形式化方法,在高可靠性系统验证中起着越来越重要的作用。分数阶微积分是高可靠性系统分析的基础,实数二项式系数是分数阶微积分定义的重要组成部分。在高阶逻辑定理库中还没有实数二项式系数的形式化。提出实数二项式系... 详细信息

定理证明是一种形式化方法,在高可靠性系统验证中起着越来越重要的作用。分数阶微积分是高可靠性系统分析的基础,实数二项式系数是分数阶微积分定义的重要组成部分。在高阶逻辑定理库中还没有实数二项式系数的形式化。提出实数二项式系数高阶逻辑形式化方法。首先研究阶乘幂在HOL4中的形式化,然后利用阶乘幂的高阶逻辑形式分析实数二项式系数,最后将实数二项式系数应用于分数阶微积分的形式化。分数阶微积分的形式化分析表明了实数二项式系数及其运算性质形式化的正确性和有效性。

关键词：实数二项式系数高阶逻辑定理证明 HOL4 分数阶微积分

来源：评论

学校读者我要写书评

暂无评论

COVID-19医学影像数据集及研究进展

引用

计算机工程与应用 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数据集深度学习图像分割图像分类

来源：评论

学校读者我要写书评

暂无评论

超级电容建模现状及展望

引用

电子元件与材料 2013年第8期32卷 5-10页

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

介绍了超级电容的特点和工作原理,从物理结构,电气特性以及阻抗特性三个方面对现有的超级电容应用模型予以概述,给出了各类模型的建模依据;分析了各类模型的特点及其优缺点;阐述了各类模型的适用范围。最后,结合超级电容在实际应用中出... 详细信息

介绍了超级电容的特点和工作原理,从物理结构,电气特性以及阻抗特性三个方面对现有的超级电容应用模型予以概述,给出了各类模型的建模依据;分析了各类模型的特点及其优缺点;阐述了各类模型的适用范围。最后,结合超级电容在实际应用中出现的问题,展望了未来超级电容建模的发展趋势。

关键词：超级电容模型物理结构电气特性阻抗特性漏电流

来源：评论

学校读者我要写书评

暂无评论

超级电容UPS智能监测系统设计与实现

引用

计算机工程与设计 2015年第12期36卷 3219-3224,3229页

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

介绍研制的超级电容不间断电源(UPS)智能监测系统,阐述该系统的工作原理、流程以及软硬件设计。以STM32为核心处理器,实现超级电容UPS在线故障检测、超级电容关键参数电容量(C)和等效串联电阻(ESR)测量及劣化状态评估等功能,提高UPS可... 详细信息

介绍研制的超级电容不间断电源(UPS)智能监测系统,阐述该系统的工作原理、流程以及软硬件设计。以STM32为核心处理器,实现超级电容UPS在线故障检测、超级电容关键参数电容量(C)和等效串联电阻(ESR)测量及劣化状态评估等功能,提高UPS可靠性。实际运行结果表明,该系统能快速检测出故障信号,准确测得超级电容C和ESR。

关键词： STM32 超级电容故障检测电容量等效串联电阻

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于HSV颜色特征和贡献度重构的行人跟踪

引用

激光与光电子学进展 2017年第9期54卷 137-147页

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

在光照、背景变化、遮挡、噪声、快速运动等复杂环境下,准确地实现行人跟踪一直是富有挑战性的任务。针对这些问题,提出基于HSV颜色特征和贡献度重构的行人跟踪算法。在粒子滤波的框架内,从HSV空间提取目标的混合颜色特征生成目标模板集... 详细信息

在光照、背景变化、遮挡、噪声、快速运动等复杂环境下,准确地实现行人跟踪一直是富有挑战性的任务。针对这些问题,提出基于HSV颜色特征和贡献度重构的行人跟踪算法。在粒子滤波的框架内,从HSV空间提取目标的混合颜色特征生成目标模板集,依据不同区域对跟踪结果的影响对区域进行贡献度分配,并将其引入到一个自适应的正则化模型中,将具有最小重构误差的区域判定为待跟踪目标。为了增强算法的稳健性,跟踪过程中对模板进行实时更新。在OTB 100个序列上进行测试,本文算法得到跟踪结果的平均中心误差和跟踪成功率两项指标分别为0.6624pixel和0.4153,优于同类其他算法。实验结果表明,该算法能够在复杂的视频场景中实现对行人的连续跟踪,且稳健性较好,有利于在实际系统中的实现。

关键词：图像处理目标跟踪混合颜色特征贡献度重构稀疏表示粒子滤波

来源：评论

学校读者我要写书评

暂无评论

一种新型的动态可重构总线时间同步方法

引用

微电子学与计算机 2016年第7期33卷 60-63,68页

作者：李超邱柯妮张伟功张少楠首都师范大学信息工程学院北京100048 高可靠嵌入式系统技术北京市工程研究中心北京100048 北京数学与信息交叉科学2011协同创新中心北京100048

动态可重构总线是一种面向嵌入式系统的高速串行总线,为实现总线系统中各主节点的时间同步,解决多主仲裁中对时间精度的要求,设计了一种时间同步方案:时间主节点通过时间广播包形式向其它节点周期发送自己的时间信息;时间从节点利用通... 详细信息

动态可重构总线是一种面向嵌入式系统的高速串行总线,为实现总线系统中各主节点的时间同步,解决多主仲裁中对时间精度的要求,设计了一种时间同步方案:时间主节点通过时间广播包形式向其它节点周期发送自己的时间信息;时间从节点利用通道检测时的三次握手过程计算出通道传输延迟,对收到的时间码信息进行修正后,各节点根据修正后的广播时间来校对自己的时间,从而达到各节点间的时间同步.经过通道速率为100 Mb/s的实际系统的仿真测量,节点同步时间误差在100ns左右.

关键词：高速总线 UM-BUS 时间同步故障检测嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

拉普拉斯变换微积分性质在HOL4中的形式化

引用

小型微型计算机系统 2014年第9期35卷 2177-2181页

作者：赵刚赵春娜关永吕兴利李晓娟施智平王瑞叶世伟首都师范大学信息工程学院高可靠嵌入式系统技术北京市工程研究中心北京100048 中国科学院研究生院信息科学与工程学院北京100049

拉普拉斯变换是系统时域频域分析转换的基本工具,基于拉普拉斯变换的数值计算广泛用于信号传输的评估和重要安全系统的分析等,但是其存在计算不精确等问题.高阶逻辑定理证明是验证系统的一种严密的形式化方法.本文在高阶逻辑证明工具HOL... 详细信息

拉普拉斯变换是系统时域频域分析转换的基本工具,基于拉普拉斯变换的数值计算广泛用于信号传输的评估和重要安全系统的分析等,但是其存在计算不精确等问题.高阶逻辑定理证明是验证系统的一种严密的形式化方法.本文在高阶逻辑证明工具HOL4中使用积分、微分、超越函数、复数等定理建立了拉普拉斯变换形式化模型,并且对拉普拉斯变换的线性性质、微分性质、积分性质、频移性质进行了逻辑推理证明.最后通过对电机传递函数的形式化验证说明拉普拉斯变换形式化的有效性和正确性.

关键词：拉普拉斯变换形式化验证定理证明 HOL4 微积分性质

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：