Malgré sa popularité grandissante, la formation en ligne en contexte universitaire doit composer avec des problématiques liées à la persévérance et à la réussite, puisque les taux d'abandon et d'échec seraient plus élevés dans ce type de formation qu'en présentiel sur le campus. Dans l'optique de soutenir la persévérance et la réussite des étudiants, l'Université Laval a développé un tableau de bord d'analyse des activités d'apprentissage qui vise à faire prendre conscience aux étudiants de leur participation dans leurs cours, et à les orienter vers des ressources d'aide. Cette recherche porte sur l'utilisation de ce tableau de bord (appelé Ma réussite) pour soutenir l'autorégulation de l'apprentissage et la réussite des étudiants de premier cycle en formation en ligne. Plus précisément, elle a pour objectif de documenter comment et par qui le tableau de bord est utilisé ainsi que les représentations des étudiants à son égard. Cette thèse vise également à vérifier si la théorie unifiée d'acceptation et d'utilisation de la technologie (UTAUT) peut expliquer l'utilisation du tableau de bord, et si son utilisation est liée à la réussite des étudiants. Pour ce faire, nous avons réalisé un sondage auprès de 309 étudiants de 15 cours en ligne différents dans quatre facultés. Nous avons également obtenu les traces numériques d'utilisation de Ma réussite par les étudiants durant la session d'automne 2019. Nos résultats indiquent que Ma réussite est peu utilisé, et que le nombre de visites est significativement plus élevé pour les étudiants qui suivent leur premier cours en ligne, pour ceux qui sont en contact avec l'outil pour la première fois ainsi que pour les primo-entrants. À l'aide du modèle d'autorégulation de Zimmerman (1998), nous avons exploré les perceptions des étudiants concernant l'utilité du tableau de bord pour soutenir l'autorégulation de l'apprentissage. Nos résultats indiquent que les étudiants sont d'accord que Ma réussite soutient l'autorégulation de l'apprentissage, notamment le monitorage et la régulation de l'effort. Les primo-entrants et les étudiants qui sont en contact avec l'outil pour la première fois perçoivent davantage le tableau de bord comme un soutien à l'autorégulation. Nous avons également documenté les perceptions des étudiants concernant les variables qui prédisent l'utilisation selon l'UTAUT, soit la performance attendue, l'effort attendu, l'influence sociale, les conditions facilitatrices et l'intention d'utilisation. Nos résultats indiquent que Ma réussite est utile, facile à utiliser et que les conditions facilitant son utilisation sont en place. Cependant, l'influence sociale pour l'utiliser est perçue comme étant faible. Les étudiants en contact avec l'outil pour la première fois et les primo-entrants perçoivent Ma réussite plus utile et ont davantage l'intention de l'utiliser à l'avenir que les autres étudiants. Ensuite, nous avons validé l'UTAUT, adaptée à l'étude, avec des analyses d'équations structurelles basées sur les moindres carrés partiels. Nos résultats ont permis de valider les hypothèses comme quoi la performance attendue, l'effort attendu, l'influence sociale et l'utilisation actuelle influencent l'intention d'utilisation. Cependant, nos résultats indiquent que les conditions facilitatrices ne sont pas un facteur déterminant de l'intention d'utilisation. Notre modèle de recherche permet d'expliquer 62 % de la variance de l'intention d'utilisation et 72 % de la variance de la performance attendue, avec comme seule variable prédictive le soutien à l'autorégulation. Finalement, nos résultats n'ont pas permis de confirmer un lien entre l'utilisation du tableau de bord et la note finale au cours des étudiants. Cette étude a ainsi contribué à l'avancement des connaissances, puisque très peu d'études ont traité de l'utilisation du tableau de bord des activités d'apprentissage par les étudiants dans des contextes éducatifs réels. Elle permet donc d'apporter un éclairage sur la fréquence et les périodes d'utilisation du tableau de bord par les étudiants selon plusieurs caractéristiques sociodémographiques. Cette étude a également permis d'approfondir le concept d'utilité du tableau de bord, en explorant les perceptions des étudiants sur le soutien que procure Ma réussite à l'autorégulation de l'apprentissage. Ces découvertes peuvent ainsi fournir de l'information aux gestionnaires de l'outil pour l'améliorer, notamment en ajoutant des fonctionnalités permettant de mieux soutenir l'autorégulation de l'apprentissage, et en informant davantage les parties prenantes de son fonctionnement. Finalement, il s'agit de la première étude à valider l'UTAUT en contexte d'utilisation du tableau de bord des activités d'apprentissage par les étudiants. / Despite its growing popularity, online training in university context have to deal with issues related to perseverance and success, since dropout and failure rates are higher in this type of training than on campus training. In an effort to support student retention and success, Université Laval has developed a learning analytics dashboard that aims to make students aware of their participation in their courses, and to guide them toward help resources. This research focuses on the use of this dashboard (called Ma réussite) to support self-regulation of learning and the success of undergraduate online learning students. More specifically, it aims to document how and by whom the learning analytics dashboard is used as well as students' perceptions towards it. This thesis also aims to verify whether the Unified Theory of Acceptance and Use of Technology (UTAUT) can explain the use of the learning analytics dashboard, and whether its use is related to student success. To do this, we conducted a survey with 309 students in 15 different online courses across four faculties. We also obtained digital traces of student use of Ma réussite during the fall 2019 semester. Our results indicate that Ma réussite has low usage, and that the number of visits to Ma réussite is significantly higher for students taking their first semester in university or their first online course, and for those who are in contact with the tool for the first time. Using the self-regulation learning model (Zimmerman, 1998), we explored students' perceptions of the usefulness of the dashboard in supporting self-regulation of learning. Our results indicate that students agree that Ma réussite supports self-regulation of learning, including monitoring and regulation of effort. New entrants and students who are in contact with the tool for the first time perceive the dashboard more as a support for self-regulation. We also documented students' perceptions of the variables that predict use according to UTAUT: performance expectancy, effort expectancy, social influence, facilitating conditions, and intention to use. Our results indicate that Ma réussite is useful, easy to use and that the conditions facilitating its use are in place. However, the social influence to use it is perceived to be low. New entrants and students who are in contact with the tool for the first time perceive Ma réussite as more useful and intend more to use it in the future than other students. We also conducted partial least squares structural equation modeling to validate UTAUT, tailored to the study. Our results confirm hypotheses that performance expectancy, effort expectancy, social influence, and current use influence intention to use. However, our results indicate that facilitating conditions are not a determinant of intention to use. Our research model explains 62% of the variance in intention to use and 72% of the variance of performance expectancy, with self-regulation support as the only predictor variable. Finally, our results did not confirm a relationship between learning analytics dashboard use and student final grade. This study has contributed to the advancement of knowledge, since very few studies have examined the use of the learning analytics dashboard by students in real educational contexts. It therefore provides insight into the frequency and timing of student dashboard use across several socio-demographic characteristics. This study also further explored the concept of dashboard utility by exploring students' perceptions of the support that Ma réussite provides for self-regulation of learning. These findings can thus provide information for managers of the tool to improve it, including adding features to better support self-regulation of learning and further informing stakeholders about how it works. Finally, this is the first study to validate UTAUT in the context of student use of a learning analytics dashboard.

À l’heure du Web 2.0, de nouvelles pratiques d’apprentissage se sont développées au sein de la communauté universitaire. Les étudiants adoptent des pratiques d’intégration de leurs activités sociales au sein de leur processus d’apprentissage. Ces derniers s’attendent à avoir accès à une vaste quantité d’information à travers des outils formels ou informels et à faire partie d'une communauté mondiale de pairs. Le besoin de combiner les ressources institutionnelles et personnelles formalise le concept d’environnement personnel d’apprentissage (EPA). Toutefois, l’élaboration de tels environnements nécessite de développer des compétences complexes que les étudiants du supérieur, pourtant décrits comme natifs du numérique, ne possèdent pas nécessairement. Quelques supports de construction d’EPA ont été proposés dans la littérature, mais ces travaux mettent de côté un point important qui est l’interopérabilité des ressource s. L’objectif du présent mémoire est de fournir aux étudiants un support de construction de leur EPA sous forme d’un tableau de bord, qui permettra d’avoir une vision actualisée des ressources et d’exploiter davantage les liens qui en découlent. Offrir aux étudiants un support de construction de leur EPA est une façon de leur faciliter la réappropriation individuelle des ressources d’apprentissage provenant de sources variées et une gestion optimale en termes de contenu et de processus. La solution proposée est basée sur le concept des systèmes multi-agents et repose sur le modèle organisationnel Agent - Groupe - Rôle. Un prototype a également été implémenté et a permis de démontrer la faisabilité de la solution proposée. / With Web 2.0, the university community have developed new learning practices. Students adopt practices for integrating their social activities into their learning process. The needs of learners are rapidly changed and institutions do not still offer resources totally adapted to this context. Students expect to have access to a vast amount of information through formal or informal tools and to be part of a global peer community. The need to combine institutional and personal resources implies a new concept: Personal Learning Environment (PLE). A PLE is defined as a space for learners to customize the aggregation of heterogeneous resources for their learning needs. Developing such environments requires the involvement of complex skills that higher education students, though described as digital natives, do not necessarily possess. The objective of this research work is to allow students to have support for the construction of their PLE as a dashboard. It would provide an up - to - date view of resources use and further exploit the resulting linkages. The proposed solution is based on the Agent - Group - Role organizational model, one of design method for multi-agent systems. A prototype was also implemented and allowed to demonstrate the feasibility of the proposed solution.

INTRODUCTION : Les mesures sanitaires associées à la pandémie de Covid-19 ont entre autres entrainé la suspension partielle à complète des services en présentiel des trente-trois organismes québécois qui viennent en aide aux conjoints qui ont des comportements violents (CCV). Plusieurs de ces organismes ont adapté leurs pratiques, en offrant notamment des services à distance, afin de maintenir un contact significatif avec les CCV qui étaient davantage à risque de violence. OBJECTIF : L'objectif général de ce mémoire est de mieux saisir le processus d'apprentissage et les savoirs acquis par les intervenants-es des organismes pour CCV vis-à-vis l'adaptation des pratiques à distance en contexte de pandémie de Covid-19. MÉTHODOLOGIE : Ce mémoire s'appuie sur une analyse secondaire des données de l'étude de Roy et Brodeur (2022), ainsi que sur une étude de cas réalisée auprès d'un organisme pour CCV. Un entretien individuel auprès de sa direction et un entretien de groupe auprès de huit intervenants-es ont été réalisés séparément. Les données, de nature qualitative, ont fait l'objet d'une analyse thématique et ont été examinées selon les notions des savoirs expérientiels et du modèle d'apprentissage de Kolb (1984). RÉSULTATS : Plusieurs organismes pour CCV ont réalisé un virage à distance et virtuel, et ont mis en place de nouvelles modalités d'intervention individuelles et de groupe à distance. Les intervenants-es ont réalisé plusieurs apprentissages, par exemple utiliser des plateformes virtuelles et leurs différents outils ou faire face à distance aux dynamiques familiales. Un constat inédit a été soulevé : l'utilisation des moyens technologiques à domicile semble rendre les intervenants-es davantage vulnérables à la violence de la part des CCV. CONCLUSION : Les modalités d'intervention à distance peuvent représenter des options pertinentes autant pour les clients que les organismes. Leurs apports dans le changement des comportements chez les CCV devront être spécifiés dans d'autres études. / INTRODUCTION : The health measures associated with the Covid-19 pandemic led, among other things, to the partial to complete suspension of face-to-face services by the thirty-three batterer intervention programs (BIPs) in Quebec. Many of these programs adapted their practices, including offering remote services, in order to maintain meaningful contact with clients who were more at risk of violence. OBJECTIVES : The general aim of this essay is to gain a better understanding of the learning process and the knowledge acquired by BIPs practitioners in relation to the adaptation of remote practices in the context of the Covid-19 pandemic. METHODS : This essay is based on a secondary analysis of data from the study by Roy and Brodeur (2022), as well as on a case study of a BIP. An individual interview with its management and a group interview with eight practitioners were conducted separately. The data, which was qualitative in nature, was subjected to thematic analysis and examined according to the concepts of experiential knowledge and Kolb's learning model (1984). RESULTS : A number of BIPs organizations have made the shift to remote and virtual intervention, and have introduced new modalities for individual and group remote intervention. Practitioners have learned a great deal, from using virtual platforms and their various tools to deal with family dynamics from distance. An unprecedented observation was made: the use of technology at home seems to make caregivers more vulnerable to violence from perpetrators. CONCLUSION : Remote intervention modalities may represent relevant options for both clients and organizations. However, their contributions to behavior change among clients need to be specified in further studies.

Nous proposons dans cette thèse les approches de test pour la composition de services web. Nous nous intéressons aux test unitaire et d’intégration d’une orchestration de services web. L’aspect de vérification d’exécution en-ligne est aussi consideré. Nous définissons une plateforme de test unitaire pour l’orchestration de services web qui compose une architecture de test, une relation de conformité et deux approches de test basés sur le modèle de machine à l’états finis étendues temporisés: l’approche offline où les activités de test comme la génération de cas de test temporisé, l’exécution de test et l’assignement de verdict sont appliquées en séquentielle tandis que ces activités sont appliquées en parallèle dans l’approche online. Pour le test d’intégration d’une orchestration, nous combinons deux approches: active et passive.Au debut, l’approche active est utilisée pour activer une nouvelle session d’orchestration par l’envoi d’un message de requête SOAP. Après, tous les messages d’entré et de sortie de l’orchestration sont collectés et analysés par l’approche passive.Pour l’aspect de vérification d’exécution en-ligne, nous nous intéressons à la vérification d’une trace qui respecte un ensemble des constraintes, noté règles, ou pas. Nous avons proposé extendre le langage Nomad en définissant des constraintes sur chaque action atomique et un ensemble de corrélation de données entre les actions pour définir des règles pour le service web. Ce langage nous permet de définir des règles avec le temps futur et passé, et d’utiliser des opérations NOT, AND, OR pour combiner quelque conditions dans le contexte de la règle. Ensuite, nous proposons un algorithme pour vérifier l’exactitude d’une séquence des messages en parallèle avec le moteur de collecte de trace. / In this thesis, we propose the testing approaches for web service composition. We focus on unit, integrated testing of an orchestration of web services and also the runtime verification aspect. We defined an unit testing framework for an orchestration that is composed of a test architecture, a conformance relation and two proposed testing approaches based on Timed Extended Finite State Machine (TEFSM) model: offline which test activities as timed test case generation, test execution and verdict assignment are applied in sequential, and online which test activities are applied in parallel. For integrated testing of an orchestration, we combines of two approaches: active and passive. Firstly, active approach is used to start a new session of the orchestration by sending a SOAP request. Then all communicating messages among services are collected and analyzed by a passive approach. On the runtime verification aspect, we are interested in the correctness of an execution trace with a set of defined constraints, called rules. We have proposed to extend the Nomad language, by defining the constraints on each atomic action (fixed conditions) and a set of data correlations between the actions to define the rules for web services. This language allows us to define a rule with future and past time, and to use the operations: NOT, AND, OR to combines some conditions into a context of the rule. Afterwards, we proposed an algorithm to check correctness of a message sequence in parallel with the trace collection engine. Specifically, this algorithm verifies message by message without storing them.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Face à la progression accélérée du commerce électronique et surtout dans des sociétés qui ont la tendance à tout réglementer, le législateur européen et son homologue français n’ont pas tardé à intervenir pour mettre en place un cadre juridique pour le commerce électronique. L’intervention du législateur français était indispensable pour créer la confiance dans le support électronique. Ces interventions se sont poursuivies et se présentent par l’admission de la valeur probatoire du support électronique, la reconnaissance de l’écrit électronique ad validitatem ce qui permet au cyberconsommateur de conclure un contrat solennel par voie électronique. Notamment, l’acte authentique électronique. L’intervention du législateur se présente également par la reconnaissance de la signature électronique, la réglementation détaillée et précise de la période de la conclusion du contrat (l’obligation d’information, l’offre et l’acceptation), l’attribution aux cyberconsommateurs d’un droit de rétractation récemment renforcé par la loi Hamon et l’application des méthodes de la lutte contre les clauses abusives sur le contrat conclu par voie électronique. En revanche, ces interventions n’ont pas pu dissiper la méfiance dans le support électronique pour plusieurs raisons :D’abord, les sources des dispositions qui réglementent le contrat conclu par voie électronique se multiplient sans qu’il existe une vraie volonté d’articulation les unes avec les autres. Ces dispositions sont éparpillées dans le Code civil, le Code de la consommation et parfois elles ne sont pas codifiées ce qui crée un vrai désordre dans certains aspects juridique comme c’est le cas pour l’obligation d’information. Cette multiplication des sources n’aide pas le législateur à réaliser son objectif. À savoir, créer la confiance dans le support électronique.Ensuite, les dispositions concernant le contrat conclu par voie électronique sont de source communautaire. Et le droit européen ne réussit pas souvent à créer la cohérence, la simplicité et la prévisibilité dans les droits internes en raison de son caractère artificiel et la multiplication des acteurs qui participent à l’élaboration de ces droits. Le droit européen devient parfois un facteur d’inquiétude et d’incertitude.Puis, le cyberconsommateur est surprotégé dans le commerce électronique. Cette surprotection se cristallise par la multiplication de l’obligation du professionnel d’information, les mentions spéciales qui doivent être respectées dans l’offre, l’acceptation en ligne qui s’effectue sous forme assez précise, détaillée et par étapes et enfin le droit de rétractation qui a été largement étendu par la loi Hamon.Enfin, le législateur n’a pas apporté de solutions pour certaines questions dans le contrat conclu par voie électronique comme c’est le cas pour l’identité du contractant et sa capacité et le recours au droit commun du contrat n’est pas efficace parce que les solutions qu’il présent ne sont pas adéquate avec le support électroniqueDe plus, le cybercommerçant peut devenir un élément de déstabilisation du lien contractuel en ligne et donc de méfiance dans le support électronique par les clauses abusives qui peut mettre dans ses conditions générales de vente. / In the face of the rapid growth of e-commerce the European legislator and his French counterpart were proactive to intervene to put an e-commerce legal framework.The intervention of the French legislature was necessary to create confidence in the electronic support.The legislative process in France began by accepting the electronic document as evidence and recognition after that as a condition to be convened.Legislative intervention is also demonstrated by the recognition of electronic signature and the organization of the contractual process on the Internet and recognition to internet consumers their reference right and applying methods of removing unfair conditions in electronic contracts.However, these interventions did not dispel the lack of trust in electronic document for several reasons:First, sources of provisions that regulate the electronic contracts are diverse and scattered in several legislative texts where they exist in civil law, consumer law, and others where sometimes they are not codified and this creates a real mess in some of the legal aspects, as is the case for commitment to informing this diversity of sources does not help the legislature achieve its goal of creating confidence in the electronic media.Secondly, the European law is the source of contract-mail provisions, where it often fails in creating harmony and simplicity due to the diversity of actors involved in the development of these laws so that European law sometimes becomes a factor of anxiety and lack of confidence factors. E-commerce sometimes grants extra protection which crystallized through the creation of commitment to news and be overstated as it must take into account additional information in the offer and acceptance, and also through the recognition of the right of withdrawal, which has spread widely.Finally, the legislator did not provide solutions to certain issues in the electronic contract as is the case for the identity of the contractor and the eligibility to use public law rules and contracts are not effective because the solutions offered that are not often consistent with this kind of contracts

Cette thèse travaille principalement sur trois sujets. Le premier concentre sur le clustering en ligne dans lequel nous présentons un nouvel algorithme stochastique adaptatif pour regrouper des ensembles de données en ligne. Cet algorithme repose sur l'approche quasi-bayésienne, avec une estimation dynamique (i.e., dépendant du temps) du nombre de clusters. Nous prouvons que cet algorithme atteint une borne de regret de l'ordre et que cette borne est asymptotiquement minimax sous la contrainte sur le nombre de clusters. Nous proposons aussi une implémentation par RJMCMC. Le deuxième sujet est lié à l'apprentissage séquentiel des courbes principales qui cherche à résumer une séquence des données par une courbe continue. Pour ce faire, nous présentons une procédure basée sur une approche maximum a posteriori pour le quasi-posteriori de Gibbs. Nous montrons que la borne de regret de cet algorithme et celui de sa version adaptative est sous-linéaire en l'horizon temporel T. En outre, nous proposons une implémentation par un algorithme glouton local qui intègre des éléments de sleeping experts et de bandit à plusieurs bras. Le troisième concerne les travaux qui visent à accomplir des tâches pratiques au sein d'iAdvize, l'entreprise qui soutient cette thèse. Il inclut l'analyse des sentiments pour les messages textuels et l'implémentation de chatbot dans lesquels la première est réalisé par les méthodes classiques dans la fouille de textes et les statistiques et la seconde repose sur le traitement du langage naturel et les réseaux de neurones artificiels. / This thesis works mainly on three subjects. The first one is online clustering in which we introduce a new and adaptive stochastic algorithm to cluster online dataset. It relies on a quasi-Bayesian approach, with a dynamic (i.e., time-dependent) estimation of the (unknown and changing) number of clusters. We prove that this algorithm has a regret bound of the order of and is asymptotically minimax under the constraint on the number of clusters. A RJMCMC-flavored implementation is also proposed. The second subject is related to the sequential learning of principal curves which seeks to represent a sequence of data by a continuous polygonal curve. To this aim, we introduce a procedure based on the MAP of Gibbs-posterior that can give polygonal lines whose number of segments can be chosen automatically. We also show that our procedure is supported by regret bounds with sublinear remainder terms. In addition, a greedy local search implementation that incorporates both sleeping experts and multi-armed bandit ingredients is presented. The third one concerns about the work which aims to fulfilling practical tasks within iAdvize, the company which supports this thesis. It includes sentiment analysis for textual messages by using methods in both text mining and statistics, and implementation of chatbot based on nature language processing and neural networks.

Le golfe Persique est depuis toujours le carrefour du commerce mondial. Cette mer est aujourd’hui la voie vitale de l’approvisionnement énergétique mondial. Selon les statistiques, chaque jour 18 millions baril de pétrole passent par cette mer et le détroit d’Ormuz. Parmi les pays côtiers du golfe Persique le rôle de l’Iran est le plus important en raison de sa position géographique. L’Iran, avec ses 1200 kilomètres de côte, possède le plus large littoral dans le golfe Persique et est également l’un des deux États riverains du détroit d’Ormuz, la seule voie de communication maritime du golfe Persique avec le monde entier. C’est pourquoi la politique maritime de l’Iran et sa législation concernant le droit de la mer sont déterminantes dans la région et c’est la question que nous nous sommes proposé d’aborder dans la présente thèse. / The Persian Gulf has always been the crossroad of world trade. The Persian Gulf is today the vital corridor of global energy supply. According to statistics 18 million barrels of oil pass through this sea and the Strait of Hormuz every day. Among the coastal countries of the Persian Gulf the role of Iran is crucial due to its geographical location. Iran, with 1200 km, has the widest coastline on the Persian Gulf, it is also one of the two coastal states to the Strait of Hormuz wich is the only shipping route of the Persian Gulf to the rest of the world. This is why Iran's maritime policy and its law of the sea legislation are critical in the region. This thesis tries to explore these policies and legislations of Iran.

Dans cette thèse nous étudions le problème d'ordonnancement temps réel multiprocesseur préemptif avec prise en compte du coût exact du système d'exploitation. Ce coût est formé de deux parties : une partie facile à déterminer, correspondant au coût de l'ordonnanceur et une partie difficile à déterminer, correspondant au coût de la préemption. Cette difficulté est due au fait qu'une préemption peut en engendrer une autre, pouvant ainsi créer un phénomène d'avalanche. Dans un premier temps, nous avons étudié l'ordonnancement hors ligne multiprocesseur de tâches indépendantes avec prise en compte du coût exact de la préemption et proposé une analyse d'ordonnançabilité fondée sur une heuristique d'ordonnancement multiprocesseur. Cette heuristique utilise la stratégie d'ordonnancement multiprocesseur par partitionnement. Pour prendre en compte le coût exact de la préemption sur chaque processeur nous avons utilisé la condition d'ordonnançabilité proposée par Meumeu et Sorel. Cette condition d'ordonnançabilité pour des tâches à priorités fixes, est basée sur une opération binaire d'ordonnancement qui permet de compter le nombre exact de préemption et d'ajouter leur coût dans l'analyse d'ordonnançabilité des tâches. L'heuristique proposée permet de maximiser le facteur d'utilisation restant afin de répartir équitablement les tâches sur les processeurs et de réduire leur temps de réponse. Elle produit une table d'ordonnancement hors ligne. Dans un second temps, nous avons étudié l'ordonnancement hors ligne multiprocesseur de tâches dépendantes avec prise en compte du coût exact de la préemption. Puisque la condition d'ordonnançabilité utilisée pour ordonnancer les tâches indépendantes ne s'applique qu'à des tâches à priorités fixes, elle ne permet pas de gérer les inversions de priorités que peuvent entraîner les tâches dépendantes. Nous avons donc proposé une nouvelle condition d'ordonnançabilité pour des tâches à priorités dynamiques. Elle prend en compte le coût exact de la préemption et les dépendances sans aucune perte de données. Ensuite en utilisant toujours la stratégie d'ordonnancement par partitionnement, nous avons proposé pour des tâches dépendantes une heuristique d'ordonnancement multiprocesseur qui réutilise cette nouvelle condition d'ordonnançabilité au niveau de chaque processeur. Cette heuristique d'ordonnancement prend en compte les coûts de communication inter-processeurs. Elle permet aussi de minimiser sur chaque processeur le makespan (temps total d'exécution) des tâches. Cette heuristique produit pour chaque processeur une table d'ordonnancement hors ligne contenant les dates de début et de fin de chaque tâches et de chaque commmunication inter-processeur. En supposant que nous avons une architecture multiprocesseur de type dirigée par le temps (Time-Triggered) pour laquelle tous les processeurs ont une référence de temps unique, nous avons proposé pour chacun des processeurs un ordonnanceur en ligne qui utilise la table d'ordonnancement produite lors de l'ordonnancement hors ligne. Cet ordonnanceur en ligne a l'avantage d'avoir un coût constant qui de plus est facile à déterminer de manière exacte. En effet il correspond uniquement au temps de lecture dans la table d'ordonnancement pour obtenir la tâche sélectionnée lors de l'analyse d'ordonnançabilité hors ligne, alors que dans les ordonnanceurs classiques en ligne ce coût correspond à mettre à jour la liste des tâches qui sont dans l'état prêt à l'exécution puis à sélectionner une tâche selon un algorithme, par exemple RM, DM, EDF, etc. Il varie donc avec le nombre de tâches prêtes à s'exécuter qui change d'une invocation à l'autre de l'ordonnanceur. C'est ce coût qui est utilisé dans les analyses d'ordonnançabilités évoquées ci-dessus. Un autre avantage est qu'il n'est pas nécessaire de synchroniser l'accès aux mémoires de données partagées par plusieurs tâches, car cette synchronisation a été déjà effectuée lors de l'analyse d'ordonnançabilité hors ligne. / In this thesis we studied the problem of multiprocessor preemptive real-time scheduling taking into account the exact cost of the operating system (OS). This cost is composed of two parts: a part easy to determine, corresponding to the scheduler cost and another part difficult to determine, corresponding to the preemption cost. This difficulty is due to the fact that a preemption can involve another one, being able to so create an avalanche phenomenon. First, we studied the off-line multiprocessor real-time scheduling of independent tasks taking into account the exact preemption cost. We proposed a schedulability analysis based on a multiprocessor scheduling heuristic. This heuristic uses the partitioned multiprocessor scheduling approach. In order to take into account the exact preemption cost on every processor we use the schedulability condition proposed by Meumeu and Sorel. This schedulability condition for fixed priorities tasks, is based on a binary scheduling operation which counts the exact number of preemptions and add their cost in the schedulability analysis. The proposed heuristic maximizes the remaining utilization factor to fairly distribute the tasks on processors and to reduce their response time. It produces an off-line scheduling table. Secondly, we studied the off-line multiprocessor real-time scheduling of dependent tasks taking into account the exact preemption cost. Because the schedulability condition used for scheduling independent tasks can be applied only to fixed priorities tasks, it does not allow to manage priorities inversions that are involved by dependent tasks. We proposed a new schedulability condition for dependent tasks which enables fixed and dynamic priorities. This schedulability condition takes into account the exact preemption cost and dependences between tasks without any loss of data. Always with the partitioned scheduling approach, we proposed for dependent tasks a multiprocessor scheduling heuristic which reuses, on every processor, the schedulability condition proposed previously. In addition, this scheduling heuristic takes into account the interprocessors communication costs. It also minimizes on every processor the makespan (total execution time of the tasks on all the processors). This heuristic produces for every processor an off-line scheduling table. Supposing that we have a time-triggered multiprocessor architecture such that all the processors have a unique time reference, we proposed for every processor an on-line scheduler which uses the scheduling table produced during the off-line schedulability analysis. This on-line scheduler has the advantage to have a constant cost that is easy to determine exactly.Indeed, this cost corresponds only to the time necessary to read in the scheduling table the task selected for execution. In the on-line classical scheduler, this cost corresponds to the time necessary to update the list of ready tasks in order to select a task, according to a given scheduling algorithm, for example RM, DM, EDF, etc. In this case, the cost for selecting a task varies with the number of ready tasks which changes from an invocation of the scheduler to another one. Another advantage of the proposed on-line scheduler is that it is not necessary to synchronize the access to the data shared by several tasks, because this synchronization was already done during the off-line schedulability analysis.

Les normes de construction pour des bâtiments de plus en plus économes en énergie (BBC) nécessitent une attention particulière. Ces normes reposent sur l’amélioration des performances thermiques de l’enveloppe du bâtiment associé à un effet capacitif des murs augmentant la constante de temps du bâtiment. La prévision de la demande en énergie de bâtiments BBC est plutôt complexe. Ce travail aborde cette question par la mise en œuvre d’intelligence artificielle(IA). Deux approches de mise en œuvre ont été proposées : « all data » et « relevant data ». L’approche « all data » utilise la totalité de la base de données. L’approche « relevant data » consiste à extraire de la base de données un jeu de données représentant le mieux possible les prévisions météorologiques en incluant les phénomènes inertiels. Pour cette extraction, quatre modes de sélection ont été étudiés : le degré jour (HDD), une modification du degré jour (mHDD) et des techniques de reconnaissance de chemin : distance de Fréchet (FD) et déformation temporelle dynamique (DTW). Quatre techniques IA sont mises en œuvre : réseau de neurones (ANN), machine à support de vecteurs (SVM), arbre de décision (DT) et technique de forêt aléatoire (RF). Dans un premier temps, six bâtiments ont été numériquement simulés (de consommation entre 86 kWh/m².an à 25 kWh/m².an) : l’approche « relevant data » reposant sur le couple (DTW, SVM) donne les prévisions avec le moins d’erreur. L’approche « relevant data » (DTW, SVM) sur les mesures du bâtiment de l’Ecole des Mines de Nantes reste performante. / High-energy efficiency building standards (as Low energy building LEB) to improve building consumption have drawn significant attention. Building standards is basically focused on improving thermal performance of envelope and high heat capacity thus creating a higher thermal inertia. However, LEB concept introduces alarge time constant as well as large heat capacity resulting in a slower rate of heat transfer between interior of building and outdoor environment. Therefore, it is challenging to estimate and predict thermal energy demand for such LEBs. This work focuses on artificial intelligence (AI) models to predict energy consumptionof LEBs. We consider two kinds of AI modeling approaches: “all data” and “relevant data”. The “all data” uses all available data and “relevant data” uses a small representative day dataset and addresses the complexity of building non-linear dynamics by introducing past day climatic impacts behavior. This extraction is based on either simple physical understanding: Heating Degree Day (HDD), modified HDD or pattern recognition methods: Frechet Distance and Dynamic Time Warping (DTW). Four AI techniques have been considered: Artificial Neural Network (ANN), Support Vector Machine (SVM), Boosted Ensemble Decision Tree (BEDT) and Random forest (RF). In a first part, numerical simulations for six buildings (heat demand in the range [25 – 85 kWh/m².yr]) have been performed. The approach “relevant data” with (DTW, SVM) shows the best results. Real data of the building “Ecole des Mines de Nantes” proves the approach is still relevant.