首页
|
本学科首页
官方微博
|
高级检索
全部学科
医药、卫生
生物科学
工业技术
交通运输
航空、航天
环境科学、安全科学
自然科学总论
数理科学和化学
天文学、地球科学
农业科学
哲学、宗教
社会科学总论
政治、法律
军事
经济
历史、地理
语言、文字
文学
艺术
文化、科学、教育、体育
马列毛邓
全部专业
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目中文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
面向实时传值系统的局部模型检测
作者姓名:
JingChen
Zi-NingCao
作者单位:
[1]LaboratoryforComputerScience,InstituteofSoftware,TheChineseAcademyofSciences,Beijing100080,P.R.China [2]Laboratoired'InformatiqueFondarnentaled'Orléans,Universitéd'Orléans,RueLéonarddeVinciB.P.675945067ORLEANSCedex2,France
摘 要:
为对实时传值系统进行模型检测,本文给出了时间符号迁移图作为系统的建模语言,以及实时谓词μ演算作为刻画性质的逻辑语言。本文给出了基于时间符号迁移图和实时谓词μ演算的一个模型检测算法,该算法动态生成和检测可达的状态空间,并且采用对数据变量on—the—fly实例化以及动态切分时间计值集合的方法,是一个局部算法。该算法不仅能处理基于有限域的变量,还可处理一类数据域无穷的变量(称“数据无关”变量)。
关 键 词:
实时
模型检测算法
时间符号迁移图
建模语言
实例化
数据域
变量
演算
类数
刻画
本文献已被
维普
等数据库收录!
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号