|
|||||
|
|
| 普适环境中上下文感知的带演算的Bigraphs描述 | |
| 引用本文： | 吴怀广,姬厚灵,毋国庆,苗明.普适环境中上下文感知的带演算的Bigraphs描述[J].计算机科学,2012,39(1):109-114. |
| 作者姓名： | 吴怀广 姬厚灵 毋国庆 苗明 |
| 作者单位： | 1. 郑州轻工业学院计算机与通信工程学院 郑州450002 2. 武汉大学计算机学院 武汉430079 3. 内蒙古包头医学院计算机科学与技术系 包头014040 |
| 基金项目： | 国家高技术研究发展计划项目 |
| 摘 要： | 针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。 |
| 关 键 词： | Bigraphs理论 Bigraphs反应系统 上下文感知 形式化模型 |
Calculational Bigraphcial Model of Context-aware Systems in Ubiquitous Computing Environment |
|
| WU Huai-guang , JI Hou-ling , WU Guo-qing , MIAO Yue.Calculational Bigraphcial Model of Context-aware Systems in Ubiquitous Computing Environment[J].Computer Science,2012,39(1):109-114. | |
| Authors: | WU Huai-guang JI Hou-ling WU Guo-qing MIAO Yue |
| Affiliation: | Yue3 (College of Computer and Communication Engineering,Zhengzhou University of Light Industry,Zhengzhou 450002,China)1(School of Computer Science,Wuhan University,Wuhan 430079,China)2(Department of Computer Science,Baotou Medical College,Baotou 014040,China)3 |
| Abstract: | |
| Keywords: | Bigraphs theory Bigraphs reactive systems Context aware Formal models |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |