中国博士后科学基金(20070421121)
- 作品数：3 被引量：10H指数：2
- 相关作者：刘宇于振华蔡远利付晓纪明更多>>
- 相关机构：西安应用光学研究所西安交通大学空军工程大学更多>>
- 发文基金：中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种无线传感器网络形式化模型及应用研究被引量：3
- 2008年
- 由于无线传感器网络(Wireless sensor networks,WSN)开发缺少一种通用的理论模型,从多Agent系统的角度,以面向对象Petri网(Object-Oriented Petri nets,OPN)为语义基础,建立了WSN形式化模型(Wireless Sensor Networks Model,WSNM)。在WSNM中,从微观和宏观层次上研究了传感器节点Agent模型、网络通讯模型。WSNM能描述系统的静态和动态语义,可以形象、直观地刻画系统的整体和个体特性,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证。最后将WSNM应用于基于WSN的目标跟踪系统的建模与开发中。
- 付晓于振华刘宇
- 关键词：无线传感器网络多AGENT系统PETRI网
- 面向目标跟踪的自组织无线声学传感器网络研究
- 在每一个传感器节点上配置一个声音传感器,设计了一个用于目标跟踪的自组织无线声学传感器网络。首先选择CSP广义互相关法作为时延估计算法,并改进球形插值法用于声源定位,减小算法复杂度。利用卡尔曼滤波对目标状态进行估计,从而可...
- 于振华蔡远利
- 关键词：无线传感器网络目标跟踪时延估计声源定位自组织
- 文献传递
- 无线传感器网络中一种能量高效的分布式分簇算法被引量：2
- 2009年
- 提出了一种适用于无线传感器网络的能量高效的分布式分簇算法(EEDC),该算法使具有较高剩余能量及距离基站较近的节点有更大的机会成为簇头.理论分析表明该算法通信开销较小,而且有效地均衡了节点的能量消耗.为了确保EEDC的正确性、完整性和可靠性,利用形式化方法——着色网对其关键属性进行建模和分析.仿真结果表明,EEDC有效地延长了网络生命周期,提高了网络的能耗效率.
- 于振华刘宇纪明蔡远利
- 关键词：无线传感器网络分簇着色网能量均衡
- 基于扩展合同网协议的无线传感器网络协作方法研究被引量：5
- 2009年
- 提出一种适用于无线传感器网络协作的扩展合同网协议.该协议在传统合同网协议中引入了信任度、阈值和优先级等策略,减少了无线传感器网络的通信开销,有效均衡了节点的能量消耗.为确保扩展合同网协议的完整性、正确性和可靠性,利用面向对象Petri网对其进行建模、分析和验证.仿真结果表明,扩展合同网协议有效地延长了网络生命周期,提高了网络的能耗效率,网络完成任务数也有了显著的增加.
- 于振华刘宇蔡远利
- 关键词：无线传感器网络合同网PETRI网
