Search results for " Computer Science"

showing 10 items of 3983 documents

Design of unknown inputs proportional integral observers for TS fuzzy models

2014

In this paper the design of unknown inputs proportional integral observers for Takagi-Sugeno (TS) fuzzy models subject to unmeasurable decision variables is proposed. These unknown inputs affect both state and output of the system. The synthesis of these observers is based on two hypotheses that the unknown inputs are under the polynomials form with their kth derivatives zero for the first one and bounded norm for the second one, hence two approaches. The Lyapunov theory and L"2-gain technique are used to develop the stability conditions of such observers in LMIs (linear matrix inequality) formulation. A simulation example is given to validate and compare the proposed design conditions for …

Lyapunov functionUnknown inputs reconstructionCognitive NeuroscienceLinear matrix inequalityComputer Science Applications1707 Computer Vision and Pattern RecognitionFuzzy logicComputer Science ApplicationsStability conditionssymbols.namesakeDecision variablesComputer Science::Systems and ControlArtificial IntelligenceControl theoryBounded functionNorm (mathematics)Unmeasurable decision variablessymbolsTS fuzzy modelsProportional integral observer; TS fuzzy models; Unknown inputs reconstruction; Unmeasurable decision variables; Artificial Intelligence; Computer Science Applications1707 Computer Vision and Pattern Recognition; Cognitive NeuroscienceProportional integral observerMathematicsNeurocomputing
researchProduct

FPGA Implementation Of Diffusive Realization For A Distributed Control Operator

2010

International audience; We focus on the question of real-time computation for optimal distributed filtering or control applicable to MEMS Arrays. We present an algorithm for the realization of a linear operator solution to a functional equation through its application to a Lyapunov operatorial equation associated to the heat equation in one dimension. It is based on the diffusive realization, and turns to be well suited for fined grained parallel computer architecture as Field Programmable Gate Arrays (FPGA). An effective FPGA implementation has been successfully carried out. Here, we report the main implementation steps and the final measured performances.

Lyapunov function[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationComputer scienceComputation[ INFO.INFO-CR ] Computer Science [cs]/Cryptography and Security [cs.CR]010103 numerical & computational mathematics02 engineering and technology01 natural sciencesComputational sciencesymbols.namesakeComputer Science::Hardware Architecture[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]Operator (computer programming)[ INFO.INFO-DC ] Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Functional equation[INFO.INFO-DC] Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]0202 electrical engineering electronic engineering information engineeringElectronic engineering0101 mathematicsField-programmable gate array[INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]020208 electrical & electronic engineeringOptimal control[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationsymbolsHeat equation[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Realization (systems)
researchProduct

On integral input-to-state stability for a feedback interconnection of parameterised discrete-time systems

2014

This paper addresses integral input-to-state stability iISS for a feedback interconnection of parameterised discrete-time systems involving two subsystems. Particularly, we give a construction for a smooth iISS Lyapunov function for the whole system from the sum of nonlinearly weighted Lyapunov functions of individual subsystems. Motivations for such a construction are given. We consider two main cases. The first one investigates iISS for the whole system when both subsystems are iISS. The second one gives iISS for the interconnected system when one of subsystems is allowed to be input-to-state stable. The approach is also valid for both discrete-time cascades and a feedback interconnection…

Lyapunov functionsmall-gain conditions0209 industrial biotechnologyInterconnectionStability (learning theory)Computer Science Applications1707 Computer Vision and Pattern Recognition02 engineering and technologyState (functional analysis)Computer Science ApplicationsWhole systems0-global asymptotic stabilityTheoretical Computer Scienceinput-to-state stabilitysymbols.namesakeparameterised discrete-time systems020901 industrial engineering & automationDiscrete time and continuous timeControl theoryControl and Systems Engineering0202 electrical engineering electronic engineering information engineeringsymbols020201 artificial intelligence & image processing0-global asymptotic stability; input-to-state stability; integral input-to-state stability; parameterised discrete-time systems; small-gain conditions; Control and Systems Engineering; Theoretical Computer Science; Computer Science Applications1707 Computer Vision and Pattern Recognitionintegral input-to-state stabilityMathematics
researchProduct

Faults diagnosis based on proportional integral observer for TS fuzzy model with unmeasurable premise variable

2014

In this work, we focus on the synthesis of a Proportional Integral (PI) observer for the actuators and sensors faults diagnosis based on Takagi-Sugeno (TS) fuzzy model with unmeasurable premise variables. The faults estimation method is based on the assumption that these faults act as unknown inputs under polynomials form whose their kth derivatives are bounded. The convergence conditions of the observer as well as the faults reconstruction are established on the basis of the Lyapunov stability theory and the L 2 optimization technique, expressed as Linear Matrix Inequalities (LMI) constraints. In order to validate the proposed approach, a hydraulic system with two tanks is proposed.

Lyapunov stabilityObserver (quantum physics)Basis (linear algebra)Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceComputer Science::Systems and ControlControl theoryBounded functionConvergence (routing)Hydraulic machineryTheoretical Computer Science; Software; Artificial Intelligence; Applied MathematicsFocus (optics)SoftwareVariable (mathematics)Mathematics2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
researchProduct

SORTING CONJUGATES AND SUFFIXES OF WORDS IN A MULTISET

2014

In this paper we are interested in the study of the combinatorial aspects related to the extension of the Burrows-Wheeler transform to a multiset of words. Such study involves the notion of suffixes and conjugates of words and is based on two different order relations, denoted by <lex and ≺ω, that, even if strictly connected, are quite different from the computational point of view. In particular, we introduce a method that only uses the <lex sorting among suffixes of a multiset of words in order to sort their conjugates according to ≺ω-order. In this study an important role is played by Lyndon words. This strategy could be used in applications specially in the field of Bioinformatic…

Lyndon words; Burrows-Wheeler transform; Extended Burrows-Wheeler transform; Circular words; Conjugates; Suffixes; SortingSuffixesMultisetTheoretical computer sciencePoint (typography)Burrows–Wheeler transformSettore INF/01 - InformaticaSortingcircular wordExtension (predicate logic)Lyndon wordsBurrows-Wheeler transformLyndon wordField (computer science)ConjugatesconjugateComputer Science (miscellaneous)sortOrder (group theory)suffixeArithmeticextended Burrows-Wheeler transformCircular wordssortingMathematics
researchProduct

Tool support for MOLA

2006

AbstractThe paper describes the MOLA Tool, which supports the model transformation language MOLA. MOLA Tool consists of two parts: MOLA definition environment and MOLA execution environment. MOLA definition environment is based on the GMF (Generic Modeling Framework) and contains graphical editors for metamodels and MOLA diagrams, as well as the MOLA compiler. The main component of MOLA execution environment is a MOLA virtual machine, which performs model transformations, using an SQL database as a repository. The execution environment may be used as a plug-in for Eclipse based modeling tools (e.g., IBM Rational RSA). The current status of the tool is truly academic.

MDDGeneral Computer SciencebiologyComputer scienceProgramming languagecomputer.software_genrebiology.organism_classificationTheoretical Computer ScienceMolaVirtual machineComputer graphics (images)Component (UML)MOLAModel transformationsCompilerMOLA toolIBMcomputerModel transformation languageComputer Science(all)computer.programming_languageEclipseElectronic Notes in Theoretical Computer Science
researchProduct

Effect of reducing agents on the acidification capacity and the proton motive force of Lactococcus lactis ssp. cremoris resting cells.

2002

International audience; Reducing agents are potential inhibitors of the microbial growth. We have shown recently that dithiothreitol (DTT), NaBH(4) and H(2) can modify the proton motive force of resting cells of Escherichia coli by increasing the membrane protons permeability [Eur. J. Biochem. 262 (1999) 595]. In the present work, the effect of reducing agents on the resting cells of Lactococcus lactis ssp. cremoris, a species widely employed in dairy processes was investigated. DTT did not affect the acidification nor the DeltapH, in contrast to the effect previously reported on E. coli. The DeltaPsi was slightly increased (30 mV) at low pH (pH 4) in the presence of 31 mM DTT or 2.6 mM NaB…

MESH : Cell LineMESH: Hydrogen-Ion ConcentrationMESH : DithioniteBorohydridesMESH : DithiothreitolBacterial growthmedicine.disease_causeMESH: Proton-Motive ForceDithiothreitolSodium dithionitechemistry.chemical_compoundMESH : Proton-Motive ForceElectrochemistry[INFO.INFO-BT]Computer Science [cs]/Biotechnology0303 health sciencesMESH : Interphasebiologyfood and beveragesProton-Motive ForceGeneral MedicineHydrogen-Ion ConcentrationMESH: BorohydridesLactococcus lactisMembraneBiochemistryReducing AgentsMESH : Sensitivity and SpecificityMESH : Reducing Agents[ INFO.INFO-BT ] Computer Science [cs]/BiotechnologyReducing agentMESH: Reducing AgentsBiophysics[SDV.BC]Life Sciences [q-bio]/Cellular BiologySensitivity and SpecificityCell LineMESH: Interphase03 medical and health sciencesSpecies SpecificityMESH : Hydrogen-Ion ConcentrationMESH: DithionitemedicineMESH : Species SpecificityMESH: Species SpecificityLactic AcidPhysical and Theoretical ChemistryEscherichia coli[SDV.BC] Life Sciences [q-bio]/Cellular BiologyInterphase030304 developmental biology[ SDV.BC ] Life Sciences [q-bio]/Cellular Biology030306 microbiologyChemiosmosisLactococcus lactisDithionitebiology.organism_classificationMESH: Sensitivity and SpecificityMESH: Cell LineDithiothreitol[INFO.INFO-BT] Computer Science [cs]/BiotechnologychemistryMESH: Lactococcus lactisMESH : BorohydridesMESH : Lactic AcidBiophysicsMESH: Lactic AcidMESH : Lactococcus lactisMESH: Dithiothreitol
researchProduct

Evaluation of acyl coenzyme A oxidase (Aox) isozyme function in the n- alkane-assimilating yeast Yarrowia lipolytica

1999

ABSTRACT We have identified five acyl coenzyme A (CoA) oxidase isozymes (Aox1 through Aox5) in the n -alkane-assimilating yeast Yarrowia lipolytica , encoded by the POX1 through POX5 genes. The physiological function of these oxidases has been investigated by gene disruption. Single, double, triple, and quadruple disruptants were constructed. Global Aox activity was determined as a function of time after induction and of substrate chain length. Single null mutations did not affect growth but affected the chain length preference of acyl-CoA oxidase activity, as evidenced by a chain length specificity for Aox2 and Aox3. Aox2 was shown to be a long-chain acyl-CoA oxidase and Aox3 was found to …

MESH : Escherichia coliMESH: Sequence Analysis DNAMESH : Molecular Sequence DataMutantGene ExpressionMESH: Base Sequencechemistry.chemical_compoundCloning Molecular[INFO.INFO-BT]Computer Science [cs]/BiotechnologyDNA FungalMESH: MutagenesisMESH : IsoenzymesOxidase testbiologyMESH: Escherichia coliMESH: Acyl-CoA OxidaseMESH : MutagenesisMESH : Cell DivisionMESH : OxidoreductasesIsoenzymesBlotEukaryotic Cells[SDV.MP]Life Sciences [q-bio]/Microbiology and ParasitologyFungalBiochemistryMESH: IsoenzymesMESH: Cell DivisionMESH : Acyl-CoA OxidaseOxidoreductasesSequence Analysis[ INFO.INFO-BT ] Computer Science [cs]/BiotechnologyCell DivisionMESH: Gene ExpressionMESH : Cloning MolecularGenes FungalMolecular Sequence DataMicrobiologyIsozymeWESTERN BLOTTINGAlkanes[SDV.BBM] Life Sciences [q-bio]/Biochemistry Molecular BiologyEscherichia coliMESH: Cloning Molecular[SDV.BBM]Life Sciences [q-bio]/Biochemistry Molecular BiologyMESH: OxidoreductasesMESH: Saccharomycetales[ SDV.BBM ] Life Sciences [q-bio]/Biochemistry Molecular BiologyMolecular BiologyGeneMESH : AlkanesMESH: Molecular Sequence DataBase SequenceMolecularYarrowiaSequence Analysis DNAMESH : SaccharomycetalesDNAbiology.organism_classificationMolecular biologyYeastMESH : Gene ExpressionMESH: AlkanesMESH: DNA FungalOleic acid[INFO.INFO-BT] Computer Science [cs]/BiotechnologyGeneschemistryMutagenesisSaccharomycetalesMESH : Base SequenceMESH : Genes FungalAcyl-CoA OxidaseMESH : DNA FungalMESH: Genes FungalMESH : Sequence Analysis DNACloning
researchProduct

Extracellular oxidoreduction potential modifies carbon and electron flow in Escherichia coli.

2000

ABSTRACT Wild-type Escherichia coli K-12 ferments glucose to a mixture of ethanol and acetic, lactic, formic, and succinic acids. In anoxic chemostat culture at four dilution rates and two different oxidoreduction potentials (ORP), this strain generated a spectrum of products which depended on ORP. Whatever the dilution rate tested, in low reducing conditions (−100 mV), the production of formate, acetate, ethanol, and lactate was in molar proportions of approximately 2.5:1:1:0.3, and in high reducing conditions (−320 mV), the production was in molar proportions of 2:0.6:1:2. The modification of metabolic fluxes was due to an ORP effect on the synthesis or stability of some fermentation enzy…

MESH : Models Chemical0106 biological sciencesMESH: Oxidation-ReductionMESH : Acetic AcidMESH : Escherichia coliMESH : NADFormatesOxaloacetatesMESH: Phosphoenolpyruvate CarboxylaseSuccinic AcidMESH: Alcohol DehydrogenaseMESH : CarbonMESH : EthanolMESH: Carbon Dioxide01 natural sciencesPhosphoenolpyruvatechemistry.chemical_compoundModels[INFO.INFO-BT]Computer Science [cs]/BiotechnologyAcetic Acid0303 health sciencesbiologyMESH: Escherichia coliMESH: Models ChemicalMESH : Acetyl Coenzyme AMESH: NADLactic acidMESH : Carbon DioxideBiochemistryFormic AcidsMESH: PhosphoenolpyruvateMESH: Acetic AcidMESH: Pyruvate KinaseMESH : Phosphoenolpyruvate CarboxylaseMESH: Oxaloacetic AcidsOxidation-Reduction[ INFO.INFO-BT ] Computer Science [cs]/BiotechnologyMESH: EthanolPhysiology and MetabolismPyruvate KinaseElectronsChemicalMESH: CarbonMESH : Formic AcidsChemostatMicrobiologyMESH: Fermentation03 medical and health sciencesAcetic acidMESH : Alcohol DehydrogenaseAcetyl Coenzyme AMESH : Fermentation010608 biotechnology[SDV.BBM] Life Sciences [q-bio]/Biochemistry Molecular BiologyEscherichia coliFormate[SDV.BBM]Life Sciences [q-bio]/Biochemistry Molecular BiologyLactic Acid[ SDV.BBM ] Life Sciences [q-bio]/Biochemistry Molecular BiologyMolecular Biology030304 developmental biologyAlcohol dehydrogenaseMESH : Oxidation-ReductionMESH: ElectronsEthanolEthanolMESH : Succinic AcidAlcohol DehydrogenaseCarbon DioxideNADMESH: Formic AcidsMESH : Pyruvate KinaseCarbonOxaloacetic AcidsPhosphoenolpyruvate CarboxylaseMESH: Succinic Acid[INFO.INFO-BT] Computer Science [cs]/BiotechnologychemistryModels ChemicalSuccinic acidMESH : Lactic AcidMESH : Oxaloacetic AcidsFermentationbiology.proteinFermentationMESH: Lactic AcidMESH : ElectronsMESH : PhosphoenolpyruvateMESH: Acetyl Coenzyme A
researchProduct

Comparison of different segmentation approaches without using gold standard. Application to the estimation of the left ventricle ejection fraction fr…

2011

International audience; A statistical method is proposed to compare several estimates of a relevant clinical parameter when no gold standard is available. The method is illustrated by considering the left ventricle ejection fraction derived from cardiac magnetic resonance images and computed using seven approaches with different degrees of automation. The proposed method did not use any a priori regarding with the reliability of each method and its degree of automation. The results showed that the most accurate estimates of the ejection fraction were obtained using manual segmentations, followed by the semiautomatic methods, while the methods with the least user input yielded the least accu…

MESH : Ventricular Function Left[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image Processing[INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processing02 engineering and technologyMESH: Regression AnalysisVentricular Function LeftArticleMESH: Ventricular Function Left030218 nuclear medicine & medical imagingMESH: Magnetic Resonance Imaging03 medical and health sciencesMESH : Heart0302 clinical medicine[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingMESH : Magnetic Resonance ImagingMESH : Regression Analysis0202 electrical engineering electronic engineering information engineeringHumansMedicineSegmentation[ SDV.IB ] Life Sciences [q-bio]/BioengineeringReliability (statistics)[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processing[SDV.IB] Life Sciences [q-bio]/BioengineeringEjection fractionMESH: Humansbusiness.industryMESH : HumansHeartRegression analysisPattern recognitionImage segmentationGold standard (test)Magnetic Resonance ImagingMESH: Heartmedicine.anatomical_structureVentricleRegression AnalysisA priori and a posteriori020201 artificial intelligence & image processing[SDV.IB]Life Sciences [q-bio]/BioengineeringArtificial intelligencebusinessNuclear medicine[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
researchProduct