In recent years, the number of digital services and tools available has increased rapidly. When companies want to digitalize their business, they have the opportunity to browse a large number of existing platforms and applications available on the market to find a good match for their specific needs. However, when a company wishes to digitalize a work task that already has a well-established workflow, problems may arise. Due to this, a tailored digital solution may in some cases be the better suited option, rather than the ones available on the market.  The intention of this work was to investigate the challenges that companies face in relation to digitalization of the workplace in general, and the challenges of a company’s expense management process in particular. As an example of how a workplace digitalization can take place, a collaboration with a forest industry company was conducted. An evaluation of their analog and internal expense management process was done, where the found challenges were assessed with respect to chosen quality factors. The evaluation and the found challenges regarding digitalization constituted the basis for a process mapping and a digital solution aiming to improve the company’s expense management process. The resulting work emphasizes how a digital solution can be tailored with simple means within a limited time frame, taking specific needs and existing challenges into account in order to digitalize the workplace. In addition, the work presents what challenges that exists within the concept of digitalizing the workplace and regarding expense management, and how quality factors can be used in combination with a process improvement in order to relieve and eliminate them.

Regular model checking is a method for verifying infinite-state systems based on coding their configurations as words over a finite alphabet, sets of configurations as finite automata, and transitions as finite transducers. We implement regular model checking using inference of regular languages. The method builds upon the observations that for infinite-state systems whose behavior can be modeled using length-preserving transducers, there is a finite computation for obtaining all reachable configurations.   Our new approach to regular model checking via inference of regular languages is based on the Angluin's L* algorithm that is used for finding out an invariant which can answer our question whether the system satisfies some property.   We also provide an intro to the theory of finite automata, model checking, SAT solving and Anguin's L* and Bierman algorithm of learning finite automata.

Studien syftade till att undersöka hur det nya teknikskiftet som generativ AI medför kommer att påverka arbetsmarknaden i Sverige. Som metod användes en kvalitativ fallstudie med ett snöbollsurval där sex respondenter intervjuades, alla på olika avdelningar inom samma företaget. Semistrukturerade intervjuer användes för att samla in data och den insamlade informationen analyserades genom tematisk analys. Resultatet visade att respondenterna inte ansåg att arbetstillfällen kommer påverkas i antal, utan mer att arbetsuppgifterna kommer omformas samt att det kan bli en ny arbetsprofil som eftersöks. Studien visade också på att den generativa AI:n öppnar upp för nya arbetsmöjligheter och förbättrar företagseffektiviteten. / The study aimed to investigate how the new technological shift introduced by generative AI will impact the labor market in Sweden. A qualitative case study approach was employed, using a snowball sampling method to select six respondents from various departments within the company. Semi-structured interviews were conducted to gather data, which was then analyzed through thematic analysis. The results indicated that respondents did not believe that the number of jobs would be affected, but rather that job tasks would be reshaped and might require a new skillset. Generative AI opens up new job opportunities and enhances business efficiency.

Les véhicules de demain, (2020), devront diminuer leurs émissions globales de CO2 de 30% selon les directives européennes. Une solution qui apparait aujourd’hui comme inévitable est la substitution des métaux présents dans les châssis de véhicules par des matériaux composites plus légers et tout aussi performants. Pour généraliser cette approche à tout le secteur automobile, un temps court de fabrication des pièces est exigé pour satisfaire les cadences de production allant jusqu’à 1000 véhicules par jour. La production automatisée et robotisée de ces matériaux, basée sur la technologie de photo-polymérisation au moyen de rayonnements UV, répond à ces exigences. Le procédé de fabrication élaboré se décompose en deux phases : une phase de fabrication automatisée de pré-imprégnés (prépregs), produits semi-finis, et une phase de mise en forme et d’obtention du produit final (composite UV). La première étape consiste en l’imprégnation d’un renfort fibreux sec par une résine liquide photo-polymérisable, puis l’irradiation de celle-ci par des rayonnements UV, de manière à ce que la résine ne soit pas totalement polymérisée. On obtient alors un prépreg collant. La seconde étape de fabrication impose que les pré-imprégnés soient conditionnés parfaitement sous forme de bobines pour qu’ils soient intégrés dans un dispositif robotisé de dépose. D’où la nécessité de concevoir et de réaliser une machine automatisée de production des pré-imprégnés (objet de cette thèse). Cette machine a nécessité une automatisation se caractérisant par l'utilisation d'outils d'instrumentation et de pilotage modernes (servomoteurs Brushless, IHM, capteurs, …). Les essais réalisés sur cette machine ont permis de réaliser des premiers prépregs, dont les résultats ont conduit à des pistes de réflexion pour approfondir l'automatisation de la machine en vue d'améliorer le procédé de fabrication de ces prépregs. / The overall CO2 emission of the future vehicles, (2020), must be reduced by 30%, according to European directives. A solution that seems inevitable nowadays is the substitution of metals present in the vehicle chassis by lighter and equally efficient composite-materials. To generalize this approach throughout the automotive sector, a short manufacturing time of these materials is required to meet the high required production rates, of up to 1000 vehicles per day. The automated and robotic production of these materials, depending on the photo polymerization technology by UV radiation, meets these requirements. The developed automated manufacturing process consists of two phases: the phase of automated manufacturing of semi-finished composite (prepreg), and the phase of shaping and obtaining the final composite (UV composite). The first phase depends on the impregnation of fibrous reinforcement with a photo-polymerizable and liquid resin, then, on the partial irradiation of impregnated reinforcement with UV rays, in such a way that the resin is not completely cured. Thereby, a tacky prepreg is obtained. The second phase of automated manufacturing process requires that the prepregs must be perfectly reeled up in a form of coils, so that they can be incorporated in a robotic lay-up placement head. Hence, the need to design and produce a machine of automated prepreg production (subject of this thesis) is absolutely necessary. This machine requires automation, characterized by the use of modern instrumentations and control tools (Brushless Servo, Human–computer interface HCI, sensors...). The tests performed by this machine have enabled the production of the first prepregs, of which the results led to further approaches to develop the automation of this machine in order to improve the prepregs manufacturing process.

Cette thèse contribue à l’étude de la fiabilité et de la sécurité-innocuité des systèmes informatisés, modélisés par des systèmes à événements discrets. Les principales contributions concernent la théorie des Systèmes de Contrôle (notés C Systems) et l’approche par Monitoring des modèles.Dans la première partie de la thèse, nous étudions la théorie des Systèmes de Contrôle qui combine et étend de façon significative, les systèmes de réécriture de la théorie des langages et le contrôle supervisé. Un système de contrôle est une structure générique qui contient deux composants : le composant contrôlé et le composant contrôlant qui restreint le comportement du composant contrôlé. Les deux composants sont exprimés en utilisant le même formalisme comme des automates ou des grammaires. Nous considérons différentes classes de systèmes de contrôle basés sur différents formalismes comme, par exemple, les automates, les grammaires, ainsi que leurs versions infinies et concurrentes. Ensuite, une application de cette théorie est présentée. Les systèmes de contrôle basés sur les automates de Büchi sont utilisés pour vérifier par model-checking, des propriétés définissant la correction sur des traces d’exécution spécifiées par une assertion de type nevertrace.Dans la seconde partie de la thèse, nous investiguons l’approche de monitoring des modèles dont la théorie des systèmes de contrôle constitue les fondations formelles. Le principe pivot de cette approche est la «spécification de propriétés comme contrôleur». En d’autres termes, pour un système, les exigences fonctionnelles, d’une part, et des propriétés, d’autre part, sont modélisées et implantées séparément, les propriétés spécifiées contrôlant le comportement issu des exigences fonctionnelles. De cette approche découle ainsi deux techniques alternatives, respectivement nommées monitoring de modèle et génération de modèle. Cette approche peut être utilisée de diverses manières pour améliorer la fiabilité et la sécurité-innocuité de divers types de systèmes. Nous présentons quelques applications qui montrent l’intérêt pratique de cette contribution théorique. Tout d’abord, cette approche aide à prendre en compte les évolutions des spécifications des propriétés. En second lieu, elle fournit une base théorique à la sécurité fonctionnelle, popularisée par la norme IEC 61508. En troisième lieu, l’approche peut être utilisée pour formaliser et vérifier l’application de guides de bonnes pratiques ou des règles de modélisation appliquées par exemple pour des modèles UML.Ces résultats constituent les bases pour des études futures de dispositifs plus perfectionnés, et fournissent une nouvelle voie pour s’assurer de la fiabilité et de la sécurité-innocuité des systèmes / This thesis contributes to the study of reliability and safety of computer and software systems which are modeled as discrete event systems. The major contributions include the theory of Control Systems (C Systems) and the model monitoring approach.In the first part of the thesis, we study the theory of control systems which combines and significantly extends regulated rewriting in formal languages theory and supervisory control. The control system is a generic framework, and contains two components: the controlled component and the controlling component that restricts the behavior of the controlled component. The two components are expressed using the same formalism, e.g., automata or grammars. We consider various classes of control systems based on different formalisms, for example, automaton control systems, grammar control systems, and their infinite versions and concurrent variants. After that, an application of the theory is presented. The Büchi automata based control system is used to model and check correctness properties on execution traces specified by nevertrace claims.In the second part of the thesis, we investigate the model monitoring approach whose theoretical foundation is the theory of control systems. The key principle of the approach is “property specifications as controllers”. In other words, the functional requirements and property specification of a system are separately modeled and implemented, and the latter one controls the behavior of the former one. The model monitoring approach contains two alternative techniques, namely model monitoring and model generating. The approach can be applied in several ways to improve reliability and safety of various classes of systems. We present some typical applications to show its strong power. First, the approach provides better support for the change and evolution of property specifications. Second, it provides the theoretical foundation of safety-related systems in the standard IEC 61508 for ensuring the functional validity. Third, it is used to formalize and check guidelines and consistency rules of UML.These results lay out the foundations for further study of more advanced control mechanisms, and provide a new way for ensuring reliability and safety

Les services Web ont émergé comme un support de développement et d’intégration d’applications ou de systèmes d’information. Dans ce cadre, les interactions entre deux applications consommateur et fournisseur, encapsulées par des services Web se font par échanges de messages. Ces échanges s’appuient sur la notion d’interfaces, qui décrivent les interactions dans lesquelles un service peut s’engager et les dépendances entre ces interactions. Dans le Web actuel, il arrive très fréquemment que de nombreux services répondent à un même ensemble de besoins fonctionnels. Ces services sont souvent offerts par le biais d’interfaces différentes. Des nombreuses raisons, telles que la panne du service fournisseur, peuvent amener un consommateur à substituer son fournisseur habituel par un autre fournisseur qui offre la même fonctionnalité. Cette substitution provoque des incompatibilités entre l’interface du service consommateur et celle du service fournisseur substitut. Cela est dû au fait que le service consommateur n’a pas été fait en fonction de ce nouveau service fournisseur. Les recherches que nous menons dans cette thèse visent à résoudre le problème des incompatibilités dans des interactions entre deux services consommateur et fournisseur substitut. En particulier, notre contribution s’étend, tant sur le plan théorique que sur le plan pratique. Il s’agit d’une part d’un canevas pour la génération automatique des adaptateurs des interactions entre deux services. D’autre part, nous proposons une architecture logicielle multicouche fournissant un cadre permettant une substitution transparente et flexible d’un service fournisseur par un autre service vis-à-vis du consommateur du premier. Dans notre canevas pour la génération automatique des adaptateurs, une modélisation des interfaces de services en des automates a été adoptée. Puis, une étape de détection des incompatibilités entre ceux-ci est réalisée. Ensuite, un adaptateur des interactions entre les deux services est généré automatiquement sur la base d’incompatibilités détectées. La génération de l’adaptateur est guidée par le modèle d’automates. Cela permet de modéliser l’adaptateur indépendamment de son implémentation cible, permettant ainsi une bonne réutilisation des modèles. Une fois généré, l’automate de l’adaptateur suffisamment détaillé est projeté sur la technologie CEP (Complexe Event Processing). Cette projection est réalisée à l’aide des composants cartouches (en anglais : Templates) que nous avons mis en oeuvre. Chaque cartouche étant conçue pour générer du code exécutable (en termes de requêtes continues) pour la technologie CEP / Web services have emerged as a support for development and integration of applications and information systems. In this context, the interactions between two consumer and supplier applications, encapsulated by Web services are done by exchanging messages. These exchanges are based on the concept of interfaces, which describe the interactions in which a service can handle and dependencies between these interactions. In the current Web, it is very often that many services meet the same set of functional requirements. These services are often delivered through different interfaces. For many reasons, such as failure of the service provider, the consumer has to replace his usual supplier with another supplier that offers the same functionality. This substitution leads to incompatibilities between the interfaces of the service consumer and new service provider. This is because the customer service was not been developed according to the new service provider. The research we conduct in this thesis aims to solve the problem of incompatibility in the interaction between two services; consumer and new provider. In particular, our contribution extends both in theory and in practice. It is a part of a framework for the automatic generation of adapters for interactions between two services. On the other hand, we propose a multi-layer software architecture providing a framework for transparent and flexible substitution of a service provider by another with respect to an existed consumer. In our framework for automatic generation of adapters, services interfaces modeling using automata has been adopted. Then, a step of detecting incompatibilities between them is achieved. After that, an adapter of the interactions between the two services is generated automatically based on the detected incompatibilities. The generation of the adapter is based on the automata model. The generated adapter automaton contains a sufficient detail for the projected technology CEP (Complex Event Processing). This projection is performed using components templates that are implemented by us. Each template is designed to generate executable code (in terms of continuous requests) for the CEP technology

Nous étudions les semi-groupes de matrices avec des points de vue variés qui se re-coupent. Le point de vue de la croissance s’avère relié à un point de vue géométrique : nous avons partiellement généralisé aux semi-groupes un théorème de Patterson-Sullivan-Paulin sur les groupes, qui donne l’égalité entre exposant critique et dimension de Hausdorff de l’ensemble limite. Nous obtenons cela dans le cadre général des semi-groupes d’isométries d’un espace Gromov-hyperbolique, et notre preuve nous a permis d’obtenir également d’autres résultats nouveaux. Le point de vue informatique s’avère également relié à la croissance, puisque la notion de semi-groupe fortement automatique, que nous avons introduit, permet de calculer les exposants critiques exactes de semi-groupes de développement en base β. Et ce point de vue donne également beaucoup d’autres informations sur ces semi-groupes. Cette notion de croissance s’avère aussi reliée à des conjectures sur les fractions continues telles que celle de Zaremba. Et c’est en étudiant certains semi-groupes de matrices que nous avons pu démontrer des résultats sur les fractions continues périodiques bornées qui permettent de petites avancées dans la résolution d'une conjecture de McMullen. / We study matrix semigroups with different point of view that overlaps. The growth point of view seems to be related with the geometric point of view : we partially generalize to the semigroups a theorem on groups of Patterson-Sullivan-Paulin, that give the equality between the critical exponent and the Hausdorff dimension of the limit set. We obtain this in the general framework of isometries of a Gromov-hyperbolic space, and our proof give also others new results. The computer science point of view is also related to the growth, since we obtain a way to calculate exact values of critical exponents of somes β-adic development semigroups, from a notion of automatic semigroups that we introduce. Furthermore this point of view give a lot of information on these semigroups. This notion of growth shows to be also related to conjectures on continued fractions like Zaremba’s one. And by studing some matrix semigroups we were able to prove some results on bounded periodic continued fractions, doing a little step in the resolution of a conjecture of McMullen.

La première partie de cette thèse porte sur les automates cellulaires probabilistes (ACP) sur la ligne et à deux voisins. Pour un ACP donné, nous cherchons l'ensemble de ces lois invariantes. Pour des raisons expliquées en détail dans la thèse, ceci est à l'heure actuelle inenvisageable de toutes les obtenir et nous nous concentrons, dans cette thèse, surles lois invariantes markoviennes. Nous établissons, tout d'abord, un théorème de nature algébrique qui donne des conditions nécessaires et suffisantes pour qu'un ACP admette une ou plusieurs lois invariantes markoviennes dans le cas où l'alphabet E est fini. Par la suite, nous généralisons ce résultat au cas d'un alphabet E polonais après avoir clarifié les difficultés topologiques rencontrées. Enfin, nous calculons la fonction de corrélation du modèleà 8 sommets pour certaines valeurs des paramètres du modèle en utilisant une partie desrésultats précédents. / The first part of this thesis is about probabilistic cellular automata (PCA) on the line and with two neighbors. For a given PCA, we look for the set of its invariant distributions. Due to reasons explained in detail in this thesis, it is nowadays unthinkable to get all of them and we concentrate our reections on the invariant Markovian distributions. We establish, first, an algebraic theorem that gives a necessary and sufficient condition for a PCA to have one or more invariant Markovian distributions when the alphabet E is finite. Then, we generalize this result to the case of a polish alphabet E once we have clarified the encountered topological difficulties. Finally, we calculate the 8-vertex model's correlation function for some parameters values using previous results.The second part of this thesis is about infinite iterations of stochastic processes. We establish the convergence of the finite dimensional distributions of the α-stable processes iterated n times, when n goes to infinite, according to parameter of stability and to drift r. Then, we describe the limit distributions. In the iterated Brownian motion case, we show that the limit distributions are linked with iterated functions system.

This thesis involves parsing document-based reports from the United States Human Rights Reports and rating the human practices for various countries based on the CIRI (Cingranelli-Richards) Human Rights Data Project dataset. The United States Human Rights Reports are annual reports that cover internationally recognized human rights practices regarding individual, civil, political, and worker rights. Students, scholars, policymakers, and analysts used the CIRI data for practical and research purposes. CIRI analyzed the annual reports from 1981 to 2011 and then stopped releasing the dataset for any further years, but a possible reason is due to the manual process of scouring the Human Rights Reports and then rating each human rights practice for each country. This manual process provides a solid foundation for creating a new automated process. The automated process uses the rating values provided by CIRI in the 1981-2011 dataset as expected values to evaluate the accuracy of the rating process. To transition to an automated process, the General Architecture for Text Engineering (GATE) application is used. GATE is an open source project used for developing solutions for text processing. GATE is used in conjunction with the coding schemes provided within the CIRI Coding Manual to create an automated ratings process. The CIRI Coding Manual uses qualitative and quantitative criteria. The original and automated ratings are evaluated using GATE’s Annotation Diff Tool to get the F-measure for every country in the dataset. The evaluation cases range between 1999 and 2011 because those are the only years included in both the CIRI dataset and the Human Rights Reports. The F-measure results are more accurate when quantitative criteria is used to rate human rights practices. The primary contribution of this thesis is a method for automating each country’s human practice ratings so that the purpose of the CIRI project can be continued.

Cette thèse décrit la mesure précise de la fonction de structure polarisée g1n du neutron menée par la collaboration E154 à l'automne 1995 auprès de l'accélérateur linéaire de Stanford aux Etats-Unis, par diffusion profondément inélastique inclusive d'un faisceau d'électrons polarisé de 48.3 GeV sur une cible d'Hélium 3 polarisée. Les électrons diffusés ont été détectés par deux spectromètres permettant de couvrir le domaine cinématique en x Bjorken : 0.014 < x < 0.7 et en quadritransfert carré : 1 GeV2 < Q2 < 17 GeV2 à une valeur moyenne Q2 = 5 GeV2. Deux calorimètres électromagnétiques pris en charge par le LPC de Clermont-Ferrand et le SphN du CEA-Saclay ont été utilisés pour déterminer l'énergie des électrons diffusés et pour rejeter le bruit de fond hadronique. Pour cela, nous avons développé un automate cellulaire et un réseau de neurones, largement décrits dans ce manuscrit. L'analyse de la mesure de la fonction de structure g1n menée à Clermont-Fd et exposée dans ce manuscrit nous a conduit à l'intégrale sur la région mesurée : intégrale (g1n(x)dx, xmin=0.0135, xmax=0.7) = -0.03 +- 0.003 STAT +- 0.004 SYST +- 0.001 EVOL à Q2 = 5 GeV2 où nous avons fait évoluer nos mesures vers Q2 = 5 GeV2 à l'aide des équations d'évolution DGLAP à l'ordre sous-dominant en utilisant une paramétrisation mondiale des distributions de partons polarisées. La règle de somme d'Ellis et Jaffe sur le neutron est clairement violée par nos mesures. Pour les différents extrapolations envisagées à bas x, notre intégrale est compatible avec la règle de somme de Bjorken. Nous avons estimé la contribution du spin des quarks au spin du nucléon à DelatSigma = 29 ± 6 % dans le schéma MS barre et à DeltaSigma = 37 ± 7 % dans le schéma AB, à Q2 = 5 GeV2. La contribution du spin des gluons au spin du nucléon semble positive et comprise entre 0 et 2 à cette échelle.