<p>Detta arbete tar upp olika överföringstekniker för att uppdatera ett program på en målmiljö. De tre överföringstekniker som analyseras är moduluppdelning, patchning och komprimering. En litteraturstudie har genomförts för att ta fram för- och nackdelar med de olika teknikerna och för att beskriva hur de fungerar. En praktisk applicering av överföringsteknikerna har även gjorts på ett specifikt PLC-system för att se vad dessa kan göra för uppdateringstiden i denna miljö. Resultatet av arbetet visade att moduluppdelning är att föredra i de fall där uppdelning av programmet är möjlig. Patchning är däremot mest lämpad då varje uppdatering av programmet är mycket liten och det således inte skiljer mycket mellan de olika versionerna av programmet. Komprimering är att föredra då det ofta är frågan om stora modifieringar i programmet eftersom komprimering ger en näst intill konstant vinst sett ur procentuell synvinkel, även om denna vinst endast är runt 50%.</p>

<p>Dynamiken i det moderna samhället gör att förutsättningarna för företag och organisationer ständigt förändras. Informationssystemen blir då väldigt viktiga för att företagen skall få rätt information i rätt tid. Även informationssystemen måste ibland förändras och kraven på ett nytt informationssystem anges i en kravspecifikation. Denna kravspecifikation upprättas i den del av systemutvecklingsarbetet som kallas för requirements engineering (RE).</p><p>Denna rapport är ett examensarbete inom det systemvetenskapliga programmet vid Högskolan i Skövde. Författaren har tidigare arbetat som byggnadsingenjör i flera år och gör i detta arbete en jämförelse mellan byggbranschens kontraktshandlingar och systemutvecklingsområdets kravspecifikation. Syftet med jämförelsen är att utreda om systemutvecklingsområdet har något att lära av byggbranschen när det gäller strukturering och utformning av kravdokumentationen.</p><p>Undersökningen har utförts som en litteraturstudie, där tre olika utvecklingsmetoder har studerats. Undersökningen visar att byggbranschens kontraktshandlingar har en bättre struktur och ett mer omfattande innehåll än de tre studerade förslagen till kravspecifikation.</p>

<p>We present a survey over current methods for improving software testability. It is a well-known fact that the cost for testing of software takes 50\% or more of the development costs. Hence, methods to improve testability, i.e. reduce the effort required for testing, have a potential to decrease the development costs. The test effort needed to reach a level of sufficient confidence for the system is dependent on the number of possible test cases, i.e., the number of possible combinations of system state and event sequences. Each such combination results in an execution order. Properties of the execution environment that affect the number of possible execution orders can therefore also affect testability. Which execution orders that are possible and not are dependent of processor scheduling and concurrency control policies. Current methods for improving testability are investigated and their properties with respect to processor scheduling and concurrency control analyzed. Especially, their impact on the number of possible test cases is discussed. The survey revealed that (i) there are few methods which explicitly address testability, and (ii) methods that concern the execution environment suggest a time-triggered design. It is previously shown that the effort to test an event-triggered real-time system is inherently higher than testing a time-triggered real-time system. Due to the dynamic nature of the event-triggered system the number of possible execution orders is high. A time-triggered design is, however, not always suitable. The survey reveals an open research area for methods concerning improvement of testability in event-triggered systems. Moreover, a survey and analysis of processor scheduling and concurrency control properties and their effect on testability is presented. Methods are classified into different categories that are shown to separate software into different levels of testability. These categories can form a basis of taxonomy for testability. Such taxonomy has a potential to be used by system designers and enable them to perform informed trade-off decisions.</p>

No description available.

<p>In explicatione consiliorum, maxima facere communis utilitas saepe trita ratio deligendi meliorem optionem est. Verum si probabilitates et utilitates incertae vel dubiae sint, communis utilitas perturbationes affert. Studium secundi ordinis effectuum in explicatione consiliorum explanat momentum structurae quaestionium consilii, insidias aliquas ad consilium capiendum indicat et facilem ad efficiendum et intellegendum rationem comparandi varia consilia suadet. Haec thesis tractat de secundi ordinis effectibus explicationis consilii, praesertim de commune utilitate et de probabilitatibus coniunctis intervallo. Voces apertae distributionum ordinis secundi in probabilitatibus intervallo conjunctis insitarum omnino et item distributionum utilitatis expectatae in parvis quaestionibus consiliorum eduntur. His distributionibus cognitis studetur res inflexionis, aliter dictu intentio fidei.</p> / <p>In decision analysis maximising the expected utility is an often used approach in choosing the optimal alternative. But when probabilities and utilities are vague or imprecise expected utility is fraught with complications. Studying second-order effects on decision analysis casts light on the importance of the structure of decision problems, pointing out some pitfalls in decision making and suggesting an easy to implement and easy to understand method of comparing decision alternatives. The topic of this thesis is such second-order effects of decision analysis, particularly with regards to expected utility and interval-bound probabilities. Explicit expressions for the second-order distributions inherent in interval-bound probabilities in general and likewise for distributions of expected utility for small decision problems are produced. By investigating these distributions the phenomenon of warping, that is concentration of belief, is studied.</p>

<p>This thesis presents a design framework where analytical tools are linked together and operated from an efficient system level interface. The application field is aircraft conceptual design. Particular attention has been paid to CAD system integration and design optimization.</p><p>Aircraft design is an inherently multidisciplinary process. The goal is to search for the design that, in the best of possible ways, fulfills the requirements. It is therefore desirable to be able to effectively investigate and analyze solutions from a variety of points of view, weighting together the results and gathering a general figure of merit. At the same time, increasing competition on a global market forces to shorten the design process and to reduce costs. Thus a system that allows a tight and efficient integration of different disciplines and improving data flow and storage plays a key role.</p><p>Integrating a CAD system to the framework is of central relevance. The geometrical model includes most of the information; specific data, required to carry out particular analysis, can be extracted from it. This is possible adopting parametric associative models that are controlled from a spreadsheet user interface. Strategies for building CAD models with a very high degree of flexibility are presented. Not only the external shape can be changed, but also the internal structure can be completely modified. Structural elements can be added or removed, and their position and shaping changed.</p><p>In this work the design of an Unmanned Aerial Vehicle is used as test case for comparing three different optimization algorithms. The presented framework is also used for automatically design Micro Aerial Vehicles, starting from a short list of requirements and ending with a physical prototype produced by a rapid prototyping machine.</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>