复杂并发系统验证和评估分析的代数符号化理论与方法

并发系统（如软件、电路系统）大量存在于现实生活当中。如何建立确保复杂并发系统设计正确性和可靠性的高效实用的验证和评估方法是计算机科学技术领域的挑战之一。本项目通过代数符号计算与并发理论的交叉与融合，构建并发系统形式化模型及性质刻画语言的多项式结构表示理论，在此基础上，基于系统的结构和功能行为，结合系统环境的性能指标和特性，建立用于并发系统功能验证和性能评估的新型代数符号化模型检测方法，在高可计算性、统一性、协调性、协同性、混成性五个关键问题上取得突破：高可计算性方面，能够有效缓解"状态爆炸"导致的复杂计算问题；统一性方面，能够有效克服功能验证与性能评估分析的相互割裂问题；协调性方面，能够有效处理矛盾信息的剔除问题；协同性方面，能够有效解决系统与环境之间的整体刻画问题；混成性方面，能够有机结合传统的测试方法。针对实际需求，作为实证示范，探索这一方法在轨道列车控制系统设计与分析中的应用。