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.     

航天测控系统自主运行的关键技术

航天事业发展趋势和未来需求指明,航天测控系统应该向以自主运行能力为代表特征的智能化方向发展。基于此,提出了标准化的支持与服务、映射现实的体系架构、实时响应的运行模式、服务化的基础平台等4项关键技术。通过将测控系统和卫星系统之间的接口、测控系统和用户系统之间的接口标准化,从而在此基础上建立最优化的操作逻辑。通过在计算机中映射现实系统的思想方法,从而产生稳定性和灵活性兼备的、支持自主运行的,并具有良好进化性能的系统架构。通过实时响应的运行模式可以很好满足全时段和突发性等具有挑战性的测控服务需求。通过大数据和云计算技术构建基础计算服务平台实现基础层与业务层分离,有利于整个系统的持续改进,提高服务质量改善的速度,建立竞争力优势。由此说明,在当前技术条件下实现自主运行的航天测控系统是可行的。     

边缘计算在电机远程运维系统中的应用探讨

介绍了边缘计算的基本概念及与云计算的对比。针对电机远程运维需求,介绍了电机远程运维系统的架构及主要功能。在描述边缘侧设备与远程运维平台的数据交互过程的基础上,详细阐述了边缘计算在电机远程运维系统中的应用。     

CFD软件自动化验证确认云平台设计与实现

针对大型计算流体力学(CFD)软件的验证与确认,为了减少人工成本,提高软件质量和开发效率,并适应于未来高性能计算发展的要求,基于云计算思想,提出了自动化测试云平台的解决方案。该方案采用模块化的浏览器/服务器(B/S)网络架构;利用LAMP(Linux+Apache+MySQL+PHP/Python)开发工具;建立了持续集成的专业数据库;构建了涵盖可靠集群监控、复杂作业调度及大规模并行计算功能的云端环境;实现了通过便捷的网络访问,自动加载测试算例、提交集群计算、监测实时进度、自动化后处理、输出分析结果,并提供丰富的实验对比图、误差分析报表和汇总报告等;完成了对大型CFD软件的自动化验证与确认。将该方案应用于某大规模并行计算的CFD软件,验证了该解决方案的可行性与实用性。     

基于嵌入式FPGA加速ORB算法的遥感影像配准方法

卫星上计算资源有限，星载嵌入式处理器处理遥感影像的配准时通常需要很长的时间。可编程逻辑门阵列（FPGA）利用其内部可编程器件可用于加速图像处理。提出了一种基于Xilinx公司的ZYNQ芯片加速ORB算法的遥感影像配准方法，可用于3000×3000像素尺寸的卫星图像配准，缩短了计算耗时，提升了ORB算法的计算能效比。利用FPGA能够实现真正的并行计算电路，实现ORB算法多支路单层流水线的并行计算结构。采用软硬件结合的方法实现架构，能够处理不同分辨率的图像，可灵活配置特征点的数量。基于设计的加速ORB配准方法，获得了较高准确率。与软件实现相比,OVS-1A遥感影像偏移精度损失低于0.05个像元;GF.4遥感影像偏移精度损失小于0.9个像元。将ORB配准算法流程应用在ZYNQ7020上，耗时减少了57.50%。     

一种基于余代数单子的Web服务形式化模型

为拓展服务计算的形式化研究视野、手段和方法，建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将软件实体抽象成余代数单子，从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义，在此基础上对软件服务进行单子描述，进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后，实现了一个基于单子的Web服务计算平台原型系统，可支持从遗留系统中进行服务抽取、发布、发现和度量等。     

多场耦合计算平台与高超声速热防护结构传热问题研究

从有限元法(FEM)和有限体积法(FVM)的单元特性出发,提出一种具有局部守恒特性的界面载荷插值方法.采用共享内存技术开发适用于通用有限元和计算流体力学(CFD)软件的多场耦合计算平台,并基于分区耦合方式实现流固耦合传热计算.作为验证,分别将ANSYS与Fluent和CFD-FASTRAN软件进行耦合,计算外壁冷却的喷...     

云计算环境下动态用户行为认证的机制、模型与分析

在云计算中,终端用户对云资源软硬件的影响和破坏远比目前用户利用因特网进行资源共享要严重的多,因此相对于用户的身份,用户的行为是否真实可信是云计算研究的一个重要内容。提出了户行为认征的机制,包括行为认证集的确立、行为证据的获得、行为认证的策略,建立相应的随机Petri网模型,并通过量化瞬时变迁的实施概率来模拟不同的认证选择,利用系统达到稳定状态时位置中的平均标记数来评价认证效果,为云计算的安全应用奠定理论和实践基础。     

机载计算技术的新进展

导读:分析了未来信息化技术对航空武器装备和作战方式的影响,提出了机载计算技术的发展方向,并对国际的最新研究情况,包括跨平台分布式计算系统、分布式综合化模块化结构、高组装/功率密度技术、多核处理器应用、高安全机载操作系统、高安全无线网络等,进行了总结,对国内机载计算技术的发展具有一定的参考价值.     

A Parallel Adaptive 3D MHD Scheme for Modeling Coronal and Solar Wind Plasma Flows

A parallel adaptive mesh refinement (AMR) scheme is described for solving the governing equations of ideal magnetohydrodynamics (MHD) in three space dimensions. This solution algorithm makes use of modern finite-volume numerical methodology to provide a combination of high solution accuracy and computational robustness. Efficient and scalable implementations of the method have been developed for massively parallel computer architectures and high performance achieved. Numerical results are discussed for a simplified model of the initiation and evolution of coronal mass ejections (CMEs) in the inner heliosphere. The results demonstrate the potential of this numerical tool for enhancing our understanding of coronal and solar wind plasma processes. This revised version was published online in June 2006 with corrections to the Cover Date.