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

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

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

基于分支定界法的进场航空器动态排序与调度

作者： 张军峰   王菲   葛腾腾   来源： 系统仿真学报 年份： 2016 文献类型 ： 期刊 关键词： 交通运输规划　　排序与调度　　滑动时间窗　　分支定界　　决策支持  

描述： 进场航空器优化排序和调度是跑道资源合理分配和充分利用的前提,是提高终端空域运行效率的基础。通过基于时间触发的滑动时间窗实现了进场动态排序。在精确四维航迹预测的基础上,结合管制运行约束,采用分支定界法对时间窗内航班进行优化排序与调度。以上海浦东机场为例进行仿真验证,将优化结果分别同先到先服务算法结果与航班的实际到达时间进行对比。结果表明:该算法可有效地提高跑道容量,缓解航班延误,是实现跑道资源优化配置的有效方法。

离场航空器四维航迹预测及不确定性分析

作者： 张军峰   葛腾腾   陈强   王菲   来源： 西南交通大学学报 年份： 2016 文献类型 ： 期刊 关键词： 航迹预测　　起飞　　预测误差　　空中交通管制  

描述： 误差与时间误差作为评价指标,研究结果表明:本文提出的算法可以将到达离港点时刻的误差控制在1 min以内,满足空中交通管理的需求.

疫情防控、运输保障两不误

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

描述： 随着即将到来的藏历新年和自治区有序的复工复产，各地进藏务工、商务客流将逐步呈现上升趋势。我区铁路、航空、公路等部门将采取哪些措施，积极应对即将到来的返程高峰？让我们一起来关注一下。铁路部门：加强客流监测 合理安排售票中国铁路青藏集团有限公司拉萨车站

全文：随着即将到来的藏历新年和自治区有序的复工复产，各地进藏务工、商务客流将逐步呈现上升趋势。我区铁路、航空、公路等部门将采取哪些措施，积极应对即将到来的返程高峰？让我们一起来关注一下。铁路部门：加强客流监测 合理安排售票中国铁路青藏集团有限公司拉萨车站

“五一”期间旅客吞吐量逾5万人次

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

描述： 5月6日讯（贾振徽 记者 王菲）记者从民航西藏区局获悉，2020年5月1日至5日，民航西藏区局共保障全区运输起降517架次，旅客吞吐量55517人次，货邮吞吐量571.5吨。同时，从5月3日起，民航迎来夏秋航班换季。这其中，拉萨贡嘎机场运输起降363架次，旅客吞吐量43735?

全文：5月6日讯（贾振徽 记者 王菲）记者从民航西藏区局获悉，2020年5月1日至5日，民航西藏区局共保障全区运输起降517架次，旅客吞吐量55517人次，货邮吞吐量571.5吨。同时，从5月3日起，民航迎来夏秋航班换季。这其中，拉萨贡嘎机场运输起降363架次，旅客吞吐量43735?

西藏民航“智慧机场”建设进入新阶段

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

描述： 本报拉萨8月9日讯（李海滨 记者 王菲）日前，民航西藏区局与中航信西南凯亚分公司共同出资组建的西藏航信科技有限责任公司在拉萨揭牌，意味着西藏民航“智慧机场”建设进入了新阶段。近年来，民航西藏区局大力引进新技术，不断提升区内机场智能化水平，稳步提高机场运行?

全文：本报拉萨8月9日讯（李海滨 记者 王菲）日前，民航西藏区局与中航信西南凯亚分公司共同出资组建的西藏航信科技有限责任公司在拉萨揭牌，意味着西藏民航“智慧机场”建设进入了新阶段。近年来，民航西藏区局大力引进新技术，不断提升区内机场智能化水平，稳步提高机场运行?

我区通航航线数量达120条

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

描述： 本报拉萨9月3日讯（冯雅楠 记者 王菲）记者近日从民航西藏区局获悉，随着西藏航空拉萨-红原-绵阳航线正式开通，西藏民航通航航线数量已达120条，实现新的历史突破。民航西藏区局相关负责人表示，航班增长的原因除自治区各单位和西藏民航区局各部门通力合作做好防疫工作确

全文：本报拉萨9月3日讯（冯雅楠 记者 王菲）记者近日从民航西藏区局获悉，随着西藏航空拉萨-红原-绵阳航线正式开通，西藏民航通航航线数量已达120条，实现新的历史突破。民航西藏区局相关负责人表示，航班增长的原因除自治区各单位和西藏民航区局各部门通力合作做好防疫工作确

疫情防控、运输保障两不误

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

描述： 随着即将到来的藏历新年和自治区有序的复工复产，各地进藏务工、商务客流将逐步呈现上升趋势。我区铁路、航空、公路等部门将采取哪些措施，积极应对即将到来的返程高峰？让我们一起来关注一下。铁路部门：加强客流监测 合理安排售票中国铁路青藏集团有限公司拉萨车站

全文：随着即将到来的藏历新年和自治区有序的复工复产，各地进藏务工、商务客流将逐步呈现上升趋势。我区铁路、航空、公路等部门将采取哪些措施，积极应对即将到来的返程高峰？让我们一起来关注一下。铁路部门：加强客流监测 合理安排售票中国铁路青藏集团有限公司拉萨车站

“五一”期间旅客吞吐量逾5万人次

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

描述： 5月6日讯（贾振徽 记者 王菲）记者从民航西藏区局获悉，2020年5月1日至5日，民航西藏区局共保障全区运输起降517架次，旅客吞吐量55517人次，货邮吞吐量571.5吨。同时，从5月3日起，民航迎来夏秋航班换季。这其中，拉萨贡嘎机场运输起降363架次，旅客吞吐量43735?

全文：5月6日讯（贾振徽 记者 王菲）记者从民航西藏区局获悉，2020年5月1日至5日，民航西藏区局共保障全区运输起降517架次，旅客吞吐量55517人次，货邮吞吐量571.5吨。同时，从5月3日起，民航迎来夏秋航班换季。这其中，拉萨贡嘎机场运输起降363架次，旅客吞吐量43735?

西藏民航“智慧机场”建设进入新阶段

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

描述： 本报拉萨8月9日讯（李海滨 记者 王菲）日前，民航西藏区局与中航信西南凯亚分公司共同出资组建的西藏航信科技有限责任公司在拉萨揭牌，意味着西藏民航“智慧机场”建设进入了新阶段。近年来，民航西藏区局大力引进新技术，不断提升区内机场智能化水平，稳步提高机场运行?

全文：本报拉萨8月9日讯（李海滨 记者 王菲）日前，民航西藏区局与中航信西南凯亚分公司共同出资组建的西藏航信科技有限责任公司在拉萨揭牌，意味着西藏民航“智慧机场”建设进入了新阶段。近年来，民航西藏区局大力引进新技术，不断提升区内机场智能化水平，稳步提高机场运行?