嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

高性能流场并行粒子追踪数据管理系统

随着当下计算能力和存储性能的提升,流场数据产出的规模越来越庞大,针对流场数据的可视化应用对于硬件及软件算法的要求也随之提高。基于国家数值风洞（NNW）工程支持,主导设计并开发了高性能流场并行粒子追踪数据管理系统,帮助用户探索和分析大规模流场数据。该系统针对流场数据提供多种高效的数据管理方法,在超算集群上针对并行粒子追踪过程进行了数据预取优化与负载均衡优化。对于粒子追踪过程中产生的流线（或迹线）及进程工作记录数据,该系统支持用户在本地平台上进行性能诊断和分析。使用不同流场数据集开展的两个应用实例验证了该系统的有效性。     

Solar proton events recorded in the stratosphere during cosmic ray balloon observations in 1957–2008

Long-term balloon observations have been performed by the Lebedev Physical Institute since 1957 up to the present time. The observations are taken several times a week at the polar and mid latitudes and allow us to study dynamics of galactic and solar cosmic ray as well as secondary particle fluxes in the atmosphere and in the near-Earth space. Solar energetic particles (120) – mostly protons – (SEP) events with >100 MeV proton intensity above 1 cm⁻² s⁻¹ s⁻¹ were recorded during 1958–2006. Before the advent of the SEP monitoring on spacecraft these results constituted the only homogeneous series of >100 MeV SEP events. The SEP intensities and energy spectra inferred from the Lebedev Physical Institute observations are consistent with the results taken in the adjacent energy intervals by the spacecraft and neutron monitors. Joint consideration of the SEP events series recorded by balloons and by neutron monitors during solar cycles 20–23 makes it possible to restore the probable number of events in solar cycle 19, which was not properly covered by observations. Some correlation was found between duration of SEP event production in a solar cycle and sunspot cycle characteristics.     

体育教学中转化"体育后进生"的措施探讨

本文从思想、身体、心理等方面分析了导致大学生体育成绩较差的原因,主要对"体育后进生"在体育课堂中如何进行培养、改进措施,使其健康发展,从而达到全面教育目标.     

X射线脉冲星脉冲到达航天器时间测量

X射线脉冲星脉冲到达时间(TOA)的空间测量是航天器自主导航和用脉冲星钟作航天器时间标准的基础.在简要介绍地面射电观测TOA测量方法基础上,重点研究了X射线脉冲星脉冲到达时间的空间测量方法和算法.讨论了利用X射线脉冲星辐射光子到达时间观测,建立X射线脉冲轮廓的方法;给出了通过观测得到的X射线脉冲轮廓与标准脉冲轮廓比较,精确确定TOA的测量方法和实用算法.讨论了削弱多普勒效应对TOA测量影响的方法.      

细干扰线对后向台阶分离流的作用

应用氢泡流动显示技术研究了后向台阶层流边界层分离、再附整个过程中流动结构的发展变化。内容涉及基本流动和非定常控制。非定常控制通过在台阶上游不同位置布置的细干扰线产生的尾涡来实现。流动显示结果表明细干扰线在大多数情况下延缓了剪切层的再附,只有当xw/h=0,yw/h=0.5时可使再附距离缩短。     

太阳宇宙线在电离层D层中的电离

本文根据带电粒子对D层大气电离的理论,导出了太阳宇宙线在D层的电子产生率Q(h)的表达式,并计算了不同级别的太阳宇宙线事件、不同能谱参数下,Q(h)在极区随高度的分布。结果表明,不同级别、不同能谱的太阳宇宙线事件在极区产生的电离有显著的差别。同一级别,能谱指数γ越大,在较高的高度上电子产生率越大;能谱指数越小,在较低的高度上电子产生率越大。电子产生率的分布曲线出现明显的双峰,一个峰位于60公里左右,另一个峰位于85公里左右。前一个峰主要由太阳宇宙线中质子产生的,后一个峰主要是z≥2的重粒子成分产生的。本文所得结果明显好于Velinov等人的结果。      

RTR系统测试精度的改进

对目前使用的ＲＴＲ系统中存在的问题进行了分析,指出影响ＲＴＲ系统测试精度的主要原因是高速运动分析仪的图像分辨率太低及Ｘ射线系统本身造成的系统误差。总结了提高ＲＴＲ系统测试精度的措施,包括提高变压器的稳压性能,改进实验器设计水平,提高试车台架的刚性以及运用图像处理技术等,将这些改进措施应用于ＳＲＭ燃烧室凝相粒子运动规律的实验研究,取得了比较明显的效果。     

应用PIV研究二维后向台阶起动涡流动结构特性

采用适合于低速水流的白光气泡 PIV技术以及氢泡时间线流动显示技术在水槽中对绕二维后向台阶的起动涡瞬时速度场、涡量场进行了定量测量和流谱观察。得到了起动涡涡量的最大值、总环量、涡的尺度及涡心位置随时间变化的特性曲线 ;并观察到起动涡发展的 4个阶段     

用银河宇宙线判定几个引起特大磁暴CME的运动方向

利用位于南北极尖区位置的McMurdo和Thule台站的宇宙线强度的观测数据，分析了几个引起特大磁暴CME的来向．分析结果表明，所选的与4个特大磁暴相关的CME基本是朝正对磁层顶的方向运动并与磁层作用的．通过对引起第23周两个特大磁暴的CME特征分析对照，发现CME的来向是影响磁暴强弱的一个因素．同样条件下，运动方向偏向地球一侧的CME引起的磁暴比正对地球的CME引起的磁暴要弱。