| 查看: 742 | 回复: 2 | ||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | ||||||||
stonnie木虫 (正式写手)
|
[求助]
61103029
|
|||||||
|
回复此楼» 猜你喜欢
看来今天不会放榜了？
已经有8人回复
-
让我中一个面上吧！
已经有13人回复
-
人气不行了
已经有7人回复
-
今日不放榜？网传国自然预计 8 月 27 日可查结果
已经有18人回复
-
感觉是下周放榜了
已经有12人回复
-
我面上完蛋了
已经有8人回复
-
只有每年这种时候来逛逛小木虫
已经有25人回复
-
什么时候开奖？
已经有7人回复
-
时间戳又变了
已经有18人回复
-
时间戳又变了8-15
已经有27人回复
stonnie
木虫 (正式写手)
- 应助: 0 (幼儿园)
- 金币: 1746.4
- 帖子: 338
- 在线: 174小时
- 虫号: 341710
- 注册: 2007-04-08
- 性别: GG
- 专业: 信息理论与信息系统
2楼2014-01-26 13:16:33
mmbeauty
荣誉版主 (文坛精英)
- 基金HEPI: 25
- 应助: 76 (初中生)
- 贵宾: 2.024
- 金币: 20599.2
- 散金: 20181
- 红花: 174
- 沙发: 167
- 帖子: 15979
- 在线: 1017.2小时
- 虫号: 728451
- 注册: 2009-03-22
- 性别: MM
- 专业: 通信理论与系统
- 管辖: 基金申请
【答案】应助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ...
stonnie(sandy03代发): 金币+50, 基金HEPI+1, 完成应助 2014-03-21 16:46:36
stonnie(sandy03代发): 金币+10, 补发 2014-03-21 16:46:44
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
40