面向列控系统安全软件黑盒测试的 危险分析方法

针对高速铁路列控系统安全软件黑盒测试中对危险事件的可测性、全面性和优先性的需求,研究能够生成有效危险事件测试集的危险分析方法。根据列控系统接口交互信息的类型及特点,改进HAZOP的引导词及节点参数并进行接口危险辨识;然后利用风险矩阵评估接口危险事件的风险等级,提出面向安全软件黑盒测试的接口危险分析方法—HAZOP-I;将该方法应用到CTCS-3级列车运行控制系统运行场景中。研究结果表明:该方法能够为列控系统安全软件黑盒测试提供满足需求的危险事件测试集。     

集控连锁电动脱轨器系统简介

集控连锁电动脱轨器系统采用设备自动判断上脱条件,实现了脱轨器从"室内外互控"到"室内控制"、从"人员互控"到"人机互控"的转变,为优化列检作业提供了技术保障,进一步提高了列检作业效率.     

山区高速公路中央分隔带排水

中央分隔带是高速公路的点缀,它时时刻刻与车辆及乘客相伴,其诱导行车视线、绿化等效果越来越被人们所重视,同时对中央分隔带的设计也提出了更高的要求,而中央分隔带排水设计又是其核心.本文结合山区公路建设的实践,系统归纳、总结、介绍山区高速公路中央分隔带排水设计的思路和原则.     

模糊可拓经济控制

在定义了模糊可拓经济空间的基础上提出一种模糊可拓经济控制方法，它结合可拓学，面向对象技术，模糊控制技术和其它最新的系统科学，决策科学理论，将经济系统看作一个开放的宏观复杂巨系统，运用从定性到定量综合集成法进行经济分析和控制的研究。     

格区间值Fuzzy集的分解定理(Ⅰ)

对格区间值Fuzzy集作了进一步的研究,分别给出了[λ1,λ2]、(λ1,λ2]、[λ1,λ2)、(λ1,λ2)上的下截集、上截集、下重截集和上重截集的新的定义及一种新的闭区间与格区间值Fuzzy集的运算,并给出了与此相应的四条重要的分解定理.     

半实物机车驾驶模拟器研究

针对机车驾驶模拟器的使用情况和现场需要，结合最新的计算机技术发展，给出了连接机车电器柜，制动机等实物机车的半实物机车驾驶模拟器的系统结构，系统模型及系统实现方法。     

公路高填路堤强夯填筑夯实效果的模糊分析

介绍强夯法的振密、挤密地基处理法的范畴，结合山区公路建设中常遇到高填方路堤，采用强夯法施工后，进行夯实效果检测，由于检测指标多，难以综合评定。通过从单因素评定入手，合理量化各因素的权重，建立多层次模糊综合评判模型，对公路高填路堤强夯填筑夯实效果进行判断分析，得出了一个比较科学合理的评定结果，具有经济易行、效果显著、施工周期短的优点，适用于工业与民用建筑、仓库、油罐、贮仓、公路和铁路路基和路堤、飞机跑道及码头等的设计和场地评估提供参考。     

k-维空间中n点确定的最大距离

n点确定的不同距离问题是PErdos提出的重要问题。P是志一维空间的n元集，记P中两点确定的最大距离为dmax。Lenz给出4-维空间中，n点确定的最大距离可达[n^2/4]次。现证明6-维空间中n点确定的最大距离可达[n^2/3]次。在8-维空间中。点确定的最大距离可达[3n^2/8]次。     

汽车运行中电器故障急救

汽车在运行中突然发生电器故障，有些急救的方法，可供驾驶员朋友参考。     

华能玉环电厂码头设计综述

华能玉环电厂码头是浙中南沿海目前最大吨位的散货码头。工程包括7万（水工结构按10万）吨级卸煤码头和3000吨级重件码头各1座。在码头泊位长度计算中进行了设计优化。码头主体结构采用高桩梁板式设计，重件码头能通过总重量达530吨平板车，在省内都属于领先水平。通过超长组合预应力混凝土大管桩的应用，既满足了工程使用要求，同时又降低了工程造价。