| 查看: 873 | 回复: 3 | ||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | ||||||||
stonnie木虫 (正式写手)
|
[求助]
61100036
|
|||||||
|
回复此楼» 猜你喜欢
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有5人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有6人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有7人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有7人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有9人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有4人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有6人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有5人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有8人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有10人回复
stonnie
木虫 (正式写手)
- 应助: 0 (幼儿园)
- 金币: 1746.4
- 帖子: 338
- 在线: 174小时
- 虫号: 341710
- 注册: 2007-04-08
- 性别: GG
- 专业: 信息理论与信息系统
2楼2014-01-26 13:11:30
mmbeauty
荣誉版主 (文坛精英)
- 基金HEPI: 25
- 应助: 76 (初中生)
- 贵宾: 2.024
- 金币: 20599.2
- 散金: 20181
- 红花: 174
- 沙发: 167
- 帖子: 15979
- 在线: 1017.2小时
- 虫号: 728451
- 注册: 2009-03-22
- 性别: MM
- 专业: 通信理论与系统
- 管辖: 基金申请
【答案】应助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
stonnie(sandy03代发): 金币+50, 基金HEPI+1, 完成应助 2014-03-21 16:45:07
stonnie(sandy03代发): 金币+50, 基金HEPI+1, 完成应助 2014-03-21 16:45:07
|
摘要 混成系统的模型检验技术对实时系统质量保障具有重要意义。由于系统行为高度复杂，现有工作主要针对线性混成自动机的可达性检验，但可解决问题规模过小不足以满足实际应用需要。同时，现有技术在非线性混成自动机可达性检验及混成自动机活性检验两个重要应用领域所展开的工作颇为有限，亟待进一步研究。近年来，CPS系统广泛兴起，混成自动机作为其自然的建模语言，其模型检验问题显得愈发重要。与一般嵌入式系统不同，CPS系统行为具有高度不确定性，因此传统的离线建模验证技术已无法满足CPS系统的需要，如何应对此需求对CPS系统进行验证也是一个重要科学问题。本课题将基于已有工作展开，以面向路径可达性检验为基础，数值约束技术为手段，多核技术为平台，服务于应用为目标，设计面向（非）线性混成自动机可达性，线性混成自动机活性的验证算法，以此为基础设计支持CPS系统的在线建模验证框架，并结合典型CPS安全攸关系统进行示范性应用。 |
3楼2014-02-15 22:37:43
mmbeauty
荣誉版主 (文坛精英)
- 基金HEPI: 25
- 应助: 76 (初中生)
- 贵宾: 2.024
- 金币: 20599.2
- 散金: 20181
- 红花: 174
- 沙发: 167
- 帖子: 15979
- 在线: 1017.2小时
- 虫号: 728451
- 注册: 2009-03-22
- 性别: MM
- 专业: 通信理论与系统
- 管辖: 基金申请
4楼2014-02-15 22:37:52
