简介:随着软件在铁路信号系统中占据着越来越重要的地位,其规模越来越大、复杂程度越来越高,为信号系统软件的设计研发带来了巨大的挑战。研发信号系统软件设计开发平台为信号系统软件的研发提供技术支撑,是信号系统软件设计开发的趋势。介绍一种支持铁路信号系统软件全生命周期的设计开发平台,及其在信号系统软件产品研发中的应用。
简介:如果图G的每一个导出匹配都包含在图G的一个完美匹配中,则称图G是导出匹配可扩的。设l为非负整数,如果对于任意的F包含E(G),|F|=l,都有G—F是导出匹配可扩的,则称图G是后一边可删的导出匹配可扩图。本文证明了边数最少、且不包含5圈的l-边可删的导出匹配可扩图是Kl+2,l+2。