向量丛上的联络映射

论述了向量丛上联络的性质，得到流形Ｍ与欧氏空间局部等距的一个充要条件，并且证明了Ｍ作为切丛ＴＭ中的子流形时，Ｍ的法丛与ＴＭ是等距的。     

两流中间包流场的物理模拟与结构优化

研究了坝、堰的结构和安装位置对55 t两流板坯连铸中间包内流体流动状态的影响,结合RTD曲线计算出的平均停留时间,确定了优化的中间包结构。研究表明:坝、堰组合之后可以改变流体的流动状态,延长流体运动的轨迹,提高流体的平均停留时间,但流体经过坝、堰后都存在一定体积的死区。采用坝1、堰1组合方案的中间包结构最佳,该方案的平均停留时间最长为299 s,死区体积分数最小为31.0%。优化控流参数后,在坝、堰间距为290 mm,堰到长水口间距为383 mm时,流体在中间包内的平均停留时间最长为351 s,死区体积分数最小为19.0%,比不加坝、堰的方案平均停留时间增加了65 s,死区体积分数减小了15.0%。由Newton公式计算表明,此优化方案的中间包去除夹杂物的临界直径为17.5μm,在351 s内夹杂物均能上浮去除。     

在轨运行低温液氢箱体蒸发量计算与增压过程研究

为了研究低温箱体在外部漏热下的在轨增压过程,采用FLUENT软件中的流体体积(VOF)方法,对AS-203飞行试验中低温液氢箱体进行数值模拟。通过对默认可实现k-ε模型进行参数调整,并与试验结果对比发现,调整参数后的模型可较好地预测低温液氢箱体在轨增压过程。因此,采用该模型对所研究低温液氢箱体进行500s增压数值模拟,计算结果表明:与气枕接触的壁面漏热绝大部分用来使箱体增压,小部分用来产生相变;在外部漏热下低温箱体压增速率约49.6Pa/s,箱体气液界面的蒸发率约为0.101 6%/h;在一定的微重力水平下,自然对流作用依然存在,其对流强弱主要取决于箱体尺寸以及外部漏热热流大小;在整个模拟过程中,气枕区热分层较之液相区更为严重;随着重力水平的降低,表面张力的作用逐渐凸显,界面形状变为曲面。     

高压脉冲对岩混材料击穿效应的仿真研究

为了研究高压脉冲对岩混材料目标的击穿规律,该文通过计算机仿真软件模拟高压脉冲对岩混材料块的作用过程,研究电子束运动轨迹及其能量密度分布的变化。结果表明:趋于临界击穿条件下,电极端自由电子的倍增效应越发显著,输入端发生雪崩击穿并表现出电子束呈现边界收窄的趋势,同时电极尖端能量密度分布趋于聚焦,与实验所测输出电流峰值越高,波形脉宽越窄的现象一致。该研究可为高效破碎岩混材料相关应用提供技术依据。     

基于Fluent的钻井纠斜液压系统导向套叶片形状优化选择

建立3种不同叶片截面形状导向套的SolidWorks模型,利用Fluent软件对自动垂直钻井系统导向套井下多相耦合流场进行仿真分析,得到泥浆通过不同叶片截面形状导向套时的流动特性,进而对导向套叶片截面形状进行优化选择。结果表明,旋转导向套采用三角形截面叶片为最佳选择。     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

矩形截面人工挖孔桩护壁的设计与施工

以工程应用为基础，提出了矩形人工挖孔桩护壁上压力的一种改进计算方法，总结出了此类护壁的设计与施工技术措施。     

一种荧光灯电子镇流器电路分析

本文分析了一种性能优良的荧光灯电子镇流器的电路结构，工作原理及其使用时的特点。     

物料衡算法在工业源污染物排放量核算中的应用探讨

物料衡算法是污染源普查技术规定的污染物排放量核算方法之一,但对物料衡算法的方法技巧缺乏深入全面的归纳和总结,难以被基层污染源普查人员掌握运用.在分析存在问题的基础上,结合排污量核定实践总结进行物料衡算的一些技巧,提出通过策略性的手段提高调查数据可信度的观点.     

硬质薄规格镀锡板平整轧制变形行为与辊形技术

以某厂镀锡板连退机组双机架HCM平整机为研究对象,理论分析结合有限元仿真和现场实验,对硬质薄规格镀锡板的平整轧制变形行为进行了研究,揭示了硬质薄规格镀锡板平整时轧制力偏大、实际延伸率达不到设定目标延伸率以及实物板形质量较差的原因,确定了相应的解决问题的技术思路.在此基础上,运用基于有限元仿真的辊形设计方法和软件,研制了新的中间辊端部辊形.生产应用结果表明,该中间辊端部辊形能够有效地减轻压靠、稳定实现设定的目标延伸率且实际平整轧制力降低10%～20%,而且还可以根据需要在正常平整轧制力下使实际延伸率增加0.1%～0.2%.