一体化票务服务研究

先分析建设一体化票务系统以实现新型轨道交通和沿线旅游景区票务系统互联互通的必要性,再分别对新型轨道交通和旅游景区票务系统进行简要介绍,最后从系统架构、系统功能、一体化出行流程三方面介绍一体化票务出行方案。     

基于TAIO变异的CTCS-3列控系统测试案例生成方法

为了研究高覆盖已知故障集的中国列车运行控制系统三级（CTCS-3）测试案例生成方法，提出了一种基于输入输出时间自动机（TAIO）变异分析的测试案例生成方法. 结合列控系统模式转换的故障特点，设计了包含模式转换已知故障的8种变异算子（改变行为、改变目标位置、改变源位置等），形成了15 106个变异体；利用输入输出一致性关系（tioco）和k-Bounded模型检验方法生成了10 843个测试案例；应用一致性关系分数（CRS）、平均一致性关系分数（ACRS）和加权一致性关系分数（WCRS）进行了故障覆盖度的分析. 研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式，而对于约束取反和复位取反的故障模式覆盖度不高，需通过额外的观测信息来检测故障.      

基于云平台的中低速磁浮票务系统

票务系统是保证中低速磁浮线路正常运营的关键。传统城市轨道交通的票务系统通常采用五层结构,具有结构复杂,建设成本高等特点。针对中低速磁浮线网规模小的特点,提出一种基于云平台的中低速磁浮票务系统架构,将票务系统架构精简为3层结构。然后,基于微服务化思想对票务系统进行架构设计,并对各模块的功能进行详细设计,提高系统的可扩展性和可维护性。最后,以用户权限管理功能为例详细阐述微服务架构中主要模块的作用。