期刊文献+
共找到159篇文章
< 1 2 8 >
每页显示 20 50 100
An improved particle filter indoor fusion positioning approach based on Wi-Fi/PDR/geomagnetic field 被引量:2
1
作者 Tianfa Wang Litao Han +5 位作者 Qiaoli Kong Zeyu Li Changsong Li Jingwei Han Qi Bai Yanfei Chen 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2024年第2期443-458,共16页
The existing indoor fusion positioning methods based on Pedestrian Dead Reckoning(PDR)and geomagnetic technology have the problems of large initial position error,low sensor accuracy,and geomagnetic mismatch.In this s... The existing indoor fusion positioning methods based on Pedestrian Dead Reckoning(PDR)and geomagnetic technology have the problems of large initial position error,low sensor accuracy,and geomagnetic mismatch.In this study,a novel indoor fusion positioning approach based on the improved particle filter algorithm by geomagnetic iterative matching is proposed,where Wi-Fi,PDR,and geomagnetic signals are integrated to improve indoor positioning performances.One important contribution is that geomagnetic iterative matching is firstly proposed based on the particle filter algorithm.During the positioning process,an iterative window and a constraint window are introduced to limit the particle generation range and the geomagnetic matching range respectively.The position is corrected several times based on geomagnetic iterative matching in the location correction stage when the pedestrian movement is detected,which made up for the shortage of only one time of geomagnetic correction in the existing particle filter algorithm.In addition,this study also proposes a real-time step detection algorithm based on multi-threshold constraints to judge whether pedestrians are moving,which satisfies the real-time requirement of our fusion positioning approach.Through experimental verification,the average positioning accuracy of the proposed approach reaches 1.59 m,which improves 33.2%compared with the existing particle filter fusion positioning algorithms. 展开更多
关键词 Fusion positioning Particle filter Geomagnetic iterative matching Iterative window constraint window
在线阅读 下载PDF
全维可观动态步长约束的单兵双足惯性定位方法
2
作者 赵辉 陈文彬 +1 位作者 刘宁 苏中 《中国惯性技术学报》 北大核心 2025年第8期743-750,共8页
针对单兵双足惯性定位系统中存在的状态可观测度低及双足约束距离不可调问题,提出一种全维可观动态步长约束的单兵双足惯性定位方法。通过引入零速状态下相邻时刻状态差分作为伪量测,实现位置误差、速度误差和姿态误差的全维可观;同时... 针对单兵双足惯性定位系统中存在的状态可观测度低及双足约束距离不可调问题,提出一种全维可观动态步长约束的单兵双足惯性定位方法。通过引入零速状态下相邻时刻状态差分作为伪量测,实现位置误差、速度误差和姿态误差的全维可观;同时建立基于非零速运动加速度模值的双足最大约束距离估计模型,实现不同运动模式下的动态阈值调整。利用消费级低精度惯性传感器开展多组双足定位实验,结果表明:在双足慢走定位实验中,所提方法的定位误差为总行程的0.39%,相较于传统双足惯性定位方法,定位精度提升了3倍。 展开更多
关键词 单兵定位 惯性定位 双足约束 动态步长 全维可观
在线阅读 下载PDF
探索非零位置约束:算法-硬件协同设计的DNN稀疏训练方法
3
作者 王淼 张盛兵 张萌 《西北工业大学学报》 北大核心 2025年第1期119-127,共9页
设备上的学习使得边缘设备能连续适应人工智能应用的新数据。利用稀疏性消除训练过程中的冗余计算和存储占用是提高边缘深度神经网络(deep neural network,DNN)学习效率的关键途径。然而由于缺乏对非零位置的假设,往往需要昂贵的代价用... 设备上的学习使得边缘设备能连续适应人工智能应用的新数据。利用稀疏性消除训练过程中的冗余计算和存储占用是提高边缘深度神经网络(deep neural network,DNN)学习效率的关键途径。然而由于缺乏对非零位置的假设,往往需要昂贵的代价用于实时地识别和分配零的位置以及对不规则计算的负载均衡,这使得现有稀疏训练工作难以接近理想加速比。如果能提前预知训练过程中操作数的非零位置约束规则,就可以跳过这些处理开销,从而提升稀疏训练性能和能效比。针对稀疏训练过程,面向边缘场景中典型的3类激活函数探索操作数之间的位置约束规则,提出:①一个硬件友好的稀疏训练算法以减少3个阶段的计算量和存储压力;②一个高能效的稀疏训练加速器,能预估非零位置使得实时处理代价被并行执行掩盖。实验表明所提出的方法比密集加速器和2个其他稀疏训练工作的能效比分别提升了2.2倍,1.38倍和1.46倍。 展开更多
关键词 稀疏训练 非零位置约束 DNN 稀疏加速器
在线阅读 下载PDF
ESG评级分歧对制造业供应链韧性的影响研究
4
作者 许民利 王雨莎 简惠云 《改革》 北大核心 2025年第10期94-112,共19页
供应链韧性对制造业企业应对“堵链”“卡链”“断链”等问题的重要性日益凸显,但鲜有研究探讨ESG评级分歧对制造业供应链韧性的影响。以2015—2023年中国A股制造业上市公司为研究样本,实证检验企业ESG评级分歧与供应链韧性之间的关系... 供应链韧性对制造业企业应对“堵链”“卡链”“断链”等问题的重要性日益凸显,但鲜有研究探讨ESG评级分歧对制造业供应链韧性的影响。以2015—2023年中国A股制造业上市公司为研究样本,实证检验企业ESG评级分歧与供应链韧性之间的关系。结果表明,企业的ESG评级分歧越大,供应链韧性越弱。ESG评级分歧通过降低信息透明度和市场正面预期、增加融资约束来降低供应链韧性。数字化转型水平对ESG评级分歧与制造业供应链韧性的调节作用存在维度差异:更高的数字化转型水平能有效弱化ESG评级分歧对供应链恢复力的负面影响,却强化了ESG评级分歧对供应链抵抗力的负面影响。进一步分析发现,上述负面影响效应在低市场势力和低慈善捐赠水平的企业中更加明显。同时,ESG评级分歧对供应链抵抗力的负面影响在非重污染企业中更加显著,而对供应链恢复力的影响在重污染企业中更加显著。 展开更多
关键词 供应链韧性 ESG评级分歧 制造业 信息透明度 市场正面预期 融资约束
在线阅读 下载PDF
一种改进的惯性行人导航零速区间检测算法
5
作者 郑涛 彭艳 刘明岳 《大地测量与地球动力学》 北大核心 2025年第12期1234-1239,共6页
在惯性行人导航中,传统固定阈值检测方法常因误检和漏检问题导致行人定位误差显著增大。针对此问题,提出一种改进的零速区间检测算法。该算法首先基于广义似然比检测(GLRT)构建自适应阈值检测模型;然后利用多重约束检测所获取的阈值,剔... 在惯性行人导航中,传统固定阈值检测方法常因误检和漏检问题导致行人定位误差显著增大。针对此问题,提出一种改进的零速区间检测算法。该算法首先基于广义似然比检测(GLRT)构建自适应阈值检测模型;然后利用多重约束检测所获取的阈值,剔除自适应检测中的误检信息,从而提高零速区间的检测精度。为验证算法性能,设计2种实验场景:L形和矩形路线下的常速行走与快速行走。实验结果表明,与加速度幅值方差检测(AMV)和GLRT算法相比,本文算法不仅简单易实现,且参考点的RMSE降低40%以上,显著提升了惯性行人导航的精度。 展开更多
关键词 惯性行人导航 零速区间检测 自适应阈值 多重约束 室内定位
在线阅读 下载PDF
基于角速度约束及神经网络的平面PAA系统控制
6
作者 熊培银 柴颖豪 +1 位作者 曾惠芳 潘昌忠 《深圳大学学报(理工版)》 北大核心 2025年第6期740-746,共7页
为实现对首关节欠驱动的平面三连杆PAA(passive-active-active)系统末端位置的稳定控制,提出一种基于同角速度约束及神经网络的位置控制策略.基于欧拉-拉格朗日方程建立系统动力学模型,分析欠驱动关节约束方程,获得各连杆角速度约束关系... 为实现对首关节欠驱动的平面三连杆PAA(passive-active-active)系统末端位置的稳定控制,提出一种基于同角速度约束及神经网络的位置控制策略.基于欧拉-拉格朗日方程建立系统动力学模型,分析欠驱动关节约束方程,获得各连杆角速度约束关系;在主动连杆同角速度约束条件下,构造Lyapunov函数并设计控制器,构建系统仿真平台,采集主动连杆与被动连杆的角度数据,利用生成对抗网络进行数据增强,并基于深度神经网络建立被动连杆角度与主动连杆角度的对应关系;结合连杆角度的几何约束关系,在主动连杆同角速度约束条件下,使用遗传算法优化求解系统末端点位置对应的各连杆目标角度;基于Lyapunov函数设计的控制器,实现系统第2和第3连杆同步稳定至目标角度,同时实现对被动连杆的角度控制,最终通过非切换控制策略实现系统末端点的位置控制目标.仿真结果表明,与降阶切换的控制方法相比,无切换控制策略的系统末端在8 s内收敛至(-0.6980,1.0030)处.研究通过神经网络逼近系统角度约束关系,避免了复杂的积分过程,并通过无切换控制策略实现了系统末端点从初始位置到目标位置的精确控制. 展开更多
关键词 自动控制应用理论 机械臂控制 欠驱动系统控制 平面PAA系统 位置控制 遗传算法 角速度约束 深度神经网络
在线阅读 下载PDF
动态场景下移动机器人实时语义视觉SLAM研究 被引量:1
7
作者 王红星 贺文龙 +1 位作者 王璟源 张勃阳 《兵器装备工程学报》 北大核心 2025年第4期252-262,共11页
针对传统的视觉SLAM算法在动态场景中定位精度不佳、稳定性差的缺陷,以及ORB-SLAM2算法在构建地图时仅能稀疏点云地图等问题,在ORB-SLAM2算法的基础上,提出了一种新的视觉SLAM算法。利用YOLOX构建语义信息检测线程;将结合了语义信息、KL... 针对传统的视觉SLAM算法在动态场景中定位精度不佳、稳定性差的缺陷,以及ORB-SLAM2算法在构建地图时仅能稀疏点云地图等问题,在ORB-SLAM2算法的基础上,提出了一种新的视觉SLAM算法。利用YOLOX构建语义信息检测线程;将结合了语义信息、KLT算法、对极几何约束算法的动态特征点剔除策略添加到跟踪线程中,消除了动态物体的影响,仅利用静态特征点进行帧间匹配和位姿估计,提高了定位精度;在稠密点云建图线程,利用语义信息和关键帧,实时构建不受动态物体干扰的稠密点云地图,并在此基础上,构建了八叉树地图,减少了存储空间占用。使用公开数据集进行实验,实验结果表明:改进算法在高动态场景中的定位精度相较于ORB-SLAM2算法提高了95%以上,八叉树地图存储空间占用相比于稠密点云地图减少了约38倍,同时改进后的SLAM系统能够实时运行。 展开更多
关键词 同时定位与建图 动态场景 深度学习 几何约束 稠密建图
在线阅读 下载PDF
一种分区化地面矢量和距离特征的增强SLAM方法
8
作者 王维帅 李得海 +4 位作者 闫伟 赵春梅 秘金钟 陈永立 黄晋峰 《导航定位学报》 北大核心 2025年第3期62-71,共10页
针对激光雷达(LiDAR)同步定位与建图(SLAM)位置估计误差存在累积变大等问题,提出一种分区化地面矢量和垂向距离特征增强激光SLAM位姿估计的方法:提出点云分区、滤波约束和平面拟合平整度等策略,以提升地面特征提取质量与识别可靠性;然... 针对激光雷达(LiDAR)同步定位与建图(SLAM)位置估计误差存在累积变大等问题,提出一种分区化地面矢量和垂向距离特征增强激光SLAM位姿估计的方法:提出点云分区、滤波约束和平面拟合平整度等策略,以提升地面特征提取质量与识别可靠性;然后通过引入地面法向矢量和垂向距离约束,构建误差方程,在LiDAR里程计和建图(LOAM)后端优化中附加地面特征观测约束,以显著降低误差漂移。实验结果表明,在KITTI 05和07等数据集上完成精度验证,三维位置估计精度可提升约37%,并能提升垂向坐标估计精度,整体轨迹在垂向更加贴近参考轨迹。 展开更多
关键词 同步定位与建图 地面点云 平整度 地面约束 位姿估计
在线阅读 下载PDF
采煤机双IMU位姿解算方法
9
作者 代卫卫 王世博 王世佳 《仪器仪表学报》 北大核心 2025年第5期277-288,共12页
惯性测量单元(IMU)可实现自主全参数导航的优点,具有在井下GPS拒止环境应用的技术优势。基于冗余IMU的采煤机定位是综采装备可行的低成本定位方法,但也面临IMU随时间漂移大的问题。当2个IMU安装在采煤机载体后,其各自输出位置和姿态的... 惯性测量单元(IMU)可实现自主全参数导航的优点,具有在井下GPS拒止环境应用的技术优势。基于冗余IMU的采煤机定位是综采装备可行的低成本定位方法,但也面临IMU随时间漂移大的问题。当2个IMU安装在采煤机载体后,其各自输出位置和姿态的差值均应该是常数,即应满足双IMU位姿约束条件。基于位姿约束条件,以信息滤波为基本框架,提出了采煤机双IMU位姿解算方法。以IMU-1和IMU-2的姿态四元数作为状态量,基于四元数更新方程建立信息滤波状态方程。以加速度计原始输出、磁力计原始输出、位置差值和姿态差值作为量测量,推导各量测量与姿态四元数转换的雅克比矩阵,分别构建量测方程。采用移动机器人模拟采煤机截割4刀实验,每刀52 m。对于IMU-1,算法处理后第3、4刀的球概率误差由3.6180、8.2202 m分别减小到1.5452、2.8828 m,定位精度提升约64.9%。对于IMU-2,算法处理后第3、4刀的球概率误差由4.3420、5.7368 m分别减小到1.6178、2.3523 m,定位精度提升约59.0%。对于移动机器人,对IMU-1和IMU-2算法处理后的姿态求取平均值,采用航位推算法解算位置坐标,得到第3、4刀的球概率误差分别为0.7907和1.4317 m。该方法为冗余IMU定位提供了底层解算算法,提高了定位精度。 展开更多
关键词 采煤机 双IMU 位姿约束
在线阅读 下载PDF
双目极线约束下的储罐环焊缝定位算法
10
作者 金东升 曹文田 张英杰 《机械科学与技术》 北大核心 2025年第1期1-8,共8页
精准定位焊缝轨迹是实现自动化焊接的前提,该文依托双目视觉系统,以储罐环焊缝为焊接目标,研究了基于双目极线约束的焊缝定位算法。首先分析了双目系统成像模型以及三角测量原理,为后续实现焊缝的三维定位提供了理论依据。随后研究了基... 精准定位焊缝轨迹是实现自动化焊接的前提,该文依托双目视觉系统,以储罐环焊缝为焊接目标,研究了基于双目极线约束的焊缝定位算法。首先分析了双目系统成像模型以及三角测量原理,为后续实现焊缝的三维定位提供了理论依据。随后研究了基于灰度的焊缝特征提取算法,结合边缘检测、阈值分割、轮廓提取以及骨架提取等方法有效地提取出焊缝特征。并基于极线约束实现了左右图像焊缝特征的匹配,简化了匹配流程并降低了计算量,提高了匹配效率。实验结果表明:对焊缝特征点的三角测量平均误差为0.140106,能够满足实际工程需要。 展开更多
关键词 双目视觉 焊缝提取 视觉定位 极线约束 三角测量
在线阅读 下载PDF
BDSKlob/BDGIM/GIM增强的BDS-3精密单点定位性能分析
11
作者 张继洋 潘林 +3 位作者 陈刘成 王腾 肖琨武 戴吾蛟 《导航定位学报》 北大核心 2025年第5期109-119,共11页
针对精密单点定位(PPP)技术因待估参数较多且参数之间相关性较强,导致定位收敛时间较长的问题,提出一种北斗三号全球卫星导航系统(BDS-3)精密单点定位性能分析方法:指出利用附加电离层约束可有效加快PPP收敛;然后给出北斗卫星导航(区域... 针对精密单点定位(PPP)技术因待估参数较多且参数之间相关性较强,导致定位收敛时间较长的问题,提出一种北斗三号全球卫星导航系统(BDS-3)精密单点定位性能分析方法:指出利用附加电离层约束可有效加快PPP收敛;然后给出北斗卫星导航(区域)系统即北斗二号(BDS-2)、BDS-3分别实时提供的克洛布彻(Klobuchar)改正模型(BDSKlob)和北斗全球电离层延迟改正模型(BDGIM);最后对2022年1月磁场平静期的附加全球电离层模型增强信息的BDS-3 PPP进行系统评估与分析。结果表明:以事后全球电离层图(GIM)产品为参考,BDSKlob和BDGIM模型在全球范围下精度分别为4.15总电子含量单位(TECU,1TECU=1×10^(16)个电子/m^(2))和3.10 TECU,在中国区域内分别为3.32 TECU和2.79 TECU;附加GIM、BDGIM、BDSKlob不同电离层约束的PPP在三维方向收敛速度上可分别加快9.7%、5.8%、1.9%,在东方向上的增益最多,可分别达到19.3%、17.6%、10.3%。 展开更多
关键词 精密单点定位(PPP) 北斗三号全球卫星导航系统(BDS-3) 电离层延迟 全球电离层模型 先验电离层延迟增强信息
在线阅读 下载PDF
基于改进YOLOv8n模型的轨道交通轨枕精确定位技术
12
作者 闫晓夏 郭建钦 +3 位作者 翟胡超 刘玉涛 李俊鑫 王亮先 《城市轨道交通研究》 北大核心 2025年第7期124-129,共6页
[目的]在轨道交通检测监测中,轨道的精确里程信息对于检测数据的高效利用具有重要作用,因此需要研究并设计一种轨枕精确定位技术。[方法]由于轨道视频巡检系统采集图像并进行里程定位存在一定误差,故采用YOLOv8n目标检测模型对巡检图像... [目的]在轨道交通检测监测中,轨道的精确里程信息对于检测数据的高效利用具有重要作用,因此需要研究并设计一种轨枕精确定位技术。[方法]由于轨道视频巡检系统采集图像并进行里程定位存在一定误差,故采用YOLOv8n目标检测模型对巡检图像的轨枕和地面电子标签进行定位和里程校正。基于YOLOv8n模型,使用全新的(增强交并比)方法,通过损失函数改进和轨枕计数的结构约束优化提出了一种基于改进YOLOv8n模型的轨枕目标检测模型YOLOv8n_SC。创新地引入结构优化算法,解决了轨枕被分割在前后2张图像内的计数问题,对重复检测和漏检问题进行结构化约束补齐。以广州某市域地铁线路为例,采用改进后的YOLOv8n_SC模型对线路轨枕和电子标签进行检测和里程校正,极大改善了对轨枕的漏检和误检。[结果及结论]经上述改进和约束后的轨枕精确定位模型YOLOv8n_SC显著提高了轨枕的定位精度,实现了轨枕级的精确里程定位方法,轨枕定位准确率达100%。在不增加系统设备情况下,YOLOv8n_SC模型提高了巡检图像采集系统的里程精度,使系统具有较好的可实施性。 展开更多
关键词 轨道交通 轨枕定位 目标识别 里程校正 结构约束
在线阅读 下载PDF
虚拟装配中的装配约束实现技术研究 被引量:15
13
作者 张志贤 刘检华 宁汝新 《系统仿真学报》 CAS CSCD 北大核心 2011年第9期1878-1883,1888,共7页
结合虚拟装配中对装配约束实现的需求,以实际装配过程中常用的面与面之间的装配约束为例,阐述了虚拟装配中的装配约束实现流程,给出了虚拟环境下装配约束的定位求解过程,即通过姿态求解和位置求解确定零部件的空间目标位姿。同时给出了... 结合虚拟装配中对装配约束实现的需求,以实际装配过程中常用的面与面之间的装配约束为例,阐述了虚拟装配中的装配约束实现流程,给出了虚拟环境下装配约束的定位求解过程,即通过姿态求解和位置求解确定零部件的空间目标位姿。同时给出了装配约束归约准则表以及归约结果的准确表达形式,并提出了在约束空间下对零部件的空间位姿调整算法,解决了多约束下自由度的计算问题以及零部件的调整问题,使虚拟装配中的零部件装配过程更加符合实际,操作更加方便。开发了原型系统虚拟装配工艺规划软件VAPP,对提出的算法进行了验证。 展开更多
关键词 虚拟装配 约束实现 约束归约 位姿求解
在线阅读 下载PDF
虚拟拆卸环境中工具的操作技术 被引量:9
14
作者 曹鹏彬 刘继红 管强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第4期454-458,共5页
在虚拟拆卸环境中借助工具拆除紧固零件 ,能够使虚拟环境下的拆卸活动更加真实 ,有利于获得符合工程实际的拆卸序列 提出工具定位约束的概念 ,对虚拟拆卸环境中工具的操作技术进行了深入研究 首先分析工具的拆卸操作过程 ;然后对常用... 在虚拟拆卸环境中借助工具拆除紧固零件 ,能够使虚拟环境下的拆卸活动更加真实 ,有利于获得符合工程实际的拆卸序列 提出工具定位约束的概念 ,对虚拟拆卸环境中工具的操作技术进行了深入研究 首先分析工具的拆卸操作过程 ;然后对常用工具的工具定位约束进行研究 ,并论述了虚拟环境中工具精确定位的实现方式 ;最后以Bell roller产品装配体模型为例 ,在沉浸式虚拟环境中基于工具定位约束。 展开更多
关键词 虚拟现实 虚拟拆卸环境 人机接口 工具定位 操作技术
在线阅读 下载PDF
基于约束的虚拟装配技术研究 被引量:33
15
作者 杨润党 武殿梁 +1 位作者 范秀敏 严隽琪 《计算机集成制造系统》 EI CSCD 北大核心 2006年第3期413-419,共7页
为了实现基于约束的虚拟装配操作,给出了虚拟环境中装配约束的统一表达方法,以及约束与自由度的等价关系和运动自由度的归约等,提出了一套虚拟装配中的约束处理算法。首先,利用装配关系自动识别算法,判断两个零件几何约束元素之间的位... 为了实现基于约束的虚拟装配操作,给出了虚拟环境中装配约束的统一表达方法,以及约束与自由度的等价关系和运动自由度的归约等,提出了一套虚拟装配中的约束处理算法。首先,利用装配关系自动识别算法,判断两个零件几何约束元素之间的位姿关系是否在给定的误差范围内;其次,使用定位求解算法,使主动体零件在满足已经确认约束的基础上,以最小的位姿调整量满足新约束;最后,提出了基于广义坐标系的运动导航算法,根据装配零件满足的约束对其运动进行引导。这些算法已经应用于集成虚拟装配环境的系统中,实践证明它们能很好地支持集成虚拟装配环境的约束处理,实现了虚拟装配过程与实际装配过程的高度统一。 展开更多
关键词 虚拟装配 自由度归约 约束识别 定位求解 运动导航
在线阅读 下载PDF
双目视觉测量系统特征点提取与匹配技术研究 被引量:11
16
作者 张一豪 孙冬梅 +1 位作者 沈玉成 王振尧 《应用光学》 CAS CSCD 北大核心 2016年第6期866-871,共6页
自主研发了一种光笔式双目立体视觉大工件尺寸测量系统,对测量系统中特征点的提取及其匹配技术进行了研究。测量系统采用Canny算子和Zernike矩相结合的算法实现椭圆光斑的亚像素边缘提取,根据得到的亚像素边缘点,采用基于最小二乘的曲... 自主研发了一种光笔式双目立体视觉大工件尺寸测量系统,对测量系统中特征点的提取及其匹配技术进行了研究。测量系统采用Canny算子和Zernike矩相结合的算法实现椭圆光斑的亚像素边缘提取,根据得到的亚像素边缘点,采用基于最小二乘的曲线拟合法得到椭圆光斑的中心坐标。针对特征点的匹配问题,提出了一种基于位置约束的快速匹配方法。实验结果显示:所提方法能提取到椭圆光斑亚像素边缘,可精确计算出椭圆光斑中心坐标,匹配率达到95%以上。 展开更多
关键词 双目视觉 匹配 位置约束 特征点
在线阅读 下载PDF
静态缺陷检测中的误报消除技术研究 被引量:7
17
作者 赵云山 宫云战 +2 位作者 周傲 王前 周虹伯 《计算机研究与发展》 EI CSCD 北大核心 2012年第9期1822-1831,共10页
误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据流解可以用于缺陷状态迭代,并得到初始的缺陷检测结果;根据缺... 误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据流解可以用于缺陷状态迭代,并得到初始的缺陷检测结果;根据缺陷发生处的数据流特征,逆向搜索可能导致缺陷发生的约束条件,该约束条件可以作为通用约束求解器的输入判断缺陷的可满足性,从而对初始的缺陷检测结果进行精化.同时,在数据流分析过程中引入符号执行技术,不仅提高了数据流分析的精度,且便于约束表示及转化,提高了约束搜索的效率.对SPECCPU2000中11个工程的对比实验表明,前向数据流分析与逆向约束搜索相结合的误报消除方法在增加了有限开销的同时有效地消除了部分误报,且与同类工具相比具有更好的可扩展性. 展开更多
关键词 误报 数据流分析 抽象解释 约束求解 符号执行
在线阅读 下载PDF
不变矩方法在区域匹配中的应用 被引量:21
18
作者 夏永泉 刘正东 杨静宇 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第10期2152-2156,共5页
提出了一种基于区域的立体匹配方法,该方法除了采用顺序性约束和惟一性约束外,根据外极线约束提出了外极带约束,采用比邻域约束更优越的相对位置约束,能有效地处理遮掩和区域变形情况下的双目立体匹配.在对多个候选匹配区域进行最佳匹... 提出了一种基于区域的立体匹配方法,该方法除了采用顺序性约束和惟一性约束外,根据外极线约束提出了外极带约束,采用比邻域约束更优越的相对位置约束,能有效地处理遮掩和区域变形情况下的双目立体匹配.在对多个候选匹配区域进行最佳匹配选择时,提出了重心距离和矩距离的概念,利用不变矩原理进行最佳候选区域选择.经实验证明,该方法是可行、有效的。 展开更多
关键词 立体匹配 区域 相对位置约束 不变矩 矩距离
在线阅读 下载PDF
基于空间平面约束的视觉定位模型研究 被引量:12
19
作者 高飞 葛一粟 +2 位作者 汪韬 卢书芳 张元鸣 《仪器仪表学报》 EI CAS CSCD 北大核心 2018年第7期183-190,共8页
针对现有视觉定位方法中存在的立体匹配效率低下等不足,为实现平面运动目标位姿的实时视觉计算,提出基于空间平面约束的视觉定位模型。首先,通过双目视觉标定得到相机内外参数;然后,使用平面标定方法计算出空间约束平面方程;其次,根据... 针对现有视觉定位方法中存在的立体匹配效率低下等不足,为实现平面运动目标位姿的实时视觉计算,提出基于空间平面约束的视觉定位模型。首先,通过双目视觉标定得到相机内外参数;然后,使用平面标定方法计算出空间约束平面方程;其次,根据空间平面方程给出了目标平行平面上任意点的空间坐标计算方法,进而实现运动目标位姿测算;最后,以1∶49的集装箱卡车视觉引导进行了模拟实验。实验结果表明,该模型计算得到的物理位置的标准差在略优于双目模型的情况下,具有更强的实时性。 展开更多
关键词 双目视觉 视觉定位 平面约束 三维信息获取
在线阅读 下载PDF
基于权因子的NURBS曲线形状调整 被引量:22
20
作者 张国华 杨兴强 张彩明 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第10期1396-1400,共5页
利用NURBS曲线的齐次坐标表示 ,直观地证明了单个权因子变化时 ,曲线上的点朝向或背离控制点的方向运动 然后推导出两个权因子的变化对曲线形状的影响规律 ,即曲线上点的位置变化可表示成两种运动的组合 :一个是朝向或背离第一个控制... 利用NURBS曲线的齐次坐标表示 ,直观地证明了单个权因子变化时 ,曲线上的点朝向或背离控制点的方向运动 然后推导出两个权因子的变化对曲线形状的影响规律 ,即曲线上点的位置变化可表示成两种运动的组合 :一个是朝向或背离第一个控制点 ,另一个则朝向或背离第二个控制点 在此基础上 ,进一步讨论了同时修改三个权因子以实现单点位置和切向约束的问题 展开更多
关键词 NURBS曲线 权因子 齐次坐标 单点位置约束 形状调整
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部