Bakgrund:                                Från och med 1 januari 2014 gäller K3-regelverket för många företag i Sverige. En av de förändringar som regelverket medför är komponentmetoden vilket förändrar hanteringen av materiella anläggningstillgångar, vilket kan få effekter på redovisningen.   Syfte:                                      Syftet med denna studie är att få en ökad förståelse för hur komponentmetoden enligt K3 påverkar redovisningens kvalitativa egenskaper.   Metod:                                    Studien präglas av en deduktiv forskningsansats där redovisningsteori testas mot empiri. Studien utgår även från de lagar och riktlinjer som K3 innefattas av. Datainsamlingen har skett genom kvalitativa semistrukturerade intervjuer med revisorer.   Slutsats:                                  Studien visar att komponentmetoden påverkar de kvalitativa egenskaperna inom redovisningen. Egenskaperna relevans och jämförbarhet påverkas initialt negativt till följd av bristande erfarenhet medan egenskapen korrekt återgivande påverkas positivt då metoden bättre återger verkligheten i det enskilda fallet.

Erlangen, Nürnberg, Univ., Diss., 2010

This thesis considers a model of a scalar partial differential equation in the presence of a singular source term, modeling the interaction between an inviscid fluid represented by the Burgers equation and an arbitrary, finite amount of particles moving inside the fluid, each one acting as a point-wise drag force with a particle related friction constant. \begin{align*} \partial_t u + \partial_x (u^2/2) &= \sum_{i \in N(t)} \lambda_i \Big(h_i'(t)-u(t,h_i(t)\Big)\delta(x-h_i(t)) \end{align*} The model was introduced for the case of a single particle by Lagoutière, Seguin and Takahashi, is a first step towards a better understanding of interaction between fluids and solids on the level of partial differential equations and has the unique property of considering entropy admissible solutions and the interaction with shockwaves. The model is extended to an arbitrary, finite number of particles and interactions like merging, splitting and crossing of particle paths are considered. The theory of entropy admissibility is revisited for the cases of interfaces and discontinuous flux conservation laws, existing results are summarized and compared, and adapted for regions of particle interactions. To this goal, the theory of germs introduced by Andreianov, Karlsen and Risebro is extended to this case of non-conservative interface coupling. Exact solutions for the Riemann Problem of particles drifting apart are computed and analysis on the behavior of entropy solutions across the particle related interfaces is used to determine physically relevant and consistent behavior for merging and splitting of particles. Well-posedness of entropy solutions to the Cauchy problem is proven, using an explicit construction method, L-infinity bounds, an approximation of the particle paths and compactness arguments to obtain existence of entropy solutions. Uniqueness is shown in the class of weak entropy solutions using almost classical Kruzkov-type analysis and the notion of L1-dissipative germs. Necessary fundamentals of hyperbolic conservation laws, including weak solutions, shocks and rarefaction waves and the Rankine-Hugoniot condition are briefly recapitulated. / Diese Arbeit befasst sich mit dem Modell einer skalaren partiellen Differentialgleichung mit singulärem Quellterm, das die Interaktion zwischen einem reibungsfreiem Fluid, dargestellt durch die Burgers Gleichung, und einer gegebenen, endlichen Menge von sich in dem Fluid bewegenden Partikeln beschreibt, die eine punktweise Zugkraft auf das Fluid auswirken und durch eine entsprechende Reibungskonstante charakterisiert sind. \begin{align*} \partial_t u + \partial_x (u^2/2) &= \sum_{i \in N(t)} \lambda_i \Big(h_i'(t)-u(t,h_i(t)\Big)\delta(x-h_i(t)) \end{align*} Das Modell wurde für den Fall der Interaktion mit einem einzelnen Partikel durch Lagoutière, Seguin and Takahashi eingeführt, stellt einen ersten Schritt zu einem besseren Verständnis der Interaktion zwischen einem Fluid und Festkörpern auf dem Level der partiellen Differentialgleichungen dar und hat die einzigartige Eigenschaft, dass Entropielösungen und die Interaktion mit Schockwellen berücksichtigt werden. Das Modell wird zu einer beliebigen, endlichen Anzahl von Partikeln erweitert und Interaktionen wie das Verschmelzen und Spaltung von Partikeln werden behandelt. Existierende Theorie der Entropie-Zulässigkeit im Hinblick auf Interfaces und Erhaltungsgleichungen mit unstetiger Flussfunktion wird zusammengefasst, die Resultate werden verglichen und für die Regionen mit Partikelinteraktionen angepasst. Zu diesem Zweck wird die Theorie der Germs, eingeführt von Andreianov, Karlsen und Risebro, auf den vorliegenden Fall eines nicht-erhaltenden Interfaces erweitert. Für das Riemann Problem von auseinanderdriftenden Partikeln werden die exakten Lösungen berechnet und eine Analyse des Verhaltens von Entropielösungen über die von den Partikeln erzeugten Interface wird genutzt, um ein physikalisch sinnvolles und mit der Theorie eines einzelnen Partikels konsistentes Verhalten beim Verschmelzen und Spalten von Partikeln herzuleiten. Mit Hilfe einer expliziten Konstruktionsmethode, hergeleiteten L-infinity Beschränkungen, einer Approximation der Partikelpfade und Kompaktheitsargumenten wird gezeigt, dass das entsprechende Cauchy Problem wohlgestellt ist. Eindeutigkeit im Raum der schwachen Entropielösungen wird mit beinahe klassischen Argumenten der Theorie von Kruzkov sowie der Theorie von L1-dissipativen Germs gezeigt. Notwendige Grundlagen zu hyperbolischen Erhaltungsgleichungen, unter anderem die Theorie schwacher Lösungen, Schock- und Verdünnungswellen sowie die Rankine-Hugoniot Bedingung, werden in Grundzügen am Anfang der Arbeit wiederholt.

Vi valde att genomföra en undersökning baserad på intervjuer med syfte att undersöka hur lärare resonerar kring handskrivandets roll i förhållande till ny skrivteknik. Både lärare på högskolenivå och som undervisar i förskoleklass medverkar i studien. Forskningsfrågorna som ligger till grund för undersökningen är följande: Hur resonerar lärare kring en korrekt pennfattnings betydelse för barns skrivförmåga? Hur resonerar lärare om att använda datorer och andra skrivhjälpmedel i barns skrivande? Vår undersökning kommer att belysas utifrån ett sociohistoriskt perspektiv. Uppsatsen tar upp ämne som skrivundervisning i Sverige, definition av en korrekt pennfattning, styrdokument, barnet som skrivande person samt datorn i undervisningen. Vi finner det rimligt att fråga hur korrekt pennfattning har betydelse för barns skrivförmåga. Respondenterna fokuserar på att lusten, innehållet i det barnet skriver samt att väcka skrivglädje är viktiga aspekter. Datoranvändningen ses som något positivt för alla barn och som något som kan väcka intresse för att skriva. Vår undersökning visar också på att föreställningen att vi kommer att skriva för hand även i framtiden finns även om digitala skrivverktyg tar över mer och mer. Ämnesord : korrekt pennfattning, handskrift, lärare, makt, tradition, sociohistorisk

Uppsatsen tar sin utgångspunkt i IASB:s föreställningsram (“Conceptual Framework”, 2018) med tillhörande ambition och synsätt på redovisning. IASB tog 2016 fram en ny standard för redovisning av leasingtillgångar, som trädde i kraft räkenskapsåret 2019. Regeln är en produkt av det nya ramverket som ämnar att göra redovisning och finansiell rapportering balansorienterad. Företagets finansiella ställning ska utläsas genom balansräkningen. Tidigare regelverk har givit företag möjlighet att investera i leasingavtal “off-balance”, alltså utan att kapitalisera avtalen i balansräkningen. Enligt tidigare forskning och debattörer kommer den nya standarden medföra stora förändringar i företags centrala nyckeltal och potentiell vilseledning gentemot dess intressenter.  Studien ämnar därför att söka svar på om företagens reaktion på detta är mindre leasing i förhållande till tidigare och andra finansieringsmetoder, samt om de kvalitativa egenskaperna inom korrekt återgivning (“faithful representation”) är harmoniserade. Det är två effekter av IFRS 16 där tidigare forskning saknas. Studien antar en kvalitativ metod, där insamling av data skett genom en innehållsanalys, där 16 företags årsredovisningar har granskats och analyserats från perioden 2018 till 2020.  Det empiriska materialet ger en tydlig indikation på att förekomsten av leasing har minskat efter införandet av IFRS 16. Författarna analyserar, med hjälp av tidigare forskning och redovisningsteori, fram potentiella förklaringar till varför förändringen ser ut som den gör. Dessutom går det att konstatera att den kvalitativa delen av IFRS 16 som handlar om upplysning i finansiella rapporter, inte efterlevs i full utsträckning. Summan av införandet är minskad grad av leasing, men inte fullt harmoniserade finansiella rapporter vad gäller den kvalitativa ambitionen.

Stand-up comedy has become increasingly popular in Sweden in the late 20th and early 21st centuries. The jokes of stand-up comedians are reflections of contemporary cultural notions and discourses. Stand-up comedy can also be seen as a form a cultural free zone where one is allowed to express oneself in ways that are not possible in other public contexts. In this study I am investigating how Swedish stand-up comedians relate to cultural notions about gender, sexuality, ethnicity/race, places, age, disabilities, social class and mental illness. By applying an intersectional perspective I am able to show how various power structures can interact and strengthen each other. The main empirical material consists of three observations at different stand-up comedy clubs and four interviews with stand-up comedians. By using cultural analysis as an analysis method I am showing how stand-up comedy both reflects and is affected by larger structural patterns and discourses in society. My analysis shows that stand-up comedians are both reproducing and challenging normative cultural notions. A variety of theoretical concepts are used to analyse how standup comedians are joking about prevailing cultural notions. For example am I using gender theories to analyse jokes about notions of gender and sexuality while postcolonial concepts as well as theories about racification are applied in the analysis of jokes connected to cultural notions about race and ethnicity. In some of the jokes different cultural notions are intertwined. Furthermore I am analysing how the stand-up comedians are reflecting over what they are allowed to joke about, depending on their own background and experiences as well as how they are relating to different discourses. Stand-up comedy is still dominated by a masculine discourse that has only recently been challenged by a feminist discourse, which stand-up comedians relate to in different ways. How stand-up comedians navigate between political correctness and the discourse that comedians should be able to joke about everything is also part of my investigation. Finally, I am analysing different comic strategies used by the stand-up comedians in their performances, which affect how they are joking about various cultural notions. Some comedians are joking about themselves in a self-deprecatory way while others invites the audience to join the perspective of an assumed normative community to make jokes about what makes other groups different.

Die vorgelegte Dissertation befasst sich mit der Frage unter welchen Bedingungen und in welchen Funktionenräumen hyperbolische Cauchy Probleme korrekt gestellt sind, wenn die Koeffizienten niedrige Regularität haben. Startpunkt der Betrachtungen sind strikt hyperbolische Cauchy Probleme beliebiger Ordnung mit Koeffizienten, die bezüglich der Zeit nicht differenzierbar aber glatt in allen Ortsvariablen sind. Abhängig von der Regularität der Koeffizienten bezüglich der Zeit, wird gezeigt in welchen Räumen Problem dieser Art korrekt gestellt sind. Insbesondere werden Zusammenhänge zwischen der Regularität der Koeffizienten und den Lösungsräumen deutlich. Basierend auf den Erkenntnissen für strikt hyperbolische Cauchy Probleme werden anschließend schwach hyperbolische Cauchy Probleme untersucht. Hier wird eine verallgemeinerte Levi Bedingung eingeführt und gezeigt, welcher Zusammenhang zwischen dem Einfluss der Levi Bedingungen und der niedrigen Regularität der Koeffizienten auf die Lösungsräume besteht. Schließlich wird noch den Fall von strikt hyperbolischen Cauchy Problemen betrachtet, die Koeffizienten mit niedriger Regularität in allen Variablen haben.

As technological advancements and manufacturing techniques continues to bring us more complex and powerful hardware, software engineers struggle to keep up with this rapid progress and reap the benefits brought by this hardware. In the field of safety-critical system development, where a thorough understanding and deterministic nature of the hardware often is required, the cost of development closely relates to the complexity of the hardware used. For software developers to be able to reap the benefits of the technological advancement in hardware design, a Correct-by-Construction with a model- based design flow seem promising. Even though there seem to be significant benefits in using a Correct-by-Construction workflow for developing safety- critical systems, it is far from exclusively used within the industry. Therefore, this thesis illustrates how a model-based design flow should be applied when developing safety-critical systems for usage in the rail transport sector. This thesis also explores the benefits Correct-by-Construction can bring to the development process of safety-critical systems. Within this thesis, two different modeling tools, ForSyDe and Simulink, were used to achieve a model-based design flow. The functionality of these tools is investigated to see how they can be used for developing safety-critical systems, meeting the EN 50128 standard. The result presented is an example of how these tools can be used within a model-based design flow which meets the EN 50128 standard for developing Safety Integrity Level (SIL) 4 systems. The thesis also compares the tools investigated and highlights their differences. Finally, future work required to create a complete Correct-by-Construction workflow that complies with the EN 50128 standard requirements for system development is identified. / Allt eftersom teknologiska framsteg och tillverkningstekniker fortsätter att ge oss tillgång till mer komplex och kraftfull hårdvara så kämpar mjukvaruingenjörer fibrilit med att kunna hänga med i denna utvecklingstakt och kunna utnyttja de nya möjligheterna som denna nya hårdvara ger. Inom fältet för säkerhetskritiska system, där en genomgående förståelse av och deterministiska egenskaper för hårdvara ofta krävs, så är kostnaden för utveckling nära relaterat till komplexiteten för hårdvaran som används. För att kunna ta till vara på de fördelar som dessa nya teknologiska framsteg för med sig så föreslås ofta användningen av utvecklingsprocessen Korrektvid- Konstruktion. Även fast det verkar finnas stora fördelar med att använda Korrekt-vid-Konstruktion som utvecklingsprocess så har det inte sett en bred användning inom industrin. På grund av detta så försöker denna avhandling svara på hur ett modelleringsbaserat utvecklingsflöde kan användas vid utveckling av säkerhetskritiska system för tågtransportsektorn. Arbetet undersöker även fördelarna med användningen av Korrekt-vid-Konstruktion vid utveckling av säkerhetskritiska system. Arbetet i denna avhandling undersöker hur två olika modeleringsverktyg, ForSyDe och Simulink, kan användas i ett modeleringsbasert utvecklingsflöde. Funktionaliteten för dessa modeleringsverktyg undersöks för att se hur dem kan användas för utveckling av säkerhetskritiska system på ett sätt som klarar av kraven i EN 50128 standarden. Resultaten som presenteras är ett exempel på hur dessa verktyg kan användas i ett modeleringsbaserat utvecklingsflöde som möter kraven i EN 50128 standarden för utveckling av SIL 4 system. Arbetet jämför även de undersökta modeleringsverktygen för att påvisa deras skillnader. Till sist så beskrivs det framtida arbete som krävs för att få till en komplett utvecklingsprocess som är Korrekt-vid-Konstruktion och även möter systemutvecklingskraven i EN 50128 standarden.

This study has developed a method to create an, to a big extent, automated testing system for NMP (Networked Music Performance) communication over LAN and WAN to be able to benchmark the UDP streaming engine JackTrip using a client-server model. The method is not locked into using JackTrip only, it could be used to do experiments with other engines too. The study tried to answer the question if latency correlates to amount of correctly aligned audio, and to what extent the audio is correctly aligned in respect to tolerated latency (based on earlier research) when at least two musicians remote-conducting musical pieces together. There were 13 different buffer settings tested, which used no redundancy and redundancy of 2, and which were sent through 4 different LAN/WAN-scenarios. A big dataset was produced, with about 82 minutes’ worth of audio per test. To post-process the data a phase cancelling method was used to measure correctly aligned audio, while the latency was measured by counting the number of samples from the start of each audio file to the first sample that were not null or not under a certain threshold. The results showed clear correlations of buffer sizes impact of latency and amount of correctly audio sent over the network. If the buffer sizes are greater, it will produce higher latency and increase the amount of correctly aligned audio, and on the opposite side, if using less buffer, it will produce lower latencies and less correctly aligned amount of audio. The study also showed that there was very little impact of using higher redundancies, both regarding latency and amount of correctly audio. When analysing the amount of correct data when respecting the tolerated level of latency, the study showed a support for correctly aligned amount of streamed audio up to 65% when using JackTrip. / Den här studien har utvecklat en metod för att skapa ett, till stor del, automatiserat testsystem för NMP-kommunikation (Networked Music Performance) över LAN och WAN för att kunna prestandatesta den UDP-strömmande ljudmotorn JackTrip, med en klient-server-modell. Metoden är inte låst till att endast användas med JackTrip, den kan användas för att göra experiment med andra motorer också. Studien försökte svara på frågorna om latens korrelerar med mängden korrekt justerat ljud, och till hur stor del som ljudet är korrekt justerad med hänsyn till tolererbar latens (baserat på tidigare undersökning) när minst två musiker fjärrmusicerar tillsammans. Det testades 13 olika buffertinställningar, som använde ingen redundans samt med redundans på 2, och som kördes genom 4 olika LAN / WAN-scenarier. En stor datamängd producerades, med ca 82 minuters ljud per test. För att post-bearbeta data användes en fas-elimineringsmetod för att mäta mängden korrekt justerat ljud, medan latensen var uppmätt genom att räkna antalet samplingar från starten av varje ljudfil till den första samplingen som inte var innehållslös eller inte under ett specifikt tröskelvärde. Resultaten visade tydlig korrelation av buffertstorlekens påverkan av latens och mängd korrekt ljud skickat över nätverket. Om buffertstorlekarna är större kommer det att ge högre latens och öka mängden korrekt justerat ljud, och tvärtom, om mindre buffert används, kommer det att ge lägre latens och mindre rätt justerad mängd ljud. Studien visade också att det gav mycket liten effekt att använda högre redundans, både vad gällande latens och mängden korrekt ljud.  Vid analys av mängden korrekta data med hänsyn till den tolererade latensnivån visade studien ett stöd för korrekt justerat mängd av strömmat ljud upp till 65% vid användning av JackTrip.

The forth industrial revolution has risen the born of new mega trends for the improvement of the time to market and the spare of resources in the development and manufacturing of a new product. Among these trends, the Digital Twin (DT) is the one of major interests for developers and strategy analysts. The perfect transposition of a real entity into a digital environment enables the exploration and testing of the different components within the defined object, taking a further step towards a perfect correct-by-design approach. STMicroelectronics (ST) is exploring the benefits that this technology offers to the developers. The company’s primary focus revolves around the creation of SystemC models for the manufactured components so that a co-simulation between an Hardware (HW)/Software (SW) platform and a kinematic simulator is possible. This innovative approach facilitate the comprehensive validation of the designed Firmware (FW), relying on the intricate interplay with sensory aspects influenced by both device behavior and environmental circumstances. Furthermore, many applications nowadays implement an Artificial Intelligence (AI) algorithm: its performance is strictly dependent on the quality of the signals sensed and on the dataset on which the model is built. The creation of a proper DT allows to implement its development during the design phase, creating not only a valid AI for the real product, but also improving the quality and the performance of the model built. This conclusion is proven through the construction of a simple robotic arm implementing an anomaly detection algorithm based on a Machine Learning (ML) model. / Den fjärde industriella revolutionen har gett upphov till nya megatrender för förbättring av time-to-market och spara resurser vid utveckling och tillverkning av tillverkning av en ny produkt. Bland dessa trender är DT av stort intresse för utvecklare och strategianalytiker. Den perfekta överföringen av en verklig enhet till en digital miljö gör det möjligt att utforska och testa de olika komponenter inom det definierade objektet, vilket tar ytterligare ett steg mot en perfekt korrekt-från-design-metod. ST utforskar fördelarna som denna teknologi erbjuder utvecklare. Företagets huvudsakliga fokus kretsar kring skapandet av SystemC-modeller för tillverkade komponenter så att en samkörning mellan en HW/SW och en kinematisk simulator blir möjlig. Denna innovativa metod underlättar den omfattande valideringen av utformad FW och bygger på den intrikata interaktionen med sensoriska aspekter som påverkas av både enhetens beteende och miljöförhållanden. Dessutom implementerar många applikationer nuförtiden en algoritm för AI: dess prestanda är strikt beroende av kvaliteten på de uppfångade signalerna och den dataset på vilken modellen bygger. Skapandet av en korrekt DT möjliggör genomförandet av detta steg under designfasen, vilket inte bara resulterar i en giltig AI för den verkliga produkten utan också förbättrar kvaliteten och prestandan hos den skapade modellen. Denna slutsats bevisas genom konstruktionen av en enkel robotarm som implementerar en algoritm för avvikelsedetektering baserad på en ML model.