题目：北京轨道交通自动售检票系统可信评估系统研究与实现

伴随着轨道交通迅速发展，客流激增。为了方便乘客购票和进出站，实时掌握客流、票务、收益等运营统计数据，实现与城市交通“ 一卡通”的清算功能，地铁/ 轻轨一般均采用自动售检票系统（Automatic Fare Collection System，简称AFC 系统）。在地铁各专业系统中，AFC系统扮演着十分重要的角色，它不但为乘客提供自动售票和自动检票服务，也为轨道交通运营公司的科学管理提供可靠的数据，承担着轨道交通运营、结算、管理的重要任务。因此，AFC系统的可信性直接关系到城市轨道交通运营的效率、安全、稳定及运营公司的经济效益。可信性问题的提出是因为自21世纪以来，伴随着计算机应用的广泛深入，系统日趋庞大、复杂、难以控制，缺陷问题和系统的漏洞日益增多，很多时候系统的应用并不能让人们感到信任。因此计算机系统是否能够成功的运行并给用户带来可靠安全的服务是人们最关心的问题。目前，可信性成为了软件的重要特性，因此对AFC的可信性进行研究，并量化评估结果将保障轨道交通运营安全，帮助建设决策者对系统进行选型，也有利于厂商进行可信软件的开发。本论文针对AFC系统可信性评估问题展开研究，首先研究了可信属性模型、可信证据获取方法及算法模型，最后在理论研究的基础上设计实现了评估系统。论文的主要工作为以下几个方面：1.分析并研究了可信及AFC领域的相关概念，给出了AFC可信性定义，建立了可信属性模型分层结构。2.给出了AFC系统、设备在提交阶段可信证据的获取和度量方法。3.本文给出了基于模糊AHP群决策评估算法模型，实现对AFC可信性的量化评估。4.设计并实现了基于B/S结构的评估工具AFCTE，从而有效的使评估者完成评估的任务。