CTCS-3级列控系统RBC切换过程分析

RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。     

广义 k0 固结土的固结不排水剪总应力强度指标的确定

基于室内三轴剪切试验与天然土体的受力状态存在较大差异,从土的总应力强度指标与土的固结状态、初始固结状态、应力路径等之间的相关性出发,建立不同固结状态的土在不同试验条件下的总应力强度指标理论公式,并找出不同试验条件下的强度指标与室内常规三轴试验强度指标间的换算公式,进而解决了室内常规三轴试验在模拟天然土体的初始固结应力状态、加载路径等方面的不足.     

基于开行方案的高速铁路客流分配方法研究

基于开行方案的客流分配方法是开行方案优化的重要组成部分,既有研究大多使用基于图论的寻路算法和用户均衡配流算法,与高速铁路的实际情况存在一定差异.基于高速铁路和公路的差异性分析,对用户均衡定理不适用于高速铁路客流分配进行了证明;基于实际的高速铁路旅客出行选择行为,提出了一种无需遍历图而仅搜索开行方案的两阶段k短路算法.算...     

液体环氧管道涂层

着色的液体环氧树脂铝薄片是管道涂层中的最新事物，它的设计是为了与阴极保护系统相协调，一起运转[编者按]     

稀土LD31挤压铝合金氧化着色膜耐磨性能的研究

为进一步应用ＬＤ３１挤压铝合金，在该合金加入了稀土元素，并对影响其耐磨性的工艺因素如电流密度等进行了研究，试验结果表明，适量加入稀土元素可改善ＬＤ３１铝合金氧化着色膜的耐磨性能。     

确定船型的顶点生成算法的开发研究

当众多输入数据沿弦长跨距方向不均匀分布或当给定的开头很复杂时，很难获得描述实始开头的光顺光顺双人Ｂ样条的逆矩阵。为了解决这个难题，笔都提出用于生成Ｂ样条曲线或曲面顶点的图像表面扩展法（ＩＳＥ）。论述了这一方法的基本要领、收敛性和对其的验证，同时也 用此方法得到了Ｂ样条件曲线和曲面，与由现有的以逆矩阵法、伪逆矩阵法和弦长相似法为基础的其他方法得到的结果作出了比较。变采用图像表面扩展法生成了具有折角线     

三色拉姆塞数R_3（C_8）研究

用r种颜色对图G的所有边着色,记着第i色的边构成的子图为Gi,如果存在一种着色方法使得每一个Gi（1≤i≤r）都不包含图H,则称图G对于H可以r着色.拉姆塞数Rr（H）是使得完全图Kn对于H不可以r着色的最小正整数n.令Cm表示长度为m的圈,Dzido等证明了R3（C2k）≥4k.本文对k=4的情形进行研究,利用计算机,通过大量的计算证明了R3（C8）=16.     

浅谈机械加工中的锥孔检测

锥孔加工在机械加工中经常遇到,而锥孔检测由于其特殊性,尤其着色面积的检测,国家标准虽有描述,但现场由于专业检验人员技能的差别,操作性不高。本文作者根据多年从事机械加工及检测方面的经验,介绍了涂色法检测锥孔一些经验方法。     

基于模拟退火算法和图着色的调车机车安排研究

铁路车站作业计划编制过程中，如何编制调机运用计划是调度指挥的关键问题。通过分析运用调机时区集合特点，构造调机运用安排图论模型，再将调机运用问题转化为图的着色问题。应用模拟退火算法通过解图的k—顶点着色问题来安排调车机计划，最后给出算法实例。     

具有(n,k)-正交的(g,f)-因子分解的子图

设G是一个图,g和f是定义在V(G)上的两个整数函数且对每个x∈V(G)有g≤f.本文证明了如下结果设k是一个正整数,G是一个(mg+nk,mf-nk)-图,其中1≤n<m,H是G的任意一个有nk条边的子图.若对每个x∈V(G)有g≥k,则G中存在子图R,R具有(g,f)-因子分解与H(n,k)-正交.