2D multi-objective placement algorithm for free-form components

This article presents a generic method to solve 2D multi-objective placement problem for free-form components. The proposed method is a relaxed placement technique combined with an hybrid algorithm based on a genetic algorithm and a separation algorithm. The genetic algorithm is used as a global optimizer and is in charge of efficiently exploring the search space. The separation algorithm is used to legalize solutions proposed by the global optimizer, so that placement constraints are satisfied. A test case illustrates the application of the proposed method. Extensions for solving the 3D problem are given at the end of the article.Comment: ASME 2009 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, San Diego : United States (2009

Structure familiale et exode rural : Le cas de Saint-Damase, 1852-1861

Le maintien d’un niveau élevé de fécondité dans un contexte d’exode massif est souvent interprété comme le résultat de la persistance de valeurs culturelles traditionnelles devenues inadaptées aux nouvelles conditions socio-économiques. Cette étude, basée sur l’analyse des recensements nominatifs dans une paroisse québécoise au 19e siècle, montre que l’exode rural fut beaucoup plus le fait de familles entières expulsées de la société rurale que d’individus quittant leur famille pour la soulager d’une pression démographique intenable. De plus, le comportement migratoire des familles rurales semble avoir été déterminé par leur situation socio-économique, dans un processus au sein duquel les variables liées à la structure familiale et à la fécondité n’exerçaient pas d’effet significatif.A continuing high level of fertility in a context of heavy emigration is often viewed as the result of the persistence of traditional cultural values unfitted to new socio-economic conditions. This study, based on the analysis of nominative census data for a 19th century Quebec parish, shows that rural exodus is much more the result of entire families leaving their land than of individuals leaving their families in order to relieve them from an unbearable demographic burden. Moreover, the migration behavior of rural families seems to have been determined by their socio-economic situation, in a process wherein variables related to family structure and fertility did not have a significant role.El mantenimiento de un nivel elevado de fecundidad en el contexto de un éxodo masivo es a menudo interpretado como el resultado de la persistencia de valores culturales tradicionales que resultaron inadaptados a las nuevas condiciones socio-económicas. Este estudio basado sobre el análisis de censos nominativos en una parroquia quebequense en el siglo 19, muestra que el éxodo rural fue mucho más el hecho de familias enteras expulsadas de la sociedad rural que de individuos dejando su familia para aliviarla de una presión demográfica insostenible. Además, el comportamiento migratorio de las familias rurales parece haber sido determinado por su situación socio-económica en un proceso en el interior del cual las variables ligadas a la estructura familial y a la fecundidad no exercía ningun efecto significativo

Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Numbers

In Feron presents how Lyapunov-theoretic proofs of stability can be migrated toward computerreadable and verifiable certificates of control software behavior by relying of Floyd’s and Hoare’s proof system.However, Feron’s proofs are addressed towards exact, real arithmetic and do not accurately represent the behavior of realistic programs run with machine arithmetic. We address the issue of errors resulting from the use of floating-point arithmetic: we present an approach to translate Feron’s proof invariants on real arithmetic to similar invariants on floating-point numbers and show how our methodology applies to prove stability, thus allowing to verify whether the stability invariant still holds when the controller is implemented.We study in details the open-loop system of Feron’s paper. We also use the same approach forFeron’s closed-loop system, but the constraints are too tights to show stability in this second case:more leeway should be introduced in the proof on real numbers, otherwise the resulting system might be unstable

Preservation of Lyapunov-Theoretic Proofs: From Real to loating-Point Numbers

In Feron presents how Lyapunov-theoretic proofs of stability can be migrated toward computer-readable and verifiable certificates of control software behavior by relying of Floyd's and Hoare's proof system. We address the issue of errors resulting from the use of floating-point arithmetic: we present an approach to translate Feron's proof invariants on real arithmetic to similar invariants on floating-point numbers and show how our methodology applies to prove stability, thus allowing to verify whether the stability invariant still holds when the controller is implemented. We study in details the open-loop system of Feron's paper. We also use the same approach for Feron's closed-loop system, but the constraints are too tights to show stability in this second case: more leeway should be introduced in the proof on real numbers, otherwise the resulting system might be unstable

Préservation de preuve lors de la compilation sur microcontrôleur

Prix du meilleur poster GDR-GPL (Conservatoire national des arts et métiers, Paris, 10 au 13 juin 2014)Conception d’un système embarqué : Un système embarqué est un système informatique autonome spécialisé. - Contraintes d’autonomie, de temps d’exécution, de sécurité & sûreté. - Utilise un microprocesseur basse consommation ou un microcontrôleur. - Systèmes embarqués dans les moteurs, les télécommandes, les appareils de bureau, l’électroménager, les jouets, les téléphones, etc.Travail de conception sur deux niveaux : - Formalisation : Conception du système, Modèlisation physique de l'environnement, Preuve mathématique que le système se comporte correctement. - Réalisation : programme C de très bas niveau : plusieurs milliers de LOC, calculs décomposés en opérations élémentaires, gestion des moteurs et des capteurs.Objectifs : Comment être sûr que le programme exécuté est correct

Contraintes textuelles et résistances du lecteur

International audienceEn prenant comme support la nouvelle Les Sabots de G. de Maupassant et en me servant de l’image du théodolite, il s’agit de réfléchir sur le(s) “lieu(x)” ou “espace(s)” du lecteur et sur les manières de construire un “territoire” de lecture. Par territoire de lecture, il faut entendre le territoire virtuel des lecture(s) singulière(s) et plurielle(s), des procès de territorialisation et de déterritorialisation, mais aussi les seuil(s) de la lecture et de ses trajectoires, de ses espaces de recueil et/ou d’abri (points d’appui, de certitudes et/ou d’incertitudes). Ces) territoire(s) est(sont) balisé(s) par les différents parcours de lecture, ce que, par exemple, Foucault (1969) appelle les « séries signifiantes » et Barthes (1978) les « allées et venues d’un enfant qui joue autour de sa mère »

Can publication standards be lowered during a pandemic?

The peer-review system is the guarantee of the quality of publications. It has its flaws and is sometimes contested, but we have no better alternative. The SARS-CoV-2 pandemic has led to an increased demand from researchers, journalists and citizens for rapid information. How have scientific journals evolved to rapidly disseminate research data that is as valid as possible? The number of manuscript submissions has doubled or tripled compared to similar periods in 2019 for most journals. Editorial boards were faced with unexpected volumes of articles to review, with a shortage of reviewers, in an environment of competition between researchers and journals to publish quickly. New sections have been created, peer-review has been accelerated and even simplified, with open access publications. Questionable research practices were observed; prestigious journals published articles whose quality standards were no longer those of normal times. Journals were manipulated with the complicity of the scientific community. These practices show that open science principles and declarations such as the Singapore Declaration on Research Integrity have little impact on the behaviour of some researchers

La progression des élèves au secondaire et au collégial

En utilisant les fichiers du ministère de l’Éducation pour la période allant de 1976 à 1981, les auteurs s’appliquent à mesurer la progression des élèves à différentes étapes significatives de leur cheminement scolaire. La méthodologie consiste à établir des taux selon l’âge, puis à les cumuler transversalement pour chaque année d’observation. Les données les plus récentes indiquent que sur 100 jeunes, 64 obtiennent un diplôme du secondaire à l’enseignement régulier (classes du jour), 8 l’obtiendront à l’éducation des adultes (formation continue), 46 entreprennent des études collégiales à temps plein, et 27 obtiennent un diplôme d’études collégiales. De plus, on constate que la situation tend à s’améliorer constamment depuis 1976. Les auteurs décrivent ensuite la progression des élèves des quelques générations réelles dont l’essentiel du cheminement scolaire s’est déroulé au cours de la période d’observation