检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

具有时间约束的电梯节能调度算法

系统工程理论与实践 2013年第9期33卷 2339-2346页

作者：刘耀武聂风华苏强霍佳震中航工业无线电电子研究所清华大学物业管理中心同济大学经济与管理学院管理科学与工程系

针对电梯节能问题,提出电梯能耗损失计算方法,构建具有时间约束的电梯节能调度模型,应用粒子群算法(particle swarm optimization,PSO)分别对已知目标楼层和预测目标楼层两种情况的电梯节能调度问题进行建模和求解.通过数值仿真分析,从... 详细信息

针对电梯节能问题,提出电梯能耗损失计算方法,构建具有时间约束的电梯节能调度模型,应用粒子群算法(particle swarm optimization,PSO)分别对已知目标楼层和预测目标楼层两种情况的电梯节能调度问题进行建模和求解.通过数值仿真分析,从等待时间和能耗两方面比较了三种算法(最近服务原则(nearest car,NC)、已知目标楼层的粒子群算法和预测目标楼层的粒子群算法)的性能.研究结果表明,与NC算法相比,在保证80%以上乘客等待时间小于60s的情况下,已知目标楼层的PSO算法可以实现系统节能18.2%;预测目标楼层的PSO算法可以实现系统节能9.6%.随着等待时间约束的放宽,PSO算法可获得的节能比例显著增加.目标楼层的准确性对节能调度具有重要影响,已知目标楼层的PSO算法会比预测目标楼层的PSO算法约多节能10%.

关键词：节能电梯群控等待时间粒子群算法数值仿真

Fusion of Infrared and Visible Light Images Based on Region Segmentation

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2009年第1期22卷 75-80页

作者：刘坤郭雷李晖晖陈敬松西北工业大学自动化学院中国航空无线电电子研究所

This article proposes a novel method to fuse infrared and visible light images based on region segmentation. Region segmen-tation is used to determine important regions and background information in the input image. The non-subsampled contourlet transform (NSCT) provides a flexible multiresolution,local and directional image expansion,and also a sparse representation for two-dimensional (2-D) piecewise smooth signal building images,and then different fusion rules are applied to fuse the NSCT coefficients fo...

关键词： image processing image fusion non-subsampled contourlet transform region segmentation infrared imaging

在线全文

学校读者我要写书评

暂无评论

支撑运营管控的项目集成管理平台

航空制造技术 2014年第18期57卷 105-106页

作者：郭燕吴其锋付强何宝魁中航工业无线电电子研究所金航数码科技有限责任公司

中航丁业无线电电子研究所（简称＂上电所＂）,隶属中国航空工业集团公司,长期从事航空电子综合技术和航空无线电技术研究,是集科研、生产、服务、经营一体化的研究所。近年来,上电所承担的科研和生产任务不断增加,项目种类和数量日益... 详细信息

中航丁业无线电电子研究所（简称＂上电所＂）,隶属中国航空工业集团公司,长期从事航空电子综合技术和航空无线电技术研究,是集科研、生产、服务、经营一体化的研究所。近年来,上电所承担的科研和生产任务不断增加,项目种类和数量日益增多。许多项目投资大,周期长,技术难度和复杂度高,质量要求高,同时项目外界影响因素多,涉及人员广,任务节点多,而且各类项目的管理方式各异,不可预知性强。因此,上电所拟运用现代项目管理思想,建立统一规范的项目管理流程和考核体系，并建设全所统一的项目集成管理平俞：项目建设目标具体如下：

关键词：项目集成管理航空工业集团航空无线电现代项目管理航空电子不可预知性质量要求综合技术周期长电子研究所

“工业4.0”制造模式下面向云服务的信息物理系统参考架构研究

在线全文

学校读者我要写书评

暂无评论

现代制造工程 2017年第8期 147-156,161页

作者：李杰林陈明中航工业无线电电子研究所上海200241 同济大学中德工程学院上海201804

为了满足"工业4.0"制造模式下全过程、客户化、个性化及端对端集成的制造业服务新需求,结合离散制造过程管控特点和云服务优势,提出具有快速重构、计量收费等系列特性的面向云服务的信息物理系统(Cloud Service Oriented Cyber Physical... 详细信息

为了满足"工业4.0"制造模式下全过程、客户化、个性化及端对端集成的制造业服务新需求,结合离散制造过程管控特点和云服务优势,提出具有快速重构、计量收费等系列特性的面向云服务的信息物理系统(Cloud Service Oriented Cyber Physical System,CSOCPS)参考架构。在该参考架构中,阐述了CSOCPS抽象模型的运行机理,并与传统信息物理系统(Cyber Physical System,CPS)抽象模型在环境感知层、服务链断裂点等方面进行了对比分析。在此基础上,以3种典型云服务模式为基础,详细介绍了基于功能服务的CSOCPS体系参考架构,并根据云服务部署方式的特点选取公私兼备的混合云服务作为最优部署策略。另外,提出了与功能体系参考架构相对应的物理配置参考架构,详细阐述了实施细节和安全策略,提高实施过程中的兼容性和可操作性。最后,通过一个实践范例验证了参考架构的合理性和可用性。

关键词： “工业4.0” 离散制造云服务 CPS参考架构

基于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 形式化验证模型转换飞行控制系统

在线全文

学校读者我要写书评

暂无评论

互联网技术促进气象探测的发展

国际航空 2016年第5期 70-71页

作者：顾世敏中航工业无线电电子研究所

对于乘坐飞机的乘客，安全、正点和舒适是影响其飞行体验的三个主要因素。互联网技术已逐步应用到了飞机上，通过与机载航电设备相结合，在飞行气象探测方面起到很好的作用，可为乘客带来更好的飞行体验。

关键词：互联网技术气象探测飞行体航电设备乘客飞机机载