• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 5975
  • 1920
  • 1
  • Tagged with
  • 7896
  • 7896
  • 7896
  • 7835
  • 859
  • 798
  • 626
  • 612
  • 586
  • 544
  • 444
  • 391
  • 387
  • 328
  • 327
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Molnsystem för automatisk blankettinmatning : Blankettutformning & databearbetning / Automatic data entry utilizing the cloud : Form design & data processing

Granberg, Andreas, Olofsson, Johan January 2018 (has links)
Denna tekniska rapport beskriver ett projekt med syftet att utveckla ett molnbaserat system vars uppgift är att digitalisera maskin- och handskriven text från inskannade blanketter med hjälp av Microsofts kognitiva tjänster. Det färdiga systemet var avsett att vara av tillräckligt god kvalitet för att tolka både maskin- och handskrivna blanketter samt extrahera nyckelvärden från dessa. Projektet resulterade i ett något fragmenterad system som består av en databas, en webbapplikation samt tre Azure-specifika resurser: ett Blob Storage, en Logic App och en Function App. Det anfördes i projektets ursprungliga specifikation att systemet skulle utvecklas med endast molnbaserade komponenter. På grund av tidsbegränsningar uppfylldes aldrig detta krav till fullo. Trots det faktum att inte alla komponenter är molnbaserade är systemet fortfarande fullt fungerande i den meningen att det kan tolka maskin- och handskrivna blanketter samt extrahera nyckelvärden från dessa.  De blanketter som användes utvecklades vid sidan av systemet och deras primära syfte är att inte påföra systemet några begränsningar medan de fortfarande är lättförståeliga av dess användare. / This technical report describes a project aimed at developing a cloud based system whose task it is to digitize hand and machine written text in forms using Microsoft’s Cognitive Services. The resulting system was intended to be of sufficient quality to interpret both machine and handwritten forms as well as extracting key values from them. The project resulted in a somewhat fragmented system which consists of a database, a web application, and three Azure specific resources: Blob Storage, Logic App, and Function App.  It was stated in the project’s original specification that the system should be developed entirely using cloud-based components. Due to time constraints this requirement was never fully met. Despite the fact that not all components are cloudbased, the system is still fully functional in the sense that it is able to interpret machine- and handwritten text, as well as extracting key values. The forms used were developed alongside the system and their primary purpose is to not impose any constraints on the system whilst still being easily understandable by its users.
42

Type-directed Generation and Shrinking for Imperative Programming Languages

Samuel, Bodin, Joel, Söderman January 2018 (has links)
Optimizing compilers are large and complex systems, potentially consisting of millions of lines of code. As a result, the implementation of an industry standard compiler can contain several serious bugs. This is alarming given the critical part that software plays in modern society. Therefore, we investigate type-directed program generation and shrinking for the testing of compilers for imperative programming languages. We implement a type-directed generator and shrinker for a subset of C in Haskell. The generator is capable of generating type-correct programs that contain variable mutations and challenging program constructs, such as while-statements and if statements. We evaluate the quality of the generated programs by measuring statement coverage of a reference interpreter and by comparing the results to reference test suite. The results show that the generated programs can surpass the test suite in terms of quality by one percentage point of coverage. To test the bug finding capabilities of the generator and the shrinker, we use them to test seven interpreters and manage to identify a total of seven bugs. Furthermore, we test the same interpreters with the reference test suite and find only three bugs. The implications of the results lead us to question the reliability of code coverage as a measure of quality for compiler test suites. Finally, we conclude that type-directed generation and shrinking is a powerful method that can be used for the testing of compilers for imperative programming languages.
43

Control and design of engineering mechanics systems

Yedeg, Esubalewe Lakie January 2013 (has links)
No description available.
44

Identification and tuning of algorithmic parameters in parallel matrix computations : Hessenberg reduction and tensor storage format conversion

Eljammaly, Mahmoud January 2018 (has links)
This thesis considers two problems in numerical linear algebra and high performance computing (HPC): (i) the parallelization of a new blocked Hessenberg reduction algorithm using Parallel Cache Assignment (PCA) and the tunability of its algorithm parameters, and (ii) storing and manipulating dense tensors on shared memory HPC systems. The Hessenberg reduction appears in the Aggressive Early Deflation (AED) process for identifying converged eigenvalues in the distributed multishift QR algorithm (state-of-the-art algorithm for computing all eigenvalues for dense square matrices). Since the AED process becomes a parallel bottleneck it motivates a further study of AED components. We present a new Hessenberg reduction algorithm based on PCA which is NUMA-aware and targeting relatively small problem sizes on shared memory systems. The tunability of the algorithm parameters are investigated. A simple off-line tuning is presented and the performance of the new Hessenberg reduction algorithm is compared to its counterparts from LAPACK and ScaLAPACK. The new algorithm outperforms LAPACK in all tested cases and outperforms ScaLAPACK in problems smaller than order 1500, which are common problem sizes for AED in the context of the distributed multishift QR algorithm. We also investigate automatic tuning of the algorithm parameters. The parameters span a huge search space and it is impractical to tune them using standard auto-tuning and optimization techniques. We present a modular auto-tuning framework which applies: search space decomposition, binning, and multi-stage search to enable searching the huge search space efficiently. The framework using these techniques exposes the underlying subproblems which allows using standard auto-tuning methods to tune them. In addition, the framework defines an abstract interface, which combined with its modular design, allows testing various tuning algorithms. In the last part of the thesis, the focus is on the problem of storing and manipulating dense tensors. Developing open source tensor algorithms and applications is hard due to the lack of open source software for fundamental tensor operations. We present a software library dten, which includes tools for storing dense tensors in shared memory and converting a tensor storage format from one canonical form to another. The library provides two different ways to perform the conversion in parallel, in-place and out-of-place. The conversion involves moving blocks of contiguous data and are done to maximize the size of the blocks to move. In addition, the library supports tensor matricization for one or two tensors at the same time. The latter case is important in preparing tensors for contraction operations. The library is general purpose and highly flexible.
45

Performance Analysis and Improvement of PR-SCTP in an Event Logging Context

Rajiullah, Mohammad January 2012 (has links)
Due to certain shortcomings in TCP and UDP, the Stream Control Transmission Protocol (SCTP) was defined for transporting telephony signaling traffic. The partially reliable extension of SCTP, PR-SCTP, has been considered as a candidate for prioritizing content sensitive traffic and trading reliability against timeliness for applications with soft real time requirements.    In this thesis, we investigate the applicability of PR-SCTP for event logging applications. Event logs are inherently prioritized. This makes PR-SCTP a promising candidate for transporting event logs. However, the performance gain of PR-SCTP can be very limited when application message sizes are small and messages have mixed reliability requirements. Several factors influence PR-SCTP’s performance. One key factor is the inefficiency in the forward_tsn mechanism of PR-SCTP. We examine the inefficiency in detail and propose several solutions. Moreover, we implement and evaluate one solution that utilizes the Non-Renegable Selective Acknowledgements (NR-SACKs) mechanism currently being standardized in the IETF, which is available in the FreeBSD operating system. Our results show a significant performance gain for PR-SCTP with NR-SACKs. In some scenarios, the average message transfer delay is reduced by more than 75%. Moreover, we evaluate NR-SACK based PR-SCTP using real traces from an event logging application called syslog. It significantly improves the syslog application performance as compared to SCTP, TCP and UDP.
46

Guidelines for integration testing of asynchronous many-to-many message passing applications for use in 4G and 5G telecommunication

Jansson, Oskar, Nilsson, Niklas January 2018 (has links)
Message Passing Systems (MPS) is today a widely used architecture for distributed embedded systems, where components communicate by sending and receiving messages. Integration testing a system using MPS with a many-to-many relationship can be demanding as both the time and the order in which  messages are delivered depend on the execution environment. The non-deterministicness can lead to message race faults, where the order of messages can result in false truths. If a test cannot continue execution until the response has been received, it can potentially lead to a message deadlock. Google Test is a popular framework for testing code written in C/C++; it features a rich set of assertions and fatal and non-fatal failures. This paper presents guidelines on how to test a non-deterministic message order in an MPS system using additions to the Google Test framework. From studies a set of solutions were brought forward. Each solution was evaluated with the use of a minimalistic MPS system that we constructed for the task, and the guidelines are based upon the results of these.
47

Utveckling av applikation för visualisering av data kring kulturverksamhet – med fokus på användbarhet : En studie för Region Gävleborg

Olsson, Christian, Suau Carvajal, Nicolas January 2018 (has links)
Denna rapport behandlar ämnet användbarhet och hur det kan tillämpas på Region Gävleborgs avdelning Kulturutveckling. Idag saknar de en applikation som tillhandahåller tjänsten att med hjälp av Excel-data grafiskt på en karta visualisera kulturaktörer med regionalt uppdrag och deras verksamhet. För att kunna skapa och utforma en användarvänlig applikation har författarna undersökt olika tillämpningar, definitioner och standarder som rör användbarhet. Ett användartest utfördes för att bekräfta författarnas tes om att med hjälp av Shneidermans gyllene regler tillverka en applikation som i framtiden kan användas för att underlätta beslutsfattande kring de kulturella aktörernas verksamhet i regionen. Författarna har utöver feedbacken från de tilltänkta användarna även tagit fram en lathund för att möjliggöra användare med olika kunskap och erfarenhet att använda applikationen som redskap i deras arbete. Slutsatsen som kan dras är att det är tillräckligt att tillämpa en uppsättning användbarhetsregler för att skapa en användarvänlig applikation.
48

A Visualization Application for Anomaly Detection in Water Management Systems / En Visualiseringsapplikation för Anomalitetsdetektion i Vattenhanteringssystem

Eberhardsson, Elias January 2018 (has links)
Denna rapport beskriver och går igenom processen med att utforma och implementera en applikation för visualisering av data relaterade till vattenhanteringssystem. Datavisualiseringen i fråga är implementerad på en kartvy. Uppgifterna tillhandahålls via Aquaductus sensorenheter vilka placeras i vattenhanteringssystem, dessa för sen regelbundet över data till Aquaductus databas. Applikationen kan både ge en snabb överblick av status över en stor mängd sensorenheter, och är gjord som ett verktyg för att diagnostisera och lokalisera eventuella läckor eller blockeringar. Applikationen är gjord för att användas av kontorsarbetare, som är vana vid verktyg med många, många funktioner och har hög teknisk förmåga. Applikationen ska dock också fungera som ett verktyg för arbetstagare ute på fältet, som använder det på surfplattor eller möjligen mobiltelefoner. Detta breda utbud av tekniska färdigheter och användarmiljöer lägger vikt vid användargränssnittet och att utforma verktyg som kan användas på olika nivåer. Det färdiga verktyget levererar den kraft som behövs, men presenterar den kraften på ett användarvänligt sätt, upprätthållande av designfilosofin. Så levereras användbarhet och flexibilitet, som utlovat. / This thesis outlines and walks you through the process of designing and implementing an application for visualizing data related to water management systems. The data visualization in question is implemented on top of maps. The data is provided through Aquaductus sensors placed in water management systems, which relay data periodically. The application is able to both give a quick overview of the status of a large number of sensor-units, and is also made as a tool for diagnosing and locating possible leaks or blockages. The application is made to be used by office workers, who are familiar with tools with many functions and have high technical prowess. The application though, should also work as a tool for workers out in the field, who are using it on tablet devices or possibly smartphones. This wide range of technical skill and user environments puts a high priority on the user interface and designing tools that can be used at different levels of skill. The tools designed gives the users the power needed but presented in a user friendly manner, upholding the design philosophy. Delivering the usability and flexibility promised.
49

Synkronisera grafik till flera skärmar för sportevenemang / Synchronize graphics to multiple screens for sports events

Moritz, Hugo, Hellgren, William January 2018 (has links)
Multi-screen video playback is often used for sports events. It is important that the graphics are visualized synchronized. The thesis investigates a solution for synchronizing video to multiple devices through a central computer. Programs to test response time and synchronization in OpenCV and libVLC software libraries were developed and tested using automated measurements, empirical measurements, and manual tests. The result showed that libVLC had better and more secure results for response time and synchronization time. However, OpenCV managed to achieve more synchronized results when using more synchronization attempts. The work provided an understanding of how synchronization is possible for software libraries and the ability to further develop tests with NTP and network protocols. / Uppspelning av video på flera skärmar används frekvent för sportevenemang. Det är viktigt att grafiken visualiseras synkroniserat. Arbetet undersöker en lösning för att kunna synkronisera video till flera enheter genom en central dator. Program för att kunna testa svarstid och synkronisering i programvarubiblioteken OpenCV och libVLC utvecklades och testades med automatiserade mätningar, empiriska mätningar och manuella tester. Resultatet visade att libVLC hade bättre och säkrare resultat för svarstid och synkroniseringstid. OpenCV lyckades dock uppnå mer synkroniserade resultat vid flertalet synkroniseringsförsök. Arbetet gav en insyn i hur synkronisering är möjlig för programvarubibliotek och möjligheten för att kunna vidareutveckla tester med NTP och nätverksprotokoll.
50

Applied machine learning in the logistics sector : A comparative analysis of supervised learning algorithms

Allberg, Petrus January 2018 (has links)
BackgroundMachine learning is an area that is being explored with great haste these days, which inspired this study to investigate how seven different supervised learning algorithms perform compared to each other. These algorithms were used to perform classification tasks on logistics consignments, the classification is binary and a consignment can either be classified as missed or not. ObjectivesThe goal was to find which of these algorithms perform well when used for this classification task and to see how the results varied with different sized datasets. Importance of the features which were included in the datasets has been analyzed with the intention of finding if there is any connection between human errors and these missed consignments. MethodsThe process from raw data to a predicted classification has many steps including data gathering, data preparation, feature investigation and more. Through cross-validation, the algorithms were all trained and tested upon the same datasets and then evaluated based on the metrics recall and accuracy. ResultsThe scores on both metrics increase with the size of the datasets, and when comparing the seven algorithms, two does not perform equally compared to the other five, which all perform moderately the same. Conclusions Any of the five algorithms mentioned prior can be chosen for this type of classification, or to further study based on other measurements, and there is an indication that human errors could play a part on whether a consignment gets classified as missed or not.

Page generated in 0.1125 seconds