The requirement for modifying system structure during system execution is specified by dynamic software architectures. The system architecture style should remain one style or transform within a scope so that some con...
详细信息
The requirement for modifying system structure during system execution is specified by dynamic software architectures. The system architecture style should remain one style or transform within a scope so that some constraints need to be imposed on during the system execution. Our work expands such an idea along two directions in the setting of formalism. The first direction is to model the system by a graph-based calculus stressing the structure. The other direction lies in that we tailor spatial logic to be a suitable logic as the system specification for structure. The model and specification are basis for the model checking algorithm that is to verify whether the system evolution satisfies some structure constraints. We invite a master-slave architecture style as a running example from the beginning and throughout the paper to demonstrate our approach. Such work can be seen as the basis of the structure analysis for architectures.
Wireless sensor networks have become a very attractive research topic in recent years. Many academic and professional research groups made efforts to construct operative hardware devices and sophisticated software to ...
详细信息
ISBN:
(纸本)0769520871
Wireless sensor networks have become a very attractive research topic in recent years. Many academic and professional research groups made efforts to construct operative hardware devices and sophisticated software to meet the special conditions in their projects. But still there has been little done to create a general structure for smart sensors to cooperate and to offer their services to human or software clients. In this paper we present first results of our investigations in this topic. As a test scenario and source of inspiration we set up a sensor network prototype in an office situation, where the physical environment should be measured and adjusted according to specific conditions. In particular the light and humidity state of potted plants within an office should be autonomously adjusted to the plants' special needs as most research associates in our lab forget to care for their plants on a regular basis. On the basis of this prolific scenario we introduce a first stage middleware system architecture providing service distribution and accomplishment within wireless sensor networks. Core components of the architecture have been implemented in hardware and software to show the feasibility and abilities of our approach.
The proceedings contains 136 papers from the The 24th ieeeinternationalconference on distributedcomputingsystems Workshops. The topics discussed include: automatic group protocol for distributedsystems;a new medi...
详细信息
The proceedings contains 136 papers from the The 24th ieeeinternationalconference on distributedcomputingsystems Workshops. The topics discussed include: automatic group protocol for distributedsystems;a new media access control protocol for simple hop WDM networks;distributed index updating method for intranet information retrieval;an agent-based consumer recommendation mechanism;pocket SCORM;a general architecture for wireless sensor networks: first steps;log-structured storage for efficient weakly-connected replication and autonomous and proactive adjustment of update allowance in autonomous decentralized database system.
Two important objectives in processing a continuous monitoring queries (CMQ) are: (1) to minimize the processing overheads, especially in communication and query evaluation;and (2) to provide temporally consistent sen...
详细信息
Two important objectives in processing a continuous monitoring queries (CMQ) are: (1) to minimize the processing overheads, especially in communication and query evaluation;and (2) to provide temporally consistent sensor data for query evaluation. The first one is important to normal operations of sensor devices while the second one is to ensure the correctness of the query results. We propose periodic pushing schemes, called PerPush and ConPush, to aggregate the sub-query results of a CMQ. To further improve the performance, we propose the Sequential Pushing (SeqPush) scheme for aggregating the sensor data values generated by the sensor nodes which are close to each other, The pushing path in SeqPush follows a sequential pattern according to the semantic of the queries and the results of evaluation of the sub-queries at the nodes participating in the CMQ.
One important application of wireless sensor networks is tracking moving objects. The recent progress has made it possible for tiny sensors to have more computing power and storage space. Therefore, a sensor network c...
详细信息
We describe an algorithm and experimental work for vehicle detection using sensor node data. Both acoustic and magnetic signals are processed for vehicle detection. We propose a real-time vehicle detection algorithm c...
详细信息
We describe an algorithm and experimental work for vehicle detection using sensor node data. Both acoustic and magnetic signals are processed for vehicle detection. We propose a real-time vehicle detection algorithm called the adaptive threshold algorithm (ATA). The algorithm first computes the time-domain energy distribution curve and then slices the energy curve using a threshold updated adaptively by some decision states. Finally, the hard decision results from threshold slicing are passed to a finite-state machine, which makes the final vehicle detection decision. Real-time tests and offline simulations both demonstrate that the proposed algorithm is effective.
Data distribution in embedded real-time sensor networks requires new protocols and programming environments that achieve time-sensitive message delivery and provide useful abstractions to the application programmer At...
详细信息
ISBN:
(纸本)0769519210
Data distribution in embedded real-time sensor networks requires new protocols and programming environments that achieve time-sensitive message delivery and provide useful abstractions to the application programmer Attainment of these goals requires changes to multiple layers of the communication protocol stack. In this paper we review a protocol suite developed by the authors for data communication in embedded sensor networks. It takes into account time constraints and exports attribute-based connections that are tightly integrated with properties of the monitored environment. A programming language is described that allows external physical objects to be represented as first class abstractions in the computing system. The language facilitates writing monitoring applications. The system was implemented on a prototypical sensor network based on MICA motes.
The architecture of the acquisition image supporting flow control of the projector is presented. It is achieved by a simple filtering of a periodic sample string, which results in a reduction of updates of high-level ...
详细信息
The architecture of the acquisition image supporting flow control of the projector is presented. It is achieved by a simple filtering of a periodic sample string, which results in a reduction of updates of high-level concrete images. It is shown that the reduction of the observation flow performed by the filtering action equals to the ratio of the maximum and the average of the absolute value of the first signal derivative in relation to time. An example of the event-triggered signal monitoring in LonWork/EIA-709 technology as a built-in feature of an intelligent sensor device is also presented. The Neuron C code, that exemplifies the "send on delta" technique implementation in a sensor node's application program, is shown.
A large number of sensors networked together form selforganizing pervasive systems that provide the basis for implementation of several applications involving distributed, collaborative computations. Energy dissipatio...
详细信息
A large number of sensors networked together form selforganizing pervasive systems that provide the basis for implementation of several applications involving distributed, collaborative computations. Energy dissipation is a critical issue for these networks, as their life-time is limited by the battery power of the sensors. In this paper, we focus on design of an energy-balanced, energy-optimal algorithm for sorting in a single-hop sensor network. Energy optimality implies that the overall energy dissipation in the system is minimized. Energy-balancedness ensures that all the sensors spend asymptotically equivalent amount of energy in the system. Uniform energy dissipation is desirable as it enables the network to remain fully functional for the maximum time. We demonstrate that given a single-hop, singlechannel network of n randomly distributedsensors, sorting can be performed in O(n log n) time and energy, with no sensor being awake for more than O(log n) time steps. In a p-channel network, where p ∓ n 1-ϵ for 0 < ϵ ∓ 1, sorting can be performed in O(n = p log n) time and O(n log n) energy with no node being awake for more than O(log n) time steps.
暂无评论