最美云端守护者

作者： 本报记者   王菲   来源： 西藏日报(汉) 年份： 2020 文献类型 ： 报纸

描述： 自新冠肺炎疫情发生以来，西藏航空高度重视疫情防控工作，全力以赴做好疫情防控、服务保障复工复产，为打赢疫情防控阻击战展现了民航担当，贡献了藏航力量。守好防输入关口新冠肺炎疫情发生后，西藏航空公司紧急成立防控处置领导小组，及时处理突发情况。从1月24

全文：自新冠肺炎疫情发生以来，西藏航空高度重视疫情防控工作，全力以赴做好疫情防控、服务保障复工复产，为打赢疫情防控阻击战展现了民航担当，贡献了藏航力量。守好防输入关口新冠肺炎疫情发生后，西藏航空公司紧急成立防控处置领导小组，及时处理突发情况。从1月24

民航西藏区局：全力打赢新型冠状病毒感染的肺炎疫情防控阻击战

作者： 记者   王菲   来源： 西藏日报(汉) 年份： 2020 文献类型 ： 报纸

描述： 本报拉萨1月29日讯（记者 王菲）记者从民航西藏区局了解到，新型冠状病毒感染的肺炎疫情集中爆发以来，面对复杂形势，民航西藏区局党委紧紧把握疫情传播特点和民航工作实际，在西藏自治区党委政府、民航局党组、西南地区管理局党委的正确领导下，全力贯彻落实好党中央的工作?

全文：本报拉萨1月29日讯（记者 王菲）记者从民航西藏区局了解到，新型冠状病毒感染的肺炎疫情集中爆发以来，面对复杂形势，民航西藏区局党委紧紧把握疫情传播特点和民航工作实际，在西藏自治区党委政府、民航局党组、西南地区管理局党委的正确领导下，全力贯彻落实好党中央的工作?

2019年西藏民航旅客吞吐量570余万人次

作者： 记者   王菲   来源： 西藏日报(汉) 年份： 2020 文献类型 ： 报纸

描述： 本报拉萨1月19日讯（记者 王菲）日前，记者从民航西藏区局了解到，2019年，民航西藏区局实现安全保障运输起降52898架次，同比增长13.3%；旅客吞吐量5750648余人次，同比增长8.1%；货邮吞吐量43624.9吨，同比增长9.2%。据了解，去年，拉萨贡嘎机场运输起降39017架次，年旅

全文：本报拉萨1月19日讯（记者 王菲）日前，记者从民航西藏区局了解到，2019年，民航西藏区局实现安全保障运输起降52898架次，同比增长13.3%；旅客吞吐量5750648余人次，同比增长8.1%；货邮吞吐量43624.9吨，同比增长9.2%。据了解，去年，拉萨贡嘎机场运输起降39017架次，年旅

最美云端守护者

作者： 本报记者   王菲   来源： 西藏日报(汉) 年份： 2020 文献类型 ： 报纸

描述： 自新冠肺炎疫情发生以来，西藏航空高度重视疫情防控工作，全力以赴做好疫情防控、服务保障复工复产，为打赢疫情防控阻击战展现了民航担当，贡献了藏航力量。守好防输入关口新冠肺炎疫情发生后，西藏航空公司紧急成立防控处置领导小组，及时处理突发情况。从1月24

全文：自新冠肺炎疫情发生以来，西藏航空高度重视疫情防控工作，全力以赴做好疫情防控、服务保障复工复产，为打赢疫情防控阻击战展现了民航担当，贡献了藏航力量。守好防输入关口新冠肺炎疫情发生后，西藏航空公司紧急成立防控处置领导小组，及时处理突发情况。从1月24

上半年我区民航旅客吞吐量达253.6万余人次

作者： 记者   王菲   来源： 西藏日报(汉) 年份： 2018 文献类型 ： 报纸 关键词： 循环运行   同比   飞行流量   模拟机   运行指标   一条   王菲   贡嘎机场   吞吐量   运行环境  

描述： 本报拉萨8月11日讯（记者 王菲）今年上半年，民航西藏区局主要运行指标均呈现较快增长态势。运输起降达22778架次，同比增长3125架次，增长15.9%；旅客吞吐量达253.6万余人次，同比增加近46万人次，增长22.1%；货邮吞吐量达17168.4吨，同比增长1262.9吨，增长7.9%。今年3

全文：本报拉萨8月11日讯（记者 王菲）今年上半年，民航西藏区局主要运行指标均呈现较快增长态势。运输起降达22778架次，同比增长3125架次，增长15.9%；旅客吞吐量达253.6万余人次，同比增加近46万人次，增长22.1%；货邮吞吐量达17168.4吨，同比增长1262.9吨，增长7.9%。今年3

上半年我区民航旅客吞吐量达253.6万余人次

作者： 记者   王菲   来源： 西藏日报(汉) 年份： 2018 文献类型 ： 报纸 关键词： 循环运行   同比   飞行流量   模拟机   运行指标   一条   王菲   贡嘎机场   吞吐量   运行环境  

描述： 本报拉萨8月11日讯（记者 王菲）今年上半年，民航西藏区局主要运行指标均呈现较快增长态势。运输起降达22778架次，同比增长3125架次，增长15.9%；旅客吞吐量达253.6万余人次，同比增加近46万人次，增长22.1%；货邮吞吐量达17168.4吨，同比增长1262.9吨，增长7.9%。今年3

全文：本报拉萨8月11日讯（记者 王菲）今年上半年，民航西藏区局主要运行指标均呈现较快增长态势。运输起降达22778架次，同比增长3125架次，增长15.9%；旅客吞吐量达253.6万余人次，同比增加近46万人次，增长22.1%；货邮吞吐量达17168.4吨，同比增长1262.9吨，增长7.9%。今年3

西藏民航上半年完成旅客吞吐量207万人次

作者： 记者   王菲   来源： 西藏日报(汉) 年份： 2017 文献类型 ： 报纸 关键词： 求进   安全管理水平   王菲   服务保障能力  

描述： 报拉萨7月27日讯（记者 王菲）日前，记者从民航西藏区局了解到，今年上半年，西藏民航完成旅客吞吐量207万人次，保障航班起降1.96万架次，完成货邮吞吐量1.59万吨，同比增长11.8%、5.2%、26.2%，分别完成全年目标的46.2%、45.7%、46.8%。据悉，今年以来，民航西藏区局

全文：报拉萨7月27日讯（记者 王菲）日前，记者从民航西藏区局了解到，今年上半年，西藏民航完成旅客吞吐量207万人次，保障航班起降1.96万架次，完成货邮吞吐量1.59万吨，同比增长11.8%、5.2%、26.2%，分别完成全年目标的46.2%、45.7%、46.8%。据悉，今年以来，民航西藏区局

西藏民航上半年完成旅客吞吐量207万人次

作者： 记者   王菲   来源： 西藏日报(汉) 年份： 2017 文献类型 ： 报纸 关键词： 求进   安全管理水平   王菲   服务保障能力  

描述： 报拉萨7月27日讯（记者 王菲）日前，记者从民航西藏区局了解到，今年上半年，西藏民航完成旅客吞吐量207万人次，保障航班起降1.96万架次，完成货邮吞吐量1.59万吨，同比增长11.8%、5.2%、26.2%，分别完成全年目标的46.2%、45.7%、46.8%。据悉，今年以来，民航西藏区局

全文：报拉萨7月27日讯（记者 王菲）日前，记者从民航西藏区局了解到，今年上半年，西藏民航完成旅客吞吐量207万人次，保障航班起降1.96万架次，完成货邮吞吐量1.59万吨，同比增长11.8%、5.2%、26.2%，分别完成全年目标的46.2%、45.7%、46.8%。据悉，今年以来，民航西藏区局

航空发动机试车台在本科教学及科研中的应用研究

作者： 李勇   韩非非   来源： 教育教学论坛 年份： 2021 文献类型 ： 期刊 关键词： 科学研究   试车台   航空发动机   教学改革   工程实践  

描述： 文章介绍了航空发动机试车台的原理、组成及其在教学、科研中的重要作用。探索了省属重点高校以优势特色学科为基础,深化教学改革,将教学、科研与工程实践相结合,为飞行器动力工程类本科人才培养提供示范和借鉴。

基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,

作者： 李勇   曹子宁   来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测   E   RSML   Nu   SMV   形式化方法  

描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。