基于小波变换的行波测距法在铁路信号电源系统中的应用研究

针对铁路10kV信号电源供电系统的特点,提出了一种基于小波变换的外加电压脉冲式行波测距法,就一些关键技术问题,提出了波速度折算算法和等效波速度法,分析了系统单相分支线路的影响,以及波速度确定等问题。文中以一条实际的铁路10kV信号电源供电系统为模型进行了仿真,仿真结果证明了所提方法的可行性。     

松散介质内大吨位长锚索的受力研究

本文以川藏公路102滑坡群2#滑坡加固及高筑填路堤修筑工程为例,采用有限元法,按不同单元及不同的施工顺序进行了锚索受力分析计算,探讨了松散介质内大吨位长锚索在穿过高筑填路堤、滑坡体、滑面、稳定松散介质后的应力分布特征及施工顺序对应力分布的影响。具有一定的理论探讨和工程实践意义。     

Fleet F-77在货物链海运环节应用的探讨

在全球化经济日趋一体化的今天，一旦货物链中的某个环节发生故障将产生连锁反应，导致多个国家地区以至全球经济的重创。海运由于其特殊性在当今货物链中扮演着极其重要的角色，而海运系统又是货物链中的脆弱环节，如何保证海运环节的通畅是保证整个货物链不断的关键。本着上述观点，探讨了Inmarsat新近推出的FteetF-77在保障海运通畅、保证全球货物链不断方面的重要应用，希望新技术业务的推出能对全球经济发展起一定的作用。     

�����ʱ�ڱ�����ͨ��չ���߷���

奥运会作为世界最有影响的活动受到承办国的普遍而高度重视。本文在讨论当前北京交通实际情况的基础上,重点介绍了北京奥运会交通组织的成功之处;根据北京市未来社会发展与经济建设需求,结合北京市提出的交通发展目标,分析了在后奥运时期交通发展的基本思路;针对如何确保北京城市社会与经济的运行秩序,促进北京城市朝着国际化大都市发展,不断扩大北京乃至中国的国际影响力这个目标,指出了北京交通需要注意的问题,即进一步明确中心城区公共交通与私人交通的地位、通过对交通外部性来深化认识社会公平性等,最后提出了近期建设与管理中的一些具体措施。     

南通航运职业技术学院校训“自勉自奋,祈通中西”内涵解读

文章对南通航运职业技术学院校训“自勉自奋,祈通中西”的内涵进行了深层次的探析和延展,从而概括出校训中的“自勉自奋”是校训的核心精神,具有“自强不息、勤力精进、勇猛不懈、发愤振起”的内修精神品格,“祈通中西”包含“胸怀江海,汇通中外”兼容外张的开放精神蕴意。     

浮式防波堤结构的研究现状

浮式防波堤作为海洋工程中一类重要的防波堤结构,具有优异的经济性和生态环保性。首先概述了海洋浮式防波堤的发展过程,总结了国内外关于浮式防波堤的最新研究成果,简要介绍了浮式防波堤结构形式的试验研究和数值模拟研究,并根据浮式防波堤下部是否设置阻尼结构划分为箱板式和板阻式两种结构形式,重点探讨了目前研究存在的问题和不足,并从耐久性、设计标准规范与新材料等方面对未来浮式防波堤结构的发展和研究方向做出了展望。     

平面交叉口左转车道的几何设计方法研究

针对平面交叉口左转车道的设计方法进行研究,参考发达国家平交路口安全设计规范,分析现有的设计技术规范中不合理的因素,从左转车道的布置、车道宽度的确定、车道长度的确定、过渡段的设计等几个方面,进行了详细的分析研究,提出了平面交叉口左转车道的几何设计方法。     

����ͨ����Ϣ�յ�Ч���ķ����о�

交通流信息诱导能提高区域交通运行效率。本文在区域交通流信息诱导建模理论基础上,基于调研数据,利用VISSIM软件对北京市西南二环内某区域交通进行仿真,对比评价交通流信息诱导措施实施前后的区域道路交通流运行状况,通过5种不同场景分析,结果显示当I.A南进口左转车受诱导量从10%增至30%时,其南进口左转车流旅行时间的降低幅度从18%变至减少42%,延误从234s降至164s,在保证对区域内其他路段干扰较小的情况下,有效缓解I.A南进口左转车流的拥堵。     

类菱形概念车转向传动机构设计与分析

基于类菱形车特殊的结构布置而提出前后轮联动的转向传动机构,同时通过解析法推导出整个转向传动机构间的相互关系．即可根据整车的结构布置确定各个杆件的尺寸和关键点的位置。这一理论已经得到ADAMS仿真的验证,并为类菱形车的进一步研究提供了理论基础。     

Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.