一种软件实现的程序控制流错误检测方法

在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到的不正确输出，而在RSCFC存在的情况下，该区间会降低到2．8％～20．4％。与其它的软件控制流错误检测方法相比较，它具有探测率高，对原始代码影响小的特点。     

珠海市外资企业税收流失测评与防范——基于转让定价避税的视角

外商投资企业通常通过转让定价进行避税,转让定价问题不能仅从名义税负的高低来思考,一切影响企业成本和收益的因素都可以引起外商投资企业做出理性的转让定价避税方式和方向选择。通过对珠海市外商投资企业纳税能力和税收流失规模的评估,认为应从完善外部环境和转让定价的调整及稽查方面入手提高转让定价避税的成本,解决外资企业税收流失问题。     

ACOUSTIC PROPAGATION IN SHEARED MEAN FLOW USING COMPUTATIONAL AEROACOUSTICS

Acoustic propagation problems in the sheared mean flow are numerically investigated using different acoustic propagation equations, including linearized Euler equations （LEE） and acoustic perturbation equations （APE）. The resulted acoustic pressure is compared for the cases of uniform mean flow and sheared mean flow using both APE and LEE. Numerical results show that interactions between acoustics and mean flow should be properly considered to better understand noise propagation problems, and the suitable option of the different acous- tic equations is indicated by the present comparisons. Moreover, the ability of APE to predict acoustic propagation is validated. APE can replace LEE when the 3-D flowqnduced noise problem is solved, thus computational cost can decrease.     

黏附激励下空间目标惯性参数的辨识方法

针对黏附卫星会自然激励目标改变运动状态的现象，提出一种利用黏附激励进行空间非合作目标惯性参数的辨识方法。黏附前，利用主星对目标特征点的视觉测量，建立估计目标惯性参数与相对运动参数的滤波器，并估计目标的转动惯量比和质心；黏附后，主星直接利用该滤波器估计目标的新的质心速度，并基于动量守恒原理计算目标质量。该方法不仅充分利用黏附过程的自然激励，无需常规辨识必须的主动激励，而且激励前后算法一致，无需切换。数字仿真证实了算法的有效性。     

应用文教学与Web Quest模式

在传统的应用文教学中大多只是注重向学生讲授应用文的基本格式而忽略了教学方法的优化.应用文写作教学的整体优化原则要求按教学效果和时间耗费这两个准则来实施教学,研究应用文写作教学的组成要素以及这些要素之间的相互作用、相互联系,从而达到整体优化目标。论文通过分析应用文写作课程和Web Quest网络教学模式特点,结合教学经验探讨了Web Quest在应用文写作课程中的应用模式。     

反射激波作用下重气柱界面演化的PIV研究

在水平激波管中采用PIV方法研究了反射激波作用下SF6重气柱界面的发展演化。采用射流方法形成SF6无膜气柱界面,并以乙二醇作为示踪粒子。利用连续激光片光源结合高速摄影相机对流场进行显示,得到了反射激波作用下SF6气柱界面的发展过程。结果表明,入射激波的冲击会在界面上产生反向旋转的涡环结构,而反射激波的作用会在界面上产生与初始涡环旋转方向相反的次级涡环结构。此外,对反射激波作用后的流场图像进行PIV后处理,获得了流场连续的速度场和涡量场。获得的环量与已有的理论模型进行比较,取得了较好的一致性,也验证了本文实验方法的可行性。     

反射激波作用下两种重气柱界面不稳定性实验研究

在水平方形激波管中对两种无膜重气柱界面(分别是SF6和氩气)在反射激波作用下的不稳定性发展进行了实验研究。气柱界面采用射流技术形成,实验采用连续激光片光源照射流场,乙二醇作为示踪粒子,并用高速摄像机对流场进行拍摄,获得了入射激波以及反射激波共同作用下,两种不同气柱界面的演化过程。实验结果表明,两种气柱的Atwood数不同,界面演化速率不同,反射激波到达前后的界面形态不同。SF6气柱在入射激波作用下会产生两个比较明显的反向的涡环结构,而氩气柱界面上由于产生的涡量较少,涡环结构并不明显。在反射激波作用下,SF6气柱界面会出现明显的次级涡对,而且次级涡对的旋转方向与初始涡环结构的旋转方向相反。对于氩气柱而言,在反射激波作用下虽然也产生了与初始涡环方向相反的次级涡对,但次级涡对始终未充分发展。这是因为反射激波作用时氩气柱界面的Atwood数较小导致氩气柱界面上产生的反向涡量较少。实验结果充分表明了气体Atwood数对界面不稳定性的发展起到了较大的影响。     

谱载荷下疲劳裂纹扩展的各种模型的评述

本文对谱载荷下预测疲劳裂纹扩展的各种模型作了综合介绍及评述。 对十余年来国内外学者提出的有代表性的载荷相互作用模型的基本原理、特征参数、主要的计算公式及优缺点等列表作了此较,并对模型的选择原则、计算精度与经济性进行了讨论。     

时延-角度特性研究

本文在球不对称局域准抛物电离层模型下,设计了一套射线追踪算法的计算机程序。研究了时延随角度变化特性。指出了最小时延的传统求解方法的适应范围,讨论了时延-角度特性曲线与返回散射电离图的关系及其能量分布特点。      

运输类飞机风挡抗鸟撞适航符合性验证方法

每年全球鸟撞飞机事件频发,将鸟撞损伤对飞行安全带来的影响减至最小一直是不断追求的目标.通过对CCAR 25-R4《运输类飞机适航标准》中与风挡鸟撞密切相关的适航要求进行解读与分析,并基于某民用飞机型号经验,详细说明了如何将鸟撞适航要求融入飞机风挡设计阶段中,总结了一套可操作的满足运输类飞机适航要求的风挡抗鸟撞验证方法,为新研MA700客机风挡鸟撞的符合性验证提供了参考.