无线传感器网络中信息获取关键问题的研究

无线传感器网络是信息技术研究领域的一个重要方向,具有广阔的应用前景。给出了无线传感器网络信息获取的体系结构,重点论述了信息获取的关键问题,分析了其不足以及发展方向。特别总结出网络通信的重要问题,并进行了详细的介绍。     

环境监测无线传感器网络节点能源技术

节点能量提供与管理技术是无线传感器网络的关键技术之一。针对环境监测应用对无线传感器网络的特殊要求．提出了节点能源设计的基本原则，在此基础上，对可用的供电电池相关性能进行了比对。研究了适于环境监测的能源补充技术．设计了一套实用的太阳能能源补充系统，与单纯电池供电系统的供电能力进行了比对实验。最后讨论了降低节点能耗的相关技术。     

矿山环境监测无线传感器网络节点总体设计

当前矿山环境监测系统大多采用存在监测盲区的有线网络。为解决这一问题,设计了无线传感器网络监测系统,利用其节点功耗低、工作时间长、成本低、能自组织地通信以及在危险区域和大面积监测中容易布置等特点,买现低成本连续在线监测。     

基于无线传感器网络的精准农业环境监测系统设计

在充分研究现有农业环境监测系统的基础上,将基于ZigBee 的无线传感器网络技术应用于精准农业环境监测领域,给出了农业环境监测系统的组网方案,重点设计了基于MSP4300 和CC2420 芯片的传感器节点硬件结构和软件流程,系统可以对目标监测区内的温度、湿度、光照度等农业环境信息进行快速、可靠的远程采集和传输。解决了传统农业环境监测信息存储的有限性和移动测量的不便性等问题,为精准农业环境监测提供了一种有效的解决方案。     

利用GIS和无线传感器网络的环境监测系统

环境传感器网络适于用来研究灾害反映系统得的基本过程和发展状况。GIS是可以用来集成、存储和分析以及可视化显示地理相关数据的计算机系统。无线传感器网络是利用传感器来监测物理和环境信息的自动互联的空间分布的电子设备。本文描述了这种技术的有机结合,用来实时监测城市汽车尾气的监测系统,可以创建与GIS技术结合的城市汽车尾气污染的实时监测地图。     

无线传感器网络的容错问题与研究进展

在简要介绍无线传感器网络研究现状的基础上,本文重点展开了对无线传感器网络容错特征、需求与解决方法的论述;从整体的角度对无线传感器网络物理层、链路层、网络层、传输层、应用层等不同抽象级别的容错问题进行了归纳;同时,对各种容错技术的细节进行了深入的剖析,并综述了相关研究的当前进展;总结了各种容错技术的关键,为进一步研究提供了新思路。     

新型无线传感器网络

基于ZigBee技术,并采用星型网络拓扑结构与STOP工作模式,提出了一种新型无线传感器网络,不仅降低了每个传感器节点的功耗、延长了传感器节点的寿命,而且加入了循环冗余校验CRC机制和加密算法,从而更好地增加了系统的可靠性及安全性。     

无线传感器网络中的节点协作算法研究

由于受传感器节点存储能量、通信带宽等因素的制约,传统高功耗网络协议无法直接应用在无线传感器网络中.本文根据无线传感器网络的特点,以信息引导技术为研究方法,以最小化能耗为目标,提出了基于信息有效性函数的传感器节点信息协作算法,并通过理论及仿真计算验证该算法的有效性.     

无线传感器网络攻击浅析

无线传感器网络（WSN）综合了传感器技术、嵌入式计算技术、现代网络及无线通信技术、分布式信息处理技术等,在军事国防、医疗护理、森林防火、环境监测、智能家居等众多领域都有非常重要的科研价值。     

无线传感器网络概述

无线传感器网络已经被广泛的应用到很多领域,如军事、医疗、环境监测、空间探索等,它综合计算机技术、传感器技术、信息处理技术和通信技术为一体,无线传感器网络的构成及应用场景与传统网络有较大的差异,无线传感器网络的应用前景非常广阔。     

无线传感器网络

无线传感器网络被誉为21世纪四大高新技术之一。文章对无线传感器网络与传统网络的区别、技术特点和体系结构进行了探讨,重点针对无线传感器网络的现有各层协议进行了分析比较,最后,针对无线传感器网络发展所需的关键技术,提出来来我们重点研究的几个亟待解决的技术问题。     

无线传感器网络

集成了传感器、微机电系统和网络三大技术而形成的传感器网络是一种全新的信息获取和处理技术.在简要介绍传感器网络体系结构的基础上,分析和展望了一些有价值的应用领域.结合已有研究,总结并详细阐述了包括低功耗路由技术和介质访问控制方法等在内的热点研究问题.最后,针对应用需求,提出了几点研究设想.     

无线传感器网络研究综述

无线传感器网络作为计算、通信和传感器三项技术相结合的产物,是一种全新的信息获取和处理技术。在简要介绍无线传感器网络体系结构的基础上,分析和展望了一些有价值的应用领域。结合已有研究,从数据采集、数据计算和路由协议三方面介绍无线传感器网络的研究现状,并着重介绍了目前无线传感器网络采用的路由技术,最后指出了下一步的研究方向。     

无线传感器网络攻击研究

针对无线传感器网络可能遭受的攻击,根据OSI参考模型,分别对无线传感器网络的攻击进行了分层研究并总结攻击模式,为确保网络正常运行和使网络性能损失最小化提供一定的参考与帮助.     

无线传感器网络透视

无线传感器网络是一种由低功耗的微小传感器组成的密集的无线网络,主要用于感知和传输环境数据。它能够更精确地进行远距离自然环境的监视和控制,广泛应用于环境监控、军事目的和在无人区收集传感信息。由于传感器节点便宜,而且使用自组网方式进行部署,所以它们将受限于能量和计算。本文对传感器网络结构、路由、媒体访问控制、定位和安全及其最新研究情况给出了一个综述。     

无线传感器网络研究综述

无线传感器网络作为微机电系统、网络和传感器三项技术相结合的产物,是一种全新的信息获取和处理技术,可以广泛运用于各个领域,有着极大的运用前景,烧结保温空心砌块就是其中一例.首先对无线传感器网络的基本概念、体系结构做了概括性介绍,然后分析了无线传感器网络研究中的热点问题,并展望了无线传感器网络的前景.     

Preface: Special Issue on Interpolation

This paper presents a mechanisation of psi-calculi, a parametric framework for modelling various dialects of process calculi including (but not limited to) the pi-calculus, the applied pi-calculus, and the spi calculus. psi-calculi are significantly more expressive, yet their semantics is as simple in structure as the semantics of the original pi-calculus. Proofs of meta-theoretic properties for psi-calculi are more involved, however, not least because psi-calculi (unlike simpler calculi) utilise binders that bind multiple names at once. The mechanisation is carried out in the Nominal Isabelle framework, an interactive proof assistant designed to facilitate formal reasoning about calculi with binders. Our main contributions are twofold. First, we have developed techniques that allow efficient reasoning about calculi that bind multiple names in Nominal Isabelle. Second, we have adopted these techniques to mechanise substantial results from the meta-theory of psi-calculi, including congruence properties of bisimilarity and the laws of structural congruence. To our knowledge, this is the most extensive formalisation of process calculi mechanised in a proof assistant to date.