Akademisk avhandling--filosofi--Göteborg, 1989. / Résumé en anglais.

Domain Specific Languages (DSL) are becoming a common practice for describing models at a higher abstraction, using a notation that domain experts understand. Designing a DSL usually starts from creating a language specification, and the other tools of the DSLs are derived from the specification. Hence, the quality of the language specification can crucially impact the quality of the complete DSL tool chain. Although many methods for defining a language specification have been proposed, the quality of the language specification they produced is not emphasised. This thesis explores the quality of language specifications, and proposes consistency, correctness, executability, understandability, and interoperability as the key features that a high quality language specification processes. Given the importance of these features, this thesis designs a new language definition approach that is based on the newly published OMG standards, namely: the semantics of the foundational subset of UML (fUML), and the Action Language for fUML (ALF). This approach enables the creation of a language specification with the proposed criteria. Moreover, a software framework that simplifies the production of high quality language specifications is built. Finally, a software development process is developed, which analyses the roles, products, and activities in DSL specification development. The framework is demonstrated by defining the language specification of Business Process Execution Language (BPEL) as a case study. The BPEL specification is further evaluated, which confirms the desired quality features are processed.

<p>Sångtexter motsvarande 352 skivspår insjungna av den svenske sångaren och låtskrivaren Alf Robertson studeras med tonvikt på de 72 egna originaltexterna och 152 egna översättningarna av som regel amerikanska originaltexter. Robertson kännetecknas som en sångare vars repertoar domineras av översatta texter framförda av honom själv som om det var hans egna. De översatta texterna analyseras utifrån hur konflikter mellan originaltexternas innehåll och den egna artistpersonans konstruktion hanterats. Ett antal återkommande teman i Robertsons texter beskrivs och exemplifieras via närläsning av utvalda texter. Sångtexternas subjekt analyseras och kvantifieras bl a utifrån om textjaget är könsfixerat eller ej. Två olika översättningar av samma originaltext analyseras kvantitativt med avseende på hur väl de följer originalet.</p>

This thesis presents a tool for obtaining worst-case execution time (WCET) guarantees for ARM processors. This tool is an interface between ARM¡¦s GCC compiler and the SWEET WCET analyzer. SWEET is an open-source static analyzer that derives a guaranteed upper bound on the WCET of a program. The WCET of a program is an important metric in real-time systems. The task scheduler must decide how much time to allot for each process; if the allotted time exceeds the WCET, the process can be guaranteed to always finish in time. Although the WCET value is therefore useful, it is difficult to find. But, for the purpose of guaranteeing that a process finishes on time, an upper bound on the WCET suffices. Static program analysis has been proposed as a method to derive such an upper-bound on the WCET, by means of conservatively approximating the runtime of the individual parts of a complete program. SWEET is one such static analyzer. Our tool works inside of ARM-GCC, extracting all of the information that SWEET needs about the program¡¦s behavior. Our tool then packages the information into the SWEET¡¦s ALF format. The tool has been tested and works correctly for every input source that we have tested (including all 34 benchmarks from the WCET BENCHMARK SUITE[1]). This work was funded by Taiwan¡¦s National Science Council, grant NSC 97-2218-E-110-003

Finding the worst-case execution time (WCET) on a hard real-time system is extremely important. Only static WCET analysis can give us an upper bound of WCET which guarantees the deadline, however, industrial practice still relies on measurement-based WCET analysis, even for many hard real-time systems; because static analysis tools are not a mature technology. We use SWEET (SWEdish Execution Time tool) to provide WCET analysis support for the ARM. SWEET is a static WCET analyzer developed by the M&#x00E4;lardalen Real-Time Research Center (MRTC). We modified ARM-GCC to obtain input files in specific format for SWEET: ALF, TCD, and MAP. Besides, for WCET optimization supporting and over-optimizing issue, we modified SWEET to obtain additional worst-case flow path (WCFP) and the second worst-case information. By testing with benchmark files from [1], our modified ARM-GCC can create correct input files for SWEET, and also the modified SWEET can produce additional worst-case information.

Sångtexter motsvarande 352 skivspår insjungna av den svenske sångaren och låtskrivaren Alf Robertson studeras med tonvikt på de 72 egna originaltexterna och 152 egna översättningarna av som regel amerikanska originaltexter. Robertson kännetecknas som en sångare vars repertoar domineras av översatta texter framförda av honom själv som om det var hans egna. De översatta texterna analyseras utifrån hur konflikter mellan originaltexternas innehåll och den egna artistpersonans konstruktion hanterats. Ett antal återkommande teman i Robertsons texter beskrivs och exemplifieras via närläsning av utvalda texter. Sångtexternas subjekt analyseras och kvantifieras bl a utifrån om textjaget är könsfixerat eller ej. Två olika översättningar av samma originaltext analyseras kvantitativt med avseende på hur väl de följer originalet.

I denna uppsats undersöks Hilding Rosenbergs störst anlagda orgelverk Toccata, Aria pastorale, Ciaccona från 1952, tillägnat Alf Linder. Till skillnad från tonsättarens tidigare verk från 40-talet (de idag mest spelade) har vi här att göra med ett verk komponerat helt i orgelrörelsens anda, inspirerat av orgeln i Oscarskyrkan i Stockholm. Uppsatsen söker svar på hur detta stycke kan realiseras på ett kongenialt sätt. Tonsättarens orgelestetik, dåvarande orgelideal samt inspelningar av verket (bl.a Linders) undersöks. Under processens gång framgår tydligt att verkets struktur och uppbyggnad skiljer sig från tidigare verk, samt att det lämpar sig synnerligen väl för ett neobarockt instrument. Det står även klart att Linder satt igång en speltradition för verket. Denna tradition bör, givet tonsättarens relation till denne organist, betraktas som högst relevant för den som eftersträvar en kongenial tolkning. / <p>Coronavirussituationen vt 2020 har medfört begränsningar i inspelningsmöjligheterna. Inspelningen kan komma att kompletteras. </p><p> </p>

Simulative tests refer to the Full-scale accelerated pavement testing (APT) and laboratory wheel tracking testing, which are widely used for evaluation of pavement responses and performance under a controlled and accelerated damage conditions in a compressed limited time. This dissertation focuses on comparative evaluations under ALF, MMLS 3 and APA tests, in terms of rut depth, strain response, seismic stiffness, and contact stress using both experimental and numerical simulation results. Test slabs extracted from the ALF test lanes, are trafficked with the MMLS3 under comparable environmental conditions at laboratory in Virginia Tech. Some specimens were cut from the slabs for APA tests at VTRC. It is found that the monitored parameters yielded by the MMLS 3 test were comparable to the related full-scale ALF test results in terms of intrinsic material characteristics and pavement performance. The wireless sensor network based on Internet of things technology is implemented in laboratory for the MMLS 3 test, which provides a convenient solution for researchers on long-term observation and monitoring without being physically presented. The numerical simulations of ALF, MMLS 3 and APA in ABAQUS are used to supplement the investigation on the pavement response and performance under repeated moving loading. The viscoelastic-viscoplastic model is adopted to characterize rate and temperature dependent properties of asphalt mixtures. The 3D finite element models are capable of predicting the pavement response at critical locations while underestimates the rut depth because the permanent deformation induced by volumetric change cannot be represented in simulation. According to the test results, a power law function fits well for the accumulated rut depth versus number of load repetitions before the material reaches tertiary stage in MMLS 3 test. The rut depth development of APA tests exhibits a close-to-liner regression with number of load cycles after the initial 500 load repetitions. A regression model for predicting rut depth after 500 loads has a satisfying agreement with the experimental measurement. The calibrated MEPDG fatigue model can be used to estimate the allowable load repetitions in MMLS 3 trafficking. Besides, the effects of tire configuration, tire pressure, axle load amplitude, wheel load speed and temperature on pavement responses are investigated in this dissertation using the finite element model. It is concluded that MMLS 3 is an effective, economic and reliable trafficking tool to characterize rutting and fatigue performance of pavement materials with due regard to the relative structures. MMLS 3 test can be employed as the screen testing for establishing full-scale testing protocols as desired or required, which will significantly enhance economics of APT testing. / Ph. D. / This dissertation introduces the common simulative tests including the Full-scale accelerated pavement testing (APT) and laboratory wheel tracking testing, which are widely used for evaluation of pavement responses and performance under a controlled and accelerated damage conditions in a compressed limited time. Test results are compared in terms of rut depth, strain response, seismic stiffness, and contact stress under Accelerated Loading Facility (ALF), the third-scale Model Mobile Load Simulator (MMLS 3) and Asphalt pavement analyzer (APA) tests, using both experimental and numerical simulation manners. Test slabs extracted from the ALF test lanes and some specimens cut from the slabs are trafficked with the MMLS3 at laboratory in Virginia Tech and with APA at Virginia Transportation Research Center (VTRC) under comparable environmental conditions. It is found that the monitored parameters yielded by the MMLS 3 test were comparable to the related full-scale ALF test results in terms of intrinsic material characteristics and pavement performance. During the test measurements, the wireless sensor network based on Internet of things technology is implemented in laboratory for the MMLS 3 test, which provides a convenient solution for researchers on long-term observation and monitoring. The numerical simulations of ALF, MMLS 3 and APA in ABAQUS are used to supplement the investigation on the pavement response and performance under repeated moving loading, which adopted the viscoelastic-viscoplastic model to characterize mechanistic and temperature-dependent properties of asphalt mixtures. It is also found that the 3-Dimensional finite element models are capable of predicting the pavement response at critical locations while underestimates the rut depth because the permanent deformation induced by volumetric change cannot be represented in simulation. According to the tests and simulations results, a power law function fits well for the accumulated rut depth versus number of load repetitions before the material reaches tertiary stage in MMLS 3 test. The rut depth development of APA tests exhibits a close-to-liner regression with number of load cycles after the initial 500 load repetitions. A regression model for predicting rut depth after 500 loads has a satisfying agreement with the experimental measurement. The calibrated MEPDG fatigue model can be used to estimate the allowable load repetitions in MMLS 3 trafficking. Besides, the effects of tire configuration, tire pressure, axle load amplitude, wheel load speed and temperature on pavement responses are investigated in this dissertation using the finite element model. It is concluded that MMLS 3 is an effective, economic and reliable trafficking tool to characterize rutting and fatigue performance of pavement materials with due regard to the relative structures. MMLS 3 test can be employed as the screen testing for establishing full-scale testing protocols as desired or required, which will significantly enhance economics of APT testing.

Made available in DSpace on 2016-04-26T20:22:39Z (GMT). No. of bitstreams: 1 AlfRoss.pdf: 640070 bytes, checksum: b4d0a1e6b27384d9c29ec8c072c5487a (MD5) Previous issue date: 2005-11-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This paper analyzes Alf Ross´s thought (1899 1979), based in some of his works, specially the articles published in the book celebrating the centenary of his birthday, as well as the influence he suffered from Hägerström, Lundstedt and Olivecrona, also trying to study his work in the historical period which he had lived. The main idea of this paper is to study the law concept in Alf Ross´s thought. In some cases, it will be the way law is expressed and studied in Alf Ross´s works and how this subject is analyzed in his books and articles, trying to see if there were changes in the way he treated this subject in time and which were the influences he suffered this period (doctrinarian, historical or personal). In the first chapter we analyze the historical period he has lived and the changes that happened in his personal and professional life, to understand the way his thought was influenced by these facts. In the second chapter, we turn back to the sources of Alf Ross´s thought, studying the three Swedish jurists that preceded him in the Scandinavian Realism theory. In the third chapter, we make a bibliographic revision of Ross´s works, emphasizing his works in Danish. The objective of this research is to deep our knowledge of Alf Ross´s works, presented in his books and articles, some of them unpublished in Brazil. This paper tries to recover the essence of Alf Ross´s thought, analyzing thoroughly his works, as well as the doctrinarian and personal influences, to make possible to draw the largest prospect of his works. / O presente trabalho em filosofia do direito busca analisar o pensamento de Alf Ross (1899 1979), baseando-se na análise de algumas de suas obras, em especial os artigos compilados no livro em comemoração aos 100 anos de nascimento do autor, bem como a influência exercida por Hägerström, Lundstedt e Olivecrona em seu pensamento e buscando também enquadrar sua obra no contexto histórico em que viveu. A idéia principal do trabalho é o estudo do próprio conceito de Direito, em alguns casos, da maneira como o Direito se manifesta e é estudado na obra de Alf Ross e como esse assunto é tratado nos diferentes livros e artigos lidos, analisando eventuais mudanças de posicionamento ou tratamento do tema no decorrer do tempo e quais as influências sofridas nestes períodos (doutrinárias, históricas ou pessoais). No primeiro capítulo, analisa-se o período histórico em que Alf Ross viveu e as mudanças ocorridas na sua vida pessoal e profissional, para que se compreenda até que ponto seu pensamento foi influenciado por estes fatos. No segundo capítulo, volta-se às origens do pensamento de Alf Ross, com o estudo dos três juristas suecos que o precederam na corrente do Realismo Escandinavo, Axel Hägerström, Vilheim Lundstedt e Karl Olivecrona. Já no terceiro capítulo, faz-se um revisão bibliográfica das obras de Ross, com ênfase em suas obras originais em dinamarquês. O objetivo desta pesquisa é realizar um estudo aprofundado dos trabalhos de Alf Ross, representados por seus livros e artigos, alguns inéditos no Brasil. A dissertação busca resgatar a essência do pensamento de Alf Ross, com a análise exaustiva de suas obras, além do estudo de suas influências doutrinárias e pessoais, para que seja possível traçar um panorama o mais amplo possível de seus trabalhos.

<p>In this study the overarching question is in what way the Swedishauthor Alf Henrikson has acted as a popular educator and if he as such hasbeen a part of a popular educational context. The different popular educationalactivities he associated with could be considered as verification thathe did act as a popular educator. Two works of his popular historical authorshipare examined and they are characterized by the intention or ambitionto disseminate historical knowledge. By his historical authorship healso was a part of a popular historical tradition in Sweden.Henrikson appeared at several times as a popular lecturer and hereby hereproduces a tradition from the worker’s institutes and the associations forpopular lectures. He also performed on several occasions in radio programsand TV programs and disseminated knowledge and education. Radio broadcastsas well as television are regarded as popular educational activities. Inconsideration to the subject areas of his knowledge he can be affiliated withan educational ideal in the Swedish worker’s movement and Swedish populareducation. His educational ideal is the personality creating neohumanisticprinciple. Henrikson also supported the thought of taking over the middles-classes idea of cultural heritage.</p>