查询应答器是一种具有综合利用价值、保证列车运行安全、提高运输效率的重要基础设施。文中介绍了查询应答器的一般性原理 ,包括应答器的几何尺寸与车载设备接收数据帧大小的关系、数据传输率与循环冗余校验等。并给出了应答器用于提速...查询应答器是一种具有综合利用价值、保证列车运行安全、提高运输效率的重要基础设施。文中介绍了查询应答器的一般性原理 ,包括应答器的几何尺寸与车载设备接收数据帧大小的关系、数据传输率与循环冗余校验等。并给出了应答器用于提速的一般性方案。同时根据广深线地面信号及 L SK列车分级速度控制系统的特点 ,提出了应答器与机车信号及 L SK列车自动控制系统相结合用于该提速区段的方案。经试验表明 ,经过修改后的 L SK系统软件 ,除原有功能保持不变 ,可以在应答器提速区段完成提速功能外 ,并能在该区段提速完成后可靠恢复原有的 L SK控车模式。这个方案是国内首次在既有运营线上成功试验运行的点式与连续式信号结合的控车模式 ,安全上具有硬件和软件两个层面的防护 ,是故障导向安全的。展开更多
令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为Sλ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因...令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为Sλ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因子大集,记为LSλ(F G),是G中所有与F同构的子图的一个分拆{B_i}_i,使得每个B_i均构成一个Sλ(F,G).当λ=1时,λ可省略不写.本文中,我们证明了当v≡4 mod 24时,存在LS(K1,3,Kv,v,v).展开更多
文摘查询应答器是一种具有综合利用价值、保证列车运行安全、提高运输效率的重要基础设施。文中介绍了查询应答器的一般性原理 ,包括应答器的几何尺寸与车载设备接收数据帧大小的关系、数据传输率与循环冗余校验等。并给出了应答器用于提速的一般性方案。同时根据广深线地面信号及 L SK列车分级速度控制系统的特点 ,提出了应答器与机车信号及 L SK列车自动控制系统相结合用于该提速区段的方案。经试验表明 ,经过修改后的 L SK系统软件 ,除原有功能保持不变 ,可以在应答器提速区段完成提速功能外 ,并能在该区段提速完成后可靠恢复原有的 L SK控车模式。这个方案是国内首次在既有运营线上成功试验运行的点式与连续式信号结合的控车模式 ,安全上具有硬件和软件两个层面的防护 ,是故障导向安全的。
文摘令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为Sλ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因子大集,记为LSλ(F G),是G中所有与F同构的子图的一个分拆{B_i}_i,使得每个B_i均构成一个Sλ(F,G).当λ=1时,λ可省略不写.本文中,我们证明了当v≡4 mod 24时,存在LS(K1,3,Kv,v,v).
