Sökning: "Auxiliary information in design"
Visar resultat 1 - 5 av 8 uppsatser innehållade orden Auxiliary information in design.
1. Design of auxiliary communication for audio between computers and DSPs : Programming and optimization of computational resources
Uppsats för yrkesexamina på grundnivå, Umeå universitet/Institutionen för tillämpad fysik och elektronikSammanfattning : This thesis report is about designing a prototype and establishing audio communication between a computer and Digital Signal Processor (DSP) using two preamp circuits using both auxiliary and USB connection. The paper gives the reader an overview on how audio is transmitted from a computer, through the system and to the desired output. LÄS MER
2. Synthesis of Annotations for Partially Automated Deductive Verification
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. LÄS MER
3. Automatic Patent Classification
Master-uppsats,Sammanfattning : Patents have a great research value and it is also beneficial to the community of industrial, commercial, legal and policymaking. Effective analysis of patent literature can reveal important technical details and relationships, and it can also explain business trends, propose novel industrial solutions, and make crucial investment decisions. LÄS MER
4. OSM-Based Automatic Road Network Geometries Generation on Unity
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Nowadays, while 3D city reconstruction has been widely used in important topics like urban design and traffic simulation, frameworks to efficiently model large-scale road network based on data from the real world are of high interests. However, the diversity of the form of road networks is still a challenge for automatic reconstruction, and the information extracted from input data can highly determine the final effect to display. LÄS MER
5. Optimal Auxiliary Variable Assisted Two-Phase Sampling Designs.
Master-uppsats, Göteborgs universitet/Institutionen för matematiska vetenskaperSammanfattning : Two-phase sampling is a procedure in which sampling and data collection is conducted in two phases, aiming at achieving increased precision in estimation at reduced cost. The rst phase typically involves sampling a large number of elements and collecting data on variables that are easy to measure. LÄS MER