4,442 research outputs found
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 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
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
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
- …