Relation algebras over containers and surfaces: An ontological study of a room space

Recent research in geographic information systems hasbeen concerned with the construction of algebras tomake inferences about spatial relations by embeddingspatial relations within a space in which decisionsabout compositions are derived geometrically. Wepursue an alternative approach by studying spatialrelations and their inferences in a concrete spatialscenario, a room space that contains such manipulableobjects as a box, a ball, a table, a sheet of paper,and a pen. We derive from the observed spatialproperties an algebra related to the fundamentalspatial concepts of containers and surfaces and showthat this container-surface algebra holds allproperties of Tarski's relation algebra, except forthe associativity. The crispness of the compositionscan be refined by considering the relative size of theobjects) and their roles (i.e., whether it isexplicitly known that the objects are containers orsurfaces).     

Particle Acceleration in a Three-Dimensional Model of Reconnecting Coronal Magnetic Fields

Particle acceleration in large-scale turbulent coronal magnetic fields is considered. Using test particle calculations, it is shown that both cellular automata and three dimensional MHD models lead to the production of relativistic particles on sub-second timescales with power law distribution functions. In distinction with the monolithic current sheet models for solar flares, particles gain energy by multiple interactions with many current sheets. Difficulties that need to be addressed, such as feedback between particle acceleration and MHD, are discussed.     

倾斜CCD光敏面以减小扩展像斑的分析

经理论推导，给出了倾斜ＣＣＤ光敏面以减小扩展像斑，从而减小激光三角法测量误差的理论根据，同时结合计算机模拟曲线，说明了它的缺点是限制了测量范围。     

试论科技与经济一体化

通过分析市场经济条件下科技与经济相互影响，相互促进的辩证关系，提出了科技与经济一体化的概念，并结合我国技术市场和航空企业的实际，阐述了促进科技与经济一体化的思路。     

气体介质条件下的热电偶动态特性

针对热电偶动态特性的评估问题,实现热电偶测试性能评估与气体介质条件的匹配,开展了气体介质条件下热电偶动态特性研究。通过对传统激波管的结构和功能改造,设计了动态气体温度校准装置,开展了动态温度校准标准信号溯源方法的研究,建立了热电偶动态数学模型,实现了热电偶动态特性的定量描述和试验验证。动态校准试验结果表明:基于传统激波管改造的动态气体温度校准装置可以产生频域覆盖范围宽、阶跃幅值稳定的标准温度信号,基本可以覆盖常规温度传感器的动态校准需求;所采用的动态建模方法可以较为准确地评估热电偶动态模型的阶次和参数。经实验验证,建立的热电偶动态数学模型响应与实际响应信号的相关系数可以达到0.996 7,基本可以满足热电偶动态特性评估的工程需要。     

旋转状态边界层速度场及温度场特性实验

针对涡轮转子叶片内冷技术,使用TR-PIV(time resolved particle image velocimetry)技术与热线技术同步原位测量了壁面加热条件下旋转通道内边界层速度场和温度场特性。结果显示:旋转数大于0.48时前缘面附近出现了回流现象,并从受力分析的角度给出了解释;回流区一般出现于流场下游、较大密度比、较高旋转数下,可以利用回流区的影响达到增强前缘面换热的目的;得到了旋转条件下无量纲温度型、温度脉动量和努塞尔数的变化规律,可以看出湍流边界层内部的温度场分布在旋转效应的影响下产生了强烈的不对称性,与静止条件下的标准规律相比会产生一定的偏差。     

跨声速叶栅通道中叶片压力面簸箕孔型气膜冷却特性

在跨声速叶栅通道内,试验研究了叶片压力面气膜冷却特性,详细地对比分析了在不同主流进口雷诺数(Re=17×105,37×105,57×105)、出口马赫数(Ma=081,091,101)及多个气膜吹风比(M=05～30)条件下的压力面簸箕孔型气膜冷却效率。试验结果表明:主流出口马赫数变化对气膜孔下游冷却效率的分布与具体数值均无影响;而主流进口雷诺数的影响较大。增大主流进口雷诺数使得气膜分离再贴附对应的吹风比相应增大,Re=17×105时在吹风比M=10时出现气膜分离与再贴附现象,而Re=37×105和Re=57×105对应的临界吹风比则分别为20和25;主流进口雷诺数越大,小吹风比下近孔区域的冷却效率越高,而在孔下游区域则相反;大吹风比下,则主流进口雷诺数越大冷却效率越小。     

带热障涂层钛合金的蠕变性能

以提高钛合金的抗蠕变性能为目的,在TA32钛合金基体上制备由NiCrAlY黏接层(BC)与氧化钇稳定二氧化锆陶瓷层(TC)组成的热障涂层(TBCs),对带TBCs钛合金抗蠕变性能进行实验与数值模拟研究。结果表明:TA32与TBCs的蠕变速率相差较大,在高温拉伸时TC会对BC和基体的蠕变变形产生明显的约束效应,且TBCs中BC承受的轴向拉伸应力较大。在400 ℃和600 ℃实验温度下,TBCs可将TA32的抗蠕变性能分别提升56%与175%,但当实验温度达到600 ℃、拉伸应力达到200 MPa时,TC发生了严重的开裂与剥落。     

基于能量平衡的平流层飞艇推进系统建模与优化设计

为了在平流层飞艇推进系统高效率和轻质量需求的矛盾之中取得平衡,提出基于能量平衡的平流层飞艇推进系统建模与优化设计方法。利用试验设计和代理模型技术分别建立了高空电动机、螺旋桨的主要设计参数与其效率和质量的代理模型。建立了包含太阳能电池和储能电池的飞艇能源系统质量计算模型。以整系统能量平衡和推阻平衡为约束,以推进与能源系统总质量最小为目标,借助多岛遗传算法构建了飞艇推进系统优化设计数学模型。对某型平流层飞艇推进系统进行了优化设计,结果表明:优化后的推进系统效率提升了23%,推进与能源系统总质量降低了340 kg,验证了该平流层飞艇推进系统建模与优化设计方法的可行性和应用价值。     

火箭煤油热裂解研究

为了探究火箭煤油热裂解过程以及抗氧化剂对热裂解过程的影响,通过火箭煤油静态热裂解实验研究了火箭煤油在683K～713K条件下裂解转化率、裂解产气率、气相产物组成随温度和时间的变化规律。同时,对比了加入1wt%抗氧化剂邻甲基对苯二酚(THQ)的火箭煤油热裂解行为,发现THQ对火箭煤油热裂解有明显抑制作用。683K～713K下,火箭煤油添加1wt%THQ前后的裂解活化能分别为150.0kJ/mol和210.5kJ/mol,并获得了相应的Arrhenius热裂解方程。对比发现我国火箭煤油裂解速率常数小于美国RP-1,RP-2火箭煤油。