| 查看: 341 | 回复: 1 | ||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | ||||||||
[求助]
求助摘要61173042
|
||||||||
|
回复此楼» 猜你喜欢
为什么中国大学工科教授们水了那么多所谓的顶会顶刊，但还是做不出宇树机器人？
已经有9人回复
-
版面费该交吗
已经有9人回复
-
体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低
已经有13人回复
-
面上可以超过30页吧？
已经有4人回复
-
“人文社科而论，许多学术研究还没有达到民国时期的水平”
已经有5人回复
-
什么是人一生最重要的？
已经有4人回复
-
今年春晚有几个节目很不错，点赞！
已经有12人回复
zhanglq
至尊木虫 (职业作家)
- 基金HEPI: 334
- 应助: 6 (幼儿园)
- 金币: 28419.3
- 散金: 508
- 红花: 10
- 帖子: 3808
- 在线: 747.7小时
- 虫号: 812065
- 注册: 2009-07-19
- 专业: 机械工程
【答案】应助回帖
网络先行者(金币+54, 基金HEPI+1): 谢谢! 2011-11-27 19:21:38
|
大规模定制服务系统的Petri网语义模型与关键技术研究 负责人：丁志军 参与人：丁志军, 王俊丽, 孙萍, 王鹏伟, 沈宏杰, 孙海春, 刘杰启, 咸玉龙, 柴华 金额：57万 申请时间：2011 学科代码：计算机系统建模与模拟(F020301) 项目批准号：61173042 申请单位：同济大学 研究类型：应用基础研究 关键词：Petri网；大规模定制；服务；建模；语义 摘要在满足用户个性化需求的同时而又不牺牲效益和成本，达到规模效应，提供大规模定制服务是SOC理论和技术面临的新挑战。针对上述挑战，面向大规模定制服务系统的设计与实施，本项目围绕"多态"服务的语义和表达、系统的重组与优化两个关键科学问题，从形式化方法入手，构建基于可重构Petri网的系统语义模型，把握大规模定制服务系统的内在机理；进而研究支持大规模定制的"多态"服务形式语义，给出其过程语义和连接语义，制定服务描述规范，实现大规模定制服务的精准表达；在此基础上，提供基于Petri网语义模型和形式语义的系统构造、装配和优选技术，指导大规模定制服务系统的规范设计，支持大规模定制服务系统的动态组合、快速重组和个性服务；最后研制大规模定制交通信息服务应用验证系统。项目的研究，将为大规模定制服务系统的设计和实施提供理论保障，丰富和发展服务计算科学理论，为网络环境下的信息服务更好应用提供技术支撑。 |
2楼2011-11-27 13:56:19