Search results for "Function"

showing 10 items of 14432 documents

Constrained differential inclusions with nonlocal initial conditions

2017

International audience; We show existence for the perturbed sweeping process with nonlocal initial conditions under very general hypotheses. Periodic, anti-periodic, mean value and multipoints conditions are included in this study. We give abstract results for differential inclusions with nonlocal initial conditions through bounding functions and tangential conditions. Some applications to differential complementarity systems and to vector hysteresis are given.

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]MSC: 34A60 49J52 34G25 49J53 34B10Periodic solutionsNonlocal Cauchy problemDifferential inclusions[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC][MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Sweeping processesNormal coneBounding functions
researchProduct

Solving chance constrained optimal control problems in aerospace via Kernel Density Estimation

2017

International audience; The goal of this paper is to show how non-parametric statistics can be used to solve some chance constrained optimization and optimal control problems. We use the Kernel Density Estimation method to approximate the probability density function of a random variable with unknown distribution , from a relatively small sample. We then show how this technique can be applied and implemented for a class of problems including the God-dard problem and the trajectory optimization of an Ariane 5-like launcher.

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]Mathematical optimizationControl and Optimizationchance constrained optimizationKernel density estimation0211 other engineering and technologiesProbability density function02 engineering and technology01 natural sciencesKernel Density Estimation010104 statistics & probability0101 mathematicsMathematics021103 operations researchApplied MathematicsConstrained optimizationTrajectory optimizationstochastic optimizationOptimal controlOptimal controlDistribution (mathematics)Aerospace engineeringControl and Systems EngineeringStochastic optimization[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Random variableSoftware
researchProduct

Differential inclusions involving normal cones of nonregular sets in Hilbert spaces

2017

This thesis is dedicated to the study of differential inclusions involving normal cones of nonregular sets in Hilbert spaces. In particular, we are interested in the sweeping process and its variants. The sweeping process is a constrained differential inclusion involving normal cones which appears naturally in several applications such as elastoplasticity, electrical circuits, hysteresis, crowd motion, etc.This work is divided conceptually in three parts: Study of positively alpha-far sets, existence results for differential inclusions involving normal cones and characterizations of Lyapunov pairs for the sweeping process. In the first part (Chapter 2), we investigate the class of positivel…

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]cône normalMoreau-Yosida regularizationcono normalmétodo de tipo Galerkinfonction distanceGalerkin-like methodMSC: 34A60 49J52 34G25 49J53 34B10 93D30subdiferencial de Clarkeprocessus de rafleInclusión diferencialensembles positivement alpha-far'sweeping processfonctions de Lyapunovsous-différentiel de Clarkeprocesos de arrastrefunción distanciaLyapunov functionsconjuntos positivamente alpha-farFunciones de Lyapunovméthode de type Galerkinrégularisation de Moreau-YosidaDifferential inclusions[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC]Clarke subdifferentialregularización de Moreau-YosidaDistance functionInclusion différentielle[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Normal conepositively alpha-far sets
researchProduct

Manufacturing and characterization of single cell intermediate-temperature solid oxide fuel cells for APU in transportation application

2014

The fabrications of large area IT-SOFC planar cell by new simple and cost effective process were explained. The optimization of the new process with respect to pore formers, thickness of layers, sintering temperature were performed. The electrochemical results of 10cm2 performed in Fiaxell open flange set up were detailed with respect to different configuration. Long term ageing performance tests of single cells were conducted in Fiaxell device and results are discussed. Preparation of new test bench and stacking process performed till now were briefed.

[ PHYS.PHYS.PHYS-CHEM-PH ] Physics [physics]/Physics [physics]/Chemical Physics [physics.chem-ph]CosinteringIT-SOFCTest benchLong term ageing performanceSingle step cell preparation[PHYS.PHYS.PHYS-CHEM-PH]Physics [physics]/Physics [physics]/Chemical Physics [physics.chem-ph]StackTape castingAnode Functional Layer[PHYS.PHYS.PHYS-CHEM-PH] Physics [physics]/Physics [physics]/Chemical Physics [physics.chem-ph]
researchProduct

On the high resolution spectroscopy and intramolecular potential function of SO2

2009

Abstract Two weak stretching bands, ν 1  + 3 ν 3 and 3 ν 1  +  ν 3 , of the sulfur dioxide molecule have been recorded at high resolution and analyzed for the first time with using a Fourier transform Bruker IFS-120 HR interferometer. About 1000 transitions with J max .  = 51, K a max . = 16 , and 900 transitions with J max .  = 53, K a max . = 16 have been assigned to the bands ν 1  + 3 ν 3 and 3 ν 1  +  ν 3 , respectively. Analysis of the recorded spectra was made using the model of isolated vibrational states. Parameters obtained from the fit reproduce the initial experimental ro-vibrational energies with the rms deviation of 0.0006 and 0.0012 cm −1 for the bands, 3 ν 1  +  ν 3 and ν 1  …

[ PHYS.QPHY ] Physics [physics]/Quantum Physics [quant-ph]Analytical chemistryHigh resolution02 engineering and technology01 natural sciencesSpectral linesymbols.namesakeNuclear magnetic resonance[PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]High-resolution spectra0103 physical sciencesMoleculePhysical and Theoretical ChemistrySpectroscopySpectroscopyPhysics010304 chemical physicsPotential functionFunction (mathematics)Spectroscopic parameters021001 nanoscience & nanotechnologyAtomic and Molecular Physics and OpticsInterferometryFourier transformSulfur dioxideIntramolecular forcesymbols0210 nano-technology
researchProduct

Functional ecology for evaluating and predicting the aptitude of permanent grassland to provide services

2013

National audience; Applying the principles of functional ecology helps better predict the services which can be provided by permanent grassland. Farming practices and environmental characteristics influence the functional composition of grassland. Functional plant types have a generic effect on forage services which can be assessed. 13 types of grassland composed of distinct functional types were defined based on 1,283 sample grassland fields located on 8 sites. This approach was validated by checking 8 Ellenberg indicator values (used to evaluate environmental characteristics and farming practices) against climatic data and descriptive data for farming practices. The interest of a function…

[ SDV ] Life Sciences [q-bio]flexibility of managementgrasspasture management practices[SDV]Life Sciences [q-bio]forage productionseasonal variationsBiodiversitygrassland typologynutritive valuenitrogenfertilisation[SHS]Humanities and Social Sciences[SDV] Life Sciences [q-bio]functional compositionenvironmental factorvegetation[SDE]Environmental Sciencesforage system[SDV.BV]Life Sciences [q-bio]/Vegetal Biologyutilization value of grasslandsservices provided by grasslandpermanent pastureestimation method
researchProduct

An alternative space-time meshless method for solving transient heat transfer problems with high discontinuous moving sources

2016

International audience; The aim of this work is the development of a space-time diffuse approximation meshless method (DAM) to solve heat equations containing discontinuous sources. This work is devoted to transient heat transfer problems with static and moving heat sources applied on a metallic plate and whose power presents temporal discontinuities. The space-time DAM using classical weight function is convenient for continuous transient heat transfer. Nevertheless, for problems including discontinuities, some spurious oscillations for the temperature field occur. A new weight function, respecting the principle of causality, is used to eradicate the physically unexpected oscillations.

[ SPI.MECA.GEME ] Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]Work (thermodynamics)Weight functionField (physics)finite element method02 engineering and technologyClassification of discontinuitieselasto-dynamic problems01 natural sciences[SPI]Engineering Sciences [physics]0203 mechanical engineering[ SPI ] Engineering Sciences [physics]free galerkin methodrefinement0101 mathematicsconvectionMathematicsNumerical AnalysisSpace timeMechanicsCondensed Matter Physics[ SPI.MECA.THER ] Engineering Sciences [physics]/Mechanics [physics.med-ph]/Thermics [physics.class-ph][SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]Computer Science ApplicationsPower (physics)010101 applied mathematics020303 mechanical engineering & transportsClassical mechanicsMechanics of MaterialsModeling and Simulation[SPI.MECA.THER]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Thermics [physics.class-ph]Heat equationDevelopment (differential geometry)
researchProduct

Towards Iron(II) Complexes with Octahedral Geometry: Synthesis, Structure and Photophysical Properties

2020

The control of ligand-field splitting in iron (II) complexes is critical to slow down the metal-to-ligand charge transfer (MLCT)-excited states deactivation pathways. The gap between the metal-centered states is maximal when the coordination sphere of the complex approaches an ideal octahedral geometry. Two new iron(II) complexes (C1 and C2), prepared from pyridylNHC and pyridylquinoline type ligands, respectively, have a near-perfect octahedral coordination of the metal. The photophysics of the complexes have been further investigated by means of ultrafast spectroscopy and TD-DFT modeling. For C1, it is shown that&mdash

[CHIM.INOR] Chemical Sciences/Inorganic chemistryLigand field theoryCoordination sphereMaterials scienceIronPharmaceutical Scienceexcited states dynamics[CHIM.INOR]Chemical Sciences/Inorganic chemistryCrystallography X-RayLigands010402 general chemistry01 natural sciencesArticletime-resolved spectroscopyAnalytical Chemistrylcsh:QD241-441MetalX-Ray Diffractionlcsh:Organic chemistryDrug DiscoveryOctahedral molecular geometry[CHIM.CRIS]Chemical Sciences/Cristallographyiron (II) complexes[CHIM.COOR]Chemical Sciences/Coordination chemistryFerrous Compounds[CHIM.CRIS] Chemical Sciences/CristallographyPhysical and Theoretical Chemistryoctahedral geometrydensity functional theoryComputingMilieux_MISCELLANEOUSMolecular Structure010405 organic chemistryLigandOrganic Chemistry[CHIM.COOR] Chemical Sciences/Coordination chemistry0104 chemical sciences3. Good healthCrystallographyOctahedron[CHIM.OTHE] Chemical Sciences/OtherChemistry (miscellaneous)Excited statevisual_artvisual_art.visual_art_mediumThermodynamicsMolecular MedicineDensity functional theory[CHIM.OTHE]Chemical Sciences/Other
researchProduct

Some Computational Aspects of DISTANCE-SAT

2007

In many AI fields, one must face the problem of finding a solution that is as close as possible to a given configuration. This paper addresses this problem in a propositional framework. We introduce the decision problem distance-sat, which consists in determining whether a propositional formula admits a model that disagrees with a given partial interpretation on at most d variables. The complexity of distance-sat and of several restrictions of it are identified. Two algorithms based on the well-known Davis/Logemann/Loveland search procedure for the satisfiability problem sat are presented so as to solve distance-sat for CNF formulas. Their computational behaviors are compared with the ones …

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Theoretical computer scienceComputational complexity theory0102 computer and information sciences02 engineering and technologyComputer Science::Computational Complexity01 natural sciences[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]#SATArtificial IntelligenceComputer Science::Logic in Computer ScienceDPLL algorithm0202 electrical engineering electronic engineering information engineeringComputingMilieux_MISCELLANEOUSMathematicsDecision problemFunction problemSatisfiabilityPropositional formulaTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputational Theory and Mathematics010201 computation theory & mathematics020201 artificial intelligence & image processingBoolean satisfiability problemAlgorithmSoftware
researchProduct

How to Enrich Description Logics with Fuzziness

2017

International audience; The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards. While the process of transformation from a description logic to a fuzzy logic is a trivial inclusion, the other way of reducing information from fuzzy logic to description logic is a difficult task, that will be topic of future work.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Theoretical computer science[ INFO ] Computer Science [cs]Relation (database)Process (engineering)Computer scienceMathematics::General Mathematics0102 computer and information sciences02 engineering and technology[INFO] Computer Science [cs]01 natural sciencesFuzzy logicTask (project management)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Knowledge-based systemsFuzzy Description LogicDescription logicComputer Science::Logic in Computer Science0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs][ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]Semantic WebSemantic WebUncertaintyTransformation (function)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematics020201 artificial intelligence & image processingComputingMethodologies_GENERALHardware_LOGICDESIGN
researchProduct