基于机载多核弱序存储模型的共享内存驱动软件设计方法研究

随着航空电子系统承载的应用日趋复杂,飞机对机载计算机的计算力和功耗比要求不断提升,这也推动了嵌入式多核处理器的加速应用和普及。多核处理器在航空电子设备的深入应用,随之而来的是运行其上的软件复杂度急剧上升,面向应用的航电系统设计面临挑战。多核处理器平台由于需要面对并行、指令乱序、资源共享冲突等问题,而目前国内大多数机载嵌入式软件和驱动仍然是基于单核处理器设计和实现的,影响最大的是在机载嵌入式实时操作系统环境下的驱动软件,因此需要充分考虑多核带来的各方面影响,尤其是需要兼顾共享内存等资源的使用冲突和实时高效要求。本文结合机载航电多核处理平台的特点,提出了一种基于机载多核弱序存储模型的共享内存驱动软件设计方法,并基于该方法设计了FC总线驱动和MBI总线驱动,项目应用结果表明,设计的驱动程序在多核处理器平台上数据传输正确,验证了方法的正确性和有效性。     

基于资源共享的分布式机载软件测试系统设计

随着装备软件系统的发展,越来越多的硬件功能软件化,装备软件的发展朝着高综合、高集成、一体化的趋势发展。目前航空航天装备软件中,嵌入式软件占据主导地位,相较通用计算机软件,嵌入式软件的测试具有面向特定应用,有实时操作系统支持,运行芯片和平台较为固定,并且需要特定的数字总线资源进行数据注入等特点。尤其对于复杂的,高度综合化模块架构的嵌入式软件系统软件测试,对于测试和验证系统的要求也越来越高,数据采集、数据记录、数据激励、数据监控、数据分析等各种测试和验证系统的需求也使得综合化软件测试验证系统结构越来越复杂,基于分布式架构的软件测试系统已经成为必然趋势。结合嵌入式综合化软件测试系统的功能要求以及测试系统的特点,提出了一种基于对等架构下的分布式测试系统设计,该设计不仅能够满足嵌入式软件运行平台规模的扩展,也能够在分布式架构下实现软件运行平台内部资源的共享。     

Encounter trajectories for deep space mission ASTER to the triple near Earth asteroid 2001-SN263. The laser altimeter (ALR) point of view

In cooperation with Russia, the Brazilian deep space mission ASTER plans to send a small spacecraft to investigate the triple asteroid 2001-SN263. The nearest launch opportunities for this project include June 2022 and June 2025. One main exploration campaign is being planned with focus on the largest asteroid (Alpha). Among the instruments under development, a laser altimeter (named ALR) was preliminarily designed and presented in 2010–2011. Many studies to define mission and instruments requirements were performed aiming at the characterization of important issues for the successful realization of the mission. Among them, the identification of a suitable trajectory that could be followed by the ASTER spacecraft in the encounter phase, when the main campaign will take place. This paper describes the effort undertaken with focus on the laser altimeter operation. Possible encounter trajectories were modelled and simulated to identify suitable approach parameters and conditions allowing the accomplishment of the intended investigation. The simulation also involves the instrument operation, considering approach geometry, attitude, relative motion, time/date, and the dynamics of the main asteroid. From the laser altimeter point of view, keeping in mind the desired coverage results (50% minimum surface coverage of asteroid Alpha, complying with horizontal and vertical resolution requirements), results point out crucial features for the encounter trajectory, like the need for a small inclination (10^-6 degrees; with respect to the asteroid's orbit), the most favourable spacecraft positioning (between the Sun and the asteroid) and pointing condition (back to the Sun), the minimum amount of achievable surface coverage (58%, focused on central areas), and the most proper time to conduct the main campaign (January 2025). Concerning the instrument, results offer refined values for divergence angle (500 to 650 μrad, half-cone), pulse repetition frequencies (from 1/20 to 1 Hz), and consequent data generation rates. A simulation tool that can use any 3D generated trajectories as input data was created for the analyses presented here. Although created for the ALR in this mission, this simple analysis tool can be adapted to other instruments in this or other missions.     

基于Kubernetes的航天地面应用软件架构设计与实现

为了满足航天地面应用软件功能组成日益复杂、资源动态重组、系统可用性要求越来越高等新需求，采用微服务架构思想并结合容器轻量级的特点，设计并实现了一套基于Kubernetes微服务管理的航天地面应用软件架构，详细介绍了微服务划分和部署、服务发现和负载均衡、服务动态更新以及服务高可用等关键功能并进行了关键性能测试。测试结果表明，架构有效提高了复杂化的航天地面应用软件的可用性、可复用性和资源利用率，极大地降低了软件开发和运维成本。     

C/C++软件的危险函数静态检查研究

C/C++软件开发过程中,源代码中若使用了危险函数,会造成内存缓冲区溢出,产生严重的安全漏洞和隐患,因此对源代码进行危险函数检查非常重要.对于大型软件模块需要将危险函数静态检查工具集成到持续集成工具上,对源代码进行危险函数检测.结合工作实践,介绍了危险函数检测工具,叙述了对源代码进行检查的流程;详细叙述了基于持续集成的危险函数检查过程;最后介绍了两个典型案例.工作实践表明,进行危险函数检查有助于及时发现和处理软件中的危险函数隐患,从而提高软件产品的质量和安全性.     

量子计算及其在空气动力学中的应用前景综述

量子计算是最重要的后摩尔计算技术之一，拥有经典计算机无可比拟的超强计算能力，未来能够对各行业应用产生颠覆性的影响。针对量子计算给空气动力学带来的机遇和挑战，详细综述了量子计算机、量子算法、量子底层软件栈等方面的研究进展。结合空气动力学领域常用的基础方法，在综述量子计算线性方程组求解、插值操作、数值积分、优化搜索等最新进展的基础上，结合典型量子算法深入分析了量子计算在空气动力学领域的应用前景，并指出了需要重点关注的研究方向。     

Solar physics with the Square Kilometre Array

The Square Kilometre Array (SKA) will be the largest radio telescope ever built, aiming to provide collecting area larger than 1?km². The SKA will have two independent instruments, SKA-LOW comprising of dipoles organized as aperture arrays in Australia and SKA-MID comprising of dishes in South Africa. Currently the phase-1 of SKA, referred to as SKA1, is in its late design stage and construction is expected to start in 2020. Both SKA1-LOW (frequency range of 50–350?MHz) and SKA1-MID Bands 1, 2, and 5 (frequency ranges of 350–1050, 950–1760, and 4600–15,300?MHz, respectively) are important for solar observations. In this paper we present SKA’s unique capabilities in terms of spatial, spectral, and temporal resolution, as well as sensitivity and show that they have the potential to provide major new insights in solar physics topics of capital importance including (i) the structure and evolution of the solar corona, (ii) coronal heating, (iii) solar flare dynamics including particle acceleration and transport, (iv) the dynamics and structure of coronal mass ejections, and (v) the solar aspects of space weather. Observations of the Sun jointly with the new generation of ground-based and space-borne instruments promise unprecedented discoveries.     

软件通信体系结构CORBA 中间件应用及指标评测

软件通信体系结构采用“组件+ 框架”的架构设计，将软件无线电系统中的波形应用软件资源及平台 硬件资源抽象成具有标准接口的组件，通过核心框架对各类资源进行装配部署，形成相应的波形应用。在大规 模综合化软件无线电系统中，每个组件之间存在大量接口调用与数据通信，而每个组件都运行于独立的进程空 间中，这是典型的分布式应用场景，中间件是实现组件间互联互通互操作的关键技术。基于软件通信体系结构 对传输机制的要求，对目前主流的中间件进行了选择与应用分析，并完成CORBA 中间件的性能指标评测。     

导航信号IQ正交性测试软件设计与实现CSCD

针对通用的商用仪器不能适用现代导航信号IQ正交性的测试要求,开发一种基于Matlab GUI环境的导航信号IQ正交性测试软件。该软件通过网络接口控制高速数字示波器,对导航信号源的秒脉冲信号和导航信号进行双通道高速数据采样,根据秒脉冲信号确定导航信号起始点,截取导航信号数据,采用本地数字波形对导航信号进行匹配滤波和伪随机码同步等数字信号处理,精密估计I和Q支路载波初始相位,从而得到IQ正交性测试结果。软件具有界面友好,操作简单,显示直观等特点。仿真测试结果表明,在典型载噪比情况下,测试软件所得到的测试结果随机误差小于0.5°。     

Ionospheric responses to the 21 August 2017 great American solar eclipse – A multi-instrument study

Herein, we report on the ionospheric responses to a total solar eclipse that occurred on 21 August 2017 over the US region. Ground-based GPS total electron content (TEC) data along with ground-based measurements (Millstone Hill Observatory (MHO) and digital ionosondes) and space-based measurements (COSMIC radio occultation (RO) technique) allowed us to identify eclipse-associated ionospheric responses. TEC data at ~20°, ~30°, and ~40°N latitudes from the west to east longitudes show not only considerable depression but also wave-like characteristics in TEC both in the path of totality and away from it, exclusively on the day of eclipse. Interestingly, the observed depressions are associated with lesser (higher) magnitudes at stations over which the solar obscuration percentage was meager (significant), a clear indication of bow-wave-like features. The MHO observes a 30% reduction in F₂-layer electron densities between 180 and 220 km on eclipse day. Ionosonde-scaled parameters over Boulder (40.4°N, 100°E) and Austin (30.4°N, 94.4°E) show a significant decrease in critical frequencies while an altitude elevation is seen in the virtual heights of the F-layer only during the eclipse day and that decreases are associated with wave-like signatures, which could be attributed to eclipse-generated waves. The estimated vertical electron density profile from the COSMIC RO-based technique shows a maximum depletion of 40%. Relatively intense and moderate depths of TEC depression, considerable reductions in the F₂-layer electron densities measured by the MHO and COSMIC RO-measured densities at the F₂-layer peak, and elevations in virtual heights and reduction in the critical frequencies measured by ionosondes during the eclipse day could be due to the eclipse-induced dynamical effects such as gravity waves (GWs) and their associated electro-dynamical effects (modification of ionospheric electric fields due to GWs).