Si la production de logiciel fiable est depuis longtemps la préoccupation d'ingénieurs, elle devient à ce jour une branche de sujets de recherche riche en applications, dont l'analyse statique. Ce travail a porté sur l'analyse statique de programmes et, plus précisément, sur l'analyse des propriétés numériques. Ces analyses sont traditionnellement basées sur le concept de domaine abstrait. Le problème est que, ce n'est pas évident d'étendre ces domaines dans le contexte de programmes avec pointeurs. Nous avons proposé une approche qui sait systématiquement combiner ces domaines avec l'information de l'analyse de points-to (une sorte d'analyse de pointeurs). L'approche est formalisée en théorie de l'interprétation abstraite, prouvée correct et prototypée avec une modular implémentation qui sait inférer des propriétés numériques des programmes de millions de lignes de codes. La deuxième partie de la thèse vise à améliorer la précision de l'analyse points-to. Nous avons découvert que l'analyse de must-alias (qui analyse si deux variables sont nécessairement égaux) peut servir à raffiner l'analyse points-to. Nous avons formalisé cette combinaison en s'appuyant sur la notion de bisimulation, bien connue en vérification de modèle ou théorie de jeu... Un algorithme de complexité quadruple est proposé et prouvé correct. / The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on the correctness of its computing. Can man, who created the computer, be capable of preventing machine-made misfortune? The theory of static analysis strives to achieve this ambition. The analysis of numerical properties of programs has been an essential research topic for static analysis. These kinds of properties are commonly modeled and handled by the concept of numerical abstract domains. Unfor- tunately, lifting these domains to heap-manipulating programs is not obvious. On the other hand, points-to analyses have been intensively studied to an- alyze pointer behaviors and some scale to very large programs but without inferring any numerical properties. We propose a framework based on the theory of abstract interpretation that is able to combine existing numerical domains and points-to analyses in a modular way. The static numerical anal- ysis is prototyped using the SOOT framework for pointer analyses and the PPL library for numerical domains. The implementation is able to analyze large Java program within several minutes. The second part of this thesis consists of a theoretical study of the com- bination of the points-to analysis with another pointer analysis providing information called must-alias. Two pointer variables must alias at some pro- gram control point if they hold equal reference whenever the control point is reached. We have developed an algorithm of quadruple complexity that sharpens points-to analysis using must-alias information. The algorithm is proved correct following a semantics-based formalization and the concept of bisimulation borrowed from the game theory, model checking etc.

Underrättelsetjänsten har alltid haft som sin  viktigaste uppgift att agera som varningsklocka för hot mot landet för vilket den existerar. Under det kalla kriget var det största hotet mot Sverige en invasion och ett tredje världskrig. I och med murens fall och slutet på det kalla kriget ändrades hoten snabbt. Idag så finns inte längre någon tydlig hotbild mot Sverige men den ökade globaliseringen och det informationsberoende samhället skapar nya hot mot oss. En regional konflikt kan ha globala konsekvenser, och där med även beröra Sverige. I arbetet ställer sig författaren frågan hur den svenska underrättelsetjänsten har förändrats med den förändrade hotbilden och om underrättelsetjänsten är anpassad till de nya krav som ställs på den. Organisationens  struktur är i fokus men lag och förordningar som styr verksamheten tas också upp. Analysen sker genom att först problematisera organisationen på en underrättelsetjänst(generell) för att sedan analysera den svenska underrättelseorganisationen med dessa frågeställningar. Inledningsvis analyseras det hur den var organiserad 1976, därefter den organisatoriska förändring som gjordes mellan 1976 och 2011, för att slutligen analysera år 2012:s organisation och dra slutsatser om denna utvecklig och dagens organisation. De slutsatser som drogs var att den svenska underrättelsetjänsten försöker vara anpassad efter dagens behov men att arv ifrån tidigare organisationen skapar en viss ostruktur och att vissa enheters placering och tillhörighet är svår att motivera. / The main objective for the Intelligence community has always been to work as a safety net for the nation under which it exist.  The definition of threat has changed in recent times. During the Cold War the biggest threats against Sweden was a Third World War and an invasion of the nation. Due to the fall of the Berlin wall and the end of the Cold War the main threats have changed. Today there is no conceivable threat against Sweden but the continuously increasing globalization and information dependent society creates new threats against it and a regional conflict could affect Swedish society The question that this study  raises is if Swedish intelligence has changed due to the change in threat and whether it has adapted to new demands places upon it. The organization structure is in focus but laws and regulations must also be taken into account. In order to conduct the analysis, the problem of organizing an intelligence organization at a general level must be addressed first. The Swedish intelligence community will be analysed based on previous problems starting with how the organisation was in 1976, followed by the changes in the organisation between 1976 and 2011 and finally with how the organisation stands today. Thereafter conclusions will be drawn from the analysis. In conclusion the Swedish intelligence community is trying to adapt to todays need but the legacy from past intelligence organizations creates an unstructured appearance and that the placement of some sections and units is hard to motivate.

Made available in DSpace on 2014-06-11T19:29:37Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-05-30Bitstream added on 2014-06-13T20:19:25Z : No. of bitstreams: 1 oliveira_vc_me_fran.pdf: 288729 bytes, checksum: e8be21b784794fcf6191564cf4c8b1f5 (MD5) / A partir da análise do surgimento do Movimento de União dos Sem-Teto de Ribeirão Preto - SP (MUST), é objetivo deste trabalho apresentar os limites e dificuldades da organização de um movimento social urbano capaz de articular-se em torno de um projeto político pautado na aquisição de bens de consumo coletivos e na conquista de melhores condições e vida no espaço urbano. / By the analysis of the MUST (Movimento de União dos Sem-Teto de Ribeirão Preto - SP), this work's objective is to present the limits and obstacles of managing a social urban movement capable to articulate about based on a political, project guided essencially in requesting collective goods consuption searching for better condition of living in a urban area.

Thesis (MScAgric)--Stellenbosch University, 1964. / ENGLISH ABSTRACT: no abstract available / AFRIKAANSE OPSOMMING: geen opsomming

Thesis (DScAgric)--Stellenbosch University, 1958. / ENGLISH ABSTRACT: no abstract available / AFRIKAANSE OPSOMMING: geen opsomming

Thesis (MScAgric)--Stellenbosch University, 1955. / No Abstract Available

Thesis (MSc)--Stellenbosch University, 1958. / ENGLISH ABSTRACT: no abstract available / AFRIKAANSE OPSOMMING: geen opsomming

Thesis (MScAgric)--Stellenbosch University, 1966. / ENGLISH ABSTRACT: no abstract available / AFRIKAANSE OPSOMMING: geen opsomming

Thesis (MScAgric)--Stellenbosch University, 1960. / ENGLISH ABSTRACT: no abstract available / AFRIKAANSE OPSOMMING: geen opsomming

Chronic obstructive pulmonary disease (COPD) is one of the most widespread diseases globally. A commonly reported symptom is impaired nutritional status, which is often discussed in the literature as difficult to assess. Because nurses play a key role in the care of patients with COPD, knowledge needs to be supplemented with clinically relevant methods that can be used for identification of nutritional needs. The overall aim of this thesis is to investigate factors associated with the nutritional status of persons with COPD and to describe the assessment of nutritional status in different settings and for persons of varying ages. Both qualitative and quantitative methods were used. Two studies with descriptive and exploratory designs (I, II) and two studies with comparative (III), and correlational design (IV). In three of the studies participants were persons with COPD (I, III, IV), whereas one involved registered nurses (RNs). Qualitative data were collected using diaries (I), vignettes (II) and interviews (I, II) and analyzed using qualitative content analysis. Data collection (III, IV) included body size and body composition measurements, assessment of nutritional status using the Mini Nutritional Assessment (MNA), the Malnutrition Universal Screening Tool (MUST), the Evaluation of Nutritional Status (ENS), and lung function measurements. These were analyzed using statistical methods. The main findings from the interviews with 13 respondents in PHC in study I showed that eating difficulties alone do not cause reduced nutritional intake for persons with COPD. Eating is only one aspect in a chain of meal-related situations that involve additional physiological and psychological demands. Assessment of nutritional status, performed by 19 RNs, consisted mainly of single observations. For a half of the RNs it was more important to establish trustful relationships with patients than to give nutritional information, while the other RNs had different opinions on when it was best to provide nutritional information and assess nutritional status. Study III findings showed poor nutritional status for nearly half of the 50 older participants. Many who were identified as malnourished lived alone and were dependent on daily community services. Six out of the 81 participants in Study IV were similarly identified as malnourished by each of the three instruments (MNA, MUST and ENS). There was a significant correlation between each of the instruments and body composition, assessed as fat-free mass index (FFMI). The MNA Short Form (MNA-SF) incorrectly identified thirteen participants’ nutritional status as not needing attention for their nutritional status. To be evaluated as ‘in need of qualified help with nutrition’ by the ENS the respondents needed to be identified as malnourished by the MNA. A general conclusion is that nutritional status is complex for persons with COPD and is difficult to measure by currently recommended methods. Individuals’ experiences are important to elicit because some of their experiences, in combination with RNs’ judgement, might serve as a hindrance for nursing care and delay the sharing of important information. The methods currently recommended for identification of nutritional status should be used with caution, and assessment should not depend on one single method. The findings from this thesis can contribute to early accurate identification of nutritional status and prompt interventions that have importance for an improved disease trajectory and better quality of life for individuals with COPD.