24小时热门版块排行榜    

查看: 639  |  回复: 2
本帖产生 1 个 基金HEPI ,点击这里进行查看
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

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

mmbeauty

荣誉版主 (文坛精英)

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

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ...
stonnie(sandy03代发): 金币+50, 基金HEPI+1, 完成应助 2014-03-21 16:46:36
stonnie(sandy03代发): 金币+10, 补发 2014-03-21 16:46:44
摘要
信息物理融合系统CPS是目前研究热点之一, 具有巨大的现实意义和应用价值。但由于CPS的异构性、与环境的紧密偶合性、流动性等特点,其对系统动态性要求很高,因此对软件平台研究提出了新的挑战。本项目将致力解决两个相关的和极为重要的问题:"怎样的体系结构适合CPS和如何形式化?"及"如何分析CPS的行为?"。其一,我们拟从上下文的角度设计基于构件的形式体系结构,把上下文、物理设备定义入构件模型,并形式定义构件组合和重新配置。其二,我们将研究上下文驱动的扩展状态机CESM,将其作为形式行为模型;我们将研究体系结构描述语言,上下文将是该语言中的第一阶对象,该语言应能描述交互实体之间的合作行为,并提供相应的构词来表达在一个配置中构件间的协调;我们还将实现从体系结构说明来自动产生CESM和UPPAAL模型的转换算法和工具,并在扩展的UPPAAL工具上进行模型检测,验证上述成果的正确性和优越性。
居善地,心善渊,与善仁,言善信,政善治,事善能,动善时
3楼2014-02-15 22:36:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 3 个回答

stonnie

木虫 (正式写手)

为什么没有人应助!是不是悬赏金币太少了!
2楼2014-01-26 13:16:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
信息提示
请填处理意见