24小时热门版块排行榜    

北京石油化工学院2026年研究生招生接收调剂公告
查看: 896  |  回复: 3
本帖产生 1 个 基金HEPI ,点击这里进行查看
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

mmbeauty

禁虫

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
stonnie(sandy03代发): 金币+50, 基金HEPI+1, 完成应助 2014-03-21 16:45:07
摘要
混成系统的模型检验技术对实时系统质量保障具有重要意义。由于系统行为高度复杂,现有工作主要针对线性混成自动机的可达性检验,但可解决问题规模过小不足以满足实际应用需要。同时,现有技术在非线性混成自动机可达性检验及混成自动机活性检验两个重要应用领域所展开的工作颇为有限,亟待进一步研究。近年来,CPS系统广泛兴起,混成自动机作为其自然的建模语言,其模型检验问题显得愈发重要。与一般嵌入式系统不同,CPS系统行为具有高度不确定性,因此传统的离线建模验证技术已无法满足CPS系统的需要,如何应对此需求对CPS系统进行验证也是一个重要科学问题。本课题将基于已有工作展开,以面向路径可达性检验为基础,数值约束技术为手段,多核技术为平台,服务于应用为目标,设计面向(非)线性混成自动机可达性,线性混成自动机活性的验证算法,以此为基础设计支持CPS系统的在线建模验证框架,并结合典型CPS安全攸关系统进行示范性应用。
居善地,心善渊,与善仁,言善信,政善治,事善能,动善时
3楼2014-02-15 22:37:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 stonnie 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 309分085801求调剂 +7 学员Gtwj7W 2026-03-31 7/350 2026-04-01 02:36 by BruceLiu320
[考研] 一志愿武理材料工程302调剂环化或化工 +11 Doleres 2026-03-31 12/600 2026-04-01 01:29 by 1018329917
[考研] 070300化学求调剂 +12 小黄鸭宝 2026-03-30 12/600 2026-03-31 19:15 by 253863592
[考研] 一志愿a区211,085601-307分求调剂 +10 党嘉豪 2026-03-31 23/1150 2026-03-31 18:44 by JourneyLucky
[考研] 合肥区域性重点一本招收调剂 +4 6266jl 2026-03-30 8/400 2026-03-31 18:43 by 6266jl
[考研] 318求调剂 +10 陈晨79 2026-03-30 10/500 2026-03-31 17:37 by 544594351
[考研] 英一数一总分334求调剂 +4 陈阳坤 2026-03-31 4/200 2026-03-31 14:22 by 记事本2026
[考研] 土木304求调剂 +3 顶级擦擦 2026-03-31 3/150 2026-03-31 13:59 by 西京学院招办
[考研] 293分求调剂,外语为俄语 +5 加一一九 2026-03-31 5/250 2026-03-31 09:39 by zhshch
[考研] 本科211总分289,08工学真心求调剂 +3 utopiaE 2026-03-30 3/150 2026-03-30 23:42 by ms629
[考研] 一志愿华中师范化学332分求调剂 +3 Lyy930824@ 2026-03-29 3/150 2026-03-30 20:15 by DHUSHUAI
[考研] 总分293求调剂 +8 加一一九 2026-03-25 11/550 2026-03-29 19:53 by 无际的草原
[考研] 一志愿北京理工大学本科211材料工程294求调剂 +8 mikasa的围巾 2026-03-28 8/400 2026-03-29 12:48 by 无际的草原
[考研] 305求调剂 +8 RuiFairyrui 2026-03-28 8/400 2026-03-29 08:22 by fmesaito
[考研] 药学105500求调剂 +3 Ssun。。 2026-03-28 3/150 2026-03-28 11:24 by lxf170613
[考研] 086502化学工程342求调剂 +6 阿姨复古不过 2026-03-27 6/300 2026-03-28 07:06 by wangy0907
[考研] 275求调剂 +10 jjjjjjjjjjl 2026-03-27 10/500 2026-03-27 23:47 by barnett0632
[考研] 272求调剂 +7 脚滑的守法公民 2026-03-27 7/350 2026-03-27 17:23 by laoshidan
[考研] 298调剂 +3 jiyingjie123 2026-03-27 3/150 2026-03-27 11:57 by wxiongid
[考研] 296求调剂 +4 汪!?! 2026-03-25 7/350 2026-03-25 16:41 by 汪!?!
信息提示
请填处理意见