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.     

高温存储对Sn-Pb-Ni凸点界面金属间化合物生长的影响

倒装焊工艺由于具有信号处理速度快、封装密度高、可靠性高等特点，已广泛应用于高密度集成电路封装工艺中。高可靠倒装焊器件的互连焊点通常采用10Sn90Pb等高铅焊料，该焊料具有剪切强度高、可靠性高等优点，但其熔点高、回流工艺窗口窄等特性给封装工艺带来一定难度，此外该焊料在高温存储环境的可靠性有待进一步提高。本文采用Ni元素对10Sn90Pb焊料进行改性，研究高温存储下Sn-Pb-Ni体系凸点的力学性能以及金属间化合物（Intermetallic compound,IMC）的生长演变规律，以此评估Ni元素对10Sn90Pb凸点可靠性的影响。主要结果如下：适量添加Ni元素可以细化10Sn90Pb焊点界面处IMC晶粒，降低高温存储条件下的IMC生长速度，但在一定程度上会降低凸点的剪切强度。0.05%~0.1%含量的Ni元素添加对10Sn90Pb凸点综合性能提升较为显著。     

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

航天事业发展趋势和未来需求指明,航天测控系统应该向以自主运行能力为代表特征的智能化方向发展。基于此,提出了标准化的支持与服务、映射现实的体系架构、实时响应的运行模式、服务化的基础平台等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服务计算平台原型系统，可支持从遗留系统中进行服务抽取、发布、发现和度量等。     

基于TC783A的三相电动机缺相保护电路的设计与实现

介绍用于三相电动机缺相保护装置的设计方法,采用集成芯片TC783A为核心元件实现,有效地解决三相电动机其他保护元件的局限性。具有快速切断控制回路电源的功能及缺相指示和相序指示,试验证明系统工作性能良好。     

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

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

Compact frequency standard using atoms trapped on a chip

We present a compact atomic frequency standard based on the interrogation of magnetically trapped ⁸⁷Rb atoms. Two photons, in the microwave and radiofrequency domain excite the atomic transition. At a magnetic field of 3.23 G this transition from ∣F = 1, m_F = −1〉 to ∣F = 2, m_F = 1〉 is 1st order insensitive to magnetic field variations. Long Ramsey interrogation times can thus be achieved, leading to a projected stability in the low 10⁻¹³ at 1 s. This makes this device a viable alternative to LITE and HORACE as a good candidate for replacing or complementing the rubidium frequency standards and passive hydrogen masers already on board of the GPS, GLONASS, and GALILEO satellites. Here we present preliminary results. We use an atom chip to cool and trap the atoms. A coplanar waveguide is integrated to the chip to carry the Ramsey interrogation signal, making the physics package potentially as small as (5 cm)³. We describe the experimental apparatus and show preliminary Ramsey fringes of 1.25 Hz linewidth. We also show a preliminary frequency stability σ_y = 1.5 × 10⁻¹²τ^−1/2 for 10 < τ < 10³ s. This represents one order of magnitude improvement with respect to previous experiments.