Systemarkitektur för presentation av geografiskinformation- Utredning av Informationssystem och produkter

Banverket Trafik has a responsibility to make sure that the companies who traffic the Swedish railroad have the correct information about the status of the railroad. One of Banverket Trafiks information systems (Opera) presents the train’s actual position on a map and provides the user with physical information about the trains. Due to increasing demands on the information systems, Banverket Trafik needs to update the present system architecture in order to manage the increasing demands on map graphics and map functions. This paper analysis the information system Opera on the basis of theory and support of methods and discuss problems and demands for Opera. Further we investigate three GIS products to se if they meet the demands. Information about the products was gathered from both supplier and independent users to get a just picture of the products potentials. This paper comprises a suggestion of new system architecture that meet these needs. The suggested system architecture is capable of handling the map graphics and the map’s functions of more than one information system. Hopefully more than one information system will use the suggested system architecture as a map service.

IT­-Forensisk undersökning av flyktigt minne : På Linux och Android enheter

Att kunna gör en effektiv undersökning av det flyktiga minnet är något som blir viktigare ochviktigare i IT-forensiska utredningar. Dels under Linux och Windows baserade PC installationermen också för mobila enheter i form av Android och enheter baserade andra mobila opperativsy-stem.Android använder sig av en modifierad Linux-kärna var modifikationer är för att anpassa kärnantill de speciella krav som gäller för ett mobilt operativsystem. Dessa modifikationer innefattardels meddelandehantering mellan processer men även ändringar till hur internminnet hanteras ochövervakas.Då dessa två kärnor är så pass nära besläktade kan samma grundläggande principer användas föratt dumpa och undersöka minne. Dumpningen sker via en kärn-modul vilket i den här rapportenutgörs av en programvara vid namn LiME vilken kan hantera bägge kärnorna.Analys av minnet kräver att verktygen som används har en förståelse för minneslayouten i fråga.Beroende på vilken metod verktyget använder så kan det även behövas information om olika sym-boler. Verktyget som används i det här examensarbetet heter Volatility och klarar på papperet avatt extrahera all den information som behövs för att kunna göra en korrekt undersökning.Arbetet avsåg att vidareutveckla existerande metoder för analys av det flyktiga minnet på Linux-baserade maskiner (PC) och inbyggda system(Android). Problem uppstod då undersökning avflyktigt minne på Android och satta mål kunde inte uppnås fullt ut. Det visade sig att minnesanalysriktat emot PC-plattformen är både enklare och smidigare än vad det är mot Android.

Solar PV Powered Air Conditioner Analysis for an Office/Classroom in a Tropical Climate

This thesis focuses on using photovoltaic produced electricity to power air conditioners in a tropical climate. The study takes place in Surabaya, Indonesia at two different locations the classroom, located at the UBAYA campus and the home office, 10 km away. Indonesia has an average solar irradiation of about 4.8 kWh/m²/day (PWC Indonesia, 2013) which is for ideal conditions for these tests. At the home office, tests were conducted on different photovoltaic systems. A series of measuring devices recorded the performance of the 800 W PV system and the consumption of the 1.35 kW air conditioner (cooling capacity). To have an off grid system many of the components need to be oversized. The inverter has to be oversized to meet the startup load of the air conditioner, which can be 3 to 8 times the operating power (Rozenblat, 2013). High energy consumption of the air conditioner would require a large battery storage to provide one day of autonomy. The PV systems output must at least match the consumption of the air conditioner. A grid connect system provides a much better solution with the 800 W PV system providing 80 % of the 3.5 kWh load of the air conditioner, the other 20 % coming from the grid during periods of low irradiation. In this system the startup load is provided by the grid so the inverter does not need to be oversized. With the grid-connected system, the PV panel’s production does not need to match the consumption of the air conditioner, although a smaller PV array will mean a smaller percentage of the load will be covered by PV. Using the results from the home office tests and results from measurements made in the classroom. Two different PV systems (8 kW and 12 kW) were simulated to power both the current air conditioners (COP 2.78) and new air conditioners (COP 4.0). The payback period of the systems can vary greatly depending on if a feed in tariff is awarded or not. If the feed in tariff is awarded the best system is the 12 kW system, with a payback period of 4.3 years and a levelized cost of energy at -3,334 IDR/kWh. If the feed in tariff is not granted then the 8 kW system is the best choice with a lower payback period and lower levelized cost of energy than the 12 kW system under the same conditions.

Agent-Oriented Data Curation in Bioinformatics

The practitioners of bioinformatics require increasing sophistication from their software tools to take into account the particular characteristics that make their domain complex. For example, there is a great variation of experience of researchers, from novices who would like guidance from experts in the best resources to use to experts that wish to take greater management control of the tools used in their experiments. Also, the range of available, and conflicting, data formats is growing and there is a desire to automate the many trivial manual stages of in-silico experiments. Agent-oriented software development is one approach to tackling the design of complex applications. In this paper, we argue that, in fact, agent-oriented development is a particularly well-suited approach to developing bioinformatics tools that take into account the wider domain characteristics. To illustrate this, we design a data curation tool, which manages the format of experimental data, extend it to better account for the extra requirements placed by the domain characteristics, and show how the characteristics lead to a system well suited to an agent-oriented view.

Sociological Agents for Effective Social Action

This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind, suggests a move towards the notion of sociological agents who can model their social environment as opposed to acting socially within it. This does not constrain such social behaviour; on the contrary, we argue that it provides the requisite information and understanding for such behaviour to be effective. We argue that effective social agents must be sociological in modelling agents and agent relationships. In this paper, we show how an existing agent framework leads naturally to the enumeration of a map of inter-agent relationships that can be modelled and exploited by sociological agents to enable more effective operation.

System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities

In this paper a state of the art of a system of automated deduction called SAD is described . An architecture of SAD corresponds well to a modern vision of the Evidence Algorithm programme, initiated by Academician V.Glushkov.