关永
- 作品数：349 被引量：1,226H指数：16
- 供职机构：首都师范大学更多>>
- 发文基金：国家自然科学基金北京市自然科学基金国际科技合作与交流专项项目更多>>
- 相关领域：自动化与计算机技术电子电信电气工程文化科学更多>>
- 军官队伍演化仿真系统设计研究被引量：1
- 2019年
- 对军官队伍发展进行仿真建模和模拟预测,是定量研究军官队伍发展趋势、科学合理制定相关政策制度的有效辅助手段。在总结归纳现有军官队伍仿真建模方法和研究成果的基础上,以军官职业化相关政策制度模拟验证为应用需求背景,运用系统仿真原理,研究提出了军官队伍演化仿真系统总体结构、模型体系构建及仿真推演引擎等方面的具体设计思路和方法,以期为构建合理可行的仿真系统和模型提供理论借鉴,并为相关论证工作提供有效的辅助决策支撑。
- 付东关永
- 关键词：军官队伍仿真建模职业化
- 单球驱动平衡机器人运动学和动力学形式化验证
- 2025年
- 单球驱动平衡机器人是一种具有全向运动性的机器人,其灵活性能在狭小或复杂环境中得到充分体现,因此受到广泛关注.在该型机器人运动学和动力学设计过程中,保证其模型的正确性至关重要.基于测试和仿真的传统方法难以穷尽系统所有状态,因此可能无法捕捉到某些设计缺陷或潜在的安全风险.为确保单球驱动平衡机器人满足安全攸关机器人的正确性、安全性验证要求,在定理证明器HOL Light中,基于实分析库、矩阵分析库、机器人运动学和动力学库等定理证明库,构建单球驱动平衡机器人运动学和动力学的形式化模型,并进行高阶逻辑推导与证明.
- 张善强张景芝施智平王国辉关永
- 关键词：形式化验证定理证明
- 串联机器人的关节旋转角度确定方法及装置
- 本公开实施例公开了串联机器人的关节旋转角度确定方法，包括：建立第一空间坐标系；以第五关节和第六关节轴线的第二交点为原点建立第二空间坐标系；在6自由度串联机器人的初始位形下，6自由度串联机器人的第一至第六关节的旋转角度为0...
- 施智平赵荣波关永张倩颖王国辉邵振洲王瑞李晓娟
- 文献传递
- 一种用于机器人分布式控制系统的形式建模方法及装置
- 本发明实施例提供了一种用于机器人分布式控制系统的形式建模方法及装置，方法包括：针对所述机器人分布式控制系统，根据各微体系结构模型xMAS元件的同步等式，对各xMAS元件在逻辑编程语言ACL2中形式化，得到所述机器人分布式...
- 李晓娟关永李艳春王瑞施智平张倩颖谈金东邵振洲张杰王国辉刘永梅吴敏华
- 文献传递
- 基于密度的离群噪声点检测被引量：16
- 2010年
- 针对三维扫描仪获取的带噪声和离群点的点云数据,提出了基于局部离群点概念的去噪算法。通过k-近邻(KNN)搜索建立散乱点之间的拓扑关系,进而计算当前测点的局部离群因子以衡量该点的离群程度,从而限制噪声并剔除离群点。重点解决了高密度扫描点云周围分布的低密度离群噪声点的识别问题。实验结果证明,该算法能有效检测出紧挨模型边界的噪声点,并最大限度地保持模型边界。
- 张毅刘旭敏关永
- 关键词：局部离群点K-近邻去噪
- 基于数据驱动的功率MOSFET剩余寿命预测
- 2016年
- 为了预测电子系统的重要器件——功率MOSFET剩余使用寿命,基于NASA实验数据,提出了一种MOSFET剩余寿命预测方法。首先利用相关向量机对劣化数据进行回归拟合,得到相关向量,并使用相关向量与回归拟合结果结合获取代表性向量。然后,基于退化模型,利用最小二乘法实现参数辨识确定劣化模型的参数。最后,将劣化模型外推到失效阈值,得到功率器件可能失效的时间,从而获得MOSFET的剩余使用寿命。实验结果表明,该方法简单有效。
- 吴立锋殷翠香郑宇关永
- 关键词：MOSFET剩余寿命
- 一种机器人运行状态监控方法及装置
- 本申请实施例公开了一种机器人运行状态监控方法及装置，实现了对机器人在实际运行环境中运行时状态监控的目的。其中，预先对关于事件逻辑的脚本进行解析，并根据所述事件逻辑生成事件监控程序，所述事件逻辑包括对机器人的运行状态进行判...
- 王瑞关永李晓娟施智平绍振洲张倩颖尉英霞李欣欣
- 文献传递
- 一种运动目标提取方法及装置
- 本发明实施例公开了一种运动目标提取方法及装置，方法包括：利用分析算法，确定图像对应的矩阵模型；针对矩阵模型进行迭代处理的过程中，每次迭代对约束乘数进行两次更新；根据迭代结果提取图像中的运动目标。每次迭代对约束乘数进行两次...
- 邵振洲 吴高宇 渠瀛关永施智平 张融 谈金东
- 文献传递
- 一种具有在苛刻环境中抗辐照干扰的高速通信芯片
- 本发明一种具有在苛刻环境中抗辐照干扰的高速通信芯片，该芯片包括存储器、抗辐照高速通信IP核模块、XILINX FPGA软核微处理器、通信接口以及LCD控制器等；其中，XILINX FPGA软核微处理器是整个系统的核心，它...
- 关永张杰吴敏华朱虹李晓娟袁慧梅尚媛园潘巍万玛宁陈金强毛春静刘永梅
- 文献传递
- 混风式空气调节器及其控制系统
- 一种混风式空气调节器，包括柜体(1)、进风阀(2)、回风阀(4)和风机(7)，柜体(1)的三个侧面上依次设有引入室外新风的进风口(8)、引入室内循环风的回风口(9)和风机(7)的出风口(10)，进风阀(2)、回风阀(4)...
- 周全张伟功关永吴敏华张永祥石长地袁慧梅李志平梅虎陈志龙
- 文献传递
