一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

超大断面装配式明挖隧道结构及其施工方法研究

为提高隧道工程建设质量，针对国内明挖隧道装配式结构发展不成熟问题，以新森大道隧道为依托对超大断面明挖隧道装配式结构体系及施工方法展开研究，同时建立适用于公路、市政超大断面隧道装配式明挖结构体系，即“全预制”“仰拱现浇+上部预制”，并提出结构构造厚度建议值及多道防水构造方案。通过分析总结和数值模拟得出： 1）“仰拱现浇+上部预制”4分割方案在回填工序下的结构力学响应动态分析结果表明，该分割方案在施工过程中，结构应力、位移以及连接部位接头的张开角等均满足规范要求，且具备一定安全储备； 2）结合依托工程，提出一种适应于超大断面明挖隧道装配式结构的“边墙安装—仰拱现浇—拱顶拼装—细部作业—覆土回填”的施工方法及步骤。     

日本名古屋第二环线名古屋西—飞岛间高架桥

日本名古屋第二环线(Nagoya Daini-Kanjo Expressway)位于距名古屋市中心约10 km位置,以名古屋市为中心,呈放射状延伸,与主要干线连接,以缓和城市交通拥挤现状,提高名古屋港的物流效率,且作为发生灾害时的紧急运输通道。该线路分为陆地部分和跨海部分,全长67 km,其中包括跨海部分的长54.8 km的线路首先投入使用,然后进行最后的线路区间即名古屋西—飞岛间长12.2 km的线路施工。     

双电机混动车辆串并联模式切换过程设计与实现

针对双电机混动车辆在车辆运行过程中串并联驱动模式的切换需求,通过分析双电机混联构型结构特点,提出一种通过发动机、发电机和驱动电机协调控制实现无动力中断的切换控制方法.将串联到并联切换过程分为发动机工作点转移、离合器结合、动力源切换三个阶段,将并联到串联切换过程划分为动力源切换、离合器打开、发动机工作点转移三个阶段,能够实现串并联驱动模式的顺利切换,同时上述切换阶段划分也能较好的支持串并联切换过程中的切换意图改变操作.最后进行了控制策略的实车验证,切换过程中冲击度小于8.结果 表明,所提出的串并联切换控制方法能够完全支持车辆运行过程中的串并联切换.     

青岛地铁1号线过海隧道工程双护盾隧道掘进机应用关键技术

青岛地铁在国内首次采用双护盾TBM(隧道掘进机)技术,实现了硬岩地层地铁区间隧道快速、安全、高效建设.结合青岛地铁1号线过海隧道TBM隧道段的施工实际,采用豆砾石、水泥浆、水泥-水玻璃双液浆复合灌浆材料及环箍分段注浆工艺成套技术,有效地解决了管片成型质量问题.根据近海区域穿越断层破碎带的施工风险,提出了地面精细化控制注浆、超前地质预报等综合技术,保障了施工安全.针对超深竖井垂直提升出渣效率低下的问题,创新性地研发了TBM洞内翻渣技术,其工效较常规方案提高1倍,为复杂条件下TBM高效施工提供了新的方案和思路,具有良好的推广价值.     

建筑工程施工安全氛围的因子结构模型——基于长沙建筑市场的调查

建筑工程施工安全氛围是建筑安全事故有效的事前预测因素,而施工安全氛围因子结构的不一致一直是建筑安全管理专家争论的焦点.以长沙为采样地区,结合专家访谈设计了建筑工程施工安全氛围的测量问卷,综合运用探索性因子分析和验证性因子分析识别并验证了建筑工程施工安全氛围的因子结构模型,基于该因子结构模型评价了长沙地区的建筑工程施工安全氛围,并结合以往研究成果对该因子结构模型进行讨论.研究结果表明:建筑工程施工安全氛围可用三因子结构模型测度,三因子为项目安全管理承诺、工人安全响应和领班安全承诺;测评发现工人安全响应分值最高,且项目安全管理承诺分值高于领班安全承诺.