检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

航空通信系统中信道编码理论及应用分析

电光与控制 2015年第10期22卷 68-72页

作者：邹星李金喜丁勇飞方正中航工业无线电电子研究所上海200241

一般地,航空通信系统具有功率受限、带宽受限、时延受限的特点。针对航空通信系统对信道编码高增益和低时延的要求,首先理论推导通信系统(特别是二进制通信系统)应用r码率信道编码获得编码增益的香农极限值,并仿真对比分析几类典型信道... 详细信息

一般地,航空通信系统具有功率受限、带宽受限、时延受限的特点。针对航空通信系统对信道编码高增益和低时延的要求,首先理论推导通信系统(特别是二进制通信系统)应用r码率信道编码获得编码增益的香农极限值,并仿真对比分析几类典型信道编码的编码性能,最后结合工程实现考虑的技术指标对几类信道编码的应用范围进行了定性分析,其对航空通信系统的信道编码选取具有工程指导意义。

关键词：航空通信信道编码香农极限香农距离

嵌入式软件故障树分析及其基于OpenFTA的实现

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2012年第9期29卷 258-260,280页

作者：朱敏中航工业无线电电子研究所上海200233

在安全关键系统中,例如航空航天、高速铁路、核电站等,越来越多的功能由嵌入式软件实现,嵌入式软件的安全性备受重视,也是近期的热点话题。故障树分析是安全性分析的常用技术,在系统和硬件领域已十分普及,而在软件领域还有待研究和应用... 详细信息

在安全关键系统中,例如航空航天、高速铁路、核电站等,越来越多的功能由嵌入式软件实现,嵌入式软件的安全性备受重视,也是近期的热点话题。故障树分析是安全性分析的常用技术,在系统和硬件领域已十分普及,而在软件领域还有待研究和应用。介绍嵌入式软件故障树分析技术,并通过案例演示了如何开展嵌入式软件故障树分析,最后介绍如何应用开源故障树分析软件OpenFTA实施具体的故障树分析。

关键词：嵌入式软件故障树分析软件安全性

基于NuSMV的AADL模型形式化验证技术

在线全文

学校读者我要写书评

暂无评论

航空学报 2022年第3期43卷 443-458页

作者：刘畅蒋永平马春燕张涛中国航空无线电电子研究所上海200233 西北工业大学软件学院西安710072

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言,在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性,提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先,覆盖AADL模... 详细信息

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言,在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性,提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先,覆盖AADL模型的所有软件构件和行为特征,提出了AADL模型到NuSMV模型的映射规则和转换算法;其次,采用图同构方法分析了转换算法的正确性;然后,在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述,以验证AADL模型中安全性、活性和嵌套模态配置的正确性;最后,以飞行控制系统为例,详细阐释了基于NuSMV的AADL模型形式化验证方法,并给出验证属性的统计信息。

关键词： AADL模型 NuSMV 形式化验证模型转换飞行控制系统

在线全文

学校读者我要写书评

暂无评论

优化公司供应商绩效管理的五大途径

中国商界 2024年第5期 24-25页

作者：沈悦丽中国航空无线电电子研究所/中航(上海)航空无线电电子技术公司

随着市场竞争的加剧,企业越来越重视供应链管理,而供应商绩效管理作为供应链管理的重要环节,对企业发展有着重要战略意义。供应商绩效管理是指企业对供应商进行全面的评价和管理,以确保供应商能够满足企业的质量、成本、服务等要求。供... 详细信息

随着市场竞争的加剧,企业越来越重视供应链管理,而供应商绩效管理作为供应链管理的重要环节,对企业发展有着重要战略意义。供应商绩效管理是指企业对供应商进行全面的评价和管理,以确保供应商能够满足企业的质量、成本、服务等要求。供应商绩效管理存在的问题供应商合规风险管理意识欠缺部分企业对供应商合规风险管理的重视程度不够,缺乏合规风险意识。企业未能建立完善的供应商合规风险评估体系,对供应商的资质审查流于形式,未进行深入的背景调查;供应商违规事件频发,给企业带来巨大的经济损失和法律风险;缺乏对供应商合规风险的持续监控,未能及时发现和解决潜在的合规风险问题。

关键词：合规风险供应链管理违规事件供应商风险评估体系重要战略意义资质审查背景调查

在线全文

学校读者我要写书评

暂无评论

无人机平台空投声呐浮标搜潜效能评估模型

无人机平台空投声呐浮标搜潜效能评估模型

第五届中国航空科学技术大会

作者：包建伟金晓南杨晶航空工业无线电电子研究所

针对无人机平台自主决策作战规划的需求,本文通过对航空反潜作战的流程进行分析,筛选出航空反潜作战规划流程中影响空投声呐浮标搜潜效能的关键因素。之后本文对关键因素进行分解得到仿真模型对搜潜效能指标量化所需的数值参数需求,搭... 详细信息

针对无人机平台自主决策作战规划的需求,本文通过对航空反潜作战的流程进行分析,筛选出航空反潜作战规划流程中影响空投声呐浮标搜潜效能的关键因素。之后本文对关键因素进行分解得到仿真模型对搜潜效能指标量化所需的数值参数需求,搭建了一套通用化空投浮标反潜效能评估仿真模型。根据实际作战成功的判别依据,通过蒙特卡洛仿真计算方法,得到当前态势场景下的搜潜效能;并且通过对仿真模型中作战样式参数的调整,实现对无人机平台不同作战方式搜潜能效的量化和评估,可适用于作战规划自主决策的需求。

关键词：声呐浮标效能评估航空反潜蒙特卡洛仿真

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于服务的航电人工智能架构研究和分析

基于服务的航电人工智能架构研究和分析

第十届中国航空学会青年科技论坛

作者：王瑞辰王硕航空工业无线电电子研究所

随着战争形态向信息化和智能化方向演变,越来越多的航电应用搭载智能算法实现智能化功能的提升,同时多个应用搭载相似的模型,从而给航电系统带来巨大的负载和管理压力,加大系统冗余。本文结合航空电子系统平台的特点,研究在航电系统中... 详细信息

随着战争形态向信息化和智能化方向演变,越来越多的航电应用搭载智能算法实现智能化功能的提升,同时多个应用搭载相似的模型,从而给航电系统带来巨大的负载和管理压力,加大系统冗余。本文结合航空电子系统平台的特点,研究在航电系统中集成人工智能的方法,讨论基于服务的方式向航电应用提供服务,研究航电人工智能框架的任务推理流程,分析航电系统中资源虚拟化的方式,使机载人工智能框架更加灵活与智能。

关键词：人工智能航电系统平台服务化

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于尺度配准的航拍图像与卫星影像匹配方法

哈尔滨工业大学学报 2023年第10期55卷 19-26页

作者：温育杜郭士增刘晟马琳哈尔滨工业大学电子与信息工程学院哈尔滨150001 中国航空无线电电子研究所上海200233

随着无人机航拍技术的普及,航拍图像在目标检测和跟踪的应用得到普遍研究,而航拍图像与卫星影像的匹配研究相对较少。由于成像机理和成像视角的不同,无人机航拍图像与卫星影像存在较大的尺度差异,现有的图像匹配方法难以实现航拍图像与... 详细信息

随着无人机航拍技术的普及,航拍图像在目标检测和跟踪的应用得到普遍研究,而航拍图像与卫星影像的匹配研究相对较少。由于成像机理和成像视角的不同,无人机航拍图像与卫星影像存在较大的尺度差异,现有的图像匹配方法难以实现航拍图像与卫星影像的有效匹配。为了解决这一问题,提出了一种实现具有大尺度差异的航拍图像与卫星影像匹配的方法。该方法通过卫星影像的经纬坐标信息和无人机航拍图像成像时刻的相机位姿信息,对无人机航拍图像进行方向和尺度的配准;然后利用航拍图像成像时刻的位置信息,对卫星影像进行粗匹配,得到包含航拍图像匹配区域在内的卫星影像子图;再利用神经网络提取配准后的航拍图像与卫星影像子图的卷积神经网络(convolutional neural networks,CNN)特征,并基于CNN特征实现航拍图像与卫星影像的精匹配。仿真实验结果表明,本文所提方法能够有效的实现大尺度差异的航拍图像与卫星影像匹配。通过将本文匹配方法与现有图像匹配算法匹配精度的对比分析,证明了本文匹配算法的有效性和优越性。

关键词：航拍图像卫星影像图像匹配图像尺度配准

在线全文

学校读者我要写书评

暂无评论

基于数字建模的机载显控台人机工效设计

基于数字建模的机载显控台人机工效设计

第五届中国航空科学技术大会

作者：王环陈慧娟李晓东庄迁政航空工业无线电电子研究所

针对现有机载显控台存在操作体验不佳、工作效率低下等问题,同时为了减少显控台研制过程中的设计迭代,提出一种基于数字建模的显控台人机工效设计方法。在结构初步设计阶段,根据相关设计约束确定显控台尺寸,利用CATIA建立初版数模,将数... 详细信息

针对现有机载显控台存在操作体验不佳、工作效率低下等问题,同时为了减少显控台研制过程中的设计迭代,提出一种基于数字建模的显控台人机工效设计方法。在结构初步设计阶段,根据相关设计约束确定显控台尺寸,利用CATIA建立初版数模,将数模导入Jack分析软件中,并选用不同百分位数人体模型模拟操作员的典型操作姿态,对其进行可视性评估、可达性评估、容膝空间评估、舒适度评估以及快速上肢分析(RULA),并根据数字化仿真评估结果优化相关设计,优化后的设计方案能够降低上肢关节弯曲角相对标准值的偏差值,同时降低上肢操作负荷值。该设计方法可提高显控台人机工效的合理性,为后续详细设计奠定基础。

关键词：机载显控台数字建模人机工效数字化仿真评估

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

导线在航空电子产品领域的处理及布线技术

航空制造技术 2014年第9期57卷 94-96页

作者：朱春龙中航工业中国航空无线电电子研究所

现代航空电子产品对可靠性的要求越来越高。而电子产品使用导线的选择、加工及布线技术，对航空电子产品的可靠性起到至关重要的保障作用。由于航空电子产品的特殊要求，屏蔽导线是主要使用的一类导线。本文针对屏蔽导线的特点，简要阐... 详细信息

现代航空电子产品对可靠性的要求越来越高。而电子产品使用导线的选择、加工及布线技术，对航空电子产品的可靠性起到至关重要的保障作用。由于航空电子产品的特殊要求，屏蔽导线是主要使用的一类导线。本文针对屏蔽导线的特点，简要阐述常见导线的选择及其加工处理。

关键词：航空电子产品布线技术导线加工处理产品使用保障作用可靠性屏蔽