全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 为民航发展插上“翅膀”
- 作者： 王菲 来源： 西藏日报(汉) 年份： 2017 文献类型 ： 报纸 关键词： 运输生产 机场布局 中国民用航空 求进 通用航空 航线网络 航空运输服务 支线机场建设 空管运行 民航发展
- 描述： 近年来，中国民用航空西藏自治区管理局（以下简称民航西藏区局）以满足旅客需求为最终目的，行业规模不断扩大，服务能力逐步提升，安全水平显著提高，尤其在运输生产、安全运行等方面成绩突出，为全区经济快速发展、社会和谐稳定、国家边防巩固作出了重要贡献。在全面建成小
- 全文：近年来，中国民用航空西藏自治区管理局（以下简称民航西藏区局）以满足旅客需求为最终目的，行业规模不断扩大，服务能力逐步提升，安全水平显著提高，尤其在运输生产、安全运行等方面成绩突出，为全区经济快速发展、社会和谐稳定、国家边防巩固作出了重要贡献。在全面建成小
- 为民航发展插上“翅膀”
- 作者： 王菲 来源： 西藏日报(汉) 年份： 2017 文献类型 ： 报纸 关键词： 运输生产 机场布局 中国民用航空 求进 通用航空 航线网络 航空运输服务 支线机场建设 空管运行 民航发展
- 描述： 近年来，中国民用航空西藏自治区管理局（以下简称民航西藏区局）以满足旅客需求为最终目的，行业规模不断扩大，服务能力逐步提升，安全水平显著提高，尤其在运输生产、安全运行等方面成绩突出，为全区经济快速发展、社会和谐稳定、国家边防巩固作出了重要贡献。在全面建成小
- 全文：近年来，中国民用航空西藏自治区管理局（以下简称民航西藏区局）以满足旅客需求为最终目的，行业规模不断扩大，服务能力逐步提升，安全水平显著提高，尤其在运输生产、安全运行等方面成绩突出，为全区经济快速发展、社会和谐稳定、国家边防巩固作出了重要贡献。在全面建成小
- 西藏民航上半年完成旅客吞吐量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%。据悉，今年以来，民航西藏区局
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。