Добірка наукової літератури з теми "Profilage et analyse comportementale"

RésuméUtilisant deux rapports sur la pratique du profilage racial à Toronto, l'auteur soutient qu'elle doit être comprise comme une catégorie de gouvernance, et ceci puisqu'il faut s'éloigner de la seule question, si le profilage racial fait partie des pratiques policières. En concevant le profilage racial comme catégorie de gouvernance, chercheurs et praticiens peuvent plutôt analyser comment des pratiques racialisantes déterminent les limites de la citoyenneté et ultimement contribuent à établir, contrôler et mettre en oeuvre l'organisation des droits des citoyens. Elle conclue en soulignant l'utilité et le potentiel plus large du concept de ‘catégorie de gouvernance’ pour étudier le profilage racial, notamment dans le sens d'une analyse des multiples manières de faire (ou de ne pas faire) de certaines populations des sujets/citoyens des États-nations modernes.

Cet article présente une analyse interactionniste du profilage social vécu par les personnes en situation d’itinérance. Les données sont issues d’une recherche communautaire en cours portant sur le profilage social à Gatineau, au Québec. Les données ont été recueillies auprès d’actrices et d’acteurs professionnels du milieu, notamment des intervenantes et intervenants et des gestionnaires d’organismes communautaires. Elles seront analysées à la lumière de la théorie de l’étiquetage de Becker (1985). En déterminant le contexte, les agentes et agents profileurs et les facteurs sous-jacents, il sera possible de cerner comment le processus d’étiquetage se manifeste dans le profilage social des personnes itinérantes.

Dans le présent article, nous examinons les récits de 29 personnes sans abri afin de comprendre comment leurs interactions avec les policiers présentent des traits de profilage social et racial. Ces personnes sont des femmes et des hommes de 18 à 54 ans provenant du nord-est de l’Ontario. Les personnes autochtones forment la majeure partie de l’échantillonnage (66 %), tandis que les personnes anglophones, francophones ou membres de groupes racialisés en constituent des parts moins importantes. Les transcriptions des entrevues ont fait l’objet d’une analyse thématique qualitative afin d’identifier des thèmes d’interaction et de les coder. Nous examinons les cinq types d’interaction avec la police les plus communs selon deux aspects : premièrement, comment les personnes sans abri décrivent leurs mauvaises expériences d’interaction du point de vue du profilage social, y compris le profilage racial, et, deuxièmement, comment certaines actions de la police peuvent porter atteinte aux droits des personnes sans abri garantis par les articles 7 à 10 de la Charte canadienne des droits et libertés. Les résultats indiquent que le profilage social est un concept plus pertinent que le profilage racial lorsqu’on considère les expériences vécues par les personnes sans abri, étant donné que la police tend apparemment à cibler l’ensemble des personnes sans abri en leur infligeant un traitement éprouvant, voire violent, qui porte atteinte à leurs droits, notamment ceux garantis par la Charte.

La diversification des carrières contemporaines place la mobilité, dans sa nature désormais plurielle et protéiforme, au cœur de nos réflexions. Alors que la littérature présente largement l’individu comme un acteur libre de se mouvoir pour construire sa carrière, cet article s’inscrit dans une voie alternative de recherche, fondée sur la logique de dualité. La carrière et les mobilités qui la façonnent sont appréhendées comme étant coconstruites par l’individu et l’institution. Les scripts de carrière, placés au cœur de la relation dialectique entre individus et institution constituent, dans cette perspective, un cadre conceptuel particulièrement fécond pour appréhender les carrières. Pour autant, il n’est mobilisé que partiellement par la littérature, étant le plus souvent dépossédé de l’une de ses dimensions (comportementale) au profit de sa seconde (cognitive). Cet article ambitionne de contribuer à l’élaboration d’une compréhension commune et partagée du concept des scripts de carrière en prenant le contre-pied des travaux mobilisant le concept et en se penchant particulièrement sur sa dimension comportementale. Il s’appuie empiriquement sur le cas de la carrière des magistrats au sein de l’institution judiciaire et examine la dimension comportementale des scripts de carrière des magistrats (par la mise en évidence de parcours types de mobilité). Cette analyse apporte un nouvel éclairage sur le rôle des mobilités dans l’étude des carrières et pointe la puissance analytique du cadre conceptuel des scripts de carrière dans sa double dimension, certes cognitive mais aussi comportementale.

Cet article développe une analyse exploratoire comparant les politiques RH entre les employeurs publics Suisse romands et leurs homologues des départements limitrophes français, opérant au sein d’un même bassin d’emploi appelé « le Grand Genève « (territoire Franco-Valdo-Genevois). Longtemps confinées à la « simple » mise en oeuvre des statuts du personnel, les politiques RH des organisations publiques deviennent de plus en plus stratégiques, étant donnée l’importance d’attirer et de conserver les meilleurs talents sur le marché de l’emploi. Mobilisant les concepts de Marque employeur et de Contrat psychologique, cette contribution révèle les points communs et divergences, entre employeurs suisses et français, parmi les atouts mis en avant pour les potentielles recrues et les stratégies de valorisation et de profilage utilisées.

L’analyse comportementale est l’un des outils mis à la disposition de l’enquêteur dans le cadre de crimes particuliers. Elle consiste en une étude pluridisciplinaire d’un dossier criminel et confère une dimension psychologique à l’enquête judiciaire, en développant un axe de recherche basé sur le comportement criminel. Il s’agit d’une technique d’aide à l’enquête alliant les moyens traditionnels d’investigations, l’analyse de données objectives issues de la procédure et des connaissances approfondies en psycho-criminologie. Elle a pour but de faire ressortir des éléments permettant l’identification de l’auteur et d’orienter ainsi les investigations vers le suspect le plus probable. Cette analyse est pratiquée en France au sein d’une unité spéciale de la gendarmerie nationale dénommée « département des sciences du comportement ». Doté d’une organisation spécifique composée d’analystes et de référents de police judiciaire, ce département est compétent en matière de sérialité mais aussi de crime à épisode unique tels que les homicides, les viols ou les enlèvements de mineurs. Les missions qui sont confiées à ce service par les unités de terrain sont le profil psycho-criminologique d’un auteur inconnu, l’aide à l’audition d’un suspect ou l’analyse de phénomènes sériels sur la base d’analyses comparatives de faits.

Introduction Le trouble déficitaire de l’attention avec ou sans hyperactivité (TDA/H) affecte environ 2,5 % de la population adulte mondiale. L’impact sur la vie des individus atteints est important, engendrant fréquemment des difficultés académiques, professionnelles, sociales et émotionnelles. Malgré le caractère invalidant de ce trouble, peu d’individus souffrant de ce déficit reçoivent une aide appropriée. De plus, bien que longtemps considérée comme la seule option envisageable, il est aujourd’hui reconnu que la psychopharmacologie est rarement suffisante à elle seule. Dans cette optique, la thérapie cognitive-comportementale (TCC) s’avère une approche prometteuse. Objectif L’objectif de cette étude est d’effectuer une revue de la documentation scientifique et d’évaluer quantitativement l’efficacité de la TCC, dans la réduction des symptômes associés au TDA/H et des manifestations anxieuses et dépressives comorbides chez l’adulte, à travers plusieurs études, par l’entremise d’une méta-analyse. Méthode Les études incluses dans cette méta-analyse ont été publiées entre 1946 et 2015, et recensées dans des bases de données électroniques, notamment MEDLINE, EMBASE et PsycINFO. Un modèle à effets aléatoires, les rapports des cotes et les g de Hedges ont été utilisés. Résultats Les données de 12 études contrôlées randomisées ont été incluses dans cette recherche, totalisant 575 participants. Les résultats démontrent que la TCC est significativement plus efficace que les groupes de comparaison quant à l’amélioration des symptômes du TDA/H (g de Hedges = 0,95), de la symptomatologie anxieuse (g de Hedges = 0,39) et dépressive (g de Hedges = 0,30). Suite à la cessation du traitement, seuls les symptômes du TDA/H continuent de s’améliorer. Conclusion En somme, cette étude met en lumière les résultats encourageants de la TCC dans le traitement du TDA/H chez l’adulte.

Le marche automatique du nouveau-né est un phénomène qui a suscité plusieurs questions autour de sa signification tant pour le comportement du nourrisson, que pour le développement de la marche définitive. Il existe au moins deux types d'explications qui ont été données comme étant les plus plausibles: a) explications d'ordre neurologique et physiologique, et b) explications de type développementales. Aucune de ces explications ne s'est avérée concluante et suffisamment satisfaisante jusqu'à présent. Nous présentons une analyse alternative de la marche automatique du nourrisson, basée sur une perspective comportementale. Depuis cette perspective, nous essayons de répondre aux questions fondamentales montrant que la marche automatique constitue un phenomène de nature difféerente à celui de la marche autonome et dont la signification dépend du rôle adaptatif qu'elle peut jouer dans le développement.

Dans cet article, nous développons une nouvelle mesure du sentiment des investisseurs en Europe à partir d’une analyse de contenus d’articles issus du Financial Times. Dans la lignée des travaux de finance comportementale, nous trouvons que notre mesure du sentiment influence la performance boursière des entreprises difficiles à évaluer et à arbitrer. Par ailleurs, nous montrons que la culture nationale influence le lien entre sentiment des investisseurs et rentabilités boursières. L’impact du sentiment se révèle plus prononcé pour les pays les plus culturellement enclins à des comportements de sur-réaction ou grégaires.

RésuméEn se fondant sur une enquête de terrain effectuée à Montréal et à Ottawa de 2005 à 2009 auprès de personnes itinérantes judiciarisées et d'acteurs œuvrant à différents niveaux dans le processus de pénalisation et de judiciarisation, cet article propose une analyse des stratégies de contrôle dont les personnes itinérantes font l'objet, ainsi que de leurs parcours judiciaires pour des infractions pénales liées à leur utilisation des espaces publics. Les auteurs suggèrent que la question de la visibilité ou de l'invisibilité des personnes itinérantes est au cœur des tensions que vivent les personnes itinérantes dans leur rapport au système pénal. Alors que leur visibilité dans les espaces publics contribue à leur identification et à leur profilage sur la base de caractéristiques sociales, lorsqu'elles se retrouvent prises en charge par le système judiciaire, c'est plutôt leur invisibilité qui porte atteinte à leurs droits les plus fondamentaux et entrave leur accès à la justice.

Le tueur en série n'agit pas sans mobile : son passage à l'acte meurtrier obéit à une pulsion spécifique. Les motivations d'un tueur de type sériel sont à rechercher dans les replis de son psychisme pathologique. Chacun de ses gestes et chaque mot qu'il portera ultérieurement sur les homicides commis peuvent être décryptés à travers le prisme - notamment - de la criminologie et de la psychopathologie. En amont, nous sommes amenés à nous pencher sur la biographie de ces criminels atypiques ; en aval, il convient de nous interroger sur leur devenir en détention et sur leur accessibilité aux soins, à l'aune de la notion de dangerosité. La première partie de cette étude pose les jalons de l'analyse criminelle et comportementale, jalons qui servent, dans une deuxième partie, à étudier six criminels français. La troisième partie est un essai d'approche méthodologique à l'usage des praticiens : officiers de police judiciaire, magistrats, avocats et psychiatres
A serial killer never acts without motive : his murderous acts are triggered by a specific drive. The motivations of a serial killer are deeply hidden in his pathological psyche. Each of his gestures and each word he will pronounce about the homicides he committed can be decoded particulary thanks to criminology and psychopathology. Upstream, we shall look into the biography of these atypical criminals ; downstream, we shall raise the question of their future in detention and their access to medical attention, with regard to the danger they represent. The first part of this study lays the foundations of the criminal and behavioral analysis, which basis will help study the profile of six French criminals in the second part. The third part consists of a more methodological approach for the use of the practitioners : judicial police officers, magistrates, lawyers ans psychiatrists

La complexité croissante des cyberattaques, caractérisée par une diversification des techniques d'attaque, une expansion des surfaces d'attaque et une interconnexion croissante d'applications avec Internet, rend impérative la gestion du trafic réseau en milieu professionnel. Les entreprises de tous types collectent et analysent les flux réseau et les journaux de logs pour assurer la sécurité des données échangées et prévenir la compromission des systèmes d'information. Cependant, les techniques de collecte et de traitement des données du trafic réseau varient d'un jeu de données à l'autre, et les approches statiques de détection d'attaque présentent des limites d'efficacité et précision, de temps d'exécution et de scalabilité. Cette thèse propose des approches dynamiques de détection de cyberattaques liées au trafic réseau, en utilisant une ingénierie d'attributs basée sur les différentes phases de communication d'un flux réseau, couplée aux réseaux de neurones à convolution (1D-CNN) et leur feature detector. Cette double extraction permet ainsi une meilleure classification des flux réseau, une réduction du nombre d'attributs et des temps d'exécution des modèles donc une détection efficace des attaques. Les entreprises sont également confrontées à des cybermenaces qui évoluent constamment, et les attaques "zero-day", exploitant des vulnérabilités encore inconnues, deviennent de plus en plus fréquentes. La détection de ces attaques zero-day implique une veille technologique constante et une analyse minutieuse, mais coûteuse en temps, de l'exploitation de ces failles. Les solutions proposées garantissent pour la plupart la détection de certaines techniques d'attaque. Ainsi, nous proposons un framework de détection de ces attaques qui traite toute la chaîne d'attaque, de la phase de collecte des données à l'identification de tout type de zero-day, même dans un environnement en constante évolution. Enfin, face à l'obsolescence des jeux de données et techniques de génération de données existants pour la détection d'intrusion et à la nature figée, non évolutive, et non exhaustive des scénarios d'attaques récents, l'étude d'un générateur de données de synthèse adapté tout en garantissant la confidentialité des données est abordée. Les solutions proposées dans cette thèse optimisent la détection des techniques d'attaque connues et zero-day sur les flux réseau, améliorent la précision des modèles, tout en garantissant la confidentialité et la haute disponibilité des données et modèles avec une attention particulière sur l'applicabilité des solutions dans un réseau d'entreprise
The increasing complexity of cyberattacks, characterized by a diversification of attack techniques, an expansion of attack surfaces, and growing interconnectivity of applications with the Internet, makes network traffic management in a professional environment imperative. Companies of all types collect and analyze network flows and logs to ensure the security of exchanged data and prevent the compromise of information systems. However, techniques for collecting and processing network traffic data vary from one dataset to another, and static attack detection approaches have limitations in terms of efficiency and precision, execution time, and scalability. This thesis proposes dynamic approaches for detecting cyberattacks related to network traffic, using feature engineering based on the different communication phases of a network flow, coupled with convolutional neural networks (1D-CNN) and their feature detector. This double extraction allows for better classification of network flows, a reduction in the number of attributes and model execution times, and thus effective attack detection. Companies also face constantly evolving cyber threats, and "zero-day" attacks that exploit previously unknown vulnerabilities are becoming increasingly frequent. Detecting these zero-day attacks requires constant technological monitoring and thorough but time-consuming analysis of the exploitation of these vulnerabilities. The proposed solutions guarantee the detection of certain attack techniques. Therefore, we propose a detection framework for these attacks that covers the entire attack chain, from the data collection phase to the identification of any type of zero-day, even in a constantly evolving environment. Finally, given the obsolescence of existing datasets and data generation techniques for intrusion detection, and the fixed, non-evolving, and non-exhaustive nature of recent attack scenarios, the study of an adapted synthetic data generator while ensuring data confidentiality is addressed. The solutions proposed in this thesis optimize the detection of known and zero-day attack techniques on network flows, improve the accuracy of models, while ensuring the confidentiality and high availability of data and models, with particular attention to the applicability of the solutions in a company network

L'évolution de la complexité des systèmes embarqués critiques conduit actuellement à exploiter d'une part des langages de modélisation les plus proches possible des spécifications du métier du concepteur, et d'autre part des outils de vérification de modèle (model checker) permettant d'assurer la correction du système par rapport à des exigences de sûreté, de respect de contraintes temps-réel. C'est dans ce contexte qu'a été initié notamment le projet TOPCASED (http ://www. Topcased. Org) visant à proposer un atelier de développement de systèmes critiques temps-réel basé sur la vérification formelle et les langages dédiés. Les méthodes et outils issus de ces travaux visent une intégration des activités de vérification formelle au sein du processus et de la plate-forme de développement. AADL (the SAE Architecture Analysis and Design Language) est un langage de description d'architecture qui permet de décrire autant les aspects matériels que les composants logiciels d'un système. Pour factoriser les transformations entre les langages de modélisation AADL et les dialectes des outils de vérification, le langage intermédiaire FIACRE (Format Intermédiaire pour les Architectures de Composants Répartis Embarqués) a été développé. Il permet de représenter les aspects comportementaux et temporisés de systèmes, en particulier de systèmes embarqués et de systèmes distribués, pour leur vérification ou simulation. Dans ce contexte, j'ai étudié la sémantique de noyaux du modèle d'exécution d'AADL ainsi que leur expression dans différents formalismes, comme TASM, BIP, ACSR et FIACRE. Ils ont fait apparaître le besoin d'unifier ces formalismes. J'ai travaillé sur une nouvelle définition de la sémantique du langage FIACRE et proposé d'enrichir FIACRE par un opérateur de suspension/reprise et un mécanisme d'allocation de ressource dont nous avons illustré l'utilité sur différents exemples. Cependant, la richesse d'expressivité induite n'autorisait plus l'utilisation des RdPT pour la vérification des descriptions FIACRE ainsi étendues. Nous avons alors proposé une traduction du langage FIACRE étendu vers une classe de RdPT nouvellement introduite dans l'environnement Tina : les réseaux de Petri temporels à chronomètres
The evolution of the complexity of critical embedded systems currently leads to use on the one hand modeling languages closest to the specifications of the designer’s job, and on the other hand verification tools (model checker) to ensure the correction of the system with respect to the correctness requirements and the real-time constraints. It is in this context that the project TOPCASED has been launched to propose a framework to develop critical real-time systems based on formal verification and dedicated languages. The methods and tools from this work are an integration of formal verification in the process and platform development. AADL (the SAE Architecture Analysis and Design Language) est un langage de description d’architecture qui permet de décrire autant les aspects matériels que les composants logiciels d’un système. In order to make easer the connection of model checkers to those languages, the pivot FIACRE language (Format Intermédiaire pour les Architectures de Composants Répartis Embarqués) has been developed. It is powerful enough to support the expression of the semantics of real time. In this context, I studied the semantic of the AADL execution model and its expression in different formalisms, like TASM, BIP, ACSR and FIACRE. They revealed the need to unify these formalisms. I worked on a new definition of the semantics of the language FIACRE. Then I propose to enrich FIACRE by a suspend/resume operator and a mechanism for resource allocation of which usefullness is illustrated on several examples. However, the induced expressive power no longer permits the use of TPN for the verification of extended FIACRE models. Thus, I propose a translation of the extended FIACRE language into a class of TPN newly introduced in the environment Tina: Petri nets with stopwatches

L'auteur etudie la variete des pratiques professionnelles des professeurs en classe. Il ne retient de ces pratiques que ce qui, d'apres les hypotheses de la didactiques des mathematiques, a de l'influence sur les apprentissages des eleves (cette part des pratiques est appelee univers mathematique propose aux eleves). L'auteur met en place deux outils d'analyse des pratiques en classe : une analyse du discours du professeur (en objet, teneur et fonction) et une analyse de taches et activites (du professeur et des eleves). Ces outils sont utilises sur un corpus de huit seances (quatre professeurs chacun enseignant deux notions, la notion de vecteur et la notion de fonction en seconde, le choix de ces deux notions et du niveau est argumente). Les donnees recueillies lors de ces deux analysessont structurees grace a des analyses de donnees. Diverses caracteristiques d'univers et divers univers sont enfin decrits.

L'anorexie mentale (Anorexia nervosa, AN) est un trouble des conduites alimentaires aux conséquences psychologiques et physiques sévères. Cette maladie psychiatrique implique des facteurs socio-culturels, psychologiques et biologiques. Les études d'agrégation familiale et de jumeaux ont montré une forte héritabilité de l'AN (50-80%). De nombreuses études génétiques ont été réalisées mais il n'existe pas de consensus quant aux gènes impliqués. Ceci s'explique en majorité par une grande hétérogénéité phénotypique du trouble rendant essentiel le repérage de sous-groupes plus homogènes. Les approches symptômes-candidats et endophénotypiques permettant d'aborder ce problème sont récentes et rares dans l’AN. Mon premier travail est basé sur l'approche symptômes-candidats dans une cohorte de 321 familles d'AN. Ce travail a aboutit à la publication d'un article montrant une association entre un récepteur de l'œstrogène ESR1 et la forme restrictive de l'AN (Versini, et al 2010). Un deuxième article, soumis à Molecular Psychiatry, concerne l'association de la monoamine oxydase A MAOA et la forme mixte de l'AN. En parallèle, j'ai participé à l'écriture d'une revue sur la pharmacothérapie des troubles des conduites alimentaires (Ramoz, Versini 2007). Mon deuxième travail est axé sur la recherche d'endophénotypes de l'AN, de natures physiologique (leptine, ghréline, obestatine, PYY3-36, cortisol, œstradiol), tempéramentale (BIS10, MPS, SSS, Estime de soi, TCI, BSQ) et cognitive (WSCT, TMT, Empan, IGT, Stroop), couplée à une analyse gènes candidats. A ce jour, 90 contrôles et 65 couples de patientes/apparentés ont été recrutés. Les données préliminaires seront présentées dans ce travail

La thèse examine les conditions dans lesquelles certaines cognitions relatives au sentiment de contrôle et de responsabilité des personnes influencent leurs comportements. Elle met en relation deux champs théoriques de la psychologie sociale cognitive, d'une part, les explications causales des renforcements (locus of control) et des comportements (attribution) et d'autre part, les théories portant sur l'émission et la rationalisation des conduites (engagement et dissonance cognitive). L'hypothèse selon laquelle les processus d'explications causales internes et externes influencent les conduites et le changement d'attitude consécutif est réinterprétée dans une perspective nouvelle qui distingue les conduites conformes et conliaires aux attitudes. Le premier temps de la partie expérimentale consiste à expérimenter et comparer différentes méthodes d'activation des processus d'explications causales. Dans un deuxième temps, l'effet des processus d'explications causales actives ou non est expérimenté sur l'engagement pro et contre-attitudinal. La présentation de requêtes contre-attitudinales (appliquées au syndicalisme) déclenche un processus hétéronome qui provoque une indépendance entre les processus d'explications causales et les comportements émis sous l'effet de la soumission forcée. Les requêtes pro-attitudinales (appliquées au don du sang ou à l'aide aux devoirs) génèrent un processus autonome qui prédispose les internes à l'engagement et au changement d'attitude par opposition aux externes. L'intervention des modèles d'explications causales répond à une loi du coût : plus les requêtes pro-attitudinales sont coûteuses, plus les internes se différencient des externes au niveau de l'engagement et du changement d'attitude
The thesis examines the conditions under which certain cognitions, relating to a person's feeling of control and responsability, influence behaviour. It brings together two theoretical fields of cognitive social psychology, causal explanations of reinforcement (locus of control) and of behaviours (attribution), on the one hand, and the theories on behaviour patterns and behaviour rationalization (commitment and cognitive dissonance), on the other. The hypothesis mat the processes of internal and external explanations influence behaviour and subsequent attitude change is interpreted in a new light, distinguishing between behaviours and contrasting attitudes : the experimental part begins by experimenting with and comparing different methods for activating causal explanatory processes. It then proceeds to experiment with the effect of causal explanatory processes, wether activated or not, on pro and counterattitudinal commitment. Counter-attitudinal requests (re. Trade-unionism) trigger a heteronomous process which gives rise to independence between causal processes and behaviours arising from forced submission. Pro-attitudinal requests (for blood-giving and homework aid) generate an autonomous process predisposing to commitment and attitude change in internals compared with externals. The intervention of causal explanatory models is cost-related : the more costly the pro-attitudinal request is, the more the internals differ from the externals in commitment and subsequent attitude change

Le débogage, tel qu'il est généralement défini, consiste à trouver et à supprimer les problèmes empêchant un logiciel de fonctionner correctement.Quand on parle de bogues et de débogage, on fait donc habituellement référence à des bogues fonctionnels et au débogage fonctionnel.Dans le contexte de cette thèse, cependant, nous parlerons des bogues de performance et de débogage de performance.Nous ne cherchons donc pas les problèmes engendrant de mauvais comportements du programme, mais les problèmes qui le rendent inefficace, trop lent, ou qui induisent une trop grande utilisation de ressources.À cette fin, nous avons développé des outils qui analysent et modélisent la performance pour aider les programmeurs à améliorer leur code de ce point de vue là.Nous proposons les deux techniques de débogage de performance suivantes: analyse des goulets d'étranglement basée sur la sensibilité et Suggestions d'optimisation polyédrique basées sur les dépendances de données.Analyse des goulets d'étranglement basée sur la sensibilité:Il peut être étonnamment difficile de répondre à une question apparemment anodine sur la performance d'un programme, comme par exemple celle de savoir s'il est limité par la mémoire ou par le CPU.En effet, le CPU et la mémoire ne sont pas deux ressources complètement indépendantes, mais sont composés de multiples sous-systèmes complexes et interdépendants.Ici, un blocage d'une ressource peut à la fois masquer ou aggraver des problèmes avec une autre ressource.Nous présentons une analyse des goulets d'étranglement basée sur la sensibilité qui utilise un modèle de performance de haut niveau implémenté dans GUS, un simulateur CPU rapide pour identifier les goulets d'étranglement de performance.Notre modèle de performance a besoin d'une base de référence pour la performance attendue des différentes opérations sur un CPU, comme le pic IPC et comment différentes instructions se partagent les ressources du processeur.Malheureusement, cette information est rarement publiée par les fournisseurs de matériel, comme Intel ou AMD.Pour construire notre modèle de processeur, nous avons développé un système permettant de récupérer les informations requises en utilisant des micro-benchmarks générés automatiquement.Suggestions d'optimisation polyédrique basées sur les dépendances de données:Nous avons développé MICKEY, un profileur dynamique de dépendances de données qui fournit un retour d'optimisation de haut niveau sur l'applicabilité et la rentabilité des optimisations manquées par le compilateur.MICKEY exploite le modèle polyédrique, un puissant cadre d'optimisation pour trouver des séquences de transformations de boucle afin d'exposer la localité des données et d'implémenter à la fois le parallélisme gros-grain, c'est-à-dire au niveau thread, et grain-fin, c'est-à-dire au niveau vectoriel.Notre outil utilise une instrumentation binaire dynamique pour analyser des programmes écrits dans différents langages de programmation ou utilisant des bibliothèques tierces pour lesquelles aucun code source n'est disponible.En interne MICKEY utilise une représentation intermédiaire (RI) polyédrique qui code à la fois l'exécution dynamique des instructions d'un programme ainsi que ses dépendances de données.La RI ne capture pas seulement les dépendances de données à travers plusieurs boucles mais aussi à travers des appels de procédure, éventuellement récursifs.Nous avons développé l'algorithme de folding, un algorithme efficace de compression de traces qui construit cette RI polyédrique à partir de l'exécution d'un programme.L'algorithme de folding trouve aussi des accès réguliers dans les accès mémoire pour prédire la possibilité et la rentabilité de la vectorisation.Il passe à l'échelle sur de gros programmes grâce à un mécanisme de sur-approximation sûr et sélectif pour les applications partiellement irrégulières
Debugging, as usually understood, revolves around finding and removing defects in software that prevent it from functioning correctly.That is, when one talks about bugs and debugging one usually means functional bugs and functional debugging.In the context of this thesis, however, we will talk about performance bugs and performance debugging.Meaning we want to find defects that do not cause a program to crash or behave wrongly, but that make it run inefficiently, too slow, or use too many resources.To that end, we have developed tools that analyse and model the performance to help programmers improve their code to get better performance.We propose the following two performance debugging techniques: sensitivity based performance bottleneck analysis and data-dependence profiling driven optimization feedback.Sensitivity Based Performance Bottleneck Analysis:Answering a seemingly trivial question about a program's performance, such as whether it is memory-bound or CPU-bound, can be surprisingly difficult.This is because the CPU and memory are not merely two completely independent resources, but are composed of multiple complex interdependent subsystems.Here a stall of one resource can both mask or aggravate problems with another resource.We present a sensitivity based performance bottleneck analysis that uses high-level performance model implemented in GUS, a fast CPU simulator to pinpoint performance bottlenecks.Our performance model needs a baseline for the expected performance of different operations on a CPU, like the peak IPC and how different instructions compete for processor resources.Unfortunately, this information is seldom published by hardware vendors, such as Intel or AMD.To build our processor model, we have developed a system to reverse-engineer the required information using automatically generated micro-benchmarks.Data-Dependence Driven Polyhedral Optimization Feedback:We have developed MICKEY, a dynamic data-dependence profiler that provides high-level optimization feedback on the applicability and profitability of optimizations missed by the compiler.MICKEY leverages the polyhedral model, a powerful optimization framework for finding sequences of loop transformations to expose data locality and implement both coarse, i.e. thread, and fine-grain, i.e. vector-level, parallelism.Our tool uses dynamic binary instrumentation allowing it to analyze program written in different programming languages or using third-party libraries for which no source code is available.Internally MICKEY uses a polyhedral intermediate representation IR that encodes both the dynamic execution of a program's instructions as well as its data dependencies.The IR not only captures data dependencies across multiple loops but also across, possibly recursive, procedure calls.We have developed an efficient trace compression algorithm, called the folding algorithm, that constructs this polyhedral IR from a program's execution.The folding algorithm also finds strides in memory accesses to predict the possibility and profitability of vectorization.It can scale to real-life applications thanks to a safe, selective over-approximation mechanism for partially irregular data dependencies and iteration spaces

Cette thèse traite de la perception visuelle des mouvements humains. Nous démontrons l'existence de liaisons fonctionnelles entre la perception et la motricité en utilisant des données issues de l'imagerie cérébrale, de l'étude de cas clinique (maladie de Parkinson) et de l'analyse comportementale de sujets adultes et d'enfants. D'abord, les recherches ont consisté à identifier les structures assurant ces liaisons fonctionnelles. Ensuite, nous nous sommes intéressés à un phénomène de préférence perceptive pour la vitesse, dans le cas des mouvements de traçage et de pointage. Après avoir démontré et analysé en détail ce phénomène, nous avons étudié la façon dont les préférences sont modulées par la représentation que le sujet a du mouvement, la longueur de la trajectoire, le type de mouvement, le niveau de développement moteur, et l'état du système moteur des sujets. Les résultats indiquent que les sujets préfèrent des stimulis dynamiques conformes à leur propre motricité.

Les fauteuils roulants électriques (FRE) ont permis à nombre de personnes handicapés moteurs de retrouver une mobilité satisfaisante, ce qui a amélioré leur qualité de vie, un vaste champ d’activités leur étant devenu accessible. Lors de la prescription d’un FRE ou d’une phase d’apprentissage à la conduite il est cependant nécessaire d’évaluer les capacités de ces personnes à piloter un fauteuil. Dans ce contexte, notre objectif consiste à déterminer des paramètres pertinents permettant de décrire la qualité de la conduite d’un FRE pour des personnes ayant des déficiences motrices sévères. Tout d’abord, nous avons modélisé le système pilote-FRE par le modèle OPCM (Optimal Preview Control Model) de Sharp. Ce modèle est basé sur la distance anticipée (Dp) par l’utilisateur durant sa conduite du FRE. Cette distance a été estimée grâce à un système de suivi du regard combiné avec le simulateur 3D ViEW du laboratoire LCOMS. Un panel de 15 sujets valides a été recruté pour faire des tests de conduite sur simulateur et valider la modélisation OPCM. La distance Dp a permis de décrire le comportement du pilote. Ensuite, une analyse de la distance anticipée Dp en fonction de différentes zones du parcours (slalom serré, virage, slalom large), a montré que ce paramètre peut être utilisé pour différencier les différents comportements de conduite liées aux différentes situations du parcours. Ensuite nous avons comparé cette distance anticipée entre deux groupes, familiarisés et novices vis-à-vis de la conduite en FRE. L’analyse a montré que le groupe familiarisé présente une distance Dp plus importante que le groupe novice. Enfin, une dernière expérience a eu lieu au Centre de Réadaptation de Flavigny sur Moselle (54, France). Nous avons estimé la distance anticipée (Dp) pour des sujets à déficiences motrices sévères, afin de valider le paramètre Dp comme indicateur de performance. Une étude de cas a été établie portant sur 5 enfants en situation de handicap, en comparant leurs résultats à ceux obtenus précédemment sur un panel de personnes valides
The Powered wheelchairs (PW) allowed many people with motor disabilities to find a suitable mobility, which improved their quality of life. Hence, a vast field of activities has become accessible for them. When prescribing a PW or in a learning phase, however, it is necessary to evaluate the ability of these people to drive a wheelchair. In this context, our goal is to determine relevant parameters to describe the quality of driving on PW for people with disabilities. First, we modeled the pilot-PW system using the OPCM (Optimal Preview Control Model) model proposed by Sharp. This model is based on the preview distance (Dp) of the user during his driving. This distance has been estimated thanks to an eye-tracking system combined with the ViEW 3D simulator of the LCOMS laboratory. A panel of 15 healthy subjects was recruited to drive the PW on a 3D simulator and to validate the OPCM modeling. This distance Dp allows to describe the behavior of the pilot. If this distance is important, it guarantees the tracking trajectory of the OPCM model. Otherwise, the OPCM model diverges. This shows that if the user looks a long part of his future path, he will better anticipate the future control applied to the PW (change of direction, braking, etc.), which allows him to follow his path. In this situation the user has a tracking behavior. In the otherwise, the user’s behavior is rather compensatory. Then, an analysis of preview distance Dp with respect to the different zones of the path (tight slalom, turn, wide slalom), showed that the parameter Dp can be used to differentiate the different driving behaviors related to the different situations of the path. Next, we compared the preview distance between two groups, familiar and novice with regard to the PW driving. The analysis showed that the familiar group has a greater distance value than the novice group. Finally, a last experiment took place at the Rehabilitation Center of Flavigny sur Moselle (54, France). We estimated the preview distance (Dp) for subjects with severe motor impairment, in order to validate the parameter Dp as a performance indicator. A case study analysis was established on five children with disabilities comparing their results with those previously obtained with the healthy subjects

Les fauteuils roulants électriques (FRE) ont permis à nombre de personnes handicapés moteurs de retrouver une mobilité satisfaisante, ce qui a amélioré leur qualité de vie, un vaste champ d’activités leur étant devenu accessible. Lors de la prescription d’un FRE ou d’une phase d’apprentissage à la conduite il est cependant nécessaire d’évaluer les capacités de ces personnes à piloter un fauteuil. Dans ce contexte, notre objectif consiste à déterminer des paramètres pertinents permettant de décrire la qualité de la conduite d’un FRE pour des personnes ayant des déficiences motrices sévères. Tout d’abord, nous avons modélisé le système pilote-FRE par le modèle OPCM (Optimal Preview Control Model) de Sharp. Ce modèle est basé sur la distance anticipée (Dp) par l’utilisateur durant sa conduite du FRE. Cette distance a été estimée grâce à un système de suivi du regard combiné avec le simulateur 3D ViEW du laboratoire LCOMS. Un panel de 15 sujets valides a été recruté pour faire des tests de conduite sur simulateur et valider la modélisation OPCM. La distance Dp a permis de décrire le comportement du pilote. Ensuite, une analyse de la distance anticipée Dp en fonction de différentes zones du parcours (slalom serré, virage, slalom large), a montré que ce paramètre peut être utilisé pour différencier les différents comportements de conduite liées aux différentes situations du parcours. Ensuite nous avons comparé cette distance anticipée entre deux groupes, familiarisés et novices vis-à-vis de la conduite en FRE. L’analyse a montré que le groupe familiarisé présente une distance Dp plus importante que le groupe novice. Enfin, une dernière expérience a eu lieu au Centre de Réadaptation de Flavigny sur Moselle (54, France). Nous avons estimé la distance anticipée (Dp) pour des sujets à déficiences motrices sévères, afin de valider le paramètre Dp comme indicateur de performance. Une étude de cas a été établie portant sur 5 enfants en situation de handicap, en comparant leurs résultats à ceux obtenus précédemment sur un panel de personnes valides
The Powered wheelchairs (PW) allowed many people with motor disabilities to find a suitable mobility, which improved their quality of life. Hence, a vast field of activities has become accessible for them. When prescribing a PW or in a learning phase, however, it is necessary to evaluate the ability of these people to drive a wheelchair. In this context, our goal is to determine relevant parameters to describe the quality of driving on PW for people with disabilities. First, we modeled the pilot-PW system using the OPCM (Optimal Preview Control Model) model proposed by Sharp. This model is based on the preview distance (Dp) of the user during his driving. This distance has been estimated thanks to an eye-tracking system combined with the ViEW 3D simulator of the LCOMS laboratory. A panel of 15 healthy subjects was recruited to drive the PW on a 3D simulator and to validate the OPCM modeling. This distance Dp allows to describe the behavior of the pilot. If this distance is important, it guarantees the tracking trajectory of the OPCM model. Otherwise, the OPCM model diverges. This shows that if the user looks a long part of his future path, he will better anticipate the future control applied to the PW (change of direction, braking, etc.), which allows him to follow his path. In this situation the user has a tracking behavior. In the otherwise, the user’s behavior is rather compensatory. Then, an analysis of preview distance Dp with respect to the different zones of the path (tight slalom, turn, wide slalom), showed that the parameter Dp can be used to differentiate the different driving behaviors related to the different situations of the path. Next, we compared the preview distance between two groups, familiar and novice with regard to the PW driving. The analysis showed that the familiar group has a greater distance value than the novice group. Finally, a last experiment took place at the Rehabilitation Center of Flavigny sur Moselle (54, France). We estimated the preview distance (Dp) for subjects with severe motor impairment, in order to validate the parameter Dp as a performance indicator. A case study analysis was established on five children with disabilities comparing their results with those previously obtained with the healthy subjects