24小时热门版块排行榜    

查看: 1027  |  回复: 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的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 科研孤儿太难了 +16 我4大白菜 2026-08-20 17/850 2026-08-21 19:07 by sakuraai
[基金申请] 时间戳又变了 +13 wuchongjun 2026-08-20 19/950 2026-08-21 17:21 by 紫杉醇
[基金申请] 让我中一个面上吧! +11 大萍1987 2026-08-20 13/650 2026-08-21 14:48 by 20120902066
[基金申请] 人气不行了 +7 fansofjerry 2026-08-21 7/350 2026-08-21 14:13 by Vivilian
[基金申请] 我面上完蛋了 +7 且听虎啸 2026-08-20 8/400 2026-08-21 12:31 by 酷酷墨镜
[基金申请] 什么时候开奖? +7 CrisMessi 2026-08-18 7/350 2026-08-21 12:15 by weiyin
[基金申请] 时间戳又变了8-15 +15 archvillain 2026-08-15 27/1350 2026-08-21 11:32 by tim76
[基金申请] 今天基金会出结果吗?20260819 +15 kkkl_v 2026-08-19 16/800 2026-08-21 11:22 by 365372687
[基金申请] 应该是下周三26日公布了吧? +4 哈哈蛤? 2026-08-21 4/200 2026-08-21 10:58 by Vivilian
[论文投稿] 投稿咨询 +5 wwm09 2026-08-17 7/350 2026-08-21 10:11 by 期刊论文帮手
[基金申请] 今天放榜没戏了吧 +9 yuleib84 2026-08-19 11/550 2026-08-21 10:06 by gltch
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 放榜前的不淡定 40+4 snowwithsea 2026-08-19 13/650 2026-08-21 08:30 by 北京莱茵编辑
[基金申请] 时间戳今天,20号变了 +4 archvillain 2026-08-20 4/200 2026-08-21 08:10 by gatelove
[基金申请] 估计是周四 +3 archvillain 2026-08-18 3/150 2026-08-21 01:48 by jnhyjjm
[基金申请] 今天系统多次维护,明天很可能放榜! +10 zju2000 2026-08-16 11/550 2026-08-20 20:02 by cl479861084
[基金申请] 今天放榜吗? +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] 2027广东省杰青 +4 奶牛小黑 2026-08-15 10/500 2026-08-19 11:02 by wanfengnew
[基金申请] 朋友圈看到的 +6 wangzilk 2026-08-18 8/400 2026-08-19 10:55 by Haru815
[精细化工] 招聘 金属平磨液,抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
信息提示
请填处理意见