Machines signaux :origine puissance retour au raisonnable

Description

Machines à signaux :origine, puissance, retour au raisonnable Machines à signaux : origine, puissance, retour au raisonnable Jérôme Durand-Lose, Vincent Levorato et Maxime Senot Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Orléans, FRANCE LRI, Orsay 3 mai 2011

• abstract geometrical


• continuous reasoning


• cellular automata


• laboratoire d'informatique fondamentale d'orléans


• signaux :origine


• discrete space

Sujets

• Cellular automaton
• Signal
• Origine
• Discrete space

Informations

• Publié par: pefav
• Publié le: 01 mai 2011
• Nombre de lectures: 29
• Langue: Français
• Poids de l'ouvrage: 2 Mo

Extrait

1Machinesm?etsFRANCEignDurand-Lose,auxo:od'Orl?ans,rigine,Levopuissance,Senotretourd'InfoauFd'Orl?ans,rOrsaaimaisraisonnableonnJ?r?meableVincentratoMachinesMaxime?Labsignauxratoire:roatiquerondamentaleiUniversit?gOrl?ans,iLRI,ne,ypuissance,3retour201auContinuousMachinesmachines?systemsDiscreteigndelauxtime:ogeometricalrandigAutonomousine,computationpuissance,spaceretourdiscretizationau(Abstractcomputation)rspaceaitimesreasoningonnmoableofdynamicalMotivationContinuousCellulaandrabstractionautomataSignalContinuousMachinesmachines?systemsDiscreteigndelauxtime:ogeometricalrandigAutonomousine,computationpuissance,spaceretourdiscretizationau(Abstractcomputation)rspaceaitimesreasoningonnmoableofdynamicalMotivationContinuousCellulaandrabstractionautomataSignalContinuousMachinesmachines?systemsDiscreteigndelauxtime:ogeometricalrandigAutonomousine,computationpuissance,spaceretourdiscretizationau(Abstractcomputation)rspaceaitimesreasoningonnmoableofdynamicalMotivationContinuousCellulaandrabstractionautomataSignalContinuousMachinesmachines?systemsDiscreteigndelauxtime:ogeometricalrandigAutonomousine,computationpuissance,spaceretourdiscretizationau(Abstractcomputation)rspaceaitimesreasoningonnmoableofdynamicalMotivationContinuousCellulaandrabstractionautomataSignalsMachinessignal?DiscretizationsQSatign(withauxConclusion:o2rinigandine,Duchier)puissance,CAretourtoaumachinesGenericrsolvingaiconstantspaceonndurationableD.31intoCellula4rautomatamachinesMachinesinto?pacesrignsolvingauxD.:o1rtoigGenericine,constantpuissance,durationretour3au4Cellularautomataaisignals2onnQSatableinsCellulaandr(withautomataDuchier)toDiscretizationsignalCAmachinConclusionesraMachinesmachin?MitchellswithignFig.auxto:oAnalyzingr[Boigal.,ine,[Das,puissance,automataretoursignalauesCArsignalsaiccasetonn1991,able7]Crutcheld,Cellula95]rMitchellMachinesmachin?rswithignauxto:oAnalyzingr[Das,igableine,Cellulapuissance,automataretoursignalauesCArsignalsaiCrutcheld,s95]onntoMachinesmachin?rswithignSynchronizationauxto:oDesigningrGoto'sigFiringine,[Goto66]puissance,automataretoursignalauesCArsignalsaisolutionstheonnSquadableProblemCellula