<p> This dissertation thesis details an interdisciplinary research project, which combines the strengths of resilience theory, the sustainable livelihood framework, complex systems theory, and modeling. These approaches are integrated to develop a tool that can help policy-makers make decisions under conditions of uncertainty, with the goals of reducing poverty and increasing environmental sustainability.</p><p> Achievement of the Millennium Development Goals, including reducing poverty and hunger, and increasing environmental sustainability, has been hampered due to global resource degradation and fluctuations in natural, social, political and financial systems. Climate change further impedes these goals, especially in developing countries. The resilience approach has been proposed to help populations adapt to climate change, but this abstract concept has been difficult to operationalize.</p><p> The sustainable livelihood framework has been used as a tool by development agencies to evaluate and eradicate poverty by finding linkages between livelihood and environment. However, critiques highlight its inability to handle large and cross-scale issues, like global climate change and environmental degradation. </p><p> Combining the sustainable livelihood framework and resilience theory will enhance the ability to simultaneously tackle the challenges of poverty eradication and climate change. However, real-life systems are difficult to understand and measure. A complex-systems approach enables improved understanding of real-life systems by recognizing nonlinearity, emergence, and self-organization. Nonetheless, this approach needs a framework to incorporate multiple dimensions, and an analytical technique.</p><p> This research project attempts to transform the concept of resilience into a measurable and operationally useful tool. It integrates resilience theory with the sustainable livelihood framework by using systems modeling techniques. As a case-study, it explores the resilience of household livelihoods within a local village <i>Panchayat</i> in central India.</p><p> This method integrated the 4-step cross-scale resilience approach with the sustainable livelihood framework through the use of a system dynamics modeling technique. Qualitative and quantitative data on social, economic and ecological variables was collected to construct a four-year panel at the panchayat scale. Socio-economic data was collected through questionnaires, focus group discussions, participant observation, and literature review. Ecological data on forest regeneration, degradation and growth rates was collected through sample plots, literature review of the region's forest management plans, and expert opinions, in the absence of data.</p><p> Using these data, a conceptual, bottom-up model, sensitive to local variability, was created and parameterized. The resultant model (tool), called the Livelihood Management System, is the first of its kind to use the system dynamics technique to model livelihood resilience.</p><p> Model simulations suggest that the current extraction rates of forest resources (non-timber forest produce, fuelwood and timber) are unsustainable. If continued, these will lead to increased forest degradation and decline in household income. Forest fires and grazing also have severe impacts on local forests, principally by retarding regeneration. The model suggests that protection from grazing and forest fires alone may significantly improve forest quality. Examining the dynamics of government-sponsored labor, model simulation suggests that it will be difficult to achieve the Government of India's goal of providing 100 days' wage labor per household through the National Rural Employment Guarantee Scheme.</p><p> Based on vulnerability analysis under the sustainable livelihood framework, eight risks to livelihoods were identified based on which six scenarios were created. One scenario was simulated to understand the resilience of local livelihoods to external shocks. Through these simulations, it was found that while climate change is a threat to local livelihoods, government policy changes have comparatively much larger impacts on local communities. The simulation demonstrates that reduced access to natural resources has significant impacts on local livelihoods. The simulation also demonstrates that reduced access drives forced migration, which increases the vulnerability of already risk-prone populations.</p><p> Through the development and simulation of the livelihood model, the research has been able to demonstrate a new methodology to operationalize resilience, indicating many promising next steps. Future undertakings in resilience analysis can allow for finding leverage points, thresholds and tipping points to help shift complex systems to desirable pathways and outcomes. Modeling resilience can help in identifying and prioritizing areas of intervention, and providing ways to monitor implementation progress, thus furthering the goals of reducing extreme poverty and hunger, and environmental sustainability.</p><p> Many challenges, such as high costs of data collection and the introduction of uncertainties, make model development and simulation harder. However, such challenges should be embraced as an integral part of complex analysis. In the long run, such analysis should become cost- and time-effective, contributing to data-driven decision-making processes, thus helping policy-makers take informed decisions under complex and uncertain conditions.</p>

<p> This thesis explores three topics in the field of cost estimation for Unmanned Autonomous Systems. First, we propose a common definition of an Unmanned Autonomous System. We accomplish this through exhausting the literature in the areas cost estimation, autonomy in its current form, and how such advanced systems might be integrated into their environment. Second, we introduce a method to estimate the cost of Unmanned Autonomous Systems utilizing existing parametric cost estimation tools: SEER &ndash; HDR, COCOMO II, COSYSMO, and two cost estimating relationships &ndash; weight and performance. This discussion is guided by focusing on how current tools attempt to account for emergent systems. We also attempt to address challenges surrounding autonomy. To address these challenges from a cost perspective, this thesis recommends modifications to parameters within COCOMO II &ndash; via the use of object-oriented function points in lieu of current methods, and COSYSMO &ndash; via the introduction of two cost drivers namely, TVED and HRI-T. Third, we conduct analysis on four current Army Unmanned Autonomous Systems in an attempt to establish early trends within existing estimates. Finally, we explore areas of further research and discuss the implications of how pursing a more adequate cost model will lead to a better understanding of this ill-defined paradigm. </p><p> *This material is based upon work supported by the Naval Postgraduate School Acquisition Research Program under Grant No. N00244-15-1-0008. The views expressed in written materials or publications, and/or made by speakers, moderators, and presenters, do not necessarily reflect the official policies of the Naval Postgraduate School nor does mention of trade names, commercial practices, or organizations imply endorsement by the U.S. Government.</p>

Adequate representation of imprecise probabilities is a crucial and non-trivial problem in decision analysis. Second-order probability distributions is the model for imprecise probabilities whose merits are discussed in this thesis. That imprecise probabilities may be represented by second-order probability distributions is well known but there has been little attention to specific distributions. Since different probability distributions have different properties, the study of the desired properties of models of imprecise probabilities with respect to second-order models require analysis of particular second-order distributions. An often held objection to second-order probabilities is the apparent arbitrariness in the choice of distribution. We find some evidence that the structure of second-order distributions is an important factor that prohibits arbitrary choice of distributions. In particular, the properties of two second-order distributions are investigated; the uniform joint distribution and a variant of the Dirichlet distribution that has the property of being the normalised product of its own marginal distributions. The joint uniform distribution is in this thesis shown to have marginal distributions that belie the supposed non-informativeness of a uniform distribution. On the other hand, the modified Dirichlet distribution discovered here has its information content evenly divided among the joint and marginal distributions in that the total correlation of the variables is minimal. It is also argued in the thesis that discrete distributions, as opposed to the continuous distributions mentioned above, would have the advantage of providing a natural setting for updating of lower bounds, and computation of expected utility is made more efficient. / In placitorum scrutatione maxima et mehercle minime levis difficultas eo spectat, quomodo probabilitates dubiae bene ostendantur. In hac thesi de utilitate distributionum probabilitatum secundi ordinis disseremus, in quantum ad probabilitates dubias ostendendas valeant. Omnibus fere notum est probabilitates dubias ostendi posse per distributiones probabilitatum secundi ordinis, sed pauci operam distributionibus singulis operam contulerunt. Cum tamen distributiones probabilitatum valde inter se diversae sint, si quis proprietatibus desideratis probabilitatum dubiarum secundi ordinis studium conferre vult, primum debet quasdam praescriptas distributiones secundi ordinis investigare. Sed fortasse, quod saepenumero fieri solet, quispiam dixerit probabilitates secundi ordinis nulla, ut videtur, ratione habita quasi vagari quoad delectum distributionis. Nos tamen nonnulla indicia comperimus quibus freti confirmare audemus ipsam formam distributionum secundi ordinis multum valere ad praedictum distributionum secundi ordinis delectum rationabiliter peragendum. Imprimis proprietates duarum distributionum secundi ordinis investigabimus, nimirum distributionis uniformis coniunctae et alterius cuiusdam speciei distributionis quae ‘Dirichleti’ vocatur, quae ex ipsius distributionibus marginalibus ad normam correcta oritur. In hac thesi probamus illam coniunctam uniformem distributionem continere distributiones marginales eius modi quae illos refellant qui negant distributionem uniformem quicquam alicuius momenti afferre. Attamen in illa distributione Dirichleti paulo mutata, quam hoc loco patefacimus, omnia aequaliter inter coniunctas et marginales distributiones divisa sunt, in quantum tota ratio quae inter variantia intercessit ad minimum reducitur. Insuper in hac thesi confirmamus distributiones discretas potius quam antedictas distributiones continuas in hoc utiliores esse, quod per eas limites inferiores in melius mutare licet, et beneficia exspectata accuratius computari possunt. / Adekvat representation av osäkra eller imprecisa sannolikheter är ett avgörande och icke-trivialt problem i beslutsanalys. I denna avhandling diskuteras förtjänsterna hos andra ordningens sannolikheter som en modell för imprecisa sannolikeheter. Att imprecisa sannolikheter kan representeras med andra ordningens sannolikheter är välkänt, men hittills har särskilda andra ordningens föredelningar inte ägnats någon större uppmärksamhet. Då olika sannolikhetsfördelningar har olika egenskaper kräver studiet av önskvärda egenskaper hos modeller för imprecisa sannolikheter en granskning av specifika andra ordningens fördelningar. Den godtycklighet som tycks vidhäfta valet av andra ordningens fördelning är en ofta förekommande invändning mot andra ordingens sannolikhetsfördelningar. Vi finner vissa belägg för at strukturen hos andra ordningens fördelningar är en omständighet som hindrar godtyckligt val av fördelningar. I synnerhet undersöks egenskaper hos två andra ordningens fördelningar; den likformiga simultana fördelningen och en variant av Dirichletfördelningen med egenskapen att vara lika med den normaliserade produkten av sina egna marginalfördelningar. Den likformiga simultana fördelningen visas i avhandligen ha marginalfördelningar som motsäger den förmodat icke-informativa strukturen hos en likformig fördelning. Å andra sidan gäller för den modifierade Dirichletfördelningen som upptäckts här att informationsinnehållet är jämnt fördelat mellan den simultana fördelningen och marginalfördelningarna; den totala korrelationen mellan variablerna är minimal. Det hävdas också i avhandlingen att diskreta sannolikhetsfördelningar i motsats till de kontinuerliga fördelningar som nämnts ovan har fördelen att utgöra en naturlig miljö för uppdatering av undre gränser och dessutom tillåta en mer effektiv beräkning av förväntad nytta.

Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. Comprehensive formal modeling and analysis of argumentation presupposes a dynamical approach to the following phenomena: the deductive logic notion, the dialectical notion and the cognitive notion of justified belief. For each step of an argumentation these phenomena form networks of rules which determine the propositions to be allowed to make sense as admissible, acceptable, and accepted. We present a formal logic framework for a computational account of formal modeling and systematical analysis of the dynamical, exhaustive and dialectical aspects of adversarial argumentation and dispute. Our approach addresses the mechanisms of admissibility, acceptability and acceptance of arguments in adversarial argumentation by use of metalogic representation and Artificial Intelligence-techniques for dynamical problem solving by exhaustive search. We elaborate on a common framework of board games and argumentation games for pursuing the alternatives facing the adversaries in the argumentation process conceived as a game. The analogy to chess is beneficial as it incorporates strategic and tactical operations just as argumentation. Drawing on an analogy to board games like chess, the state space representation, well researched in Artificial Intelligence, allows for a treatment of all possible arguments as paths in a directed state space graph. It will render a game leading to the most wins and fewest losses, identifying the most effective game strategy. As an alternate visualization, the traversal of the state space graph unravels and collates knowledge about the given situation/case under dispute. Including the private knowledge of the two parties, the traversal results in an increased knowledge of the case and the perspectives and arguments of the participants. As we adopt metalogic as formal basis, arguments used in the argumentation, expressed in a non-monotonic defeasible logic, are encoded as terms in the logical argumentation analysis system. The advantage of a logical formalization of argumentation is that it provides a symbolic knowledge representation with a formally well-formed semantics, making the represented knowledge as well as the behavior of knowledge representation systems reasoning comprehensible. Computational logic as represented in Horn Clauses allows for expression of substantive propositions in a logical structure. The non-monotonic nature of defeasible logic stresses the representational issues, i.e. what is possible to capture in non-monotonic reasoning, while from the (meta)logic program, the sound computation on what it is possible to compute, and how to regard the semantics of this computation, are established.

<p>Val av nätverksoperativsystem är något som blivit viktigt att besluta i många företag och organisationer. Nätverken får fler och fler tjänster, många som ursprungligen utvecklades för Internet. Organisationerna och företagen måste hänga med i utvecklingen för att kunna få ett nätverk som är lätt att administrera och som är användarvänligt. Det finns ett flertal nätverksoperativsystem att välja på. De två vanligaste är Windows NT och Novell NetWare.</p><p>Denna rapport innehåller en undersökning av ett flertal faktorer som kan vara viktiga att ta hänsyn till vid val av nätverksoperativsystem. Faktorerna som tas upp är hanterbarhet, skalbarhet, prestanda, säkerhet, feltolerans, Internet verktyg, integrering, kompatibilitet och migrering. Undersökningen tar fram olikheter mellan NT och NetWare avseende faktorerna. Integrering har varit viktigt att undersöka för att kunna lösa problem med flera användarplattformar. Detta för att underlätta systemadministration och göra systemet mer användarvänligt. Metoden som använts för att få fram fakta är en litteraturstudie av böcker och aktuella datatidskrifter.</p>

<p>För att kunna underhålla en stor website måste många saker tas i åtanke. Särskilt om man arbetar i en blandad miljö, som sker vid Högskolan i Skövde. Eftersom högskolan använder både PC-, Macintosh- och UNIX-datorer för att designa och uppdatera sina hemsidor, måste ett verktyg hittas som integrerar dessa tre plattformar på ett bra sätt.</p><p>Denna rapport behandlar de problem som kan uppstå då en website skall underhållas, med tyngdpunkten på vad som gäller vid Högskolan i Skövde. Olika verktyg som innehar den önskade funktionaliteten undersöks innan ett av dem slutligen väljs. Det valda verktyget är Microsoft FrontPage 98, för dess möjligheter att integreras med olika UNIX-webservrar och för dess möjligheter att användas på både PC och på Macintosh.</p>

<p>Rapporten behandlar arbetet att med data mining-metoder finna ett samband i insamlad information. Data mining är ett begrepp för att tillämpa artificiell intelligens på en större datamängd. Syftet är i detta fall att hitta ett sätt att klassificera dieselmotorer.</p><p>Den datamängd som används kommer från mätningar vid testkörning av dieselmotorer och garantikostnader som motorerna ger upphov till efter leveransen från fabriken. Målet är att finna ett samband mellan testvärdena och kostnaden i syfte att kunna identifiera kostnadsbenägna motorer redan vid testkörningen.</p><p>En klusteranalys görs med två olika tekniker, K-means method och Kohonen-nät, som visar att det föreligger ett svagt men ändå förnimbart samband. En jämförelse mellan teknikernas resultat och användbarhet görs.</p><p>Två tekniker används till att bygga klassificeringsverktyg som skall kunna sortera ut motorerna med höga kostnader. Teknikerna som används är Beslutsträd och Artificiella neurala nätverk. Båda dessa tekniker klarar att klassificera motorerna rätt till omkring 70%. Resultaten och användbarheten jämförs även här.</p><p>Slutsatsen av arbetet är att det föreligger ett samband. Detta är dock för svagt och otydligt för att kunna användas som klassificeringsunderlag för praktiskt bruk. Jämförelsen visar att Kohonen-nät och Artificiella neurala nätverk är att föredra för den här typen av problem.</p>

<p>Det finns ett stort behov av att skydda information från obehöriga eftersom inte all information är offentlig. För institutionen för datavetenskap på högskolan i Skövde gäller det att skydda information som tentor, inlämningsuppgifter och lösningsförslag med mera. Detta är information som gör datorsystemet attraktivt för inkräktare. För att höja säkerheten till en nivå som gör det svårare för inkräktare att läsa informationen bör denna krypteras. Olika krypteringsalgoritmer från de symmetriska och asymmetriska systemen beskrivs, studeras och exemplifieras i rapporten.</p><p>Resultatet av rapporten ger en rekommendation till vilka algoritmer som kan vara lämpliga att införa som krypteringsalgoritmer hos institutionen för datavetenskap på högskolan i Skövde.</p>

<p>Att välja rätt nätverksoperativsystem för verksamheten vid en omorganisation av nätverket är en svår uppgift. Rätt nätverksoperativsystem är avgörande för hur nätverket i organisationen eller företaget skall fungera. När en omorganisation planeras kan andra nätverksoperativsystem, som kan passa verksamheten bättre, än det existerande systemet väljas. Valet av system beror till exempel på vilken nivå av säkerhet, åtkomlighet, utbyggbarhet, ekonomisk kostnad och driftsäkerhet nätverket skall ha.</p><p>Denna rapport fokuserar på val av nätverksoperativsystem. Detta görs med avseende på hur det är möjligt att implementera säkerhet, åtkomlighet och driftsäkerhet. Målet är att förse Högskolan i Skövde med ett förslag på nätverksoperativsystem. Förslaget baseras på de problem, krav och önskemål på ett framtida nätverk, som har framkommit under de intervjuer som har gjorts. Rapporten resulterar i ett förslag på det nätverksoperativsystem som borde passa skolan bäst. Förslaget grundas alltså på de aspekter som utrönades i litteraturstudien för systemen jämfört med de aspekter som gavs i de intervjuer som gjorts. Valet stod mellan de tre olika nätverksoperativsystemen: Novell NetWare, Microsoft Windows NT och Sun Solaris.</p>

<p>Vid designande av artificiella nätverk (ANN) är en viktig fas att identifiera en bra topologi. Topologin har betydelse för hur väl ett ANN klara att klassificera tidigare osedd data och även hur väl ett ANN klarar av att klassificera generellt. Ett sätt att automatisera detta designarbete är att använda genetiska algoritmer. Att använda GA för att evolvera ANN kallas neuroevolution.</p><p>Vid användande av neuroevolution sker en automatisering av nätverksdesignen. Men eftersom GA använder en population, d.v.s. en mängd av nätverk i detta fall, och alla dessa nätverk behöver tränas ett antal träningsepoker så blir denna automatisering tids och resurskrävande. Just träningen av ANN har en stor betydelse för hur lång tid evolutionsprocessen tar.</p><p>I detta arbete har fyra olika metoder för reducering av träning vid neuroevolution identifierats. Av dessa identifierade metoder har tre metoder ansetts tillräckligt lovande att utföra tester med. Dessa tre kvarvarande har implementerats och testats på två olika problemtyper. Använda testproblem är åtta bitars paritetsproblem och ett klassificeringsproblem rörande klassificering av bilder på träd (tall och gran).</p><p>Metoderna har utvärderats teoretiskt och även baserat på resultat från experiment. Som bedömningskriteria har resulterande nätverks klassificeringsförmåga, storlek hos resulterande nätverk och hur stor minskningen av antal använda träningsepoker är.</p>