【摘 要】
：
联锁子系统作为站内行车安全的关键保障,是车地协同下的列车运行控制系统的重要组成部分.传统联锁子系统存在地面集中控制失效风险大、列车自主化程度低等不足,为顺应精简系统结构、降低运营成本和提升列车自主化的列控技术发展趋势,设计一种车地协同下的联锁子系统用于城际铁路.考虑多车间的进路冲突是影响子系统功能实现的关键因素,提出进路预延伸策略以避免列车间的进路冲突.为确保联锁子系统功能安全,采用一种基于层次着色Petri网(HCPN)的系统功能建模与验证方法.通过对联锁子系统的主要功能实现过程—进路建立过程进行分析,
【机 构】
：
兰州交通大学 自动化与电气工程学院,甘肃 兰州730070
论文部分内容阅读
联锁子系统作为站内行车安全的关键保障,是车地协同下的列车运行控制系统的重要组成部分.传统联锁子系统存在地面集中控制失效风险大、列车自主化程度低等不足,为顺应精简系统结构、降低运营成本和提升列车自主化的列控技术发展趋势,设计一种车地协同下的联锁子系统用于城际铁路.考虑多车间的进路冲突是影响子系统功能实现的关键因素,提出进路预延伸策略以避免列车间的进路冲突.为确保联锁子系统功能安全,采用一种基于层次着色Petri网(HCPN)的系统功能建模与验证方法.通过对联锁子系统的主要功能实现过程—进路建立过程进行分析,提取子系统的功能需求,以此建立顶层需求模型.为缩小底层实现与顶层需求之间的差距,建立基于数据及行为低抽象度表达的模块层模型,并在其中引入死锁控制策略实现对系统功能逻辑的完整表达.以冲突进路建立场景为模型的输入参数,执行验证过程,通过对模型标准状态空间性能分析,实现对模型正确性的检验.在此基础上,采用分支时序逻辑ASK-CTL公式与状态空间搜索算法相结合的验证方法,完成对子系统功能安全性的检验.研究结果表明:模型的行为特性同子系统预期相一致,能够正确表达系统的行为.所设计子系统满足功能安全需求,可为底层实现提供依据.
其他文献
改革开放40年以来,中国实现了全球规模最大的城镇化,成绩斐然.但在资源能源紧约束的条件下,我国城镇化高资源消耗、高能源消耗、高碳排放的“三高”问题值得关注,“双碳”目标也面临着城镇化水平提高、经济稳健发展和现代化建设的多重挑战.在生态文明建设背景下,中国已经进入了绿色城镇化发展的新阶段,这是城镇化“下半场”转型发展的必然选择.因而要结合能源、工业、交通、建筑、农业和土地利用等碳排放五大领域的研究,将“减碳”和“增汇”作为技术主线,从城镇格局、交通出行、绿色建筑、基础设施、城市运营这五个方面,探索绿色城镇化
何谓“迹以人传”rn纵观中国规划建设史,几乎每个地方都有一批循吏、文人、乡贤,守护中华胜迹、接续历史文脉,把传承弘扬中华文化的责任、对地方乡土的热爱和个人才情注入地方实践,代代赓续,形成了特有的本土古迹保护传承模式.对此,古人曾有“迹以人传”的说法,亦有“先贤遗迹,湮没弗葺,守土者安能辞其职哉”“文物之盛,是则守土者之所乐”等诸多记载,皆强调人在古迹保护传承中的使命与责任,体现了古迹保护传承的守土者之责.
新冠病毒是人类近百余年遭遇的最大外部冲击(广域流行疾病).这个冲击对城乡生产、生活,包括公共交通出行产生巨大、深远和广泛的影响.人们需要重新审视与过往既有的公共交通规划、政策与管理工作相关的认知、经验、工作方式、绩效指标等等,才能更好地指导新冠疫情中、新冠疫情后的相关工作.文章提出一个基于出行稳定性、变化性、柔韧性和恢复力4个核心概念的认识框架,并提出了8个指标或可视化方法具体落实该框架.结合北京、香港的实际数据,文章说明了有关指标和方法.
开发控制是规划实施的重要组成部分,而我国的规划管理强调“控规-许可”的硬羁束作用,试图用规划替代开发控制,忽视了许可过程具有多方利益博弈和协调过程的特征;并且在可持续发展的理念下,生态环境等影响规划决策的因素需要以“非人类”参与者的身份介入开发控制过程,而不是依赖“政府”这个假定的公共利益代理人;况且,分税制下的地方政府更符合“经济人”的假设,在此背景下开发控制研究需要新的理论解释框架.本论文将行动者网络理论与城市政体理论融合,运用“行动者关联法”剖析开发控制的程序结构,结合开发控制的目标与控制方式,将许
高速铁路接触网属于复杂的空间耦联体系,其支持结构一直是我国高速铁路系统的薄弱环节.为给高铁隧道内接触网的设计和施工进一步提供理论依据,基于三维不可压缩N-S方程和标准k-ε两方程湍流模型理论,建立隧道-竖井-列车-空气三维CFD数值模型.基于ANSYS Workbench平台,结合流固耦合计算方法等手段,确定竖井对交叉段内接触网支持结构的不利影响范围以及最不利位置,探讨竖井对交叉段列车风影响的机制,分析不同竖井面积、竖井高度以及竖井交叉角度分别对接触网振动的影响规律.研究结果表明:与横通道-隧道交叉段相比
在高速铁路列车控制系统中,车载设备依据行车许可、线路数据和列车制动参数计算目标距离连续速度控制模式曲线,对列车位置和速度进行实时监控,保证列车安全、高效运行.在不同速度下,高速铁路列车具有不同的制动能力.在现有的高速列车控制系统中,对速度进行有限数量分段,分段内采用固定减速度,以较少速度分段计算速度监控曲线.如何对列车速度进行分段并确定分段内制动减速度,将直接影响高速铁路列车车载设备计算制动曲线的精确度和计算效率,进而影响列车行车安全和铁路运输效率.建立高速铁路列车制动曲线计算模型,研究速度分段个数、速度
高速铁路建设工程是一个多方参与的复杂系统,其建设过程中风险因素众多,可用系统韧性表示该系统的风险防御能力和受扰动后的恢复能力.为提高高速铁路建设工程风险防御能力及受外界因素扰动后的恢复能力,进行高铁建设工程系统韧性评价研究.以高速铁路建设工程系统为研究对象,基于韧性理论,从制度管理、人员管理、物料管理和信息管理4个方面构建铁路建设工程系统韧性评价指标体系.将防御能力和恢复能力作为各评价指标的基础变量,建立高速铁路建设工程系统韧性评价的熵权—二维云模型.运用熵权法对评价指标赋权,再利用MATLAB软件绘制二
保证服务质量和控制联运成本是多式联运经营者在进行联运路径决策时考虑的主要目标.基于运输碳税征收的假设,探究同时考虑运输碳税和服务质量承诺对集装箱多式联运经营者决策联运路径的影响.将运输过程中不同交通工具的碳排放内化为联运经营者的运输碳税成本,对服务质量的承诺主要考虑运到时限和货物完好程度2个关键质量指标,引入模糊运到时间与随机货损率2个表征变量,将运到时限承诺内化为运到时间补偿成本,将货物完好程度承诺内化为货损补偿成本,二者共同构成质量损失补偿成本.以此为基础,构建由运输成本、中转成本、碳税成本和质量损失
高铁运输组织具有波动性大、随机性强的特点.针对广泛采用的Vx接线牵引变压器具有3倍过负荷能力,仍然无法满足大功率动车组密集追踪运行时段的高过载需求,是时速为250 km/h高铁上尤为突出的现实问题,通过研究电流分解原理,负序、谐波、无功的映射关系,明确适用于工程应用的潮流控制及电能质量补偿策略.仿真验证不同工况下,潮流控制器对有功功率分配的能力,以及按需补偿各电能质量参数的效果.由此提出基于Vx接线牵引供电系统的潮流均衡方案.策略可在TF绕组间,从零负荷至满负荷区间灵活分配潮流;补偿度由0至1间按需补偿电
公铁联运背景下,无水港依托公转铁优势得到快速发展,对内河港造成严重冲击,两者无序竞争造成的资源浪费问题日益突出.为促进内陆港口之间的协调有序发展,考虑托运人对多式联运路径的选择偏好,构建基于Logit的内河港与无水港竞争合作博弈模型.在该决策模型中,港口基于利润最大化确定其相应的定价及联盟决策,而托运人则基于自身效用最优选择运输服务路径,在此基础上,设定不同情景,进一步研究内河港开通铁路专用线、内河港与无水港之间合作模式对港口竞合决策及托运人需求水平的影响.运用逆向归纳法求解Bertrand价格博弈模型,