多跨连续梁桥体系转换时支座反力与位移计算方法

为方便计算多跨连续梁桥体系转换过程中的支座反力与梁体位移,提高其计算效率,基于力学基本原理,推导了适用于不同截面与节段长度的连续梁支座反力与位移计算公式.以15跨一联连续梁桥——海子湖特大桥为对象,采用有限元法对所提出的理论公式进行验证,并对该桥多次体系转换过程中支座反力与梁体位移的变化规律进行研究.结果 表明:有限元...     

分布式光伏发电系统的设计与性能分析

以117.6 kWp分布式光伏发电项目为例,介绍了其电气系统设计和防雷设计。利用该电站的运行数据,分析并计算了运行期间电气系统效率、光电转换效率、光伏逆变器效率以及PV方阵转换效率等电气性能参数,并根据现有太阳能资源条件计算了该电站系统经济性指标,为在中南地区投资建设光伏电站提供较好的参考。     

建立莲花山隧道工程的GPS三维控制网

介绍了在广东莲花山隧道工程中应用GPS技术建立三维控制网的工作实践.从隧道工程本身的特点出发,分别就平面和高程控制阐述了GPS网的布设方式和数据后处理的特色,包括附加参数拟合法统一高程系统、采用"施工椭球"的高斯投影法坐标转换和适合隧道控制测量的GPS后处理软件包等.竣工实测的莲花山隧道工程的平面和高程贯通误差均远远小于有关隧道施工测量的技术指标.     

接触网H型钢柱的结构设计与计算

结合编制《接触网H型钢柱》通化[2007]1301通用参考图,开展对高速铁路电力机车牵引供电系统中的接触网支柱结构设计的研究。详细介绍结构设计和结构计算的具体方法。经过铁道部检测中心的检测、专家的鉴定,以及一年多来电力机车在铁路运行的状况的检验,该项技术设计巧妙,成果先进,为我国铁路的运营提供了可靠保障。     

基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

手持GPS在铁路勘测中的应用

介绍了手持GPS在铁路勘测中的应用方法 ,就坐标系统转换进行了详细的描述 ,并结合西安高速铁路勘测工程实例加以验证。     

柱洞法在北京地铁车站工程施工中的应用

以北京地铁15号线学院路站为研究背景,通过查阅资料、咨询专家并进行数值模拟等手段,确立了对导洞内土体进行深孔劈裂注浆措施,加固土体并形成隔水层,取代了传统的地面降水,节约了场地,消除了因降水造成地层水土流失而引起周边建(构)筑物的不均匀沉降,也避免了城市地下水资源浪费。将原来柱洞法的6导洞改为8导洞,钻孔灌注桩改为人工挖孔桩,并对车站结构施工工序进行了优化。工程实践表明,修改后的施工方案缩短了工期,提高了施工效率,效益较好。     

生物燃油汽车

汽车耗油给我们带来了大气环境污染和石油资源日渐枯竭两大问题。我国汽车保有量自2005年至2020年的16年内,将年均增长8%左右,远远超过自产石油燃料供应量的增长速度。我国石油保有储量仅占世界的2．4%,1993年起成为石油纯进口国,2000年石油总需求的33%依赖国外进口,预测2010年石油依存度达到47%。如果不能尽早完成汽车汽柴油燃料替代品的转换,将危及能源、经济和社会的安全。     

高水位地铁车站 SMW 工法桩围护盾构洞门防渗防涌关键技术

SMW工法桩施工工艺简单,工期短,止水抗渗效果好,可操作性强,被广泛用于上海、江苏、浙江等软土地区地铁附属结构围护施工,但地铁车站围护结构相关工程案例较少,类似工程盾构洞门处设计和施工缺少相关经验。文章依托苏州市轨道交通工程8号线济学路站工法桩围护结构,结合现场实际情况和施工经验,针对端头井SMW工法桩H型钢插入高水头承压含水层,型钢拔出后洞门可能出现的渗漏问题,施工时有针对性地降低端头井承压水,同时采用洞门玻璃纤维筋临时封堵墙+型钢拔出后桩内高压旋喷桩注浆止水加固技术,效果良好。     

基于模型的联锁软件测试用例生成方法

联锁软件测试是保证联锁安全的重要手段之一,为解决联锁软件测试通用性不强,人工消耗过大的问题,提出一种通用联锁软件测试用例生成方法。结合计算机联锁技术条件、分析软件的功能需求将其转化为工具可识别的状态对象,并对识别的状态进行划分,形成若干四元组合,生成联锁状态转换的树形网状结构。通过对建立的树形网状结构解析,得到结构中若干四元组合的源状态、联锁条件和目标状态,生成抽象的测试用例,并根据预先写好定义的输入对每一组抽象用例进行反推,最后生成一系列的具体可执行的测试用例。该方法生成的用例可覆盖已知场景的所有联锁测试功能,减少人工编写用例时间,同时减少人为因素导致用例出错的概率,提高测试可靠性。