基于变量决策层的启发式变量选择策略

启发式分支策略是SAT求解器中不可或缺的一部分，直接影响求解器的效率。早期的启发式分支决策需要遍历整个子句数据库，效率比较低。随着独立变量状态衰减和（Variable State Independent Decaying Sum, VSIDS）分支策略的出现，SAT求解器的效率有所提高，但VSIDS策略以及它的延伸策略中变量的增量都只是与变量的冲突次数有关，没有考虑变量的决策层在分支策略中的影响。因此当发生冲突时，如果与冲突有关的变量的得分相同而决策层不同时，对于变量的选择就具有随机性。基于此，本文在阐述变量的决策层的重要性之后在VSIDS策略的基础上，提出一种基于变量决策层的启发式变量选择策略--HSVDL策略。然后通过实例显示HSVDL策略在变量决策阶段选择决策层低的变量的可能性比选择决策层高的变量的可能性要大，而且得分比较小，减少了内存的占用。最后通过实验表明HSVDL策略能够求解出更多的实例，求解器的效率也有所提高，说明该策略有一定的优势。     

基于随机振动仿真分析的阵列天线结构改进

某型阵列天线属于机载设备,在做完随机振动试验后,第2个天线单元的一个辐射板被振裂.为了快速找到断裂原因,改进天线结构,利用有限元仿真软件ANSYS Workbench进行随机振动仿真分析.分析结果表明:原天线单元辐射板根部圆角太小,产生较大应力集中,最大3σ应力为102.74 MPa,超过材料疲劳极限应力87 MPa;改进后的天线结构,最大3σ应力降低24.2％,其数值为77.85 MPa,小于疲劳极限应力,满足设计要求.最终,改进后的天线结构顺利通过振动试验,有效验证了仿真分析与结构改进的合理性.     

基于自然伽马测井曲线的旋回识别及古气候判断

尼玛盆地地处青藏高原腹地,由于环境恶劣交通不便等问题,导致尼玛盆地沉积旋回和层序地层研究程度极低.收集盆地内第1口探井(尼1井)的地球物理数据,利用自然伽马测井曲线对尼1井牛堡组一段进行频谱分析,共识别出405 kyr周期旋回37个、100 kyr周期旋回148个、54 kyr周期旋回274个、41 kyr周期旋回362个和23 kyr周期旋回646个,各周期对应旋回沉积厚度分别为17.7305、4.4623、2.3680、1.7873、1.0886 m,平均沉积速率44.03 m/Ma,沉积时限14.8 Ma.在此基础上,结合带通滤波变化趋势分析,认为该地区的气候反常现象由印度板块与亚欧板块的碰撞隆升引起,风化作用与焚风作用共同控制了高原内部的气候变化.     

大跨度连续刚构桥悬臂施工挂篮设计与计算

文章以主跨跨径(96+180+96)m的某特大桥为工程背景,研究大跨度连续刚构桥箱梁悬臂施工挂篮的设计与计算.运用Midas有限元软件,建立针对该工程设计的三角挂篮有限元模型,计算分析大跨度连续刚构桥悬臂浇筑挂篮各构件的受力特点与稳定性.结果 表明:在不同工况下,挂篮的应力、变形及稳定性均满足要求,说明针对此工程设计的挂篮具有较好的安全性与适用性;浇筑1#块与5#块时屈曲模态基本一致,其一阶失稳模态最大屈曲向量值出现在立柱直系杆上;挂篮底纵梁最大应力与前下横梁、中主纵梁与前上横梁支点处最大变形接近容许值.对此,提出了挂篮设计优化建议,可为今后此类工程的设计施工提供参考与借鉴.     

时间效应在悬滴法测定表面张力中的影响

表面张力是流体重要的物理性质,测定表面张力的方法通常包括毛细管上升法、最大气泡压力法、拉环法、旋滴法和悬滴法等。目前,最普遍的表面张力的测定方法为国家标准推荐的平板法或拉环法。然而,悬滴法作为一项成熟的表面张力测定方法且具备静态表面张力及动态表面张力测定功能,目前使用该法测定的较少。文章使用悬滴法测定较低含量的表面活性剂溶液静态表面张力时发现结果与拉环法差异较大,而测定单组分液体及含量较大的表面活性剂溶液,悬滴法与拉环法的测定数据差异较小,这种情况的相关报道较少。另外,使用动态表面张力测定探索了静态测定时出现差异的原因,并对应用悬滴法进行表面张力测定的适用范围进行了总结。使用悬滴法测定表面张力时,应注意时间效应的影响。     

超高压处理对牦牛肉贮藏性能的影响

牦牛肉分别经200、400、600 MPa超高压处理480 s，测定4°C条件下贮藏0、4、8、12、16 d后感官、pH、微生物、色泽、蛋白质与脂质氧化情况，以探讨超高压处理对牦牛肉贮藏期内品质的影响。结果表明：超高压处理可以显著降低贮藏期内牦牛肉的菌落总数、总挥发性盐基氮含量（total volatile basic nitrogen, TVB-N）(P<0.05)，延长保质期，且经贮藏4～8 d后能良好保持牦牛肉的感官品质。经超高压处理后牦牛肉L*值、b*值显著增大（P<0.05）,a*值在400 MPa时显著增大（P<0.05）并在贮藏期内维持在最高水平，且400 MPa组各类肌红蛋白（Myoglobin, Mb）含量也表现出良好的肉色稳定性，但a*值在其他压力处理后显著减小（P<0.05）。但经超高压处理后牦牛肉肌原纤维蛋白（Myofibrillar Protein, MP）羰基含量与表面疏水性增高、巯基含量降低，TBARS值升高。Pearson相关性分析结果也表示超高压处理后牦牛肉品质的变化与压力、蛋白质氧化、脂质氧化和微生物相关（P<0.05...     

动车组自动断电过分相车体瞬态过电压优化研究

高速动车组车载自动断电过分相时,瞬态电压会通过车顶高压电缆缆芯与屏蔽层间的耦合注入各节车体,合理的保护接地方式可快速泄放车体瞬态电压,保证各车体电位相等.基于此,介绍了动车组过分相的暂态过程,运用MATLAB/Simulink建立了各暂态过程的等效电路模型,经过仿真分析接地电感与电容对车体瞬态电压的影响规律,提出了并联电容器的保护接地方案,对动车组高效运行具有一定参考价值与指导意义.     

基于阻抗匹配的辅助逆变器稳定性分析与设计

针对电力机车上辅助逆变器运行时输入阻抗与直流侧LC滤波器输出阻抗不匹配导致直流侧振荡的问题进行分析.介绍了一种辅助逆变器结构及控制策略,基于阻抗不匹配导致的直流侧不稳定机理,提出了电压瞬时值控制下逆变器的输入阻抗建模方法,并依照阻抗匹配理论设计了逆变器的部分主要参数.通过MATLAB/Simulink仿真与实物验证了辅助逆变器设计方法与稳定性分析的正确性与有效性.     

大跨度机库钢桁架中的预应力钢绞线穿束施工技术

以成都天府国际机场国航基地工程(机务维修一期)101号维修机库大跨度边桁架中的预应力钢绞线施工为背景,针对预应力钢绞线超长、单束钢绞线数量多、钢绞线穿束时质量大、摩擦力大等难点,提出钢绞线设计分束优化、增加增强隔板、研发穿束牵引装置等方案,通过实施该方案,减小了穿管时的牵引力,大大降低了钢绞线穿管损伤风险,同时大幅节省了穿管措施费用。