In today's society, technology that does not have integrated app control or digital control is considered outdated. In fact, the technological growth of new features and innovations has grown exponentially over the past 100 years. This rapid development makes it difficult for manufacturers of larger products and machinery to keep up, both due to time constraints and economic reasons. The purpose of the thesis was to evaluate the benefits of digitalizing the electrical system in a vehicle, as well as developing a demorig with accompanying electrical architecture that demonstrates its feasibility. During the course of the work, it became clear that the major benefits of digitalizationwere a reduction in errors and malfunctions, while increasing flexibility and communication capabilities. Finally, a fully functional solution was presented that was tailored to meet the requirements of Volvo Trucks, with the goal of being implemented in the next version of their Crew Cab. The logic behind the system was functionally tested in a demo rig that included all components from the cab. The project demonstrated a significant reduction in cabling with the ability to control components with high precision through pulse width modulation signals and transistors.

The thesis aims to develop a prototype for a Smart Case for Remote Radio Kits at the department of Demo & Event at Ericsson in Kista.The smart case consists of a mechanical structure (the case itself with ) and an electronic system that includes a temperature sensor, a LCD display showing the temperature, a GPS (global positioning system) module for positioning the case, a GSM (Global System for Mobile Communications) module and a microcontroller Arduino UNO. The Case is modelled in 3D with the help of CAD software and then printed with a 3D printer. A down-scaled prototype is built with the help of the 3D printer and the 2D drawing will be used when the full scaled model is produced. The Arduino UNO handles temperature sensor and GPS measurements, LCD display, and the transmission of measurement data using GSM module via text message (SMS) to a cell phone or to a server over the Internet. The projected ended up with all the drawings and models finished for the Case as well as the implementation of down-scaled prototypes. The electrical system was tested and finished individually. But the complete system cannot be assembled inside the Case due to the time limitation. This means that the project can be further extended, where a full scale model can be developed and the electrical control system can be assembled together and mounted inside the Case.

This paper describes work related to the “Miniature Student Satellite” (MIST) project and the ”SiC in Space” project, located at KTH, Stockholm, Sweden. The goal of the MIST project is to launch KTH’s first student satellite into space, carrying multiple scientific experiments where SiC in Space is included. This thesis contains a compilation of three MIST-related bachelor theses that were carried out at KTH in the spring of 2016, primarily consisting of constructing and testing circuits for power supply and measurements for the SiC in Space part of the satellite. A printed circuit board has been developed, which accommodates experiment circuits to evaluate the features and functionality of silicon carbide components in a space environment, and power the supply to the SiC in Space and the Piezo LEGS projects. The development includes designing, assembling and testing the PCB according to the MIST team’s demands and requirements. Emphasis has been laid on electrical safety to ensure that the design can not short circuit the satellite battery, as well as EMC considerations to minimize the EMI between different parts of the satellite. Final testing of the hardware has not been executed due to an ordering error and time shortage, wherefore the planned test protocol has been included for future work. / Denna kandidatuppsats beskriver arbete relaterat till “Miniature Student Satellite” (MIST)-, samt SiC in Space-projekten, vid KTH, Stockholm, Sverige. MIST-projektets mål är att skicka KTH:s första studentsatellit till rymden, där SiC in Space är ett av flera medföljande vetenskapliga experiment. Detta projekt sammanställer tre examensarbeten relaterade till MIST som genomfördes vid KTH under våren 2016, huvudsakligen bestående av att konstruera och testa kretsar för strömförsörjning samt mätningar för SiC in Space-delen av satelliten. Ett kretskort som innehåller experimentkretsar för att utvärdera egenskaper och funktionalitet för komponenter av materialet kiselkarbid i en rymdmiljö, samt strömförsörjningskretsar till SiC in Space- och Piezo LEGS-projekten har utvecklats. Utvecklingen omfattar design, montering and testning av kretskortet enligt MIST-gruppens krav. Tonvikt har lagts på elsäkerhet för att säkerställa att designen inte kan kortsluta satellitens batteri, såväl som EMC för att minimera EMI mellan olika delar av satelliten. Slutgiltig testning av hårdvaran har ej kunnat genomföras på grund av tidsbrist beroende på ett beställningsfel. Därför har det planerade testprotokollet inkluderats för framtida arbete.

The ideas within this thesis are meant to clarify my explorations, research and painting practice during my studies at Virginia Commonwealth University. I expand on my general statements about being fascinated by advancing technologies and concerned about the after effects of these advancements. The writing explores my curiosity about the internal, skeletal structure of things and how they operate. I explain how the paintings are idiosyncratic hybrids that evoke animation, imaginary scientific propositions, blueprints, maps, and advancing technologies. The work combines these interests with my observations of day-to-day experiences. Isolated events provide found compositions which I then manipulate: a seemingly mundane bike ride gets mapped into a well–ordered schematic of social interaction.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / O termo Teoria da Prova foi introduzido por Hilbert para identificar o estudo sobre provas formais. Pesquisas nessa Ãrea podem ser classificadas em: a) Teoria da Prova Redutiva ou Interpretacional, cujo objetivo à demonstrar, entre outras coisas, a consistÃncia da matemÃtica utilizando somente mÃtodos finitistas, e b) Teoria da Prova Estrutural, onde caracterÃsticas estruturais das provas formais sÃo investigadas por meio de sistemas dedutivos como DeduÃÃo Natural e CÃlculo de Sequentes. Prawitz, por meio da Teoria da Prova, definiu uma Teoria dos Significados para constantes logicas e propÃs regras esquemÃticas de introduÃÃo e de eliminaÃÃo para caracterizar os conectivos proposicionais. Schroeder-Heister estendeu as definiÃÃes de Prawitz e formalizou o uso de regras como hipÃteses, tornando possÃvel a utilizaÃÃo de cÃlculos para suposiÃÃes separados de cÃlculos para constantes lÃgicas. NÃo estamos interessados na investigaÃÃo de regras esquemÃticas para dar significado a constantes lÃgicas. Pretendemos, na verdade, definir procedimentos de normalizaÃÃo esquemÃticos, baseados em tais regras esquematicas, com objetivo de identificar condiÃÃes suficientes para um sistema ser normalizÃvel. Tais resultados sÃo pertinentes à Teoria Abstrata da Prova, termo usado para identificar o estudo das condiÃÃes abstratas e gerais para a anÃlise prova-teÃrica de sistemas formais. Teoria Abstrata da Prova nÃo estuda cÃlculos lÃgicos especÃficos, mas famÃlias de cÃlculos instÃncias de regras esquemÃticas. A nossa proposta, portanto, baseia-se em regras esquemÃticas que podem ser instanciadas por regras concretas, em particular, por regras que introduzem operadores modais. Provamos, tambÃm, Teoremas de NormalizaÃÃoo Fraca e Forte para sistemas esquemÃticos definidos em funÃÃoo de nossas regras esquemÃticas, obtemos condiÃÃes suficientes para que um sistema instÃncia destas regras seja normalizÃvel, definimos um procedimento que normaliza deduÃÃes concretas e comparamos nossas provas de normalizaÃÃo esquemÃtica com provas de normalizaÃÃo para sistemas definidos na literatura. / The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics of the formal proofs are investigated by means of deductive systems as Natural Deduction and Sequent Calculus. Prawitz through Theory Proof set a Theory of Meaning for constants logics and proposed schematic introduction rules and elimination to characterize the propositional connectives. Schroeder-Heister settings Prawitz extended and formalized the use of rules as hypotheses, making possible the use of separate calculations for assumptions of calculations for logical constants. We are not interested in the investigation of schematic rules to give meaning to the logical constants. We intend to actually set schematic standardization procedures, based on such schematic rules? Attic, in order to identify sufficient conditions for a system to be normalizÃvel. These results are relevant to the Abstract Theory of Evidence, a term used to identify the study of the conditions abstract and general to the proof-theoretical analysis of formal systems. Abstract Theory of Evidence do not study specific logical calculations, but families of calculations instances of rules schematic. Our proposal is therefore based on rules schematic rules can be instantiated for concrete, in particular, by introducing rules modal operators. We prove also theorems NormalizaÃÃoo Weak and Strong systems defined in schematic funÃÃoo schematic of our rules, we obtain sufficient conditions for a system instance is normalizÃvel these rules, we define a procedure that normalizes deductions concrete evidence and compare our standards with evidence schematic standards for systems defined in the literature.

La justice pénale française connait une diversification des modes de traitement des affaires qui lui sont soumises. Cette diversification résulte de facteurs endogènes et exogènes au système lui-même. Elle est le point de convergence de l'évolution des conceptions des phénomènes criminels, des attentes sociales pour une justice pénale efficace et, d'un nouveau mode de gestion de la justice. Les modes de poursuite traduisent une de logique de politique criminelle et, une logique de rationalisation du mode de management de la justice pénale. La notion de «modes de poursuite» devient une nouvelle catégorie juridique qui structure le traitement des délits. Sa portée théorique modifie l'approche de la poursuite. La diversification des modes de poursuite a des incidences sur la conception et la typologie du procès pénal et sur l'organisation des juridictions. Le procès pénal monolithique hérité du code d'instruction criminelle de 1808 devient un procès pluriel ayant une physionomie renouvelée et des finalités multiples. La poursuite pénale répond à des principes directeurs nouveaux ou renouvelés. La notion de «schéma d'orientation» illustre cette évolution. Une prise en compte législative de cette notion déboucherait sur une meilleure structuration de la réponse pénale. L'organisation de la chaîne pénale est également affectée, ainsi que la place des acteurs du procès. Des mécanismes de concertation et de délégation sont apparus. Le nouveau management judiciaire trouve appui sur cette diversification des modes de poursuite. Le procès pénal doit intégrer la transformation numérique qui devrait aboutir à la construction d'un procès pénal numérique. / The French criminal justice currently goes through a diversification of cases treatment processes. This diversification is the result of many factors, both endogenous and exogenous. It is the focal point of the evolution in theoretical approaches regarding criminal phenomena, social expectations of an effective criminal justice, and of a new process of justice management. Prosecution choices reflect a logic of criminal policy and also a logic of rationalization of the criminal justice management. The idea of «prosecution choices» becomes a new legal category that articulates the response to criminality. Its theoretical range modifies the approach of the prosecution. The diversification of prosecution choices has consequences on both conception and typology of the criminal trial and on courts organisation. The monolithic criminal trial inherited from the 1808 French code of criminal investigation becomes a more plural trial, with a renewed configuration and multiple purposes. The notion of « orientation schematics » illustrates such evolution. A legislative consideration of this notion would lead to a better structuring of the criminal justice response. The criminal justice system's organization is also affected, as well as the parties situation in the trial. Consultation and delegation mechanisms appeared. The new judicial management builds on this diversification in the prosecution choices. The criminal trial must integrate the digital transformation that should lead to the construction of a digital criminal trial.

Den här rapporten beskriver ett examensarbete i elektroteknik på Kungliga tekniska högskolan. Syftet var att skapa en unik systemlösning där ett CAN-adapterkort (Controller Area Network) skulle integreras med ett system för övervakning av däcktryck i tunga fordon. Målet var att presentera mätvärden från ventilsensorer på en persondator. Systemet för övervakning av lufttryck heter J1939 – TPMS och är en färdig produkt. J1939 – TPMS skickar CAN-ramar på en CAN-buss i J1939-format. Dessa ramar ska läsas in av adapterkortet och presenteras på ett terminalprogram på en persondator. Arbetet har bestått av att utreda hur systemet J1939 – TPMS fungerar i detalj. Rollen för protokollet J1939 och dess förhållande till CAN har förklarats. Hur J1939-ramar tolkas och hur mätdata rörande TPMS avkodas har beskrivits i detalj. Principer för hur en CAN-nod fungerar har klargjorts. Baserat på detta har ett CAN-adapterkort konstruerats. Konstruktionen har inneburit komponentval, design av elektronikschema, design av mönsterkort och utveckling av inbyggd programvara. Resultatet blev ett färdigt och fungerande CAN-adapterkort som har testats med J1939 – TPMS. Kraven för projektet uppfylldes. Dock så kommer mer arbete med kortet och systemet behövas för att det ska bli en färdig produkt. Arbetet genomfördes hos Motion Control i Västerås AB i samarbete med Transeco Däckservice. / This report describes a degree project at the Royal Institute of Technology. The purpose was to create a unique system solution in which a CAN adapter card (Controller Area Network) was to be integrated with an air pressure monitoring system for heavy duty vehicles. The goal was to present measurement values ​​from valve sensors on a personal computer. The air pressure monitoring system is called J1939 - TPMS and is a finished product. J1939 - TPMS sends CAN-frames to a CAN-bus in J1939 format. These frames are to be read by the adapter card and presented on a terminal program on a personal computer. The job has been to investigate how the J1939 - TPMS system works in detail. The role of the J1939 protocol and its relationship with CAN has been clarified. Also, a detailed description of how J1939 frames are interpreted and how the measuring data TPMS is decoded is done. Principles for how a CAN node works has been clarified. Based on this, a CAN adapter card has been designed. The design has included component selection, design of electronics schema, design of computer cards and development of embedded software. The result was a ready-to-use CAN adapter card tested with J1939-TPMS. Requirements for the project were met. However, more work with the card will be needed to make it a finished product. The work was carried out at Motion Control in Västerås AB in cooperation with Transeco Däckservice (Transeco Tire Service).

The aim of the thesis is the process of building technological project LIWA manufacturing facility in Pelhřimov. It deals mainly a technological process for the realization of the main building. The thesis contains a technical report, technological specification, control and test plan. Other parts of the work are time and financial plan, machine and mechanic design, project about equipment of construction site and time schedule. The annexes are further addressed drawings of the building site equipment.