严格随机正则(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实例。     

壁面温度对斜爆震发动机进气道流动特性影响的数值研究

为研究壁面温度条件对层流、转捩、湍流状态下斜爆震发动机进气道流场结构、流场参数的影响,选取Ma10级、具有曲面压缩段的斜爆震发动机进气道为研究对象进行数值模拟,对进气道壁面附近激波诱导分离区、热边界层的变化进行了深入探讨。数值模拟结果表明,进气道肩部圆弧过渡段出现的再层流化现象,壁面冷却对其起抑制作用,绝热壁面条件下再层流化程度最为严重。壁面温度的增加有利于延缓流动转捩,同时也导致了分离区尺寸的增加以及转捩、湍流状态下分离区主体位置逐渐前移,进气道内通道的转捩为分离诱导转捩,转捩位置主要受到分离点位置的影响,整体表现为壁面温度增加转捩位置前移。进气道出口顶板侧热边界层厚度随着壁面温度的增加逐渐变厚,转捩状态下热边界层厚度变化可达5%,温度峰值也随着壁面温度的增加逐渐增加,且峰值位置逐渐靠近壁面。壁面温度条件相同时,层流状态下热流、热边界层厚度均较小。转捩、湍流状态下进气道出口顶板侧热边界层较厚,约为层流状态3倍,同时转捩、湍流状态下热边界层厚度相差可达2%。     

空间对称型二次反射太阳能聚集系统能量传输特性

聚光光伏系统的聚光比和聚集太阳能流密度分布的均匀性是评价其性能的重要指标,基于几何光学原理,建立了对称型二次反射聚集系统的数学物理模型,理论分析了偏轴聚集器倾角、二次斜面倾角等聚光系统的结构参数对能流密度均匀性和聚光比的影响,提出了优势参数组合;并采用射线踪迹蒙特卡罗法(MCRTM)对太阳光的聚集传输过程进行模拟,分析了接收面的能流密度分布特性。结果表明,对称型二次反射聚集系统在偏轴抛物面倾角、二次斜面倾角以及接收面高度参数的适当组合之下,聚光比适中,能流分布均匀,适宜用于空间聚光光伏发电。     

转捩对平流层飞艇外形优化的影响

采用梯度算法优化了平流层飞艇外形以减少气动阻力,目标函数飞艇总阻力系数通过求解Navier-Stokes方程获得.优化过程中采用了SSTκ-ω转捩湍流模型和Realizable κ-ε全湍流模型求解绕流流场,采用大涡模拟方法详细分析了获得的两种飞艇外形的气动性能和特点,并且比较了两种湍流模拟方法的流场求解对梯度法优化的目标函数以及飞艇形状特点的影响.结果表明:是否考虑转捩对优化的结果有明显的影响,考虑转捩优化方案的气动性能明显优于全湍流流动求解优化方案.采用转捩模型的优化由于层流区域的存在改变了飞艇尾部的形状,从而获得了尾部分离区较小的飞艇外形轮廓.      

激励强度对等离子体合成射流的影响

通过在Navier-Stokes方程组中添加体积力源项的方法,模拟了不同激励强度下等离子体合成射流,并研究了激励强度对流场特性的影响。计算结果表明,随着激励强度的增大,激励器附近壁面处的涡量增大,对应的涡对中心诱导的流向速度增大,从而导致涡核更加远离壁面,并被拉伸变长。对于等离子体合成射流的时均流场,其中轴线上的流向速度随着激励强度增大整体变大。在较小的激励强度下,射流半宽度随着激励强度的增大而增大;而激励强度很大时(>6 Dc0),激励强度对半宽度基本没有影响。沿流向的动量通量也随激励强度的增大单调增加。     

分布式卫星构形调整的协同规划研究

为降低分布式卫星系统构形调整规划的求解复杂性,提出一种协同规划策略,将构形最优调整问题划分为两层规划问题,包括整体协同的星位分配与首星位相位优化的顶层规划,以及各卫星自身调整策略优化的底层规划.通过响应面模型表达两层规划的耦合,以顶层规划驱动响应面的更新,顶层规划和底层规划交替迭代执行,重点探索有价值的区域,逐步接近最优解和达到高的求解精度.以多星多冲量构形调整问题验证协同规划策略的有效性,建立了相关模型,以低计算代价获得了示例问题的满意构形调整策略.提出的协同规划策略明显降低了问题求解的复杂度,大大减少了计算开销,且易于并行执行,为充分利用各卫星的计算资源实现自主规划提供了有价值的思路.     

综合运载器健康管理健康评估技术研究

健康评估是综合运载器健康管理的关键技术之一.针对健康评估的需求,提出适合于健康评估功能要求的五要素建模理论,研究了基于面向对象的贝叶斯网络(OOBN,Object-Oriented Bayesian Networks)的健康评估实现技术,提出了五要素结构化OOBN健康评估推理模型的建模方法,鉴于贝叶斯网络(BN,Bayesian Networks)要推理计算属于NP-hard难题,难于工程化应用,提出了适用于结构化BN模型的,以变化证据信息为导向的,基于贝叶斯球和交叉熵测度的变模型快速推理算法,Monte-Carlo仿真实验验证了算法的有效性,最后以变速箱健康评估为例,说明本文所提健康评估理论的有效性.     

机载网络数据的采集及同步传输

主要介绍了机载局域网数据采集遵循的协议、方法和时间同步问题,提出了解决局域网内网络数据采集、数据包结构和数据的时间同步问题的思路,探讨了不同数据包之间数据融合的方法,并给出了网络数据包的编排规则和同步传输的性能指数。     

Remaining useful life prediction based on variation coefficient consistency test of a Wiener process

High-cost equipment is often reused after maintenance, and whether the information before the maintenance can be used for the Remaining Useful Life (RUL) prediction after the maintenance is directly determined by the consistency of the degradation pattern before and after the maintenance. Aiming at this problem, an RUL prediction method based on the consistency test of a Wiener process is proposed. Firstly, the parameters of the Wiener process estimated by Maximum Likelihood Estimation (MLE) are proved to be biased, and a modified unbiased estimation method is proposed and verified by derivation and simulations. Then, the h statistic is constructed according to the reciprocal of the variation coefficient of the Wiener process, and the sampling distribution is derived. Meanwhile, a universal method for the consistency test is proposed based on the sampling distribution theorem, which is verified by simulation data and classical crack degradation data. Finally, based on the consistency test of the degradation model, a weighted fusion RUL prediction method is presented for the fuel pump of an airplane, and the validity of the presented method is verified by accurate computation results of real data, which provides a theoretical and practical guidance for engineers to predict the RUL of equipment after maintenance.     

全源定位与导航的统一理论框架构建

针对多导航传感器的信息融合复杂性的问题,提出了一种基于全源定位与导航的信息融合统一理论框架。该框架将目前导航领域的主要定位导航技术分成了与时间无关的定位导航技术方法以及与时间相关的定位导航技术。首先,主要从数学的角度将各种导航技术的测量模型抽象为统一的表达形式,提出了位置、姿态、速度函数的概念,讨论了各种测量方法的测量函数及其应用;其次,分析了航位、航姿、航速的推算方法;最后根据测量模型和运动模型构建了信息融合的基本方程,并讨论了基于贝叶斯估计的导航参数一般性估计方法。