24小时热门版块排行榜    

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

1970-01-01 08:00:00
已阅   申请基金HEPI   回复此楼   编辑   查看我的主页

mmbeauty

荣誉版主 (文坛精英)

优秀版主优秀版主优秀版主

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★
stonnie(sandy03代发): 金币+10, 补发 2014-03-21 16:45:29
负责人:卜磊 参与人:卜磊, 赵建华, 周筱羽, 李游, 陈华杰, 杨阳, 邢雨辰, 张凤玲, 李江伟, 蒋慧
金额:24万 申请时间:2011         学科代码:软件工程(F020202)         项目批准号:61100036
申请单位:南京大学         研究类型:基础研究
关键词:混成系统;CPS系统;模型检验;可达性检验;在线建模验证技术
居善地,心善渊,与善仁,言善信,政善治,事善能,动善时
4楼2014-02-15 22:37:52
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 4 个回答

stonnie

木虫 (正式写手)

为什么没有人应助!是不是悬赏金币太少了!
2楼2014-01-26 13:11:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

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的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 调剂310 +10 温柔的晚安 2026-03-25 11/550 2026-03-29 14:22 by markhwc
[考研] 环境工程 085701,267求调剂 +3 minht 2026-03-29 3/150 2026-03-29 13:09 by mumin1990
[考研] 317分 一志愿南理工材料工程 本科湖工大 求调剂 +9 芋泥小铃铛 2026-03-28 9/450 2026-03-29 11:46 by longlotian
[考研] 352分-085602-一志愿985 +5 海纳百川Ly 2026-03-29 5/250 2026-03-29 09:57 by Sjndkwm
[考研] 085600,专业课化工原理,321分求调剂 +5 大馋小子 2026-03-28 5/250 2026-03-29 08:56 by qingfeng258
[考研] 0703 化学 求调剂,一志愿山东大学 342 分 +4 Shern—- 2026-03-28 4/200 2026-03-29 00:47 by 544594351
[考研] 322求调剂 +7 宋明欣 2026-03-27 7/350 2026-03-28 21:27 by sanrepian
[考研] 299求调剂 +7 嗯嗯嗯嗯2 2026-03-27 7/350 2026-03-28 13:09 by 唐沐儿
[考研] 352分 化工与材料 +5 海纳百川Ly 2026-03-27 5/250 2026-03-28 03:39 by fmesaito
[考研] 考研化学308分求调剂 +10 你好明天你好 2026-03-23 12/600 2026-03-27 14:43 by shangxh
[考研] 085600,材料与化工321分,求调剂 +9 大馋小子 2026-03-27 9/450 2026-03-27 14:30 by mmm just
[考研] 求调剂 +3 刘柯@ 2026-03-24 4/200 2026-03-27 11:28 by shangxh
[考研] 调剂求收留 +7 果然有我 2026-03-26 7/350 2026-03-27 00:26 by wxiongid
[考研] 333求调剂 +6 wfh030413@ 2026-03-23 6/300 2026-03-26 22:45 by 学员8dgXkO
[考研] 327求调剂 +7 prayer13 2026-03-23 7/350 2026-03-26 20:48 by 不吃魚的貓
[考研] 081200-11408-276学硕求调剂 +3 崔wj 2026-03-26 3/150 2026-03-26 19:57 by nihaoar
[考研] 263求调剂 +6 yqdszhdap- 2026-03-22 10/500 2026-03-26 13:11 by 公瑾逍遥
[考研] 化学调剂一志愿上海交通大学336分-本科上海211 +4 小鱼爱有机 2026-03-25 4/200 2026-03-26 10:19 by aa331100
[考研] 285求调剂 +3 AZMK 2026-03-24 3/150 2026-03-25 12:23 by userper
[考研] 求调剂 +6 研研,接电话 2026-03-24 7/350 2026-03-24 17:01 by barlinike
信息提示
请填处理意见