摘要
由于无线传感器网络(Wireless sensor networks,WSN)开发缺少一种通用的理论模型,从多Agent系统的角度,以面向对象Petri网(Object-Oriented Petri nets,OPN)为语义基础,建立了WSN形式化模型(Wireless Sensor Networks Model,WSNM)。在WSNM中,从微观和宏观层次上研究了传感器节点Agent模型、网络通讯模型。WSNM能描述系统的静态和动态语义,可以形象、直观地刻画系统的整体和个体特性,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证。最后将WSNM应用于基于WSN的目标跟踪系统的建模与开发中。
To address the lack of a general model for WSN development, a wireless sensor networks model (WSNM) is presented from the point of view of multi-agent systems, in which Object-Oriented Petri nets (OPN) are adopted as formal theory bases. Each sensor node is regarded as an agent, and WSNM can describe the sensor node agent model and communication model from the microscopic and macroscopic level respectively. WSNM can depict the static and dynamic semantics, visually and intuitively model the overall and individual characteristics of the networks. Moreover, WSNM can be simulated, analyzed, verified and validated by the well-established analysis methods and supporting tools of Petri nets. Finally, WSNM is effectively employed to develop the target tracking prototype based on WSN.
出处
《传感技术学报》
CAS
CSCD
北大核心
2008年第9期1623-1628,共6页
Chinese Journal of Sensors and Actuators
基金
中国博士后科学基金资助(20070421121)