Literatura académica sobre el tema "Vérification scientifique"

Résumé L’article se penche sur le rôle de guérison que jouent les plantes à l’intérieur du mouvement rastafari sud-africain dans les townships de Cape Town, notamment sous l’angle de l’anthropologie de la santé, des sciences et des technologies. Par une recherche plus globale, l’auteure procédera au suivi ethnographique de la trajectoire de la plante médicinale indigène sud-africaine Artemisia afra (A. afra) alors que celle-ci traverse diverses étapes préparatoires conduisant aux essais cliniques. Le double objectif de vérification scientifique et de promotion des savoirs traditionnels que poursuit le projet d’essais précliniques relatif à l’A. afra soulève divers enjeux épistémologiques alors que les scientifiques et les amagqirhas (guérisseurs) et inyangas (herboristes) Xhosa profilent diverses notions d’efficacité. Aux côtés de ces derniers se retrouvent les herboristes rastafaris qui défendent également leurs savoirs traditionnels au sujet des plantes médicinales, dont ceux portant sur l’A. afra. Le parcours des herboristes rastafaris et leur herbe sacrée, la dagga (cannabis sativa, ganja), occupent un rôle particulier en lien avec l’A. afra, lequel sera ici esquissé. L’étude met en lumière les relations unificatrices qu’exerce la dagga au sein des pratiques phytothérapeutiques rastafaris, relations paradoxalement intensifiées par des rapports antagonistes avec le système bio-médico-légal sud-africain, et ce, dans un contexte de mondialisation. Il ne s’agit donc pas de rendre exotique le mouvement rastafari, mais bien d’en comprendre les articulations et les propositions qui puissent informer et défier les épistémologies scientifiques et biopolitiques dominantes actuelles. En conclusion, la façon de promouvoir les savoirs traditionnels sur les plantes en utilisant le parcours des essais cliniques scientifiques demeure très limitative. L’exploration de nouvelles voies de compréhension de l’efficacité des remèdes est plutôt suggérée.

Chaque numéro publié d’une revue scientifique vient clore plusieurs rondes de tractations qui débutent au sein du comité de rédaction, se déplacent ensuite autour de ceux qui ont accepté de participer au numéro et se ramifient et se prolongent durant les évaluations et les révisions des manuscrits qui seront finalement publiés. Les directeurs successifs sont contraints de balancer la part relative des articles de réflexion et des articles d’investigation, la proportion relative des enquêtes empiriques qui procèdent par vérification d’hypothèses et celle des investigations ouvertes et exploratoires. En se basant sur l’ensemble des articles publiés dans la revue Criminologie de 1968 à 2016 (n = 658), cette étude s’intéresse à l’effet des différentes stratégies éditoriales mises en place sur la part relative qui sera accordée à la recherche empirique quantitative dans le discours criminologique. Les analyses montrent que les directeurs, par l’intermédiaire des comités de rédaction, peuvent agir sur l’offre par des innovations éditoriales (introduction de numéros thématiques, publication semestrielle, ouverture aux publications hors thèmes, diversification de la provenance des auteurs), mais aussi contrôler cette offre par une hausse des standards (uniformité de la taille des articles, complexité des analyses) et par une sollicitation active d’articles innovateurs. Ces innovations éditoriales ont diversifié le discours scientifique de la revue et ont assuré, au final, la survie de la revue durant un demi-siècle.

Avec l’avènement de la médecine vétérinaire moderne, les pratiques traditionnelles vétérinaires sont reléguées au second plan dans la gestion zoosanitaire des animaux d’élevage. Toutefois, la médecine vétérinaire moderne n’a pas pu faire face à tous les problèmes sanitaires des exploitations d’élevage, surtout dans les milieux ruraux où l’accès aux médicaments et services vétérinaires pose un problème. A cela s’ajoute le faible pouvoir d’achat des éleveurs. Ces derniers sont obligés de recourir aux pratiques et connaissances traditionnelles pour traiter leurs animaux. La médecine ethnovétérinaire a joué un rôle primordial dans la gestion des exploitations d’élevage depuis la domestication jusqu’à nos jours. Les auteurs retracent l’évolution des pratiques ethnovétérinaires puis examinent la contribution de la recherche scientifique à la connaissance et l’amélioration de la médecine traditionnelle vétérinaire. Les raisons qui expliquent aujourd’hui l’engouement autour des pratiques traditionnelles vétérinaires sont discutées. Des mesures sont proposées sous forme de perspectives pour pérenniser la médecine ethnovétérinaire. Il s’agit principalement d’oeuvrer pour la disponibilité des plantes médicinales et autres ressources naturelles utilisées dans les pratiques ethnovétérinaires, mais aussi de prouver scientifiquement l’efficacité de ces plantes et de transmettre aux éleveurs les informations les plus pertinentes. L’intégration des pratiques et des connaissances traditionnelles dans la médecine vétérinaire moderne apparait comme une alternative prometteuse pour une meilleure gestion de la santé des animaux d’élevage. Les conditions de cette intégration sont évoquées. La recherche scientifique a encore un grand rôle à jouer dans la vérification de l’efficacité des traitements ethnovétérinaires.

La mise en place d’une démarche scientifique dans un contexte nouveau constitue une compétence que tout étudiant·e universitaire devrait être en mesure de développer. Pour les étudiant·es suivant le parcours de sciences visant à former à des professions en lien avec la recherche, cette compétence constitue même un fondement indispensable. Dans les programmes d’enseignement des sciences, une des activités pédagogiques les plus fréquemment adoptées pour travailler cette compétence reste le travail en laboratoire (i.e. un type de travaux pratiques ; TP). Toutefois, le format de ces TP, souvent orienté vers la vérification, peut en limiter les retombées ou éventuels bénéfices. Un format innovant dans notre contexte d’enseignement a été conçu et appliqué à toute une unité d’enseignement (UE) de TP étendue sur une année, pour 39 étudiant·es de troisième année universitaire (Licence 3 ; L3) de chimie. Ce format intègre les principes de la pédagogie active et de la formation par la recherche. Durant l’année, cinq séquences se succèdent ; chacune comprenant notamment une séance préparatoire, une séance expérimentale en laboratoire et une séance d’échanges en aval. Chacune de ces séquences conduit à la réalisation de travaux de type recherche (e.g. poster scientifique, article scientifique) par les étudiant·es. Afin de mesurer la pertinence relative du dispositif pédagogique mis en œuvre, comparativement aux autres dispositifs proposés dans les autres UEs au programme de la formation de L3 – toutes les UEs visant à développer la démarche scientifique – , un questionnaire auto-rapporté a été distribué aux étudiant·es à la fin de chacun des deux semestres universitaires. Il leur était demandé d’indiquer dans quelle mesure ils estimaient avoir développé, dans chaque UE, la compétence de mettre en œuvre une démarche scientifique en mobilisant des connaissances, des savoir-faire et des façons d’agir propres à celle-ci. En parallèle, ils étaient aussi interrogés sur leur perception d’acquisition de connaissances, de savoir-faire et de façons d’agir liés aux bonnes pratiques de laboratoire et à l’environnement de travail. Afin d’évaluer l’atteinte des différents objectifs d’apprentissage (i.e. différentes étapes de la démarche scientifique), les productions des étudiant·es ont été évaluées au moyen de grilles d’évaluation dont les critères traduisaient ces différents objectifs d’apprentissage. Les résultats indiquent que les étudiants ont la perception d’avoir développé la compétence de mise en œuvre d’une démarche scientifique, et tout particulièrement au travers de notre UE de TP. Par ailleurs, les différents scores attribués par les étudiant·es à notre UE de TP sont significativement supérieurs à ceux attribués à la majorité des autres UEs, sauf en ce qui concerne l’acquisition de savoirs liés à l’environnement de travail où aucune différence n’est retrouvée entre les UEs. Les moyennes académiques particulièrement élevées des productions étudiantes indiquent que les objectifs d’apprentissage ont, selon l’enseignant évaluateur, été atteints. Ainsi, il semblerait possible de former efficacement à la démarche scientifique, en passant par l’application de principes de la pédagogie active et de la formation par la recherche.

Depuis fin 2018, le fonctionnement de la revue Bois et Forêts des Tropiques a évolué. En remplacement de Jacques Tassin, Jean-François Trébuchon a pris la suite des opérations en tant que rédacteur en chef et coordinateur éditorial. Une équipe de rédaction a été constituée, incluant six rédacteurs scientifiques : Kévin Candelier, Antoine Galiana, Laurent Gazull, Valéry Gond, Jean Gérard et Jacques Tassin. Leur mission consiste à examiner le fond scientifique des manuscrits soumis, à piloter leur évaluation en double-aveugle avec l’aide de relecteurs internationaux du Nord et du Sud, et à accompagner les auteurs dans la rédaction finale lorsque l’article est retenu comme publiable. Le processus d’évaluation des manuscrits s’articule donc en trois temps : (i) avis du comité de rédaction sur la recevabilité du dossier de soumission vis-à-vis de la ligne éditoriale et de la note aux auteurs, (ii) pilotage de l’évaluation, de manière constructive et bienveillante, conduite en double-aveugle par les pairs, et (iii) vérification de la prise en compte des recommandations des pairs et accompagnement à la rédaction avant mise en édition et publication. Fin 2019, le Comité éditorial a été renouvelé. Il rassemble une trentaine de chercheurs internationaux, référents de renom, intervenant dans les zones tropicales et méditerranéennes, et affiliés à des universités ou des centres de recherche internationaux. Une nouvelle fois, ce comité associe des chercheurs du Nord et du Sud, jeunes ou confirmés, selon une parité du genre et un équilibre des continents. Leur engagement est de trois années et court de 2020 à 2022. Leur mission est (i) de veiller à la qualité du contenu de la revue, en lien avec les évolutions thématiques des recherches sur l’environnement de la forêt, de l’arbre et du bois, (ii) d’assurer ponctuellement le rôle de relecteur ou de suggérer d’autres relecteurs, et (iii) bien entendu de proposer des manuscrits, en tant que co-auteur ou simple « rabatteur ». Pour le respect des exigences éthiques et déontologiques inhérentes aux pratiques de recherche, la revue s’est dotée d’un logiciel de reconnaissance et d’analyse de plagiat et d’auto-plagiat. L’outil épaule l’équipe éditoriale pour émettre un premier avis sur le manuscrit. Afin de favoriser le libre accès aux publications, Bois et Forêts des Tropiques a substitué la licence CC-BY à la licence Creative Commons, offrant ainsi une grande liberté dans la réutilisation des manuscrits publiés. La préservation du droit d’auteur et du copyright, dans le respect des auteurs et de la revue, n’en est pas moins garantie. Pour faciliter l’accès et le repérage pour les auteurs et les lecteurs, Bois et Forêts des Tropiques a également fait évoluer le logiciel gérant le site web et la soumission d’articles en ligne, tout en maintenant son référencement dans les bases de données bibliographiques internationales. Enfin, notre revue reste gratuite, en accès libre et soutenue financièrement par le Cirad, conformément au mandat de partenariat porté par l’institution, au service de la publication de travaux de recherche assurés dans le domaine des sciences forestières, en soutien et en coopération avec la recherche au Sud. Publiée en français ou en anglais, elle demeure un tremplin pour les jeunes chercheurs et les chercheurs chevronnés œuvrant dans l’univers de la recherche appliquée.

Editorial Este quarto volume anual da Holos é lançado à comunidade científica, integrando as ações do Gabinete Itinerante da Reitoria do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (IFRN) realizado nesta data no Campus Santa Cruz do IFRN, situado na região do Trairi do Estado do Rio Grande do Norte. Com isso, reafirmamos nosso compromisso de valorar o trabalho de difusão científica realizado com a interiorização dos Institutos Federais. Além dessa difusão interna, destacamos também a ampliação das possibilidades de alcance desta revista, no momento em que ocorre sua indexação ao Directory of Open Access Journals (www.doaj.org), ambiente de difusão de periódicos com acesso aberto em todo o mundo. Os artigos constantes desta edição apresentam grande sintonia entre sociedade e academia, com alternativas aos problemas discutidos. Para os interessados em temas ambientais, oferece-se oportunidade para discutir as seguintes questões: utilização de aterro sanitário para a redução de gases de efeito estufa; geoprocessamento como elemento de estudos de prevenção ao alagamento decorrente de chuvas; segurança química em residências; e atividade de carcinicultura. Ainda se discorre sobre temas da engenharia, a saber: avaliação de propriedades termofísicas de fluidos para refrigeração; análise do desempenho de óleos biodegradáveis e comparação com os óleos minerais; e análise de um queimador infravermelho comercial adaptado com ejetor e verificação de seus níveis de emissões de poluentes. Na área de ensino, são apresentados trabalhos que tratam de ensino de química e física para a área de educação profissional e, na área de química orgânica, abordam-se temas sociocientíficos, com enfoque em Ciência, Tecnologia e Sociedade. No ensino de física, tem-se a experimentoteca como proposta alternativa para ensino médiom além da análise do estudo de óptica no ensino fundamental. Os trabalhos na área de informática, por sua vez, foram selecionados entre os melhores artigos do evento Escola Potiguar de Computação e suas Aplicações (EPOCA), ação que busca difundir a produção acadêmica resultante de eventos científicos realizados com os parceiros do IFRN, como a UFERSA, a UERN e a UFRN. Na oportunidade, verificam-se artigos tratando dos seguintes temas: algoritmo para reconstrução de imagem com aplicações na área de sísmica; criação de um WebSig para Mossoró; e cognitio como processo para reúso de requisitos. Na área multidisciplinar, são apresentados trabalhos que tratam do espaço urbano e politicas públicas, do panorama estatístico socioeconômico e educacional do Rio Grande do Norte e dos processos de mudanças institucionais do IFRN. Chegando ao fim desta apresentação, aproveitamos a oportunidade para comunicar à comunidade científica brasileira nosso pesar pelo falecimento do pesquisador búlgaro, Prof. Dimiter Hadjiev, da Universidade da Bretanha/França. Hadjiev foi um pesquisador que difundiu sementes da cultura de inovação tecnológica nos quatro cantos do mundo, recheadas de humanismo e solidariedade, com quem tivemos a oportunidade de conviver. A ciência, seus amigos e sua família perdem prematuramente um conselheiro e um semeador de boas causas. Estes editores registram suas homenagens à memória deste pesquisador, reconhecendo sua valorosa contribuição e se solidarizando com a sua família. Nesse contexto, aprendemos que a vida deve estar pautada pelo humanismo, com colaborações de saberes. Por isso renovamos o anseio de continuar contribuindo para a produção e difusão do conhecimento, convidando-o(a) à leitura de mais uma edição da Holos! Os Editores, Prof. José Yvan Pereira Leite e Prof. André Luis Calado de Araújo Editorial Le quatrième volume de la revue HOLOS sera rendu public à la communauté scientifique, dans le cadre du travail du rectorat itinérant du IFRN au Campus de Santa Cruz. C’est une initiative qui veut mettre en valeur la diffusion scientifique liée à l’intériorisation des Instituts Federaux dans tout le Brésil. La publication de la revue au Campus Santa Cruz du IFRN représente le compromis de l’Institution avec le développement centré sur la diffusion scientifique de cet important réseau d’Éducation, Sciences et Technologie. Dans ce context la HOLOS gagne l’intérieur brésilien et le monde, du fait que ses éditions s’elargissent par l’indexation au Directory of Open Access Journals (www.doaj.org), une plateforme d’accès ouvert au monde. La lecture peut être regroupée pour les intéressés aux thèmes concernant l’environnement qui dissertent sur: l’utilisation des décharges sanitaires pour la réduction de l’émission des gas à effet de serre; le SIG comme matériel d’étude pour la prévention des innondations due aux pluies; la sécurité chimique des logements; et les activités liées a l’élevage de crevettes. Ces articles font converger société et academie et présentent des alternatives aux problèmes discutés. Il est possible aussi d’ouvrir des discutions sur les thèmes d’ingénierie comme: l’évaluation des propriétés thermophysiques des liquides pour réfrigération , l’analyse de performance des huiles biodégradable en comparaison avec les huiles minérales; ou encore l’analyse d’un brûleur commercial infrarouge adapté á un éjecteur et la vérification de leurs niveaux d'émission de polluants. Dans le domaine de l’enseignement les articles présentés traitent spécifiquement de l’enseignement de la phisyque et de la chimie pour l’éducation professionnelle. Dans le domaine de la chimie organique, les thèmes socio-scientifiques mettent l’accent sur la Science, la Technologie et la Societé. Dans l’enseignement de la physique, deux travaux sont presentés: l’”experimentothèque” comme alternative à l’enseignement au lycée et l’analyse de l’enseignement de l’optique a l’école primaire. Les travaux dans le domaine de l’informatique ont été sélectionnés parmi les meilleurs articles presentés dans le cadre de “L’ école Potiguar d’informatique et ses applications (EPOCA)”. Les travaux traitent de l’algoritm pour la reconstruction de l’image en sismologie, de la création d’un WebSig pour la ville de Mossoró et du “cognitio”, comme processus de réutilisation des produits d’entrée. Dans le domaine multidisciplinaire les travaux présentés s’intéressent à l’espace urbain et aux politiques publiques, au panorama statistique, socioéconomique et educationnel de l’État de Rio Grande do Norte et aux changements institutionnels de l’ IFRN. Dans cette édition nous communiquons à la communauté scientifique brésilienne le départ du chercheur bulgar, le Prof. Dimiter Hadjef, de l’Université de la Bretagne en France. Hadjef, que j’ai eu l’occasion de connaître, a parsemé aux quatre coins de la planète les graines d’une culture de renouvellement téchnologique, enrichie d’humanisme et de solidarité. La science, ses amis et sa famille perdent prématurément un conseiller et un semeur de bonnes causes. Ces éditeurs rendent hommage à la mémoire de ce chercheur en reconnaisant la grande valeur de sa contribution et se solidarisent avec sa famille. Avec lui nous aprennons que la vie doit être remplie d’humanisme et de collaboration entre les différents savoirs. Nous vous invitons à la lecture de cette nouvelle édition de Holos. Les Éditeurs Prof. José Yvan Pereira Leite e Prof. André Luis Calado de Araújo

Dans le cadre d’une étude sur les stratégies de lecture, nous avons fait appel à une technique introspective : le protocole oral. Dans le présent article, nous abordons certains points en rapport avec cette technique dont la familiarisation des participants à la verbalisation, la transcription des protocoles et la vérification de la fidélité des données. Seize universitaires francophones aux études avancées ont lu deux résumés d’articles scientifiques (un en français et un en anglais), et verbalisé leurs stratégies de lecture. Quatre-vingt-dix stratégies ont pu ainsi être colligées. En plus de faire état des stratégies mêmes, nous présentons les limites du protocole et ses retombées pédagogiques.

Cette recherche traite des dispositifs d’orientation scolaire et professionnelle (DOSP) voués au soutien et à l’accompagnement de jeunes inégalement dotés dans leur parcours d’orientation au moment de la transition vers l’enseignement supérieur. Des innovations méthodologiques étaient requises afin d’étudier cette question dans la perspective théorique de justice sociale d’Amartya Sen (1992), dont l’élaboration et la vérification des qualités scientifiques d’outils de récolte de données dans une étude comparative internationale. Cette étude multicas se fonde sur cinq pays : le Burkina Faso, le Canada, la France, la Turquie et la Suisse. Dans chacun des cas, des données qualitatives ont été récoltées sur le système éducatif, sur l’organisation des services et sur les prestations de services d’orientation. Vingt-six entretiens semi-structurés ont été menés auprès de responsables de service, de conseillères et conseillers d’orientation-psychologues ainsi que de jeunes en transition vers l’enseignement supérieur. La validité interne ou crédibilité des outils a été assurée tout au long de l’élaboration et des révisions du protocole de recherche, empruntant les procédés propres à l’étude de cas. La vérification de la validité de construit et de la validité externe ou transférabilité, effectuée à partir des données de la préenquête, a mis en lumière la valeur heuristique des outils. Au final, le cadre comparatif des DOSP, présenté en annexe, compte parmi les toutes premières formes d’opérationnalisation du cadre théorique de Sen au champ de l’orientation.

Le débat sur les théories de l’action et la modélisation relationnelle quant à sa capacité à comprendre les interactions entre individus est encore animé. Malgré les nombreux travaux scientifiques déjà réalisés qui démontrent que les théories de l’action ne sont pas de bons outils pour comprendre les interactions et que la modélisation relationnelle leur est supérieure, la notion d’un acteur intéressé guidé par son intention persiste. Cependant, la vérification en milieu naturel n’a pas encore eu lieu. Un travail de recherche a été effectué pour répondre à cette critique. Une saisie audiovisuelle a eu lieu auprès de cinq familles canadiennes au cours d’une semaine dans leur foyer. L’analyse de ces données montre que dans seulement 13,1 % des propos on a pu repérer une intention. Dans 9,3 % des propos, cette intention émerge de la dynamique en cours alors que dans seulement 3,8 % des propos observe-t-on que l’intention précède l’échange. Dans 2,3 % des propos, nous observons une non-intégration de l’information avec le discours qui a lieu et cette statistique diminue à 0,4 % des propos lorsqu’une nouvelle information entre en jeu. Ces résultats démontrent clairement que l’intention n’est pas le facteur absolu d’explication des interactions entre les membres d’une famille captées en milieu naturel, ce qui est conforme aux recherches antérieures.

Introduction Les données récentes semblent indiquer que l’environnement bâti peut faciliter comme décourager l’activité physique. Les revues de la littérature disponibles ont en général comme limite de ne pas être spécifiques à un pays. Nous avons effectué une revue systématisée des études quantitatives qui analysent les associations, mesurées objectivement, entre l’environnement bâti et la marche chez les adultes canadiens. Méthodologie Nous avons effectué une recherche dans cinq bases de données scientifiques pour sélectionner les études évaluées par les pairs et publiées jusqu’au 31 décembre 2016 ayant analysé l’association entre l’environnement bâti (mesuré objectivement grâce à des vérifications et à un système d’information géographique [SIG]) et l’activité physique chez un échantillon d’adultes canadiens. Deux chercheurs ont effectué les recherches dans les bases de données, ont filtré les articles par titre et résumé, ont revu l’intégralité des textes sélectionnés et en ont extrait les données. Résultats Parmi les 4 140 articles recensés, 25 respectaient nos critères d’inclusion. La plupart des études contenaient des données sur une seule province canadienne. Toutes les études sauf deux étaient transversales. La plupart des études disposaient d’information autodéclarée sur la marche comme mode de déplacement et la marche sans but spécifié. Le potentiel piétonnier global et l’occupation des sols ont été systématiquement associés à la marche comme mode de déplacement, alors que la proximité de la destination a été associée à la marche sans but spécifié. Conclusion Les résultats de notre revue de littérature suggèrent que l’environnement bâti possède un fort potentiel susceptible d’encourager la marche chez les adultes. Ce sont surtout le potentiel piétonnier global, l’occupation des sols et la proximité de la destination qui sont importants, si l’on se fie à leur association à la marche comme mode de déplacement et à la marche sans but spécifié.

Nous nous proposons d'analyser ce que font les élèves de 1ere s en situation de devoir surveille en partant de l'observation des processus de vérification, et plus largement de contrôle, qu'ils utilisent. Les processus de vérification, dont nous donnons une typologie, font partie des processus de validation étudiés par N. Balacheff, ils ont un caractère particulier du au fait que leur mise en œuvre est fondée sur le doute et qu'ils visent à limiter l'incertitude sur un résultat. Pour étudier la situation, nous nous plaçons dans le cadre théorique de la perspective anthropologique et de la transposition didactique développée par Y. Chevallard. Nous utiliserons également la notion de contrat didactique. Pour étudier quel est réellement le problème de l'élève, nous nous servons des concepts de problème et de représentation du problème de la psychologie cognitive. Ces deux analyses sont mises en relation par la détermination de contraintes perçues par tous et auxquelles chaque élève apporte une réponse particulière. Grace a notre méthodologie qui a consiste a recueillir les copies et les brouillons des élèves d'une classe, puis a avoir un entretien avec certains d'entre eux selon la technique d'entretien d'explicitation, nous avons pu mettre en évidence deux composantes dans le travail des élèves: un travail public destine a être montre au maitre et qui sera évalue et un travail prive qui restera hors de sa vue et dans le cadre duquel les vérifications sont faites. En interrogeant les mêmes élèves à propos de plusieurs devoirs nous avons pu trouver des invariants dans leurs conduites

Les travaux développés dans cette thèse visent à assister le processus d’ingénierie des exigences temporelles pour les systèmes complexes à contraintes de temps. Nos contributions portent sur trois volets : la spécification des exigences, la modélisation du comportement et la vérification. Pour le volet spécification, une nouvelle classification des exigences temporelles les plus communément utilisées a été proposée. Ensuite, afin de cadrer l’utilisateur durant l’expression des exigences, une grammaire de spécification à base de motifs prédéfinis en langage naturel est développée. Les exigences générées sont syntaxiquement précises et correctes quand elles sont prises individuellement, néanmoins cela ne garantie pas la cohérence de l’ensemble des exigences exprimées. Ainsi, nous avons développé des mécanismes capables de détecter certains types d’incohérences entre les exigences temporelles. Pour le volet modélisation du comportement, nous avons proposé un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporisés. L’idée étant de manipuler une notation assez intuitive et de générer automatiquement des modèles formels qui se prêtent à la vérification. Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d’observateurs et qui repose sur le model-checking. Concrètement, nous avons élaboré une base de patterns d’observation (ou observateurs) ; chacun des patterns développés est relatif à un type d’exigence temporelle dans la nouvelle classification. Ainsi, la vérification est réduite à une analyse d’accessibilité des états correspondants à la violation de l’exigence associée
The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers’ KO states relatives to the requirements’ violation

Le télescope spatial James Webb (JWST) est le successeur du télescope spatial Hubble (HST). Il est développé en collaboration par les agences spatiales NASA, ESA et CSA. Le spectrographe proche infrarouge NIRSpec est un instrument du JWST. Le Centre de Recherche Astrophysique de Lyon (CRAL) a développé le logiciel de simulation des performances (IPS) de NIRSpec en vue de l'étude de ses performances et de la préparation de poses synthétiques réalistes. Dans cette thèse, nous vérifions certains algorithmes de l'IPS, en particulier ceux traitant des transformations de coordonnées et de la propagation en optique de Fourier. Nous présentons ensuite une interface simplifiée pour la préparation de " scènes " d'observation et un logiciel de traitement de données permettant d'extraire des spectres à partir de poses synthétiques afin de faciliter l'exploitation des simulations. Nous décrivons comment nous avons construit et validé le modèle de l'instrument par comparaison avec les données de calibration. Pour les transformations de coordonnées, le modèle final est capable de reproduire les mesures avec une précision 3 à 5 fois meilleure que celle requise pour la calibration spectrale. Pour la transmission globale notre précision est de 0-10% dans l'absolu et meilleure que 5% en relatif. Finalement, nous présentons la première simulation d'une observation de type " champ profond spectrographique " et nous explorons comment NIRSpec pourra être utilisé pour observer le transit de planètes extra-solaires. Nous déterminons en particulier la luminosité maximale des étoiles hôtes pouvant être observées et quels peuvent être les rapports signal sur bruit attendus.

Les architectures par composants sont de plus en plus étudiées et utilisées pour le développement efficace des applications en génie logiciel. Elles offrent, d’un côté, une architecture claire aux développeurs, et de l’autre, une séparation des différentes parties fonctionnelles et en particulier dans les applications de visualisation scientifique interactives. La modélisation de ces applications doit permettre la description des comportements de chaque composant et les actions globales du système. De plus, les interactions entre composants s’expriment par des schémas de communication qui peuvent être très complexes avec, par exemple, la possibilité de perdre des messages pour gagner en performance. Cette thèse décrit le modèle ComSA (Component-based approach for Scientific Applications) qui est basé sur une approche par composants dédiée aux applications de visualisation scientifique interactive et dynamique formalisée par les réseaux FIFO colorés stricts (sCFN). Les principales contributions de cette thèse sont dans un premier temps, un ensemble d’outils pour modéliser les différents comportements des composants ainsi que les différentes politiques de communication au sein de l’application. Dans un second temps, la définition de propriétés garantissant un démarrage propre de l’application en analysant et détectant les blocages. Cela permet de garantir la vivacité tout au long de l’exécution de l’application. Finalement l’étude de la reconfiguration dynamique des applications d’analyse visuelle par ajout ou suppression à la volée d’un composant sans arrêter toute l’application. Cette reconfiguration permet de minimiser le nombre de services non disponibles
Component-based approaches are increasingly studied and used for the effective development of the applications in software engineering. They offer, on the one hand, safe architecture to developers, and on the other one, a separation of the various functional parts and particularly in the interactive scientific visualization applications. Modeling such applications enables the behavior description of each component and the global system’s actions. Moreover, the interactions between components are expressed through a communication schemes sometimes very complex with, for example, the possibility to lose messages to enhance performance. This thesis describes ComSA model (Component-based approach for Scientific Applications) that relies on a component-based approach dedicated to interactive and dynamic scientific visualization applications and its formalization in strict Colored FIFO Nets (sCFN). The main contributions of this thesis are, first, the definition of a set of tools to model the component’s behaviors and the various application communication policies. Second, providing some properties on the application to guarantee it starts properly. It is done by analyzing and detecting deadlocks. This ensures the liveness throughout the application execution. Finally, we present dynamic reconfiguration of visual analytics applications by adding or removing on the fly of a component without stopping the whole application. This reconfiguration minimizes the number of unavailable services

La complexité grandissante des architectures modernes, rend de plus en plus difficile la tâche des programmeurs à comprendre le comportement des programmes s’exécutant sur ces machines. De plus, les compilateurs actuels génèrent des codes difficiles à comprendre, dû à l’application d’optimisations plus agressives. Cette complexité croissante, tant au niveau des architectures qu’au niveau des compilateurs, renforce le besoin d’une analyse de performance pour aider le programmeur. Différents outils et techniques existent mais aucun outil n’est suffisant, seul, pour résoudre tous les problèmes. Cette thèse propose deux outils, différents et complémentaires, pour l’évaluation de performances, de code binaire. Le premier outil, l’analyse statique de Maqao, effectue une évaluation statique des performances du code, et donne une estimation pour la qualité du code, par exemple, les ratios de vectorisation. Le second outil, Decan, est une nouvelle approche d’analyse de performances qui cible les instructions d’accès mémoire. L’objectif de Decan est de détecter le groupe d’instructions responsable des faibles performances. Les deux outils ont été combinés pour proposer une méthodologie semi-automatique pour l’évaluation de performances
Current hardware tends to increase pressure on programmers to optimize the codes. The complexity of modern architectures makes it more difficult to understand the behavior of the programs running on them. Moreover, the compilers apply aggressive optimizations which makes the compiled code more difficult to understand. This increasing complexity shows that there is still a need of performance analysis to help the programmers. Different tools and techniques exist, but no single tool is a panacea; instead, different tools have different strengths. This thesis proposes two different and complementary tools for performance analysis on binary code. The first tool, Maqao’s static analysis, performs a static evaluation of the performance of the code, and gives an estimate of the quality of the code, such as the vectorization ratios. The second tool, Decan, is a new approach of performance analysis that targets the memory instructions to pinpoint the set of instructions responsible of the poor performance. Both tools are combined to propose a semi-automated methodology for performance evaluation

Depuis la deuxième moitié du XXème siècle, l’augmentation de la concentration des trois principaux gaz à effet de serre (GES) : le Dioxyde de Carbone (CO2), le Méthane (CH4) et le Protoxyde d’Azote (N2O) du fait des activités humaines a clairement été identifiée par la communauté scientifique comme la principale cause du récent forçage radiatif affectant l’équilibre des processus énergétiques du système terrestre. Ces perturbations anthropiques ont entre autres conséquences, une augmentation de la température annuelle moyenne globale à la surface de la Terre. Étant donné que les GES sont bien mélangés dans l’atmosphère, et du fait de la complexité des différents processus du transport atmosphérique, les conséquences du forçage radiatif anthropique induit par les principales zones émettrices de GES ne se produisent pas nécessairement directement sur ces territoires. Ainsi, l’Afrique est le continent qui est historiquement le moins responsable des émissions cumulées de GES. Pourtant, le dernier rapport du GIEC (AR6) a mis en évidence que cette région est l’une des zones qui est déjà les plus touchées au monde par les conséquences du changement climatique d’origine anthropique. Des articles pionniers sur les émissions anthropiques et le budget carbone de l’Afrique comme celui de Ciais et al. (2011) avaient aussi souligné que « l’Afrique augmentera probablement sa part d’émissions globales au cours des décennies à venir » (Canadell, 2009). Or ce continent est relativement peu étudié. C’est pourquoi, nous avons choisi de focaliser l’étude au centre de ce manuscrit sur le périmètre Africain, composé de 54 pays pour lesquels nous disposons de données. Notre objectif est d’effectuer une estimation des sources et des puits d’origine anthropique sur ce continent pour les trois principaux GES. Dans ce but, la méthodologie originale utilisée ici s’appuie d’une part, sur des données dites « montantes », c’est-à-dire des rapports nationaux officiels de pays, des inventaires statistiques et des modèles basés sur des processus chimiques et biogéochimiques. D’autre part, le deuxième volet de la méthode consiste en une comparaison de ces données « montantes », avec des inversions de la méthode dite « descendante », c’est-à-dire des données satellite. Nous conduisons cette analyse pour les trois dernières décennies (1990-2018) en vue de dégager des tendances. Le but de cette étude est aussi d’apporter des éléments de réponse à la problématique suivante : comment l’état actuel des outils scientifiques peut contribuer à évaluer le respect des engagements de l’Accord de Paris pour des pays ne faisant pas partie de l’Annexe I, et en particulier dans le cas des pays Africains ? Pour apporter des éléments de réponse à cette question importante du point de vue scientifique mais aussi sociétal, le chapitre 1 présente les principales caractéristiques du CO2, du CH4 et du N2O en ce qui concerne le forçage du budget radiatif de la planète Terre. Ce premier chapitre contextualise le monitoring des sources et des puits de GES d’origine anthropique dans le cadre du dispositif de Monitoring, Reporting et de Vérification de l’Accord de Paris. Le chapitre 2 est une analyse originale des tendances pour les sources et pour les puits de GES au cours des trente dernières années, centrée sur le cas Africain. Le chapitre 3 est une discussion élargie proposant des perspectives plus globales sur le rôle des outils scientifiques pour une évaluation indépendante des pays du respect des engagements de l’Accord de Paris
Since the second part of the 20th century, the role of three main greenhouse gases (GHG) : Carbon Dioxide (CO2), Methane (CH4) and Nitrous Oxide (N2O) has been clearly established by the scientific community as the main cause of the recent forcing of the Earth energetic processes from human-induced activities, resulting among other disturbances in an increase of the annual mean surface temperatures. As GHG are well-mixed in the atmosphere and due to the complexity of atmospheric transport processes, the main emitters do not necessarily face the consequences of the additional radiative forcing that they directly induce. In this study, we restrict the analysis to CO2, CH4 and N2O because they are the most important GHG in the atmosphere. For the following-up of GHG, the Paris Agreement has a device named the “Enhanced Transparency Framework “(ETF). Within the ETF, countries have to report annually or biannually their GHG emissions and removals starting in 2023 within the Global Stocktake (GST). The ETF is based on the Monitoring, Reporting and Verification (MRV) provisions of the PA, aiming at the measurement of GHG for the PA signatory countries, at the centralization of the regularly updated country-reports, and at the verification of the respect of the countries ex ante vs. ex post pledges. This GST will represent a challenge for many Non-Annex I countries, including Africa, where emissions and removals in national inventories have been irregular since the UNFCCC creation in 1992. The literature tends to be scarce about GHG emissions from African countries, usually thought to be small emitters by non-experts. However, the recent Sixth Assessment Report (AR6) of the IPCC (Intergovernmental Panel on Climate Change) underlines with high confidence that the speed of surface temperature increase in Africa has already been higher than elsewhere in the world due to anthropogenic emissions (IPCC Working Group I, 2021). Recent analyses also predict a fast increase of African emissions correlated with its demographic growth, which is the fastest in the world. Pioneering papers on anthropogenic emissions and the carbon balance in Africa like the one of Ciais et al. (2011), already underlined that “Africa is likely to increase its share of global emissions over the coming decades” (Canadell, 2009). That is the reason why we chose to strictly restrict to Africa the scope of our central analysis in the original study of the present manuscript. Our aim is to assess African CO2, CH4 and N2O anthropogenic emissions and removals using bottom-up datasets (inventories and process-based models) and to compare them with top-down inversions coming from satellites over three decades (1990-2018) in order to deliver trends’ analyses. The purpose of this analysis is also to discuss the following main question: how can the current state of science help for the evaluation of the Respect of the Paris Agreement (PA) in Non-Annex I countries, and most specifically in Africa? Chapter 1 presents CO2, CH4 and N2O main features and impacts with regards to the Earth Radiative Budget forcing, and contextualizes the scientific monitoring of GHG emissions and removals from anthropogenic origins in the climate policy context of the Monitoring, Reporting and Verification (MRV) provisions of the PA. Chapter 2 delivers an original analysis of GHG emissions and removals trends over the last three decades for the case of Africa. Chapter 3 discusses more broadly the conclusions of the African case analysis and proposes larger perspectives from both a scientific and from a climate policy view for future developments in the evaluation of the respect of the PA

Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs l'instrumentation de certaines zones est impossible car leur câblage est difficilement envisageable par manque d'espace. En outre, s'il est souvent intéressant d'installer de nouveaux capteurs pour faire évoluer un aéronef ancien, l'installation des câbles nécessaires implique un démantèlement partiel, problématique et coûteux, de l'appareil. Pour résoudre ces problèmes, une idée innovante a émergé chez les industriels de l'aéronautique : commencer à remplacer les réseaux filaires reliant les capteurs d'un aéronef et leur centre de décision par des réseaux sans fil. Les technologies de communication sans fil sont aujourd'hui largement utilisées dans les marchés de l'électronique de grande consommation. Elles commencent également à être déployées pour des applications industrielles comme l'automobile ou le relevé à distance de compteurs domestiques. Cependant, remplacer des câbles par des ondes représente un défi technologique considérable comme la propagation en milieu confiné, la sécurité, la sureté de fonctionnement, la fiabilité ou la compatibilité électromagnétique. Cette thèse est motivée d'une part par l'avancée non négligeable dans le milieu aérospatial que pourrait être l'établissement d'un réseau sans fil à bord d'aéronefs dans la résolution de problématique classiques comme l'allégement et l'instrumentation. Il en résulterait donc : * Une meilleure connaissance de l'environnement et de la santé de l'aéronef * Un gain sur le poids. * Un gain en flexibilité. * Un gain en malléabilité et en évolutivité. * Un gain sur la complexité. * Un gain sur la fiabilité D'autre part, étant donnée la complexité de la conception de ce réseau de capteur sans fil, il a été nécessaire d'appliquer une méthodologie évolutive et adaptée mais inspirée de l'ingénierie système. Il est envisageable, vu le nombre de sous-systèmes à considérer, que cette méthodologie soit réutilisable pour d'autre cas pratiques. Une étude aussi complète que possible a été réalisée autour de l'existant déjà établi sur le sujet. En effet, on peut en lisant ce mémoire de thèse avoir une idée assez précise de ce qui a été fait. Une liste a été dressée de toutes les technologies sans fil en indiquant leur état de maturité, leurs avantages et leurs inconvénients afin de préciser les choix possibles et les raisons de ces choix. Des projets de capteurs sans fil ont été réalisés, des technologies sans fil performantes et personnalisables ont été développées et arrivent à maturité dans des secteurs variés tels que la domotique, la santé, l'automobile ou même l'aéronautique. Cependant aucun capteur sans fil n'a été véritablement installé en milieu aérospatial car de nombreux verrous technologiques n'ont pas été levés. Fort des expériences passées, et de la maturité qu'ont prise certaines technologies, des conclusions ont été tirées des projets antérieurs afin de tendre vers des solutions plus viables. Une fois identifiés, les verrous technologiques ont été isolés. Une personnalisation de notre solution a été à envisager afin de remédier tant que faire se peut à ces points bloquants avec les moyens mis à disposition. La méthodologie appliquée nous a permis d'identifier un maximum de contraintes, besoins et exigences pour mieux focaliser les efforts d'innovation sur les plus importantes et choisir ainsi les technologies les plus indiquées.