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

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

典型轨道环境效应及对在轨卫星影响分析

近年来,各航天大国对空间轨道资源的挖掘与应用不断拓展.超低轨道、椭圆轨道、坟墓轨道、拉格朗日点等,因其在快速重访、定点观测、空间攻防、科学探索等方面的优势,逐步纳入各国防灾减灾、战事快响、导弹预警、空间突防和太阳观测等应用领域.随着卫星在轨经历的空间环境变得更加复杂,空间环境效应引发的卫星故障和异常情况日益突出.本文围...     

哥伦布航天器对轨道碎片撞击危害的设计考虑

简要介绍了欧洲空间局在执行哥伦布计划期间，在载人压力舱和有人照料的自由飞行器的设计阶段。对微流量和轨道碎片撞击危害的防护研究方面所做的主要工作。     

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

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

关于飞机结冰的多重安全边界问题

边界保护是保障飞机安全性的重要方面,对目前国内外飞机结冰安全边界问题的研究现状及进展进行了综述,对飞机结冰致灾物理链路的影响因素及规律进行了分析,指出目前从飞行力学角度出发的安全边界尚未全面考虑飞机结冰致灾复杂物理现象的相关因素,并提出了飞机结冰多重安全边界的概念,将飞机结冰的安全边界分为气象边界、冰形边界和飞行安全边界。结合相应的物理规律和实际应用,按照飞机结冰导致性能恶化的影响程度、飞行操纵影响程度等对边界又进行了多重属性划分。进一步梳理了多重安全边界研究需解决的主要关键问题,提出了下一步的相关研究方向,可为飞机设计、适航认证、飞行操纵、航路规划、分级优化保护等方面的应用提供支撑和参考。     

基于高温热管的超燃燃烧室热防护结构

提出了基于先进热管理思想的燃烧室热防护结构.面板采用腔体式平板高温热管,实现面板等温化,降低局部高温区的温度;在热管腔体内部设计燃油冷却通道,实现对超燃燃烧室面板的燃油主动冷却.对其各项性能进行了数值分析,给出了设计参数对系统性能的影响规律,并完成了结构样件研制及石英灯试验考核.典型设计状态下,其单位面积质量为无氧铜面板的35.4%,高温合金面板的38.2%.石英灯局部加热条件下,面板最高温度为1123K时最大温差为80K.相比于传统燃油冷却方式,该型防热结构能够有效提高超燃发动机燃烧室热防护的整体性能,是超燃发动机热防护的一种重要概念.      

空间光学载荷低温部件地面气体保护系统设计

针对空间光学载荷低温部件的特点及其对水汽污染物控制的特殊需求,分析水汽污染物对该类型部件的污染过程及防护方法,制定通过惰性气体正压保护防止水汽污染的技术途径和方案,设计地面无间断气体保护防污染系统,以实现对环境温湿度、保护气体温湿度等环境参数的全过程记录、预警/报警、局部调节等功能。系统测试结果表明,地面气体保护系统能够较好地实现预定设计功能,对该类低温部件的保护具备一定的工程实用价值。     

浮力修正湍流模型在航空发动机火灾模拟中的应用

由于发动机舱的火灾是典型的热驱动的浮力羽流,从探索浮力羽流的模拟方法出发,针对热羽流的基准试验,比较验证了3种基于浮力修正的2个方程湍流模型;利用pre PDF燃烧模型,模拟验证了Purdue甲烷火燃烧试验;以RR公司Trent 800发动机的1/2缩比短舱着火试验器为原型,采用RANS方法对由燃油泄漏引起的油池火进行了模拟计算,重现了短舱火灾的主要物理过程,并与试验测量的速度及温度结果进行了对比,验证了计算方法的准确性,并进一步分析了影响模拟结果的主要原因:湍流模型与燃烧模型能否准确计算近火源区域的火焰锋面状态,直接影响空气卷吸及下游火羽流的温度与速度。应用CFD技术,可以从防火设计的角度优化通风系统及短舱附件的布局。     

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

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

航天飞行器热防护涂层研究进展

近年来,新研航天飞行器气动热环境往往具有高焓、高热流密度和长时间加热等特点,这促使防热材料的研制朝着低密度、高抗烧蚀、优良隔热等性能的方向发展。受自身材料类型的限制,无论烧蚀型(树脂基)或非烧蚀型(陶瓷基)防热材料都可以通过对烧蚀表面进行涂层处理的手段达到弥补材料性能短板,提高使用性能的目的。本文试图梳理、总结国内外近年来热防护系统用涂层材料的发展状况,探讨各自的优势和缺点,并提出了针对树脂基复合材料热防护涂层可能趋势的推测。