Gestão de Redes e Sistemas: Estudo de um caso

A gestão e monitorização de redes é uma necessidade fundamental em qualquer organização, quer seja grande ou pequena. A sua importância tem de ser refletida na eficiência e no aumento de informação útil disponível, contribuindo para uma maior eficácia na realização das tarefas em ambientes tecnologicamente avançados, com elevadas necessidades de desempenho e disponibilidade dos recursos dessa tecnologia. Para alcançar estes objetivos é fundamental possuir as ferramentas de gestão de redes adequadas. Nomeadamente ferramentas de monitorização. A classificação de tráfego também se revela fundamental para garantir a qualidade das comunicações e prevenir ataques indesejados aumentando assim a segurança nas comunicações. Paralelamente, principalmente em organizações grandes, é relevante a inventariação dos equipamentos utilizados numa rede. Neste trabalho pretende-se implementar e colocar em funcionamento um sistema autónomo de monitorização, classificação de protocolos e realização de inventários. Todas estas ferramentas têm como objetivo apoiar os administradores e técnicos de sistemas informáticos. Os estudos das aplicações que melhor se adequam à realidade da organização culminaram num acréscimo de conhecimento e aprendizagem que irão contribuir para um melhor desempenho da rede em que o principal beneficiário será o cidadão.

Classification of varieties of pasteurella pestis strains isolated in the interior of the state of Pernambuco-Brazil

Studies were made on the biochemical behavior of 100 strains of P.pestis isolated in Northeastern Brazil with regard to production of nitrous acid, reduction of nitrates to nitrltes, and aciáification of glycerol. Results showed that 98 strains can be classified as "orientalis variety", while the remaining two could not be included in any of the existing "varieties".

Unsupervised classification of remote sensing images combining Self Organizing Maps and segmentation techniques

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Diagnosic Classification: Results from a Clinical Experience of Three Years with DC: 0–3

Infancy and early childhood are characterized by a dynamic and ever changing process. Since the beginning of their clinical work at the Infancy Unit, the authors were concerned with individual assessment and the questions about the role played by parents as well as by babies in pathology and intervention.In this article, the authors begin with a description of the path that led them to the selection of DC 0–3 as a diagnostic classification system and how this has been instrumental in helping them to better define infant psychopathology and guide them in treatment orientations. Next, they present the results of the applicationof Axis I and II of DC: 0–3 in their clinical population in the years 1997, 1998, and 1999. The objectives of this study were to learn more about the distribution of mental disorders in a clinical population up tofour years of age. The authors attempted to separate infants at risk for developing psychic disorders from those presenting current psychopathology as well as the possible influence of demographic features on this distribution, to define a target population and design adapted therapeutic measures. The identification of these objectives provides the rationale for the use of a diagnostic tool, like DC: 0–3, which is essential to plan clinical activity, to evaluate therapeutic efficacy, and to develop specific programs.

Contract-program evaluation: Impact of the DRG classification system on hospitals' outputs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Retrospective histopathological classification of 1,108 skin biopsies from patients clinically suspected of having leprosy from Bahia, Northeast Brazil

We report a retrospective histopathological classification carried out under laboratory conditions by the method of Ridley & Jopling of 1,108 skin biopsies from patients clinically suspected of having leprosy from Bahia, Northeast Brazil.

Exploratory analysis of OpenStreetMap for land use classification

In the last years, volunteers have been contributing massively to what we know nowadays as Volunteered Geographic Information. This huge amount of data might be hiding a vast geographical richness and therefore research needs to be conducted to explore their potential and use it in the solution of real world problems. In this study we conduct an exploratory analysis of data from the OpenStreetMap initiative. Using the Corine Land Cover database as reference and continental Portugal as the study area, we establish a possible correspondence between both classification nomenclatures, evaluate the quality of OpenStreetMap polygon features classification against Corine Land Cover classes from level 1 nomenclature, and analyze the spatial distribution of OpenStreetMap classes over continental Portugal. A global classification accuracy around 76% and interesting coverage areas’ values are remarkable and promising results that encourages us for future research on this topic.

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.

Context classification for service robots

This dissertation presents a solution for environment sensing using sensor fusion techniques and a context/environment classification of the surroundings in a service robot, so it could change his behavior according to the different rea-soning outputs. As an example, if a robot knows he is outdoors, in a field environment, there can be a sandy ground, in which it should slow down. Contrariwise in indoor environments, that situation is statistically unlikely to happen (sandy ground). This simple assumption denotes the importance of context-aware in automated guided vehicles.

A comparison of four DNA extraction protocols for the analysis of urine from patients with visceral leishmaniasis

Introduction Polymerase chain reaction (PCR) may offer an alternative diagnostic option when clinical signs and symptoms suggest visceral leishmaniasis (VL) but microscopic scanning and serological tests provide negative results. PCR using urine is sensitive enough to diagnose human visceral leishmaniasis (VL). However, DNA quality is a crucial factor for successful amplification. Methods A comparative performance evaluation of DNA extraction methods from the urine of patients with VL using two commercially available extraction kits and two phenol-chloroform protocols was conducted to determine which method produces the highest quality DNA suitable for PCR amplification, as well as the most sensitive, fast and inexpensive method. All commercially available kits were able to shorten the duration of DNA extraction. Results With regard to detection limits, both phenol: chloroform extraction and the QIAamp DNA Mini Kit provided good results (0.1 pg of DNA) for the extraction of DNA from a parasite smaller than Leishmania (Leishmania) infantum (< 100fg of DNA). However, among 11 urine samples from subjects with VL, better performance was achieved with the phenol:chloroform method (8/11) relative to the QIAamp DNA Mini Kit (4/11), with a greater number of positive samples detected at a lower cost using PCR. Conclusion Our results demonstrate that phenol:chloroform with an ethanol precipitation prior to extraction is the most efficient method in terms of yield and cost, using urine as a non-invasive source of DNA and providing an alternative diagnostic method at a low cost.

Using the International Classification of Functioning, Disability and Health as a tool for analysis of the effect of physical therapy on spasticity in HAM/TSP patients

INTRODUCTION: This study aimed to evaluate spasticity in human T-lymphotropic virus type 1-associated myelopathy/tropical spastic paraparesis (HAM/TSP) patients before and after physical therapy using the International Classification of Functioning, Disability and Health (ICF). METHODS: Nine subjects underwent physical therapy. Spasticity was evaluated using the Modified Ashworth Scale. The obtained scores were converted into ICF body functions scores. RESULTS: The majority of subjects had a high degree of spasticity in the quadriceps muscles. According to the ICF codes, the spasticity decreased after 20 sessions of physical therapy. CONCLUSIONS: The ICF was effective in evaluating spasticity in HAM/TSP patients.

Evaluation of the World Health Organization 2009 classification of dengue severity in autopsied individuals, during the epidemics of 2011 and 2012 in Brazil

Abstract: INTRODUCTION: The dengue classification proposed by the World Health Organization (WHO) in 2009 is considered more sensitive than the classification proposed by the WHO in 1997. However, no study has assessed the ability of the WHO 2009 classification to identify dengue deaths among autopsied individuals suspected of having dengue. In the present study, we evaluated the ability of the WHO 2009 classification to identify dengue deaths among autopsied individuals suspected of having dengue in Northeast Brazil, where the disease is endemic. METHODS: This retrospective study included 121 autopsied individuals suspected of having dengue in Northeast Brazil during the epidemics of 2011 and 2012. All the autopsied individuals included in this study were confirmed to have dengue based on the findings of laboratory examinations. RESULTS: The median age of the autopsied individuals was 34 years (range, 1 month to 93 years), and 54.5% of the individuals were males. According to the WHO 1997 classification, 9.1% (11/121) of the cases were classified as dengue hemorrhagic fever (DHF) and 3.3% (4/121) as dengue shock syndrome. The remaining 87.6% (106/121) of the cases were classified as dengue with complications. According to the 2009 classification, 100% (121/121) of the cases were classified as severe dengue. The absence of plasma leakage (58.5%) and platelet counts <100,000/mm3 (47.2%) were the most frequent reasons for the inability to classify cases as DHF. CONCLUSIONS: The WHO 2009 classification is more sensitive than the WHO 1997 classification for identifying dengue deaths among autopsied individuals suspected of having dengue.

Analysis of classification algorithms for crop detection using LANDSAT 8 images

Remote sensing - the acquisition of information about an object or phenomenon without making physical contact with the object - is applied in a multitude of different areas, ranging from agriculture, forestry, cartography, hydrology, geology, meteorology, aerial traffic control, among many others. Regarding agriculture, an example of application of this information is regarding crop detection, to monitor existing crops easily and help in the region’s strategic planning. In any of these areas, there is always an ongoing search for better methods that allow us to obtain better results. For over forty years, the Landsat program has utilized satellites to collect spectral information from Earth’s surface, creating a historical archive unmatched in quality, detail, coverage, and length. The most recent one was launched on February 11, 2013, having a number of improvements regarding its predecessors. This project aims to compare classification methods in Portugal’s Ribatejo region, specifically regarding crop detection. The state of the art algorithms will be used in this region and their performance will be analyzed.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.