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

软件学报 2022年第6期33卷 2246-2263页

作者：陈善言关永施智平王国辉首都师范大学信息工程学院北京100048 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学) 北京100048 轻型工业机器人与安全验证北京市重点实验室(首都师范大学) 北京100048 电子系统可靠性技术北京市重点实验室(首都师范大学) 北京100048 高可靠嵌入式系统北京市工程研究中心(首都师范大学) 北京100048

为应对更为复杂的任务需求,现代机器人产业发展愈发迅猛.出于协调工作的灵活性、柔顺性以及智能性等多项考虑因素,多臂/多机器人充分发挥了机器人的强大作用,成为现代机器人产业的重要研究热点.在机器人双臂协调运行当中,机械臂之间以... 详细信息

为应对更为复杂的任务需求,现代机器人产业发展愈发迅猛.出于协调工作的灵活性、柔顺性以及智能性等多项考虑因素,多臂/多机器人充分发挥了机器人的强大作用,成为现代机器人产业的重要研究热点.在机器人双臂协调运行当中,机械臂之间以及机械臂与外部障碍物之间容易发生碰撞,可能会造成财产损失甚至人员伤亡.对机器人碰撞检测方法进行形式化验证,以球体和胶囊体形式化模型为基础,构建基本几何体单元之间最短距离和机器人碰撞的高阶逻辑模型,证明其相关属性及碰撞条件,建立机器人碰撞检测方法基础定理库,为多机系统碰撞检测算法可靠性与稳定性的验证提供技术支撑和验证框架.

关键词：机器人碰撞检测形式化方法定理证明 HOL-Light

来源：评论

学校读者我要写书评

暂无评论

基于精化的可信执行环境内存隔离机制验证

引用

软件学报 2022年第6期33卷 2189-2207页

作者：靳翠珍张倩颖马雨薇李希萌王国辉施智平关永首都师范大学信息工程学院北京100048 高可靠嵌入式系统北京市工程研究中心(首都师范大学) 北京100048 计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京100190 电子系统可靠性技术北京市重点实验室(首都师范大学) 北京100048 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学) 北京100048

可信执行环境(trusted execution environment,TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其... 详细信息

可信执行环境(trusted execution environment,TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其安全性不能保证,可能造成存储在安全内存中的敏感数据泄露.为验证TEE内存隔离机制的安全性,针对基于ARM TrustZone技术构建的TEE,提出一种基于精化的可信执行环境内存隔离机制安全性验证方法.建立抽象模型和具体模型,并定义两种模型之间的精化关系,在证明精化关系成立和抽象模型满足信息流安全性的前提下,验证具体模型的信息流安全性.具体模型建模了TEE内存隔离机制的关键硬件和软件,包括TrustZone地址空间控制器、MMU和TrustZone monitor等,在定理证明器Isabelle/HOL中,验证了该模型满足无干扰、无泄露、无影响等信息流安全属性.

关键词： TEE 内存隔离机制形式化验证精化关系信息流安全性

来源：评论

学校读者我要写书评

暂无评论

可信执行环境软件侧信道攻击研究综述

引用

软件学报 2023年第1期34卷 381-403页

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

为保护计算设备中安全敏感程序运行环境的安全,研究人员提出了可信执行环境(TEE)技术,通过对硬件和软件进行隔离为安全敏感程序提供一个与通用计算环境隔离的安全运行环境.侧信道攻击从传统的需要昂贵设备发展到现在仅基于微体系结构状... 详细信息

为保护计算设备中安全敏感程序运行环境的安全,研究人员提出了可信执行环境(TEE)技术,通过对硬件和软件进行隔离为安全敏感程序提供一个与通用计算环境隔离的安全运行环境.侧信道攻击从传统的需要昂贵设备发展到现在仅基于微体系结构状态就能通过软件方式获取机密信息的访问模式,从而进一步推测出机密信息.TEE架构仅提供隔离机制,无法抵抗这类新出现的软件侧信道攻击.深入调研了ARM TrustZone、Intel SGX和AMD SEV这3种TEE架构的软件侧信道攻击及相应防御措施,并探讨其攻击和防御机制的发展趋势.首先,介绍了ARM TrustZone、Intel SGX和AMD SEV的基本原理,并详细阐述了软件侧信道攻击的定义以及缓存侧信道攻击的分类、方法和步骤;之后从处理器指令执行的角度,提出一种TEE攻击面分类方法,利用该方法对TEE软件侧信道攻击进行分类,并阐述了软件侧信道攻击与其他攻击相结合的组合攻击;然后详细讨论TEE软件侧信道攻击的威胁模型;最后全面总结业界对TEE软件侧信道攻击的防御措施,并从攻击和防御两方面探讨TEE软件侧信道攻击未来的研究趋势.

关键词：可信执行环境(TEE) 隔离架构 ARM TrustZone Intel SGX AMD SEV 软件侧信道攻击

来源：评论

学校读者我要写书评

暂无评论

一种考虑温度和电压的超级电容寿命预测方法

引用

电源技术 2018年第1期42卷 90-92,96页

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

介绍了超级电容的退化特征,阐释了影响其寿命衰减的因素,比较了各因素在超级电容退化过程中的作用,重点阐述了退化因素中环境温度和使用电压对超级电容寿命的影响。提出了基于现有的寿命数据或者经验法则,对工作在不同温度和电压下的超... 详细信息

介绍了超级电容的退化特征,阐释了影响其寿命衰减的因素,比较了各因素在超级电容退化过程中的作用,重点阐述了退化因素中环境温度和使用电压对超级电容寿命的影响。提出了基于现有的寿命数据或者经验法则,对工作在不同温度和电压下的超级电容寿命的预测方法,并把这种方法应用于对超级电容退化特征参数的预测,为超级电容的合理使用提供参考依据。

关键词：超级电容退化寿命预测

来源：评论

学校读者我要写书评

暂无评论

超级电容建模现状及展望

引用

电子元件与材料 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 超级电容故障检测电容量等效串联电阻

来源：评论

学校读者我要写书评

暂无评论

Nuttx操作系统进程切换调度实时性的形式化验证

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学 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标准数据集比较该算法和其它算法,实验结果表明,该算法能有效提高补齐后的分类识别率。

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：