应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台» 学术交流区» 基金申请 » 基金摘要完结 » 61100036
41/1返回列表
查看: 1070  |  回复: 3
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
本帖产生 1 个 基金HEPI ，点击这里进行查看

stonnie

木虫 (正式写手)

[求助] 61100036

求助摘要的编号:
61100036
项目名称:
混成系统模型检验应用技术研究
项目类型:
F020202
回复此楼

» 猜你喜欢
1楼 2014-01-05 07:31:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

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的回帖

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的回帖
相关版块跳转 我要订阅楼主 stonnie 的主题更新
41/1返回列表
普通表情 龙 兔 虎 猫
信息提示
关闭
请填处理意见
关闭