国家重点基础研究发展计划(2014CB744904)
- 作品数：40 被引量：121H指数：6
- 相关作者：周德新魏欧马腾达王凯樊智勇更多>>
- 相关机构：中国民航大学南京航空航天大学南京大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术机械工程环境科学与工程更多>>
- 机载远程数据集中器协议转换方法研究被引量：3
- 2015年
- 针对机载远程数据集中器(RDC)的数据转换功能,在对ARINC429和AFDX两种机载数据总线分析的基础上,提出了一种基于配置信息中虚拟链路(VL,virtual link)与ARINC429数据标号的适配关系的数据转换方法;对RDC功能需求进行分析并给出整体设计方案,采用模块化设计并对各模块功能进行了详细的介绍,其中配置信息模块的应用增加了RDC数据转换功能的灵活性;在新型航电系统架构下,通过对RDC之间基于VL的通信过程中的数据转换过程进行仿真和分析,验证此方法的可行性;协议转换方法的研究为RDC的整体功能仿真研究奠定了基础。
- 周德新赵济舟马腾达
- 关键词：ARINC429AFDX标号
- 基于ARINC661规范的平视显示器显示技术研究被引量：6
- 2015年
- 作为新一代驾驶舱显示系统的行业标准,ARINC661规范推动着整个航空机载电子设备的发展;针对传统的定制式平视显示器显示形式,根据其工作原理,提出了基于ARINC661规范的整体设计方案,并对具体的功能模块及通信过程进行了详细研究;为提高系统的实时性,在UA模块运用了NNAF数据挖掘算法实现对飞行参数的预处理,在渲染模块采用了深度优先搜索算法进行遍历,并给出设计实例对系统进行验证,结果表明基于ARINC661规范的平视显示器开发更具有开放性和扩展性。
- 周德新张婧瑜
- 基于线性时间算法的故障树模块扩展分解方法被引量：4
- 2019年
- 故障树分析被广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析中。然而,像核电站等大型工业所使用的大型故障树的分析需要耗费大量的计算资源,导致分析效率低下,时间消耗过多。为了解决此问题,对现有的线性时间算法进行改进,提出新的故障树简化规则和模块扩展分解算法。首先提出等效事件的概念,扩展线性时间算法所分解的模块数;在考虑时间复杂度和资源利用率的基础上,提出一套新的简化规则,以合理地去除故障树中的冗余信息。实验证明,提出的分解方法能有效地优化故障树分析,进一步减少大型故障树分析的计算时间和内存消耗。
- 宋俊花魏欧
- 基于多传感器融合的四旋翼飞行器姿态监控被引量：5
- 2015年
- 设计了一种基于多传感器融合的四旋翼飞行器姿态监控系统。在有限的单片机计算资源下,通过卡尔曼滤波,对陀螺仪、加速度计和磁强计的测量数据进行数据融合,解算出姿态信息。减小了因电机引起的振动、低成本微机电系统(MEMS)传感器误差较大等因素对姿态信息解算时造成的干扰。通过无线将姿态信息传输至上位机,以民航客机中的主飞行显示器(PFD)形式,对飞行参数进行直观的图形化显示,实现了对四旋翼飞行器的姿态进行监控。
- 王凯马腾达周德新
- 关键词：多传感器融合四旋翼姿态解算MEMSPFD
- 基于Internet控制的四旋翼无人机系统的研究与设计被引量：1
- 2015年
- 针对当前四旋翼无人机控制距离和控制方式的局限性,提出通过3G网络,将四旋翼无人机连接到Internet,分别设计了客户控制端、服务器端及无人机的硬件和软件系统,实现了在任意网络终端对3G网络覆盖范围内无人机的飞行方向控制和导航路径规划。客户控制端能进行控制命令的发送和飞行数据显示。服务器端具有登录管理及客户控制端与无人机之间的数据转发功能。无人机内环对姿态角进行PID控制,外环对高度和GPS位置进行控制。结果表明,客户控制端能通过发送目标姿态角和目标高度实现对无人机前后左右等运动方向的控制,通过发送路径点坐标可实现对无人机的路径导航。
- 孙毅刚孙立刘静雅杨宇
- 关键词：四旋翼网络导航
- 基于四旋翼飞行器的飞行航迹规划方法研究被引量：6
- 2014年
- 由于飞行器的实际飞行环境复杂多变,且飞行过程受到诸多因素的限制,因此规划环境的正确建立和规划算法的恰当选择成为航迹规划的关键问题。以小型四旋翼飞行器为研究对象,针对室内飞行环境,对航迹规划进行了研究。针对室内飞行环境,进行了三维建模,设计出了仿真平台。考虑到航迹规划问题对算法计算速度的要求,采用快速扩展随机树(RRT)算法进行航迹规划,并针对算法存在的不足,进行了改进。在Matlab环境中,通过平台的实际运行,进行仿真,并对仿真结果进行比较分析,得出结论,证明了改进的RRT算法确实有效,大大提高了运行效率,为飞行器航迹规划提供了依据。
- 王凯张维周德新
- 关键词：四旋翼飞行器航迹规划三维建模
- 概率模型检测的网络传播干预策略被引量：1
- 2017年
- 网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护两种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似模型检测方法,进行了实验分析.
- 李宙洲魏欧郭宗豪余鹏韩兰胜
- 关键词：概率模型检测形式化方法
- 一种基于AADL的IMA系统配置信息的正确性检测方法被引量：1
- 2014年
- 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。
- 胡军马金晶袁翔刘雪
- 关键词：软件可靠性测试AADLREAL
- 应用改进的遗传算法优化软件产品线特征选择被引量：7
- 2017年
- 软件产品线工程是一个利用更全面的软件复用技术能够在开发成本和产品上市时间方面极大改善软件开发过程的有效方式.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征以及特征之间关系的需求模型.基于特征模型的产品配置难点在于如何从复杂的特征模型中选择满足约束条件的最优的特征组合,如资源约束等.为了实现有约束的特征选择优化问题,提出一种基于原子集和遗传算法优化特征选择的方法.该方法是在原子集优化特征模型基础上,利用特征模型的整体约束信息将种群分为有效配置和无效配置,对有效配置和无效配置进行交叉等遗传操作使其加速向最优解收敛.实验结果说明了该方法的有效性.
- 刘玉梅魏欧黄鸣宇王立松
- 关键词：遗传算法
- 新型飞机的机载CMCF通讯模型实现
- 2017年
- 针对国内缺乏对新型飞机通讯模型研究的状况,本文在研究波音787和空客380通讯模型基础上,按照ARINC624规范,建立了一种中央维护计算功能(CMCF)系统的通讯模型,并经过搭建硬件测试平台和系统数据测试,验证模型符合ARINC规范,这对国内对机载维护系统的研究和对国产大飞机C919的的研究有一定的现实意义。
- 樊智勇闫小谦
- 关键词：AFDX
