龙山旅游资源及开发构想

本文阐述了龙山旅游资源的特点，分析了开发该区的旅游资源的条件，并就龙山风景区的开发提出了设想。     

论中国当代传记文学的成就、问题与经验教训

当代传记文学取得了令人瞩目的成就，亦存在着一些突出问题。认真回顾反思，总结经验教训，是促进传记文学持续发展必不可少的工作。     

一种江海运输需求预测模型及其验证

针对江海货物运输的特点,提出了一种江海运输需求预测模型,通过举例验证,说明该模型具有一定的合理性和实用性.对长江地区的外贸江海直达运输所进行的预测,其结果可作为制订发展长江外贸江海直达运输政策的重要参考依据.     

向量丛上的联络映射

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

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

研究了坝、堰的结构和安装位置对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.