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

Boost-Flyback单级PFC变换器

设计Boost-Flyback单级功率因数校正(Power factor correction,PFC)变换器主要应着眼于两点:一是功率因数(Power factor,PF)值要求;二是直流母线电压.为了给设计提供依据,本文详细推导了其功率因数及储能电容电压表达式,分析了它们与电路参数的关系,定量地给出变换器达到所需PF值的条件,指出当后IFlyback工作在电流断续模式(Discontinuous current mode.DCM)时,储能电容电压不随负载变轻而上升,避免了功率器件电压应力过高的问题.最后设计了PF>0.9的原理样机,通过实验验证了分析的正确性.     

Duffing振子临界态性能研究

During振子临界态相变对弱信号检测研究非常重要,文中研究During临界状态的性能。介绍了随机微分方程理论关于噪声对系统周期态影响的分析;然后为克服存在的过渡过程,建立改进的系统仿真模型。通过仿真试验分析During振子临界态的性能,混沌态与大尺度周期态表现的性能差别深化了对混沌现象的认识;重点研究受噪声干扰的系统运动状态变化情况,得出系统运动越接近临界态越对噪声敏感,噪声越强周期态运动容易再次跃迁回混沌态,说明随机微分方程理论分析临界状态结果不正确;实验结果还表明,噪声是在某些特定条件下导致处于临界大尺度周期态运动的系统发生突变分又跃迁回混沌状态,值得进一步深入研究。     

求解等温相变问题的解耦法

基于焓法模型导出了一种求解等温相变问题的简单计算模型.计算模型将温度场与液相分数场进行解耦,即可分别求解出相变控制体和非相变控制体的温度;以长方体容器为例,用计算模型进行计算并将计算结果与实验数据及焓法计算结果进行对比验证,结果吻合的很好;利用计算模型,对长方体容器和圆柱体容器内相变材料熔化时间进行数值计算比较.结果表明,在容器体积和特征尺寸相同的条件下,长方体容器内相变材料的熔化时间几乎只有圆柱体容器的一半.      

基于硬脂酸复合相变材料的被动热沉性能

固液相变储能材料的被动热沉广泛应用于航空航天及军事装备领域。针对高热流密度电子芯片的被动温控问题,对比实验验证了单温度和双温度2种数值模拟方法对基于泡沫铜/硬脂酸复合相变材料被动热沉控温过程模拟的准确性。结合基于Maxwell-Garnett模型的EMT建立了石墨烯纳米片/硬脂酸复合相变材料物性,采用更为精确的双温度数值模拟方法分析了不同导热强化方式的控温效果,并研究了环境温度对热沉控温效果的影响。结果表明:高热流密度下的相变温控过程采用双温度数值模拟更为精确;当导热增强体的体积组分相同时,提高泡沫金属的孔密度对相变温控效果提升有限,而同时采用泡沫金属与石墨烯纳米片能更有效改善相变控温效果;环境温度的剧烈变化对温控时间和控温温度均能产生影响。      

新型无铅压电陶瓷Bi0.5（Na0.82K0.18）0.5TiO3-LiNbO3的研究

采用传统陶瓷制备方法制备了一种新型无铅压电陶瓷材料(1-x)Bi0.5(Na0.82K0.18)0.5TiO3-xLiNbO3(BNKT-LNx).研究了LiNbO3对BNKT-LNx陶瓷晶体结构、显微组织和压电性能的影响.结果表明:在所研究的组成范围内陶瓷材料均能够形成纯钙钛矿固溶体,LiNbO3促进陶瓷品粒生长.陶瓷介电温谱存在两个反常峰,随LiNbO3含量增加低温反常峰向低温移动,εm降低,介电弥散相变特征越明显.在x=0.01时该体系陶瓷压电性能达到最大值:d33=195 pC/N,kp=0.336.     

容器热物性参数对蓄热系统性能影响的数值研究

建立了分析潜热蓄热系统蓄热性能的二维数学模型,并进行了数值计算.其中考虑了容器壁面的导热,且相变传热只考虑导热模型,对相变材料(PCM)相变过程的求解采用解耦法计算模型.对几种不同材料容器内PCM熔化过程进行了数值计算比较,结果表明,容器材料的导热系数、比热容和密度等热物性参数对PCM的熔化有很大的影响.此外还对不同初始温度和边界壁温对PCM熔化的影响进行了数值计算.所得结论对潜热蓄热系统的热性能及其优化设计有一定的指导作用.      

液氮贮箱常压停放实验与数值仿真

为研究低温推进剂的常压停放过程,设计了可视化液氮贮箱实验系统。实验中研究充填率和环境温度对液氮汽化量的影响,并测量贮箱内流体和贮箱外壁面的温度随时间和位置的变化。实验得出贮箱常压停放过程,相变主要在壁面和气液界面产生,并且气枕区存在温度分层,距出口位置越近温度越高;而液体区温度基本一致,处于饱和状态。贮箱外壁面在轴向的温度分布显著不同,处于液体区壁面温度低。运用分子动力学推导出的Hertz-Knudsen公式作为气液相变的传热传质源项,并据实验测得温度边界条件,采用混合物模型对贮箱常压停放状态进行30 min的数值仿真。仿真得到结果显示体积汽化速率与实验数据的偏差在5%以内,液体区的温度仿真与实验的偏差在0.15 K左右。      

热水火箭发动机喷管内流场数值模拟

为了更好地了解热水火箭发动机的工作特性,建立了热水火箭发动机喷管流动的数值计算模型,并通过算例进行验证。通过对发动机喷管内部流场的研究,发现收敛段中压力首先降到初始温度对应的饱和压强,然后继续降低,并且在喉部的位置开始发生相变,从而使流动变为气液两相流,而且喷管出口处气相体积分数高达99%以上;由于变声速的原因,可以使两相流的流动在喉部之后达到超声速;把喷管的流动分为三个过程:单向流动过程、降压闪蒸过程和膨胀加速过程,与常规的化学能火箭发动机相比有类似性,但是由于闪蒸相变的存在,使其存在一定的复杂性。