<p>This master thesis is about building an adaptive library based on a platform independent model, which represents a conceptual design realizing the functional requirements being independent of the technologies and software architectures changes.</p><p>This adaptive library is a model, which has a higher level of abstraction than the code that we will generate afterwards, generalizes the solution of those problems that can be resolved using different implementations that uses different kinds of data structures.</p><p>In addition the higher level of abstraction that this adaptive library is having will give a speed up in developing the application and higher quality solution because of the maintainability and reusability. This solution is going to have the propriety to be changed easily in order to solve different concrete problems.</p>

<p>Alstom Power i Växjö arbetar med utveckling och försäljning av bland annat elektrofilter till</p><p>rökgasreningssystem vid olika typer av miljövårdsanläggningar för t.ex. kraftverksindustrin.</p><p>Dessa elektrofilter kontrolleras och regleras med hjälp av styrutrustning uppbyggd av ett</p><p>antal styrenheter som idag kommunicerar via en egentillverkad standard kallad ”Fläktbuss”. För</p><p>att övervaka detta system vill man använda handburna PDA och kommunicera med Fläktbussen</p><p>via USB. För att få kommunikationen mellan USB och Fläktbuss att fungera krävs någon form av</p><p>aktiv konvertering.</p><p>Detta examensarbete kommer att ta upp så väl problematik och lösningar kring det</p><p>problem som finns i samband med denna konvertering.</p> / <p>Alstom Power in Växjö develop and sell equipment like electro filters for enviromental purposes</p><p>for the power industry.</p><p>Those filters are controlled and regulated by controlunits, communicating via an Alstoms</p><p>own standrad called “Fläktbuss”. To supervise and maintain this system, a solution of PDA and</p><p>USB communication is intresting. To make this USB – Fläktbuss adaption an active conversion</p><p>of data is required.</p><p>This diplomawork will contain and discuss problems and solutions about this conversion.</p>

Visualization is the process of making something perceptible to the mind or imagination. The techniques for producing visual imagery of volumetric data have advanced immensely during the last decades to a point where each produced image can include an overwhelming amount of information. An increasingly viable solution to the limitations of the human sense of visual perception is to make use of not only vision, but also additional senses. This thesis presents recent work on the development of principles and algorithms for generating representations of volumetric data through the sense of touch for the purpose of visualization. The primary idea introduced in this work is the concept of yielding constraints, that can be used to provide a continuous set of shapes as a representation of features of interest in various types of volumetric data. Some of the earlier identified standard human exploratory procedures can then be used which enables natural, intuitive and effective interaction with the data. The yielding constraints concept is introduced, and an algorithm based on haptic primitives is described, which forms a powerful yet versatile implementation of the yielding constraints. These methods are also extended to handle time-varying, moving and low quality data. A framework for multimodal visualization has been built on the presented methods, and this is used to demonstrate the applicability and versatility of the work through several example applications taken from different areas.

In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of FOλ(nabla) logic. We consider a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion of atoms. The key aspect of this model is to consider functors over the category of irreflexive and symmetric finite relations. The models previously proposed for the separate notions of “variables” and “names” embed faithfully in the new one, and initial algebra/final coalgebra constructions can be transferred from the formers to the latter. Moreover, the new model admits a definition of distinction-aware simultaneous substitutions. As a substantial application example, we give the first semantic interpretation of Miller-Tiu's FOλ(nabla) logic. FOλ(nabla) logic is designed for reasoning about operational semantics of languages with binding. On the operational level, a contribution of the thesis is to extend an automata-based model for a variety of name-passing calculi with their associated notion of equivalence. HD-automata, a syntax-independent operational model, has been successfully applied for modelling e.g. early and late bisimulation in π-calculus and hyperbisimulation in Fusion calculus. However, current HD-automata are not adequate for modelling open bisimulation because they can not handle distinction-preserving substitutions. We solve this technical problem by integrating the notion of distinction into the definition of named sets, the basic building blocks of HD-automata. Finally, we discuss the relationship between HD-automata with distinctions, and D-LTS.

Ubiquitous deployment of embedded systems is having a substantial impact on our society, since they interact with our lives in many critical real-time applications. Typically, embedded systems used in safety or mission critical applications (e.g., aerospace, avionics, automotive or nuclear domains) work in harsh environments where they are exposed to frequent transient faults such as power supply jitter, network noise and radiation. They are also susceptible to errors originating from design and production faults. Hence, they have the design objective to maintain the properties of timeliness and functional correctness even under error occurrences. Fault-tolerance plays a crucial role towards achieving dependability, and the fundamental requirement for the design of effective and efficient fault-tolerance mechanisms is a realistic and applicable model of potential faults and their manifestations. An important factor to be considered in this context is the random nature of faults and errors, which, if addressed in the timing analysis by assuming a rigid worst-case occurrence scenario, may lead to inaccurate results. It is also important that the power, weight, space and cost constraints of embedded systems are addressed by efficiently using the available resources for fault-tolerance. This thesis presents a framework for designing predictably dependable embedded real-time systems by jointly addressing the timeliness and the reliability properties. It proposes a spectrum of fault-tolerance strategies particularly targeting embedded real-time systems. Efficient resource usage is attained by considering the diverse criticality levels of the systems' building blocks. The fault-tolerance strategies are complemented with the proposed probabilistic schedulability analysis techniques, which are based on a comprehensive stochastic fault and error model.

<p>Svenskt Rockarkiv is an organization located in Hultsfred, Sweden. Its goal is to collect and document the history of Swedish rock music. The archive contains several types of documentation, such as audio recordings, photographs, posters, video recordings and books representing Swedish rock music history. In order to store information about the audio recordings in the archive, Svenskt Rockarkiv uses a SQL Server 2000 database and a client application written in Microsoft.NET C# and Windows Forms. The purpose of this degree project is to audit the database and windows client, since the organization has needs of new functionality. There are also some bugs in the system that needs to be corrected. The result of the audit states that the database needs to be extended with additional tables and some structural changes to handle the new demands of the system. The poorly designed architecture of the windows client causes performance issues, and these issues are believed to increase with the size of the database. Based on the audit a suggestion of changes to the system is presented, with emphasis on overall performance, usability and preparations for future development. Structural changes to the database are presented as well as a new distributed client-server solution. By using the .NET Remoting technique the business logic is placed in a separate physical layer increasing performance and scalability, and making the system easy to extend with future functionality. Finally the outcome of the system development is presented with a database model and an implementation of the new client.</p> / <p>Svenskt Rockarkiv är ett förbund inrymt i Hultsfred och har som mål att samla den svenska rockhistorien. Arkivet består av dokumentation i form av inspelningar, bilder, affischer, videoupptagningar, böcker och kuriosa som speglar svensk rockmusiks historia. För att lagra information om de musikmedier som finns i arkivet använder Svenskt Rockarkiv ett system bestående av en SQL Server 2000-databas, samt en inmatningsapplikation skriven i C# för Microsoft .NET och Windows Forms. Syftet med det här examensarbetet är att utföra en revidering av systemet då det finns behov av ny funktionalitet och rättningar av fel som upptäckts. Det genomförs en granskning av databasen och windowsapplikationen med fokus på att hitta punkterna för de nya krav som ställs på systemet. Det konstateras att databasen måste utökas med nya tabeller och justeras lite i sin struktur för att hantera de nya kraven. I granskningen av inmatningsapplikationen görs bedömningen att den orsakar prestandaproblem i systemet på grund av dålig konstruktion, och att problemen riskerar att växa när databasen fylls med mer information. Baserat på granskningen ges sedan ett förslag till förändringar i systemet för att passa kraven, med tyngdpunkt på att systemet även ska hålla en bättre kvalitet i form av prestanda, användarvänlighet och möjlighet till vidareutveckling. Strukturella förändringar av databasen presenteras och motiveras, samt ett förslag till en flerskiktad distribuerad lösning av klientapplikationen. En tunn windowsklient som med hjälp av .NET Remoting har ett fysiskt separerat affärslager är bättre lämpad för hög prestanda, och framför allt väl förberedd för framtida utveckling. Slutligen presenteras resultatet i form av en ny fysisk databasmodell och en implementering som gjorts av windowsklienten.</p>

<p>Denna rapport beskriver Windows Installer och hur dess API kan användas för att generera MSI-paket. Det förklaras hur MSI-paket bör vara utformade och hur dessa kan användas.</p><p>Projektet resulterade i en prototyp åt uppdragsgivaren Capitex AB. Prototypen kunde användas för att generera MSI-paket för applikationen Säljstöd.</p>

<p>Den här rapporten undersöker om gränsen mellan Terminal Services och Citrix XenApp har börjat suddas ut eller om man ännu kan dra en tydlig linje mellan dessa. Detta för att avgöra om organisationer som idag kör Windows Server 2003 med Citrix XenApp enbart klarar sig med de nya funktionerna i Windows Server 2008 Terminal Services och ändå uppfylla de krav och behov en organisation har. Arbetet genomfördes rent teoretiskt. För att avgöra likheter och skillnader mellan applikationerna, så användes till största delen ett ramverk. För att kunna få en bild av hur applikationerna tillämpas rent praktiskt, användes tidigare testar samt analyser. Resultatet visar att Terminal Services tagit ett större steg inom marknaden för applikationsvirtualisering. Slutsatsen antyder att Windows Server 2008 Terminal Services är lämplig för organisationer utan komplexa behov.</p>

<p>Den här rapporten beskriver en experimentell studie av Microsoft Network Protection (NAP) och är ämnad för att utvärdera hur mogen tekniken är för att implementeras i en aktiv nätverksmiljö. För att göra studien tog vi hjälp av gymnasieskolan John Bauer i Kalmar. Tester har utförts med DHCP-framtvingning och 802. 1x-framtvingning, dessa är två av NAPs fyra olika framtvingande funktioner. En mindre analys av skolans switchkonfigurationer och interna säkerhet har även gjorts på John Bauers begäran. Testerna har visat att DHCP-framtvingning är en bra och enkel lösning för John Bauers trådade klienter. NAP-funktionen 802. 1x- framtvingning var en större utmaning dock, och blev inte lyckad. Utbudet av information om NAP är än för knapphändig och vi anser därför att inte bara 802.1x framtvingning inte är redo för implementation, utan även framtvingning med DHCP.</p>

The significance of search engine optimization is clearly highlighted sin- ce over 90 % of internet usage starts with a search engine according to contemporary studies, whilst the internet also has contributed to increa- sed competition between companies operating from different geographic markets. Guidelines from search engines and theory from studies descri- be several internal influencing factors, on-site factors, but ambiguous in the studies is how much these factors affect the ranking. For this reason, a study was conducted regarding the e-commerce platform Sparket.se and its ranking on Google through iterative testing and measurement of each on-site factor. The result and conclusion of the study suggest that key- words and structure are of greatest importance in on-site optimization. The largest improvement was observed when keywords were placed in the HTML code and accounted for 2-5 % of the total content, without duplication. A clear hierarchical structure of even width and depth also resulted in an advancement. Implementation of breadcrumbs again pro- vided limited improvement, likely because of Sparket’s small size, and sitemap, as well as robots.txt, yielded unchanged ranking. The overall effect of the on-site factors in search engine optimization was significant for the e-commerce platform. / Vikten av sökmotoroptimering belyses tydligt eftersom över 90 % av in- ternetanvändningen inleds med en sökmotor enligt nutida studier, sam- tidigt som internet har bidragit till ökad konkurrens mellan företag som verkar från olika geografiska marknader. Riktlinjer från sökmotorer och teori från studier beskriver flera interna påverkande faktorer, on-site- faktorer, men tvetydigt i studierna är hur mycket dessa faktorer påver- kar rangordningen. Med anledning av detta genomfördes en studie an- gående e-handelsplattformen Sparket.se och dess rangordning på Goog- le genom iterativ testning och mätning för varje on-site-faktor. Resulta- tet och slutsatsen av arbetet gör gällande att nyckelord och struktur har störst betydelse vid on-site-optimering. Störst förbättring observerades när nyckelord placerades i HTML-koden och utgjorde 2-5 % av det tota- la innehållet, utan duplicering. En tydlig hierarkisk struktur med jämn bredd och djup resulterade likaså i avancemang. Implementation av bre- adcrumbs gav också en marginell förbättring, troligtvis på grund av Spar- kets ringa storlek, och sitemap samt robots.txt gav oförändrad rangord- ning. Den sammanlagda effekten av on-site-faktorerna vid sökmotorop- timering var signifikant för e-handelsplattformen.