O-表达式的性质定义与规范

在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式（O-表达式）的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独立O-表达式（stand-alone O-expression,saloe）。一个完整的程序可能由若干个saloe组成。给出了一个定理,指出如何从这些saloe的性质导出完整性程序的性质。用大量实例阐明了程序性质的形式定义。     

上海地区的硬壳层及其有关问题的探讨

该文在分析了上海地区硬壳层的力学性质的基础上 ,探讨了软土地区在硬壳层使用过程中 ,忽视②1与②2 两亚层的划分以及基底埋置深度不合理等方面原因可能造成的问题。     

考虑启动压力梯度的复合气藏不稳定压力动态分析

低渗透气藏的渗流过程中存在启动压力梯度,导致其渗流机理比常规气藏更加复杂。其次,在低渗透气藏开发过程中由于酸化、压裂或气藏本身的特点,会使得气藏近井区和远井区的岩石及流体性质存在差异,形成复合气藏。因此,建立了考虑启动压力梯度的复合气藏水平井不稳定渗流模型,使用Laplace变换、正交变换等方法获得了该模型的无量纲解析解。在此基础上,研究了启动压力梯度、水平段长度、内外区流度比和内区半径对复合气藏水平井不稳定压力动态特征的影响。结果表明,考虑启动压力梯度的复合气藏水平井的压力动态曲线可划分为纯井储阶段、井储后的过渡阶段、早期垂向径向流阶段、中期线性流阶段、内区拟径向流阶段、内外区拟径向流过渡阶段和外区拟径向流阶段。启动压力梯度越大,压力动态曲线后期上翘幅度越大;水平段长度越大,压力动态曲线位置越低;内外区流度比越大,压力动态曲线位置越高;内区半径越大,内区拟径向流阶段持续时间越长。研究结果丰富了低渗透复合气藏不稳定渗流的相关理论,为更好地认识气藏渗流规律和气藏的科学高效开发提供了理论依据。     

工程数值法教学改革研究——以“地质工程数值法”为例

以"地质工程数值法"教学为例,针对工程数值方法的课程特点和目前教学中存在的典型问题,分析了教学改革的必要性,提出了教学改革的教学思想与教学理念,探讨了教学改革的实施方案,包括教学内容改革、学生能力培养和具体教学方法设计。最后分析了教学改革的成果,指出了其优点和注意事项。     

浅析矿用隔爆型干式变压器外壳设计

通过对矿用隔爆型干式变压器外壳的间隙隔爆原理、隔爆接合面结构参数、性能保证、外壳强度、外壳结构方面的分析,提出其设计要点。     

Cu/Mo_5Si_(3p)复合材料的摩擦磨损性能研究

采用销—盘式摩擦磨损试验机研究了液相烧结制备Mo5Si3颗粒弥散强化铜合金在滑动干摩擦条件下的摩擦磨损行为。结果表明:Cu/Mo5Si3p复合材料具有优良的摩擦磨损性能。随着Mo5Si3含量的增加Cu/Mo5Si3p复合材料的硬度增加,摩擦系数和磨损失重量降低。Mo5Si3含量低时,Cu/Mo5Si3p复合材料的磨损机制为犁沟变形和粘着磨损为主,而Mo5Si3含量高时则为犁沟变形磨损为主。     

上海软土场地的地震反应特征分析

近年来的宏观震害资料和强震观测记录已经证明：场地条件不仅对地震动的峰值加速度和频谱形状具有重要的影响,而且与不同类型工程结构的地震反应和震害机理也具有相当密切的关系.上海地区的第四纪沉积土层呈水平层状分布,基岩埋深可达300m左右,且浅部普遍发育有滨海沼泽相软土.因此,上海地区上覆深厚、软弱的沉积土层,对场地的地震反应特性无疑具有重要的影响.文章基于一维场地地震反应的等效线性化频域分析方法,建立了上海软土场地的动力分析模型,以El Centro地震波为例,重点分析了上海地区场地土的地震反应加速度反应和频谱特征.研究表明,在7度抗震设防即场地地面峰值加速度（PGA）等于0.1 g的情况下,上海软土场地的地表峰值加速度具有放大特性,地表加速度的频谱组成具有低频放大,高频过滤的特征,地面运动加速度反应谱的卓越周期也具有向长周期方向移动的趋势.     

基于博士生视角的中美工科博士生创新能力培养模式比较分析

针对中国目前博士生创新能力培养不足的现状,借美国辛辛那提大学访学之机,深入剖析美国博士生创新能力培养模式。从招生质量、培养过程、心理调节与职业规划三方面对中美高校博士生培养模式进行了比较分析,提出基于美国高等院校博士生创新能力培养经验的改进建议,包括充分保障科研生活、改进招生模式、推动课程论文双轮驱动、提供人才培养创新环境与文化建设、建立导师组、服务博士生个性化需求、注重心理调节与职业规划等,以期推进中国工科博士生培养模式改革,为提高国家整体创新能力奠定基础。     

滚石运动特性研究新进展

综述了近年来国内外关于滚石运动轨迹及滚石冲击力研究的新进展,介绍滚石灾害风险评价与滚石防护措施的研究成果。现场试验、模型试验和数值模拟是目前应用较多的三种滚石运动轨迹研究的方法,其中数值模拟在滚石运动轨迹研究中已经成为主流研究手段。重点介绍了STONE,CRSP,RocFall三种滚石运动轨迹的数值模拟软件,列举了若干滚石冲击力的典型计算方法。最后进一步提出,在滚石运动轨迹研究中,数值模拟的发展应该侧重于滚石的滑动、自由落体、弹跳、滚动这四种运动状态之间的相互转化与组合机理的研究。     

考虑剪切变形的水泥土挡墙水平位移计算

在已有的水泥土挡墙水平位移计算模型的基础上，提出了可考虑剪切变形影响的计算方法，算例计算结果与实测值较吻合。