CCW-525单组份聚氨酯防水涂料在北京地铁车站的应用

CCW-525单组份聚氨酯防水涂料是化学反应型、固化后呈橡胶状的高弹性防水涂膜。该材料以其优良的综合性能,在世界范围内被广泛应用。我国自20世纪80年代初开始推广应用,是迄今为止使用最为成功的一种涂膜防水材料。介绍CCW-525单组份聚氨酯防水涂料如何进行施工,并如何控制施工时的质量,从而保证其防水效果。     

基于合作对策论的港口组合效应模型

全球经济一体化，使得港口发展区域化。选择何种合作策略，已成为港口组合的关键。文章运用合作对策理论，分析港口组合的决策要素，构建港口组合的特征函数、分配向量以及核心解，建立港口组合效应模型。实例分析表明，应用该模型，可以有效地量化港口组合的效益，从而为合理确定港口组合策略提供决策依据。     

基于Trans Modeler的城市快速路交通设计方案的微观仿真评价

基于Trans Modeler仿真平台对北京市通惠河北路开前后两个方案进行了评价分析,详细阐述了Trans Modeler仿真平台下交通微观仿真的技术路线、方案设计以及OD反推技术的实现和输出指标的分析方法,对新开通的城市快速路的分担率进行了量化评估,并给出了评价结论。     

基于模型的CTCS-3级列控系统测试案例自动生成方法

为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process, HCSP)形式化模型和时间自动机(timed automaton, TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center, RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%.      

干线协调控制方案的快速平滑过渡方法

为减少动态协调控制系统中因信号控制方案切换而导致系统产生的扰动,保证交通流的平稳运行,在综合考虑过渡时间和平滑特性的基础上,提出一种基于最佳相位差调整量控制方案的快速平滑过渡方法.该方法以使各交叉口相位差变化量最小为目标,优化计算得出各交叉口最佳相位差调整量,并以此为依据计算各交叉口在控制方案过渡期间的信号周期.仿真实验对比分析显示,当相位差变化量为40 s时,提出的方法与国外著名的Add和Subtract方法相比,车均延误指标分别下降了23%和11%,路网车均停车次数指标分别下降了9%和8%;此外,本文方法能够使干线协调控制方案最多通过3个信号周期快速地过渡到新方案,且过渡期间的控制效果优于Add和Subtract方法.      

基于量子遗传算法的数学形态滤波器优化设计

为解决数学形态滤波器结构元素参数优化问题,提出了一种基于量子遗传算法的数学形态滤波器优化设计方法.根据数学形态结构元素参数特点初始化量子遗传种群,通过量子交叉、变异、基于膨胀系数的量子旋转门实现种群的演化进程,进而得到数学形态滤波器的最佳参数.结合仿真实验,研究了不同比例随机噪声、工频干扰噪声下的优化算法性能.仿真结果表明:优化后的数学形态滤波器性能得到较大改善,含随机噪声信号的信噪比由-0.98 dB提高到5.23 dB,含混合噪声信号的信噪比由-3.05 dB提高到0.41 dB,有效滤除了随机噪声、混入工频干扰的混合噪声.      

基于分步编码改进遗传算法的铁路智能选线

为实现铁路三维空间线形的智能优化,建立了综合考虑建设和运营费用、环境影响代价及线路约束的线形优化模型;针对平面、纵面控制点分别给出了分布方法,并构建了由平面交点偏移距、平曲线半径、变坡点标高3个基因片段组成的基因序列.在此基础上,提出了平面-纵面-完整基因的分布编码方法,设计了相应的多种交叉、变异算子实现线路方案的进化.实例分析表明:本方法克服了现有遗传算法产生的线路方案平、竖曲线重叠的缺陷;可生成满足线路约束条件且综合费用较省的线路方案群,最优的智能选线方案比人工定线方案综合费用节省了6.5%.      

基于Event-B的计算机联锁安全规范描述与验证

本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析,给出了严格的分析结果.工作表明,铁路信号联锁系统是具有复杂时序逻辑的控制系统,Event-B方法适合于该类系统的描述与验证.通过形式化的联锁安全规范描述与验证,可以在系统开发的早期及时发现设计错误或漏洞,有助于提高计算机联锁系统的软件开发质量.     

公共慢行系统的动态调度建模与滚动时域调度算法研究

针对公共慢行系统存在公共自行车在时间和空间上分布不均衡的问题,研究了公共慢行系统调度过程中租赁点需求的动态特性及其模糊时间窗的约束,以最大化租赁点的满意度为目标建立了公共慢行系统调度的模型,并用滚动时域调度算法对该模型进行求解,动态的获取调度计划,进而实现公共慢行系统的动态调度。     

低温下铁路钢轨铝热焊缝接头冲击韧性试验与断口分析

经济发展使寒冷地区铁路建设大规模开展,而钢轨长期低温服役,力学性能会受到影响.钢轨铝热焊缝接头同钢轨钢材一样,在低温下其冲击韧性变差,容易发生脆性断裂,因此需要对低温下的冲击韧性进行研究.在＋20～-60℃温度范围内测量了我国常用钢轨焊剂ZTK-I（60U71Mn）型和ZTK-I（60U75V）型的U型缺口冲击功,试验结果显示2种焊缝的冲击功均随温度的降低而降低,同时在各个温度段的冲击功绝对值都较小.同时利用电镜扫描对微观形貌进行分析,显示出焊缝接头的脆性特征.研究结果表明：焊缝接头的韧性相对较差,铝热焊缝接头技术尚有继续研究改进之处.