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

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

KUTTNER砂冷却器喷水功能的实现

本文就砂冷却器喷水功能的实现提出了相应的解决方案。     

公路施工企业会计信息失真原因及治理对策

阐述会计信息失真的表现,分析信息失真的原因及对公路施工企业产生的危害,提出综合治理会计信息失真的对策。     

关于汽车液压减振器神经网络模型建立的探讨

本文主要探讨了采用ＢＰ网络建立汽车液压减振器调试模型的理论和方法，并通过模拟国产轿车的速度特性证明其可行性，经对比表明该模型模拟精度提高明显，实用性强且容易控制和拓展。     

节理裂隙岩体注浆渗透模型分析

在分析岩体注浆作用的物理机制基础上,通过建立浆液在节理中的渗透概化模型,分析浆液渗透规律,研究注浆对节理岩体的加固效应。研究表明:岩体注浆混合结构形成"注浆岩桥"和"注浆岩楔",使得节理面的裂隙损伤得以弥补,与原节理结构相比,其抗剪强度和抗剪刚度得到大幅提高;将注浆视为在平行板中渗流时,从注浆孔到渗流边界,注浆压力服从线性递减分布规律,且在渗流场中等压线和流线呈均匀网格形态;将注浆视为柱面扩散渗透时,从注浆孔到注浆边界,岩层中的渗透压力坡降按对数关系分布,渗流场中等压线为1组同心圆,流向线为1组径向射线,而且愈靠近注浆孔处,等压线和流线越密集。     

基于BIM与GIS结合应用的地铁隧道安全预警预报技术

地铁隧道结构安全性评估是地铁建设的重要环节。针对南宁地铁2号线岩溶发育的工程地质条件,在GIS(地理信息系统)中展现和分析不良地质体的空间分布,进行隧道穿越区域的岩溶塌陷风险评价;针对不同岩溶地质灾害风险等级,根据施工信息和监测信息在BIM(建筑信息模型)平台上进行地铁隧道结构安全风险评估,进而采取不同防治措施,以及进行隧道安全预警预报。基于BIM与GIS结合应用的隧道结构安全风险评估,综合考虑了地铁隧道结构模型宏观地理环境,可为地铁隧道结构安全预警预报提供技术支持。     

野田川桥设计与施工

一、前言姬路港临近日本主要产业都市一大阪和岗山,对物资进出口运输起着重要作用,其中饰磨港区有野田川河口,河口两岸要建成工业区,野田川桥就是跨越该河口约1.1公里的公路桥(见图1)。野田川桥由右岸弯桥、跨河桥、左岸桥三部分组成,为了确保野田川航道限界(B=90m,H=18m),跨河桥计划桥面高为25m以上。右岸弯桥计划在国道与铁路线之     

新能源汽车走向市场尚需时日

新能源汽车要想走下展台,真正上路,还需解决配套设施、电池技术、整车成本等诸多问题。在以"创新、跨越"为主题的2012(第12届)北京国际汽车展览会上,88辆新能源汽车高调出现在观众的面前,充分展示了全球汽车工业在节能减排和新能源汽车领域上的新突破。然而,展台上的新