降雨和河流水位上升作用下沿河路基边坡稳定性研究

由于山区气候多雨，强降雨和河流水位快速上升等现象时常发生，在复杂多变的降雨及河流水位作用下路基边坡极易发生失稳破坏。为了掌握降雨和河流水位上升对边坡稳定性的作用机理，确保沿河公路的安全运营，采用Midas-GTS/NX有限元分析软件建模，针对3种不同降雨工况和2种坡前水位上升速率进行边坡稳定性分析，并根据稳定性研究结果，提出坡面防渗措施。结果表明：1)降雨强度、坡前河流水位上升速率与边坡的稳定性呈负相关；2)在坡面铺设防水层可有效减少雨水渗入，提高边坡的安全系数及稳定性。     

电源总开关故障诊断及研究

文章简述了商用车电源总开关的基本工作原理,对其设计原则及设计要素进行了相关说明,重点对机械式电源总开关质量现状行深入研究,就其产品材料、密封性、加工工艺、设计结构等方面对比分析,提出了优化建议。     

基于路径搜索的格值命题逻辑自动推理方法

提出一种基于路径搜索的自动推理算法．除了采取预处理外，还采用了动态的删除策略，使对大部分路径的搜索变成对一条路径搜索．可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定．文中还讨论了该算法计算的复杂性．