一种基于余代数单子的Web服务形式化模型

为拓展服务计算的形式化研究视野、手段和方法,建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者,将软件实体抽象成余代数单子,从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义,在此基础上对软件服务进行单子描述,进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后,实现了一个基于单子的Web服务计算平台原型系统,可支持从遗留系统中进行服务抽取、发布、发现和度量等。     

海洋环境下载人航天器电子设备防护技术

海南文昌发射场高温、高湿、高盐雾的气候条件以及由天津到海南长距离的海上运输给航天器电子设备的三防性能带来了挑战。文章首先对运输过程中高湿、盐雾和霉菌对航天器电子设备的影响进行了分析,然后对航天器电子设备的三防工艺及运输技术进行了研究,并提出了具有普遍适用性的三防措施,能够有效降低环境因素带来的不利影响。     

A fast and automatic full-potential finite volume solver on Cartesian grids for unconventional configurations

To meet the requirements of fast and automatic computation of subsonic and transonic aerodynamics in aircraft conceptual design,a novel finite volume solver for full potential flows on adaptive Cartesian grids is developed in this paper.Cartesian grids with geometric adaptation are firstly generated automatically with boundary cells processed by cell-cutting and cell-merging algo rithms.The nonlinear full potential equation is discretized by a finite volume scheme on these Cartesian grids and iteratively solved in an implicit fashion with a generalized minimum residual (GMRES) algorithm.During computation,solution-based mesh adaptation is also applied so as to capture flow features more accurately.An improved ghost-cell method is proposed to implement the non-penetration wall boundary condition where the velocity-potential of a ghost cell is modified by an analytic method instead.According to the characteristics of the Cartesian grids,the Kutta condition is applied by specially computing the gradients on Kutta-faces without directly assigning the potential jump to cells adjacent wake faces,which can significantly improve the solution con verging speed.The feasibility and accuracy of the proposed method are validated by several typical cases of sub/transonic flows around an ONERA M6 wing,a DLR-F4 wing-body,and an unconventional figuration of a blended wing body (BWB).The validation cases demonstrate a fast convergence with fully automatic grid treatment and computation,and the results suggest its capacity in application for aircraft conceptual design.     

一种单幅异源图像适配性的计算方法及应用

图像适配性问题在匹配区选取与景象匹配末制导试验中都具有重要的地位,图像适配性通常用匹配概率度量。针对单幅图像,采用降质变换方法生成图像对,提出一种能用于计算单幅异源图像适配性的方法,并应用于图像适配性评估。该方法操作性强,容易实现,可解决缺少先验信息时图像适配性的计算问题。     

超声速变马赫数风洞流场参数线性变化验证

旋转喷管型面使超声速变马赫数风洞在单次运行过程中可连续调节实验区的马赫数,便于研究飞行器的机动过程、进气道起动过程中的气动问题。在控制喷管型面旋转过程中,流场参数能否线性变化是衡量超声速变马赫数风洞性能的一个重要指标。分析变马赫数风洞实验区流场参数的线性变化规律,利用弹簧光顺的动网格技术建立数值仿真模型,验证喷管位于马赫数3.041~3.215 范围所对应的位置时,实验区流场参数是否满足线性变化规律。结果表明：通过对喷管型面旋转的控制实现了风洞实验区流场参数的线性变化,动态计算结果与预期实验区流场参数线性变化规律吻合良好;在不同加速度的流场参数线性变化过程中,各时刻实验区的平均参数与预期参数之间的偏差均小于0.13%。     

某型飞机球形灭火瓶设计改进

本文对某型飞机球形灭火瓶失效情况进行统计分析,初步确定了故障原因。通过环境适应性摸底试验进一步验证分析,进行了设计改进。改进后的灭火瓶满足使用要求。     

国外燃油系统的防弹抗坠毁技术

防弹抗坠毁燃油系统是为了满足武装直升机的使用环境要求,不断得到认可与发展。本文介绍了国外燃油系统的防弹抗坠毁技术要求及其运用与发展。它主要包括油箱、软管、接头,供输油系统的防弹抗坠毁要求及其综合设计技术。探讨了该项技术给予我们的借鉴作用。     

Photolytic behaviour of methane at Lyman-α and 248 nm: Studies in the frame of a simulation program of Titan’s atmosphere (S.E.T.U.P.)

This paper first describes briefly some of the forefront global simulations of Titan’s atmosphere that have been carried out up to now. In these experiments, an initial gaseous mixture of N₂/CH₄ is submitted to a single energy source and the retrieved gas and/or solid phase(s) is/are analyzed by different techniques.     

亚声速三角翼俯仰振动涡结构及升力特性研究

本文介绍在暂冲式三声速风洞中实现了非常流动的多片光蒸汽屏显示技术和测力技术，并用这两项技术研究了亚声速时７０°后掠三角翼模型仰振的非定常流动现象，探讨了由于三角翼模型俯振动产生的涡结构人向气动力特性之间的相关关系。     

改进的电热除冰系统的仿真方法

建立了电热除冰系统矩形微段的二维简化物理模型，采用焓法模型建立相变导热问题的微分控制方程，用控制容积法对该模型的控制方程及其边界、初始条件进行离散，使用块修正技术对原有的离散方程组的求解方法进行了改进，得到各个时刻的温度分布及冰的融解情况。计算结果与国外文献结果吻合，验证了改进的算法和程序的正确性。并计算分析了时间步长的选择、网格的划分对计算结果的影响。