Statkraft är helägt av Norska staten och är Sveriges fjärde största elproducent. Detta examensarbete syftar till att ta fram en metod för att lösa hur Statkraft Sverige AB ska lagra mjukvarubackuper av sina lokalkontrollssystem. För närvarande finns det ingen homogen lagringsmetod för backuper på företaget och problemet som ska lösas i examensarbetet är hur man kan lagra backuper från ett flertal heterogena system på en gemensam lagringsplattform. I och med att de allra flesta hjälpsystem för konfigurering av styrdatorer (PLC) bygger på Microsoft DOS/Windows så är det relativt enkelt att överföra backuper till en gemensam plattform. För äldre hjälpmedel kan man dock tänka sig att virtualisera hjälpmedlen på en nyare PC-dator med exempelvis VMware för att undvika problem som kan uppstå med äldre hårdvara. Därefter kan man arkivera backuperna i ZIP-format som man kan lagra på en server. Fördelen med att använda sig av ZIP för arkivering är att man får en inbyggd integritetskontroll av backuperna då ZIP har inbyggd cyclic redundancy check (CRC) som använder sig av kontrollsummor för att kontrollera så att filerna är korrekta. Dessutom så får man endast en fil i jämförelse med många filer per backup om man inte använder sig av arkivering. Backuperna ska sedan lagras på en server som ligger inom företagets intranät/kontorsnät som endast behörig personal har tillgång till. Uppladdningen av filerna kan gå till på flera olika sätt, större backupfiler från PC-system kan laddas upp direkt via nätverket och dokumentationen uppdateras manuellt. Mindre backupfiler skulle dock kunna laddas upp genom en webbsida på intranätet där dokumentationen uppdateras automatiskt i samband med uppladdning. Lagringsutrymmet för båda dessa lösningar är dock detsamma så det går även att ladda upp mindre backuper manuellt genom nätverket. Med dessa lösningar har berörda tekniker tillgång till backuperna vart de än befinner sig så länge internetuppkoppling finns genom ett virtuellt privat nätverk (VPN) till företagets intranät/kontorsnät. / Statkraft is the fourth largest electricity producer in Sweden and is fully owned by the Norwegian state. This thesis aims to develop a method for solving how Statkraft Sweden AB will store software backups of their local control systems. Currently there is no uniform method of storage for backups in the company and the problem to be solved in the thesis is how to store backups from multiple heterogeneous systems on a single storage platform. Based on the fact that the vast majority of help systems for configuring Programmable Logic Controllers (PLC) is based on Microsoft DOS / Windows, it is relatively simple to transfer the backups to a common platform. With older help systems it is also possible to virtualize these help systems on newer PC-based computers with for example VMware instances to avoid issues that can arise with older hardware. You can then archive the backups in ZIP-format that can be stored on a server, the advantage of using ZIP-archiving is to get a built-in integrity check of backups as ZIP has built in cyclic redundancy check (CRC) that uses checksums to check that the files are correct. Additionally, you get only one file in comparison to many files per backup if you do not archive in for example ZIP-format. The backups are then stored on a server within the company intranet / office network that is restricted to authorized personnel. The upload of the files can be done in several different ways; large backup files from PC-systems can be uploaded directly via the network, and the documentation is updated manually. Smaller and incremental backup files could however be uploaded through a web page on the Intranet, where documentation is automatically updated during upload. The storage space for both of these solutions is the same so that it is also possible to upload smaller backups manually through the network. With these solutions, the technicians can access the backups wherever they are as long as an Internet connection is available thru a virtual private network (VPN) Connection to the company’s intranet/office network.

Proporciona los pasos y procedimientos para acceder al recurso IEEE Control Systems.

I denna avhandling studeras optimal återkopplad styrning av olinjära deskriptorsystem. Ett deskriptorsystem är en matematisk beskrivning som kan innehålla både differentialekvationer och algebraiska ekvationer. En av anledningarna till intresset för denna klass av system är att objekt-orienterade modelleringsverktyg ger systembeskrivningar på denna form. Här kommer det att antas att det, åtminstone lokalt, är möjligt att eliminera de algebraiska ekvationerna och få ett system på tillståndsform. Teoretiskt är detta inte så inskränkande för genom att använda någon indexreduktionsmetod kan ganska generella deskriptor\-system skrivas om så att de uppfyller detta antagande. För system på tillståndsform kan Hamilton-Jacobi-Bellman-ekvationen användas för att bestämma den optimala återkopplingen. Ett liknande resultat finns för deskriptor\-system där istället en Hamilton-Jacobi-Bellman-liknande ekvation ska lösas. Denna ekvation innehåller dock en extra term för att hantera de algebraiska ekvationerna. Eftersom antagandena i denna avhandling gör det möjligt att skriva om deskriptorsystemet som ett tillståndssystem, undersöks hur denna extra term måste väljas för att båda ekvationerna ska få samma lösning. Ett problem med att beräkna den optimala återkopplingen med hjälp av Hamilton-Jacobi-Bellman-ekvationen är att det leder till att en olinjär partiell differentialekvation ska lösas. Generellt har denna ekvation ingen explicit lösning. Ett lättare problem är att beräkna en lokal optimal återkoppling. För analytiska system på tillståndsform löstes detta problem på 1960-talet och den optimala lösningen beskrivs av serieutvecklingar. I denna avhandling generaliseras detta resultat så att även deskriptor-system kan hanteras. Metoden illustreras med ett exempel som beskriver en faslåsande krets. I många situationer vill man veta om ett område är möjligt att nå genom att styra på något sätt. För linjära tidsinvarianta system fås denna information från styrbarhetgramianen. För olinjära system används istället styrbarhetsfunktionen. Tre olika metoder för att beräkna styrbarhetsfunktionen har härletts i denna avhandling. De framtagna metoderna är också applicerade på några exempel för att visa beräkningsstegen. Dessutom har observerbarhetsfunktionen studerats. Observerbarhetsfunktionen visar hur mycket utsignalenergi ett visst initial tillstånd svarar mot. Ett par olika metoder för att beräkna observerbarhetsfunktionen för deskriptorsystem tagits fram. För att beskriva en av metoderna, studeras ett litet exempel bestående av en elektrisk krets. / In this thesis, optimal feedback control for nonlinear descriptor systems is studied. A descriptor system is a mathematical description that can include both differential and algebraic equations. One of the reasons for the interest in this class of systems is that several modern object-oriented modeling tools yield system descriptions in this form. Here, it is assumed that it is possible to rewrite the descriptor system as a state-space system, at least locally. In theory, this assumption is not very restrictive because index reduction techniques can be used to rewrite rather general descriptor systems to satisfy this assumption. The Hamilton-Jacobi-Bellman equation can be used to calculate the optimal feedback control for systems in state-space form. For descriptor systems, a similar result exists where a Hamilton-Jacobi-Bellman-like equation is solved. This equation includes an extra term in order to incorporate the algebraic equations. Since the assumptions made here make it possible to rewrite the descriptor system in state-space form, it is investigated how the extra term must be chosen in order to obtain the same solution from the different equations. A problem when computing the optimal feedback law using the Hamilton-Jacobi-Bellman equation is that it involves solving a nonlinear partial differential equation. Often, this equation cannot be solved explicitly. An easier problem is to compute a locally optimal feedback law. This problem was solved in the 1960's for analytical systems in state-space form and the optimal solution is described using power series. In this thesis, this result is extended to also incorporate descriptor systems and it is applied to a phase-locked loop circuit. In many situations, it is interesting to know if a certain region is reachable using some control signal. For linear time-invariant state-space systems, this information is given by the controllability gramian. For nonlinear state-space systems, the controllabilty function is used instead. Three methods for calculating the controllability function for descriptor systems are derived in this thesis. These methods are also applied to some examples in order to illustrate the computational steps. Furthermore, the observability function is studied. This function reflects the amount of output energy a certain initial state corresponds to. Two methods for calculating the observability function for descriptor systems are derived. To describe one of the methods, a small example consisting of an electrical circuit is studied. / Report code: LiU-TEK-LIC-2006:8

Abstract Critical environmental situation requires academics and practitioners of various disciplines join efforts at planning sustainable development of the society. In information systems research, Green Information Systems and Technologies domain is the one that directly contributes to strengthening environmental values of individuals, communities, and organizations. Abundance of technology influences people most of the time. Although this influence is not always positive, research on persuasive technologies and behavior change support systems searches for the beneficial ways to utilize the impact of information systems on the daily activities of individuals. Ability to assist with encouraging certain behaviors is a defining characteristic of many contemporary systems and devices. Building on the knowledge obtained from the health domain, this dissertation investigates using persuasive technologies for fostering pro-environmental behavior change. Theoretical frameworks of the articles included in the dissertation are based primarily on the Persuasive Systems Design (PSD) model, accompanied by the other prominent socio-psychological theories commonly utilized in information systems research. This dissertation focuses on finding out how to encourage people to adopt and continue using mobile applications designed to assist with acquiring sustainable habits and behaviors. The dissertation is composed of the historical analysis, systematic literature review, and four experimental studies that explore different aspects of persuasive Green IS/IT. Besides analyzing existing research using PSD model as a tool for evaluation, new empirical studies provide fresh insights on Green IS/IT designed for behavior change. Addressed topics include technology adoption and continuance intention, perceived persuasiveness, self-disclosure and risk, endogenous motivations, gamification, and cognitive absorption. Conducted statistical analyses investigate relationships among PSD constructs and other related concepts to discover factors that can convince people initiate and continue using Green IS/IT to develop or maintain environmentally sound practices. Overall, the results reveal a high potential of the PSD model to become a vehicle for enhancement of the existing Green IS/IT. The dissertation provides implications for both academics and practitioners as well as suggestions for the future evolvement of persuasive Green IS/IT research. / Tiivistelmä Ympäristön ja ilmaston vakava tilanne vaatii kaikilta osapuolilta kestävää kehitystä tukevaa toimintaa. Niin sanotut ‘vihreät’ tietojärjestelmät ja informaatioteknologiat pyrkivät vaikuttamaan ihmisten käyttäytymiseen vahvistamalla yksilöiden, yhteisöjen ja organisaatioiden ympäristöarvoja ja niiden mukaista käyttäytymistä. Yltäkylläinen teknologiatarjonta vaikuttaa käyttäytymiseemme koko ajan. Vaikka tämä vaikutus ei aina olekaan positiivista, vakuuttavien ja suostuttelevien teknologioiden sekä käyttäytymisen muutosta tukevien järjestelmien tutkimus pyrkii etsimään niitä hyödyllisiä keinoja, joilla tietojärjestelmien avulla voidaan vaikuttaa myönteisesti jokapäiväiseen elämäämme. Monien nykyaikaisten järjestelmien ja laitteiden perusominaisuutena voidaankin nykyään pitää niiden kykyä rohkaista ja kannustaa käyttäjiä myönteiseen kohdekäyttäytymiseen. Tämä väitöskirja rakentuu erityisesti terveystoimialalta omaksuttuun suostuttelevia teknologioita koskevaan tutkimustietoon ja pyrkii soveltamaan tätä ympäristöystävällisen käyttäytymisen vahvistamiseen. Tämän väitöstutkimuksen johtavana teoreettisena viitekehityksenä toimii Persuasive Systems Design -malli (PSD). Sen lisäksi hyödynnetään joitakin muita tietojärjestelmätutkimuksessa hyödynnettyjä sosiaalipsykologian teorioita. Väitöskirja keskittyy tarkastelemaan, miten voidaan kannustaa ottamaan käyttöön mobiilisovelluksia, jotka on jo alun perin suunniteltu tukemaan kestävän kehityksen kannalta myönteistä käyttäytymistä ja käyttäytymisen muutosta, sekä jatkamaan niiden käyttöä. Väitöskirja koostuu aihealueen historiallisesta analyysistä ja systemaattisesta kirjallisuuskatsauksesta sekä neljästä kokeellisesta tutkimuksesta, jotka tutkivat ’vihreiden’ tietojärjestelmien ja informaatioteknologioiden vakuuttavia ja suostuttelevia ohjelmisto-ominaisuuksia. Sen lisäksi että olemassa olevaa kirjallisuutta on analysoitu PSD-mallia käyttäen, samaan malliin pohjautuvat empiiriset tutkimukset tuottavat tuoreita oivalluksia käyttäytymisen muutosta tukevaan suunnitteluun liittyen. Tutkimuksessa tarkastellaan teknologian käyttöönottoa, aikomuksia jatkaa teknologian käyttöä, koettua vakuuttavuutta ja suostuttelevuutta, sensitiivisten tietojen jakamista ja siihen liittyviä riskejä, sisäsyntyistä motivaatiota, pelillistämistä sekä kognitiivista absorptiota. Tilastollisten analyysien avulla tarkastellaan PSD-mallin ydinkäsitteiden ja muiden konstruktien välisiä suhteita, jotta tunnistettaisiin niitä tekijöitä, joiden avulla voidaan vaikuttaa hyödyllisten ‘vihreiden’ tietojärjestelmien ja informaatioteknologioiden käyttöönottoon ja käytön jatkamiseen, ja yleisemmin kannustamaan ympäristöystävällisiin käytänteisiin. Tutkimustulokset osoittavat PSD-mallin merkityksen kestävää kehitystä tukeville tietojärjestelmille ja informaatioteknologioille. Suoritetun tutkimuksen perusteella ehdotetaan teemoja jatkotutkimusta varten. Väitöstutkimuksen tuloksilla on merkitystä sekä tieteenharjoittajille että käytännön soveltajille.

This research assesses the impact of synchronous (real-time), text-based chat on military command and control (C2) processes. Chat use among the services, particularly among joint forces, has evolved in ad hoc fashion to fill gaps in currently fielded C2 systems. This growth-by-improvisation inhibits clear definition of the underlying requirements: precisely what C2 deficiencies are being addressed by text-based chat tools? Or, from a bottom-up perspective: what capabilities do text-based chat tools bring to the war fighter? In this study we employ a broad set of use-cases to further refine why operators use chat based on how they apply chat to their specific combat problems. These use cases include ongoing combat operations in ENDURING FREEDOM, counterinsurgency operations in IRAQI FREEDOM, and disaster relief operations with Joint Task Force - Katrina. The focus of this study is on establishing operators' perceived requirements in light of the current capabilities delivered by the existing text-based chat tools. From these "reverse-engineered" requirements we propose future work to establish these communication capabilities in the next-generation C2 systems. / US Marine Corps (USMC) author.

Thesis (M.S. in Telecommunications Systems Management)--Naval Postgraduate School, March 1990. / Thesis advisor(s): Boger, Dan C. Second Reader: Tulloch, A.W. "March 1990." Description based on signature page as viewed on August 25, 2009. Author(s) subject terms: Command, control, and communications systems. Includes bibliographical references (p. 49-52). Also available online.

Thesis (M.S. in Information Technology Management)--Naval Postgraduate School, March 2004. / Thesis advisor(s): Dan C. Boger. Includes bibliographical references (p. 85-88). Also available online.

Thesis (M.S. in Systems Engineering)--Naval Postgraduate School, December 2003. / Thesis advisor(s): Dan C. Boger, Raymond Buettner. Includes bibliographical references (p. 49-52). Also available online.

Thesis (M.S. in Modeling Virtual Environments and Simulations (MOVES))--Naval Postgraduate School, Sept. 2004. / Thesis advisor(s): Saverio M. Manago, Thomas W. Lucas. Includes bibliographical references (p. 87-89). Also available online.

Thesis (M.S. in Software Engineering) Naval Postgraduate School, June 2001. / Thesis advisor(s): Berzins, Valdis. "June 2001." Includes bibliographical references (p. 137-138). Also Available online.