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

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

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

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

旋翼桨尖涡生成及演化机理的高精度数值研究

为了细致捕捉直升机旋翼桨尖涡的生成和演化过程,建立了一个基于高精度网格和高阶通量计算格式的旋翼桨尖涡计算流体力学(CFD)求解方法。在该方法中,流场求解选取旋转坐标系下的Navier-Stokes方程为控制方程;空间离散采用迎风Roe格式,并采用低耗散的5阶WENO(Weighted Essentially Non-Osciltatory)格式进行对流通量的计算;时间推进则采用双时间法,在伪时间步上使用隐式LU-SGS(Lower-Upper Symmetric Gauss-Seidel)推进格式;应用嵌套网格方法实现桨叶网格和背景网格的数据交换。应用所建立的方法对悬停状态的旋翼桨尖涡流场进行了高精度模拟,在桨叶网格上精细地捕捉到了桨尖涡的具体生成过程,在背景网格上捕捉到了更多圈数的桨尖涡尾迹,并对桨尖涡的演化机理进行了深入研究。结果表明:建立的高精度数值方法能够有效地对旋翼桨尖涡的生成和演化过程进行细致模拟;悬停状态下旋翼桨尖气流在上下表面压力梯度的作用下经历了边界层增厚、逐渐卷起形成涡核以及最终脱离桨叶形成桨尖涡的过程。     

一种基于求解椭圆型方程的结构动网格生成方法

基于椭圆型网格生成法,实现了一种简单高效的贴体结构动网格生成方法,可用于具有移动边界问题的非定常流动数值模拟。该方法提出,在网格变形过程中,Poisson方程需要的控制网格间距和正交性的源项可以通过提取已知的静态网格源项直接得到,并在整个动网格生成过程中保持不变。因此,在椭圆型网格生成中需要通过外迭代确定源项的过程可以得到省略,而且该方法不需要人工指定参数。这使得方法具有高效和易于嵌入到已有程序中的特点。数值模拟结果证明,采用这种方法获得的网格能够较好地保持静态网格原有的正交性和光滑性,在相同迭代步数约束下,网格求解效率低于传统弹簧模拟法,但鲁棒性优于弹簧模拟法。     

不对称电网故障下双馈风力发电机的比例-积分-谐振滑模控制器设计

针对不对称电网故障下,双馈风力发电机的控制策略进行了研究。讨论了电网故障时转子侧变流器(RSC)和网侧变流器(GSC)的控制目标,合理安排了电网严重故障时的控制优先级。基于比例-积分-谐振滑模控制原理设计了机侧和网侧变流器协同控制方案。通过MATLAB/Simulink仿真软件搭建了所设计控制方案的仿真模型。仿真结果表明,在电网正常运行的情况下,与传统的矢量控制策略相比,比例-积分-谐振滑模控制策略对输出功率、电流变化的响应更迅速,具有更好的动态性能和抗扰动能力;在电网不对称故障下,能够有效地抑制电磁转矩振荡和直流母线电压波动,提高了双馈式风力发电机的低电压穿越能力。     

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

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

网格拓扑对DLR-F6构型数值模拟的影响

基于TRIP3.0软件平台和多块结构网格技术,开展了控制方程和网格拓扑等因素对DLR-F6构型数值模拟的影响研究。数值计算采用与试验相同的参数,采用了RANS/TLNS方程,生成了O型和H型2种拓扑的粗、中、细网格进行模拟。分别从气动特性、压力系数分布曲线和表面流态3个方面对结果进行分析。通过与试验数据的对比表明,在模拟小分离流动时,采用H型拓扑网格和RANS方程模型,获得的计算结果会更为准确。     

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

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

可压缩流动激波装配在格心型有限体积法中的应用

发展了一种基于格心型有限体积方法(FVM)的激波装配算法。通过定义网格节点属性可以灵活调用激波装配和激波捕捉计算方法。在使用激波装配方法时,激波节点运动速度和下游运动速度通过Rankine-Hugoniot(R-H)关系式获得,同时采用非结构动网格技术描述激波的运动以及调整其他网格节点的位置。流过激波面元的通量为上游单元的基本通量,物理概念更加清晰,通量计算也更为准确。在计算过程中,网格节点属性可以发生变化,以此实现对带有拓扑变化流场的描述。数值试验表明:本文提出的计算方法不但具有较高的计算精度,同时能有效地避免由于捕捉激波而出现的数值问题。     

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.