严格随机正则(3,s)-SAT模型及其相变现象

研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则（3,s）-SAT问题,并给出了该问题的实例产生模型--SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则（3,s）-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则（3,s）-SAT实例是高概率不可满足的。实验结果表明：由SRR模型所生成的随机实例中,当N>60且s>11时,所有的（3,s）-SAT实例均是不可满足的,而当N>150且s<11时,所有的（3,s）-SAT实例均是可满足的,即严格随机正则（3,s）-SAT实例的相变点位于s=11处,且在s=11处（子句变元比为11/3）的严格随机正则（3,s）-SAT实例,比在相变点（子句变元比）4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。     

“嫦娥二号”卫星拓展试验轨道计算中心天体的选取

飞行器的星历积分不可避免涉及中心天体的选取问题。“嫦娥二号”卫星在拓展试验期间处于弱引力区,文章针对拓展试验期间的轨道状态,从受摄运动二体问题角度分析得出适宜选取太阳作为中心天体。进而结合真实力模型情况,使用行星星历表计算行星产生的摄动力,从理论上推导得出在忽略小天体摄动的前提下,由于摄动天体同时对中心天体和飞行器产生摄动作用,以地球为中心天体产生的摄动力类似于潮汐力,而以太阳为中心天体则不然,因而更适宜选取地球作为中心天体计算轨道运动问题     

Two 3-D multi-cascade co-design inverse methods based on streamline curvature approach and Clebsch formulation for single-stage centrifugal compressors

Two strategies extended the single-cascade methods from a compressible three-dimensional inverse method for radial and mixed flow turbomachines to two three-dimensional multi-cascade co-design methods for single-stage centrifugal compressors.These two three-dimensional methods and a typical quasi-three-dimensional streamline curvature through-flow inverse method were employed to design the same subsonic high-speed single-stage centrifugal compressors.The compressor performances were simulated by a commercial Reynolds averaged Navier-Stokes (RANS) equations solver.The studies show that two three-dimensional co-design methods are reasonable and feasible.It was found that:firstly the blade camber angle designed by the three-dimensional methods was larger than that designed by the quasi-three-dimensional method;and secondly with regard to two three-dimensional methods with different boundary conditions,the co-design result differences between the diffusers were small,but those between the deswirlers were relatively large.      

基于Cramér-Rao下限的多传感器跟踪资源协同分配

针对防空指挥控制系统中多传感器管理问题,提出了一种基于目标跟踪精度Cramér-Rao下限的多传感器跟踪资源协同分配方法。该方法首先利用目标战术重要性函数求解目标优先级;然后在目标优先级函数和目标—传感器配对效能函数的基础上,构造了多传感器资源协同分配一般模型,并根据目标跟踪过程特点将Cramér-Rao下限引入到协同分配的模型中,使得在进行跟踪资源协同分配时无需考虑目标跟踪滤波算法的选择。对于分配过程中出现的NP(Non-deterministic polynomial)难问题,探讨了利用匈牙利算法寻求满足条件的目标传感器最优组合,给出了模型求解的步骤。仿真结果表明,这种多传感器跟踪资源协同分配方法的可行性与模型求解的快速性。     

非线性热传导逆问题的表面热流辨识方法

当材料的热物性参数随温度变化时,其内部的热传导方程是一非线性偏微分方程,对应的热传导逆问题称为非线性热传导逆问题。本文建立了非线性热传导逆问题的两种表面热流辨识方法:顺序函数法和共轭梯度法,介绍了这两种辨识方法的基本思想和具体算法推导,并针对典型算例进行了仿真辨识,结果表明:两种辨识方法虽然在算法构造、计算效率方面存在一定的差异,但都能给出较好的辨识结果,并且算法受测量噪声的影响较小,具有较好的鲁棒性。     

星锁异常分析方法及处置策略

扩频模式星锁指示是判断上行信号锁定与否的重要参数,它是关系到双捕能否完成的关键.针对地面测控设备跟踪某遥感卫星时星锁异常的问题,采用FTA(故障树分析法)从星地两方面查找原因,找出了造成星锁异常的主要因素是扩频应答机下行测量帧中CRC(交叉冗余码校验)计算错误,诱因归结为扩频应答机FPGA(现场可编程门阵列)存储器中程...     

Gravitationally bound geoengineering dust shade at the inner Lagrange point

This paper presents a novel method of space-based geoengineering which uses the mass of a captured near Earth asteroid to gravitationally anchor a cloud of unprocessed dust in the vicinity of the _L1${\mathrm{L}}_1$ position to reduce the level of solar insolation at Earth. It has subsequently been shown that a cloud contained within the zero-velocity curve of the largest near Earth asteroid, Ganymed, can lead to an insolation reduction of 6.58% on Earth, which is significantly larger than the 1.7% required to offset a 2 °C increase in mean global temperature. The masses of the next largest near Earth asteroids are found to be too small to achieve the required level of insolation reduction, however, they are significant enough to be used as part of a portfolio of geoengineering schemes.     

协同无线通信系统中的分布式自适应功率分配

在系统总功率一定的情况下,通过在协同节点间进行优化的功率分配以改善系统的接收性能.针对单中继协同传输,推导了节点间最优功率分配因子的闭式表达式,给出了中继节点的激活条件,仅当信道的衰落特性满足该条件时,中继节点才发送信号到目的节点,否则进入空闲状态.多节点协同传输场景下,直接根据系统的输出信噪比难以得到节点间最优功率分配因子的闭式表达式.因此,推导了系统输出信噪比的上界,在此基础上,提出了一种新的功率分配方法.将整个功率分配过程分成两步,采用迭代的方法实现节点间的最优功率分配.仿真结果表明,对于单中继节点的情况,所提出的功率分配方案能够获得约1~2 dB的性能增益,随着参与协同传输的节点数的增大,迭代的功率分配可使系统获得显著的性能提升.     

基于自适应粒子群算法的航天测控系统任务可靠性分配

采用测控时序图描述任务时序逻辑关系,建立了各阶段的任务可靠性模型,讨论了可靠性分配时的约束条件和分配目标,从而构建了航天测控系统任务可靠性分配模型.在此基础上,设计了自适应粒子群算法,算法在迭代过程中通过惯性权重系数ω进行自适应调整,初始时能快速搜索全局解,后期能有效地搜索局部解.通过算例仿真,表明自适应粒子群算法在用于航天测控系统任务可靠性分配问题时具有分配结果优、收敛速度快等优点.      

高超声速飞行器上升段最优制导间接法研究

高超声速飞行器的机身－推进一体化设计使得气动和推进之间存在强非线性耦合,本文针对高超声速飞行器的特点,提出了求解最优上升轨迹的一种可行方案。在零侧滑角和力矩瞬间平衡假设下对上升段飞行问题进行最优建模,将质量引入为状态量,以最省燃料为指标,以推力方向为最优控制量,根据极大值原理推导一阶最优条件。为数值求解两点边值问题,以解析解作为初始猜想,应用经典的有限差分方法和改进的牛顿法,在满足攻角过程约束下,通过同伦算法迭代求解最优轨迹。仿真在给定的初始约束和终端约束下进行,结果表明该制导算法能够实现对高超声速飞行器上升轨迹的优化,以参考面积为同伦参数的迭代方法,能够保证算法的收敛性和快速性。