刘家峡大桥重力式锚碇温度场参数化分析

以西北地区最大跨度单跨悬索桥—刘家峡大桥为工程背景,利用ANSYS有限元软件,建立了考虑大地、环境温度场热交换及冷却水管效应的全三维、浇筑养护全过程有限元仿真模型,介绍了混凝土水化热、热对流边界条件等模拟技巧;详细分析了考虑当地气温变化特点及冷却水管效应时按分层厚度1.5m,3.0m浇筑混凝土的结构温度场、应力场的分布规律,实际施工采用1.5m厚度分层浇筑,在理论分析所得关键区域埋设了温度、应力传感器,实测温度场、应力场结果与理论分析数值吻合良好,映证了所建立的水化热分析有限元模型、对流边界条件以及冷却水管效应正确无误,理论分析成果指导施工,实测结果验证了理论分析的正确性,分析方法及有限元建模技巧可为同类工程提供借鉴.     

保水式路面结构母体混合料设计方法研究

以保水式路面混合料为研究对象,从保水式路面母体结构的选择、混合料原材料性质等方面进行试验研究,以空隙率为主要的设计依据,提出母体沥青混合料的最佳配合比。     

基于面向对象方法的汽车制动专家系统的研究与开发

根据专家的设计经验,利用面向对象方法创建汽车制动专家系统。说明了汽车制动专家系统知识库的建立方法,并讨论不同的功能模块之间的数据传递和调用的方法。最后通过某车型参数对汽车制动专家系统进行测试,结果验证了汽车制动专家系统的正确性与可靠性。     

基于功率谱法分析场地效应对大跨度连续刚构桥的影响

以一座全长为346 m的预应力混凝土连续刚构桥为基础,建立全桥计算模型,采用由规范反应谱生成的相应的功率谱,分6种工况对桥梁进行激励;通过多点激励与一致激励的对比,分析了场地效应对连续刚构桥的影响.结果表明:对于高墩大跨度连续刚构桥,场地效应主要对跨中截面不利,并使桥墩墩底内力产生突变.     

含蜡原油常温输送技术的研究与应用

国内盛产含蜡原油,研究其常温输送技术,在安全输油、节能降耗等方面具有重要意义.结合常温输送工艺的内涵,提出了实现含蜡原油常温输送的技术路线,根据该技术路线,论述了含蜡原油常温输送的研究内容、研究方法及其技术现状,主要包括含蜡原油的流变性、改性机理和方法以及几种主要的常温输送工艺.文中介绍了目前国内外部分原油管线常温输送...     

不同来源生物柴油对柴油机燃油系统中T2纯铜腐蚀性能的影响

采用常温浸泡的方法,研究T2纯铜在不同来源生物柴油(菜籽油、玉米油、大豆油)和0号柴油中的腐蚀性能.浸泡672 h后对试样的腐蚀速率、C和O百分比含量、表面析出物以及电化学稳定性进行了研究.结果表明,T2纯铜在3种生物柴油中的腐蚀速率均高于柴油,生物柴油中的脂肪酸甲酯中羰基的存在是导致金属表面析出物增加的主要原因.3种...     

基于AMESim的双机并车仿真研究

针对双机并车试验台的构成,建立柴油机本体、PID调速器、SSS离合器的物理模型,运用AMES-im软件与MATLAB进行联合仿真研究,研究双机并车过程中的振动响应,仿真结果表明,在双机并车实验中可避免共振,具有较大的实际参考价值。     

地震作用下土工格栅加筋土挡土墙动力响应分析

采用连续介质快速拉格朗日差分方法对一座土工格栅加筋土挡土墙地震作用下的动力响应进行了计算分析,将加筋材料中最大拉力、动土压力、加速度放大效应的数值模拟结果与FHWA和公路加筋土工程设计规范计算值进行了对比分析。计算分析表明,挡土墙面板位移与加筋材料拉力均随时间累计增加,地震持续时间对加筋土挡土墙动力影响明显;在地震末期,加筋材料拉力、动土压力数值计算值要明显大于规范计算值;地震时加速度沿墙高有明显的放大效应,加筋土挡土墙墙趾分担了相当一部分动土压力。当前规范设计方法对这些因素均未给予充分的考虑。     

百罗高速公路3^#避险车道适应性分析

为使百罗高速公路3^#避险车道的设置能有效地为刹车失灵车辆提供减速停车的避险作用,文章采用理论分析的方法,结合国内外避险车道的研究、设计和应用经验,对百罗高速公路3^#避险车道的适应性进行分析评价,并针对不足之处提出合理的整治建议,为百罗高速公路长大下坡路段3^#避险车道的改造提供参考依据。     

Process passing calculus, revisited

In the context of process calculi,higher orderπcalculus(A calculus) is prominent and popular due to its ability to transfer processes.Motivated by the attempt to study the process theory in an integrated way,we give a system study of A calculus with respect to the model independent framework.We show the coincidence of the context bisimulation to the absolute equality.We also build a subbisimilarity relation from A calculus to the n calculus.