Search results for "automatic"

showing 10 items of 730 documents

Robust control in uncertain multi-inventory systems and consensus problems

2008

Abstract We consider a continuous time linear multi–inventory system with unknown demands bounded within ellipsoids and controls bounded within polytopes. We address the problem of ∈-stabilizing the inventory since this implies some reduction of the inventory costs. The main results are certain conditions under which ∈-stabilizability is possible through a saturated linear state feedback control. The idea of this approach is similar to the consensus problem solution for a network of continuous time dynamic agents, where each agent evolves according to a first order dynamics has bounded control and it is subject to unknown but bounded disturbances. In this context, we derive conditions under…

LMI; robust control; inventory systems; consensusMathematical optimizationMulti-agent systemMulti-agent systemsPolytopeContext (language use)EllipsoidCooperative systemsReduction (complexity)inventory systemsConsensusSettore ING-INF/04 - AutomaticaconsensusControl theoryBounded functionLMI robust control inventory systems consensusLMIRobust controlSettore MAT/09 - Ricerca OperativaDistributed control and estimationrobust controlCooperative systems; Distributed control and estimation; Multi-agent systemsMathematics
researchProduct

Pure Functions in C: A Small Keyword for Automatic Parallelization

2017

AbstractThe need for parallel task execution has been steadily growing in recent years since manufacturers mainly improve processor performance by increasing the number of installed cores instead of scaling the processor’s frequency. To make use of this potential, an essential technique to increase the parallelism of a program is to parallelize loops. Several automatic loop nest parallelizers have been developed in the past such as PluTo. The main restriction of these tools is that the loops must be statically analyzable which, among other things, disallows function calls within the loops. In this article, we present a seemingly simple extension to the C programming language which marks fun…

LOOP (programming language)Computer sciencemedia_common.quotation_subject020209 energy02 engineering and technologyParallel computingcomputer.software_genreToolchainTheoretical Computer ScienceTask (computing)Automatic parallelizationSide effect (computer science)Parallel processing (DSP implementation)020204 information systemsTheory of computationParallelism (grammar)0202 electrical engineering electronic engineering information engineeringPolytope model020201 artificial intelligence & image processingCompilerFunction (engineering)computerSoftwareInformation Systemsmedia_common2017 IEEE International Conference on Cluster Computing (CLUSTER)
researchProduct

Automatic detection and agronomic characterization of olive groves using high-resolution imagery and LIDAR data

2014

The Common Agricultural Policy of the European Union grants subsidies for olive production. Areas of intensified olive farming will be of major importance for the increasing demand for oil production of the next decades, and countries with a high ratio of intensively and super-intensively managed olive groves will be more competitive than others, since they are able to reduce production costs. It can be estimated that about 25-40% of the Sicilian oliviculture must be defined as “marginal”. Modern olive cultivation systems, which permit the mechanization of pruning and harvest operations, are limited. Agronomists, landscape planners, policy decision-makers and other professionals have a grow…

Land usebusiness.industryForestryAgricultural engineeringNormalized Difference Vegetation IndexAutomatic detection olive groves GIS LIDAR dataSettore AGR/03 - Arboricoltura Generale E Coltivazioni ArboreeTree (data structure)GeographyAgricultureMultiresolution segmentation Nearest Neighbour classification tree crown detection NDVI World View-2 LIDARmedia_common.cataloged_instanceProduction (economics)Pruning (decision trees)European unionbusinessCommon Agricultural PolicySettore ICAR/06 - Topografia E Cartografiamedia_common
researchProduct

Layout algorithms of graph-like diagrams for GRADE windows graphic editors

1996

We propose a set of layout operations ensuring flexible and convenient interactive editing of communication diagrams and nested entity-relationship models having textual labels on connections. The set includes several procedures for incremental diagram layout. Tools for fully automatic layout and for direct manual painting of graphic primitives are also integrated in a single system. In this way we have filled to some extent the gap between both extremal levels of editing.

Layout algorithmPaintingComputer scienceComputer graphics (images)Fully automaticGraph (abstract data type)Interactive editing
researchProduct

Light Dark Matter Search with Ionization Signals in XENON1T

2019

We report constraints on light dark matter (DM) models using ionization signals in the XENON1T experiment. We mitigate backgrounds with strong event selections, rather than requiring a scintillation signal, leaving an effective exposure of (22±3) tonne day. Above ∼0.4 keVee, we observe <1 event/(tonne day keVee), which is more than 1000 times lower than in similar searches with other detectors. Despite observing a higher rate at lower energies, no DM or CEvNS detection may be claimed because we cannot model all of our backgrounds. We thus exclude new regions in the parameter spaces for DM-nucleus scattering for DM masses mχ within 3–6 GeV/c2, DM-electron scattering for mχ>30 MeV/c2, a…

Light Dark Matter TPC Ionization Axion-Like particlesCosmology and Nongalactic Astrophysics (astro-ph.CO)PhotonFOS: Physical sciencesGeneral Physics and AstronomyS030DI5S029AECAstrophysics01 natural sciencesHigh Energy Physics - ExperimentHigh Energy Physics - Experiment (hep-ex)S030DE5Ionization0103 physical sciencesionization[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]010306 general physicsAbsorption (electromagnetic radiation)Light dark matterscintillation counterPhysicsDark Matter WIMP Dark-Matter detectors Time-projection chamber detectorsScintillationScatteringbackgrounddark matter: massphotonscatteringS029HPHS030DN5* Automatic Keywords *Scintillation counterElementary Particles and Fieldsaxion-like particles[PHYS.ASTR]Physics [physics]/Astrophysics [astro-ph]Event (particle physics)absorptionAstrophysics - Cosmology and Nongalactic Astrophysics
researchProduct

A new solution for the sea wave exploitation. A linear ironless generator

2019

The exploitation of sea wave represents an important frontier for the energy sustainability in the next future. Despite the proposal of several techniques and solutions, commercial devices are not available. In this context, the Department of Engineering is investigating an innovative solution based on linear energy generators. This machine can be adopted as the main component in a wave energy converter, that is the device for the energy extraction of sea wave. Starting from an existing prototype, the paper examines the replacement of the iron stator with a non-magnetic material, in order to solve several common problems of linear generators, such as the cogging force. Results are reported,…

Linear GeneratorEnergy converterStatorComputer science020209 energy020208 electrical & electronic engineeringMechanical engineeringContext (language use)02 engineering and technologySettore ING-IND/32 - Convertitori Macchine E Azionamenti ElettriciPoint Absorberslaw.inventionGenerator (circuit theory)Settore ING-INF/04 - AutomaticalawIronless Electrical MachineComponent (UML)Linear congruential generator0202 electrical engineering electronic engineering information engineeringSea waveEnergy (signal processing)Voltage
researchProduct

Robust control of a Hammerstein model of DC/DC converters

2007

This paper deals with the robust control of a Hammerstein mathematical model of DC/DC converters, consisting of the nonlinear static characteristics of the converter followed by one of a few number of linear time- invariant models which describe the converter in the useful working range. One of these models is assumed as the nominal model of the system and the remaining models are used for describing the model uncertainty. Nominal behaviour is assured using H-2 optimal control method, Robust stability and behaviour are assured by imposing H-infin specifications. The closed loop control system consisting of the converter Hammerstein model and the robust controller is analyzed by means of sim…

Linear systemControl engineeringInvariant (physics)ConvertersOptimal controlRobust controllersWorking rangeNonlinear systemSettore ING-INF/04 - AutomaticaControl theoryNonlinear static characteristicRobust controlHammerstein modelTime complexityMathematics2007 46th IEEE Conference on Decision and Control
researchProduct

Effects of summarization tasks on comprehension monitoring of science texts in university students with elementary or intermediate English proficiency

2012

Two studies were conducted to improve Spanish university students" comprehension monitoring of macro-ideas when reading expository Science texts in English (L2). The first one evaluated the effects of using summarization tasks on comprehension monitoring compared to other reading-for-understanding tasks. A significant improvement of comprehension monitoring was obtained from the summarization tasks. Results in study 1 suggested study 2 aimed at instructing students on summarizing texts in L2. The instructional work had a single significant contribution to students" comprehension monitoring on the macro-structural level. English proficiency also explained a significant proportion of the vari…

Linguistics and LanguageComputer sciencemedia_common.quotation_subjectAnglèsEnglish proficiencyCiències de l'educacióAutomatic summarizationLanguage and LinguisticsLinguisticsEducationComprehensionReading (process)media_common
researchProduct

The exploitation of distributional information in syllable processing

2004

There is now growing evidence that people are sensitive to the statistical regularities embedded into linguistic utterances, but the exact nature of the distributional information to which human performance is sensitive is an issue that has been surprisingly neglected as yet. In order to address this issue, we first propose an overview of some basic measures of association, going from the simple co-occurrence frequency to the normative measure of contingency, rw: We then report an experiment collecting judgments of word-likeness as a function of the relationship between the phonemes composing the rimes (VC). The contingency between Vs and Cs, as assessed by rw; was the best predictor of chi…

Linguistics and LanguageGeneralityComputational modelParsingbusiness.industryComputer scienceCognitive NeuroscienceAutomaticityExperimental and Cognitive PsychologyPhonologycomputer.software_genreArts and Humanities (miscellaneous)ConnectionismArtificial intelligenceSyllableContingencybusinesscomputerNatural language processingJournal of Neurolinguistics
researchProduct

Adaptive feedback linearizing control of linear induction motor considering the end-effects

2016

This paper proposes an input-output feedback linearization techniques for linear induction motors, taking into consideration the dynamic end-effects. As a main original content, this work proposes a new control law based on the on-line estimation of the induced-part time constant. The estimation law is obtained thanks to a Lyapunov based analysis and thus the stability of the entire control system, including the estimation algorithm, is intrinsically guaranteed. Moreover, with such an approach even the on-lihe variation of the induced-part time constant with the speed is retrieved, thus improving the behavior of previously developed approaches where such a variation vs. speed is considered …

Lyapunov function0209 industrial biotechnologyEngineeringLinear induction motorStability (learning theory)02 engineering and technologyAdaptive systemsParameters' estimation.symbols.namesake020901 industrial engineering & automationSettore ING-INF/04 - AutomaticaControl theoryAdaptive system0202 electrical engineering electronic engineering information engineeringFeedback linearizationFeedback linearizationElectrical and Electronic Engineeringbusiness.industryApplied Mathematics020208 electrical & electronic engineeringTime constantControl engineeringEnd-effectsEnd-effectComputer Science ApplicationsControl and Systems EngineeringParameters' estimationControl systemLinear induction motorsymbolsA priori and a posterioriAdaptive systembusinessControl Engineering Practice
researchProduct