基于因果关系的列控系统模型约简方法

• 作者: 周庭梁 许婧 赵时旻 陈小红
• 来源期刊: 同济大学学报（自然科学版）
• 学科: 工学
• 关键词: 需求验证 变量约简 因果关系 列车运行控制系统
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 交通运输工程
• 页码范围: 1702-1708
• 页数: 7页
• 分类号: TP311
• 字数: 6953字
• 语种: 中文
• DOI: 10.11908/j.issn.0253-374x.2016.11.009

摘要

在基于安全需求对验证问题进行投影的方法基础上,针对投影出的验证子问题,提出了基于因果关系的变量约简方法,定义了环境变量间的因果关系,归纳出基本的因果关系组合,并提炼出变量约简规则,通过变量约减减少了验证问题的状态空间.采用国内某地铁线路的相关数据进行建模和验证,结果表明,该方法能够有效降低系统验证复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周庭梁	同济大学道路与交通工程教育部重点实验室	16	68	4.0	8.0
5	许婧		1	0	0.0	0.0
6	陈小红	华东师范大学上海市高可信计算重点实验室	7	28	3.0	5.0
7	赵时旻	同济大学道路与交通工程教育部重点实验室	3	10	2.0	3.0