Literatura científica selecionada sobre o tema "Réévaluation (mathématiques)"

This paper is on the adjustment of reported populations in Nigerian censuses. The ultimate objective is to provide reliable base populations which may be used to provide improved estimates of demographic parameters. Mathematical methods are applied to obtain adjusted from the reported populations by sex and age in single years and 5-year age groups in the 1963, 1991 and 2006 Nigerian censuses. Thereafter, the adjusted data were subjected to re-evaluation. The results of the re-evaluation of the adjusted data show that the qualities of the adjusted data as well as the estimates of demographic parameters have improved. For data by age in single years, the preference for the end digits 0 and 5 appear to have been reduced while the accuracy index shows that quality of adjusted data by 5- year age groups has improved across the censuses. It has therefore, been recommended that the adjusted data be used for estimation of demographic parameters and population projection among others.Ce document est sur l'ajustement de la population rapportée dans des recensements nigérians. L'objectif final est de fournir les bases populations dignes de confiance qui peuvent être employées pour donner des évaluations améliorées des paramètres démographiques. Des méthodes mathématiques ont été appliquées pour obtenir ajusté des populations rapportées par sexe et par âge dans les seules anneés et de la tranche de cinq ans dans les recensements nigérians de 1963, 1991 et 2006. Ensuite, les données ajustées ont été soumises à la réévaluation et utilisées pour obtenir des évaluations des paramètres démographiques. Les résultats de la réévaluation des données ajustées prouvent que les qualités des données aussi bien que des évaluations ajustées de quelques paramètres démographiques se sont améliorées. Il est recommandé alors, que les données ajustées soient employées pour l'évaluation des paramètres et de la projection de population démographiques parmi d’autres.

Nous commençons par souligner les trois innovations kantiennes qui mettent la philosophie théorique sur une nouvelle voie. Premièrement, une nouvelle forme de la Philosophie théorique, présentée non plus comme une théorie directe de la nature, mais comme une enquête réflexive de la science mathématique de la Nature comme un fait primitif. Deuxièmement, la méthode transcendantale, comme détermination réflexive-régressive des conditions subjectives de possibilité de la connaissance des objets en général. Troisièmement, le rôle central joué par la science newtonienne de la nature. Après cela, je discute de la réévaluation logico-positiviste du récit de Kant à la lumière de la relativité générale d'Einstein et de la réplique de Cassirer, soulignant avec ce dernier la nécessité d'une révision des thèses de Kant sur l'espace, sans toutefois abandonner la posture transcendantale kantienne et sa théorie de la constitution de quelque chose comme objet de connaissance. Enfin, nous concluons par quelques remarques qui visent à une esthétique transcendantale renouvelée qui serait capable d’absorber la théorie de l’espace-temps que la physique d’Einstein a mise en avant.

La figure d’Ada Lovelace a été une sorte de révélation pour ceux qui travaillent dans le domaine artistique. Elle a inspiré une réévaluation de la façon dont l'histoire de la science elle-même est racontée, dans une perspective qui reflète plus étroitement la réalité de ceux qui travaillent dans les disciplines des STIM (Science, technologie, ingénierie et mathématiques), comme un système de collaboration où la connaissance progresse grâce aux efforts du plus grand nombre, et non à l'effort d'un seul. À cet égard, Ada Lovelace apparaît à la fois comme une icône de l'émancipation globale des femmes, et un parangon d'une culture entièrement repensée des domaines des STIM. Cet essai examine l'iconographie d'Ada Lovelace en mettant l'accent sur quatre œuvres : The Difference Engine, Arcadia, The Thrilling Adventures of Lovelace and Babbage, et Doctor Who.

La construction d’un objet complexe est un processus fastidieux, impliquant des cycles successifs d’essais et de corrections. Pour alléger la difficulté de la conception, les systèmes de modélisation paramétrique actuels proposent une fonctionnalité de rejeu permettant de regénérer un objet grâce à l’édition de ses paramètres. Cependant, ce processus nécessite soit une détection des changements topologiques basée sur une analyse complète de l’objet modifié, ce qui est coûteux ; soit ces changements sont codés explicitement dans les opérations, ce qui peut être source d’erreurs. Pour répondre à ces limites, nos travaux se concentrent sur le développement d’un système de modélisation basé sur des règles, permettant de rejouer un processus constructif, notamment avec l’ajout, la suppression et le déplacement d’opérations. Nous considérons des opérations formalisées par des règles de transformation de graphe Jerboa. Notre première contribution est une analyse syntaxique des opérations permettant de détecter les changements topologiques (création, scission, fusion, etc.). Cette analyse des règles est statique et indépendante des objets auxquels celles-ci sont appliquées. Ainsi, les changements topologiques peuvent être détectés et suivis automatiquement. Dans certains cas définis, une analyse localisée au sein de l’objet permet de confirmer ou non les changements détectés. La seconde contribution s’appuie sur notre approche de détection des changements topologiques pour proposer un mécanisme de rejeu. Un processus constructif est une suite d’opérations appliquées sur des entités topologiques spécifiques. Rejouer un processus constructif nécessite de résoudre le problème classique de la nomination persistante des entités topologiques dans un modèle géométrique. Pour répondre à ce problème, nous proposons une reconstitution de l’historique des entités topologiques référencées dans le processus constructif. Chaque entité possède une histoire unique qui l’identifie. Grâce à ce mécanisme, nous proposons un référencement robuste des entités topologiques lors du rejeu. Notre troisième contribution vise à étendre notre mécanisme de rejeu aux scripts de règles qui permettent de construire des opérations complexes à l’aide de structures de contrôles. Nous proposons pour cela d’utiliser les scripts Jerboa avec des structures de contrôles classiques telles que les itérations et les alternatives. Nous proposons une extension de notre mécanisme de rejeu pour inclure ces structures de contrôle, offrant ainsi une plus grande flexibilité dans la modélisation et la gestion des opérations complexes
Designing a complex object is a tedious process involving repeated cycles of trial and error. In order to alleviate such a difficulty in the designing process, current parametric modelling systems offer some reevaluation mechanism sallowing a user to rebuild an object based on the editing of its parameters. However, such a process requires either processing an entire mesh in order to detect topological changes, which is computationally expensive, or hard-coding the changes in the modelling operations, which is computationally efficient but increases the risks to introduce detection errors. To address these limitations, our works focus on the development of a rule-based modelling system dedicated to the reevaluation of modelling processes. In particular, this system allows the addition, deletion and reordering of the operations defining those processes. We consider operations formalised with Jerboa’s graph transformation rules. Our first contribution is the syntactic analysis of the operations allowing for the detection of topological changes (creation, split, merge, and so on). These analyses are statically performed on rules, independently of the object onto which they are being applied. Thus, topological changes can be automatically detected and tracked. In some defined cases, a localised analysis performed within the object can assert whether the event has occurred or not. Our second contribution makes use of our topological changes detection approach in order to offer a reevaluation mechanism. Considering that a modelling process is a record of operations sequentially applied on specific topological entities, reevaluating a modelling process first requires solving the long-standing problem of persistently naming topological entities in a geometric model. To achieve this goal, we offer to reconstitute the histories of topological entities referenced within a modelling process. Each entity can be identified through its history, which is unique. With this mechanism, we reference topological entities in a robust way throughout reevaluation. Our third contribution aims to extend our reevaluation mechanism to include scripts of rules which can be used to create more complex operations. The Jerboa script language makes it possible to create such scripts with usual control structures such as alternatives and iterations. We extend our reevaluation mechanism by including these control structures, hence, enabling the user with greater versatility in modelling and managing complex operations