多项式程序模型的互模拟等价

针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题．最后给出并发程序的相关实例．     

金沙江叶巴滩水电站右岸坝肩岩体质量快速评价方法

以金沙江叶巴滩水电站工程为依托,利用普遍测网法测出平硐裂隙,结合分形几何研究对右岸坝肩岩体裂隙分维值进行了分析,利用修正RMR法获得局部区域岩体质量等级并与该区域分维值建立对应关系,其分维值即可作为右岸坝肩岩体质量的一个定量表征指标,从而快速获得坝址区右岸岩体质量等级。此方法可对岩体质量做出快速评价,方便水电站选址。     

小爆破技术在桥梁桩基施工中的应用

在桥梁桩基础冲孔施工中会出现塌孔、斜孔、卡钻、糊钻和埋钻等各种难题。通过施工实例分析,总结出桩基施工小爆破技术,成功地解决桥梁桩基础施工中所遇到的地下大孤石和钻头卡钻的难题,为类似工程提供借鉴实例。     

舰船水压场实验的新方法

舰船水压场是舰船目标自身的特性之一.在压力直接测量法基础上,研制了舰船速度-压力场和舰船浪高-压力场套联合测试系统,建立了基于扰动速度和表面波高间接获取舰船水压场的理论反演模型,通过船模实验验证了所提出的2种方法效果良好.     

商用车驾驶室门窗防雨密封性提升与应用

为解决驾驶室淋雨时门窗部位的漏雨问题,提升驾驶室密封性,对相关位置进水原因进行分析,从密封结构及密封工艺方面进行改进提升,经实验验证方案有效、可靠,并进行推广应用,在实际生产中有效地提高了驾驶室密封性,相关改进方案在以后的产品设计中可以参考应用。     

持续降雨下某非饱和土质滑坡稳定性分析

大量的事实表明,降雨是影响边坡稳定性,导致边坡失稳的最主要和最普遍的环境因素。对夹江县某土质浅层滑坡在降雨条件下稳定性进行了分析评价,通过有限元分析的方法,建立数值模型,分析在不同降雨条件下,稳定性随时间的变化规律。结果显示该滑坡在降雨条件下稳定性随时间逐渐降低,处于不稳定状态,应采取相应的加固措施确保安全。     

限制水域船舶升沉与纵倾研究

基于非线性浅水波理论,利用有限差分法对Wigley、泰勒系列60等船型的压力分布及升沉与纵倾进行了数值计算与结果验证,并进一步考虑限制水域阻塞效应影响,计算了四种阻塞系数下船舶的升沉与纵倾随水深弗劳德数的变化曲线,综合分析了亚临界、超临界航速下阻塞效应对船体升沉与纵倾的影响特点。在亚临界航速时,主要发生船体下沉现象,随着航速增大,阻塞效应将引起船体更大下沉;在超临界航速时,主要发生船体纵倾现象,随着航速增大,船舶升沉与纵倾逐渐趋于稳定;在近临界航速时,阻塞效应影响最大,使得船体周围压力变化复杂,反而引起船体纵倾变小,且出现上升现象。     

浅析连续简支梁的接缝问题

连续简支梁桥由于施工方便快捷,结构受力简单明确而被广泛应用。但是由于设计方面及施工方面的不足,也使其在应用中出现很多问题而不能满足行车舒适的要求。为了满足新的连续简支梁桥建设和对现有简支梁桥桥面连续结构改造的需要,有必要对连续简支梁的接缝问题进行研究分析并提出相应的防治措施。     

西南某电厂高填方边坡不稳定变形的数值与物理模拟研究

边坡稳定性问题一直是工程地质专业较突出的问题之一，而在稳定性分析过程中，高填方边坡的不稳定变形是工程设计、治理的最终核心问题。以西南某电厂高填方边坡为例，采用FLAC3D对高填方边坡进行三维实体模拟及变形计算，同时，利用降雨物理模拟试验对边坡变形进行验证分析。通过数值模拟和物理模拟试验，得出以下结论:降雨条件下，土体达到饱和时，边坡变形达到最大值，且产生应力集中现象，致使边坡发生进一步破坏；通过物理模拟验证边坡的具体变形，分析得出降雨对边坡造成变形的作用机理。     

南桐煤矿急倾斜煤层开采过程中地表变形规律研究

为了研究南桐煤矿急倾斜煤层开采过程中地表变形特征，利用有限差分软件FLAC3D建立数值模型，分别计算先后开采K2，K3，K1三个煤层后地表变形的情况。模拟计算结果表明:地表竖向变形、水平变形都随着煤层的开采而逐渐增大；地表竖向变形受地形影响向下山方向逐渐减小；地表水平变形最大值位于采空区上方，变形方向都是指向下山方向，且下山变形增量大于上山变形增量；应力变化主要表现为地形地貌起伏大、地势低处拉应力集中。