国家自然科学基金(60873006)
- 作品数：18 被引量：137H指数：7
- 相关作者：关永刘旭敏田建磊张伟功张毅更多>>
- 相关机构：首都师范大学北京化工大学解放军理工大学更多>>
- 发文基金：国家自然科学基金北京市自然科学基金北京市教育委员会科技发展计划更多>>
- 相关领域：自动化与计算机技术电子电信机械工程更多>>
- 基于密度的离群噪声点检测被引量：16
- 2010年
- 针对三维扫描仪获取的带噪声和离群点的点云数据,提出了基于局部离群点概念的去噪算法。通过k-近邻(KNN)搜索建立散乱点之间的拓扑关系,进而计算当前测点的局部离群因子以衡量该点的离群程度,从而限制噪声并剔除离群点。重点解决了高密度扫描点云周围分布的低密度离群噪声点的识别问题。实验结果证明,该算法能有效检测出紧挨模型边界的噪声点,并最大限度地保持模型边界。
- 张毅刘旭敏关永
- 关键词：局部离群点K-近邻去噪
- 一种新型快速有限域乘法器设计实现
- 2011年
- 介绍一种新型有限域乘法器,其基本原理是引入多项式拆分概念和多项式拆分方法,将m次的多项式拆分成两个m/2次多项式分别做有限域乘法,这样可以降低乘法运算的阶数,用加法计算电路来代替。并且根据这种算法设计了新型乘法器的电路实现,将这种新型乘法器并且与比特串行乘法器的仿真结果做对比。结果表明新型的有限域乘法器达到了较高的系统数据吞吐率,可以应用于纠错系统、RS编码器和译码器中。
- 杨博张伟功丁瑞胡永勤
- 关键词：有限域乘法器多项式乘法纠错码VHDL
- 基于无线通信的设备远程监控系统被引量：3
- 2009年
- 针对当前工业设备监控系统存在的实时性差、智能化程度不高等问题,在分析了GSM/GPRS网络特点的基础上,设计并实现了基于S3C2440的嵌入式设备远程监控系统。介绍了硬件体系结构、操作系统移植、远程监控软件设计以及数据库设计。该监控系统具有使用方便、体积小、成本低等特点,可以对工业设备进行有效监控。
- 宁婷婷关永李正王亮刘瑾陈金强
- 关键词：短消息串口通信
- 基于动态偏微分方程构造过渡面被引量：5
- 2009年
- 为了实现交互式的偏微分方程曲面造型,针对传统静态偏微分方程构造过渡面存在的不足,提出了基于动态偏微分方程构造C1连续的过渡面,并引入迭代有限差分法求解偏微分方程的数值解,在此基础上构造了光滑过渡曲面。讨论了形状控制因子、密度、阻尼系数等物理参数的变化对曲面形状的影响,其中形状控制因子对生成曲面的形状影响最为明显。造型实例表明,利用动态偏微分方程构造过渡面具有更高的灵活性,大大提高了工业几何设计的交互性,在CAD/CAM中具有重要的应用价值。
- 陈亚娟刘旭敏关永
- 基于经验公式的制动气室动态特性分析被引量：2
- 2009年
- 制动气室作为汽车防抱死制动系统的执行元件,其动态特性影响整个制动系统的性能。为此,在分析制动气室原理的基础上,通过对试验测试数据的FDD启发式搜索验证了经验公式,并用最小二乘法尝试拟合了待定参数的函数关系;在SIMULINK下的仿真结果表明,在引入制动气室动态特性参数分析后,能有效提高制动过程的有效性和可靠性。
- 毛春静关永李锐
- 关键词：制动气室启发式搜索最小二乘法仿真
- 基于K-近邻点云去噪算法的研究与改进被引量：36
- 2009年
- 针对三维扫描获取的带噪声和离群点的点云数据,提出了改进的去噪算法。通过K-近邻搜索建立散乱点云之间的拓扑关系,进而采用高斯影响函数作为核函数来估计当前测点对周围邻近点的影响力,从而限制噪声并剔除离群点。重点讨论了密度熵的概念以及如何优化高斯核函数的参数,解决了窗宽尺寸在使用中不易确定的问题。仿真实验证明,该算法能够很容易地检测出离群点,同时也避免了将模型上的点误判为离群点的问题。
- 张毅刘旭敏隋颖关永
- 关键词：K-近邻离群点高斯核函数去噪
- GJK算法的一种特殊情形的形式化验证和应用被引量：3
- 2015年
- 计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.
- 安育龙施智平叶世伟李晓娟张杰魏洪兴
- 关键词：形式化方法机器人规划定理证明HOL
- 一种硬件监视的关键数据管理算法
- 2012年
- 为了提高三模冗余容错计算机的故障恢复效率,缩短故障恢复时间,提出并设计实现了一种基于硬件监视的关键数据链表式管理恢复算法,克服了传统容错计算机在故障恢复方面的缺陷.利用系统运行过程中CPU的空闲时间与串行数据交换通道,在不中断系统工作的情况下,对三模冗余容错计算机进行无缝恢复,保证了系统在故障恢复时工作的连续性,同时给出了系统的具体恢复过程和测试结果.实验结果验证了该方法的可行性和可靠性.
- 张伟功荣金叶邱庆林高兰志
- 关键词：三模冗余故障恢复
- 基于微包协议的三模冗余容错计算机无缝重构算法被引量：4
- 2009年
- 提出了一种基于微包传输协议的系统重构算法,制定了系统重构命令协议,设计了关键数据区的一致性管理算法。不需增加额外的硬件资源和系统开销,利用三机之间的数据交换通道,即可实现三模冗余容错计算机的无缝重构,保证系统在故障恢复重构时工作的连续性。同时,完善的重构命令协议使得重构软件的开发可以采用面向对象思想构成标准化的中间件,具有很强的扩展能力,为构建标准化嵌入式三模冗余容错计算机内核奠定了良好的技术基础。
- 张伟功朱晓燕关永周继芹尚媛园
- 关键词：容错计算机三模冗余故障恢复
- 基于EAPR流程的动态局部可重构实现被引量：7
- 2010年
- 介绍实现动态局部可重构的方法,以EAPR流程为例,阐述通过时/空复用技术实现动态局部自动重构的基本过程。在此基础上,使用芯片内嵌的硬核处理器Power PC405来调度和管理芯片上其他可编程逻辑资源的自重构过程。在Virtex-Ⅱ Pro开发板上进行验证,结果表明,使用较小容量的FPGA硬件资源,可完成超过其容量规模的系统设计。
- 薛建伟张杰关永
- 关键词：现场可编程门阵列
