Serviço de visualização de informação geográfica na WEB - A publicação do atlas de Portugal utilizando a especificação WEB MAP SERVICE

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.

Perfil do doente com infecção do trato urinário num serviço de ortopedia

RESUMO - As infecções do trato urinário são um problema constante nas unidades prestadoras de cuidados de saúde. Sabe-se que a incidência das mesmas é das mais elevadas em termos de infecções associadas aos cuidados de saúde, bem como acarretam fortes custos hospitalares devido ao aumento da demora média de internamento, uso de antibioterapia aumentado, entre outros. De modo a tentar compreender toda esta problemática, com a realização deste trabalho de projecto, pretende-se encontrar o perfil do doente com infecção do trato urinário num serviço de Ortopedia. Através deste mesmo perfil, tornar-se-á mais fácil uma vigilância epidemiológica e intervenções mais direccionadas ao problema em questão. Para tal, pretende-se construir um instrumento de colheita de dados que caracterize o doente de uma forma geral, antes, e durante o próprio internamento. Caso este mesmo instrumento fosse aplicado, pretender-se-ia cruzar as váriáveis concluindo eventualmente o perfil, justificando melhor o facto da existência de infecções urinárias e adequando medidas de prevenção. ------------ -ABSTRACT - The urinary infections are a constant problem in the health care facilities. It is known that the incidence of these infections is one of the biggest in terms of infections associated to health care, as well as they bring higher hospital costs, due to the middle delay of internment, the increased use of antibioterapy, as long as others. In the way of trying to understand all problems, with the realization of this work project, one intends to find the profile of the orthopedic patient with urinary infection, in the Orthopedic Service. Trough this same profile, it will be easier to do an epidemiological surveillance and more directed interventions to the problem in matter. To achieve this goal, it is claimed to build an instrument of data collection that characterizes the patient in a general way, before and during the internment. If this instrument would be applied, it would be intended to cross the variables concluding eventually the profile, justifying better the fact of the existence of urinary infection

Perfil clínico-epidemiológico dos pacientes portadores de paracoccidioidomicose no Serviço de Estomatologia do Hospital São Lucas da Pontifícia Universidade Católica do Rio Grande do Sul

No presente estudo, são descritas as características clínicas e epidemiológicas de 61 casos de paracoccidioidomicose, atendidos no Serviço de Estomatologia do Hospital São Lucas da PUCRS, no período de junho de 1976 a junho de 2004. O Rio Grande do Sul é considerado uma região endêmica da doença devido às condições eco-epidemiológicas para o desenvolvimento do fungo. Observou-se que a doença ocorreu em 58 (95%) homens e 3 (5%) mulheres, predominando a faixa etária de 40 a 59 anos (70,5%), e a profissão vinculada à agricultura em 27 (44,3%) pacientes. O hábito de fumar foi prevalente em 52 (85,3%) pacientes da amostra e muitos eram, também, etilistas. Todos os casos apresentavam manifestações estomatológicas, sendo que as lesões orais ocorreram predominantemente com aspecto ulcerado e moriforme, observadas em vários sítios anatômicos. As evidências radiográficas de lesões pulmonares estavam presentes em 32 (65,3%) radiografias avaliadas.

Perfil da clientela atendida em um serviço público de urgência psiquiátrica no município de Belo Horizonte, Brasil, no período de 2002 a 2007

OBJETIVO: Descrever as características sociodemográficas, o número e os tipos de atendimentos realizados em um serviço público de atendimento de Urgência Psiquiátrica de Belo Horizonte, Brasil, no período de 2002 a 2007. MÉTODOS: Estudo descritivo de séries temporais, com análises de tendência por meio de regressões lineares, em que a variável resposta foi o número anual de atendimentos (totais e por tipo) ou a proporção de atendimentos por diagnóstico e a variável preditora foi o ano. RESULTADOS: O número total de atendimentos no período pesquisado não apresentou alteração significativa, embora tenha ocorrido uma redução do número de primeiras consultas no serviço, com aumento do número de retornos. Foi observada redução dos diagnósticos associados a álcool e drogas de abuso e predominância dos transtornos psicóticos. CONCLUSÃO: No período estudado, o Hospital Galba Velloso - FHEMIG manteve o volume total de atendimentos, mas observou-se redução da proporção de pacientes oriundos da capital, bem como redução da procura por diagnósticos associados a álcool e drogas de abuso, enquanto a categoria diagnóstica mais prevalente foi a dos transtornos psicóticos. Houve redução dos primeiros atendimentos e das internações prolongadas.

Aplicativo web para la corrección de modelos UML/OCL

Introducció d'un entorn virtual d' autoaprenentatge que permeti als estudiants millorar les seves habilitats de modelització, una peça clau en la seva capacitació com a professionals de la informàtica adaptats a les demandes de la societat actual.

Perfil da vítima atendida pelo serviço pré-hospitalar aéreo de Pernambuco

Estudo do tipo descritivo-exploratório com abordagem quantitativa sobre o perfil da vítima atendida pelo serviço pré-hospitalar aéreo de Pernambuco. As ocorrências foram avaliadas no período de agosto de 2007 a julho de 2008, correspondentes ao primeiro ano de funcionamento do hangar no Recife. Nesse período, foram estudados 283 fichas de ocorrências, com média de 23 atendimentos mensais. Dos vôos, 66% foram de resgate, com 11 minutos de tempo-resposta. Quanto à causa do atendimento, 79% foram por causas externas, na sua maioria de acidentes de trânsito. Prevaleceu o sexo masculino com faixa etária mediana de 34 anos. O resgate dessas vítimas graves deve ser realizado de forma rápida e eficaz, por isso analisou-se a relação da gravidade da vítima com o tempo-resposta.

Perfil clínico e epidemiológico de gestantes infectadas pelo HIV em um serviço do sul do Brasil

OBJETIVO: analisar o perfil clínico e epidemiológico, o desfecho da gestação e a transmissão vertical de gestantes infectadas pelo vírus da imunodeficiência humana (HIV) atendidas no pré-natal do Hospital Universitário de Santa Maria (HUSM). MÉTODOS: foi realizado um estudo prospectivo na população de 139 gestantes portadoras do vírus HIV que foram atendidas no Ambulatório de Pré-natal de Alto Risco do HUSM durante o período de agosto de 2002 a agosto de 2007, e que tiveram pelo menos duas consultas de pré-natal neste serviço. A coleta de dados foi efetuada por meio de entrevista e preenchimento do protocolo de pesquisa durante a consulta de pré-natal. O protocolo era mantido anexado ao prontuário da paciente e mantido até o desfecho da gestação. Realizou-se análise descritiva das variáveis quantitativas utilizando-se o programa SPSS versão 15.0. RESULTADOS: dentre as 139 gestantes, a média de idade foi de 25,6 anos (±5,8), 79 (56,8%) eram brancas, 81 (58,5%) eram casadas ou viviam em união estável e 90 (65,0%) tinham menos de oito anos de escolaridade. Cinquenta e um por cento das gestantes já tinham dois ou mais filhos, apresentando número de filhos superior à média estadual. O diagnóstico da infecção foi realizado em gestação atual ou anterior em mais de 70,0% das vezes. Houve exposição sexual em 97,7% e, destas, o parceiro era sabidamente infectado em 59,6%. No período, dos casos adequadamente acompanhados, apenas um recém-nascido (0,7%) contraiu a infecção pelo HIV. CONCLUSÕES: mulheres jovens em situação socioeconômica de vulnerabilidade, com baixa escolaridade e multíparas constituem a maioria da população de gestantes HIV-positivo atendidas no serviço. Avaliações realizadas durante o pré-natal foram relevantes para o diagnóstico da infecção na maioria dos casos. O diagnóstico precoce, associado ao adequado acompanhamento clínico, obstétrico, psicológico e cuidados de enfermagem, são importantes para prover a apropriada adesão ao tratamento e a redução das taxas de transmissão vertical.

Perfil de risco gestacional e metabólico no serviço de pré-natal de maternidade pública do Nordeste do Brasil

OBJETIVO: Descrever a prevalência dos fatores de risco gestacionais e sua associação com desfechos materno-fetais desfavoráveis. MÉTODOS: Estudo longitudinal, descritivo e analítico, levando em conta 204 gestantes atendidas no ambulatório de pré-natal de maternidade pública entre maio de 2007 e dezembro de 2008. Os fatores de risco incluíram aspectos sociodemográficos, antecedentes pessoais, obstétricos e familiares, índice de massa corpórea (IMC) pré-gestacional elevado, excesso de ganho de peso gestacional e anemia. Desfechos adversos incluíram pré-eclâmpsia (PE), diabetes mellitus gestacional (DMG), parto cesariano, prematuridade e recém-nascido (RN) com peso alterado. RESULTADOS: A média de idade foi 26±6,4 anos, predominando as pardas (59,8%), com segundo grau completo e superior incompleto de escolaridade (51,8%), união estável (67,2%) e ocupação remunerada (51,0%). A maioria foi admitida no segundo trimestre (63,7%) e 16,7% no primeiro; 42,6% eram primíparas. Hipertensão arterial crônica (2,9%), pré-eclâmpsia (9,8%), excessivo ganho de peso na gestação (15,2%) e diabetes mellitus gestacional (1,0%) foram relatados em gestações anteriores. Na atual gestação foi encontrado IMC pré-gestacional elevado em 34,6% e ganho excessivo de peso em 45,5%, bem como anemia em 25,3% e dislipidemia em 47,3%. O rastreamento para diabetes mellitus gestacional indicado em 17,5% foi confirmado em 3,4% das mulheres. A proteína urinária elevada em amostra única ocorreu em 16,4%. Resultados materno-fetais adversos incluíram PE (4,5%), DMG (3,4%), prematuridade (4,4%) e partos cesarianos (40,1%). RNs grandes para a idade gestacional (GIG) somaram 9,8% e pequenos para a idade gestacional (PIG), 13,8%. A análise de regressão de Poisson multivariada identificou IMC pré-gestacional elevado (>25 kg/m²) como preditor independente para PE (risco relativo (RR) de 17,2 e intervalo de confiança (IC) 95% 2,1-137,5) e parto cesariano (RR=1,8; IC95% 1,1-2,8). A cesárea prévia mostrou-se preditora para novo parto cirúrgico (RR=2,3; IC95% 1,3-3,9). Ganho de peso gestacional excessivo e anemia foram preditores de risco para RN com peso aumentado (RR=4,7; IC95% 1,6-14,0 e RR=3,4; IC95% 1,4-8,1, respectivamente). CONCLUSÃO: O sobrepeso e a obesidade pré-gestacionais, o ganho excessivo de peso na gestação e a anemia foram fatores de risco para pré-eclâmpsia, parto cesariano e alteração de peso do RN.

Perfil das amostras do sistema nervoso central de bovinos com síndrome neurológica e diagnóstico da raiva bovina no serviço de defesa sanitária de Minas Gerais, 2003-2010

As enfermidades do sistema nervoso central (SNC) são frequentemente relatadas em bovinos no Brasil. Apesar de Minas Gerais ter o segundo maior rebanho bovino do país, há escassez de informações referentes às doenças neurológicas que acometem esses animais. O Laboratório de Saúde Animal do Instituto Mineiro de Agropecuária (LSA/IMA) é o responsável pelo diagnóstico das enfermidades neurológicas dos animais de produção no Estado, com ênfase para a raiva e as encefalopatias espongiformes transmissíveis. Foi realizado um estudo retrospectivo dos dados referentes às amostras de SNC de bovinos com síndrome neurológica avaliadas pelo LSA/IMA de janeiro/2003 a junho/2010, com o objetivo de determinar o perfil das amostras encaminhadas para análise no serviço de defesa sanitária animal, com ênfase no diagnóstico da raiva bovina. Foram consideradas características do animal (sexo, idade, raça e tipo de morte) e da amostra (método de conservação e responsável pela coleta), sendo nas positivas para raiva, avaliada sua composição, assim como as alterações histopatológicas encontradas. Os dados relacionados à frequência de positividade nas diferentes categorias foram submetidos à análise pelo Teste Exato de Fisher. Durante o período avaliado, foram analisadas 3.731 amostras de bovinos com doença neurológica, havendo predomínio de fêmeas e mestiços, o que reflete a composição do rebanho do Estado. O método de conservação foi o principal problema encontrado, sendo apenas 25,89% das amostras encaminhadas em gelo e formol a 10%. Verificou-se uma diminuição gradativa no envio de material para análise. Quanto a raiva bovina diagnosticada no Estado, foram avaliadas 3.703 amostras pela imunofluorescência direta (IFD) e prova biológica (PB), com 41,58% de positividade, sendo dessas 282 submetidas a histopatologia. A frequência de positividade foi influenciada pela raça, idade e tipo de morte do animal. A composição da amostra alterou significativamente o resultado das análises, havendo maior frequência de positividade naquelas compostas por três ou mais fragmentos de SNC, tanto na IFD/PB, quanto na histopatologia. O bulbo, fragmento de eleição para o diagnóstico da EEB, tem sido erroneamente enviado refrigerado e não em formol a 10%. Cerebelo, tálamo, tronco encefálico e medula apresentaram maior frequência de corpúsculos de Negri que cérebro e gânglio trigeminal. O infiltrado inflamatório não supurado foi menos frequente no cérebro, que nos demais fragmentos avaliados. Conclui-se que as amostras de bovinos com síndrome neurológica enviadas ao serviço de defesa sanitária animal de Minas Gerais apresentam características distintas, sendo o método de conservação o principal problema encontrado. Além disso, a raiva bovina diagnosticada na população estudada é influenciada pelas características do animal e da amostra, sendo indicado o envio de diferentes fragmentos do SNC para análise, conservados adequadamente, o que contribui para um diagnóstico mais preciso.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Context Mediation in the Semantic Web: Handling OWL Ontology and Data Disparity through Context Interchange

The COntext INterchange (COIN) strategy is an approach to solving the problem of interoperability of semantically heterogeneous data sources through context mediation. COIN has used its own notation and syntax for representing ontologies. More recently, the OWL Web Ontology Language is becoming established as the W3C recommended ontology language. We propose the use of the COIN strategy to solve context disparity and ontology interoperability problems in the emerging Semantic Web – both at the ontology level and at the data level. In conjunction with this, we propose a version of the COIN ontology model that uses OWL and the emerging rules interchange language, RuleML.