期刊文献+
共找到31篇文章
< 1 2 >
每页显示 20 50 100
六旋翼无人机航磁补偿方法研究
1
作者 于龙兴 魏媛媛 +2 位作者 付世沫 常青 王耀力 《电光与控制》 北大核心 2025年第2期38-44,共7页
地磁导航作为一种无源自主导航方法,与全球定位系统(GPS)相比具有更强的稳定性。为了提高无人机(UAV)平台地磁导航的精确性,需要补偿无人机平台产生的固定干扰、涡流干扰、感应干扰。根据实测六旋翼无人机磁场数据,分析出无人机作业时... 地磁导航作为一种无源自主导航方法,与全球定位系统(GPS)相比具有更强的稳定性。为了提高无人机(UAV)平台地磁导航的精确性,需要补偿无人机平台产生的固定干扰、涡流干扰、感应干扰。根据实测六旋翼无人机磁场数据,分析出无人机作业时干扰信号的频率特性;结合传统的Tolles-Lawson模型与卡尔曼滤波算法预测地磁场的变化,去除了传统Tolles-Lawson模型中恒定地磁场的假设;引入遗忘因子α,根据残差理论减小观测协方差误差与状态协方差误差来实现噪声预测,改进卡尔曼滤波。经过实验分析可得,改进自适应卡尔曼滤波有效地降低了补偿误差,较普通卡尔曼滤波补偿效果改善比(IR)提高了5.64,且补偿后磁场数据的噪声毛刺明显减少。 展开更多
关键词 无人机 Tolles-Lawson模型 遗忘因子 自适应卡尔曼滤波
在线阅读 下载PDF
改进VMD与广义互相关在供水管道泄漏定位中的应用 被引量:1
2
作者 胡佳佳 魏媛媛 +2 位作者 付世沫 王耀力 常青 《现代电子技术》 北大核心 2024年第19期75-82,共8页
针对管道泄漏定位时,采集到的泄漏信号会受到噪声干扰而影响定位精度的问题,提出了一种参数自寻优变分模态分解结合广义互相关的定位方法。首先,在现有的频域加权函数的基础上,提出了一种复合加权函数,对不同的频域加权函数在供水管道... 针对管道泄漏定位时,采集到的泄漏信号会受到噪声干扰而影响定位精度的问题,提出了一种参数自寻优变分模态分解结合广义互相关的定位方法。首先,在现有的频域加权函数的基础上,提出了一种复合加权函数,对不同的频域加权函数在供水管道泄漏声信号下的性能进行研究;其次,利用高斯变异和量子行为对粒子群进行优化,建立复合指标排列熵/互信息熵作为适应度函数,改善粒子在求解过程中的多样性;然后,通过改进的粒子群算法优化变分模态分解(VMD)最优参数组合,实现对信号的降噪处理。实验结果表明,文中方法在供水管道泄漏情况下具有更高的定位精度,平均相对定位误差仅为3.7%,且最大误差也只有8.0%,能够有效地滤除原始信号中的噪声干扰。 展开更多
关键词 供水管道 泄漏定位 粒子群优化算法 变分模态分解 时延估计 广义互相关
在线阅读 下载PDF
复杂光强下无人机视觉惯性定位算法
3
作者 王坤鹏 付世沫 +2 位作者 魏媛媛 王耀力 常青 《电光与控制》 CSCD 北大核心 2024年第11期18-25,共8页
针对复杂光照条件下视觉惯性同步定位与地图构建(VIO-SLAM)算法易发生偏移以及跟踪失败等问题,提出了一种改进的VIO-SLAM算法。首先,所提PVIO-SLAM算法对图像进行照度判别,对不同照度分别进行自适应对数校正和对比度受限的直方图均衡化(... 针对复杂光照条件下视觉惯性同步定位与地图构建(VIO-SLAM)算法易发生偏移以及跟踪失败等问题,提出了一种改进的VIO-SLAM算法。首先,所提PVIO-SLAM算法对图像进行照度判别,对不同照度分别进行自适应对数校正和对比度受限的直方图均衡化(CLAHE)处理;接着,采用提出的自适应加权融合策略对预处理后的图像进行融合,同时使用预积分缩小匹配范围加速特征点匹配,引入回环校验来提高算法的鲁棒性;最后,在公共数据集上进行实验,与原算法相比,未开启回环校验时所提算法均方根误差降低35.75%,开启后均方根误差进一步降低14.96%。实际场景下的实验结果表明,所提算法的运动轨迹与真实轨迹相吻合。综上所述,提出的算法有效提升了复杂光照条件下的VIO-SLAM的精度,具有较高的鲁棒性。 展开更多
关键词 无人机定位 复杂光照 图像预处理 IMU预积分 回环校验
在线阅读 下载PDF
基于SQP-GPMP2算法的移动机器人路径规划
4
作者 郭希文 付世沫 +2 位作者 魏媛媛 常青 王耀力 《电光与控制》 CSCD 北大核心 2024年第9期104-110,共7页
针对高斯过程路径规划算法(GPMP2)处理非线性不等式约束能力有限、在复杂障碍物地图中易陷入局部极小值,进而产生碰撞的问题,结合序列二次规划(SQP)算法,提出了改进的SQP-GPMP2算法。首先,该算法从概率的角度将运动规划视为轨迹优化,得... 针对高斯过程路径规划算法(GPMP2)处理非线性不等式约束能力有限、在复杂障碍物地图中易陷入局部极小值,进而产生碰撞的问题,结合序列二次规划(SQP)算法,提出了改进的SQP-GPMP2算法。首先,该算法从概率的角度将运动规划视为轨迹优化,得到初始轨迹状态;其次,引入碰撞代价函数,用来表示机器人和障碍物的碰撞代价关系;最后,使用SQP算法对轨迹进行迭代修正,保证轨迹的无碰撞和运动学合理性。仿真实验结果显示,相比GPMP2等算法,所提算法在不同尺寸迷宫上的规划成功率至少提高20个百分点,证明该算法在处理复杂约束能力和保证路径规划效率上具有优越性。 展开更多
关键词 移动机器人 路径规划 高斯过程 序列二次规划
在线阅读 下载PDF
四旋翼飞行器中PID控制的优化 被引量:13
5
作者 李航 王耀力 《电子技术应用》 北大核心 2017年第2期73-76,共4页
为解决四旋翼飞行器飞行过程中的不稳定和灵敏度问题,在四旋翼飞行器数学模型基础上,提出利用共轭梯度算法对数字PID控制器的参数进行自整定。将控制性能指标的最小方差和控制率相结合,共轭梯度算法迭代计算出随被控系统不断变化的最优... 为解决四旋翼飞行器飞行过程中的不稳定和灵敏度问题,在四旋翼飞行器数学模型基础上,提出利用共轭梯度算法对数字PID控制器的参数进行自整定。将控制性能指标的最小方差和控制率相结合,共轭梯度算法迭代计算出随被控系统不断变化的最优化特性参数,有效地提高系统的鲁棒特性。该算法不仅克服了对模型辨识度的依赖,也不再需要人工参数整定,避免了控制器出现不可预知的后果。以四旋翼飞行器的横滚角从偏移13°恢复到平稳状态及其稳定性为例,通过LabVIEW实现的软件仿真表明,较之常规算法,该方案算法效率提高50%,误差小于普通PID控制飞行器平稳状态下存在的0.5°偏差,且稳定性较好。 展开更多
关键词 四旋翼飞行器 数字PID 共轭梯度算法 自整定 LAB VIEW
在线阅读 下载PDF
基于帧间差分和金字塔光流法的运动目标检测 被引量:11
6
作者 郝慧琴 王耀力 《电视技术》 北大核心 2016年第7期134-138,共5页
针对用于运动目标检测的光流算法存在处理复杂、计算量大等问题,提出一种帧间差分算法和金字塔LK光流法相结合的运动目标检测方案。该方法先对视频图像进行帧间差分处理,得到图像的运动区域,再对该运动区域进行金字塔LK光流计算,减少了... 针对用于运动目标检测的光流算法存在处理复杂、计算量大等问题,提出一种帧间差分算法和金字塔LK光流法相结合的运动目标检测方案。该方法先对视频图像进行帧间差分处理,得到图像的运动区域,再对该运动区域进行金字塔LK光流计算,减少了计算区域,提高目标检测的速度。最后在搭建的视觉避障平台上使用Lab VIEW语言进行算法程序验证,实验结果证明了算法的有效性。 展开更多
关键词 帧间差分法 金字塔LK光流法 运动目标检测 视觉避障平台
在线阅读 下载PDF
基于改进YOLOv5s的无人机航拍图像目标检测 被引量:2
7
作者 宁涛 付世沫 +1 位作者 常青 王耀力 《电光与控制》 CSCD 北大核心 2024年第12期41-47,63,共8页
针对无人机视角下目标尺度变化剧烈、背景复杂、目标小且密集而导致漏检率高的问题,提出了一种改进YOLOv5s的实时目标检测模型。首先,提出了全新的混合注意力机制,将其嵌入到主干网络中,增强对目标关键信息的提取能力;其次,创建新的稠... 针对无人机视角下目标尺度变化剧烈、背景复杂、目标小且密集而导致漏检率高的问题,提出了一种改进YOLOv5s的实时目标检测模型。首先,提出了全新的混合注意力机制,将其嵌入到主干网络中,增强对目标关键信息的提取能力;其次,创建新的稠密残差金字塔池化,提高了网络信息融合能力,降低计算量;然后,设计了一种基于多头自注意力机制的C3-BoT模块,有效捕获无人机图像全局上下文信息;最后,根据无人机图像特点,在YOLOv5s网络基础上增加一个极小目标检测层,降低小目标的漏检率。在VisDrone2019数据集上进行实验,改进后模型的mAP 0.5达到了40.6%,较YOLOv5s基准模型提高了8.1个百分点,在无人机航拍图像检测任务中取得了更好的检测效果。 展开更多
关键词 无人机 小目标检测 注意力机制 YOLOv5s 航拍图像
在线阅读 下载PDF
基于YOLOv5的森林火灾人员救援识别算法 被引量:2
8
作者 孟军帅 张宇萱 +1 位作者 王耀力 常青 《电子设计工程》 2024年第14期189-195,共7页
针对森林火灾救援场景存在小目标实例多、人像重叠、类内个体差异小等特点,造成了救援目标识别漏检误检率高等问题。因此,提出一种基于YOLOv5的森林火灾人员救援识别算法,以提高目标检测精确度。通过将标准卷积模块改进为全维度动态卷... 针对森林火灾救援场景存在小目标实例多、人像重叠、类内个体差异小等特点,造成了救援目标识别漏检误检率高等问题。因此,提出一种基于YOLOv5的森林火灾人员救援识别算法,以提高目标检测精确度。通过将标准卷积模块改进为全维度动态卷积模块,增强目标区域的信息提取能力。同时,增加微小目标尺度预测结构,提高微小目标的识别准确性。林火人员救援数据集的实验结果表明,该方法可使模型平均精确度达到77.7%,较原YOLOv5s提高了2.4%,可有效检测森林火灾场景的人员目标,稳定提升模型的泛化性能。 展开更多
关键词 森林火灾 人员救援 YOLOv5 全维度动态卷积 微小目标尺度预测
在线阅读 下载PDF
基于L型阵列酉变换矩阵重构的二维DOA估计 被引量:4
9
作者 王秀 常青 王耀力 《电信科学》 2018年第7期110-117,共8页
二维空间信号波达方向(DOA)的估计是阵列信号处理的一个关键研究问题。经典的二维MUSIC算法固然精度高,但此算法需要二维谱峰搜索,运算较为复杂。提出一种用于L型阵列的二维DOA估计算法,通过矩阵重构使得阵列输出矩阵变为中心对称矩阵,... 二维空间信号波达方向(DOA)的估计是阵列信号处理的一个关键研究问题。经典的二维MUSIC算法固然精度高,但此算法需要二维谱峰搜索,运算较为复杂。提出一种用于L型阵列的二维DOA估计算法,通过矩阵重构使得阵列输出矩阵变为中心对称矩阵,再利用酉变换矩阵将其由复值矩阵变为实值矩阵。该方法可以直接得到目标参数,不需要谱峰搜索,使得运算量大大降低。相比于L型阵列适用的增广矩阵束(MEMP)算法,该算法可以估计更多信源的DOA,并能获得较高的分辨率。计算机仿真结果表明,该算法具有较高的DOA估计精度。 展开更多
关键词 波达方向 L型阵列 酉变换矩阵 特征值 增广矩阵束算法
在线阅读 下载PDF
基于统一建模平台的BPMN模型业务流程验证 被引量:2
10
作者 王克丽 武淑红 王耀力 《电子技术应用》 北大核心 2016年第6期117-120,共4页
为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案。首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入。随后输出... 为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案。首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入。随后输出基于BPMN2.0业务流程形式化验证的Java程序代码,该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁。最后给出复杂信息系统相应实例验证了方案的有效性。 展开更多
关键词 BPMN2.0 流程验证 复杂信息系统 死锁 活锁
在线阅读 下载PDF
基于动态模型的系统架构及建模平台实现 被引量:1
11
作者 郝俊 常青 +1 位作者 张刚 王耀力 《电子技术应用》 北大核心 2015年第2期171-173,176,共4页
传统的基于静态模型的系统开发方法难以解决业务规则的快速扩展及变更带来的资源浪费等问题,工作流支持对工作内容进行良好的划分,并进行具体部署。结合SOA架构的业务流程再造能力,提出一种新的以三层模型为核心的支持快速、平滑、可重... 传统的基于静态模型的系统开发方法难以解决业务规则的快速扩展及变更带来的资源浪费等问题,工作流支持对工作内容进行良好的划分,并进行具体部署。结合SOA架构的业务流程再造能力,提出一种新的以三层模型为核心的支持快速、平滑、可重用的应用系统开发架构,对流程引擎和建模平台完成详细描述和设计,完成建模平台搭建工作,并以卡银行业务为例进行了基于三层模型的建模。结果表明,该系统开发架构具有很好的业务流程再造能力,可保证业务系统的持续稳定,达到提高生产组织水平和工作效率的目的。 展开更多
关键词 三层模型 应用系统架构 建模平台 SOA 工作流
在线阅读 下载PDF
改进扩展卡尔曼滤波对四旋翼姿态解算的研究 被引量:7
12
作者 侯玉涵 王耀力 《电子技术应用》 北大核心 2017年第10期83-85,93,共4页
为解决四旋翼飞行器飞行控制中的稳定性问题,尤其是姿态解算精确性问题,提出改进EKF算法。该算法采用两个EKF并行地对四旋翼飞行器的姿态数据进行处理,将改进的EKF输出的状态变量和协方差加权后整合为飞行器的输出状态和协方差对飞行器... 为解决四旋翼飞行器飞行控制中的稳定性问题,尤其是姿态解算精确性问题,提出改进EKF算法。该算法采用两个EKF并行地对四旋翼飞行器的姿态数据进行处理,将改进的EKF输出的状态变量和协方差加权后整合为飞行器的输出状态和协方差对飞行器姿态进行实时解算。该算法有效地克服了非高斯白噪声对飞行器姿态解算的影响,减小了姿态数据的滤波偏差。仿真表明,该算法较之普通EKF算法的滤波效果更好,改进EKF的均方误差较之普通EKF降低了43.8%,提高了系统的鲁棒性。最后搭建以NI my RIO为核心控制器的四旋翼飞行器,验证改进EKF算法在四旋翼飞行器系统上的正确性和有效性,且该算法亦能满足飞行器实时控制的需求。 展开更多
关键词 四旋翼飞行器 EKF 改进EKF
在线阅读 下载PDF
基于直连BP神经网络模型的森林火险预测 被引量:7
13
作者 王亚琴 王耀力 +1 位作者 郭学斌 孙永明 《森林防火》 2018年第2期41-45,54,共6页
传统的BP神经网络模型(BPNN)用于森林火险预测存在预测精度低、泛化能力差等不足。选取温度、相对湿度、风速以及日降水量4个气象因子作为神经网络的输入,林火是否发生作为输出,提出一种改进的网络结构—直连BP神经网络(BPNN-DIOC)以构... 传统的BP神经网络模型(BPNN)用于森林火险预测存在预测精度低、泛化能力差等不足。选取温度、相对湿度、风速以及日降水量4个气象因子作为神经网络的输入,林火是否发生作为输出,提出一种改进的网络结构—直连BP神经网络(BPNN-DIOC)以构建森林火险预测模型。该结构在传统BP神经网络模型的基础上加入了从输入到输出的连接。为了探究该网络的有效性,根据输入层到输出层是否有连接,输出层是否有阈值,分别构建了4个不同的网络模型,并以森林火灾发生较少的太原市和森林火灾发生较频繁的桂林市为例进行验证。模拟结果表明,BPNN-DIOC模型的预测精度高于BPNN模型;它不仅能够适用于火险发生较频繁的地区,也能够很好的用于火险发生较少的地区,具有良好的通用性,而输出层是否有阈值对预测效果并没有明显的影响。 展开更多
关键词 森林火险 预测预报 神经网络模型 气象因子 相关性分析
在线阅读 下载PDF
银行核心业务系统的三层服务架构
14
作者 张胜 王耀力 张刚 《金融理论与实践》 北大核心 2010年第3期58-60,共3页
当前我国金融企业运营模式正经历着从"部门银行"转型为"流程银行"的重大变革,引进国外先进IT平台系统加以改造,建设符合我国监管法规的新一代银行核心业务系统已成必行趋势。本文提出了需求+语义+服务的银行核心业... 当前我国金融企业运营模式正经历着从"部门银行"转型为"流程银行"的重大变革,引进国外先进IT平台系统加以改造,建设符合我国监管法规的新一代银行核心业务系统已成必行趋势。本文提出了需求+语义+服务的银行核心业务系统BCBS(Bank Core Business System)三层服务架构模型。以此为基础设计开发了商业银行企业应用集成建议草案IFE,包括:IFE总体框架模型、金融业应用层通信协议FL7、IFE核心构件库IFE-Infrastructure、系统测试标准以及相应的测试资产库。商业银行可以基于IFE建议草案通过差异化分析规划设计出适合于本行的IT平台及BCBS,避免重复引进。还可以对业务流程及各种流程再造的方案开展评估和测试,规避流程银行变革过程中的风险。 展开更多
关键词 BCBS 银行应用集成 金融应用层协议 流程银行 银行IT平台
在线阅读 下载PDF
基于预探索的动态自适应3DVFH+无人机避障算法
15
作者 何晨阳 王耀力 +1 位作者 常青 孙永明 《电子设计工程》 2024年第4期1-7,共7页
为解决无人机在未知复杂环境下的自主避障规划问题,同时考虑到旋翼无人机平台硬件资源稀缺的问题,提出了一种基于预探索的动态自适应3DVFH+算法。根据无人机飞行进度以及障碍物信息,动态调整代价函数的自适应权重因子;通过对无人机视野... 为解决无人机在未知复杂环境下的自主避障规划问题,同时考虑到旋翼无人机平台硬件资源稀缺的问题,提出了一种基于预探索的动态自适应3DVFH+算法。根据无人机飞行进度以及障碍物信息,动态调整代价函数的自适应权重因子;通过对无人机视野范围的预探索,构建了搜索树,并对障碍物及无人机模型进行了建模研究,同步实现了无人机在复杂环境中的可视化分析。结果表明,动态自适应代价函数消除了3DVFH+算法的死区现象;预探索机制解决了算法的局部最优解问题,规划航线缩短37.15%,所需时间减少24.48%。同时搭建了复杂度较高的森林障碍物进行验证分析,相较于使用八叉树框架建图的3DVFH+算法执行相同避障规划任务时节省内存可达25.26%。 展开更多
关键词 避障规划 无人机 3DVFH+ 自适应代价函数 预探索
在线阅读 下载PDF
改进条件对抗域适应网络的弱磁信号分类研究
16
作者 林玲 付世沫 +1 位作者 王耀力 常青 《电子设计工程》 2024年第13期190-195,共6页
针对小目标铁磁体弱磁场序列图像数据获取困难的小样本问题,采用基于稠密光流法与关联特征对齐的条件对抗域适应网络,解决缺乏标签数据的弱磁信号分类检测任务。算法引入稠密光流法学习磁场序列图像之间的动态特征,并将其与原始图像得... 针对小目标铁磁体弱磁场序列图像数据获取困难的小样本问题,采用基于稠密光流法与关联特征对齐的条件对抗域适应网络,解决缺乏标签数据的弱磁信号分类检测任务。算法引入稠密光流法学习磁场序列图像之间的动态特征,并将其与原始图像得到的静态特征相结合,提高分类器对纹理相似图像的鉴别能力;同时引入关联特征对齐模块,减少源域与目标域的特征分布差异。网络模型基于近场磁场分布图像与远场磁场分布图像进行验证评估,与原始算法相比,在有无添加熵条件两种情况下准确率分别提升了5.50%和4.50%。 展开更多
关键词 小目标铁磁体 序列图像 对抗域适应 稠密光流法 关联特征对齐
在线阅读 下载PDF
直连BP神经网络分类效果综合评估
17
作者 牛丽丽 王耀力 王力波 《现代电子技术》 北大核心 2018年第23期93-97,共5页
基于贝叶斯正则化LM算法优化直连BP神经网络,利用UCI数据库的118种不同应用数据分别进行分类,验证直连BP神经网络的有效性。分别进行输入层到输出层是否有直连,输出层是否有阈值的四种比较,将所得的118种数据集分类精确度结果用统计方... 基于贝叶斯正则化LM算法优化直连BP神经网络,利用UCI数据库的118种不同应用数据分别进行分类,验证直连BP神经网络的有效性。分别进行输入层到输出层是否有直连,输出层是否有阈值的四种比较,将所得的118种数据集分类精确度结果用统计方法进行分析。基于统计意义,实验结果表明,加入直连提高了分类的精确度和网络结构的泛化性能,且隐含层的神经元个数减少,提高了训练速度;而输出层是否有阈值对分类效果没有明显的影响。 展开更多
关键词 直连神经网络 贝叶斯正则化 数据库 分类 统计方法 测试精确度
在线阅读 下载PDF
流形嵌入的选择性伪标记与小样本数据迁移 被引量:4
18
作者 王耀力 刘晓慧 +1 位作者 李斌 常青 《西北工业大学学报》 EI CAS CSCD 北大核心 2021年第5期1122-1129,共8页
特殊场景分类和识别任务面临样本不易获得而造成样本缺乏,利用源域(或称辅助域)数据构建领域自适应迁移学习模型,提高小样本机器学习在这些困难场景中的分类准确度与性能是当前研究的热点与难点。提出深度卷积与格拉斯曼流形嵌入的选择... 特殊场景分类和识别任务面临样本不易获得而造成样本缺乏,利用源域(或称辅助域)数据构建领域自适应迁移学习模型,提高小样本机器学习在这些困难场景中的分类准确度与性能是当前研究的热点与难点。提出深度卷积与格拉斯曼流形嵌入的选择性伪标记算法(deep convolution and Grassmann manifold embedded selective pseudo-labeling,DC-GMESPL)模型,以实现在多种小样本数据集间迁移学习分类。针对目标域特殊场景,如森林火灾烟雾视频图像的本地样本数据缺乏情景,使用卫星遥感图像异地样本数据作为源域,基于Resnet50深度迁移网络,同时提取源域与目标域的烟雾特征;通过去除源域特征间的相关性,并与目标域重新关联,最小化源域与目标域特征分布距离,使源域与目标域特征分布对齐;在格拉斯曼流形空间中,用选择性伪标记算法对目标域数据作伪标记;构建一种可训练模型完成小样本数据间迁移分类。通过卫星遥感图像与视频影像数据集间迁移学习,对文中模型进行评估。实验表明,DC-GMESPL迁移准确率均高于DC-CMEDA、Easy TL、CMMS和SPL等方法。与作者先期研究的DC-CMEDA算法相比,新算法DC-GMESPL的准确率得到进一步提升;DC-GMESPL从卫星遥感图像到视频图像迁移准确率提高了0.50%,而从视频图像到卫星遥感图像迁移准确率提高了8.50%,且在性能上有了很大改善。 展开更多
关键词 迁移学习 领域自适应 深度卷积神经网络 小样本数据集 森林火灾烟雾特征
在线阅读 下载PDF
水压仿真引信信号采集与处理
19
作者 王耀力 刘元亨 《探测与控制学报》 CSCD 1991年第2期15-19,共5页
水压仿真引信是智能化水压引信研制的重要实验手段。本文就仿真引信的系统原理,实现方法的诸方面的内容做了较全面的研究,并建立了一套通用性强的物理仿真系统,首先分析了仿真系统设计方案和水面目标场特性,为减小信号畸变以及增强信噪... 水压仿真引信是智能化水压引信研制的重要实验手段。本文就仿真引信的系统原理,实现方法的诸方面的内容做了较全面的研究,并建立了一套通用性强的物理仿真系统,首先分析了仿真系统设计方案和水面目标场特性,为减小信号畸变以及增强信噪比,我们对接收信号进行预处理,然后针对水压引信横向局位性问题,提出了提取目标特征和目标识别的方法,本文给出了部分仿真实验结果。通过分析论证和实际测试,认为水压仿真对目标场与水压引信的模拟是实际可行的。 展开更多
关键词 仿真引信 自适应滤波 舰船横距 特征提取 目标识别
在线阅读 下载PDF
基于CSP的多线程自动建模及死锁检测研究 被引量:4
20
作者 高飞 武淑红 王耀力 《现代电子技术》 北大核心 2019年第12期57-61,共5页
并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSIX线程库开发的C语言程序研究并不多。为了检测POSIX线程库开发的C语言程序是否存在死锁问题,提出一种对... 并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSIX线程库开发的C语言程序研究并不多。为了检测POSIX线程库开发的C语言程序是否存在死锁问题,提出一种对多线程程序进行自动建模与死锁检测的形式化验证方法。首先,根据C++CSP框架和源程序之间的联系,实现源程序到C++CSP框架的语义转换;然后,对C++CSP框架建立通信顺序进程(CSP)模型,并通过过程分析工具(PAT)对建立的模型进行死锁检测;最后,通过实例验证了本文中自动建模与死锁检测方法的可行性与有效性。 展开更多
关键词 多线程建模 死锁检测 语义转换 形式化验证 通信顺序进程 过程分析
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部