期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
AADL软件容错系统建模与评估 被引量:8
1
作者 杨志义 张琛雨 董云卫 《计算机测量与控制》 CSCD 北大核心 2009年第4期779-782,共4页
提出了一种解决软件容错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri... 提出了一种解决软件容错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件容错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验,根据经验数据适当的假设了部分构件的失效率,收到了较好效果。 展开更多
关键词 AADL 可靠性 广义随机PETRI网 ATC
下载PDF
基于YOLOv4改进型的落水人员红外图像检测识别研究
2
作者 张琛雨 菅永坤 陈爱娟 《天津航海》 2024年第3期23-26,共4页
为完善海上落水人员搜救手段,改进落水人员搜救效率较低的问题,利用卷积神经网络在目标检测领域中突出的识别能力,文章提出了一种基于YOLOv4(You Only Look Once version 4)网络的改进方法。首先,针对网络参数冗余的问题引入模型轻量化... 为完善海上落水人员搜救手段,改进落水人员搜救效率较低的问题,利用卷积神经网络在目标检测领域中突出的识别能力,文章提出了一种基于YOLOv4(You Only Look Once version 4)网络的改进方法。首先,针对网络参数冗余的问题引入模型轻量化思想,将网络中参数冗余的主干特征提取网络部分改进为参数精简的GhostNet;其次,在轻量化后的YOLOv4网络中引入混合注意力机制模块,可有效缓解网络对小目标检测性能欠佳的问题;最后,将设备采集的红外图像数据集传入网络训练,对比并解析评价值。结果表明,相较于原版YOLOv4,改进YOLOv4网络的检出率提高了10%以上,检测速度提高了70%以上,在理论上可满足实时检测的需求,可为落水人员检测搜救提供新思路。 展开更多
关键词 卷积神经网络 轻量化 注意力机制 红外图像
下载PDF
新型航海技术对船舶避碰自动化的影响 被引量:1
3
作者 张琛雨 《船舶物资与市场》 2020年第6期88-89,共2页
在全球经济一体化背景下,航海贸易进入到快速发展时期,有效促进各国的经济发展.为加快航海贸易的发展速度,在船舶中要应用新型航海技术.通过应用新型航海技术,可以提升船舶的运行能力,其中对船舶避碰自动化技术起到重要的作用,有助于提... 在全球经济一体化背景下,航海贸易进入到快速发展时期,有效促进各国的经济发展.为加快航海贸易的发展速度,在船舶中要应用新型航海技术.通过应用新型航海技术,可以提升船舶的运行能力,其中对船舶避碰自动化技术起到重要的作用,有助于提升船舶自动化航行能力.本文围绕新型航海技术对船舶避碰自动化的影响展开讨论,为船舶避碰自动化技术应用提供参考依据. 展开更多
关键词 船舶避碰自动化 新型航海技术
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部