关键词
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
作者: 李勇   曹子宁   来源: 计算机技术与发展 年份: 2019 文献类型 : 期刊 关键词: 模型检测   E   RSML   Nu   SMV   形式化方法  
描述: Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
民主党派两会提案聚焦资源环境“新四样”:着手制定“海十条” 大湾区蓝天保卫战先治理航空
作者: 本报记者   危昱萍   来源: 21世纪经济报道 年份: 2019 文献类型 : 报纸 关键词: 民建中央   区域转移   航空港   十条   聚焦资源   海洋环境保护   海洋生态   民进中央   农工党   长江经济带  
描述: 两会前瞻·提案议案粤港澳大湾区空港密集且负荷大,所排放的氮氧化物和碳氢化合物对PM2.5和臭氧污染生成具有重要影响。若空港大气污染得以改善,无疑将直接改善该区域的空气质量,而这部分恰恰是大湾区大气治理的薄弱环节。全国两会时间临近。资源环境历来是全国两
全文:两会前瞻·提案议案粤港澳大湾区空港密集且负荷大,所排放的氮氧化物和碳氢化合物对PM2.5和臭氧污染生成具有重要影响。若空港大气污染得以改善,无疑将直接改善该区域的空气质量,而这部分恰恰是大湾区大气治理的薄弱环节。全国两会时间临近。资源环境历来是全国两
航空高压直流供电系统中三相Vienna整流器的控制策略研究》之一——基于新型开关表的Vienna整流器直接电流控制策略
作者: 李颖晖   吴辰   李勐   刘聪   韩建定   雷晓犇   朱喜华   来源: 大电机技术 年份: 2019 文献类型 : 期刊 关键词: 开关表   Vienna整流器   中点电位平衡   直接电流控制  
描述: 针对三相Vienna整流器中电压矢量选择少,不能同时满足交流电流和中点电位调节需求的问题,提出了一种优先调节交流电流,兼顾调节中点电位的新型开关表设计方法。首先,分析并确定了每个电流扇区的8个电压矢量对交流电流的dq分量(id、iq)、上下电容电压差的影响;然后,根据上述分析结论,在开关表的设计中,利用对交流电流影响相同,对中点电位影响相反的一对冗余小矢量代替了传统开关表中对应调节目标的电压矢量,在保持交流电流调节能力的前提下提高了中点电位的调节能力;最后借助仿真和实验平台验证了该新型开关表的有效性,结果表明设计的新型开关表具有良好的交流电流和中点电位调节能力。
全面从严治党视域下高校基层党组织强化党建实践路径的探索——以沈阳航空航天大学电子信息工程学院为例
作者: 吴男   谭红   来源: 科教导刊(上旬刊) 年份: 2019 文献类型 : 期刊 关键词: 实践路径   从严治党   基层党组织   高校  
描述: 新时代对高校基层党组织落实全面从严治党提出了更高的要求。当前,在高校基层党组织党建工作中仍然存在一定的不足,全面从严治党责任落实不到位,基层党组织政治生活不严谨,党员领导干部主动担当精神不突出。高校基层党组织要紧密结合工作实际,要强化顶层设计、深化学习教育、抓好规划建设、促进科学发展。
五尺钳台,炼就青年匠人——记十三届“振兴杯”全国青年职业技能大赛江西省赛区模具钳工第一名航空工业昌飞青年技师刘阳
作者: 胡飞   来源: 中国军转民 年份: 2019 文献类型 : 期刊 关键词: 第一名   模具厂   江西省   航空工业   技能大赛   模具钳工  
描述: 钳工第一名获得者,并代表江西省参赛获全国第十九名,他还是航空工业昌飞模具厂最年轻的模具钳工技师。刘阳初次接触钳工还是在技校,2003年,作为昌河技校的最后一批学生,当他看到一个个冰冷的
4400MHz—4500MHz频段IMT与航空无线电导航业务共存研究
作者: 王宝聪   张炎炎   李欣   刘娜   石会鹏   来源: 移动通信 年份: 2019 文献类型 : 期刊 关键词: IMT   共存与兼容性研究   2020   无线电高度计  
描述: WRC-15为国际移动通信系统新增了三段频率,对于其中的4400MHz—4500MHz频段,工作在该频段的IMT系统与4200MHz—4400MHz频段的航空无线电导航业务会存在共存的问题。针对两种
基于“工匠精神”的机械创新设计实践课程探索与研究——以西安航空学院机械创新设计实践课程为例
作者: 周欣   宋敏   周小勇   王鹏   来源: 西安航空学院学报 年份: 2019 文献类型 : 期刊 关键词: 计算机辅助工程   实践教学   机械创新   “工匠精神”  
描述: 近年来,机械设计学科发生了巨大变革,而目前的机械创新设计综合实践课程的教学内容却更新缓慢,教学改革势在必行。以西安航空学院机械创新设计实践课程建设为例,结合计算机辅助工程技术在机械设计的发展与应用及
基于航天航空应用型人才培养的机械工程课程体系改革——以桂林航天工业学院为例
作者: 霍佳波   来源: 教育观察 年份: 2019 文献类型 : 期刊 关键词: 实践教学   航空航天   机械工程课程体系  
描述: 桂林航天工业学院机械工程课程体系存在与地方经济发展吻合度较低、缺乏系统性、课程设置重理论轻工程应用等问题,为实现培养面向航天航空领域机械工程专业的应用型人才的目标,应从以下几方面进行改革:构建
那个敢说“顾客第二”的人去了——美国西南航空创始人赫伯·凯莱赫(Herb Kelleher)的传奇
作者: 顾乡   来源: 大飞机 年份: 2019 文献类型 : 期刊 关键词: Kelleher   西南航空   创始人   航空公司   Herb  
描述: 20191月3日,美国西南航空公司创始人赫伯·凯莱赫(Herb Kelleher)在达拉斯去世,享年87岁。一位航空业传奇人物就此隐入星空,但他所开创的低成本航空模式早已在全球推广,彻底改变
文化传承创新:高校“双一流”建设的活力所在——访北京航空航天大学人文与社会科学高等研究院院长蔡劲松
作者: 张力玮   来源: 世界教育信息 年份: 2019 文献类型 : 期刊 关键词: 研究院   蔡劲松   社会科学   人文艺术   文化传承创新  
描述: 蔡劲松,北京航空航天大学人文社会科学学院(公共管理学院)院长、人文与社会科学高等研究院院长、文化与艺术传播研究院执行院长、艺术馆馆长,教授、博士生导师;中国作家协会会员、中国美术家协会会员、中国城
< 1 2 3 ... 410 411 412
Rss订阅