基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

高铁CPⅢ复测高程和相邻点高差较差限差的确定

研究目的:CPⅢ高程网对保证高速铁路无砟轨道高程方向上的静态平顺度具有至关重要的作用。为了确保其测量结果的可靠性,常需进行复测,而目前高铁CPⅢ复测高程和相邻点的高差较差限差一般是基于大量的统计数据给出的,并非经过严密的理论推导。因此,研究CPⅢ复测高程和相邻点高差较差的严密估算原理,对保证在建高铁CPⅢ高程网的建网、复测成果的可靠性具有重要的意义。研究结论:按间接平差原理推导了CPⅢ高程网复测高程和相邻点高差较差限差的严密估算模型。并依据该模型,对按德国中视法和中国矩形法施测的CPⅢ高程模拟网进行了仿真计算,其结果与现有高速铁路工程测量规范关于CPⅢ高程网复测高程和相邻点高差较差限差的规定相吻合,为高速铁路工程测量规范有关CPⅢ高程网复测高程和相邻点高差较差限差的规定提供了理论支撑。     

浅谈CRH_5型动车组转向架三级检修分解工艺

本文主要介绍CRH_5型动车组转向架在三级检修过程中的分解工序及工艺布局。     

关于西安地铁风亭建设和后期管理的几点建议

地铁风亭是连接地铁线路地下和地面部分的重要设施,其设置方式直接关系到风井对区间隧道的通风效果,决定着地下车站的空气品质,其建筑形式对城市景观也会产生强烈的影响。通过对广州地铁风亭的外形、结构和通风效果的调研和实测,结合古城西安在建地铁线路的特点和气候特点,就如何保持风亭建筑与城市景观和谐、减小对周边环境的影响等方面对风亭建设提出几点建议。     

动荷载下钢筋接头直螺纹连接研究

北京南站轨道层板为地下室顶板,钢筋接头总量约为50万个,轨道层直接承受动荷载(列车轨道)。研究动荷载下直螺纹连接的可行性,对连接HRB335级钢筋的接头进行了应力为100 N/mm2,最大应力为180 N/mm2,最小应力为80 N/mm2的200万次循环加载试验。然后进行深化设计直螺纹连接接头和连接套筒,连接方案经过专家论证后在本工程成功应用,达到良好效果,结合该工程,为钢筋直螺纹连接技术在国内桥梁,特别是在铁路桥梁施工中的广泛应用提供了借鉴。     

加大改革力度 促进教育质量上新台阶 南通医学院教学管理制度改革有新举措

南通医学院在贯彻落实《中国教育改革和发展纲要》过程中，坚持以教学为中心。从管理制度抓起，强化教学管理．采取多项措施。在提高教学质量和办学效益上苦练内功。     

浅谈会计诚信

在社会主义市场经济体制逐步完善的今天,“会计信用短缺”则成了我国经济生活中的一个突出问题。“诚信”是市场经济领域中一项基础性的行为规范,是会计工作的“通行证”,是会计工作的命脉和灵魂。     

复合函数的几个问题

复合函数是高等数学的重点和难点之一,是学习导数的基础.文章结合该部分知识的特点,对复合函数的分解、运算、定义域的确定、复合函数的极限求解等进行了探讨.     

汉语颜色词的英译

英语颜色词的汉译已引起人们的广泛兴趣，人们对其中的文化引申含义或象征用法很重视，然而，相比之下汉语颜色词的英译却关注较少。本文就汉语颜色词的英译进行了研究。颜色词的英译主要有三种方法：直译法；文化对等译法；功能对等译法。     

多品种供应的多供应商选择模型及分解算法

为解决供应链中多品种供应的多供应商选择问题，建立了以供应综合成本最低为目标函数、满足多个约束条件的组合优化模型．为解决求解的困难，采用变换分解算法，将原模型转换为整数规划问题．根据不同迭代方式，给出了2种基本运算步骤．在算例中运用模型和算法，得到了多物资供应环境下多供应商的最优任务分派．新方法克服了常规供应商的选择评价方法只针对单一物资供应过程和面向单一供应商选择过程的局限性．