Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Machines signaux :origine puissance retour au raisonnable

42 pages
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


Voir plus Voir moins

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

Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin