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

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

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

2018财年美国航空航天局预算蓝图公布 美国民用航天发展方向尚待观察

作者： 张扬眉   谷知行   来源： 国际太空 年份： 2017 文献类型 ： 期刊 关键词： 预算计划   木卫二   国家环境保护局   重定向   特朗普   行星科学   地球科学   政府预算   政府住房   航空航天局  

描述： 2017年3月16日,特朗普政府公布了2018财年联邦政府预算纲要报告,题名为《美国优先:让美国再次伟大的预算蓝图》,提议按上限增加国防预算540亿美元,并从美国国务院、联邦政府住房与城市发展部、美国国家环境保护局、农业部等非国防部门中削减相应的540亿美元预算,旨在不扩大财政赤字的前提下增强美国

中国计算机自动测量与控制技术协会诚邀您免费参加2017航空航天与军工应用方案研讨会

作者： 暂无 来源： 计算机测量与控制 年份： 2017 文献类型 ： 期刊 关键词： 自动测量   软件定义   软件平台   控制系统   控制技术   测控系统   航空航天   自动化测试系统   测试资源   互操作性  

描述： 先生/女士:为推动自动化测试系统、仪器、软件平台在国防与航空航天领域的应用,中国计算机自动测量与控制技术协会与上海恩艾仪器有限公司(简称NI)于2017年7月4日在西安曲江国际大酒店联合举办

沈阳航空航天大学民航学院副院长于耕：社会资本加入促民航业洗牌

作者： 本报记者   何芳   洪鸿   钟文   来源： 中国企业报 年份： 2017 文献类型 ： 报纸 关键词： 航业   民航学院   中国民航局   副院长   航空运输企业   空管系统   空管部门   民航建设   航空维修   飞机燃油  

描述： 中国民航局起草的《国内投资民用航空业规定（征求意见稿）》文件，对开放国内民航建设市场和运行市场有了一个明确的指导意见。长期以来，民航业作为一个特许准入行业，在诸多领域和工种都有严格准入限制，比如对投资主体、控股比例等都作了很多严格限制。而本次征求意见稿首

全文：中国民航局起草的《国内投资民用航空业规定（征求意见稿）》文件，对开放国内民航建设市场和运行市场有了一个明确的指导意见。长期以来，民航业作为一个特许准入行业，在诸多领域和工种都有严格准入限制，比如对投资主体、控股比例等都作了很多严格限制。而本次征求意见稿首

中国气象局与北京航空航天大学共商观测领域产学研合作和人才培养

作者： 记者   贾静淅   来源： 中国气象报 年份： 2017 文献类型 ： 报纸 关键词： 人才培养   张军   气象事业   中国气象局   创新优势   高科技成果   气象观测   航空航天   公共气象服务   气象业务  

描述： 本报讯记者贾静淅报道9月21日，中国气象局党组书记、局长刘雅鸣会见北京航空航天大学党委书记张军一行，就推动气象观测装备技术产学研合作、科技创新平台建设和人才培养等进行座谈。张军指出，北京航空航天大学与中国气象局的发展均以国家战略需求为先导，肩负重要使命

全文：本报讯记者贾静淅报道9月21日，中国气象局党组书记、局长刘雅鸣会见北京航空航天大学党委书记张军一行，就推动气象观测装备技术产学研合作、科技创新平台建设和人才培养等进行座谈。张军指出，北京航空航天大学与中国气象局的发展均以国家战略需求为先导，肩负重要使命

中国航天科工参加2017四川国际航空航天高峰论坛

作者： 李睿   来源： 中国航天报 年份： 2017 文献类型 ： 报纸 关键词： 技术创新   技术进步   商业模式创新   企业和社会   近地轨道   创新整合   中国航天科工   通用航空   航空航天   装备制造产业  

描述： 本报讯 9月28日,2017四川国际航空航天高峰论坛暨第四届中国国际通用航空发展高峰论坛在德阳广汉市举行。在以“创新融合、区域引领”为主题的演讲环节中,中国航天科工集团公司党组成员、副总经理刘石泉指出,新型企业和社会资本的引入,给航天带来了全新的思维方式、发展理

全文：本报讯 9月28日,2017四川国际航空航天高峰论坛暨第四届中国国际通用航空发展高峰论坛在德阳广汉市举行。在以“创新融合、区域引领”为主题的演讲环节中,中国航天科工集团公司党组成员、副总经理刘石泉指出,新型企业和社会资本的引入,给航天带来了全新的思维方式、发展理

机场终端区航空器飞行冲突风险预测方法研究

作者： 高扬   王向章   郑涤滨   来源： 中国安全科学学报 年份： 2017 文献类型 ： 期刊 关键词： 通用航空   飞行冲突风险   终端区   计算机模拟   风险预测  

描述： 编写仿真程序,模拟该机场终端区跑道中心20 km范围内的航空器飞行轨迹。预测不同通航活动区设置条件下的飞行冲突风险,并确定运输机场周边通航活动区范围。预测结果显示,飞行高度限制为1 000 m时,将

基于支持向量机的民航飞行人员人格选拔分类器的探讨

作者： 肖潇   程珊   孙继成   马进   胡文东   来源： 现代生物医学进展 年份： 2017 文献类型 ： 期刊 关键词： 卡特尔16项人格测试(16PF)   支持向量机(SVM)   民航飞行人员   人格选拔与评估  

描述： 男性被试,其中飞行人员510名,非飞行人员510名,采用卡特尔16项人格测试对其进行测验,施测后对得到的16项因子分采用支持向量机就随机划分的训练组和测试组进行学习,分析学习结果。结果:挑选出4项因子

民航空管自动化系统中飞行电报自动化处理

作者： 王静   来源： 中国新通信 年份： 2017 文献类型 ： 期刊 关键词： 飞行数据   飞行电报   自动化处理   民航空管   自动化系统  

描述： 中最为重要的就是信息数据的传播,科学的飞行数据传输对机组人员管理飞行计划有着非常大的帮助,这样做是为了更全面地进行飞机管理工作,加强航空管理工作的成效。准确的信息传播利用网络计算机的科学技术对飞行电报展开自动辨识,以此对飞机在航行期间的计划进行适当的整改。根本目标是能够将飞行电报实现自动化的处理。

航路飞行航空器冲突风险建模与灵敏度分析

作者： 李冰冰   来源： 军事交通学院学报 年份： 2017 文献类型 ： 期刊 关键词： 航路飞行   灵敏度分析   安全评估   冲突概率   冲突风险  

描述： 航空器间冲突风险建模与分析是飞行冲突识别和评估的关键技术。以同航路不同高度层飞行的航空器为研究对象,考虑分别应用纵向/侧向/垂直间隔标准以及水平/垂直间隔标准两种情况,基于概率分析方法分别建立不同