Flatness and Monge parameterization of two-input systems, control-affine with 4 states or general with 3 states

This paper studies Monge parameterization, or differential flatness, of control-affine systems with four states and twocontrols. Some of them are known to be flat, and this implies admitting a Monge parameterization. Focusing on systems outside this class, we describe the only possible structure of such a parameterization for these systems, and give a lower bound on the order of this parameterization, if it exists. This lower-bound is good enough to recover the known results about "(x,u)-flatness" of these systems, with much more elementary techniques

Distribution Patterns of Great Basin Conifers: Implications of Extinction and Immigration

Factors influencing the distribution of scattered montane conifers on mountaintops in the Great Basin of North America were investigated. The sources of data were collections and observations on more than 300 mountain ranges in the region. All mountains in the region with at least one montane conifer species and all adjacent source areas were included in the data set. In all, 164 montane island sites and 40 mainland sites were used in the analyses. Physical data for each site were compiled and regression analyses were conducted to test the predictions of three island biogeography models: immigration, extinction, and equilibrium. These models were treated as alternatives to the Random Placement Hypothesis. The Random Placement Hypothesis was refuted. However, none of the island biogeography models explained the observed patterns because mainland species–area slopes were within the expected range of island slopes. The pattern that emerges is one in which both the mainlands and islands represent the remnants of a preexisting regional conifer flora. The vertical relief of a site’s montane zone is a better estimate of habitat diversity than area, and explains 65% of all variation in species richness on mountain ranges in the region. Although not all predictions of the island biogeography models were supported, it appears that both immigration and extinction of montane and subalpine conifers have occurred in the region during the Late Quaternary. Extinction was more important than immigration in shaping modern conifer distributions because area, not distance to sources, has a stronger influence on species richness

Références allusives dans le panégyrique de Claudien pour le sixième consulat d’Honorius

À partir de deux exemples précis tirés du Panégyrique pour le sixième consulat d’Honorius de Claudien (v. 5-10 et 388-391), on montre que des allusions littéraires peuvent concourir à l’expression d’un message politique: la référence littéraire n’est pas un vain étalage de culture ou un simple embellissement du style, mais une partie intégrante du discours politique du poète. Grâce à ces allusions, le poète suggère plutôt qu’il n’affirme, ce qui est, poétiquement, plus élégant et, politiquement, peut-être aussi moins dangereux.From two precise examples extracted from Claudian’s Panegyricus de sexto consulatu Honorii (v. 5-10 and 388-391), it is showed that literary allusions can contribute to the expression of a political message: the literary reference is not a vain parade of culture or a mere stylistic embellishing, but an integrant part of the poet’s political discourse. Thanks to these allusions, the poet suggests rather than affirms, what is, poetically, more elegant, and, politically, perhaps also less dangerous

Les mètres sapphiques et alcaïques de l'antiquité à l'époque humaniste

L'étude des strophes sapphiques et alcaïques de leur création à leur utilisation dans la poésie latine humaniste italienne et chez quelques poètes ibériques et français du XVIe siècle met en évidence deux tendances: d'une part des poètes ultraclassiques, plus proches de Stace que d'Horace (Quatrario, Baratella, Odo, Piccolomini, Filelfo, Landino, Cleofilo, Geraldini, Buonaccorsi, Acciarini, Pannonius, Poliziano, Cantalicio, Crinito, Barbosa, Bourbon, Dolet); de l'autre, ceux qui, par delà Horace, reviennent à la liberté hellénique comme chez Catulle (Correr, Pontano, Sannazaro pour la strophe sapphique; Marullo et Macrin pour les deux, Dolet pour l'alcaïque).The study of the sapphic and alcaic strophes from the beginning to their utilisation in neo-latin poetry and in some Spanish and French poets of the XVIth century shows two trends: an ultra-classic one, nearer to Statius than to Horatius (Quatrario, Baratella, Odo, Piccolomini, Filelfo, Landino, Cleofilo, Geraldini, Buonaccorsi, Acciarini, Pannonius, Poliziano, Cantalicio, Crinito, Barbosa, Bourbon, Dolet); another one which, beyond Horatius, returns to the hellenic liberty as in Catullus (Correr, Pontano, Sannazaro for the Sapphic; Marullo and Macrin for both, Dolet for the alcaic)

Découverte d'un trésor du début du XIVe siècle dans une majolique avignonnaise

International audienceDécouverte à Avignon d’un trésor monétaire dans un pichet en majolique ; dépôt daté précisément entre 1309-1310

Introduction : Comprendre et maîtriser la redocumentarisation du monde

Introduction du livre bilan du réseau thématique pluridisciplinaire du CNRS : "Document et contenu". Problématique générale et présentation des chapitres résumant les apports des groupes de travail

Trois lectures du mythe d'Orphée dans la poésie latine humaniste

Trois lectures du mythe d’Orphée dans la poésie latine humaniste (résumé de la conférence tenue à Málaga le 9 mai 2014) Le mythe d’Orphée nourrit toute la poésie humaniste, latine comme vernaculaire. On a choisi trois des plus grands poètes latins du Quattrocento italien en choisissant une ou deux de leurs œuvres latines et sans exclure des parallèles avec leurs œuvres vernaculaires : Francesco Petrarca (Bucolicum carmen et Triumphi). Angelo Poliziano (Siluae e Favola d’Orfeo) et Giovanni Pontano (Urania et Eclogae). Dans la première églogue du Bucolicum carmen (v. 122-123), Orphée apparaît comme le poète par antonomase. Dans la dixième (v. 147-156), Pétrarque lui donne une place de choix, avec ses attributs traditionnels, dans son catalogue des poètes ; mais, contrairement à la tradition, il le présente comme âgé et il loue en particulier sa justice, sans référence à Eurydice, alors qu’Eurydice est le point focal des vers consacrés à Orphée dans le Triumphus Cupidinis (v. 13-15), mais à côté de son “frère” Linus et de son “fils” Musée : Pétrarque associe les trois poètes théologiens pour affirmer le pouvoir de la poésie. Dans la Favola d’Orfeo, Politien fait chanter à Orphée deux distiques élégiaques, sorte de centon d’Ovide. Dans la praefatio de la silve Manto, écrite à l’imitation des préfaces allégoriques de Claudien (v. 14-30), Orphée apparaît dans le banquet des Argonautes pour charmer la nature entière par son chant, mais le topos traditionnel est renouvelé par l’audace du jeune Achille, qui s’empare de sa lyre pour produire un chant grossier dont se moquent les convives (transposition d’un épisode rapporté par Lucien) : derrière Orphée et Achille se cachent Virgile et Politien. Dans la silve Nutricia, Politien évoque d’abord (v. 124-131) la puissance du chant d’Orphée, qui dompte les fauves et même Cerbère ; puis il revient, en l’associant à Amphion, Musée et Linus, sur le pouvoir magique de son verbe poétique, jusqu’à son démembrement par les Bacchantes et à la navigation de sa tête et de sa lyre jusqu’à Lesbos, où Néanthe, pour son malheur, ose toucher ses cordes ; la lyre est accueillie au ciel alors que la statue d’Orphée à Libethra exsude au passage d’Alexandre (v. 283-320). Orphée apparaît comme le poète par excellence. À la fin du livre 3 de l’Urania (v. 1335-1379), Pontano arrive à la constellation de la Lyre et reprend la narration du mythe d’Orphée de la descente aux enfers jusqu’à la seconde perte d’Eurydice, avec un long cri de douleur qui, avec la structure musicale d’un refrain, appelle les mères de Thrace à le supprimer. Mais le mythe d’Orphée se lit aussi en filigrane dans la seconde églogue (Melisseus v. 10-15, puis 210-236), avec une inversion originale : ce n’est plus Eurydice morte qui suit le poète Orphée, mais Melisseus-Pontano, le poète vivant, qui suit Ariadna, son épouse morte, si bien qu’au final Pontano surpasse Orphée : la poésie semble pouvoir triompher de la douleur et du deuil. Ici encore, le dernier mot est à la poésie et nous sommes au cœur du mythe d’Orphée : le pouvoir de la poésie. Chanter Orphée, en définitive, c’est chanter la poésie. Jean-Louis Charlet Professeur de latin tardif, médiéval et humaniste à l'université d’Aix-MarseilleUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Using Acceleration to Compute Parameterized System Refinement

In this paper, we present a verification approach for a class of parameterized systems. These systems are composed of an arbitrary number of similar processes. As in \cite{abdulla99b} we represent the states by regular languages and the transitions by transducers over regular languages. If we can compute a symbolic model by acceleration of the actions, then we can also verify a refinement relation R between the symbolic models. We show that, under some conditions, if R is verified between two symbolic models, then refinement is verified between concrete parameterized systems. Then, we can take advantage the property (safety and PLTL properties) preservation by refinement for their verification