Search results for "Theorem"

showing 10 items of 1250 documents

Robust adaptive backstepping DP control of ROVs

2022

Dynamic positioning is an important control feature for an underwater remotely operated vehicle. This paper presents a nonlinear dynamic positioning controller suited for application to vehicles with model uncertainties, operating in environments with unpredictable disturbances, such as an aquaculture net cage. The proposed controller combines the backstepping approach with an adaptation term to ensure robustness. Using Lyapunov theory and Matrosov’s theorem the origin of the closed-loop system is proven to be: (i) globally asymptotically stable when assuming persistency of excitation, and (ii) stable and bounded, with the true position converging to the desired position if there is no pers…

VDP::Teknologi: 500Remotely operated vehicleMatrosov’s theoremDynamic positioningControl and Systems EngineeringApplied MathematicsAdaptive controlAquacultureElectrical and Electronic EngineeringVDP::Teknologi: 500::Marin teknologi: 580Computer Science Applications
researchProduct

Mixed-Valence Molecular Unit for Quantum Cellular Automata: Beyond the Born-Oppenheimer Paradigm through the Symmetry-Assisted Vibronic Approach.

2016

In this article, we focus on the electron-vibrational problem of the tetrameric mixed-valence (MV) complexes proposed for implementation as four-dot molecular quantum cellular automata (mQCA).1 Although the adiabatic approximation explored in ref 2 is an appropriate tool for the qualitative analysis of the basic characteristics of mQCA, like vibronic trapping of the electrons encoding binary information and cell-cell response, it loses its accuracy providing moderate vibronic coupling and fails in the description of the discrete pattern of the vibronic levels. Therefore, a precise solution of the quantum-mechanical vibronic problem is of primary importance for the evaluation of the shapes o…

Valence (chemistry)ChemistryBorn–Oppenheimer approximation02 engineering and technology010402 general chemistry021001 nanoscience & nanotechnology01 natural sciences0104 chemical sciencesComputer Science ApplicationsAdiabatic theoremElectron transferVibronic couplingsymbols.namesakeQuantum mechanicsPhysics::Atomic and Molecular ClusterssymbolsVibronic spectroscopyPhysics::Chemical PhysicsPhysical and Theoretical Chemistry0210 nano-technologyQuantumQuantum cellular automatonJournal of chemical theory and computation
researchProduct

Phase coexistence in finite van der Waals systems

1999

Phase coexistence in finite systems obeying van der Waals equation of state is studied by minimizing a model free energy function for a spherical liquid droplet and a gaseous phase around it. Phase diagrams are calculated for finite systems with a large range of sizes. According to this model, the highest temperature where a droplet and vapour can exist in equilibrium decreases as N −0.4, where N is the number of particles in the system. The model predicts higher equilibrium vapour pressures than molecular dynamics simulations.

Van der Waals equationParticle numberChemistryBiophysicsThermodynamicsCondensed Matter PhysicsTheorem of corresponding statesPhysics::Fluid Dynamicssymbols.namesakeMolecular dynamicsPhase (matter)symbolsVan der Waals radiusPhysical and Theoretical Chemistryvan der Waals forceMolecular BiologyPhase diagram
researchProduct

Bovine paramphistomosis in Galicia (Spain): Prevalence, intensity, aetiology and geospatial distribution of the infection

2013

12 páginas, 5 figuras, 4 tablas.

Veterinary medicinehttp://aims.fao.org/aos/agrovoc/c_2615EpidemiologyBayesian geostatistical modelCattle DiseasesL73 - Maladies des animauxFecesÉtiologieRisk FactorsPrevalenceParasite Egg CountParasite hostingParamphistomatidaebiologyCalicophoron daubneyiGeneral Medicinehttp://aims.fao.org/aos/agrovoc/c_ded17449ÉpidémiologieRoe deerMaladie des animauxParasitosehttp://aims.fao.org/aos/agrovoc/c_1038Géostatistiqueshttp://aims.fao.org/aos/agrovoc/c_3852InfectionL72 - Organismes nuisibles des animauxCalicophoron daubneyiRumenhttp://aims.fao.org/aos/agrovoc/c_4936Cattle DiseasesTrematode InfectionsBovidaeParamphistomidaehttp://aims.fao.org/aos/agrovoc/c_15588Paramphistomosisbiology.animalAnimalsParasite Egg CountDairy cattleFeceshttp://aims.fao.org/aos/agrovoc/c_31996Roe deerGeneral VeterinaryBayes TheoremL70 - Sciences et hygiène vétérinaires - Considérations généralesDistribution spatialeMorbiditébiology.organism_classificationhttp://aims.fao.org/aos/agrovoc/c_426Spainhttp://aims.fao.org/aos/agrovoc/c_5579http://aims.fao.org/aos/agrovoc/c_36230Bovidaehttp://aims.fao.org/aos/agrovoc/c_7273CattleParasitologyVeterinary Parasitology
researchProduct

Do categorical representations modulate early automatic visual processing? A visual mismatch-negativity study.

2021

Perceptual categorization is an important cognitive function. In the auditory domain, categorization already occurs within the first 200 ms of information processing, as indexed by the mismatch negativity. Here, we assessed the characteristics of the visual mismatch negativity (vMMN) elicited during the categorization of previously unknown visual stimuli. To examine this, we used five-dot patterns with characteristics that allow for the formation of categories through rotation and reflection but not through other physical properties. To assess whether or not between-category and within-category vMMN differ in amplitude, the data was analyzed with the Bayesian approach. We observed that both…

Visual perceptionSpeech recognitionMismatch negativityElectroencephalography050105 experimental psychologyVisual processing03 medical and health sciences0302 clinical medicineCognitionmedicineHumans0501 psychology and cognitive sciencesCategorical variablemedicine.diagnostic_testGeneral Neuroscience05 social sciencesInformation processingCognitionBayes TheoremElectroencephalographyNeuropsychology and Physiological PsychologyCategorizationVisual PerceptionEvoked Potentials VisualPsychology030217 neurology & neurosurgeryPhotic StimulationBiological psychology
researchProduct

Wireless Power Transfer System Design for E-bikes Application

2019

The present work presents an analysis of Inductive Coupled Power Transfer (ICPT) Systems behaviour applied to electrical bikes. In particular, the study has focused on the design of the coupled coils of this system. In the first part of the work, the theoretical aspects of the wireless power system are handled. In the second part of the work, the inductive features of the coupled windings are analyzed. In order to perform this process, the Ansys Maxwell software has been used, performing 3D simulations. To conclude, the results of the simulations are compared.

WPT Systembusiness.industryComputer scienceInductive Coupled Power Transfer System020209 energyWireless Power Transfer System - WPT020208 electrical & electronic engineeringProcess (computing)02 engineering and technologyElectric power systemSoftwareElectromagnetic coil0202 electrical engineering electronic engineering information engineeringElectronic engineeringWirelessSystems designMaximum power transfer theoremWireless power transferbusinessICPT SystemE-Bike
researchProduct

On the Ward theorem for P-adic-path bases associated with a bounded sequence

2004

In this paper we prove that each differentiation basis associated with a $\mathcal P$-adic path system defined by a bounded sequence satisfies the Ward Theorem.

Ward Theorem P-adic system differentiation basis
researchProduct

Performance analysis of photovoltaic powered dc motor — Propeller system

2015

The application of autonomous directly photovoltaic (PV) powered electro-mechanical has received increasing attention for different applications (e.g. PV water pumping, PV powered cooling of arid climate greenhouses, solar vehicles etc). The PV array output is a nonlinear and time-dependent power supply that varies with solar intensity and cell temperature, so the performance characteristics of the directly PV-powered DC motor — propeller system are very different than when powered by a constant DC voltage. The focus of this work is to do performance analysis of directly PV-powered DC motor — propeller system. Through performance evaluation, it has been observed that power transfer matching…

Water pumpingMaximum power principleComputer sciencePhotovoltaic systemPropellerAerodynamicsDC motorAutomotive engineeringMaximum power point trackingControl theoryGrid-connected photovoltaic power systemBrushed DC electric motorTorqueMaximum power transfer theorem2015 IEEE International Conference on Signal Processing, Informatics, Communication and Energy Systems (SPICES)
researchProduct

Non-Technological Aspects on Web Searching Success

2008

This paper studies the influence of social, cultural and emotional background of typical Web users into the web searching process. Several variables, describing such aspects, are represented and statistically analyzed with well known clustering and classifying algorithms such, as COBWEB, J48, Bayes classification, and Correspondence analysis. Results indicate that the efficiency of the complete process of Information Retrieval will not be fully understood without considering subjectivity and personality facts.

Web standardsBayes' theoremInformation retrievalC4.5 algorithmComputer scienceProcess (engineering)media_common.quotation_subjectPersonalityCluster analysisCorrespondence analysisCategory utilitymedia_common
researchProduct

Irreducible components of Hurwitz spaces of coverings with two special fibers

2013

In this paper we prove new results of irreducibility for Hurwitz spaces of coverings whose monodromy group is a Weyl group of type B_d and whose local monodromies are all reflections except two.

Weyl groupPure mathematicsHurwitz quaternionGroup (mathematics)General MathematicsType (model theory)Hurwitz spaces special fibers branched coverings Weyl group of type B_d monodromy braid moves.symbols.namesakeMathematics::Algebraic GeometryMonodromyHurwitz's automorphisms theoremsymbolsIrreducibilitySettore MAT/03 - GeometriaMathematics::Representation TheoryMathematics
researchProduct