云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(61936008)

国家自然科学基金(61936008): 作品数：19被引量：49H指数：4; 导出分析报告; 相关作者：杨克虎蒋磊王家臣郁文生杨刚更多>>; 相关机构：中国矿业大学（北京）北京邮电大学奥尔堡大学临沂矿业集团有限责任公司更多>>; 相关期刊：《计算机工程与设计》《煤矿机械》《矿业科学学报》《煤炭学报》更多>>; 相关主题：卷积神经网络顶煤振动信号装载机器证明更多>>; 相关领域：自动化与计算机技术矿业工程理学电子电信更多>>

基于深度学习的摩托车车道实时检测被引量：1: 《计算机科学》2023年第S01期450-454,共5页万海波蒋磊王晓; 国家自然科学基金重点资助项目(61936008)。; 摩托车驾驶相比于其他驾驶方式更加危险,但缺乏有效的辅助驾驶系统,例如车道辅助保持系统、障碍物检测、预碰撞系统等,而判定摩托车在行驶中是否发生了偏离往往需要参照车辆行驶时车道线的位置,因此车道线检测对于辅助驾驶系统来说至关...; 关键词：摩托车驾驶车道检测 Lanenet 实时检测深度学习

基于GCN-GRU的瓦斯浓度时空分布预测被引量：2: 《工矿自动化》2023年第5期82-89,111,共9页秦嘉欣葛淑伟龙凤琪张永茜李雪; 国家自然科学基金重点资助项目(61936008)。; 在煤矿井下复杂环境下,传统瓦斯浓度预测模型的预测精度较低,虽然通过引入各种优化算法对传统瓦斯浓度预测模型进行优化,提高了瓦斯浓度预测精度,但仅从时间维度进行建模,忽略了瓦斯浓度的空间特性,易导致重要先验知识丢失,影响预测效...; 关键词：瓦斯浓度预测瓦斯浓度时空特性空间节点图图卷积神经网络门控循环单元

基于激光扫描的室内定位系统的设计与研究被引量：1: 《电子测量技术》2023年第7期192-198,共7页王晓蒋磊葛淑伟万海波龙凤琪李锦俊; 国家自然科学基金重点项目(61936008)资助。; 室内定位系统在无人机、机器人、医学和VR等领域具有广泛的应用。Lighthouse空间定位技术最初是作为VR设备的跟踪定位系统而开发的,在精度、延迟性上有较大的优势,但该算法的实现常常依赖于集中式的官方跟踪软件,多基站的应用场景部署...; 关键词：室内定位激光扫描 FPGA 姿态解算高精度

有源中点箝位型五电平逆变器SHE-MPC研究被引量：1: 《电力电子技术》2023年第4期128-131,共4页李雄峰张奇叶涛维杨克虎; 国家自然科学基金(61936008,61973307)。; 针对大功率有源中点箝位五电平(5L-ANPC)逆变器的低次谐波和电容电压平衡问题,提出一种基于特定谐波消除脉宽调制(SHEPWM)的模型预测控制(MPC)方法。首先,通过求解特定谐波消除(SHE)方程组得到全调制比下的所有开关角度,并设计目标函数...; 关键词：五电平逆变器特定谐波消除模型预测控制

Improved conditional differential attacks on lightweight hash family QUARK: 《Cybersecurity》2022年第3期90-105,共16页Xiaojuan Lu Bohan Li Meicheng Liu Dongdai Lin; This work was supported by the National Natural Science Foundation of China(Grant No.61872359,62122085 and 61936008);the National Key R&D Program of China(Grant No.2020YFB1805402),and the Youth Innovation Promotion Association of Chinese Academy of Sciences.; Nonlinear feedback shift register(NFSR)is one of the most important cryptographic primitives in lightweight cryptography.At ASIACRYPT 2010,Knellwolf et al.proposed conditional differential attack to perform a cryptana...; 关键词：Conditional differential attack Lightweight hash function Automatic condition imposing algorithm NFSR QUARK

Hierarchical group signature with verifier-local revocation revisited被引量：1: 《Science China(Information Sciences)》2022年第8期278-280,共3页Lin HOU Dongdai LIN Renzhang LIU; supported by National Natural Science Foundation of China(Grant Nos.61872359,61936008).; Dear editor,Group signature(GS)[1]is a milestone in privacy-oriented cryptography,which provides authentication for messages and keeps signers anonymous.Trolin and Wikstr¨om[2]properly generalized GS into the notion ...; 关键词：SIGNATURE PROPERLY notion

基于加速度计的顶煤运移时间测量系统: 《工矿自动化》2022年第7期73-80,共8页李增林靳舒凯刘安强张权员明涛康俊瑄杨克虎; 国家自然科学基金项目(61936008,61973307).; 多轮顺序记忆放煤工艺能够改善综采工作面的顶煤采出率和含矸率,但在现场应用中需要对每一轮放煤时间进行精确测定与控制。基于顶煤运移跟踪仪的自动化放煤技术在实际应用中顶煤运移跟踪仪仅作为标志点安置于顶煤中,无法获得更多的顶煤...; 关键词：综采工作面放顶煤开采多轮顺序记忆放煤顶煤运移时间时间测量加速度计传感器标定

基于Coq的杨忠道定理形式化证明被引量：1: 《软件学报》2022年第6期2208-2223,共16页严升郁文生付尧顺; 国家自然科学基金(61936008)。; 实现拓扑学定理的机器证明,是吴文俊院士生前的宿愿.杨忠道定理涉及一般拓扑学中的诸多基本概念,对深刻理解拓扑空间的本质有重要意义.该定理表明,拓扑空间中每一个子集的导集为闭集当且仅当此空间中的每一个单点集的导集为闭集,是一般...; 关键词：COQ 形式化证明公理化集合论一般拓扑拓扑空间杨忠道定理

紧安全的环签名构造: 《信息安全学报》2022年第3期33-42,共10页邱添唐国锋林东岱; 国家自然科学基金(No.61872359,No.61936008)资助。; 对于一个密码方案而言,如何在安全证明中降低归约损失、实现紧归约是一个重要的问题。因为一般来说归约损失越大,就需要更大的参数来保证方案的理论安全强度,而在部署一个紧安全的密码方案的时候,则不需要牺牲效率来弥补归约损失。在这...; 关键词：环签名可证明安全紧安全归约 DDH假设

基于视频的上肢外骨骼行为预判方法: 《计算机工程与设计》2022年第5期1419-1427,共9页马六章蒋磊吴越程子均; 国家自然科学基金重点基金项目(61936008)。; 针对传统穿戴式上肢外骨骼人机交互行为预测受到穿戴者身体状况影响的问题,提出一种基于卷积神经网络(CNN)的多时间融合(multiple temporal fusion,MTF)模块。对特征进行一系列的子卷积处理,使每一帧可以完成多个邻域的时间聚合,能够在...; 关键词：上肢外骨骼视频预测卷积神经网络主成分分析门控循环网络非线性最小二乘

国家自然科学基金(61936008)