关永
- 作品数：340 被引量：1,140H指数：16
- 供职机构：首都师范大学更多>>
- 发文基金：国家自然科学基金北京市自然科学基金国际科技合作与交流专项项目更多>>
- 相关领域：自动化与计算机技术电子电信电气工程文化科学更多>>
- 军官队伍演化仿真系统设计研究被引量：1
- 2019年
- 对军官队伍发展进行仿真建模和模拟预测,是定量研究军官队伍发展趋势、科学合理制定相关政策制度的有效辅助手段。在总结归纳现有军官队伍仿真建模方法和研究成果的基础上,以军官职业化相关政策制度模拟验证为应用需求背景,运用系统仿真原理,研究提出了军官队伍演化仿真系统总体结构、模型体系构建及仿真推演引擎等方面的具体设计思路和方法,以期为构建合理可行的仿真系统和模型提供理论借鉴,并为相关论证工作提供有效的辅助决策支撑。
- 付东关永
- 关键词：军官队伍仿真建模职业化
- 串联机器人的关节旋转角度确定方法及装置
- 本公开实施例公开了串联机器人的关节旋转角度确定方法，包括：建立第一空间坐标系；以第五关节和第六关节轴线的第二交点为原点建立第二空间坐标系；在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)...
- 周全张伟功关永吴敏华张永祥石长地袁慧梅李志平梅虎陈志龙
- 文献传递
- 终止证明方法在形式化建模中的应用
- 2022年
- 随着形式化方法的普及和应用,定理证明器HOL4在形式化建模过程中无法自动完成终止证明的情况越来越多,而手动终止证明又缺少通用的证明思路.针对这种情况,提出规范化的手动终止证明方法.该方法从问题产生的本质入手,首先保证目标具备解决终止问题的必要条件,然后通过等效替换简化证明目标,最后以原有定理库为基础,寻找证明过程中缺失的引理,推进证明.实例表明,该方法逻辑清晰,能够有效地解决HOL4中大部分情况下的手动终止证明问题.
- 任凭张杰关永
- 关键词：形式化方法
