IMU/GPS辅助航空摄影测量技术方法应用研究——以贵阳市航空摄影测量项目为例

作者： 石平   张文安   来源： 测绘通报 年份： 2016 文献类型 ： 期刊 关键词： 惯性测量单元(IMU)　　GPS　　DMC数码相机　　IMU/GPS辅助空三　　精度分析  

描述： 通过贵阳市航空摄影测量项目的实施,形成了一套有效可行的IMU/GPS辅助航空摄影测量技术方法。介绍了项目所采用的检校场的布设方法、IMU/GPS辅助光束法区域网像控布点方法,以及IMU/GPS辅助

基于CREAM和IDAC综合分析法的自由飞行下航空器碰撞风险评估

作者： 吕宗平   王松涛   张兆宁   来源： 安全与环境工程 年份： 2017 文献类型 ： 期刊 关键词： 通信导航监视性能   碰撞风险评估   人为因素   CREAM和IDAC   定位误差   自由飞行   航空器  

描述： 微分方程进行分析,人为因素采用CREAM和IDAC相结合的综合分析法进行研究,并建立相应的碰撞风险模型,对航空器飞行安全间距的安全性进行评估。最后,对所建模型进行实例验证,结果证实了模型的可行性。

对民用航空法修订征求意见稿的若干修改意见——以国际民用航空安保条约为视角

作者： 张卫华   来源： 北京航空航天大学学报(社会科学版) 年份： 2017 文献类型 ： 期刊 关键词： 非法干扰行为   《东京公约》   国际民用航空安保条约   《芝加哥公约》   《海牙公约》   民用航空法   《蒙特利尔公约》  

描述： 围绕中国《中华人民共和国民用航空法》(修订征求意见稿),从国际民用航空安保条约的角度出发,在深入分析国际条约对于危害民用航空安全的非法干扰行为的列举清单和管辖权的基础上,建议中国的新民航法应当在不同

基于CREAM和IDAC综合分析法的自由飞行下航空器碰撞风险评估

作者： 吕宗平   王松涛   张兆宁   来源： 安全与环境工程 年份： 2017 文献类型 ： 期刊 关键词： 通信导航监视性能   碰撞风险评估   人为因素   CREAM和IDAC   定位误差   自由飞行   航空器  

描述： 基于CREAM和IDAC综合分析法的自由飞行下航空器碰撞风险评估

基于QFD技术的商用航空发动机控制系统关键技术识别方法

作者： 黄浏   来源： 制造业自动化 年份： 2017 文献类型 ： 期刊 关键词： 筛选   识别   关键技术   QFD技术  

描述： 基于QFD技术的商用航空发动机控制系统关键技术识别方法

OESM辅助的高分辨率航空正射影像拼接线自动检测算法

作者： 荣利会   戴晨光   聂海滨   仇多兵   来源： 测绘科学技术学报 年份： 2017 文献类型 ： 期刊 关键词： 拼接线   数字正射影像   影像高程同步模型   自动检测   城市区域  

描述： "162-167"

全文："162-167"

OESM辅助的高分辨率航空正射影像拼接线自动检测算法

作者： 荣利会   戴晨光   聂海滨   仇多兵   来源： 测绘科学技术学报 年份： 2017 文献类型 ： 期刊 关键词： 拼接线   数字正射影像   影像高程同步模型   自动检测   城市区域  

描述： 针对常规拼接线检测算法在城市区域影像镶嵌时容易出现拼接线穿越建筑物从而破坏地物完整性的问题,提出了一种影像高程同步模型(OESM)辅助的拼接线自动检测算法。该算法首先通过对OESM模型规格化处理标识正射影像中的地物目标;然后在非地物目标区利用改进贪婪蛇算法检测拼接线。通过对建筑物密集分布的城市区域影像进行拼接线检测实验表明,该算法是一种理想的拼接线检测算法。

OESM辅助的高分辨率航空正射影像拼接线自动检测算法

作者： 荣利会   戴晨光   聂海滨   仇多兵   来源： 测绘科学技术学报 年份： 2017 文献类型 ： 期刊 关键词： 拼接线   数字正射影像   影像高程同步模型   自动检测   城市区域  

描述： 针对常规拼接线检测算法在城市区域影像镶嵌时容易出现拼接线穿越建筑物从而破坏地物完整性的问题,提出了一种影像高程同步模型(OESM)辅助的拼接线自动检测算法。该算法首先通过对OESM模型规格化处理标识正射影像中的地物目标;然后在非地物目标区利用改进贪婪蛇算法检测拼接线。通过对建筑物密集分布的城市区域影像进行拼接线检测实验表明,该算法是一种理想的拼接线检测算法。

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

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

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

A-SMGCS航空器滑行时间延迟的滑行路由实时更新算法

作者： 唐志星   朱新平   夏正洪   来源： 科学技术与工程 年份： 2017 文献类型 ： 期刊 关键词： A   路由实时更新   空中交通管制   SMGCS   机场   滑行时间延迟  

描述： 在先进场面活动引导和控制系统(advanced surface movement guidance and control systems,A-SMGCS)中,针对航空器滑行时间延迟而导致场面运行效率和安全水平的降低,提出一种集成场面态势监测的滑行路由实时更新算法。该算法采用局部路由更新方式,首先采用时间窗约束Petri网建立航班滑行时间延迟时的场面局部模型;其次,定义模型中库所对应时间窗的合并运算规则;并据此展开局部模型约简,进而得到约简模型中航班滑行冲突判定条件;再次,以最小化航班在冲突区域的滑行成本为目标,实现了相关航班局部滑行路由优化同时保证了对原路由扰动最小;最后,通过算例验证了所提滑行路由实时更新方法的有效性。