基于分布谓词检测的环境显式化建模与处理技术研究

项目名称： 基于分布谓词检测的环境显式化建模与处理技术研究

项目编号： No.61272047

项目类型： 面上项目

立项/批准年度： 2013

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

项目作者： 黄宇

作者单位： 南京大学

项目金额： 80万元

中文摘要： 为了支持面向开放环境的网构软件系统的构建，本项申请研究开放环境显式化建模与处理技术，引入了分布谓词检测技术作为基本技术手段，从环境状态及其变化建模、环境时序特性规约、环境特性运行时检测这三个方面展开深入地研究。并在此基础上研究环境显式化建模与处理支撑平台，为网构软件系统提供开发和运行支持。 本项申请在基本问题和技术路线方面，延续上一期青年基金的初步探索；同时在上一期项目取得单点技术突破的基础上，进一步研究如何形成一套系统化的分布异步环境感知方法；为环境感知应用的构建提供全面充分的支持。

中文关键词： 分布环境；分布谓词检测；环境感知中间件；网构软件；

英文摘要： In order to support the design and implementation of Internetware systems in open environments, this proposal studies the explicit modeling and processing of environment context. Predicate detection is introduced as the basic approach to environment context modeling and processing, and three key aspects are explored: modeling of environment state evolution, specification of temporal properties of environment, and detection of specified environment properties. Middleware infrastructure for explicit environment modeling and processing is also developed to support the development and operation of Internetware systems. This proposal inherits the basic research problem and technical approach of our last project. Based on the techniques developed in our last project, this proposal aims to develop a systematic framework of techniques for explicit modeling and processing of environment context.

英文关键词： distributed environment；predicate detection；situation-aware middleware；Internetware；