968 resultados para operational semantics


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Due to communication and technology developments, residential consumers are enabled to participate in Demand Response Programs (DRPs), control their consumption and decrease their cost by using Household Energy Management (HEM) systems. On the other hand, capability of energy storage systems to improve the energy efficiency causes that employing Phase Change Materials (PCM) as thermal storage systems to be widely addressed in the building applications. In this paper, an operational model of HEM system considering the incorporation of more than one type of PCM in plastering mortars (hybrid PCM) is proposed not only to minimize the customerâ s cost in different DRPs but also to guaranty the habitantsâ  satisfaction. Moreover, the proposed model ensures the technical and economic limits of batteries and electrical appliances. Different case studies indicate that implementation of hybrid PCM in the buildings can meaningfully affect the operational pattern of HEM systems in different DRPs. The results reveal that the customerâ s electricity cost can be reduced up to 48% by utilizing the proposed model.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia Mecatrónica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia de Gestão e Sistemas de Informação

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tese de Doutoramento em Biologia de Plantas

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Doctoral Programme in Telecommunication - MAP-tele

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tese de Doutoramento em Engenharia Civil

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Activation of the dorsomedial nucleus of the hypothalamus (DMH) by galanin (GAL) induces behavioural hyperalgesia. Since DMH neurones do not project directly to the spinal cord, we hypothesized that the medullary dorsal reticular nucleus (DRt), a pronociceptive region projecting to the spinal dorsal horn (SDH) and/or the serotoninergic raphe-spinal pathway acting on the spinal 5-HT3 receptor (5HT3R) could relay descending nociceptive facilitation induced by GAL in the DMH. Heat-evoked paw-withdrawal latency (PWL) and activity of SDH neurones were assessed in monoarthritic (ARTH) and control (SHAM) animals after pharmacological manipulations of the DMH, DRt and spinal cord. The results showed that GAL in the DMH and glutamate in the DRt lead to behavioural hyperalgesia in both SHAM and ARTH animals, which is accompanied particularly by an increase in heat-evoked responses of wide-dynamic range neurons, a group of nociceptive SDH neurones. Facilitation of pain behaviour induced by GAL in the DMH was reversed by lidocaine in the DRt and by ondansetron, a 5HT3R antagonist, in the spinal cord. However, the hyperalgesia induced by glutamate in the DRt was not blocked by spinal ondansetron. In addition, in ARTH but not SHAM animals PWL was increased after lidocaine in the DRt and ondansetron in the spinal cord. Our data demonstrate that GAL in the DMH activates two independent descending facilitatory pathways: (i) one relays in the DRt and (ii) the other one involves 5-HT neurones acting on spinal 5HT3Rs. In experimental ARTH, the tonic pain-facilitatory action is increased in both of these descending pathways.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An association between obesity and depression has been indicated in studies addressing common physical (metabolic) and psychological (anxiety, low self-esteem) outcomes. Of consideration in both obesity and depression are chronic mild stressors to which individuals are exposed to on a daily basis. However, the response to stress is remarkably variable depending on numerous factors, such as the physical health and the mental state at the time of exposure. Here a chronic mild stress (CMS) protocol was used to assess the effect of high-fat diet (HFD)-induced obesity on response to stress in a rat model. In addition to the development of metabolic complications, such as glucose intolerance, diet-induced obesity caused behavioral alterations. Specifically, animals fed on HFD displayed depressive- and anxious-like behaviors that were only present in the normal diet (ND) group upon exposure to CMS. Of notice, these mood impairments were not further aggravated when the HFD animals were exposed to CMS, which suggest a ceiling effect. Moreover, although there was a sudden drop of food consumption in the first 3 weeks of the CMS protocol in both ND and HFD groups, only the CMS-HFD displayed an overall noticeable decrease in total food intake during the 6 weeks of the CMS protocol. Altogether, the study suggests that HFD impacts on the response to CMS, which should be considered when addressing the consequences of obesity in behavior.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

When combined at particular molar fractions, sugars, aminoacids or organic acids a present a high melting point depression, becoming liquids at room temperature. These are called Natural Deep Eutectic Solvents – NADES and are envisaged to play a major role on the chemical engineering processes of the future. Nonetheless, there is a significant lack of knowledge of its fundamental and basic properties, which is hindering their industrial applications. For this reason it is important to extend the knowledge on these systems, boosting their application development [1]. In this work, we have developed and characterized NADES based on choline chloride, organic acids, amino acids and sugars. Their density, thermal behavior, conductivity and polarity were assessed for different compositions. The conductivity was measured from 0 to 40 °C and the temperature effect was well described by the Vogel-Fulcher-Tammann equation. The morphological characterization of the crystallizable materials was done by polarized optical microscopy that provided also evidence of homogeneity/phase separation. Additionally, the rheological and thermodynamic properties of the NADES and the effect of water content were also studied. The results show these systems have Newtonian behavior and present significant viscosity decrease with temperature and water content, due to increase on the molecular mobility. The anhydrous systems present viscosities that range from higher than 1000Pa.s at 20°C to less than 1Pa.s at 70°C. DSC characterization confirms that for water content as high as 1:1:1 molar ratio, the mixture retains its single phase behavior. The results obtained demonstrate that the NADES properties can be finely tunned by careful selection of its constituents. NADES present the necessary properties for use as extraction solvents. They can be prepared from inexpensive raw materials and tailored for the selective extraction of target molecules. The data produced in this work is hereafter importance for the selection of the most promising candidates avoiding a time consuming and expensive trial and error phase providing also data for the development of models able to predict their properties and the mechanisms that allow the formation of the deep eutectic mixtures.