时间自动机的自动抽象算法

	时间自动机的自动抽象算法
	支小莉 ; 童维勤 ; 戎璐
刊名	西南交通大学学报
	2004
期号	05
关键词	陀螺微机械加工噪声滑膜阻尼
ISSN号	0258-2724
中文摘要	为对付时间自动机规格分析验证中的状态爆炸问题,提出了一种自动抽象算法.它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象,从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度.实验证明,该算法可应用于任何满足线性复位性质的时间自动机.此外,这种算法还可以用来简化系统描述,提高其可理解性.
语种	中文
公开日期	2012-01-06
内容类型	期刊论文
源URL	[http://ir.sim.ac.cn/handle/331004/50455]
专题	上海微系统与信息技术研究所_中文期刊、会议、专利、成果_期刊论文
推荐引用方式 GB/T 7714	支小莉,童维勤,戎璐. 时间自动机的自动抽象算法[J]. 西南交通大学学报,2004(05).
APA	支小莉,童维勤,&戎璐.(2004).时间自动机的自动抽象算法.西南交通大学学报(05).
MLA	支小莉,et al."时间自动机的自动抽象算法".西南交通大学学报 .05(2004).