| 大规模设备协同机制研究 |
| |
| 引用本文： | 荣晓慧,陈峰,邓攀,马世龙.大规模设备协同机制研究[J].计算机研究与发展,2011,48(9):1589-1596. |
| |
| 作者姓名： | 荣晓慧 陈峰 邓攀 马世龙 |
| |
| 作者单位： | 软件开发环境国家重点实验室(北京航空航天大学) 北京100191 |
| |
| 基金项目： | 国家科技支撑计划基金项目(2006BAK12B11); 软件开发环境国家重点实验室探索性自主研究课题(SKLSDE-2010ZX-06) |
| |
| 摘 要： | 在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用Pi-演算给出了大规模设备协同中两级任务协同机制的描述,并从理论上证明了该机制的正确性.并实现了大规模设备协同原型系统...
|
| 关 键 词： | 大规模设备协同 协同任务模型 协同机制 时序约束 Pi-演算 |
A Large-scale Device Collaboration Mechanism |
| |
| Rong Xiaohui
,
Chen Feng
,
Deng Pan
,
Ma Shilong.A Large-scale Device Collaboration Mechanism[J].Journal of Computer Research and Development,2011,48(9):1589-1596. |
| |
| Authors: | Rong Xiaohui Chen Feng Deng Pan Ma Shilong |
| |
| Affiliation: | Rong Xiaohui,Chen Feng,Deng Pan,and Ma Shilong (State Key Laboratory of Software Development Environment(Beihang University),Beijing 100191) |
| |
| Abstract: | In the field of Internet of things,area management and emergency rescue,the requirement of large-scale device collaboration is growing. Aiming at the large-scale and strict timing constraint of the large-scale device collaboration systems,in this paper,a two-level task model for large-scale device collaboration is presented. The task model is made up of collaboration task and device task called collaboration subtask. Based on this task model,a large-scale device collaboration mechanism described with Pi-cal... |
| |
| Keywords: | large-scale device collaboration collaboration task model collaboration mechanism timing constraint Pi-calculus |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
