一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

高精度位置跟踪自适应增益调度滑模控制算法

影响位置跟踪精度最重要的因素之一是系统不可避免地存在内外不确定性。由于具备很强的鲁棒性,滑模控制能有效消除系统不确定性的影响,然而也会带来抖振这一顽疾。因此,有效削弱滑模控制系统的抖振是提升系统跟踪精度的关键。为此,本文提出一种误差主导的自适应增益调度算法,该算法利用等效原理准确判断系统滑动模态是否建立,并以此来调度切换函数增益值的增减;同时,为克服因利用低通滤波器获取切换函数等效输出而引起的时间延迟,在增益调度中采用误差主导的增益变化率,确保了增益调度的实时性。理论和仿真实验证明,在滑动模态建立前,该增益调度策略能加快滑模变量的收敛速度;而在滑动模态建立后,该增益调度策略能使增益值在有限时间内趋近于系统不确定的绝对值,降低了系统抖振幅值,从而获取更高的跟踪精度。直流力矩电机伺服系统位置跟踪对比实验结果表明,该增益调度方案有效,能使系统获得更高的跟踪精度。     

A Numerical Model of the SEIS Leveling System Transfer Matrix and Resonances: Application to SEIS Rotational Seismology and Dynamic Ground Interaction

Both sensors of the SEIS instrument (VBBs and SPs) are mounted on the mechanical leveling system (LVL), which has to ensure a level placement on the Martian ground under currently unknown local conditions, and provide the mechanical coupling of the seismometers to the ground. We developed a simplified analytical model of the LVL structure in order to reproduce its mechanical behavior by predicting its resonances and transfer function. This model is implemented numerically and allows to estimate the effects of the LVL on the data recorded by the VBBs and SPs on Mars. The model is validated through comparison with the horizontal resonances (between 35 and 50 Hz) observed in laboratory measurements. These modes prove to be highly dependent of the ground horizontal stiffness and torque. For this reason, an inversion study is performed and the results are compared with some experimental measurements of the LVL feet’s penetration in a martian regolith analog. This comparison shows that the analytical model can be used to estimate the elastic ground properties of the InSight landing site. Another application consists in modeling the 6 sensors on the LVL at their real positions, also considering their sensitivity axes, to study the performances of the global SEIS instrument in translation and rotation. It is found that the high frequency ground rotation can be measured by SEIS and, when compared to the ground acceleration, can provide ways to estimate the phase velocity of the seismic surface waves at shallow depths. Finally, synthetic data from the active seismic experiment made during the HP³ penetration and SEIS rotation noise are compared and used for an inversion of the Rayleigh phase velocity. This confirms the perspectives for rotational seismology with SEIS which will be developed with the SEIS data acquired during the commissioning phase after landing.     

Solar Ultraviolet Bursts

The term “ultraviolet (UV) burst” is introduced to describe small, intense, transient brightenings in ultraviolet images of solar active regions. We inventorize their properties and provide a definition based on image sequences in transition-region lines. Coronal signatures are rare, and most bursts are associated with small-scale, canceling opposite-polarity fields in the photosphere that occur in emerging flux regions, moving magnetic features in sunspot moats, and sunspot light bridges. We also compare UV bursts with similar transition-region phenomena found previously in solar ultraviolet spectrometry and with similar phenomena at optical wavelengths, in particular Ellerman bombs. Akin to the latter, UV bursts are probably small-scale magnetic reconnection events occurring in the low atmosphere, at photospheric and/or chromospheric heights. Their intense emission in lines with optically thin formation gives unique diagnostic opportunities for studying the physics of magnetic reconnection in the low solar atmosphere. This paper is a review report from an International Space Science Institute team that met in 2016–2017.     

The thermospheric composition different responses to geomagnetic storm in the winter and summer hemisphere measured by “SZ” Atmospheric Composition Detectors

Three “SZ” Atmospheric Composition Detectors (ACDs) on board spacecraft “SZ-2”, “SZ-3” and “SZ-4” were launched on 10th January 2001, 26th March 2002 and 31st December 2002 separately. A large quantity of thermospheric composition data at the orbital altitude ranging from 330 to 362 km were collected from the in-situ measurement of ACDs. The spacecrafts’ lifetime was just in the second peak period of the 23rd solar cycle which includes two peaks and the solar activity value F_10.7 was from 89 to 228. During this period, several intense geomagnetic disturbances happened.     

天宫一号大气密度探测数据与模式的比较分析

利用天宫一号的轨道大气环境探测器在2012年12月7日至2013年1月4日,地磁活动平静下的大气密度探测数据,与NRLMSISE-00和JB2008模式进行比较。与实测数据相比,NRLMSISE4）0模式整体高估11．6％,而JB2008整体低估9．8％。JB2008模式在逐日变化趋势方面与实测结果更吻合,更好地反映了太阳辐射对热层大气的影响;而NRLMSISE-00在平静期间地磁活动影响大气密度的变化特征上,比JB2008更符合实测结果。实测结果显示冬季半球日峰值出现时间比夏季半球早,JB2008与实测相符,NRLMSISE-00则与实测相反。整体而言,在天宫一号轨道高度、地磁平静期,JB2008模式优于NRLMSISE-00模式。     

矩形微槽内FC-72的单相流动和换热实验研究

微槽换热器是解决航空电子设备元器件热控制问题的一条有效途径.以新型电子设备冷却液FC-72为工质,利用4种不同结构尺寸的矩形微槽,进行了微槽内单相流动和强迫对流换热性能实验研究;分析了工质流速、过冷度以及微槽结构等对换热性能的影响,给出了适用于层流和紊流的单相流动阻力特性实验关联式和单相强迫对流换热实验关联式,并对实验结果进行了不确定度分析.结果表明,在矩形微槽换热器中,FC-72的单相强迫对流换热能力能够满足中高强度的电子设备散热要求.      

2D约束Delaunay剖分生成表面模型的表面网格

提出一种生成表面模型的表面非结构化网格的方法.该方法仅假定表面模型的每个面片在取定适当的投影平面时可看成是一个单值函数.对表面模型的每个面片,首先在其相应的投影面上进行二维约束Delaunay剖分,然后对网格顶点进行插值.由于采用联动剖分的策略使得单独生成的各个表面网格在共同边界处匹配.与通常的生成表面网格的网格前沿法相比,本方法无需预先对域的边界进行离散,边界的离散体现在约束Delaunay剖分中恢复限定线段的边界细分过程中,减少了用户干预.通过合理地指定2D约束Delaunay三角化时网格单元尺寸分布函数,可以有效控制表面网格对表面模型的逼近精度和实现自适应的表面网格.实验结果证明了本算法的有效性.     

遗传算法在质量矩导弹姿态控制中的应用

研究了三轴稳定控制系统的姿态控制问题.建立了内部带有3个可移动滑块的数学模型.利用RBF(Radial Basis Function)网络的快速自学习以及自适应特性,将其作为控制器不断调整滑块的位置.同时利用遗传算法(GA)的全局、并行寻优及增强式学习能力对神经网络控制器的权系进行优化.通过对滑块位置的协调控制,改变导弹的飞行姿态.最后讨论了滑块运动特性对系统性能产生的影响并对系统稳定性进行了分析.仿真结果表明该控制律能在保证系统稳定的情况下有效地实现导弹的姿态调整,并且提高了系统的动态响应品质.      

四元数、Rodrigues参数在卫星姿态解算上的对比研究

详细阐述了罗德里格(Rodrigues)参数及改进型罗德里格(Modified Rodrigues)参数与四元数间的关系;推导了Rodrigues参数及改进型罗德里格参数微分方程和姿态阵,提出了后者避免奇异性的方法。通过仿真对以Rodrigues参数及改进型罗德里格参数描述的卫星姿态算法和以四元数描述的姿态算法在计算量和计算精度上进行了详细比较。仿真结果表明,Rodrigues参数和改进型罗德里格参数计算精度相当且计算量上优于四元数。