一种无线传感器网络形式化模型及应用研究

被引：3

作者：

付晓 ^{[1
]}

于振华 ^{[1
,2
]}

刘宇 ^{[3
]}

机构：

[1] 空军工程大学电讯工程学院

[2] 西安交通大学电子与信息工程学院

[3] 西安应用光学研究所

来源：

传感技术学报 | 2008年 / 09期

基金：

中国博士后科学基金;

关键词：

无线传感器网络; 多Agent系统; Petri网; 建模;

D O I：

暂无

中图分类号：

TP212.9 [传感器的应用]; TN929.5 [移动通信];

学科分类号：

080202 ; 080402 ; 080904 ; 0810 ; 081001 ;

摘要：

由于无线传感器网络(Wireless sensor networks,WSN)开发缺少一种通用的理论模型,从多Agent系统的角度,以面向对象Petri网(Object-Oriented Petri nets,OPN)为语义基础,建立了WSN形式化模型(Wireless Sensor Networks Model,WSNM)。在WSNM中,从微观和宏观层次上研究了传感器节点Agent模型、网络通讯模型。WSNM能描述系统的静态和动态语义,可以形象、直观地刻画系统的整体和个体特性,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证。最后将WSNM应用于基于WSN的目标跟踪系统的建模与开发中。

引用

页码：1623 / 1628

页数：6

共 11 条

[1] 一种无线传感器网络的多Agent系统模型 [J].