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

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

液体环氧管道涂层

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

稀土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—顶点着色问题来安排调车机计划，最后给出算法实例。     

汽车雾灯反射镜着色膜层的研制

一、引言汽车雾灯的反射镜反光的光线大多带淡黄色,其变色的方法一般有两种,一是将灯泡玻璃着色,由反射镜反射的光即变成着色的光,二是将散光镜着色,使透过的光变色[注1]。在国内,传统的做法主要是采用黄灯泡加白玻璃罩,这种着色法在工艺上需要特殊的黄色灯泡,且反光镜的反光色不太柔和。为此我们对福州汽车配件五厂生产的汽车雾灯反光镜进行探讨与剖析,研制成新的着色膜层,经福建省中心检验所按国家有关标准进行测试,均符合要求,见表1。其性能达到同类意大利进口雾灯的标     

基于着色Petri网的铁路时间同步协议建模及安全性分析

针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。     

基于着色Petri网的高速列车追踪运行过程建模与仿真

为了验证高速铁路移动闭塞系统(Moving Automatic System,简称MAS)结构完整性、控制逻辑正确性以及列车追踪运行的动态控制过程,利用着色Petri网建立移动闭塞条件下高速列车两车追踪运行控制过程的模型,采用相对制动方式下基于追踪效率最高的区间追踪间隔原理,设计了控制策略决策模块,模拟列车牵引加速、惰行以及减速运行等控制过程,研究MA更新周期变化对列车追踪控制的影响。仿真结果表明所建立的模型可以有效描述MAS下高速列车追踪运行控制过程,且MA更新的周期越小,列车的行为控制越灵敏,达到预期控制目标所需要的时间更短,满足行车安全性、高效性要求。仿真结果将为MAS在高速铁路中的实际应用提供理论指导。     

基于赋时着色Petri网的木材柔性加工系统的建模与重构

以Petri网为建模工具,针对木材柔性加工系统(Wood Flexible Manufacturing System,WFMS)中的离散事件建立赋时着色Petri网(Timed Colored Petri-net,TCPN)模型.该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构.应用软件对该模型进行仿真,结果表明该模型是有效的.根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率.