The wireless charging market has seen exponential growth in recent years and wireless charging is quickly becoming the standard in consumer electronic devices to eliminate inconveniences of wired chargers. The adoption of wireless charging technology is most visible in the smartphone industry. This thesis report elicits the process involved in designing a Wireless charger that complies with the Qi- Wireless Standards set by the Wireless Power Consortium. The drawbacks of current product offerings and user needs are identified, and conceptual solutions that could strengthen the wireless charging experience are explored. The most promising solution is developed upon which results in a full-scale functional prototype.

<div> <div> <div> <p>The exploratory profiling and quantitative bioassays of lipids, small metabolites, and peptides have always been challenging tasks. The most popular instrument platform deployed to solve these problems is chromatography coupled with mass spectrometry. However, it requires large amounts of instrument time, intensive labor, and frequent maintenance, and usually produces results with bias. Thus, the pace of exploratory research is one of poor efficacy and low throughput. The work in this dissertation provides two practical tactics to address these problems. The first solution is multiple reaction monitoring profiling (MRM-profiling), a new concept intended to shift the exploratory research from current identification-centered metabolomics and lipidomics to functional group screening by taking advantage of precursor ion scan and product ion scan. It is also demonstrated that MRM-profiling is capable of quantifying the relative amount of lipids within the same subclass. Besides, an application of the whole workflow to investigate the strain-level differences of bacteria is described. The results have zeroed in on several potential lipid biomarkers and corresponding MRM transitions. The second strategy is aimed to increase the throughput of targeted bioassays by conducting induced nanoelectrospray ionization (nESI) in batch mode. A novel prototype instrument named "Dip-and-Go" system is presented. Characterization of its ability to carry out reaction screening and bioassays exhibits the versatility of the system. The distinct electrophoretic cleaning mechanism contributes to the removal of salt during ionization, which assures the accuracy of measurement.</p></div></div></div>

The project covers the substitution of a stamping shut height measurement at the chainsaw chain factory Husqvarna Edge, with a new sensor-based processmonitoring system, set to increase productivity and decrease running costs. The workflow covers the span from external and needs analysis to development and testing of both hardware and software, in conjunction with communication with external suppliers to find the most usable and profitable solution going forward. Regarding hardware was inductive / eddy-current distance measurement sensors the most suitable for the stamping press environment, providing high sample rate and repeatability to a micrometre level, while subjected to oil andvibration. Husqvarna’s state of the art stamping setup is not yet fully supported by process monitoring suppliers, which resulted in the creation of the new program called Live Height, which was successfully used for sensor evaluation and serves as an example for suppliers to expand upon. This work provides several options in different price ranges for Husqvarna’s management to make decisions upon.

Les outils d’aide à la preuve basés sur la théorie des types permettent à l’utilisateur d’adopter soit un style fonctionnel, soit un style relationnel (c’est-à-dire en utilisant des types inductifs). Chacun des deux styles a des avantages et des inconvénients. Le style relationnel peut être préféré parce qu’il permet à l’utilisateur de décrire seulement ce qui est vrai, de s’abstraire temporairement de la question de la terminaison, et de s’en tenir à une description utilisant des règles. Cependant, une spécification relationnelle n’est pas exécutable.Nous proposons un cadre général pour transformer une spécification inductive en une spécification fonctionnelle, en extrayant à partir de la première une fonction et en produisant éventuellement la preuve de correction de la fonction extraite par rapport à sa spécification inductive. De plus, à partir de modes définis par l’utilisateur, qui permettent de considérer les arguments de la relation comme des entrées ou des sorties (de fonction), nous pouvons extraire plusieurs comportements calculatoires à partir d’un seul type inductif.Nous fournissons également deux implantations de notre approche, l’une dans l’outil d’aide à la preuve Coq et l’autre dans l’environnement Focalize. Les deux sont actuellement distribuées avec leurs outils respectifs. / Proof assistants based on type theory allow the user to adopt either a functional style, or a relational style (e.g., by using inductive types). Both styles have advantages and drawbacks. Relational style may be preferred because it allows the user to describe only what is true, discard momentarily the termination question, and stick to a rule-based description. However, a relational specification is usually not executable.We propose a general framework to turn an inductive specification into a functional one, by extracting a function from the former and eventually produce the proof of soundness of the extracted function w.r.t. its inductive specification. In addition, using user-defined modes which label inputs and outputs, we are able to extract several computational contents from a single inductive type.We also provide two implementations of our approach, one in the Coq proof assistant and the other in the Focalize environnement. Both are currently distributed with the respective tools.

Many students have problems learning stoichiometry, a complex mathematical chemistry concept used to determine how much product will be produced or formed from a given quantity of reactants. The problem addressed in this study was teachers' lack of understanding of how to teach stoichiometry in a Midwestern urban school district. The conceptual framework of the study was based upon constructivist theory. A qualitative narrative approach was used to obtain the perceptions of 5 high school chemistry instructors related to their experiences, successful or unsuccessful, in teaching stoichiometry to students in Grades 10 and 11. Data were gathered through face-to-face interviews, which were analyzed via an inductive approach to reveal 6 themes: a difficult subject to teach, presentation of stoichiometry, relevancy, students' reactions, barriers, and gender differences. Findings suggested the need for teachers to be knowledgeable, creative, and resourceful in their subject areas to help their students to learn stoichiometry. Findings also revealed the need for teachers to adapt their instructional strategies and modes of delivery to reflect their students' individual learning styles. Understanding how the participating teachers explained stoichiometry to their students might help other chemistry teachers to examine and adapt their own instructional styles and delivery methods of the concept. This understanding might, in term, help to improve student achievement in stoichiometry in particular and chemistry in general.

Electric vehicles are increasing on the market and new technologies are being investigated because of the demand placed on electrified drivelines to provide maximum efficiency. Electric motors are expected to provide high efficiency and thus precise and compact designs of sensors for electric motors are requested. Market sensors offers a broad variety of sensors which are useful and optimal for different applications. Inductive sensors are investigated by industries because of their characteristics of having high accuracy, robustness, compact and flexible design and tolerant to harsh environments. This thesis is an investigation of inductive position sensors for automotive rotor applications,requested by one of Sweden’s largest companies within the automotive industry. The goal of the project is to design and implement theory of tradtional resolver technology on a printed circuit board (PCB) and conduct concept verifications of the system. Furthermore a new concept in the design is introduced and applied to the angular position sensor, working as a vernier scale and improve the resolution. Results and outcomes of this thesis are meant to facilitate future work and breakthroughs regarding inductive position sensors. This thesis aim to conduct a deep dive in electronics and signal processing and to derive the fundamentals of electromagnetism, from Maxwell’s equations to modern sensor design and to bring a new discussion to the table regarding the traditional measuring target used for rotor position in automotive industries. A new design working as rotor target design is presented and verified in this thesis and the results and outcomes are meant to facilitate future work and breakthroughs regarding inductive position sensors and potentially increase the accuracy and thus the efficiency of electric vehicles.

No description available.

No description available.

The automotive industry is becoming more dependent on sustainable and efficient systems within vehicles. With the diverse combination of conditions affecting vehicle performance, such as environmental conditions and drivers' behaviour, the interest in monitoring machine health increases. This master thesis examines the machine learning approach to sensor reconstruction of hauler engine sensors for deviation detection applications across multiple domains. A novel proposal for sequence learning and modelling was by introducing a weighted difference of sequence derivatives. Impacts of including differences of derivatives assisted the learning capabilities of sequential data for the majority of the target sensors across multiple operating domains. Robust sensor reconstruction was also examined by using inductive transfer learning with a Long Short-Term Memory-Domain Adversarial Neural Network. Obtained results implied an improvement in using the Long Short-Term Memory-Domain Adversarial Neural Network, then using a regular Long Short-Term Memory network trained on both source and target domains. Suggested methods were evaluated towards model-based performance and computational limitations. The combined aspects of model performance and system performance are used to discuss the trade-offs using each proposed method.

Programmering tog 2018 ett stort kliv in matematikundervisningen och det är upp till varje enskild lärare att besluta hur programmering ska integreras i matematikundervisningen. Det var med denna bakgrund som Tekniskt basår på KTH Campus önskade utveckla programmeringslaborationer till studenter på Tekniskt basår 2018/2019. Uppdraget formulerades sedan om till att vi, istället, skulle leda ett fristående introduktionsmoment i programmering för nuvarande Tekniskt basårsstudenter (VT2019). Syftet med detta examensarbete var att kartlägga svårigheter som tidigare Tekniskt basårsstudenter haft då de läste sin första programmeringskurs på ett ingenjörsprogram. De funna svårigheterna skulle sedan ligga till grund för ett introduktionsmoment för nuvarande studenter på Tekniskt basår. En enkätundersökning på tidigare studenter utfördes för att samla in data för att identifiera svårigheterna som sedan kategoriserades genom en tematisk analys. Introduktionsmomentet skapades med mindre uppgifter utifrån idéer från problembaserat och induktivt lärande. Resultatet pekar på sju teman av svårigheter, nämligen abstrakt, komplext, teori, arbetssättet, kursen, nytt och övriga svårigheter. Resultaten av svårigheterna liknar det som tidigare kartläggningar av programmeringssvårigheter har funnit. Ett förslag på ett induktivt introduktionsmoment influerat av problembaserat lärande presenteras och analyseras utifrån de funna svårigheterna. Vidare forskning skulle kunna följa upp om studenterna upplevde att svårigheterna blev avdramatiserade genom introduktionsmomentet samt utvärdera hur introduktionsmomentet kan tas vidare på Tekniskt basår. / In 2018, programming became an integral part of mathematics education in Sweden. However, the choice of how to integrate it with the curriculum remains a decision of the teacher. Consequently, teachers at KTH’s Technical Preparatory Year announced a master’s degree project aiming to design programming labs in mathematics for students attending the program during 2018/2019. The degree project was reformulated to focus on introducing programming without the mathematical context. The aim of this master thesis was to pinpoint earlier students’ difficulties during the introductory course in programming of their engineering program at KTH. These difficulties would later be the basis of the programming introduction for the current Technical Preparatory Year students. A review of the research literature on the learning of programming identified a number of common areas of concern. In order to collect data to identify our prior students’ difficulties a survey was designed. The data collected in the survey was then categorized through a thematic analysis. The results indicated seven themes of difficulties: abstract, complex, theory, work procedure, programming courses, new and miscellaneous. The results are similar to those found in prior categorizations of programming difficulties. Taking these themes into consideration, a suggestion of the content for the introduction was presented based on ideas from inductive learning and problem based learning. Future research should focus on determining whether the introduction dealt with the difficulties and what the effects were. Furthermore, future research could develop the material for the introduction, in particular how students are assessed.