Traducción técnica del capítulo III del libro Advanced Data Warehouse design: from conventional to spatial and temporal applications

The proposal to work on this final project came after several discussions held with Dr. Elzbieta Malinowski Gadja, who in 2008 published the book entitled Advanced Data Warehouse Design: From Conventional to Spatial and Temporal Applications (Data-Centric Systems and Applications). The project was carried out under the technical supervision of Dr. Malinowski and the direct beneficiary was the University of Costa Rica (UCR) where Dr. Malinowski is a professor at the Department of Computer Science and Informatics. The purpose of this project was twofold: First, to translate chapter III of said book with the intention of generating educational material for the use of the UCR and, second, to venture in the field of technical translation related to data warehouse. For the first component, the goal was to generate a final product that would eventually serve as an educational tool for the post-graduate courses of the UCR. For the second component, this project allowed me to acquire new skills and put into practice techniques that have helped me not only to perfom better in my current job as an Assistant Translator of the Inter-American BAnk (IDB), but also to use them in similar projects. The process was lenggthy and required torough research and constant communication with the author. The investigation focused on the search of terms and definitions to prepare the glossary, which was the basis to start the translation project. The translation process itself was carried out by phases, so that comments and corrections by the author could be taken into account in subsequent stages. Later, based on the glossary and the translated text, illustrations had been created in the Visio software were translated. In addition to the technical revision by the author, professor Carme Mangiron was in charge of revising the non-technical text. The result was a high-quality document that is currently used as reference and study material by the Department of Computer Science and Informatics of Costa Rica.

Cromatografia gasosa bidimensional abrangente (GC × GC)

This paper presents the fundamental principles, instrumentation and selected applications of comprehensive two-dimensional gas chromatography (GC × GC). In this technique, introduced in 1991, two capillary columns are coupled and proper modulating interfaces continuously collect the eluate from the first column, transferring it to the second column. The result is a geometric increment in the chromatographic resolution, ensuring separation of extremely complex mixtures in time periods shorter or comparable to those of analysis using conventional gas chromatography and with better detectabilities and sensitivities.

First principles modeling of metallic alloys and alloy surfaces

By alloying metals with other materials, one can modify the metal’s characteristics or compose an alloy which has certain desired characteristics that no pure metal has. The field is vast and complex, and phenomena that govern the behaviour of alloys are numerous. Theories cannot penetrate such complexity, and the scope of experiments is also limited. This is why the relatively new field of ab initio computational methods has much to give to this field. With these methods, one can extend the understanding given by theories, predict how some systems might behave, and be able to obtain information that is not there to see in physical experiments. This thesis pursues to contribute to the collective knowledge of this field in the light of two cases. The first part examines the oxidation of Ag/Cu, namely, the adsorption dynamics and oxygen induced segregation of the surface. Our results demonstrate that the presence of Ag on the Cu(100) surface layer strongly inhibits dissociative adsorption. Our results also confirmed that surface reconstruction does happen, as experiments predicted. Our studies indicate that 0.25 ML of oxygen is enough for Ag to diffuse towards the bulk, under the copper oxide layer. The other part elucidates the complex interplay of various energy and entropy contributions to the phase stability of paramagnetic duplex steel alloys. We were able to produce a phase stability map from first principles, and it agrees with experiments rather well. Our results also show that entropy contributions play a very important role on defining the phase stability. This is, to the author’s knowledge, the first ab initio study upon this subject.

Usability of laser–arc hybrid welding processes in industrial applications

Metal industries producing thick sections have shown increasing interest in the laser–arc hybrid welding process because of its clear advantages compared with the individual processes of autogenous laser welding and arc welding. One major benefit of laser–arc hybrid welding is that joints with larger gaps can be welded with acceptable quality compared to autogenous laser welding. The laser-arc hybrid welding process has good potential to extend the field of applications of laser technology, and provide significant improvements in weld quality and process efficiency in manufacturing applications. The objective of this research is to present a parameter set-up for laser–arc hybrid welding processes, introduce a methodical comparison of the chosen parameters, and discuss how this technology may be adopted in industrial applications. The research describes the principles, means and applications of different types of laser–arc hybrid welding processes. Conducted experiment processing variables are presented and compared using an analytical model which can also be used for predictive simulations. The main argument in this thesis is that profound understanding of the advanced technology of laser-arc hybrid welding will help improve the productivity of welding in industrial applications. Based on a review of the current knowledge base, important areas for further research are also identified. This thesis consists of two parts. The first part introduces the research topic and discusses laser–arc hybrid welding by characterizing its mechanism and most important variables. The second part comprises four research papers elaborating on the performance of laser– arc hybrid welding in the joining of metals. The study uses quantitative and qualitative research methods which include in-depth, interpretive analyses of results from a number of research groups. In the interpretive analysis, the emphasis is placed on the relevance and usefulness of the investigative results drawn from other research publications. The results of this study contribute to research on laser–arc hybrid welding by increasing understanding of how old and new perspectives on laser–arc hybrid welding are evidenced in industry. The research methodology applied permits continued exploration of how laser–arc hybrid welding and various process factors influence the overall quality of the weld. Thestudy provides a good foundation for future research, creates improved awareness of the laser–arc hybrid welding process, and assists the metal industry to maximize welding productivity.

Synthesis, characterization and chemical sensor application of conducting polymers

Polymeric materials that conduct electricity are highly interesting for fundamental studies and beneficial for modern applications in e.g. solar cells, organic field effect transistors (OFETs) as well as in chemical and bio‐sensing. Therefore, it is important to characterize this class of materials with a wide variety of methods. This work summarizes the use of electrochemistry also in combination with spectroscopic methods in synthesis and characterization of electrically conducting polymers and other π‐conjugated systems. The materials studied in this work are intended for organic electronic devices and chemical sensors. Additionally, an important part of the presented work, concerns rational approaches to the development of water‐based inks containing conducting particles. Electrochemical synthesis and electroactivity of conducting polymers can be greatly enhanced in room temperature ionic liquids (RTILs) in comparison to conventional electrolytes. Therefore, poly(para‐phyenylene) (PPP) was electrochemically synthesized in the two representative RTILs: bmimPF6 and bmiTf2N (imidazolium and pyrrolidinium‐based salts, respectively). It was found that the electrochemical synthesis of PPP was significantly enhanced in bmimPF6. Additionally, the results from doping studies of PPP films indicate improved electroactivity in bmimPF6 during oxidation (p‐doping) and in bmiTf2N in the case of reduction (n‐doping). These findings were supported by in situ infrared spectroscopy studies. Conducting poly(benzimidazobenzophenanthroline) (BBL) is a material which can provide relatively high field‐effect mobility of charge carriers in OFET devices. The main disadvantage of this n‐type semiconductor is its limited processability. Therefore in this work BBL was functionalized with poly(ethylene oxide) PEO, varying the length of side chains enabling water dispersions of the studied polymer. It was found that functionalization did not distract the electrochemical activity of the BBL backbone while the processability was improved significantly in comparison to conventional BBL. Another objective was to study highly processable poly(3,4‐ethylenedioxythiophene) poly(styrenesulfonate) (PEDOT:PSS) water‐based inks for controlled patterning scaled‐down to nearly a nanodomain with the intention to fabricate various chemical sensors. Developed PEDOT:PSS inks greatly improved printing of nanoarrays and with further modification with quaternary ammonium cations enabled fabrication of PEDOT:PSS‐based chemical sensors for lead (II) ions with enhanced adhesion and stability in aqueous environments. This opens new possibilities for development of PEDOT:PSS films that can be used in bio‐related applications. Polycyclic aromatic hydrocarbons (PAHs) are a broad group of π‐conjugated materials consisting of aromatic rings in the range from naphthalene to even hundred rings in one molecule. The research on this type of materials is intriguing, due to their interesting optical properties and resemblance of graphene. The objective was to use electrochemical synthesis to yield relatively large PAHs and fabricate electroactive films that could be used as template material in chemical sensors. Spectroscopic, electrochemical and electrical investigations evidence formation of highly stable films with fast redox response, consisting of molecules with 40 to 60 carbon atoms. Additionally, this approach in synthesis, starting from relatively small PAH molecules was successfully used in chemical sensor for lead (II).

Lightweight, liquid-cooled, direct-drive generator for highpower wind turbines: motivation, concept, and performance

Thesis: A liquid-cooled, direct-drive, permanent-magnet, synchronous generator with helical, double-layer, non-overlapping windings formed from a copper conductor with a coaxial internal coolant conduit offers an excellent combination of attributes to reliably provide economic wind power for the coming generation of wind turbines with power ratings between 5 and 20MW. A generator based on the liquid-cooled architecture proposed here will be reliable and cost effective. Its smaller size and mass will reduce build, transport, and installation costs. Summary: Converting wind energy into electricity and transmitting it to an electrical power grid to supply consumers is a relatively new and rapidly developing method of electricity generation. In the most recent decade, the increase in wind energy’s share of overall energy production has been remarkable. Thousands of land-based and offshore wind turbines have been commissioned around the globe, and thousands more are being planned. The technologies have evolved rapidly and are continuing to evolve, and wind turbine sizes and power ratings are continually increasing. Many of the newer wind turbine designs feature drivetrains based on Direct-Drive, Permanent-Magnet, Synchronous Generators (DD-PMSGs). Being low-speed high-torque machines, the diameters of air-cooled DD-PMSGs become very large to generate higher levels of power. The largest direct-drive wind turbine generator in operation today, rated just below 8MW, is 12m in diameter and approximately 220 tonne. To generate higher powers, traditional DD-PMSGs would need to become extraordinarily large. A 15MW air-cooled direct-drive generator would be of colossal size and tremendous mass and no longer economically viable. One alternative to increasing diameter is instead to increase torque density. In a permanent magnet machine, this is best done by increasing the linear current density of the stator windings. However, greater linear current density results in more Joule heating, and the additional heat cannot be removed practically using a traditional air-cooling approach. Direct liquid cooling is more effective, and when applied directly to the stator windings, higher linear current densities can be sustained leading to substantial increases in torque density. The higher torque density, in turn, makes possible significant reductions in DD-PMSG size. Over the past five years, a multidisciplinary team of researchers has applied a holistic approach to explore the application of liquid cooling to permanent-magnet wind turbine generator design. The approach has considered wind energy markets and the economics of wind power, system reliability, electromagnetic behaviors and design, thermal design and performance, mechanical architecture and behaviors, and the performance modeling of installed wind turbines. This dissertation is based on seven publications that chronicle the work. The primary outcomes are the proposal of a novel generator architecture, a multidisciplinary set of analyses to predict the behaviors, and experimentation to demonstrate some of the key principles and validate the analyses. The proposed generator concept is a direct-drive, surface-magnet, synchronous generator with fractional-slot, duplex-helical, double-layer, non-overlapping windings formed from a copper conductor with a coaxial internal coolant conduit to accommodate liquid coolant flow. The novel liquid-cooling architecture is referred to as LC DD-PMSG. The first of the seven publications summarized in this dissertation discusses the technological and economic benefits and limitations of DD-PMSGs as applied to wind energy. The second publication addresses the long-term reliability of the proposed LC DD-PMSG design. Publication 3 examines the machine’s electromagnetic design, and Publication 4 introduces an optimization tool developed to quickly define basic machine parameters. The static and harmonic behaviors of the stator and rotor wheel structures are the subject of Publication 5. And finally, Publications 6 and 7 examine steady-state and transient thermal behaviors. There have been a number of ancillary concrete outcomes associated with the work including the following. X Intellectual Property (IP) for direct liquid cooling of stator windings via an embedded coaxial coolant conduit, IP for a lightweight wheel structure for lowspeed, high-torque electrical machinery, and IP for numerous other details of the LC DD-PMSG design X Analytical demonstrations of the equivalent reliability of the LC DD-PMSG; validated electromagnetic, thermal, structural, and dynamic prediction models; and an analytical demonstration of the superior partial load efficiency and annual energy output of an LC DD-PMSG design X A set of LC DD-PMSG design guidelines and an analytical tool to establish optimal geometries quickly and early on X Proposed 8 MW LC DD-PMSG concepts for both inner and outer rotor configurations Furthermore, three technologies introduced could be relevant across a broader spectrum of applications. 1) The cost optimization methodology developed as part of this work could be further improved to produce a simple tool to establish base geometries for various electromagnetic machine types. 2) The layered sheet-steel element construction technology used for the LC DD-PMSG stator and rotor wheel structures has potential for a wide range of applications. And finally, 3) the direct liquid-cooling technology could be beneficial in higher speed electromotive applications such as vehicular electric drives.

Possibilities and challenges in utilization of information provided by Industrial Internet applications

Global digitalization has affected also industrial sector. A trend called Industrial Internet has been present for some years and established relatively steady position in businesses. Industrial Internet is also referred with the terminology Industry 4.0 and in consumer businesses IoT (Internet of Things). Eventually, trend consists of many traditionally proven technologies and concepts, such as condition monitoring, remote services, predictive maintenance and Internet customer portals. All these technologies and information related to them are estimated to change the rules of business in industrial sector. This may result even a new industrial revolution. This research has its focus on Industrial Internet products, services and applications. The study analyses four case companies and their digital service offerings. According to this analysis the comparison of these services is done to find out if there is still space for companies to gain competitive advantage through differentiation with these state of the art solutions. One of the case companies, Case Company Ltd., is working as a primary case company and a subscriber of this particular research. The research and results are analyzed primarily from this company’s perspective and need. In empirical part, the research clarifies how Case Company Ltd. has allocated its development resources through last five years. These allocations in certain categories are then compared to other case companies’ current customer offering and conclusions are made how the approach of different companies differ from each other. Existing theoretical knowledge of Industrial Internet is about to find its shape. In this research we take a look how the case company analysis and findings correlate with the existing knowledge and literature of the topic.

Design and Material Selection of High-Speed Rotating Electrical Machines

The increasing emphasis on energy efficiency is starting to yield results in the reduction in greenhouse gas emissions; however, the effort is still far from sufficient. Therefore, new technical solutions that will enhance the efficiency of power generation systems are required to maintain the sustainable growth rate, without spoiling the environment. A reduction in greenhouse gas emissions is only possible with new low-carbon technologies, which enable high efficiencies. The role of the rotating electrical machine development is significant in the reduction of global emissions. A high proportion of the produced and consumed electrical energy is related to electrical machines. One of the technical solutions that enables high system efficiency on both the energy production and consumption sides is high-speed electrical machines. This type of electrical machines has a high system overall efficiency, a small footprint, and a high power density compared with conventional machines. Therefore, high-speed electrical machines are favoured by the manufacturers producing, for example, microturbines, compressors, gas compression applications, and air blowers. High-speed machine technology is challenging from the design point of view, and a lot of research is in progress both in academia and industry regarding the solution development. The solid technical basis is of importance in order to make an impact in the industry considering the climate change. This work describes the multidisciplinary design principles and material development in high-speed electrical machines. First, high-speed permanent magnet synchronous machines with six slots, two poles, and tooth-coil windings are discussed in this doctoral dissertation. These machines have unique features, which help in solving rotordynamic problems and reducing the manufacturing costs. Second, the materials for the high-speed machines are discussed in this work. The materials are among the key limiting factors in electrical machines, and to overcome this limit, an in-depth analysis of the material properties and behavior is required. Moreover, high-speed machines are sometimes operating in a harsh environment because they need to be as close as possible to the rotating tool and fully exploit their advantages. This sets extra requirements for the materials applied.

The neo-liberal state and the crisis of public service broadcasting in the Anglo-American democracies /

The NeO'liberal State and the Crisis ofPublic Service Broadcasting in the Anglo-American Democracies The purpose ofthis analysis ofthe present condition ofpublic service broadcasting in the Anglo- American democracies was to investigate whether such media can still be regarded as the primarypublic spherefor a dialogue between each nation 's civil society and the State. The motivationfor this thesis was based on a presumption that such fora for public discussion on the central issues of each society have become viewed as less relevant bypoliticians andpolicy-makers and thepublics they were intended to serve in the Anglo-American democracies over thepast two decades. It is speculated that this is the case because ofa beliefthat the post-war consensus between the respective States andpublics that led to the construction of the Keynesian Welfare State and the notion ofpublic service broadcasting has been displaced by an individualistic, neo-liberal, laissez-faire ideology. In other words, broadcasting as a consumer-oriented, commercial commodity has superseded concerns pertaining to the importance ofthe public interest. The methodology employed in this thesis is a comparative analysisfrom a criticalpolitical economy perspective. It was considered appropriate to focus on the United Kingdom, Australia, Canada and the\ United States because they comprise the four largest Anglo-American nations with democratic political systems andprimarily market economies. Justificationfor this particular sample is reinforced by thefact that case study countries also share a common socio-political and economic tradition. The evidence assembledfor this thesis consisted almost exclusively ofexisting literature on the subjects ofpublic service broadcasting, global economic andpolitical integration, and the ascendance ofthe 'free-market ' ethos in Western democracies since the late mid- to late-1970s. In essence, this thesis could be considered as a reinterpretation ofthe existing literature relevant to these issues. Several important common features werefound among the political, economic and broadcasting systems of the four case study nations. It is proposed that the prevalence of the neo-liberal world view throughout the political and policy environments of the four countries has undermined the stability and credibility of each nation 's national public service broadcasting organization, although with varying intensity and effect,. Deregulation ofeach nation 's broadcasting system and the supremacy ofthe notion of 'consumer sovereignty' have marginalized the view of broadcasting on any basis other than strictly economic criteria in thefour case study countries. This thesis concludes that,for a reconstruction ofa trulyparticipatory anddemocraticpublicsphere to be realized in the present as well as thefuture, a reassessment ofthe conventional concept ofthe 'public sphere ' is necessary. Therefore, it is recommended that thefocus ofpolicy-makers in each Anglo-American democracy be redirectedfrom that which conceived ofan all-encompassing, large, state-ownedand operated public broadcasting service toward a view which considers alternativeforms ofpublic communication, such as local community and ethnic broadcasting operations, that are likely to be more responsive to the needs of the increasingly diverse and heterogeneous populations that comprise the modem Anglo-American democracies. The traditional conception of public broadcasters must change in accordance with its contemporary environment if the fundamental principles of the public sphere and public service broadcasting are to be realized.

The shifting terrain of feminist theory and activism : university-based women's centres and third wave feminism

This thesis, based on the results of an organizational ethnography of a university-based feminist organization in Southern Ontario (the Centre), traces how third wave feminism is being constituted in the goals, initiatives, mandate, organizational structure, and overall culture of university-based feminist organizations. I argue that, from its inception, the meanings and goals of the Centre have been contested through internal critique, reflection, and discussion inspired by significant shifts in feminist theory that challenge the fundamental principles of second wave feminism. I identify a major shift in the development and direction of the Centre that occurs in two distinct phases. The first phase of the shift occurs with the emergence of an antioppression framework, which broadens the Centre's mandate beyond gender and sexism to consider multiple axes of identity and oppression that affect women's lives. The second phase of this shift is characterized by a focus on (trans) inclusion and accessibility and has involved changing the Centre's name so that it is no longer identified as a women's centre in order to reflect more accurately its focus on mUltiple axes of identity and oppression. Along with identifying two phases of a major shift in the direction of the Centre, I trace two discourses about its development. The dominant discourse of the Centre's development is one of progress and evolution. The dominant discourse characterizes the Centre as a dynamic feminist organization that consistently strives to be more inclusive and diverse. The reverse discourse undermines the dominant discourse by emphasizing that, despite the Centre's official attempts to be inclusive and to build diversity, little has actually changed, leaving women of colour marginalized in the Centre's dominant culture of whiteness. This research reveals that, while many of their strategies have unintended (negative) consequences, members of the Centre are working to build an inclusive politics of resistance that avoids the mistakes of earlier feminist movements and organizations. These members, along with other activists, actively constitute third wave feminism in a process that is challenging, contradictory, and often painful. A critical analysis of this process and the strategies it involves provides an opportunity for activists to reflect on their experiences and develop new strategies in an effort to further struggles for social justice and equity.

Chapter 10: Antemortem Handling and Welfare

The chapter discusses the following topics: Continuous Measurement and Monitoring, Meat Quality Correlations, How Stressful is Slaughter?, Causes of Poor Welfare Audit Scores, Animal Vision, Hearing and Smell, Basic Handling Principles, Handler Movement Patterns, Design of Handling Facilities, Design and Operation of Restraint Devices, Stunning, Stunning Method and Blood-Splash, Bruising and Meat Quality.

La légitimité d'une éventuelle application de la thérapie germinale humaine : les aspects juridiques et éthiques

La thérapie germinale est une avenue médicale qui est loin de pouvoir être appliquée de manière sécuritaire et responsable car les connaissances médicales actuelles sont insuffisantes. De surcroît, l'encadrement normatif qui l'entoure est unanime et clame la non-acceptabilité de son application humaine. Certains instruments adoptent une approche rigide en la prohibant formellement, d'autres adoptent une approche flexible en demeurant ouverts à une éventuelle application. Il y a donc divergence quant à la légitimité de cette technique. La médecine moderne doit reposer sur des principes directeurs issus de diverses sources, empruntées au droit et à l'éthique. Les principes retenus pour examiner la légitimité de la thérapie germinale sont tirés, d'une part, des droits et libertés fondamentales: ce sont les principes fondamentaux de dignité, de liberté, d'égalité. D'autre part, ils sont issus des règles d'éthique de la recherche: plus particulièrement le principe de bienfaisance (nonmalfaisance) et celui du respect de la personne. La perspective d'une éventuelle application humaine de la thérapie germinale ne porte pas nécessairement atteinte aux principes fondamentaux, dépendamment du genre d'application qui est envisagé. Une application restreinte, appliquée dans des circonstances particulières et en vue de soulager ou d'éliminer certaines formes de détresses et de souffrances, pourrait être conforme aux principes qui soutiennent les droits et libertés fondamentales. La thérapie germinale soulève des questions éthiques difficiles et parfois inédites, notamment l'extension des risques aux générations futures et l'obligation d'un suivi à long terme pour des descendants qui n'auront pas eux-mêmes donné leur consentement à cette «thérapie». La thérapie germinale est présentement non acceptable mais ne devrait pas faire l'objet d'une prohibition totale.

Architecture at the service of ideology : William Morris, the Anglican Church and the destruction, restoration and protection of medieval architecture in victorian England

Résumé Cet ouvrage examine les fondements du mouvement de conservation architecturale moderne. Dans ce contexte, la création de la « Society for the Protection of Ancient Buildings » par William Morris est considéré comme le point culminant d’un processus historique qui mena à l’apparition du mouvement. Sa genèse est présentée comme ayant été le résultat d’une confrontation entre deux visions utopiques du moyen-âge; celle de l’Église Anglicane et celle de William Morris. Un survol détaillé des origines, des résultats et des effets de la « Renaissance Gothique » ouvre tout grand sur les sources littéraires, idéologiques et religieuses qui y donnèrent sa force. Les grands programmes de restaurations qui ont vu le jour en Angleterre à l’ère victorienne sont examinés en relation avec l’Église Anglicane et caractérisés par les motivations idéologiques de celle-ci. Bien que ce memoire ne réussit pas à démontré de manière sans équivoque que la création du mouvement de conservation architectural moderne par Morris fut essentiellement en reaction au programme idéologique de l’Église Anglicane au dix-neuvième siècle, nous y retrouvons néanmoins une réévaluation des causes et de l’impact de la « Renaissance Gothique » qui, de manière significative, allaient à l’encontre des croyances et des principes les plus chers à Morris. Il existe une quantité admirable d’ouvrages examinant les travaux et l’impact de William Morris en littérature et en arts, ainsi que son activisme socialiste. Cependant, il serait juste de constater qu’en comparaison, la grande contribution qu’il apporta à la protection de l’architecture patrimoniale a certainement été négligée dans les publications à son sujet. Ce projet de recherche examine les éléments et les conditions qui ont motivé Morris à créer un mouvement qui encore aujourd’hui continue de croitre en importance et en influence.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Some Applications of Markov Additive Processes as Models in Insurance and Financial Mathematics

Cette thèse est principalement constituée de trois articles traitant des processus markoviens additifs, des processus de Lévy et d'applications en finance et en assurance. Le premier chapitre est une introduction aux processus markoviens additifs (PMA), et une présentation du problème de ruine et de notions fondamentales des mathématiques financières. Le deuxième chapitre est essentiellement l'article "Lévy Systems and the Time Value of Ruin for Markov Additive Processes" écrit en collaboration avec Manuel Morales et publié dans la revue European Actuarial Journal. Cet article étudie le problème de ruine pour un processus de risque markovien additif. Une identification de systèmes de Lévy est obtenue et utilisée pour donner une expression de l'espérance de la fonction de pénalité actualisée lorsque le PMA est un processus de Lévy avec changement de régimes. Celle-ci est une généralisation des résultats existant dans la littérature pour les processus de risque de Lévy et les processus de risque markoviens additifs avec sauts "phase-type". Le troisième chapitre contient l'article "On a Generalization of the Expected Discounted Penalty Function to Include Deficits at and Beyond Ruin" qui est soumis pour publication. Cet article présente une extension de l'espérance de la fonction de pénalité actualisée pour un processus subordinateur de risque perturbé par un mouvement brownien. Cette extension contient une série de fonctions escomptée éspérée des minima successives dus aux sauts du processus de risque après la ruine. Celle-ci a des applications importantes en gestion de risque et est utilisée pour déterminer la valeur espérée du capital d'injection actualisé. Finallement, le quatrième chapitre contient l'article "The Minimal entropy martingale measure (MEMM) for a Markov-modulated exponential Lévy model" écrit en collaboration avec Romuald Hervé Momeya et publié dans la revue Asia-Pacific Financial Market. Cet article présente de nouveaux résultats en lien avec le problème de l'incomplétude dans un marché financier où le processus de prix de l'actif risqué est décrit par un modèle exponentiel markovien additif. Ces résultats consistent à charactériser la mesure martingale satisfaisant le critère de l'entropie. Cette mesure est utilisée pour calculer le prix d'une option, ainsi que des portefeuilles de couverture dans un modèle exponentiel de Lévy avec changement de régimes.