Les modèles à événements discrets sont, souvent, réalisés afin d’être simulés et par conséquent exécutés sur ordinateur.Certains codeurs de simulation optent pour une programmation impérative pour implémenter les comportements décrits par leurs machines à états.D’autres codeurs optent plutôt pour une programmation orientée objet.Ce paradigme de programmation, basé sur la notion d’objet, décline une nouvelle façon de voir un programme et son architectureToutes les solutions proposées manquent de clarté.Elles sont extrêmement coûteuses en terme de maintenabilité du code implémenté.L’utilisation exclusive des instructions conditionnelles rend toute correction au niveau du code difficile à réaliser, voire impossible dans certains cas. Aussi, elles souffrent au niveau de la réutilisabilité d’une partie du code. En effet, l’utilisation de telles instructions produit un code compacte, avec une forte cohésion entre les variables et fonctions du modèle implémenté. Par conséquent, le concepteur pourra réutiliser ce code qu’en un seul bloc.Toute dislocation du code est impossiblePour toutes ces raisons, nous proposons une nouvelle conception des modèles à événements discrets afin d’améliorer les qualités du code produit. Cette solution est basée sur le paradigme objet pour exploiter pleinement ses avantages tout en contournant ses limites. A cet effet, la solution proposée et détaillée dans cette thèse est un nouveau patron. Dans ce patron, les états et les événements sont réifiés pour avoir plus d’abstraction et de clarté. La réification permettra aux événements d’encapsuler des données et des comportements. Ainsi, nous pouvons déléguer aux événements de nouvelles responsabilités / Discrete event systems (State machine or Discrete Event system Specification) are often modeled in order to be simulated and therefore executed on a computer. Some simulation designers choose for imperative programming to implement the behaviors described by their state machines and others. Whereas, few of them choose for object-oriented programming: this paradigm of computer programming, based on the notion of object, declines a new way of seeing a program and its architecture.All of the proposed solutions found in the litterature lack clarity. They are extremely expensive in terms of debugging, reusing and changing the implemented model. The exclusive use of conditional statements if-else or switch case makes any code correction difficult to perform, even impossible in some cases. They also suffer from the reusability of some parts of the code. Indeed, the use of such instructions produces a compact code, with a strong cohesion (coupling) between the variables and functions of the implemented model. Therefore, the designer can reuse the corresponding code only in one block. Any extraction of a a piece of code which corresponds to a piece of behavior is impossible.For all these reasons, we propose a new design of discrete event systems, from the state machine to the DEVS, in order to improve the producted code qualities. This solution is based on the object paradigm to fully exploit its advantages while circumventing its limits. To this end, the solution proposed and detailed in this thesis is a new State-Event Design Pattern and its variants. Thus, the designer of simulation models will have a library of patterns to choose in order to satisfy his design requirements.

Les chemins du jihad sont multiples et se dessinent largement par-delà le processus linéaire de radicalisation propre à la majorité des études sur le sujet à la recherche de causes. Cette thèse raconte les multiples enchevêtrements, allers-retours et bifurcations de ces voies empruntées par des Canadiens, Français et Belges, dont les lignes de fuite ont abouti ou pas à des devenirs-jihad. L’objectif étant de comprendre comment ces acteurs en arrivent-ils à désirer l'engagement jihadiste ? Comment en sont-ils affectés et donnent-ils sens à tout cela ? Un désir aux multiples (re)territorialisations qui, parfois, peut tourner en abolition mortuaire. L’émergence d’un moment où l’on perçoit les choses autrement lors de cette rencontre, virtuelle ou réelle, humaine ou non-humaine, qui affecte, et donne sens à une ligne de fuite. Par l’approche rhizomique et schizo-analytique de Deleuze et Guattari – une perspective fluide qui revient à penser l'humain non pas comme une entité fixe, mais un devenir – il est décrit les agencements de ces lignes qui traversent le champ social et les acteurs en une chorégraphie de ruptures, de bifurcations, d’enchevêtrements, de sauts, de dé-re-territorialisations, d’arrêts, etc., à partir des 25 récits de vie des participants. La thèse constitue une cartographie des lignes molaires, souples et de fuite ainsi que des intensités (affects) ; des agencements machinés, des machines sociales, abstraites, désirantes, de guerre, faisant apparaître les multiples possibilités d’existence… toute une machine-jihad.

Cette étude prospective a comme objectif de vérifier la relation entre un facteur de risque psycho-social, soit l'exposition à des événements stressants durant la grossesse et l'avènement d'une naissance prématurée. Pour ce faire, 279 femmes enceintes primipares sont rencontrées au début du troisième trimestre de grossesse, soit entre 25 et 34 semaines de gestation. Les événements de vie sont mesurés à l'aide d'une version modifiée et informatisée du "Life Events Inventory" de Cochrane & Robertson. Quatorze femmes accouchent prématurément, c'est-à-dire à moins de 37 semaines complètes de gestation. Deux groupes témoins sont appariés à posteriori et la valeur prédictive des événements de vie est vérifiée par des régressions logistiques. En considérant les événements selon 3 méthodes de cotation: nombre total d'événements, nombre d'événements majeurs et niveau de préoccupation associé aux événements, aucun modèle de régression logistique ne s'avère significatif. Ainsi, dans le cadre de cette étude, le fait de vivre des événements stressants n'est pas relié au fait d'accoucher prématurément.

Québec Université Laval, Bibliothèque 2015

En 1998, des parents bénévoles ont initié un enseignement biblique avec les arts plastiques (aquarelle, pastel, origami, etc.) en milieu catholique lors de la déconfessionnalisation scolaire au Québec. La pratique appelée la Bible illustrée (BI) inclut dix récits annuellement sur un cycle de six ans. De 2005 à 2022, l'activité a rejoint 144 jeunes de 5 à 14 ans provenant de 82 familles. La durée de participation moyenne est de 2,5 ans; quatorze jeunes ont participé pendant six ans. Cette pratique aide-t-elle les jeunes, leurs parents et les bénévoles à approfondir la Bible et à rencontrer le Christ? En janvier 2022, 26 personnes (4 anciens jeunes, 22 parents ou bénévoles) ont complété un questionnaire. La motivation à participer repose largement sur une invitation personnelle et le plaisir de créer. La conservation d'un cahier de créations est source de fierté. Les jeunes viennent d'abord pour la création artistique, mais apprécient à la longue la réflexion. D'autres expériences chrétiennes après la préadolescence doivent être renforcées. La BI à elle seule ne maintient pas un intérêt à long terme pour la Bible et le témoignage chrétien. Une corrélation critique à partir d'Éphésiens 6,1-4 montre que la BI est un cadeau qui permet de réfléchir aux relations avec les autres, Dieu et l'existence, une réflexion souvent taboue actuellement. La Lettre aux artistes de Jean-Paul II invite à reconnaître le talent comme un don de l'Esprit. Le pape François sollicite tous les artistes, croyants ou non, à chercher la vérité, la beauté et l'espérance. Le réinvestissement de la pratique montre des avantages d'une prise en charge bénévole sur la durée et le développement d'une communauté joyeuse, réflexive et créative. La BI pourrait s'intégrer dans d'autres lieux (paroisses, camps d'été, bibliothèques) mais un futur guide et des trousses de bricolage seraient un atout pour sa diffusion. / In 1998, volunteer parents started biblical teaching in combination with arts and crafts (watercolour, pastel drawings, origami, etc.) in a catholic church during secularization of schools in Québec. The practice called “Bible illustrée” (Illustrated Bible) includes ten biblical stories yearly over a six-year cycle. Between 2005 and 2022, 144 youths aged 5 to 14 coming from 82 families attended on average 2.5 years; 14 youths completed the full 6-year program. Does this practice contribute to a deepening of the Bible and meeting Christ for participating youths, parents, and volunteers? In January 2022, 26 persons (4 former youths, 22 parents or volunteers) completed a questionnaire. The main incentives to participate were a personal invitation and the pleasure of doing artwork. The preservation of the artwork in a personal book is much appreciated. Youths come primarily for the arts, but they realize over the long term the value of biblical reflection. Other Christian experiences are needed in teenage years and early adulthood. The practice of Illustrated Bible does not suffice to maintain long term interest in Bible study and Christian testimonial. Critical correlation based on Ephesians 6:1-4 shows that Illustrated Bible is a gift allowing thoughtful discussion on relationships with others, God and the world, a reflection often considered taboo in the current society. The Letter to Artists by Pope John Paul II reminds us that artistic skills are a gift of God. Pope Francis invites all artists, believers and non-believers, to search for truth, beauty and hope. Reinvesting in the practice shows advantages of a volunteer-based activity over time and the development of a small joyful, thoughtful, and creative community. The practice of Illustrated Bible could be integrated in other environments (parishes, summer camps, libraries) while the development of a practical guide and artwork kits would be beneficial for further outreach.

Les rapports d'activité de l'Établissement Français du Sang (EFS) font état d'une demande croissante de produits sanguins labiles (PSL) tels les concentrés globules rouges (CGR), les plaquettes, et le plasma. Afin d'assurer la demande vitale en PSL, il est primordial d'optimiser la logistique liée aux activités de collecte du sang et de ses composants. Pour faire face à cette situation, l'EFS Auvergne-Loire mène une réflexion dans le but d'utiliser de manière plus efficiente les dispositifs de collecte en sites fixes et mobiles pour améliorer (i) la qualité de service rendue au donneur, et (ii) l'efficience de l'utilisation des ressources humaines. Dans ce contexte nous avons développé dans cette thèse des outils opérationnels pour (i) la modélisation des dispositifs de collecte, (ii) la régulation des flux de donneurs, et (iii) la planification de collectes mobiles.La méthode d'analyse des dispositifs de collecte est basée sur des techniques de simulation à événements discrets. Une modélisation préalable des flux de donneurs dans les systèmes de collecte en sites fixes et mobiles à l'aide de réseaux de Petri a été proposée. Pour la régulation de flux de donneurs, notamment pour la planification optimale des rendez-vous des donneurs et la planification de la capacité dans les systèmes de collecte au site fixe, deux approches ont été abordées: (a) Construction d'un algorithme basée sur techniques d'optimisation stochastique via simulation ; (b) Programmation mathématique: Modèle de programmation en nombres entiers non-linéaire (MINLP) basée sur réseaux de files d'attente et représentation et évaluation des systèmes à événements discrets à travers de programmation mathématique. Pour la planification de collectes mobiles. Deux types de modèles ont été développés : (a) Au niveau tactique : Modèles de programmation en nombres entiers linéaire (MIP) pour planifier les semaines de collectes pour chaque ensemble disponible sur un horizon de temps pour garantir l'autosuffisance à niveau régional des CGR. (b) Au niveau opérationnel : Modèle de programmation en nombres entiers linéaire (MIP) pour l'organisation du travail des équipes en charge de la collecte.

L'objectif de la thèse est d'analyser le phénomène des événements off, événements urbains alternatifs et indépendants, qui naissent «du bas» à partir des initiatives qui rejettent le système institutionnalisé. Dans la première partie, nous proposons une reconstruction du débat sur les événements urbains contemporains : les principales classifications sont identifiées ; les trois débats dominants sont présentés et le concept de la ville événement est remis en cause. Dans la deuxième partie, nous analysons trois études de cas différents : Marseille 2013 Off (Marseille), Fuorisalone (Milan) et Paratissima (Turin). Au début, ils sont décrits dans leurs éléments constitutifs pour voir le degré «off» de ces événements (naissance et histoire de l'événement ; budget ; partenaires et projet de gouvernance ; acteurs locaux impliqués et relation avec l'événement officiel) ; puis ils sont analysés dans le contexte urbain dans lequel ils sont insérer, pour voir dans quelle mesure les événements off parviennent à être des événements urbains qui font l'identité locale. Les Conclusions, à partir d'une vue d'ensemble des trois études de cas, nous permettent d'analyser les trois événements off dans une perspective comparative qui décrit les caractéristiques communes et les différences qui existent entre eux. Cette analyse nous permet de saisir les configurations des événements off en fonction de leur caractère alternatif et de leurs effets sur les entreprises de « branding » urbain. Enfin, on verra comment, parmi les spécificités de chaque étude de cas examinés, ces mécanismes sont mis en cause par la production d’une image alternative à celle représentée par l'événement officiel. / The aim of the thesis was to analyze the phenomenon of so-called fringe events, alternative and independent urban events, which arise from bottom-up initiatives that reject the institutionalized system. The first part is dedicated to a reconstruction of the debate on contemporary urban events by identifying the main classifications, the three dominant debates and by discussing the concept of an event city. The second part analyses three different case studies: Marseille 2013 Off (city of Marseille, France), Fuorisalone (city of Milan, Italy) and Paratissima (city of Turin, Italy). At first they are described in their constituent elements (the birth and the history of the event, the budget, the partners and the project governance, the local stakeholders and the relationship with the official event) to see how much those events can be considered "fringe". While later they are analyzed within their urban context to see how far fringe events manage to be urban events that make local identity. The conclusions of the work offer an overview of the three case studies that allow us to analyze the three fringe events in a comparative perspective that describes the common features and differences between them. This analysis allows us to grasp the fringe events configurations based on their alternative nature and their effects on attempts of urban branding. Finally, we will see how from the specifics of each case study examined, these mechanisms are involved in the production of an alternative image to that produced by the official event.

Nous constatons que de plus en plus de gens présentent, de façon épisodique ou chronique, des symptômes de l’ordre des troubles des conduites alimentaires sans toutefois que cela soit cliniquement significatif. Nous remarquons également que cette population a été peu étudiée. Une recension de la documentation indique que l’émergence et l’intensité des troubles des conduites alimentaires peuvent être influencées par la qualité d’attachement développée à l’enfance, le style d’attachement adulte, les stratégies de régulation émotionnelle, ainsi que l’exposition à des événements de vie difficiles. De plus, la documentation permet de constater que les troubles des conduites alimentaires sont souvent accompagnés d’un plus bas niveau de satisfaction à l’égard de sa vie ainsi que de difficultés relationnelles. Enfin, ces éléments auraient notamment pour effet d’exacerber et de maintenir les symptômes. La présente étude s’intéresse à une population sous-clinique aux prises avec des préoccupations alimentaires. Son objectif est d’approfondir les connaissances sur les caractéristiques psychologiques qui leur sont associées, et ce dans une population générale. Un autre objectif est de vérifier s’il existe des similarités entre le portrait de la population clinique et celui de la population sous-clinique. Pour ce faire, 164 participantes âgées de 18 à 40 ans ont rempli une batterie de questionnaires qui a permis d’évaluer les différents liens entre nos variables indépendantes et dépendantes. Un devis quantitatif corrélationnel a été utilisé, et des analyses de régressions multiples ont permis d’établir les liens entre les différentes variables à l’étude. Les principales retombées sont en lien avec la compréhension des différents éléments qui influencent l’apparition, l’intensité et le maintien des symptômes. Les résultats montrent également une pertinence sur le plan de la prévention.

La plupart des scénarios multimédia interactifs sont basés sur des spécifications informelles, il n'est donc pas possible de vérifier formellement des propriétés de ces systèmes. Nous préconisons la nécessité d'un modèle général et formel. Partitions interactives est un formalisme pour décrire des scénarios multimédia interactifs. Nous proposons une nouvelle sémantique pour les partitions interactives basée sur les structures d'événements temporisés. Avec une telle sémantique, nous pouvons spécifier des propriétés pour le système, en particulier, des propriétés sur les traces, qui sont difficiles à préciser avec la programmation par contraintes. Nous présentons également une sémantique opérationnelle des partitions interactives basée sur le calcul non-déterministe, temporisé, concurrent, par contraintes (ntcc) et nous rapportons la sémantique operationelle à la semantique en structures d'événements temporisés. Avec la sémantique opérationnelle, nous pouvons décrire formellement le comportement d'un scenario dont les durées des objets temporels peuvent être des intervalles d'entiers arbitraires. La sémantique opérationnelle est obtenue à partir de la sémantique en structures d'événements temporisés de la partition interactive. Pour fournir une telle traduction, nous avons d'abord défini la forme normale d'une structure d'événements temporisés, dans laquel les événements liés avec une durée zéro sont regroupés en un seul. Nous avons également défini la notion de structures d'événements temporisés répartissables, de telle sorte que son graphe de contraintes peut être expédié en se fondant uniquementsur la propagation locale. Nous croyons que la sémantique opérationnelle basée sur ntcc offre certains avantages par rapport à la sémantique des partitions interactives basée sur des réseaux de Petri; par exemple, les durées des objets temporels peuvent être des intervalles d'entiers arbitraires, tandis que dans la plupart des modèles de partitions interactives, les intervalles ne peut être utilisés que pour représenterles relations telles que l'égalité et les inégalités. Nos modèles ntcc de partitions interactives sont exécutés en utilisant Ntccrt, un interprète temps réel pour ntcc. Nos modèles peuvent également être vérifiés automatiquement en utilisant ntccMC, un vérificateur pour ntcc, de temps borné, basée sur les automates finis, que nous introduisons dans cette thèse. En utilisant ntccMC, nous pouvons vérifier des propriétés de logique de temps linéaire avec des contrantes (CLTL). Dans cette thèse, nous introduisons deux extensions du formalisme de partitions interactives:(1) l'une pour gérer le traitement audio en utilisant le langage de programmation français Faustet (2) l'autre pour traiter des condition et des branchements, permettant de spécifier des choix et des boucles. Pour la première extension, nous présentons une sémantique basée sur les structures d'événements temporisés et des idées sur la façon de définir une sémantique opérationnelle. Pour la deuxième extension, nous présentons une mise en oeuvre et la comparaison des résultats du jitter relative moyenne d'une implémentation d'un arpège base sur l'algorithme de Karplus-Strong par rapport aux implémentations existants écrits dans Pure Data. Nous définissons aussi un format de sauvegarde XML pour les partitions interactives et pour la extension avec branchement conditionnel. Un format de sauvegarde est crucial pour assurer la persistance des partitions. / Technology has shaped the way on which we compose and produce music. Notably, the invention of microphones and computers pushed the development of new music styles in the 20th century. In fact, several artistic domains have been benefiting from such technology developments ; for instance, Experimental music, non-linear multimedia, Electroacoustic music, and interactive multimedia. In this dissertation, we focus on interactive multimedia.Interactive multimedia deals with the design of scenarios where multimedia content and interactive events are handled by computer programs. Examples of such scenarios are multimedia art installations, interactive museum exhibitions, some Electroacoustic music pieces, and some Experimental music pieces. Unfortunately, most interactive multimedia scenarios are based on informal specifications, thus it is not possible to formally verify properties of such systems. We advocate the need of a general and formal model. Interactive scores is a formalism to describe interactive multimedia scenarios. We propose new semantics for interactive scores based on timed eventstructures. With such a semantics, we can specify properties for the system, in particular, properties about traces, which are difficult to specify as constraints. In fact, constraints are an important part of the semantic model of interactive scores because the formalism is based on temporal constraints among the objects of the scenario. We also present an operational semantics of interactive scores based on the non-deterministic timed concurrent constraint (ntcc) calculus and we relate such a semantics to the timed event structures semantics. With the operational semantics, we formally describe the behavior of a score whose temporal object durations can be arbitrary integer intervals. The operational semantics is obtained from the timed event structures semantics of the score. To provide such a translation, we first define the normal form of a timed event structure in which events related with zero-duration delays are collapsed into a single one. We also define the notion of dispatchable timed event structures. Event structures such that its constraint graph can be dispatched by relying only on local propagation.We believe that operational semantics in ntcc offers some advantages over existing Petri nets semantics for interactive scores; for instance, the duration of the temporal objects can be arbitrary integer intervals, whereas inprevious models of interactive scores, such durations can only be intervals to represent equalities and inequalities. In this dissertation, we also introduce two extensions of the formalism of interactive scores : (1) one to handle audio processing using the Fast AUdio Stream (Faust) languageand (2) another one to handle conditional branching, allowing designers to specify choices and loops. For the first extension, we present a timed event structures semantics and ideas on how to define operational semantics. For the second extension, we present an implementation and results comparing the average relative jitter of an implementation ofan arpeggio based on Karplus-Strong with respect to existing implementations of Karplus written in Pure Data. We also define a XML file format for interactive scores and for the conditional branching extension. A file format is crucial to assure the persistence of the scores. Ntcc models of interactive scores are executed using Ntccrt, a real-time capable interpreter for ntcc. They can also be verified automatically using ntccMC, a bounded-time automata based model checker for ntcc which we introduce in this dissertation. Using ntccMC, we can verify properties expressed on constraint linear-time logic. Ntcc has been used in the past, not only for multimedia interaction models, but alsofor system biology, security protocols and robots.

Le calcul de la fiabilité des réseaux est en général un problème NP-difficile. On peut par exemple s’intéresser à la fiabilité des systèmes de télécommunications où l'on veut évaluer la probabilité qu’un groupe sélectionné de nœuds peuvent communiquer. Dans ce cas, un ensemble de nœuds déconnectés peut avoir des conséquences critiques, que ce soit financières ou au niveau de la sécurité. Une estimation précise de la fiabilité est ainsi nécessaire. Dans le cadre de ce travail, on s'intéresse à l’étude et au calcul de la fiabilité des réseaux hautement fiables. Dans ce cas la défiabilité est très petite, ce qui rend l’approche standard de Monte Carlo inutile, car elle nécessite un grand nombre d’itérations. Pour une bonne estimation de la fiabilité des réseaux au moindre coût, nous avons développé de nouvelles techniques de simulation basées sur la réduction de variance par échantillonnage préférentiel. / Network reliability determination, is an NP-hard problem. For instance, in telecommunications, it is desired to evaluate the probability that a selected group of nodes communicate or not. In this case, a set of disconnected nodes can lead to critical financials security consequences. A precise estimation of the reliability is, therefore, needed. In this work, we are interested in the study and the calculation of the reliability of highly reliable networks. In this case the unreliability is very small, which makes the standard Monte Carlo approach useless, because it requires a large number of iterations. For a good estimation of system reliability with minimum cost, we have developed new simulation techniques based on variance reduction using importance sampling.