This paper presents the framework of switched probabilistic input/output automata (or switched PIOA), augmenting the original PIOA framework with an explicit control exchange mechanism. Using this mechanism, we model ...
详细信息
This paper presents the framework of switched probabilistic input/output automata (or switched PIOA), augmenting the original PIOA framework with an explicit control exchange mechanism. Using this mechanism, we model a network of processes passing a single token among them, so that the location of this token determines which process is scheduled to make the next move. This token structure therefore implements a distributed scheduling scheme: scheduling decisions are always made by the (unique) active component. distributed scheduling allows us to draw a clear line between local and global nondeterministic choices. We then require that local nondeterministic choices are resolved using strictly local information. This eliminates unrealistic schedules that arise under the more common centralized scheduling scheme. As a result, we are able to prove that our trace-style semantics is compositional. (c) 2006 Elsevier B.V. All rights reserved.
The proceedings contain 137 papers. The topics discussed include: the seven-level flying capacitor based ANPC converter for grid integration of utility-scale PV systems;new control method to increase power regulation ...
ISBN:
(纸本)9781467320238
The proceedings contain 137 papers. The topics discussed include: the seven-level flying capacitor based ANPC converter for grid integration of utility-scale PV systems;new control method to increase power regulation in a AC/AC quasi resonant converter for high efficiency induction cooker;DC voltage balancing control of half-bridge PWM inverter for linear compressor;impact of distributed generation penetration on grid current harmonics considering non-linear loads;harmonic impacts of inverter-based distributed generations in low voltage distribution network;understanding repetitive control and resonant control;generalized modulator for the seven-level flying capacitor based active neutral point clamped converter;modular ESS with second life batteries operating in grid independent mode;buck DC-DC converter: mathematical modeling and transient state analyzes;and a coupled-inductor Z-source based dc-dc converter with high step-up ratio suitable for photovoltaic applications.
This paper outlines a human-centered virtual machine of problem solving agents, intelligent agents, software agents and objects. It deals with issues related to high-assurance (e.g. reliability, availability real-time...
详细信息
ISBN:
(纸本)0818692219
This paper outlines a human-centered virtual machine of problem solving agents, intelligent agents, software agents and objects. It deals with issues related to high-assurance (e.g. reliability, availability real-time and others) through design of human-centered system architecture in which technology is a primitive. The human-centered virtual machine is based on a number of human-centered perspectives including the distributed cognition approach. The human-centered virtual machine has been applied in complex data intensive time critical problems like real-time alarm processing and fault diagnosis, air combat simulation and business (decision support).
This paper describes ViSMI, a software distributed shared memory system for cluster systems connected via InfiniBand. ViSMI implements a kind of home-based lazy release consistency protocol, which uses a multiple-writ...
详细信息
ISBN:
(纸本)0769522424
This paper describes ViSMI, a software distributed shared memory system for cluster systems connected via InfiniBand. ViSMI implements a kind of home-based lazy release consistency protocol, which uses a multiple-writer coherence scheme to alleviate the traffic introduced by false sharing. For further performance gain, InfiniBand features and optimized page invalidation mechanisms are applied in order to reduce synchronization overhead. First experimental results show that ViSMI introduces good performance comparable to similar software DSMs.
In this paper, a framework to integrate negotiation capabilities - particularly components implementing a negotiation strategy - into mobile agents is introduced. The framework is based on a plug-in mechanism enabling...
详细信息
ISBN:
(纸本)0769503403
In this paper, a framework to integrate negotiation capabilities - particularly components implementing a negotiation strategy - into mobile agents is introduced. The framework is based on a plug-in mechanism enabling a dynamic composition of negotiating agents out of pluggable modules. Strategy modules are further decomposed into parallel execution units based on the notion of an actor system.
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand and verbalize the regularities as abstract spatial objects evolving coherently and interacting with ea...
详细信息
ISBN:
(纸本)3540663320
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand and verbalize the regularities as abstract spatial objects evolving coherently and interacting with each other in the domain space. We describe a novel computational approach for identifying and extracting these abstract spatial objects through the construction of a hierarchy of spatial relations. We demonstrate the approach with an application to finding troughs in weather data sets.
Real-time acoustic scene analysis has several applications such as homeland security, surveillance, and monitoring. The development of a collaborative networking infrastructure can be valuable in scene analysis since ...
详细信息
ISBN:
(纸本)9781424416523
Real-time acoustic scene analysis has several applications such as homeland security, surveillance, and monitoring. The development of a collaborative networking infrastructure can be valuable in scene analysis since feature parameters can be extracted locally (at the node level) and combined at the base station. In this context, distributed and agile wireless sensor networks (WSNs) have been of particular interest recently. In this paper, we propose real-time voice scene characterization algorithms for use in a wireless sensor network. Voice scene analysis is accomplished using a speech discriminator, a gender classifier, a system for recognizing the state of emotion, and an estimator of the number of speakers in an area of interest. Real-time implementations of these algorithms are accomplished using Crossbow motes and TT DSP boards, configured to operate in a wireless sensor network. A series of experiments are presented that characterize the performance of the algorithms under different conditions.
Today's virtual environments are expected to be distributed to allow collaboration for common purposes. However, they must ensure a high level of quality of service (QoS) to the user, especially in an open context...
详细信息
3D technology is becoming increasingly popular and new applications emerge as well as low cost hardware to enable fast 3D rendering and processing. An emerging aspect of 3D technology is measuring real-world objects t...
详细信息
ISBN:
(纸本)9781617823381
3D technology is becoming increasingly popular and new applications emerge as well as low cost hardware to enable fast 3D rendering and processing. An emerging aspect of 3D technology is measuring real-world objects that have been digitized in the form of a 3D model. To this end, 3D scanning technology has been introduced to create 3D representations of objects with a minimal error. In this work, we present the process of digitizing a dental plaster imprint to be used in medical applications or e-learning courses. Simultaneously, the error that occurs in each 3D modeling step is presented and discussed. Then, practical 3D measurements of the object are conducted, using opensource 3D processing tools. Our goal is to create a digital repository on the Web which would facilitate dental applications and e-learning.
This paper presents an implementation model for the management functions of the Reference Model for Open distributed Processing (RM-ODP), where distributedapplications can be structured into capsules, clusters and ba...
详细信息
This paper presents an implementation model for the management functions of the Reference Model for Open distributed Processing (RM-ODP), where distributedapplications can be structured into capsules, clusters and basic engineering objects. A prototype of this model for the Sun OS environments, developed at UNICAMP - University of Campinas, is described.
暂无评论