<p>I detta examensarbete har en studie av svenska små och medelstora företag som genomfört en satsning på Internet genomförts. Studien hade till syfte att undersöka vilka resonemang som föregått olika företags satsning på Internet och huruvida företagen uppfyllt sina målsättningar med sin satsning.</p><p>För att skaffa mig en bättre överblick av problemet och för att kunna definiera problemställningen, så studerades tillgänglig litteratur och tillämplig information inhämtades från Internet. För att sedan besvara problemet och de problemställningar som identifieras i kapitel 3 så genomfördes två intervjuomgångar med olika inriktningar. Den ena intervjudelen inriktades mot reklambyråer som skapar WWW-platser åt andra företag. Den andra intervjudelen genomfördes med svenska små och medelstora företag som etablerat närvaro på Internet.</p><p>En del av slutsatserna består av att företagen inte planerar speciellt mycket innan de påbörjar processen med att etablera närvaro på Internet och att det kanske till viss del beror på att företagen ser det som en relativt låg kostnad för en Internetsatsning, jämfört med andra typer av marknadsföringskostnader. De undersökta företagen uppger sig vara generellt sett nöjda med sin Internetsatsning.</p><p>I slutet av denna rapport så återfinns diskussionskapitel med reflektioner över intresseområdet och uppslag till ytterligare arbeten inom området.</p>

<p>Nya begrepp sköljer ständigt över oss. Ett av de nyaste är Extranet. Ett Extranet är ett nätverk som består av ett företags interna nätverk där utvalda kunder och leverantörer har fått tillträde till viss information på nätverket. Extranet använder sig i regel av Internet-teknik. Jag har med det här arbetet försökt ta reda på vad som talar för respektive mot införandet av ett Extranet i ett företag eller en organisation. För att få svar på mina frågor så har jag intervjuat personer från sex st företag, vilka har eller håller på att infört Extranet. Jag har också sökt svar i den litteratur som finns skriven om Extranet.</p><p>Det som starkast talar för ett Extranet är att de sammankopplade parterna snabbare kan hämta den information som de behöver från varandra. Några företag använder också sina Extranet till att korta ned sina ledtider genom att ge sina leverantörer insyn i sina MPS- och lagersystem. Vidare är Extranet ett bra verktyg för att ge support till sina kunder 24 timmar om dygnet.</p><p>Det som starkast talar mot ett införande av ett Extranet i ett företag eller organisation är att det finns ett antal säkerhetsproblem kopplade till Extranet. När de protokoll som Internet bygger på skapades så fanns det ingen tanke på att det skulle bli aktuellt att begränsa trafiken till bara vissa användare. Det är därför mycket komplicerat att bygga upp och administrera säkerhetsrutinerna i ett Extranet. Då ett företag bygger ett Extranet så ökar det också antalet ’vägar’ in i systemet och därmed ökar också risken för intrång av obehöriga. Att reda ut vilka användare som skall ha vilken information är också ett stort problem kopplat till Extranet.</p>

<p>Samhället blir allt mer medvetna om miljöns framtida betydelse. Företag får krav från myndigheter och andra intressenter att minska sin miljöpåverkan. En möjlighet som företagen har för att bedriva ett bra miljöarbete är att miljöcertifiera sitt miljöledningssystem enligt en miljöstandard, där det finns fördefinierade miljökrav som måste uppfyllas. I Sverige finns två miljöstandarder, ISO 14000 och EMAS.</p><p>Att miljöcertifiera företag kan liknas vid den kvalitetscertifiering som företag genomgått. Vid ISO 9000 certifieringen ställde kunderna krav på företagen och deras produkter samt innebär en kvalitetscertifiering att den ekonomiska vinsten ökade då kvalitetsbristkostnaderna reducerades. De orsaker som företag har till att miljöcertifiera sig har jag undersökt genom att intervjua några företag. Anledningarna som framkom var att det ligger i tiden att certifiera sig och att det beror på ekonomiska aspekter samt krav från intressenter. Även de fördelar respektive problem som en miljöcertifiering medför för företagen har jag undersökt under intervjuerna. Företagens försäljning kan öka som en följd av miljöcertifieringen, vilket anses vara positivt. De problem som företagen upplevde med att ISO 14000 certifiera sig varierade mellan företagen.</p><p>Företag som är certifierade för både ISO 9000 och ISO 14000 har upptäckt vissa likheter och olikheter mellan standarderna. Dessa har också tagits fram vid intervjuerna. Systemstrukturen och certifieringsprocessen för de olika standarderna uppfattas som väldigt lika av företagen. De olikheter företagen upplevt är bland annat att skillnader i krav vad gäller lagar och ständig förbättring.</p>

<p>I detta arbete har jag valt att intervjua representanter från 5 större företag som är ledande inom sitt verksamhetsområde. Syftet med denna rapport är att belysa intranätansvarigas syn på de problem och risker som kan uppkomma med intranät som elektronisk informationsmedium. De risker och problem som jag har tittat på är om det finns en risk för en användare att missa relevant information, få tillgång till för mycket information samt utsättas för för mycket information i ett intranät. Information har samlats in via intervjuer och litteraturstudier.</p><p>Undersökningens slutsatser handlar i stort om de åtgärder som ett företag kan vidta för att förhindra att eventuella risker och problem skall uppkomma. Den viktigaste åtgärden är utbildning av den vanliga användaren. Rapporten avslutas med en diskussion kring ämnet samt några eget komponerade riktlinjer för införande av ett intranät i en verksamhet.</p>

<p>The study starts off as a quest for the core meaning of the term communication. First, the epistemological grounds of the endeavour are investigated. Findings of experientialist cognition, backed up by e.g. Putnam’s results, indicate that intentionality as understood by traditional cognitive science might be an incomplete story; so, in parallel, constructivist approaches are investigated. The two approaches are here termed as linear and recursive models, respectively.</p><p>Through introducing the conduit metaphor and the mathematical theory of communication, the question of whether communication consists of a transfer is discussed. Arguments are presented to the effect that the mathematical theory neither does support this understanding, nor appears to be applicable (but as a cognitive model) outside the domains where probabilities are assigned to outcomes.</p><p>Communication research in three areas is presented: investigations from an ethological perspective, process approaches to human communication, and the study of the signification relation. Finally, a review of some work on simulations of communication and collective behaviour is given.</p><p>In conclusion, intentionality is required for the communicating entities, which – based on some of the arguments presented in this study – leaves inanimate objects, plants, bacteria, and most of the animal world (except molluscs, crustaceans, and vertebrates) outside the communicating world. Communication incorporates signs, and signs are interpreted. In the process, meaning is created. The objectivist science ideal of pointing to an appropriate event and claiming "This is real communication" has to be substituted by offering descriptions of some idealised cognitive models. One might argue about these, accept them, or reject them; this is what communication (amongst other things) is (and is for).</p><p>In general, if it is understood that there is no possibility of reaching ‘objective’, observer-independent knowledge, another way of reaching more certainty than what just an individual can get might be to turn to others. It is this that brings cognition and communication into close relationship.</p>

<p>I detta arbete har en fallstudie utförts på Vattenfall Ringhals som har cirka 1200 anställda. Denna fallstudie är en undersökning om hur användare ser på intranät som informationsförmedlare. Undersökningens syfte är att visa på problem och möjligheter med intranät som informationsförmedlare. Informationen har samlats in via enkäter, intervjuer och litteraturstudier. Undersökningens slutsatser handlar i stort om att det finns en statusskillnad mellan elektroniskt representerad information och information tryckt på papper. Slutsatserna handlar även om att arbetssättet med aktivt sökande som följer med ett intranät lämpar sig bättre för informationsförsörjning än informationsspridning. Rapporten avslutas med en diskussion kring ämnet samt några eget komponerade riktlinjer för införande av ett intranät i en organisation.</p>

<p>Syftet med denna rapport är att ta fram en specifikation för ett datorverktyg som visualiserar händelseupptäckt i aktiva databaser.</p><p>Konventionella databashanteringssystem (DBHS) är passiva i den mening att data är skapad, hämtad, modifierad och raderad endast när en användare eller ett applikationsprogram explicit angivit detta. Många applikationer, såsom process control och power generation/distribution networks, kräver en snabb respons i kritiska situationer, och därför räcker inte ett passivt DBHS till. För dessa applikationer måste man kunna definiera villkor som övervakas av databasen. När dessa villkor sedan uppfylls utförs specificerade åtgärder/handlingar.</p><p>Consumption modes är ett svårt och komplext område inom aktiva databaser. Som ett resultat av detta finns ett intresse i att använda visualisering för att lättare förstå de olika consumption modes som finns.</p><p>En prototyp utformades för att fungera som underlag vid de intervjuer som senare genomfördes. Utifrån de krav och önskemål som kom fram vid dessa intervjuer utformades sedan den slutgiltiga prototypen. Prototypen är ingen prototyp i vanlig mening, utan består av sk. skärmdumpar med beskrivande text.</p><p>Resultatet av detta arbete är en specifikation över ett grafiskt verktyg som visualiserar hur sammansatta händelser fungerar ihop med olika consumption modes.</p>

Coarse-grained reconfigurable architectures, which offer massive parallelism coupled with the capability of undergoing run-time reconfiguration, are gaining attention in order to meet not only the increased computational demands of high-performance embedded systems, but also to fulfill the need of adaptability to functional requirements of the application. This thesis focuses on the programming aspects of such coarse-grained reconfigurable computing devices, including the relevant computation models that are capable of exposing different kinds of parallelism inherent in the application and the ability of these models to capture the adaptability requirements of the application. The thesis suggests the occam-pi language for programming of a broad class of coarse-grained reconfigurable architectures as an intermediate language; we call it intermediate, since we believe that the applicationprogramming is best done in a high-level domain-specific language. The salient properties of the occam-pi language are explicit concurrency with built-in mechanisms for interprocessorcommunication, provision for expressing dynamic parallelism, support for the expression of dynamic reconfigurations, and placement attributes. To evaluate the programming approach, a compiler framework was extended to support the language extensions in the occam-pi language, and backends were developed to target two different coarse-grained reconfigurable architectures. XPP and Ambric. The results on XPP reveal that the occam-pi based implementations produce comparable throughput to those of NML programs, while programming at a much higher level of abstraction than that of NML. Similarly the two occam-pi implementations of autofocus criterion calculation targeted to the Ambric platform outperform the CPU implementation by factors of 11-23. Thus, the results of the implemented case-studies suggest that the occam-pi language based approach simplifies the development of applications employing run-time reconfigurable devices without compromising the performance benefits.

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.

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.