集合论-泛逻辑悖论

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

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

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

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

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

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

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

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

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

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

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

基于RJ-MCMC的DS-CDMA信号扩频码与信息序列盲估计

针对非合作低信噪比环境下的DS-CDMA信号参数估计问题,在分析信号模型的基础上,提出一种基于可逆跳跃的马尔科夫链蒙特卡罗(RJ-MCMC)扩频序列和信息序列联合估计算法。该算法通过建立信号参数和用户个数的联合后验分布模型,迭代抽样得到待估分布的样本,并有效地在不同维数的子空间中跳转,从而构造一条马尔科夫链,使其平稳分布为待估参数的后验分布。仿真结果表明,该算法在功率相同和不同的条件下均能适应较低的信噪比,并且对不同的用户个数具有较强的适应性,同时算法的估计性能相对现有的方法也有很大的改善。     

液氧煤油发动机蒸发器路单向阀结构优化

在某次液氧煤油发动机试车中,由于蒸发器路单向阀调整流量小于设计流量,导致单向阀阀芯发生颤振,从而在发生器氧系统引入激励源,引起发生器供应系统的耦合振荡,发动机结构振动大幅增加,导致试车中止。根据发动机使用要求,对单向阀结构进行了结构优化。通过AMEsim软件对优化后单向阀进行的仿真分析及试验验证,表明优化措施有效。优化后单向阀参加发动机热试考核,工作正常。     

舷外雷达有源诱饵在舰艇反导中的运用研究

阐述了舷外雷达有源诱饵的干扰机理,并对影响干扰效果的诱饵有效雷达截面积理论计算公式进行了推导,从中找出了影响诱饵有效雷达截面积大小的因素,通过对其中诱饵有效辐射功率和诱饵距反舰导弹距离因素的分析,提出了舰艇使用舷外雷达有源诱饵防御反舰导弹时,在发射时机、布放位置和干扰方位上应采取的措施。     

一种SRAM型FPGA内嵌CPU软核的SEU效应防护设计与验证

SRAM型FPGA内嵌CPU软核开发成本低、开发过程灵活,可以替代独立的DSP或CPU器件,执行星载设备核心控制功能。但这种内嵌CPU软核容易受到空间单粒子翻转效应(SEU)的影响。SEU可能导致内嵌CPU软核的硬件或软件故障,对其在轨应用影响较大。提出一种针对SRAM型FPGA内嵌CPU软核的SEU防护方案,通过"三模冗余+动态刷新"对CPU软核的硬件结构进行防护,通过冗余自刷新模块替换对CPU软核的存储区进行防护。该方案经过了软件注错验证及粒子辐照试验验证,证明其能够有效提高SRAM型FPGA内嵌CPU软核对SEU的容错能力。