大风起于青萍之末：法律风险系统化对民航企业风控管理的新挑战

作者： 民航局政策法规司副司长   郭仁刚   来源： 中国民航报 年份： 2017 文献类型 ： 报纸 关键词： 民航企业   证券融资   法律风险   违规企业   公务机   青萍之末   企事业单位   国际民航组织   民航行业   违法成本  

描述： 2017年2月14日，民航局和证监会联合发布了《关于开展信息共享和监管协作有关事项的通知》（证监发【2017】14号），没有新闻发布会，也没有大张旗鼓，文件也不长，核心的内容包括：信息共享、监管协作、联合惩戒。简单来说，就是民航局和证监会要联手，对违规企业进行联合惩戒

全文：2017年2月14日，民航局和证监会联合发布了《关于开展信息共享和监管协作有关事项的通知》（证监发【2017】14号），没有新闻发布会，也没有大张旗鼓，文件也不长，核心的内容包括：信息共享、监管协作、联合惩戒。简单来说，就是民航局和证监会要联手，对违规企业进行联合惩戒

基于扩展Petri网的飞机总装脉动生产线建模仿真及优化方法研究

作者： 柴猛   来源： 南京理工大学 年份： 2017 文献类型 ： 学位论文 关键词： 动态调度   DELMIAV6建模仿真   二次开发   飞机总装脉动生产线   站位优化   扩展Petri网(OOHTPN)  

描述： 随着航空技术的高速发展和市场需求的增加,飞机制造模式正不断转变,缩短制造周期和实现快速响应已成为当务之急,先进的脉动式装配已成为该背景下飞机总装作业模式发展的必然趋势。脉动式总装通过站位划分的方法能够大幅度减少装配时间,其柔性特征亦能够很好适应当前飞机生产小批量多品种的特点,开展与之相关的研究意义重大。本文以飞机总装脉动生产线规划设计为背景,深入研究总装脉动线建模仿真与优化技术,具体工作如下:首先,分析飞机总装脉动线作业模式及内容,在现有装配线平衡优化研究的基础上结合总装脉动线特点,针对性提出脉动线性能和可靠性评价指标。其次,结合复杂离散系统建模方法和实际飞机总装配过程,提出基于面向对象分层赋时 Petri 网(Object-Oriented Hierarchical Timed Petri Nets,OOHTPN)的扩展 Petri 网的总装建模方法,论述模型特性分析方法和建模步骤,并以部分总装指令为实例进行验证。再次,在对实际站位划分环境和作业时间分析定义的基础上,提出以装配周期最短、站位利用率最高等为目标求解最小站位数的数学模型,研究基于OOHTPN总装模型的启发式运算方法并以实例验证模型的合理性和求解方法的正确性。由于实际总装线受到诸多不确定因素和随机事件的影响,提出基于优先规则的动态调度策略和优化算法来维护脉动线的正常作业。最后,开展基于DELMIA V6软件平台的总装脉动线模型在逻辑层和资源层的仿真与优化技术研究,定义OOHTPN模型至DELMIA V6仿真模型的映射规则,制定仿真策略并对结果进行分析,对站位划分研究进行验证和改进。为便于总装线模型仿真,对DELMIA V6进行二次开发,增加产品层次快速划分功能用以实现仿真模型的快速建立,增加仿真策略用以实现和实际装配的关联与监控,增加仿真结果输出功能用以指导实际装配作业。

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

作者： 李勇   曹子宁   来源： 计算机技术与发展 年份： 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网建立航班滑行时间延迟时的场面局部模型;其次,定义模型中库所对应时间窗的合并运算规则;并据此展开局部模型约简,进而得到约简模型中航班滑行冲突判定条件;再次,以最小化航班在冲突区域的滑行成本为目标,实现了相关航班局部滑行路由优化同时保证了对原路由扰动最小;最后,通过算例验证了所提滑行路由实时更新方法的有效性。

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

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

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

基于DEA-Malmquist方法的中国航天航空制造业区域技术创新效率研究

作者： 邵云飞   党雁   来源： 科技和产业 年份： 2017 文献类型 ： 期刊 关键词： 技术创新   DEA模型   技术创新效率   Malmquist指数  

描述： 基于生产前沿面的数据包络分析法,以1996-2014年鉴中中国航天航空制造业东、中、西三大区域的面板数据为样本,利用DEA-Malmquist指数法,研究了中国航天航空制造业的技术创新效率并进

对航天器、航空器、铁路机车、船舶涉及公共安全的无线电频率法律保障的解读

作者： 马子健   来源： 人民邮电 年份： 2017 文献类型 ： 报纸 关键词： 情节特别严重   通信联系   情节严重   通用航空   无线电通讯   安全通信   铁路机车   民用航空局   法律保障   无线电频率  

描述： 2017年7月1日，《最高人民法院、最高人民检察院关于办理扰乱无线电通讯管理秩序等刑事案件适用法律若干问题的解释》正式实施。这是在《刑法修正案（九）》、《中华人民共和国无线电管理条例（修订）》实施后，国家对涉及干扰无线电正常使用、特别是扰乱无线电通信管理秩序的

全文：2017年7月1日，《最高人民法院、最高人民检察院关于办理扰乱无线电通讯管理秩序等刑事案件适用法律若干问题的解释》正式实施。这是在《刑法修正案（九）》、《中华人民共和国无线电管理条例（修订）》实施后，国家对涉及干扰无线电正常使用、特别是扰乱无线电通信管理秩序的