利用时间自动机理论探讨客专RBC控车流程

基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。     

基于ANSYS和Certon-Dolan理论分析估计疲劳寿命的方法

依据累积疲劳损伤法-迈纳(Miner)法和应力寿命曲线(S-N)推导变幅多级载荷下等效应力及强度判据公式;结合ANSYS有限元分析软件和柯顿-多兰(Certon-Dolan)理论,通过APDL(Ansys Pa- rameter Design Language)参数化建模,分析出不同载荷下应力集中的部位,将有限元网格划分的危险部位节点单元的应力值取出,代入理论公式估算疲劳寿命,具体分析多级载荷加载次序对疲劳寿命的影响,比较Miner方法和Certon-Dolan方法优劣,并提供设计参考数据和理论判据。     

高纯六氟化钨的生产工艺综述

六氟化钨在电子工业中有着广阔的应用前景,本文介绍了目前工业化生产高纯六氟化钨(WF6)的方法,六氟化钨的质量标准及分析检测方法等方面的内容,概述了六氟化钨的发展前景。     

一种通用型重组2型腺伴随病毒载体的构建及外源基因表达的研究

以野生型2型人腺伴随病毒（AAV－2）基因组载体pSSV9－int-为基础，构建了一种携带和表达真核基因的基础AAV载体pSSV9／MulV－neosv，表达了neo基因，并采用该载体组建了携带人白细胞介素-2cDNA的重组AAV载体pSSV9／MulV－neosv－IL－2，转染A549细胞后表达了人白细胞介素-2基因。为应用腺伴随病毒作基因治疗研究提供了实验基础。     

U型桥台病害分析及对策

针对Ｕ型桥台在工程实践中容易发生的病害，提出在设计施工中应注意的关键性问题及改进措施。     

基于规则推理的门机故障监测系统

文章介绍了一个港口门机故障检测系统，着重讨论了在采样信号预处理的基础上，通过规则推理进行故障分析的方法。     

UM71站内电码化设备故障案例

案例3进站错发码故障 　　1故障现象 　　2005年8月15日,在例行分析机车运行曲线时发现,由丰润站Ⅲ道开往银城铺站的部分X行列车,接收码型存在乱码,机车信号有乱变的现象.具体表现如下：部分列车由丰润站XⅢ出发开往银城铺站时,接收的电码先为LU码后为L码,之后又变为LU码,或先接收L码,后又变为LU码.丰润站与银城铺站之间区间示意图如图1所示.     

花岗岩地层中盾构掘进效率影响因素研究

为了定量对比盾构掘进花岗岩地层时的掘进效率,提出一种表征掘进效率的特征参数,并依托深圳市城市轨道交通8号线一期工程进行掘进试验和地层参数现场量测,分析了各影响因素和掘进效率的相关性,提出了针对不同地层的掘进效率控制措施.研究结果表明:岩石的单轴抗压强度和岩体的完整性系数均与掘进效率负相关,可用幂函数近似表达地层参数和掘进效率之间的经验关系;可用反比例函数近似表达掘进效率与总推力之间的经验关系,总推力对掘进效率的影响程度随地层坚硬程度的升高而降低;低推力高转速的掘进参数组合在微风化地层中效率较高,中等风化地层中总推力、刀盘转速分别为14000±1000 kN、1.6±0.1 rpm时掘进效率较高,可以通过牺牲掘进效率的方法来在该掘进速率水平上短期内提高掘进速率.     

汽车检测线光电开关工作原理和故障排除

通过介绍汽车检测线光电开关工作原理和故障排除方法,为广大汽车检测人员提供经验和借鉴。     

西宁甘河工业园区道路滑坡原因分析及整治措施

通过对甘河工业园区道路滑坡产生的原因进行分析和稳定计算,提出了相应的治理措施。提示设计人员在高边坡设计之前,详细踏勘并分析场地地形、地质和水文的重要性。结合工程实例,证明选用治理滑坡的措施是有效和成功的。