综合模块化航空电子系统安全分析的模型检测方法

作者： 邝安玄   马超   王佳明   来源： 电光与控制 年份： 2023 文献类型 ： 期刊 关键词： 模型检测   综合模块化航空电子系统   系统分析   安全性  

描述： 综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配，但集成工作增加了系统的复杂性，同时使系统的故障在综合过程中传播到其他系统，这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能，存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题，提出了一种新的综合模块化航空电子系统安全分析方法——模型检测，使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证，在系统需求规格的基础上给出了分析过程，利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合，从而达到传统故障树分析的目的，最终通过案例分析表明了该方法的实用性。

2016年航空货运市场回顾与2017年展望

作者： 曹允春   许诚   张凯迪   来源： 综合运输 年份： 2018 文献类型 ： 期刊 关键词： 航空货运   航空快递   航空货运市场   电子商务  

描述： 2016年世界航空货运渐入佳境,局部地区出现大幅增长,而我国航空货运市场喜忧参半。本文主要回顾了2016年世界航空货运市场以及中国航空货运市场现状,再根据业内普遍看好和唱衰的几个关键点入手,重点展望了我国2017年航空货运市场,为我国航空企业发展提出了可行的方向。

电子商务环境下的民航运输业虚拟价值链研究

作者： 黄维   朱爱萍   来源： 商业会计 年份： 2018 文献类型 ： 期刊 关键词： 虚拟价值链   传统价值链   民航运输业   电子商务  

描述： 在电子商务环境下,民航运输业的传统价值链缺乏灵活性和独特性,而结合了物流、资金流和信息流的民航运输业虚拟价值链克服了传统价值链的一些不足,体现出信息创造价值、价值链环节缩短、凸显以顾客为中心以及竞争趋于多样化等新特征,为民航运输业的成本管理、价值创造以及核心竞争力的提升提供了新思路。

新形势下电子商务航空物流的发展研究

作者： 白朝凤   来源： 中小企业管理与科技 年份： 2022 文献类型 ： 期刊 关键词： 新形势   航空物流   电子商务   发展  

描述： 全球经济一体化背景下，跨境电子商务逐渐崛起，航空物流的发展迎来了巨大的契机。但是当前我国航空物流发展过程中还存在诸多问题，难以满足快速发展的电子商务的需求。基于此，论文阐述了电子商务与航空物流的关系

新形势下电子商务航空物流的发展研究

作者： 白朝凤   来源： 中小企业管理与科技 年份： 2022 文献类型 ： 期刊 关键词： 新形势   航空物流   电子商务   发展  

描述： 全球经济一体化背景下，跨境电子商务逐渐崛起，航空物流的发展迎来了巨大的契机。但是当前我国航空物流发展过程中还存在诸多问题，难以满足快速发展的电子商务的需求。基于此，论文阐述了电子商务与航空物流的关系

“一带一路”战略下西安航空物流发展策略研究——以西安咸阳国际机场为例

作者： 张岩   来源： 统计与管理 年份： 2017 文献类型 ： 期刊 关键词： 产业布局   一带一路   航线网络   西安   航空物流   电子商务  

描述： 在航空物流发展迅速的今天,西安航空物流的发展程度将决定以后西安甚至陕西省的经济发达程度。在"一带一路"大背景下,分析西安航空物流发展的策略,并且主要以西安咸阳国际机场为主要研究对象。具体从航空货运量、交通运输网络及航线网络布局、产业结构布局以及其它方面来分析西安咸阳国际机场目前的发展情况,结合国内该方面发达的城市,如成都、郑州,来对西安市航空物流的发展提出相应的发展策略。