The actor model is one of the main models for distributed computation. Timed Rebeca is a timed extension of the actor-based modeling language Rebeca. Although Rebeca is supported by a rich verification toolset, Timed ...
详细信息
A tag-based item recommendation method generates an ordered list of items, likely interesting to a particular user, using the users past tagging behaviour. However, the users tagging behaviour varies in different tagg...
详细信息
This study aims to present a new mathematical based evaluation method for service composition with respects to security aspects. Web service composition as complex problem solver in service computing has become one of...
详细信息
Tourists become increasingly dependent on mobile city guides to locate tourist services and retrieve information about nearby points of interest (POIs) when visiting unknown destinations. Although several city guides ...
详细信息
Over the recent past years research effort has been dedicated towards addressing a generic solution in System of Systems (SoS) control problems. Two are the main obstacles that have to be bypassed in such problem case...
详细信息
ISBN:
(纸本)9781467371605
Over the recent past years research effort has been dedicated towards addressing a generic solution in System of Systems (SoS) control problems. Two are the main obstacles that have to be bypassed in such problem cases, especially in real life applications, rendering the optimization problem into a complicated/challenging one: (i) modelling/simulation tools are usually used in order to construct an as-close-as-possible to reality accurate model, whose construction though requires a considerable amount of time and effort and (ii) furthermore, standard control system designs when applied to SoS exhibit poor performance as they are required to handle very high-dimensional problems. In this paper, we present a first attempt towards addressing these issues. More precisely, a new adaptive optimal control methodology is presented and evaluated. The main attributes of the proposed control methodology is its local nature with minimum requirements for coordination between the constituent system of the SoS and its model-free nature.
Advancing over up-to-date information theoretic results that assume symmetric correlation models, in this work we consider the problem of lossy binary source coding with side information, where the correlation is expr...
详细信息
ISBN:
(纸本)9781479975921
Advancing over up-to-date information theoretic results that assume symmetric correlation models, in this work we consider the problem of lossy binary source coding with side information, where the correlation is expressed by a generic binary asymmetric channel. Specifically, we present an in-depth analysis of rate distortion with side information available to both the encoder and decoder (conventional predictive), as well as the Wyner-Ziv problem for this particular setup. Prompted by our recent results for the Z-channel correlation case, we evaluate the rate loss between the Wyner-Ziv and the conventional predictive coding, as a function of the parameters of the binary asymmetric correlation channel.
Three-dimensional models have been used to aid medical diagnoses, using images generated by modalities like Magnetic Resonance Imaging. They can provide a more complete vision of objects since their depth is taken int...
详细信息
Three-dimensional models have been used to aid medical diagnoses, using images generated by modalities like Magnetic Resonance Imaging. They can provide a more complete vision of objects since their depth is taken into account. Content-based Image Retrieval (CBIR) has also been used to aid the diagnosis. One important step in Three-dimensional CBIR (Model Retrieva) systems is the comparison between two models by using a set of features extracted and stored in a database. In this paper we present a novel method to compare two models, using the Bipartite graphs technique, with the aim to improve the retrieval precision. This technique retrieves 3D medical models of the left ventricle in order to aid the diagnosis of Congestive Heart Failure. Results showed that the novel method improved the precision by 10% when compared to the Similarity Function of Euclidean and Manhattan distance. These results confirmed that bipartite graph techniques can be used to improve the accuracy of Model Retrieval systems.
The demand-side energy management of microgrids comprising of buildings of heterogeneous nature (residential, commercial, industrial, etc.) and thus exhibiting heterogeneous occupancy pattern, requires the development...
详细信息
ISBN:
(纸本)9781479917730
The demand-side energy management of microgrids comprising of buildings of heterogeneous nature (residential, commercial, industrial, etc.) and thus exhibiting heterogeneous occupancy pattern, requires the development of appropriate energy management systems (EMSs) that can integrate the maximum exploitation of the distributed energy resources like photovoltaic panels with the thermal comfort of the occupants. This paper presents a simulation-based optimization approach for the design of an EMS in grid-connected photovoltaic-equipped microgrids with heterogeneous buildings and occupancy schedules. The EMS optimizes a multi-objective criterion that takes into account both the energy cost and the thermal comfort of the aggregate microgrid. A three-building microgrid test case is used to demonstrate the effectiveness of the proposed approach: comparisons with alternative rule-based and optimization-based EMSs show that the proposed EMS strategy exploits the occupancy information to automatically change the energy demand of each building, resulting in improved energy cost and thermal comfort.
We present a novel hybrid voltage-multiplier circuit that can efficiently scavenge energy from a combination of a radio-frequency (RF) signal and a sensor signal which is a low-frequency, low-energy piezoelectric sign...
详细信息
暂无评论