| 查看: 334 | 回复: 1 | ||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | ||||||||
[求助]
求助摘要61173042
|
||||||||
|
回复此楼» 猜你喜欢
国家基金申请书模板内插入图片不可调整大小?
已经有9人回复
-
退学或坚持读
已经有20人回复
-
免疫学博士有名额，速联系
已经有14人回复
-
面上基金申报没有其他的参与者成吗
已经有4人回复
-
多组分精馏求助
已经有6人回复
-
国家级人才课题组招收2026年入学博士
已经有6人回复
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