Search results for "Transformer"

showing 10 items of 96 documents

Sound and reusable components for abstract interpretation

2019

Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…

SoundnessComputer scienceProgramming language020207 software engineering02 engineering and technologyStatic analysisReaching definitionReusecomputer.software_genreAbstract interpretation020204 information systems0202 electrical engineering electronic engineering information engineeringArrowHaskellSafety Risk Reliability and QualitycomputerSoftwarecomputer.programming_languageTransformer (machine learning model)Proceedings of the ACM on Programming Languages
researchProduct

A noise analyzer for monitoring static electrification current

2005

Abstract This paper presents a static electrification current signal analyzer used for measuring and processing of the variable component of the changes in electrostatic charge that occur on a solid-body/liquid boundary interface. Due to high sensitivity and low uncertainty, the analyzer allows a precise evaluation of the phenomenon generated. The device operates in a spinning-disk system. The tests carried out indicate that it is possible to measure random components which depend, to a large extent, on hydrodynamic conditions and on the properties of the liquid phase. The device can be applied to the testing of transformer oils. It can be also used for measurements of other liquids having …

Spectrum analyzerEngineeringTransformer oilbusiness.industryAcousticsLiquid phaseConductivitySignal analyzerCondensed Matter PhysicsElectric chargeSurfaces Coatings and FilmsElectronic Optical and Magnetic Materialslaw.inventionElectrificationlawElectronic engineeringElectrical and Electronic EngineeringTransformerbusinessBiotechnologyJournal of Electrostatics
researchProduct

Voltage-Based Droop Control of Electric Vehicles in Distribution Grids under Different Charging Power Levels

2021

If left uncontrolled, electric vehicle charging poses severe challenges to distribution grid operation. Resulting issues are expected to be mitigated by charging control. In particular, voltage-based charging control, by relying only on the local measurements of voltage at the point of connection, provides an autonomous communication-free solution. The controller, attached to the charging equipment, compares the measured voltage to a reference voltage and adapts the charging power using a droop control characteristic. We present a systematic study of the voltage-based droop control method for electric vehicles to establish the usability of the method for all the currently available resident…

TechnologyControl and Optimizationbusiness.product_categoryComputer science020209 energyEnergy Engineering and Power Technology02 engineering and technologyAutomotive engineeringlaw.inventionDemand responseHardware_GENERALControl theorylawElectric vehicle0202 electrical engineering electronic engineering information engineeringdistribution gridsVoltage droopElectrical and Electronic EngineeringTransformerEngineering (miscellaneous)electric vehiclesdemand side managementRenewable Energy Sustainability and the EnvironmentTvoltage-based droop control021001 nanoscience & nanotechnologyGridVDP::Teknologi: 500demand responsevoltage violations0210 nano-technologybusinessVoltage referenceEnergy (miscellaneous)VoltageEnergies
researchProduct

Conceptual Design and Modeling of the Toroidal Field Coils Circuit of DTT

2020

Italian Divertor Tokamak Test (DTT) facility is part of the general European programme on the fusion research. Its specific role is to cover the gap on the power exhaust for the future DEMOstration power plant (DEMO). This tokamak will be built and installed in Italy at Frascati ENEA laboratories. The paper describes the Toroidal Field (TF) coils circuit powered by a TF power supply that feeds in series 18 toroidal superconducting magnets and the development of three software models in order to validate the adopted technical solutions in term of maximum voltage and maximum current stress on each power device/component, due to both the operating and fault conditions, and across TF coils.

TokamakToroidPower stationComputer scienceNuclear engineeringDivertorToroidal Field Superconducting MagnetsCrowbar ProtectionSuperconducting magnetFault (power engineering)Converter Transformer01 natural sciences010305 fluids & plasmaslaw.inventionSettore ING-IND/33 - Sistemi Elettrici Per L'EnergiaSettore ING-IND/31 - ElettrotecnicaAC/DC ConverterConceptual designlaw0103 physical sciences010306 general physicsVoltage
researchProduct

DC Bias Abatement in Dual Active Bridge Converter using Covalent Active and Passive Components

2022

The Dual Active Bridge (DAB) converter is the most attractive bidirectional DC-DC converter topology in the distribution network. However, the DC bias is the most common issue in the dual active bridge converter due to the sudden change in internal or external phase shift angles to regulate the power signal. Consequently, it will increase conduction losses, a core saturation problem of High-Frequency Transformer (HFT), and loss of Zero Voltage Switching (ZVS) operation. Therefore, this paper presents the DC bias abatement in the DAB converter using covalent active and passive components to alleviate these problems. The proposed method employs the series capacitor in the windings of HFT as t…

Transient DC biasSolid State TransformerDC-DC converterDual Active Bridge ConverterCo-ordinate controlSettore ING-IND/32 - Convertitori Macchine E Azionamenti ElettriciSteady state DC biasSettore ING-INF/01 - Elettronica2022 IEEE 16th International Conference on Compatibility, Power Electronics, and Power Engineering (CPE-POWERENG)
researchProduct

ECT of ethanol and hexane mixtures in the spinning disk system

2007

The paper presents the research results of electrostatic charging tendency (ECT) of ethanol and hexane mixtures, a liquid of a simple chemical structure and high purity (pro analysis). The research work was carried out in a spinning disk system, where the factors influencing the value of the electrification current registered were the composition of the mixture and the rotational speed of the disk. The research results showed that the biggest ECT changes occur in the range of up to 10% of ethanol content in hexane and the electrification current characteristic has a visible maximum for the mixture, the contents of which constitute 95% of hexane volume and 5% of ethanol by volume. In the nex…

Work (thermodynamics)EthanolTransformer oilAnalytical chemistryRotational speedCondensed Matter PhysicsSurfaces Coatings and FilmsElectronic Optical and Magnetic MaterialsHexanechemistry.chemical_compoundchemistryVolume (thermodynamics)Spinning diskElectrical and Electronic EngineeringCurrent (fluid)BiotechnologyJournal of Electrostatics
researchProduct

Can SegFormer be a True Competitor to U-Net for Medical Image Segmentation?

2023

The U-Net model, introduced in 2015, is established as the state-of-the-art architecture for medical image segmentation, along with its variants UNet++, nnU-Net, V-Net, etc. Vision transformers made a breakthrough in the computer vision world in 2021. Since then, many transformer based architectures or hybrid architectures (combining convolutional blocks and transformer blocks) have been proposed for image segmentation, that are challenging the predominance of U-Net. In this paper, we ask the question whether transformers could overtake U-Net for medical image segmentation. We compare SegFormer, one of the most popular transformer architectures for segmentation, to U-Net using three publicl…

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Medical image segmentation UNet transformersUNettransformersMedical image segmentation
researchProduct

A lossless current sensing technique for flyback converters

2009

Regardless of the feedback control, almost all converters require input or output current sense for overcurrent protection. If a current mode control is implemented, high accuracy is also required. The optimal current sensing method shows the highest accuracy and the lowest power dissipation. In this paper, a lossless and accurate current sensing technique for Flyback converters is proposed. An RC network is parallel connected with the primary MOSFET and the voltage signal across the sense capacitor accurately reproduces the magnetizing current waveform. The RC technique benefits from all the advantages of the most common current sensing techniques currently applied to Flyback converters, a…

business.industryFlyback converterComputer scienceFlyback transformerElectrical engineeringSense (electronics)ConvertersCurrent transformerOvercurrentlaw.inventionCapacitorlawMOSFETElectronic engineeringResistorPower MOSFETbusinessRC circuitPulse-width modulationVoltage2009 35th Annual Conference of IEEE Industrial Electronics
researchProduct

Experimental Evaluation on Narrow Band Power Line Communication in Medium and Low Voltage Smart Grids

2013

The aim of this work is to perform a feasibility study on the power line communication for the development of a new generation of interface devices (IDs) for smart grid and energy storage applications. More in detail, this paper deals with one of the most important issues on this topic, which is the communication system. Among the existing communication technologies, the study is focused on power line communications (PLCs). After an analysis of the state of the art in the field, the main aspects are analyzed, concerning the open issues on the use of PLCs, especially for medium voltage (MV) and low voltage (LV) systems. In this work the use of PLC in MV-LV networks is investigated, by means …

communication systems power system communication power transformers communication equipment testing narrow band power line communication attenuation smart gridsSettore ING-INF/07 - Misure Elettriche E Elettroniche
researchProduct

Considering safety issues in minimum losses reconfiguration for MV distribution networks

2009

This paper offers a new perspective over the traditional problem of the multiobjective optimal reconfiguration of electrical distribution systems in regular working state. The issue is indeed here formulated including also safety issues. Indeed, dimensioning the earth electrodes of their own secondary substations, distribution companies take into account the probable future configurations of the network due to transformations of overhead lines into cable lines or realization of new lines. On the contrary, they do not consider that, during normal working conditions. the structure of the network can be modified for long periods as a consequence of reconfiguration manoeuvres, with differences …

earthing systemEngineeringreconfigurationbusiness.industryEvolutionary algorithmEnergy Engineering and Power TechnologyControl reconfigurationEarthing systemFuzzy logicReliability engineeringlaw.inventionSettore ING-IND/33 - Sistemi Elettrici Per L'Energiamultiobjective optimizationelectrical safetylawElectronic engineeringElectrical and Electronic EngineeringTransformerbusinessDimensioningRemote controlVoltageEuropean Transactions on Electrical Power
researchProduct