国家自然科学基金(60873006)

作品数：18被引量：128H指数：6
导出分析报告
相关作者：关永刘旭敏田建磊张伟功张毅更多>>
相关机构：首都师范大学北京化工大学解放军理工大学维也纳技术大学更多>>
相关期刊：《计算机工程与设计》《机床与液压》《计算机应用研究》《小型微型计算机系统》更多>>
相关主题：K-近邻去噪点云无线通信八叉树更多>>
相关领域：自动化与计算机技术电子电信机械工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
GJK算法的一种特殊情形的形式化验证和应用被引量：3
《小型微型计算机系统》2015年第2期365-369,共5页安育龙 施智平 叶世伟 李晓娟 张杰 魏洪兴 
国际科技合作计划项目(2010DFB10930,2011DFG13000)资助;国家自然科学基金项目(60873006,61070049,61170304,61104035,61373034,61303014)资助;北京市自然科学基金暨北京市教委重点项目(4122017,KZ201210028036)资助;北京市优秀人才培养项目资助;北京市属高校青年拔尖人才培育计划资助
计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言...
关键词：形式化方法 算法验证 机器人规划 定理证明 HOL 
一种硬件监视的关键数据管理算法
《小型微型计算机系统》2012年第1期188-192,共5页张伟功 荣金叶 邱庆林 高兰志 
国家自然科学基金项目(60873006)资助;北京市自然科学基金项目(4062009;4082009)资助;北京市教委重点项目(KZ200710028014)资助
为了提高三模冗余容错计算机的故障恢复效率,缩短故障恢复时间,提出并设计实现了一种基于硬件监视的关键数据链表式管理恢复算法,克服了传统容错计算机在故障恢复方面的缺陷.利用系统运行过程中CPU的空闲时间与串行数据交换通道,在不中...
关键词：三模冗余 故障恢复 关键数据 硬件监视 监测包 
一种新型快速有限域乘法器设计实现
《通信技术》2011年第5期169-171,共3页杨博 张伟功 丁瑞 胡永勤 
国家自然科学基金资助项目(批准号:60873006);北京市自然科学基金资助项目(No.4062009No.4082009);北京市教委重点项目(No.KZ200710028014)
介绍一种新型有限域乘法器,其基本原理是引入多项式拆分概念和多项式拆分方法,将m次的多项式拆分成两个m/2次多项式分别做有限域乘法,这样可以降低乘法运算的阶数,用加法计算电路来代替。并且根据这种算法设计了新型乘法器的电路实现,...
关键词：有限域 乘法器 多项式乘法 纠错码 VHDL 
基于EAPR流程的动态局部可重构实现被引量：6
《计算机工程》2010年第23期252-254,共3页薛建伟 张杰 关永 
国家自然科学基金资助项目(60873006);北京市自然科学基金资助项目(4082009)
介绍实现动态局部可重构的方法,以EAPR流程为例,阐述通过时/空复用技术实现动态局部自动重构的基本过程。在此基础上,使用芯片内嵌的硬核处理器Power PC405来调度和管理芯片上其他可编程逻辑资源的自重构过程。在Virtex-Ⅱ Pro开发板上...
关键词：EAPR流程 现场可编程门阵列 动态局部可重构 时/空复用 
基于条件误分类的决策树剪枝算法被引量：4
《计算机工程》2010年第23期50-52,共3页徐晶 刘旭敏 关永 董睿 
国家自然科学基金资助项目(60873006);北京市教育委员会科技发展计划基金资助重点项目(KZ200710028014);北京市自然科学基金资助项目(4082009);北京市科技新星计划基金资助项目(2008B57);北京市属高等学校人才强教计划基金资助项目
在建立决策树分类模型时,剪枝的方法直接影响分类器的分类效果。通过研究基于误差率的剪枝算法,引入条件误差的概念,改进剪枝标准的评估方法,针对决策树的模型进行优化,提出条件误差剪枝方法,并将其应用于C4.5算法中。实验结果表明,条...
关键词：决策树 误分类剪枝 条件误分类 
星载SpaceWire路由器的研究与设计被引量：11
《电子与信息学报》2010年第8期1904-1909,共6页毛春静 关永 David Jungwirth 
国家自然科学基金(60873006);北京市自然科学基金(4082009)资助课题
为满足航天器有效载荷间高速数据多路传输的未来发展需求,该文研究提出了基于SpaceWire的星载数据路由的设计方案。在SpaceWire总线标准网络层分析的基础上,结合虫孔路由原理构建路由器内部结构,提出了采用无阻断交差开关的SpaceWire路...
关键词：卫星通信 空间辐照 SPACEWIRE 虫孔路由 带缓冲的虫洞路由 
一种基于八叉剖分的近似曲率的边折叠简化算法被引量：6
《计算机应用研究》2010年第5期1955-1958,共4页张果 刘旭敏 
国家自然科学基金资助项目(60873006);北京市教育委员会科技发展计划重点资助项目(KZ200710028014);北京市自然科学基金资助项目(4082009)
为了提高三角网格模型简化的速度,满足实时显示的要求,并且有效地克服边折叠简化算法在低分辨率的状态下易丢失模型重要几何特征的问题,提出了一种基于八叉剖分的近似曲率的边折叠简化算法。采用八叉树结构自适应地分割网格模型空间,同...
关键词：网格简化 边折叠 近似曲率 形状特征 八叉树 
大规模孔洞点云的快速重建算法研究被引量：4
《计算机应用研究》2010年第4期1544-1546,共3页田建磊 刘旭敏 关永 
北京市教育委员会科技发展计划重点项目(KZ200710028014);国家自然科学基金资助项目(60873006);北京市自然科学基金资助项目(4082009);北京市科技新星计划资助项目(2008B57)
针对实际中经常存在的含有孔洞的点云数据,在原多层重建算法的基础上提出了一种可以进行点云补洞的快速曲面重建算法。首先对散乱点云数据进行空间自适应八叉剖分,然后对点云数据进行由粗到精的多层插值,建立隐式曲面方程,最后提出了两...
关键词：点云 曲面重建 孔洞修补 径向基函数 
基于密度的离群噪声点检测被引量：13
《计算机应用》2010年第3期802-805,809,共5页张毅 刘旭敏 关永 
国家自然科学基金资助项目(60873006);北京市自然科学基金资助项目(4082009);北京市教育委员会科技发展计划重点项目(KZ200710028014);北京市科技新星计划项目(2008B57)
针对三维扫描仪获取的带噪声和离群点的点云数据,提出了基于局部离群点概念的去噪算法。通过k-近邻(KNN)搜索建立散乱点之间的拓扑关系,进而计算当前测点的局部离群因子以衡量该点的离群程度,从而限制噪声并剔除离群点。重点解决了高密...
关键词：局部离群点 K-近邻 模型边界 去噪 
基于参数限定的CS-RBF曲面重建算法被引量：1
《计算机应用研究》2010年第1期383-385,392,共4页田建磊 刘旭敏 关永 
北京市教育委员会科技发展计划重点项目(KZ200710028014);国家自然科学基金资助项目(60873006);北京市自然基金资助项目(4082009);北京市科技新星计划项目(2008B57)
针对非密度均匀的点云,提出了一种高效保持特征的曲面重建算法。首先利用八叉树进行点云空间分割,然后对每个点在小邻域内求出局部逼近曲面,建立隐式曲面方程。通过参数限定点的邻域范围,使整个算法既保证了重建效果,又不致于很大程度...
关键词：八叉树 紧支撑径向基函数 局部逼近 支撑半径 隐式曲面 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部