249 resultados para Lemme de vérification
Resumo:
Considerando a importância da escola na constituição do sujeito enquanto ser social, busca-se, nesta dissertação, perceber a realidade da educação sob o reflexo desta no contexto de uma determinada escola, visando apreender o cenário atualmente existente, em especial, na formação docente, tendo por objetivo geral, a verificação da importância dada pelos docentes à incorporação dos valores humanos em sala de aula, com ênfase no respeito às diferenças e na responsabilidade das escolhas. Para tanto, atribui-se como objetivos específicos a identificação no campo teórico das possíveis articulações entre os conceitos de: valores humanos, respeito às diferenças e escolhas e a verificação, nas Diretrizes Curriculares da Educação Básica/2013, de como os conceitos de valores humanos, respeito às diferenças e escolhas estão retratadas e articuladas, destacando os conceitos que, no caso em estudo, estão sendo contextualizados nas ações docentes. Com este enfoque, a pesquisa de campo levantou dados por meio de questionário com perguntas de resposta aberta, aplicado no corpo docente da instituição em estudo, sendo as respostas transcritas, seu conteúdo analisado e os resultados representados graficamente.
Resumo:
L'approche pédagogique, appelée aujourd'hui pédagogie ouverte, a vu le jour en Angleterre, puis s'est diffusée aux États-Unis et au Canada. Elle a cours au Québec depuis les années 1970 grâce à certaines publications et à des rencontres de perfectionnement. Bien qu'un assez large éventail d'enseignants y ait été mis en contact par des sessions, séminaires, conférences et publications, force nous est de reconnaître qu'à ce jour nous n'y avons trouvé aucune recherche empirique permettant d'évaluer en classe du primaire le degré d'implantation de cette approche pédagogique; or, il est important, dans un contexte d'innovation pédagogique, de pouvoir connaître ce degré d'implantation pour orienter le développement, assurer le perfectionnement personnel, porter un diagnostic, évaluer les effets et pour aider pédagogues et administrateurs à faire des choix pertinents, à rendre des décisions valables. Pour répondre à cette attente, notre propos sera donc d'élaborer et d'adapter un instrument d'observation convenant à ce contexte, permettant d'évaluer le degré d'implantation de la pédagogie ouverte dans des classes du primaire. Pour y parvenir, nous suivrons les étapes suivantes: consultation des recherches sur le sujet pour définir l'objet de la pédagogie ouverte et y étudier les instruments d'évaluation existants, adaptation de l'instrument éventuellement retenu, vérification auprès d'experts québécois en pédagogie ouverte, affinement par l'expérimentation dans des classes respectivement à pédagogie ouverte et encyclopédique et par l'étude comparée des résultats. Cette démarche permettra donc d'accéder à un instrument d'évaluation apte à mesurer le degré d'implantation de cette approche pédagogique dans des classes du primaire et à discriminer les classes à pédagogie ou verte de celles à pédagogie encyclopédique.
Resumo:
L'étude a pour objet la vérification du lien entre la participation d’un programme d'entraînement aux habiletés sociales en présence d'agents de changement et le répertoire d'habiletés sociales. Les hypothèses soutiennent que le répertoire augmentera suite à l'entraînement et que le groupe assisté des parents aura une augmentation significativement supérieure à celui assisté des pairs. Une étude quasi expérimentale impliquant huit sujets permet, au moyen d'une observation systématique avant et après l'entraînement, d'évaluer le répertoire d'habiletés sociales et de faire une comparaison entre les trois groupes. Parmi ceux-ci, l'un est accompagné des parents, l'un est accompagné des pairs et l'autre constitue le groupe contrôle, c'est-à-dire qu'il ne participe pas à l'intervention. Les résultats montrent que le lien entre la participation à un entraînement aux habiletés sociales et la modification du répertoire d'habiletés sociales n'est pas significatif. Ils montrent également qu'il n'est pas significatif entre le type d'agent de changement utilisé (parents ou pairs) et ce même répertoire. L'étude révèle l'importance de continuer à explorer le champ des habiletés sociales en réexaminant le type d'évaluation. En effet, les grilles d'observation devraient avoir un lien direct et indiscutable avec les programmes d'entraînement mis en application. De plus, un nombre supérieur de sujets permettrait une analyse statistique plus rigoureuse.
Resumo:
Un outil de contrôle qualité (OCQ) a été développé pour valider les données : elles peuvent être qualifiées selon 3 états : bon, douteux ou faux. Ils existent différents stades de validation : - stade T0.5 : pré-qualification automatique sur la base de seuils fixés avec 3 états : bon, douteux et faux. - Stade T1 : contrôle visuel et modification manuelle de l’état de qualité - Stade T2 : données corrigées (après étalonnage). Ce document synthétise les informations permettant de qualifier les données au stade T1 et T2 : - contrôles in-situ de la sonde multiparamètre réalisés par le laboratoire LER/MPL, - historique des opérations de maintenance pendant la période de déploiement, - constat de vérification des sondes multiparamètres après campagne.té et la fluorescence, en surface et fond)..
Resumo:
En différents endroits de la Province on est en train d'élaborer des projets de service domicile pour des personnes âgées. Le but premier de notre travail est de fournir un modèle théorique d'évaluation pour des projets de ce genre. Il nous semble en même temps que le modèle pourrait rendre service dans la préparation d'un projet par l’énumération qu'il fait d'éléments qu'on trouve présents dans toute opération réussie. Cette évaluation est de type différentiel ; elle consiste en une analyse quantitative descriptive et critique des efforts déployés dans un projet de services domicile destinés favoriser la résidence "chez soi" des personnes âgées diminuant ou retardant du même coup le besoin d'hébergement en institution. L'instrument choisi est une grille que nous présentons au chapitre suivant. Elle fera appel à la technique de la vérification administrative (73, p. 70ssj) pour ce qui est de l'effort des intervenants (organisation, fonctionnement) celle de la comptabilité sociale pour l'efficacité des efforts (73, p. 65ss) et la comptabilité des coûts pour le rendement des efforts (73, p. 96 ss ). Les chiffres écrits de cette manière dans le texte renvoient à la fin de notre travail un numéro des "ouvrages consultés" et la page de l’ouvrage. Cette évaluation représente un tout organique on pourrait cependant se borner la vérification administrative qui constitue la première partie de la grille on pourrait aussi se contenter de l'étude de l'efficacité ou de l'étude du rendement deuxième et troisième parties de la grille selon le genre d'information désirée Il nous semble pourtant indiqué de ne pas dissocier les deux dernières parties parce que les renseignements de l'une devraient singulièrement éclairer l'autre. Retenons qu'il s'agit d'une analyse des efforts et non pas des résultats obtenus. Une analyse de résultats devrait normalement suivre celle que nous proposons ici. La grille s'applique d'emblée tout projet qui s'organise partir d'une participation du public par assemblée générale laquelle délègue ses pouvoirs des administrateurs. Pour des situations où ce schème ne s'applique pas exactement on effectuera les adaptations nécessaires. […]
Resumo:
La station de mesure Molit entre dans la gamme des produits MAREL. Cette gamme est constituée d’outils développés pour l’observation en continu de paramètres hydrologiques. La bouée Molit a été déployée en baie de Vilaine du 22 février 2013 au 25 octobre 2013. Cette station est équipée d’une sonde multiparamètre MP6 qui mesure les paramètres : température, salinité, oxygène dissous, turbidité et fluorescence. Les mesures sont réalisées à 2 niveaux (surface et fond) avec une fréquence d’une mesure horaire. Les données acquises par la bouée MOLIT sont transmises par liaison GSM numérique à la station de gestion Marel Vilaine où elles sont validées. Les données peuvent être consultées sur le site web : http://www.ifremer.fr/co-en/. Un outil de contrôle qualité (OCQ) a été développé pour valider les données. Elles peuvent être qualifiées selon 3 états : bon, douteux ou faux. Ils existent différents stades de validation : - stade T0.5 : pré-qualification automatique sur la base de seuils fixés avec 3 états : bon, douteux et faux. - Stade T1 : contrôle visuel et modification manuelle de l’état de qualité - Stade T2 : données corrigées (après étalonnage). Ce document synthétise les informations permettant de qualifier les données au stade T1 et T2 : - contrôles in-situ de la sonde multiparamètre réalisés par le laboratoire LER/MPL, - historique des opérations de maintenance pendant la période de déploiement, - constat de vérification des sondes multiparamètres après campagne. En 2013, nous avons récupéré un seul constat de vérification après campagne (celui concernant la période du 3 juin au 8 août).
Resumo:
Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.
Resumo:
La station de mesure Molit entre dans la gamme des produits MAREL. Cette gamme est constituée d’outils développés pour l’observation en continu de paramètres hydrologiques. La bouée Molit a été déployée en baie de Vilaine du 26 février 2014 au 17 octobre 2014. Cette station est équipée d’une sonde multiparamètre MP6 qui mesure les paramètres : température, salinité, oxygène dissous, turbidité et fluorescence. Les mesures sont réalisées à 2 niveaux (surface et fond) avec une fréquence d’une mesure horaire. Les données acquises par la bouée MOLIT sont transmises par liaison GSM numérique et peuvent être consultées sur le site web : http://www.ifremer.fr/co-en/. Un outil de contrôle qualité SCOOP2 permet de valider les données. Elles peuvent être qualifiées selon plusieurs états : bon, moyen, douteux, mauvais, modifié, interpolé ou absent. Ce document synthétise les informations permettant de qualifier les données : contrôles in-situ de la sonde multiparamètre réalisés par le laboratoire LER/MPL, historique des opérations de maintenance pendant la période de déploiement, constats de vérification des sondes multiparamètres après campagne.
Resumo:
Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.
Resumo:
Cette recherche, de type étude de cas, avait pour but d’examiner l’utilisation du modèle d’accessibilité universelle en pédagogie (AUP), à l’égard des besoins d’enseignantes et d’enseignants du programme collégial en Soins infirmiers qui enseignent à des groupes hétérogènes comprenant notamment des étudiantes et des étudiants en situation de handicap (ÉSH). Depuis quelques années déjà, les ÉSH sont de plus en plus nombreux à poursuivre des études de niveau supérieur. Plusieurs mesures d’appui à l’intention des ÉSH ont été mises sur pied. De fait, les accommodements qui leur sont offerts s’effectuent principalement par l’entremise de services spécialisés pour étudiantes et étudiants ayant des besoins spéciaux et force est de constater que ces mesures s’appliquent généralement à l’extérieur de la classe. De plus, en dépit de tous les efforts déployés par les enseignantes et par les enseignants pour soutenir la réussite des ÉSH, il s’avère qu’actuellement dans leur cheminement professionnel aucune formation spécifique aux besoins de cette clientèle ne leur est offerte. Ces constats guident la présente recherche qui s’articule principalement autour du fait que plusieurs enseignantes et enseignants du programme de Soins infirmiers du Collège de Bois-de-Boulogne verbalisent un besoin d’accroître leurs connaissances de pratiques pédagogiques favorables à la réussite des ÉSH. Cinq enseignantes ont participé à cette étude de cas de type qualitatif dont la question centrale est la suivante : Les stratégies d’enseignement planifiées selon les principes contenus dans le modèle de l’AUP permettraient-elles à des enseignantes et à des enseignants du programme de Soins infirmiers d’être outillés pour intervenir en classe auprès d’un groupe hétérogène comprenant des ÉSH? Dans un premier temps, à partir d’une entrevue semi-dirigée individuelle, les besoins des participantes et des participants à l’égard de cette clientèle étudiante ont été recueillis. Le cadre de référence de cet essai explique les concepts portant sur la notion de handicap, les stratégies pédagogiques et d’enseignement ainsi que les principes directeurs du modèle de l’AUP. Dans un second temps, des enseignantes ont reçu une formation portant sur les principes contenus dans le modèle de l’AUP. Elles ont ensuite procédé à l’expérimentation du modèle avec leurs étudiantes et leurs étudiants au cours de la session. Enfin, à l’aide d’une seconde entrevue semi-dirigée et d’un questionnaire, la chercheuse a de nouveau recueilli leurs propos pour vérifier l’effet de l’application de ce modèle sur leurs besoins exprimés précédemment. Les résultats obtenus ont démontré que ce modèle constitue une avenue intéressante et utile pour les enseignantes et les enseignants et ce, pour plusieurs raisons. Les résultats démontrent la pertinence de l’utilisation du modèle de l’AUP à l’égard du sentiment de compétence des enseignantes et des enseignants dans l’accompagnement des ÉSH et des groupes hétérogènes qui composent les classes. Ce modèle ne requiert aucune surcharge de travail pour les enseignantes et les enseignants et la planification des cours suggérée par ce modèle facilite leur travail. La planification comprend : l’analyse de la situation actuelle, la précision du profil et la diversité de la classe, la vérification des connaissances antérieures. Il s’agit ensuite de définir les stratégies pédagogiques, les outils ainsi que les modes d’évaluation utilisées. De plus, ce modèle favorise le socioconstructivisme et encourage l’inclusion de toutes les étudiantes et de tous les étudiants, sans devoir mettre en place des accommodements spécifiques à des besoins personnels. Ainsi, l’AUP serait profitable pour l’ensemble des étudiantes et des étudiants et non uniquement pour les ÉSH. Finalement, considérant que ce modèle ne fait aucune distinction à l’égard des besoins particuliers d’étudiantes et d’étudiants, il évite la stigmatisation des ÉSH.
Resumo:
En plus de contribuer à améliorer la santé de façon générale, l’activité physique chronique pourrait modérer le déclin cognitif associé au vieillissement normal et pathologique (Colcombe et Kramer, 2003; Heyn et al., 2004). Plus précisément, la pratique à long terme d’activités cardiovasculaires aurait des effets positifs sur la cognition des ainés et plus particulièrement sur le contrôle attentionnel, un aspect précocement touché au cours du vieillissement (Raz, 2000; Bherer et al., 2008). Toutefois, les mécanismes par lesquels l’exercice physique aigu améliore la cognition demeurent limités. Malgré ses nombreuses implications théoriques et pratiques, la réponse aiguë de l’oxygénation cérébrale à l’exercice physique et sa relation avec la cognition sont trop peu étudiées. Cette thèse se consacre à cette question. Des études récentes en neuro-imagerie chez les jeunes adultes démontrent que la relation entre l’oxygénation cérébrale et l’intensité de l’exercice suit la forme d’un U inversé. Il existe un seuil au-delà duquel l’oxygénation cérébrale diminue avec l’augmentation de l’intensité de l’exercice. Supposant que les performances cognitives dépendent de la disponibilité de l’oxygène cérébral, cette relation en U inversé devrait affecter les performances cognitives. Avant de préciser le rôle exact de l’oxygénation cérébrale sur les fonctions cognitives, nous avons d’abord examiné le temps nécessaire pour que l’oxygénation cérébrale atteigne un état stable et la durée pendant laquelle cette période stable peut être maintenue lors de paliers de sept minutes à une puissance sous-maximale (40%, 60% et 85% de la puissance aérobie maximale). Nos résultats soulignent l’existence d’une relation inverse entre la durée de l’état stable et l’intensité de l’exercice. Suite à cette vérification méthodologique, la prochaine étape a été de tester la possible relation entre l’oxygénation cérébrale, l’intensité de l’exercice et les performances cognitives, au cours du processus de vieillissement. Les résultats de ces études démontrent que la chute de l’oxygénation cérébrale observée lors des exercices de haute intensité est associée avec une diminution des performances cognitives. Les résultats de cette thèse corrigent l’écart existant dans la documentation entre l’exercice, les fonctions cognitives et les mécanismes neurophysiologiques.
Resumo:
Ce rapport présente les éléments qui ont conduit à la qualification des données acquises en 2015 par la station de mesure haute fréquence MOLIT (Mer Ouverte Littoral). La bouée MOLIT est déployée depuis 2008 en baie de Vilaine, une des zones de la côte atlantique les plus menacées par l’eutrophisation. Cette bouée instrumentée constitue un des systèmes de mesure du réseau de mesure haute fréquence Ifremer HOSEA (High frequency Observation network for the environment in coastal SEAs). Cette station est équipée d’une sonde multiparamètre qui mesure les paramètres température, salinité, oxygène dissous, turbidité et fluorescence. Les mesures sont effectuées à deux niveaux (surface et fond) avec une fréquence d’une mesure horaire. Ce rapport synthétise les informations qui ont permis de qualifier les données sur le site des réseaux eulériens d’Ifremer (Coriolis) : contrôles in-situ, historique des opérations de maintenance, constats de vérification des sondes avant et après campagne. Les données ont été qualifiées en quatre états : 1-BON, 2-MOYEN, 3-DOUTEUX, 4-MAUVAIS.
Resumo:
L’objectif de ces essais est une calibration de la houle du bassin de Brest et vérification du fonctionnement du batteur et de sa commande. Différentes houles régulières et irrégulières ont été réalisées afin de vérifier que les houles générées étaient en accord avec les houles que l'on souhaitait obtenir. Cela a également permis de vérifier le bon fonctionnement de la sonde Quasar 1 recettée peu de temps avant.
Resumo:
Réalisé en cotutelle avec l'École normale supérieure de Cachan – Université Paris-Saclay
Resumo:
A procura de contra-exemplos é provavelmente a fase mais importante do raciocí - nio dedutivo, uma vez que visa garantir a validade da conclusão. A explicação mais difundida para a diminuta procura de contra-exemplos é a capacidade limitada da memória de trabalho (Markovits & Barrouillet 2002; De Neys, Schaeken & d’Ydewalle, 2002; 2003; 2005a; 2005b) o que não parece ser suficiente para explicar a pouca iniciativa dos sujeitos em utilizarem a procura de contra-exemplos como estratégia de verificação (Oakhill, & Johnson-Laird, 1985). No presente trabalho testou-se a hipótese de que a necessidade de cognição dos sujeitos (Cacioppo & Petty, 1982) tem influência no processo de recuperação de contra-exemplos, para condicionais causais, de modo aprofundar o conhecimento das razões que levam a que os sujeitos procurem tão poucos contra-exemplos durante o raciocínio dedutivo (Oakhill, & Johnson-Laird, 1985; Johnson-laird, 2006). Para o efeito, um total de 60 participantes (15 alunos do mestrado integrado em psicologia, 15 alunos de doutoramento, 15 operários fabris e 15 empregados de mesa) realizou 3 tarefas: escala Necessidade de Cognição (Silva & Garcia-Marques, 2006), uma tarefa de raciocínio e uma tarefa para avaliar a capacidade da memória de trabalho (Guerreiro, Quelhas & Garcia-Madruga, 2006). Os resultados indicam que o processo de recuperação de contra-exemplos é influenciado pela necessidade de cognição e que esta influência além de significativa é superior à influência da capacidade da memória de trabalho.