检索结果-维普期刊中文期刊服务平台

基于数据冗余性的近似计算技术被引量：5: 1; 作者陈折桂王晶张伟功《计算机工程与设计》北大核心 2021年第3期649-655,共7页; 为解决神经网络中爆炸式增长的数据量所加剧的计算机系统存储墙问题,针对经典近似方法在平衡精确度和开销问题上的不足,提出一种利用相邻数据之间相似特征以及神经网络中数据冗余性的优化方法。通过分析数据密集型应用的数据特征,提出... 展开更多; 关键词神经网络数据冗余数据相似近似压缩; 在线阅读下载PDF 职称材料

基于多尺度细节增强的面部表情识别方法被引量：16: 2; 作者谭小慧李昭伟樊亚春《电子与信息学报》 EI CSCD 北大核心 2019年第11期2752-2759,共8页; 人类面部表情是其心理情绪变化的最直观刻画,不同人的面部表情具有很大差异,现有表情识别方法均利用面部统计特征区分不同表情,其缺乏对于人脸细节信息的深度挖掘。根据心理学家对面部行为编码的定义可以看出,人脸的局部细节信息决定了... 展开更多; 关键词表情识别图像金字塔高斯差分细节增强支持向量机; 在线阅读下载PDF 职称材料

神经网络可信性的形式化验证方法综述被引量：3: 3; 作者王莉李晓娟 +2 位作者关永王瑞王佳岳《小型微型计算机系统》 CSCD 北大核心 2022年第9期1830-1837,共8页; 随着神经网络技术的不断发展和完善,其应用也随之扩展,如何保证其可信性是在许多应用领域特别是安全攸关应用中部署的关键,目前对神经网络可信性研究主要体现在通过循环优化网络训练等过程和对神经网络进行验证两方面.基于形式化方法可... 展开更多; 关键词神经网络可信性属性模型抽象形式化方法; 在线阅读下载PDF 职称材料

单目深度摄像头下的人体尺寸的自动测量方法被引量：4: 4; 作者刘婷彭晓羽谭小慧《小型微型计算机系统》 CSCD 北大核心 2019年第10期2202-2208,共7页; 为了解决在虚拟试衣等相关应用中个性化服装定制获取人体尺寸数据难以精确的问题.本文提出了一种自动测量人体尺寸的方法.首先建立基于尺度不变的特征描述子和热传播的测地距离关系的随机森林回归模型,根据投票策略预测预定义的人体关... 展开更多; 关键词热核特征描述符随机森林回归人体关键特征点人体尺寸测量; 在线阅读下载PDF 职称材料

摄动开普勒问题形式化建模与验证: 5; 作者王国辉许京然 +2 位作者刘永梅施智平关永《小型微型计算机系统》 CSCD 北大核心 2020年第2期440-444,共5页; 摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何... 展开更多; 关键词形式化验证定理证明几何代数摄动卫星轨道; 在线阅读下载PDF 职称材料

基于注意力机制的多分支LSTM心理负荷评估模型被引量：7: 6; 作者冯源李彦蕾 +3 位作者李一凡张博丁锦红夏立坤《计算机应用研究》 CSCD 北大核心 2021年第11期3371-3375,共5页; 充分获取脑电信号的有效特征已成为心理负荷评估亟待解决的问题。提出一种多分支LSTM和注意力机制相结合的多分类网络框架。首先,此网络在对脑电信号做切片处理后,采用多分支LSTM网络提取切片中的时间特征;然后,利用注意力机制对所提取... 展开更多; 关键词脑电信号心理负荷注意力机制长短期记忆网络; 在线阅读下载PDF 职称材料

卡拉比-丘代数的导出表示概型与平移泊松结构: 7; 作者陈小俊陈友明 +1 位作者 A.艾西玛多夫 F.艾西玛多夫《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2020年第5期1-18,共18页; 导出非交换代数几何是目前数学领域最活跃的分支之一。撷取近年来人们在这一领域里的几个结果向读者作简单介绍,内容侧重于介绍导出的非交换辛结构、非交换泊松结构,以及它们与卡拉比-丘代数和卡拉比-丘范畴之间的关系。; 关键词导出非交换几何非交换泊松结构非交换辛结构卡拉比-丘范畴; 在线阅读下载PDF 职称材料

题名基于数据冗余性的近似计算技术被引量：5: 1; 作者陈折桂王晶张伟功; 机构首都师范大学信息工程学院首都师范大学北京成像理论与技术高精尖创新中心首都师范大学电子系统可靠性技术北京市重点实验室; 出处《计算机工程与设计》北大核心 2021年第3期649-655,共7页; 基金国家自然科学基金项目(61772350) 共有信息系统装备预先研究基金项目(公开)(JZX2017-0988/Y300) +3 种基金科技创新服务能力建设-基本科研业务费基金项目(科研类)(19530050173)。; 文摘为解决神经网络中爆炸式增长的数据量所加剧的计算机系统存储墙问题,针对经典近似方法在平衡精确度和开销问题上的不足,提出一种利用相邻数据之间相似特征以及神经网络中数据冗余性的优化方法。通过分析数据密集型应用的数据特征,提出针对权值的稀疏矩阵压缩,针对输入数据的重复值压缩和相邻小范围浮动数据近似的方案,设计神经网络拓扑感知的冗余数据近似方法,在合理范围内实现数据近似。实验结果表明,相比于SNNAP方案输出质量平均提高了8.16%,压缩率达到51.38%,为提高数据密集型应用的系统加速比提供了可行性。; 关键词神经网络数据冗余数据相似近似压缩; Keywords neural network data redundancy similar data approximate compress; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于多尺度细节增强的面部表情识别方法被引量：16: 2; 作者谭小慧李昭伟樊亚春; 机构首都师范大学信息工程学院北京师范大学虚拟现实应用教育部工程研究中心首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地首都师范大学北京成像理论与技术高精尖创新中心; 出处《电子与信息学报》 EI CSCD 北大核心 2019年第11期2752-2759,共8页; 基金国家重点研发计划项目(2017YFB1002804) 国家自然科学基金项目(61602324) 浙江大学CAD&CG国家重点实验室开放课题(A1914)~~; 文摘人类面部表情是其心理情绪变化的最直观刻画,不同人的面部表情具有很大差异,现有表情识别方法均利用面部统计特征区分不同表情,其缺乏对于人脸细节信息的深度挖掘。根据心理学家对面部行为编码的定义可以看出,人脸的局部细节信息决定了其表情意义。因此该文提出一种基于多尺度细节增强的面部表情识别方法,针对面部表情受图像细节影响较大的特点,提出利用高斯金字塔提取图像细节信息,并对图像进行细节增强,从而强化人脸表情信息。针对面部表情的局部性特点,提出利用层次结构的局部梯度特征计算方法,描述面部特征点局部形状特征。最后,使用支持向量机(SVM)对面部表情进行分类。该文在CK+表情数据库中的实验结果表明,该方法不仅验证了图像细节对面部表情识别过程的重要作用,而且在小规模训练数据下也能够得到非常好的识别结果,表情平均识别率达到98.19%。; 关键词表情识别图像金字塔高斯差分细节增强支持向量机; Keywords Expression recognition Image pyramid Gauss difference Detail enhancement Support Vector Machine(SVM); 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名神经网络可信性的形式化验证方法综述被引量：3: 3; 作者王莉李晓娟关永王瑞王佳岳; 机构首都师范大学信息工程学院首都师范大学高可靠嵌入式系统技术北京市工程研究中心首都师范大学北京成像理论与技术高精尖创新中心首都师范大学轻型工业机器人与安全验证北京市重点实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2022年第9期1830-1837,共8页; 基金国家自然科学基金项目(61977040,61876111)资助科技创新服务能力建设(20530290073)-首都师范大学交叉研究院项目(19530012005)资助.; 文摘随着神经网络技术的不断发展和完善,其应用也随之扩展,如何保证其可信性是在许多应用领域特别是安全攸关应用中部署的关键,目前对神经网络可信性研究主要体现在通过循环优化网络训练等过程和对神经网络进行验证两方面.基于形式化方法可以对网络属性、核心算法进行严格的逻辑和模型表达并进行验证,本文利用形式化的方法对神经网络进行可信性验证的研究现状进行综述,对神经网络可信性问题的抽象、属性表达及形式验证进行阐述,并进一步对基于反例的验证、抽象解释、可满足性求解、输入/输出可达性分析等方法的核心算法、特点进行分类阐述和总结,对未来发展趋势进行展望.; 关键词神经网络可信性属性模型抽象形式化方法; Keywords neural network credibility properties model abstraction formal method; 分类号 TP389 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名单目深度摄像头下的人体尺寸的自动测量方法被引量：4: 4; 作者刘婷彭晓羽谭小慧; 机构首都师范大学信息工程学院首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地首都师范大学北京成像理论与技术高精尖创新中心首都师范大学信息工程学院; 出处《小型微型计算机系统》 CSCD 北大核心 2019年第10期2202-2208,共7页; 基金国家自然科学基金项目(61602324)资助浙江大学CAD&CG国家重点实验室开放课题项目(A1914)资助; 文摘为了解决在虚拟试衣等相关应用中个性化服装定制获取人体尺寸数据难以精确的问题.本文提出了一种自动测量人体尺寸的方法.首先建立基于尺度不变的特征描述子和热传播的测地距离关系的随机森林回归模型,根据投票策略预测预定义的人体关键特征点的位置;随后,将预测所得的关键特征点作为测量人体尺寸的源点,利用深度优先遍历的思想,获取以源点为根节点的邻近点的最短路径;最后,自动计算最短路径的测地距离.实验结果表明本文的方法对不同体型和不同姿态的三维人体模型能够准确地和鲁棒地进行提取关键特征点和测量尺寸.因此本文的特征点提取对人体模型的噪声和孔洞不敏感.从测量结果可知本文测量人体尺寸的相对误差的范围在0. 075~0. 001.; 关键词热核特征描述符随机森林回归人体关键特征点人体尺寸测量; Keywords heat kernel feature descriptor random forest regression focal feature points human body size measurement; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名摄动开普勒问题形式化建模与验证: 5; 作者王国辉许京然刘永梅施智平关永; 机构首都师范大学信息工程学院首都师范大学北京成像理论与技术高精尖创新中心北京城市学院信息学部首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地; 出处《小型微型计算机系统》 CSCD 北大核心 2020年第2期440-444,共5页; 基金国家重点研发计划项目(2017YFB1302800)资助国家自然科学基金项目(61876111,61572331,61602325,61877040)资助科技创新服务能力建设-基本科研业务费(科研类)项目(025185305000)资助.; 文摘摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何代数方法将多种代数系统统一到相同代数结构中,弥补了传统分析方法的不足.但是基于几何代数的摄动开普勒问题数学模型的正确性并没有通过严格的形式化验证.本文采用高阶逻辑来描述该问题的属性和规范,以公认的逻辑公理和推理规则为基础构建其形式化模型并进行验证,从而最大程度确保数学模型的正确性和分析方法的可靠性.; 关键词形式化验证定理证明几何代数摄动卫星轨道; Keywords formal verification theorem proof geometric algebra perturbation satellite orbit; 分类号 TP305 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于注意力机制的多分支LSTM心理负荷评估模型被引量：7: 6; 作者冯源李彦蕾李一凡张博丁锦红夏立坤; 机构首都师范大学信息工程学院首都师范大学神经计算与智能感知实验室首都师范大学电子系统可靠性与数理交叉学科国家国际科技合作示范型基地首都师范大学北京成像理论与技术高精尖创新中心首都师范大学心理学院; 出处《计算机应用研究》 CSCD 北大核心 2021年第11期3371-3375,共5页; 基金北京自然科学基金面上项目(BNSF)(4202011) 中国自然科学基金面上项目(NSFC)(61572076)。; 文摘充分获取脑电信号的有效特征已成为心理负荷评估亟待解决的问题。提出一种多分支LSTM和注意力机制相结合的多分类网络框架。首先,此网络在对脑电信号做切片处理后,采用多分支LSTM网络提取切片中的时间特征;然后,利用注意力机制对所提取的时间特征进行权重参数优化;最后,通过softmax层输出心理负荷评估结果。通过消融实验和对比实验对模型进行验证。结果表明,此网络无论在二分类任务还是多分类任务中的表现均优于现有先进网络。; 关键词脑电信号心理负荷注意力机制长短期记忆网络; Keywords electroencephalogram(EEG) mental workload attention mechanism long short-term memory(LSTM); 分类号 TN911.7 [电子电信—通信与信息系统] TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名卡拉比-丘代数的导出表示概型与平移泊松结构: 7; 作者陈小俊陈友明 A.艾西玛多夫 F.艾西玛多夫; 机构四川大学数学学院重庆理工大学理学院托莱多大学数学与统计系首都师范大学北京成像理论与技术高精尖创新中心; 出处《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2020年第5期1-18,共18页; 基金国家自然科学基金(11671281,11890663)。; 文摘导出非交换代数几何是目前数学领域最活跃的分支之一。撷取近年来人们在这一领域里的几个结果向读者作简单介绍,内容侧重于介绍导出的非交换辛结构、非交换泊松结构,以及它们与卡拉比-丘代数和卡拉比-丘范畴之间的关系。; 关键词导出非交换几何非交换泊松结构非交换辛结构卡拉比-丘范畴; Keywords derived noncommutative geometry noncommutative Poisson structure noncommutative symplectic structure Calabi-Yau category; 分类号 O186 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于数据冗余性的近似计算技术	陈折桂王晶张伟功	《计算机工程与设计》北大核心	2021	5	在线阅读下载PDF 职称材料
2	基于多尺度细节增强的面部表情识别方法	谭小慧李昭伟樊亚春	《电子与信息学报》 EI CSCD 北大核心	2019	16	在线阅读下载PDF 职称材料
3	神经网络可信性的形式化验证方法综述	王莉李晓娟关永王瑞王佳岳	《小型微型计算机系统》 CSCD 北大核心	2022	3	在线阅读下载PDF 职称材料
4	单目深度摄像头下的人体尺寸的自动测量方法	刘婷彭晓羽谭小慧	《小型微型计算机系统》 CSCD 北大核心	2019	4	在线阅读下载PDF 职称材料
5	摄动开普勒问题形式化建模与验证	王国辉许京然刘永梅施智平关永	《小型微型计算机系统》 CSCD 北大核心	2020	0	在线阅读下载PDF 职称材料
6	基于注意力机制的多分支LSTM心理负荷评估模型	冯源李彦蕾李一凡张博丁锦红夏立坤	《计算机应用研究》 CSCD 北大核心	2021	7	在线阅读下载PDF 职称材料
7	卡拉比-丘代数的导出表示概型与平移泊松结构	陈小俊陈友明 A.艾西玛多夫 F.艾西玛多夫	《中山大学学报（自然科学版）》 CAS CSCD 北大核心	2020	0	在线阅读下载PDF 职称材料