一种扩展了价格信息的进程代数

针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price process algebra,PPA).在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性.     

炮弹固冲增程发动机进气道的风洞实验研究

进气道是冲压发动机的重要部件,它的性能关系着炮弹冲压增程发动机性能的好坏.文章阐述衡量炮弹固体燃料冲压增程发动机进气道性能的指标,介绍冲压发动机进气道的分类,着重给出了某炮弹固冲增程发动机混压式双锥进气道在马赫数2.0096时的风洞实验结果,并进行了详细的分析.研究表明,实验马赫数2.0096时,在进气道有效流通面积范围内,随着进气道有效流通面积的减小,总压恢复系数增加;随着弹体迎角的增加,总压恢复系数降低.     

氧化钛纳米管的水热法合成机理研究

采用水热合成方法制备出外径约8nm,壁厚为1nm的纳米管,以TEM,XRD和TG等分析手段对不同工艺条件下获得的产物进行了表征,对它们的热稳定性进行了测试。研究结果表明．纳米管是在NaOH水热处理过程中形成的,而不是在清洗过程中形成的。其形成机理可能是纳米氧化钛颗粒在强碱作用下形成的Na2TiO3片状物经过卷曲而成短纳米管,通过溶解一吸收机理,逐渐长成长纳米管。但清洗溶液的pH值对生成的纳米管的成分和结构有影响,通过控制清洗产物时的溶液的pH值和热处理温度,可以获得组成分别为Na2TiO3,H2TiO3和TiO2的纳米管,且纳米管具有较好的热稳定性,在400℃下热处理后,能保持其纳米管形貌,600℃时．纳米管间有烧结的迹象,至800℃时纳米管完全变为颗粒。     

歼击机座舱空气流动和传热的数值模拟与实验

根据歼击机座舱内空气流动和传热的特点,建立了座舱内壁面传热边界条件计算模型和空气分配系统供气边界条件计算模型,在此基础上建立了歼击机座舱流场和温度场数值仿真平台,并利用地面模拟实验验证了仿真平台的有效性。计算结果与实验结果的对比表明：该平台能较真实地反映座舱壁面传热的不均匀性,以及空气分配系统供气孔口流出气流流量和温度的不均匀性与非对称性;速度场和温度场计算结果与实验结果的误差分别约为15%和6%,这证明了该平台具有较高的模拟精度和工程应用价值。     

飞机机身着陆滑跑动态性能分析

飞机着陆滑跑过程中,机身结构将受到地面较大的冲击作用和振动激励。为预判结构局部危险部位,给结构强度设计提供参考,需对机身着陆滑跑过程中的动态性能进行分析。创新性地考虑了飞机滑跑速度和气动力的变化,计算得出飞机在着陆滑跑过程中较准确的气动力和起落架力,为有限元计算提供了可靠的外载输入。为降低计算规模,应用Patran合理设置约束条件,建立半机体有限元模型。最后将外载荷添加到半机体模型上,提交Nastran计算,提取机身各站位处的载荷响应峰值,做出动响应包线,预判结构局部危险部位,如机翼和机身框架连接处,为结构强度设计提供参考。     

基于三级滤波的民用飞机组合导航融合算法研究

高精度导航系统是民用飞机必备的机载航电设备。针对民用飞机导航传感器冗余配置特点,设计了一种基于三级滤波的组合导航融合算法。首先根据民用飞机传感器配置特点设计三级滤波架构,然后通过第一级卡尔曼滤波器的局部估计、第二级联邦滤波器的全局估计和第三级全局滤波器的最优全局估计,最终实现导航参数的最优全局估计。最后,通过计算机仿真证明该方法具有很好的位置、速度和姿态估计精度,能够满足民用飞机导航系统的高精度测量要求。     

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

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

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模式。