4 resultados para 184-1148
em Universidade do Minho
Resumo:
This paper presents a novel architecture of a bidirectional bridgeless interleaved converter for battery chargers of electric vehicles (EVs). The proposed converter is composed by two power stages: an ac-dc converter that is used to interface the power grid and the dc-link, and a dc-dc converter that is used to interface the dc-link and the batteries. The ac-dc converter is an interleaved bridgeless bidirectional boost-type converter and the dc-dc converter is a bidirectional buck-boost-type converter. The proposed converter works with sinusoidal grid current and with high power factor for all operating power levels, and in both grid-to-vehicle (G2V) and vehicle-to-grid (V2G) operation modes. In the paper is described in detail the proposed converter for EV battery chargers: the circuit topology, the principle of operation, the power control theory, and the current control strategy. Several simulation results for both G2V and V2G operation modes are presented.
Resumo:
New polymer electrolytes (PEs) based on chitosan and three ionic liquid (IL) families ([C2mim][CnSO3], [C2mim][CnSO4] and [C2mim][diCnPO4]) were synthesized by the solvent casting method. The effect of the length of the alkyl chain of the IL anion on the thermal, morphological and electrochemical properties of the PEs was studied. The solid polymer electrolytes (SPE) membranes were analyzed by differential scanning calorimetry (DSC), thermogravimetric analysis (TGA), X-ray diffraction (XRD), scanning electron microscopy (SEM), energy dispersive X-ray (EDX), polarized optical microscopy (POM), atomic force microscopy (AFM), complex impedance spectroscopy (ionic conductivity) and cyclic voltammetry (CV). The obtained results evidenced an influence of the alkyl chain length of the IL anion on the temperature of degradation, birefringence, surface roughness and ionic conductivity of the membranes. The DSC, XRD and CV results showed independency from the length of the IL-anion-alkyl chain. The PEs displayed an predominantly amorphous morphology, a minimum temperature of degradation of 135 °C, a room temperature (T = 25 °C) ionic conductivity of 7.78 × 10−4 S cm−1 and a wide electrochemical window of ∼ 4.0 V.
Resumo:
Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.
Resumo:
Haloplasmataceae is a family within the order Haloplasmatales, which currently includes one single genus and species: Haloplasma contractile. This family has unusual phenotypic features the most noticeable being a unique morphology and cellular contractility cycle and a distinct phylogenetic position between the Firmicutes and the Tenericutes (Mollicutes). Members of the Haloplasmataceae have been isolated from the upper sediments of a deep-sea anoxic brine in the Red Sea, but cultivation-independent studies have found related sequences in a wide range of biotopes including other extreme environments, contaminated soils and marine sediments, as well as intestinal samples. The isolation and description of new representatives of this family might therefore result in significant changes to the current description.