集合论-泛逻辑悖论

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

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

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

活性粒子对H2/Air混合物燃烧影响的研究

等离子体助燃（PAC）是航空动力领域中的一项新技术。活性粒子在等离子体助燃计算中一直是一个难题,文章建立H2/Air燃烧的化学动力学模型,计算与分析了在非平衡等离子体条件下,气体放电产生的活性粒子（O,H）和活性基（OH）在不同当量比下对燃烧过程中参与燃烧的组分以及温度和压力的影响,为航空发动机燃烧室等离子体助燃实验研究和实际应用提供理论依据。数学模型的计算结果显示等离子体助燃可以提高反应效率,减少燃烧上升时间,提高燃烧温度和火焰传播速率,强烈影响H2/Air混合物燃烧。     

“嫦娥4号”中继星伞状可展开天线设计与验证

伞状可展开天线是"嫦娥4号"中继星为着陆于月球背面的"嫦娥4号"着陆器和巡视器提供中继通信的关键单机。对伞状可展开天线的设计原理和构造进行了描述,对天线在轨展开、网面成型与保持、超低温环境适应性等技术难点开展了分析。天线在轨展开采用缓释弹簧分布式驱动展开技术,具有布局灵活、轻便、安装体积小、可靠性高的优点,并开展了寿命、热真空环境展开等试验,验证了天线展开技术的正确性;采用双层网结构设计形式实现天线网面成型与保持,优化了张力网节点数量,开展了型面精度测试和型面在轨热变形预示,验证了天线在轨型面精度达到亚毫米级的设计指标,进一步确保了天线在轨性能满足任务要求;天线部组件最低温度达到–250℃的超低温环境验证结果,表明天线经历超低温环境存储后,结构无损坏,性能无下降,满足天线在轨环境适应性的要求,有效地支撑了"嫦娥4号"中继星中继通信任务的顺利执行。     

1.5 kW级磁聚焦霍尔推力器阳极电源设计

介绍了1.5 kW级磁聚焦霍尔推力器阳极电源的设计,针对电源输入输出电压宽范围、高升压比的特点,设计了变压器原边并联,副边串联的双变压器结构;为了提高效率,分析了滞后臂实现软开关的实现条件;为了抑制整流二极管反向恢复的电压尖峰,变压器原边使用了两个钳位二极管且在变压器副边采用了CDD无损吸收电路。针对霍尔推力器负载特点,设计了双零点三极点补偿器,提高了电源的动态和稳态特性。最后,给出了产品实物及滤波单元原理并验证了方案的合理性。     

软件再工程理论应用研究

软件再工程通过逆向工程、重构和正向工程几个环节,将现存系统开发成新的系统,是有效利用原有系统的现实可行的方法。本文研究了软件再工程的基本概念和目标、再工程的基本框架等理论;介绍了对某显控计算机软件的分析、重构和验证等内容。     

航空发动机高压涡轮工作叶片热疲劳试验研究

为考核工作了一定时数的某型发动机高压涡轮工作叶片在更换涂层后的抗冷、热疲劳性能,进行了热疲劳考核试验。试验中,实现了低压条件下对复合冷却叶片温度载荷的模拟,并记录了各部位裂纹发生、扩展的情况,为复合冷却叶片的热疲劳性能分析积累了宝贵的资料。     

红外地球敏感器摆动扫描机构长寿命试验方法

针对摆动扫描式红外地球敏感器,文章提出了一种长寿命试验测试方法。设计摆动频率为55～60 Hz的加速摆动扫描机构模拟件,在正弦驱动信号的激励下产生本征频率附近的摆动,实现红外地球敏感器摆动扫描机构的加速寿命试验;并研制了试验平台,实时记录和分析试验参数。试验结果表明:长寿命试验摆动扫描机构模拟件在窄扫模式时,摆动次数累计1.4×109次,摆动频率和电压峰-峰值的标准差分别小于0.002 0 Hz、0.030 9 V。     

低温传感器测量数据基于MATLAB的 处理与分析

文章介绍基于MATLAB的低温温度传感器测量数据的处理及分析方法,通过线性最小二乘法和无约束非线性优化法中的拟合模型工具对数据进行拟合,其中包括多项式、双曲线、幂函数、Steinhart-Hart经验公式等拟合模型工具,以低温温度传感器电阻与温度数据的曲线拟合为例,开展了各种模型的曲线拟合比较分析。最后通过剩余标准差和相关系数两项指标评价不同模型的拟合效果。     

太阳电池阵铰链机构刚度等效方法

组成铰链机构的各铰链均为可活动的部件,给太阳电池阵的建模和分析带来很大难度。文章采取试验测定铰链机构刚度并直接代入太阳电池阵有限元模型的方法,通过与试验对比,确定等效的铰链机构刚度值,可大大提高太阳电池阵的建模和分析的精度