局部紧度量空间的闭映象

借助弱紧k网络,获得了局部紧度量空间闭映象内部特征一个新的刻画,即空间X是局部紧度量空间的闭映象当且仅当X是具有点可数的弱紧k网络的Fr(e)chet空间.     

Kadomtsev-Petviashvili型方程的行波解

研究含有两个参数的K-P型方程.在非线性项满足一定指数增长条件下,利用泛函分析中的没有Palais-Smale条件的山路引理和相应的Sobolev紧嵌入定理,证明了该方程非平凡行波解的存在性.     

西安地铁富水密实性砂层盾构带压换刀技术

为了解决西安地铁土压平衡盾构在富水密实性砂层中带压换刀所面临的土舱不易保压、作业人员进出舱气压控制难和舱内换刀安全风险高等技术难题,对带压进舱换刀技术开展了研究,通过工程实践总结出如下操作要点:1)通过工作压力计算,采取掌子面封闭、保压试验等技术措施使土舱压力趋于稳定,保证土舱压力满足要求;2)人员进舱后以10 kPa/min速率进行加压,人员出舱前以10 kPa/min速率分4个阶段逐渐减压;3)舱内换刀应制定周密的施工计划,刀盘分3次转动完成刀具更换。结果表明,通过以上控制技术,可以满足西安地铁富水密实性砂层盾构带压换刀施工要求。     

深水抛石基床爆夯施工影响分析及其控制

结合某防波堤工程的深水基床爆夯施工实践,对深水基床爆夯施工过程中对基床、相邻区域及安全影响进行分析,探讨了如何有效控制各种影响、趋利避害。     

沥青路面施工工艺与混合料铺层均匀性关系探讨

通过对沥青路面施工工艺各环节和施工设备性能的分析,发现了混合料和铺层的集料均匀性、温度均匀性、压实密度均匀性偏离原混合料设计目标的原因与规律。提出了从完善施工工艺过程与施工设备性能入手,保证混合料均匀性和铺层压实密度均匀性的技术手段。     

刍议官方网络媒体数字式略语英译中的语言失范

官方网络媒体在外宣中的桥梁作用日渐突显,而与此同时,官网中有关政府文献中屡见不鲜的数字式略语的英译传播却存在不同程度的语言失范问题。笔者总结归纳了官网常见的数字式略语的英译语言失范问题类型,以期对于统一略语译名,提高外宣质量有一定的借鉴意义。     

Numeric-based XML labeling schema by generalized dynamic method

Most efficient indeces and query techniques over XML (extensible markup language) data are based on a certain labeling scheme, which can quickly determine ancestor-descendant and parent-child relationship between two nodes. The current basic labeling schemes such as containment scheme and prefix scheme cannot avoid relabeling when XML documents are updated. After analyzing the essence of existing dynamic XML labels such as compact dynamic binary string (CDBS) and vector encoding, this paper gives a common unifying framework for the numeric-based generalized dynamic label, which can be implemented into a variety of dynamic labels according to the different user-defined value comparison methods. This paper also proposes a novel dynamic labeling scheme called radical sign label. Extensive experiments show that the radical sign label performs well for the initialization, insertion and query operations, and especially for skewed insertion where the storage cost of the radical sign label is better than that of former methods.     

深埋、复杂地质条件大直径隧道TBM的设计进展与创新

要提高在深埋、复杂条件下大直径隧道TBM（隧道掘进机）的应用效率,必须正确选择TBM的类型。为了给复杂条件下TBM的选型提供借鉴和指导,总结现有的各类型TBM的特点,分析其在混合地质条件下开挖大直径、长距离隧道的局限性,提出不同地质条件下大直径隧道TBM选型指南,介绍意大利SELI公司开发的3种新型TBM,即紧凑型双护盾通用TBM（DSU Compact TBM）、土压平衡双护盾通用TBM（DSU EPB TBM）和土压平衡单护盾通用TBM（SSU EPB TBM）及其运行特点和适用范围。得出结论：传统TBM没有专门针对复杂地质条件下的大直径隧道的研究与设计;为满足市场需求,必须开发新型TBM;意大利SELI公司开发的3种新型TBM,每种专门针对特定的地质条件,这些新型的TBM能够应对复杂的地质条件,并能克服在不同覆盖层下开挖长隧道时的最常见危险。     

基于RTLinux的高速磁浮列车车载通信平台

为满足高速磁浮列车车载诊断系统通信平台的要求,提出了一种基于RTLinux(real-time linux)的通信平台设计方案.该方案包括基于RTLinux通信平台的结构设计、实时和非实时处理模块的设计与实现.通过讨论CPCI-CAN(compact peripheral component interconnect-control area network)卡在RTLinux下驱动程序的开发过程,给出了驱动程序的具体实现.最后,借助调度时间模型和传送延时模型,分析了该车载诊断系统通信平台的实时性.实时仿真结果表明:基于RTLinux的通信平台中,所有节点完成网络更新的时间平均为290 ms,满足高速磁浮列车通信平台响应时间小于500 ms的要求.     

富水密实砂卵石地层中的浅埋暗挖施工

 结合成都地铁1＃线天府广场暗挖试验段的施工情况，介绍了砂卵石地层中采用CD法和台阶法进行的施工对比，以期为成都地铁工程大范围展开暗挖法设计、施工积累一定的经验，也为今后类似地质条件下的浅埋暗挖工程提供一定的借鉴。