Strong Completeness of Medium Logic System

The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.     

软弱围岩的蠕变损伤特性及最佳支护时间

从岩体的蠕变全过程、长期强度和能量耗散的角度,分析软弱围岩的蠕变损伤特性。围岩的蠕变损伤是内部新裂纹产生和不断扩展的结果,是变形损伤与时间损伤效应的耦合。当围岩内应力水平低于其长期强度时,表现为时间损伤效应;当围岩内应力水平高于其长期强度时,表现为变形损伤效应。根据软弱围岩的蠕变损伤特性,选择合理的支护时间,使围岩的蠕变变形不至达到加速蠕变阶段,围岩强度不低于其长期强度,则可以有效避免围岩的失稳破坏。运用西原模型引入蠕变损伤变量,采用粘弹塑性理论研究软弱围岩的蠕变变形规律,提出通过位移反分析或蠕变试验方法确定模型中的蠕变参数,进而确定软弱围岩二次支护最佳时间的方法。工程实践证明该方法是合理的。     

软弱地层的瑞雷波探测技术及应用

目前,瑞雷波技术已经广泛用于工程物探和质量检测中,但对软弱地层的探测尚缺乏系统深入的研究。文章结合工程实例,从测试参数选择、现场数据采集及数据分析与资料解释三个方面介绍了软弱地层的瑞雷波探测技术和应用方法。     

提高城市轨道交通弱电系统施工质量的方案探讨

城市轨道交通弱电系统是当前地铁施工中重要的内容,对于实现地铁正点、便捷、舒适的运营起着重要作用。本文根据弱电工程施工,从招标、设计、过程管理3个角度展开深入研讨,提供了提高弱电工程安全质量、缩短工期的方法,对于实际的弱电工程建设有指导意义。     

高等级公路软弱地基处理

对高等级公路软弱地基的处理进行了阐述。     

软岩高边坡预应力锚索框架梁的一种新型设计方法

目前已提出了多种预应力锚索框架梁的设计计算方法,由于软弱岩体的变形特性,这些方法难以直接应用于软岩高边坡工程,需要加以改进。通过预应力锚索框架梁的施工顺序和实际受力条件的分析,对现行设计计算方法作了一些改进和优化。工程实例表明,这样得出的计算结果与现场测试结果较为一致。     

Weak Isomorphism of Finite Group

On the basis of the quasi-isomorphism of finite groups, a new mapping, weak isomorphism, from a finite group to another finite group is defined. Let G and H be two finite groups and G be weak-isomorphic to H. Then G≌H if G satisfies one of the following conditions. 1） G is a finite Abelian group. 2） The order of G is p^3. 3 ） The order of G is p^n＋1 and G has a cyclic normal subgroup N = 〈a〉 of order p^n. 4） G is a nilpotent group and if p^││G│, then for any P ∈ Sylp （G）, P has a cyclic maximal subgroup, where p is a prime; 5） G is a maximal class group of order p4（p〉3）.     

论地铁弱电系统安装工程施工掌控点

主要针对广州地铁弱电系统安装工程施工的掌控点进行了浅析,从而对此类施工项目的整体管理进行把握。     

极端复杂地质条件下TBM隧道施工关键技术研究及应用北大核心CSCD

大瑞铁路高黎贡山隧道、引汉济渭秦岭隧洞、滇中引水香炉山隧洞等工程的相继开工建设,使富水破碎极软地层带来的TBM卡机、高地应力极硬岩地层带来的岩爆等TBM施工问题日益凸显。文章首先对比阐述了国内TBM隧道工程建设过程中常遇到的软弱破碎、极硬花岗岩等典型不良地质及其对TBM掘进所带来的影响,在总结分析辽西北供水、引松供水、引洮供水等工程建设过程中出现的隧道局部塌方、TBM卡机等案例及其影响因素的基础上,以极端复杂地质条件TBM掘进关键技术为对象进行了系统研究论述,结果表明:(1)超前地质预报技术是TBM施工应对极端复杂地质的重要手段,但目前尚无法对前方中远距离地质状况进行准确量化预测;基于微震监测分析结果,根据可能发生的轻微、中等、强烈等不同等级的岩爆,制定对应处置措施;节理发育、炭质板岩、断层破碎带等不同软弱破碎地层,应采取针对性的防卡机措施,同时可根据不良地质段的长度来选择合适的脱困方案;(2)TBM推力、推进速度、刀盘转速及扭矩等掘进参数的异常波动,是表征掌子面前方地质条件状态的重要指标,TBM掘进前,根据前期预判的全断面硬岩、软弱破碎等围岩条件,分别选择合适的掘进参数;TBM掘进过程中,应基于掘进参数异常变化,纠正地质条件预判并采取对应的调控措施,进而确保TBM处于最佳掘进状态;(3)针对既有TBM难以适应现有地质条件的情况,以引洮供水隧洞、引红济石隧洞、引汉济渭隧洞等工程为例,对TBM改造技术进行了分析论述。最后,针对极端复杂地质条件下的TBM隧道工程建设新问题及其应对措施进行了展望与探讨。     

软弱围岩隧道短台阶法开挖数值模拟与监测分析

文章依托炎汝高速公路花子坳隧道施工实例,利用有限元模型对隧道Ⅴ级围岩深埋段短台阶法动态开挖过程的应力及位移变化情况进行了数值模拟分析。实测结果表明：短台阶法施工效果良好,围岩压力及拱顶下沉、周边收敛变形均在可控范围内。