迈向数学机械化：从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入因境，评价了塔斯基在理论上给出了定理判定的方法意义。特别指出是王浩首次在计算机上实现了高效证明定理的方法，并明确提出“迈向数学机械化”。     

预混均质充量压缩燃烧发动机燃烧与排放特性

为改善柴油机的燃烧和排放特性,在一台2105柴油机上开展了二甲醚(DME)预混比和废气再循环(EGR)对二甲醚-柴油双燃料预混均质充量压缩燃烧(PCCI)发动机的燃烧与排放特性影响的试验研究,通过在进气道预混DME和缸内直喷柴油实现了PCCI燃烧模式。试验结果表明:随着DME预混比的增加,放热过程由两阶段放热发展到三阶段放热,燃烧始点前移,最高爆发压力逐渐增大且对应的相位不断提前;冷EGR导致的PCCI发动机最高爆发压力下降的程度、瞬时放热率峰值及压力升高率峰值对应的相位滞后程度均随着DME预混比的增加逐渐减弱;随着DME预混比的增大和EGR率的减小,当量有效燃油消耗率逐渐降低,有效热效率逐渐升高;DME预混比和EGR率增大可有效降低NOx排放,但是HC和CO排放有所增加。文中工况下最优DME预混比为30%。     

圆钢管格构式塔架气动力的数值模拟

输电塔结构具有高柔、轻质和小阻尼的特性,因此风荷载是输电塔结构的主要控制荷载.以苏通大跨越输电塔结构作为工程背景,开展了一系列的刚性节段模型风洞试验,研究了在光滑均匀流作用下的圆钢管格构式塔架气动力特性.并基于计算流体力学(Computational Fluid Dynamics,简称CFD)技术,采用大涡模拟(Large-eddy simulation,简称LES)方法分别对圆钢管格构式塔架节段的顺风向、横风向和扭转向风荷载特性进行计算,并将计算结果与实验值以及各国规范进行了对比.此外,讨论了湍流度分别为5%、10%、15%和20%四种情况下的三分力系数.结果表明,本文的数值模拟结果与各国规范及风洞试验结果较为一致,且湍流度的变化对结构三分力系数的脉动成分有显著影响.此外,从节段模型的表面风压力分布情况来看,最大正压出现在迎风面的主管正面和辅材相交节点的正面,最大负压出现在主管的侧面.通过涡量图对节段模型流场结构分析发现,x向的涡量离散程度更高,而y和z向上涡量分布更加均匀连续.本文的研究成果对实际工程中的圆管截面格构式结构风荷载评估具有重要的参考价值.     

架空输电线路巡检机器人塔上充电系统设计及充电策略研究

为满足架空输电线路巡检机器人全天候在线工作的要求,本文根据架空输电线路的环境特点,设计出一种架空输电线路巡检机器人塔上充电系统。优化的充电接口设计结合对接位置微调算法,有效提高了机器人充电对接的成功率;基于不同工况下的机器人功耗分析,建立机器人工作能耗模型,得出了科学的充电站布局方式及机器人充电策略。通过系统运行和充电测试结果表明,机器人塔上充电系统运行稳定,机器人充电对接准确、高效,满足机器人塔上自主充电的需求。     

输电塔-线体系覆冰增长动态响应分析

为了有效分析输电线路在覆冰作用下的正常运行情况,针对重覆冰区气象特征,结合旋转圆柱覆冰增长模型对覆冰区域进行12 h覆冰荷载及风荷载的计算;根据110 kV输电线路特征,采用梁杆分析单元,建立多塔塔-线耦合有限元模型;然后,基于有限元法(FEM)分析软件ANSYS进行覆冰增长动态响应分析.研究表明：在12 h覆冰过程中,线路整体运行平稳,不会出现失稳倒塔现象;不均匀档距和高差在顺线路方向对杆塔影响较大,12 h覆冰过程中杆塔塔头最大应力分别超过标准杆塔7.6%和12.2%;转角由于横向力作用对杆塔扭转影响较大,12 h覆冰过程中转角10°和15°的杆塔塔身最大应力分别超过标准杆塔98.5%和192.4%;线路中不均匀档距、转角及高差产生的不平衡张力是导致杆塔变形增大的主要原因.分析结果同线路实际运行情况相符,可用于架空输电线路覆冰可靠性分析和指导线路除冰.     

硝酸盐浓度对南极亚历山大藻毒素含量和组成的影响

研究了不同硝酸盐浓度（50～250μmol/L）对南极塔玛亚历山大藻Alexandrium tamarensePolar（ATP）麻痹性毒素含量和组成的影响.结果表明,ATP所产毒素主要为N-磺酰氨甲酰基类毒素（C2毒素）,占细胞毒素总量的90%,此外还含有少量的膝沟藻毒素（GTXs）,如GTX5和GTX3,但未检出到其它麻痹性毒素.硝酸盐浓度的变化对ATP的细胞密度和生长率影响不大,但对GTXs和C毒素的单细胞毒素含量（fmol/cell）和毒素产量（μmol/L）均有显著影响.在培养期后期（第5天起）,高硝氮浓度组（150μmol/L及以上）单细胞毒素含量比低硝氮浓度组（100μmol/L及以下）单细胞毒素含量增加了2～3倍,毒素产量提高20%～60%.但在整个生长过程中ATP的毒素组成保持相对稳定,均以C2为主要毒素组成.本研究结果表明,在海洋环境中硝酸盐浓度的增加可能会提高南极塔玛亚历山大藻细胞毒素的含量,从而提高了其潜在毒性.     

预混合燃烧系统中多孔介质作用数值研究

根据气固两相局部非热平衡假设,建立了混合气在惰性多孔介质中预混合燃烧的一维数学模型,研究了不同情况下甲烷-空气的预混合气在多孔介质中燃烧时的温度分布和燃烧速率,并与自由空间中相应的值进行比较．结果表明,多孔介质的存在可以扩展混合气的燃烧极限,明显改善了燃烧室的换热性能,强化了对新鲜混合气的预热,降低了热量损失;在多孔介质中混合气的燃烧温度和燃烧室的温度明显升高,反应区厚度和燃烧速率显著增大．数值结果与其他研究者的实验结果是一致的．     

金属丝网规整填料的传质性能

为了研究金属丝网规整填料性能,在不同回流比条件下,考察了CDG1700Y和CDG2500Y型金属丝网规整填料在两种不同二元测试物系的传质性能.实验结果表明,这两种填料的压降随着液体流量的增大而增大,单位填料层高度的HETP变化趋势则相反;测试物系对传质效率有一定的影响;CDG1700Y和CDG2500Y型填料具有较高的理论板数,且CDG1700Y型填料具有较大的操作弹性.在SRP(Ⅱ)模型的基础上,获得了实验室条件下测试填料的气液传质系数的经验关联式,其预测值与实验结果吻合较好,可以为工业化设计提供指导.     

预混气体爆轰胞格结构定性仿真建模*

预混气体的爆轰波具有典型的胞格结构,主要用烟熏技术记录下爆轰波在管道中由横波、入射波和马赫杆交合的三波点运动轨迹。胞格宽度λ作为胞格的特征长度,爆轰的胞格尺寸也是判断可燃混合气体最基本的特征参数,基于胞格尺寸,爆轰的其他动态参数,如临界管径、爆轰极限和直接起爆的临界能量等都可以通过联立爆轰胞格尺寸得到。爆轰胞格结构在研究预混气体爆轰波传播特性方面意义重大,不同初始条件对胞格尺寸都会产生一定的影响,本文通过定性与定量相结合的建模方式研究分析爆轰胞格尺寸与初始条件的关系,根据与实验数据的定量比较,验证定性仿真的正确性和可行性。     

110KV输电线路在电力施工中质量控制思考

110kV输电在国民生产中起到十分重要作用,如何建设好110kV输电线路是保证电力供给的前提,本文从110kV输电线路电力施工出发,探讨了对其质量控制的思考。