Optimization of bits allocation and path planning with trajectory constraint in UAV-enabled mobile edge computing system

In this paper, an Unmanned Aerial Vehicle (UAV) enabled Mobile Edge Computing (MEC) system is studied, in which UAV acts as server to offer computing offloading service to the Mobile Users (MUs) with limited computing capability and energy budget. We aim to minimize the total energy consumption of MUs by jointly optimizing the bit allocation for uplink, computing at the UAV and downlink, along with the UAV trajectory in a unified framework. To this end, a trajectory constraint model is employed to avoid sudden changes of velocity and acceleration during flying. Due to high-order information in use, we lead to a more reasonable nonconvex optimization problem than prior arts. An Alternating Direction Method of Multipliers (ADMM) method is introduced to solve the optimization problem, which is decomposed into a set of easy sub-problems, to meet the requirement on the efficiency in edge computing. Numerical results demonstrate that our approach leads a smoother UAV trajectory, significantly save the energy consumption for UAV during flying.     

独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

机载超轻量化卷积神经网络加速器设计

卷积神经网络庞大的权重参数和复杂的网络层结构,使其计算复杂度过高,所需的计算资源和存储资源也随着网络层数的增加而快速增长,难以在资源和功耗有严苛要求的机载嵌入式计算系统中部署,制约了机载嵌入式计算系统朝着高智能化发展。针对资源受限的机载嵌入式计算系统对超轻量化智能计算的需求,提出一套全流程的卷积神经网络模型优化加速方法,在对算法模型进行超轻量化处理后,通过组合加速算子搭建卷积神经网络加速器,并基于FPGA开展网络模型推理过程的功能验证。结果证明：本文搭建的加速器能够显著降低硬件资源占用率,获得良好的算法加速比,对机载嵌入式智能计算系统设计具有重要意义。     

基于模糊变结构的空间飞行器姿态控制

根据空间飞行器姿态系统具有非线性、强耦合、多输入多输出的特点,对飞行器姿态模型的非线性和不确定性,提出分散模糊变结构控制方法。利用模糊系统对不确定性函数进行逼近,将获得的模糊系统函数作为系统不确定性界函数,对模糊逼近所带来的误差以及外部干扰项,采用控制补偿方法。理论分析和仿真研究表明,提出的控制方法具有姿态跟踪精度高,实时计算量小,便于工程实现等优点。     

纤维位置随机引起的复合材料性能分散性研究

采用Monte-Carlo方法分别用均匀分布和正态分布模拟复合材料纤维中心位置的随机变化,得到材料截面图像。然后用像素对材料截面图进行网格划分,作为通用单胞模型的输入,计算出复合材料性能的子样。最后用数理统计的方法处理数据得到材料性能的统计特性数据。分析结果表明:本文采用的模拟方法是合理有效的。由纤维位置变化引起的材料分散性随纤维体积比的变化先增大然后减小。三参数威布尔分布和正态分布较好地描述了各个弹性参数的分布。      

基于UAT数据链的ADS-B机载系统的设计与实现

介绍了UAT和ADS-B的含义及相互关系,详细描述了基于UAT的ADS—B机载系统的组成和工作原理,并在此基础上给出了UAT机载设备的处理流程和设计方法。     

波音757客改货项目的研发与实施

对于民用航空维修企业来说,客机改货机项目是一项工程庞大、技术复杂、改装系统最多的大型改装工作,其改装过程涉及专业面广,各专业交叉,配合多,对各类资源保障要求高。如何科学调配人力、如何在改装周期内控制进度是改装成败的关键。本文介绍了成都基地首架波音757客改货飞机从研发到实施的成功经验,可供MRO企业组织研发和实施大型维修项目时借鉴。     

航空铆钉的动态力学性能测试

在飞机鸟撞的课题研究中,数值模拟占据着日益重要的地位,而数值模拟的精度在很大程度上依赖于铆钉力学参数的准确性,但是目前航空铆钉的动态力学性能参数还很匮乏。本文测定了航空铝合金铆钉在不同加载速度下的剪切和拉伸力学性能。设计了基于分离式Hopkinson拉杆系统的铆钉动态性能测试装置,并利用此装置对7种不同型号的航空铆钉进行了动态剪切和拉伸试验,得到了每种型号铆钉的动态力学性能。利用电子万能试验机对7种铆钉进行了两种应变率下的准静态剪切和拉伸试验,并且和动态试验结果进行对比。讨论了加载速度、加载形式、铆钉直径以及铆钉形式对铆钉力学性能的影响,并利用扫描电子显微镜(SEM)观察了铆钉剪切破坏以及拉伸破坏的断口形貌,分析了其破坏形式。本文的研究结果对于航空铝合金铆钉在工程中的应用、尤其是在抗冲击领域的应用具有指导意义。     

基于UDDI的应用服务注册中心的设计与实现

Web服务是当前基于Web的分布式计算与应用的关键技术基础.通用描述发现集成协议(UDDI)是Web服务的核心技术标准,提供了Web服务的信息注册查找规范,解决了Web服务的描述、发布以及查找问题.UDDI规范仅提供了标准接口及数据结构,缺乏对UDDI注册中心的安全性、可管理性等明确的定义和实现机制.基于Web服务及UDDI技术分析,设计实现了基于UDDI的应用服务注册中心(ASC).ASC由ASC客户端、ASC服务器、ASC管理控制台组成,支持Web服务的发布、查找、管理等操作.根据实际应用需求,设计并实现了发布者声明关联匹配算法,扩展了UDDI标准的应用编程接口,提供了安全、管理等功能,形成了一个具有较强安全性和易管理性的应用服务注册系统.     

基于ATML标准的卫星控制系统通用化测试平台

针对卫星控制系统测试通用化需求,提出了基于ATS（automated test system）结构及ATML（automatic test markup language）标准的测试平台实现方案.将通用测试平台分为通用测试站、测试适配器、综合开发及运行环境三部分.通过ATML标准及面向信号的系统描述方式,使得测试需求和测试能力解耦.根据通用测试平台提供的测试能力,按照不同卫星的测试需求对其进行配置,能够实现测试平台的通用化.