集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

同轴双剪切气-气喷嘴数值模拟

通过求解 k-ε 湍流模型的Navier-Stokes 方程组,对以气氢/气氧为推进剂的同轴双剪切喷嘴燃烧室进行数值模拟研究.研究结果表明:与传统的同轴剪切喷嘴相比,双剪切气-气喷嘴使推进剂有两个剪切燃烧面,且出口尺寸变化不大;双剪切喷嘴中心氢与氢总质量流量的比例是双剪切喷嘴的关键设计参数,当比例值为0.3时,能充分发挥双剪切喷嘴两个燃烧面的优势,使双剪切喷嘴能在大流量工况下实现高的燃烧效率.     

水对ＰＡＮ／ＤＭＳＯ／Ｈ２Ｏ的流变行为和原丝性能的影响

研究了水对PAN/DMSO/H2O纺丝液的流变行为和可纺性能的影响.结果表明,在较高的剪切速率下,PAN溶液表现出"切力变稀".而在较低的剪切速率下,随着温度的增加,溶液黏度逐渐变低.水含量对溶液的黏度有较大影响.随着体系中水含量的不同,H2O-PAN之间的水和作用于水的脱溶剂作用之间形成竞争,从而决定黏度的变化.适量水的加入可以提高纤维的力学性能.随着纤维拉伸倍数的增加,聚丙烯腈纤维的断裂强度增加,断裂伸长率下降.在一定的纺丝条件下,随着含水量的增加,纺丝原液的可纺性会降低.而适量的水有利于获得具有弥散状微孔的均一结构的原丝.     

基底/功能梯度涂层结构的动态热应力分析及结构优化

研究了金属基底 /功能梯度涂层结构中的动态热应力;对功能梯度材料的梯度指数进行了优化;分析了可能的破坏模式。研究结果表明,加热速度对结构中的热应力分布有很大的影响,存在优化的梯度指数使得结构具有最大的热强度。     

涡轮叶栅端壁表面换热系数的测量

在大尺寸低速开式叶栅传热风洞中对一种高压涡轮导向叶片构成的直叶栅通道端壁表面的换热特性进行了试验研究。在雷诺数为 750 0 0～ 30 0 0 0 0的范围内,采用热膜法测量了端壁换热系数的分布,研究了Re数对叶栅端壁换热的影响规律;同时给出了端壁平均 St数与来流 Re数之间的准则关系式     

表界面化学原理在复合固体推进剂中的应用

从表界面化学基本原理出发,进行一些数理上的推导,探寻出复合固体推进剂各组份表面张力及极性分量的测试方法,并对各种组份间的界面张力和界面粘附功进行了估算,从而对固体推进剂药浆流变性能和药柱的力学性能进行了预估,同时为界面改性研究和功能助剂研究提供了理论依据。     

高压液体火箭发动机新结构密封

为提高高压液体火箭发动机上密封的工作可靠性,对高压密封的设计结构进行了系统的研究。根据高压密封可靠工作的条件,提出了新结构密封应采用自紧式设计结构的指导思想,并设计了多种新的密封结构。通过对比试验筛选,研制了１２种新的密封设计结构。试验证明：新结构密封工作可靠,性能良好。并已在各型号的发动机上广泛地推广应用。     

空间机械臂自适应扩展雅克比零反作用控制

针对自由漂浮空间机械臂执行在轨服务(On Orbit Servicing, OOS)时对基座姿态的扰动问题,设计了一种基于扩展雅克比矩阵的自适应零反作用运动控制器。通过巧妙利用角动量守恒定律,解决了广义雅克比矩阵的非线性参数化问题。基于此,将运动学不确定性和动力学不确定性都考虑在内,采用李雅普诺夫稳定性分析工具,得到了自适应零反作用运动控制器,可以同时实现航天器姿态调节和机械臂末端执行器对任务空间中期望轨迹的跟踪,并且不需要测量机械臂末端执行器的速度。仿真结果表明了本文所提算法的有效性。     

Gd、Y 对ZK60 镁合金腐蚀行为的影响

通过盐雾腐蚀实验并结合SEM和XRD分析,研究了稀土元素对锻造态ZK60镁合金腐蚀行为的影响.结果表明,ZK60合金耐蚀性较差,而在ZK60中添Gd、Y后的合金,其耐蚀性明显提高.腐蚀时间相同时,两种合金的微观腐蚀形貌不相同,ZK60合金腐蚀坑的形成时间较早(14 d),而添加Gd、Y后的ZK60合金腐蚀坑的形成时间较晚(21 d),添加Gd、Y后ZK60合金的腐蚀产物相对致密.两种镁合金的腐蚀产物均为Mg(OH)2,Mg(OH)2腐蚀产物膜极易发生开裂,形成网块状的腐蚀产物膜.腐蚀产物膜的进一步生长、开裂和脱落,加速了材料的腐蚀流失.     

调频连续波激光雷达距离-多普勒解耦新方法

调频连续波激光雷达探测运动目标时,通常采用二维傅里叶变换解耦合方法.当探测高速运动目标时,由于目标移动导致不同调频周期的中频信号频谱峰值不在同一距离单元,用二维傅里叶变换法进行解耦将产生速度模糊.新的解耦方法通过对多个周期的中频信号频谱峰值位置进行直线拟合,获得目标径向速度估计值.利用速度估计值构建多普勒补偿信号,并与原中频信号相乘.补偿后的中频信号频谱峰值在同一距离单元内.将补偿后的中频信号用二维傅里叶变换法获得的径向速度与之前的速度估计值相加,得到最终的目标径向速度.仿真结果说明新方法在获得较高测距、测速精度的同时,可以有效提高调频连续波激光雷达的无模糊速度.