移动情境感知系统的实时性与可靠性

项目名称： 移动情境感知系统的实时性与可靠性

项目编号： No.61370053

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 曹永知

作者单位： 北京大学

项目金额： 76万元

中文摘要： 近年来，随着传感器技术的发展，通过传感器获取的情境信息日益丰富，情境感知作为普适计算和物联网中融合物理空间与信息空间的关键技术受到了广泛关注。为了确保系统中计算实体能够精准地获取、传送、理解和使用情境信息，从而为用户提供更好的服务，以进程代数为代表的形式化方法被用于情境感知系统的研究。然而，随着信息技术的飞速发展，各个应用领域，尤其是安全关键系统和业务关键系统，对情境感知系统的实时性和可靠性要求越来越高。为此，本项目从情境感知系统基于进程代数的定性研究转向定量研究。我们建模和分析分布式应用场景下的移动情境感知系统，针对这类系统中情境和消息的实时性以及噪音环境下系统的可靠性需求，分别建立时间和噪音情境感知演算，进而定义并研究系统行为等价、时间性质验证、可靠性度量及改进等。同时，我们将研究成果应用于基于位置服务的建模与分析。本项目的研究有助于形式化描述、开发和验证情境感知系统的实时性和可靠性。

中文关键词： pi-演算；进程代数；情境（情景）感知演算；可靠性；不确定性推理

英文摘要： With the development of sensor technology, the context information obtained by sensors has become increasingly rich in recent years. As a result, context-awareness as a key technology for linking physical space to the cyberspace in Pervasive Computing and

英文关键词： pi-calculus；process algebra；calculus for context-awareness；reliability；reasoning about uncertainty