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

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

描述： Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。

民主党派两会提案聚焦资源环境“新四样”：着手制定“海十条” 大湾区蓝天保卫战先治理航空港

作者： 本报记者   危昱萍   来源： 21世纪经济报道 年份： 2019 文献类型 ： 报纸 关键词： 民建中央   区域转移   航空港   十条   聚焦资源   海洋环境保护   海洋生态   民进中央   农工党   长江经济带  

描述： 两会前瞻·提案议案粤港澳大湾区空港密集且负荷大，所排放的氮氧化物和碳氢化合物对PM2.5和臭氧污染生成具有重要影响。若空港大气污染得以改善，无疑将直接改善该区域的空气质量，而这部分恰恰是大湾区大气治理的薄弱环节。全国两会时间临近。资源环境历来是全国两

全文：两会前瞻·提案议案粤港澳大湾区空港密集且负荷大，所排放的氮氧化物和碳氢化合物对PM2.5和臭氧污染生成具有重要影响。若空港大气污染得以改善，无疑将直接改善该区域的空气质量，而这部分恰恰是大湾区大气治理的薄弱环节。全国两会时间临近。资源环境历来是全国两

《航空高压直流供电系统中三相Vienna整流器的控制策略研究》之一——基于新型开关表的Vienna整流器直接电流控制策略

作者： 李颖晖   吴辰   李勐   刘聪   韩建定   雷晓犇   朱喜华   来源： 大电机技术 年份： 2019 文献类型 ： 期刊 关键词： 开关表   Vienna整流器   中点电位平衡   直接电流控制  

描述： 针对三相Vienna整流器中电压矢量选择少,不能同时满足交流电流和中点电位调节需求的问题,提出了一种优先调节交流电流,兼顾调节中点电位的新型开关表设计方法。首先,分析并确定了每个电流扇区的8个电压矢量对交流电流的dq分量(id、iq)、上下电容电压差的影响;然后,根据上述分析结论,在开关表的设计中,利用对交流电流影响相同,对中点电位影响相反的一对冗余小矢量代替了传统开关表中对应调节目标的电压矢量,在保持交流电流调节能力的前提下提高了中点电位的调节能力;最后借助仿真和实验平台验证了该新型开关表的有效性,结果表明设计的新型开关表具有良好的交流电流和中点电位调节能力。

五尺钳台,炼就青年匠人——记十三届“振兴杯”全国青年职业技能大赛江西省赛区模具钳工第一名航空工业昌飞青年技师刘阳

作者： 胡飞   来源： 中国军转民 年份： 2019 文献类型 ： 期刊 关键词： 第一名   模具厂   江西省   航空工业   技能大赛   模具钳工  

描述： 钳工第一名获得者,并代表江西省参赛获全国第十九名,他还是航空工业昌飞模具厂最年轻的模具钳工技师。刘阳初次接触钳工还是在技校,2003年,作为昌河技校的最后一批学生,当他看到一个个冰冷的

4400MHz—4500MHz频段IMT与航空无线电导航业务共存研究

作者： 王宝聪   张炎炎   李欣   刘娜   石会鹏   来源： 移动通信 年份： 2019 文献类型 ： 期刊 关键词： IMT   共存与兼容性研究   2020   无线电高度计  

描述： WRC-15为国际移动通信系统新增了三段频率,对于其中的4400MHz—4500MHz频段,工作在该频段的IMT系统与4200MHz—4400MHz频段的航空无线电导航业务会存在共存的问题。针对两种

基于“工匠精神”的机械创新设计实践课程探索与研究——以西安航空学院机械创新设计实践课程为例

作者： 周欣   宋敏   周小勇   王鹏   来源： 西安航空学院学报 年份： 2019 文献类型 ： 期刊 关键词： 计算机辅助工程   实践教学   机械创新   “工匠精神”  

描述： 近年来,机械设计学科发生了巨大变革,而目前的机械创新设计综合实践课程的教学内容却更新缓慢,教学改革势在必行。以西安航空学院机械创新设计实践课程建设为例,结合计算机辅助工程技术在机械设计的发展与应用及

那个敢说“顾客第二”的人去了——美国西南航空创始人赫伯·凯莱赫(Herb Kelleher)的传奇

作者： 顾乡   来源： 大飞机 年份： 2019 文献类型 ： 期刊 关键词： Kelleher   西南航空   创始人   航空公司   Herb  

描述： 2019年1月3日,美国西南航空公司创始人赫伯·凯莱赫(Herb Kelleher)在达拉斯去世,享年87岁。一位航空业传奇人物就此隐入星空,但他所开创的低成本航空模式早已在全球推广,彻底改变

文化传承创新:高校“双一流”建设的活力所在——访北京航空航天大学人文与社会科学高等研究院院长蔡劲松

作者： 张力玮   来源： 世界教育信息 年份： 2019 文献类型 ： 期刊 关键词： 研究院   蔡劲松   社会科学   人文艺术   文化传承创新  

描述： 蔡劲松,北京航空航天大学人文社会科学学院(公共管理学院)院长、人文与社会科学高等研究院院长、文化与艺术传播研究院执行院长、艺术馆馆长,教授、博士生导师;中国作家协会会员、中国美术家协会会员、中国城

《航空高压直流供电系统中三相Vienna整流器的控制策略研究》之二——基于模糊幂次趋近律的双闭环滑模控制策略研究

作者： 吴辰   李颖晖   李勐   韩建定   雷晓犇   朱喜华   刘聪   来源： 大电机技术 年份： 2019 文献类型 ： 期刊 关键词： 滑模控制   Vienna整流器   幂次趋近律   中点电位平衡  

描述： 针对传统的幂次趋近律在远离滑模面时趋近速度较小的问题,提出了一种基于模糊幂次趋近律的双闭环滑模控制策略。通过建立模糊规则,使趋近律的幂次能够根据系统状态进行相应调节,保证了其在远离和接近滑模面时均能保持较高的趋近速度。通过对广义滑模条件和到达时间有界的证明,从理论上证明了该趋近律能够使系统在有限时间内到达参考值;在此基础上,将幂次趋近律应用到Vienna整流器的控制闭环中,内、外环分别采用了直接电流控制和输出电压控制,且为提高中点电位的调节能力,将上下电容电压值均作为输入量加入到外环控制器中;仿真和实验结果表明,相比传统的PI控制策略,该滑模控制策略具有更好的动态、稳态和鲁棒性能,中点电位调节能力也显著提高。

基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析

作者： 刘博   游旭群   来源： 第二十二届全国心理学学术会议 年份： 2019 文献类型 ： 会议论文 关键词： 空乘人员   安全绩效   人工神经网络   PSO   BP  

描述： 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析