Scalable model-based configuration management of security services in complex enterprise networks

Security administrators face the challenge of designing, deploying and maintaining a variety of configuration files related to security systems, especially in large-scale networks. These files have heterogeneous syntaxes and follow differing semantic concepts. Nevertheless, they are interdependent due to security services having to cooperate and their configuration to be consistent with each other, so that global security policies are completely and correctly enforced. To tackle this problem, our approach supports a comfortable definition of an abstract high-level security policy and provides an automated derivation of the desired configuration files. It is an extension of policy-based management and policy hierarchies, combining model-based management (MBM) with system modularization. MBM employs an object-oriented model of the managed system to obtain the details needed for automated policy refinement. The modularization into abstract subsystems (ASs) segment the system-and the model-into units which more closely encapsulate related system components and provide focused abstract views. As a result, scalability is achieved and even comprehensive IT systems can be modelled in a unified manner. The associated tool MoBaSeC (Model-Based-Service-Configuration) supports interactive graphical modelling, automated model analysis and policy refinement with the derivation of configuration files. We describe the MBM and AS approaches, outline the tool functions and exemplify their applications and results obtained. Copyright (C) 2010 John Wiley & Sons, Ltd.

Fatores-chave de sucesso na adoção de aplicativos móveis de táxi

A pesquisa tem como objetivo investigar os fatores-chave de sucesso na adoção de aplicativos móveis de táxi (AMTs) por taxistas. Baseando-se nos modelos de Aceitação Tecnológica (DAVIS; BAGOZZI; WARSHAW, 1989), Difusão da Inovação (ROGERS, 1995) e de Confiança (CARTER; BÉLANGER, 2005), o trabalho propõe também uma revisão da literatura de Aplicações Móveis aplicada ao contexto dos AMTs (VAN BILJON; KOTZÉ, 2007). Para o propósito dessa pesquisa, os AMTs são definidos como aplicativos de serviço móvel avançado que viabilizam, por meio de Internet e geolocalização, a solicitação de transporte de táxi em dispositivos móveis, mediante sistemas de informação e chamadas telefônicas, e o acompanhamento da prestação do serviço e seu pagamento. A partir de entrevistas semiestruturadas em profundidade e aplicações de questionários em pesquisa de campo, o estudo propõe uma triangulação de métodos de Análise Lexical (BOTTA,2010; GEERAERTS,2010), Conteúdo (BARDIN,2006) e Ranking Médio (OLIVEIRA,2005) para a investigação dos fatores identificados na literatura. Os resultados apontam que os fatores influenciadores do sucesso dos AMTs, na perspectiva de uso pelos motoristas de táxi, são Simplicidade e Utilidade Percebida, enquanto os moderadores são Segurança e Ganhos Financeiros. Acredita-se que a pesquisa poderá contribuir para a discussão de um tema ainda pouco explorado na literatura no Brasil, os Aplicativos Móveis, além de proporcionar implicações gerenciais no âmbito da inovação em empresas desenvolvedoras.

Inclusão e deficiência: em busca das representações sociais na mídia impressa em Natal/RN

This thesis is the result of an extensive research on print media discourse on the inclusion of disabled people in society. Articles published in the newspapers Diário de Natal/O Poti and Tribuna do Norte from 1992 to 2002 have been analyzed. Beginning with the very same questions that moved Moscovici (1978) in his classic study La Psychalyse son image et son public , according to which the media play a predominant role in the formation and propagation of social representations as well as in the construction of human behaviors, we have chosen this mass media as our investigation field. Understanding the importance of the communication theory, we intend to associate it to the social representation theory, since communication, as an aspiration, relates to the fundamentals of all humanity (WOLTON, 2004, p. 56). Moreover, means of communication represent an important space for symbolic production and representational process, allowing the analysis of the circulating discourses on social inclusion and disability. Based on these questions, we have determined social representations present in print media on the subject to be our study object. This objective was elected due to the fact that the thematic of disability and inclusion is scarcely and sporadically found in journalistic speech. The research questions have been: which is the representation of disabled people s condition in print media? What changes have occurred during the analyzed period and which was the role played by print media in this process? The research corpus was composed of newspaper articles about various aspects concerning disability and of free word association by reporters. We have analysed: 1) graphical language promoted by the picture of the substances propagated in the period from 1992 a 2002; 2) free word association experiments carried out with reporters of both newspapers; and 3) texts published from 1996 to 1997 using the high-tech program ALCESTE (Contextual Lexical Analysis of a Set of Segments of Texts). The results revealed that the print media in Natal/RN refer to the topic in a discontinuous way, and depend on specific events to highlight disabled people s fight for their rights. Social inclusion is still a great challenge for these people in all levels. We believe that this incapacity to overcome all kinds of obstacles is established in a dialectic relation between society and the media: society remains silent (the manifestation of interest for the cause only attracts some people s or groups attention) and the media, which selects which information is to be broadcasted, gives no evidence to the issue. This representation may be noticed in the infrequency in which articles about the subject are published, as well as in the emphasis to sports, a more important issue for the media. An implication of this study is that a new perspective is opened for analysis and reflection: the Paralympics games as both an inclusive and a segregating social phenomenon. It would be beautiful to have all of us together!

Envelhecer entre pássaros e anjos: um estudo etnográfico sobre o processo saúde doença do idoso no contexto familiar

Study, a descriptive-like one, is guided by ethnographic principles which have analyzed the elderly within the familiar context in his/her process of health and aging, in the neighborhood called Felipe Camarão, located in the western administrative region of Natal, RN, a Northeastern city of Brazil. The participants are elders aging 61 to 84 years old, living in this referring neighborhood, whose majority is constituted of migrants from the rural region of the state of the RN, retired, including widows, widowers and married couples, with low school-educational degree. For the information gathering it was utilized a semi-structured interview, the participant observation and the field diary, being put into effect, in majority, in the houses and in the Family Health Unit, in a period between March and October of 2006. For the results discussion it was utilized an analysis of thematic content and the program ALCESTE (In Portuguese, Análise Léxica por Contexto de um Conjunto de Segmentos de Texto or Lexical Analysis by Context of a Set of Text Segments), which through have emerged two corpus: the corpus I, Family and the elderly, and corpus II, The elderly and the aging within society. The analysis of the results has permitted to conclude that the family, also used by the public policies as a strategy of their practices in health, it is a necessary base support for the elderly citizen in his/her process of aging and of health. The elders familiar contexts have allowed this study to identify the existence of minimal social conditions of life, of new rearrangements of the current families by means of the plurigenerational acquaintanceship and the active presence of the elderly woman as a maintainer of this family; also by means of conflicted relationships among one another but in a bearable level of acquaintanceship. Different conceptions about the aging and the elderly generate disagreement and divergency however the family support and help for the solving of these problems and the attention to health are proceeding from the family components. However, it is noticed that loneliness is something present in these elder s everyday lives. About the attention to health, in a basic level of it, it was noticed that there are still a lot of gaps, mainly concerning promotional and preventing actions, deserving a higher sensitization and effort by the local health institutions

A formação acadêmica do enfermeiro para o SUS na percepção de docentes e discentes da faculdade de enfermagem/UERN

The model of attention to health in Single Health System (Sistema Único de Saúde SUS) presupposes a human-resources policy which prepares professionals of health to guide the services and sanitary practices. The nurse, a member of health staff, takes over an important role in implementation of principles and standards of SUS, being its professional formation necessary to labor organization in this purpose. In this way this study objectifies to analyse the process of formation of the male nurse in the Politic-Pedagogical Project (Projeto Político-Pedagógico PPP) in the perception of learning and teaching of the Faculty of nursing FAEN of the University of The Rio Grande do Norte State UERN. It treats about a descriptive-exploratory study with qualitative and quantitative approach carried out with learning and teaching of the graduation nursing course. In the field research carried out between the months of november, 2006 and february, 2007, were used like instruments the documental research below PPP´s, structured interview directed to the learning and the closed questionnaire applied to the students of eighth and ninth semesters of graduation course. The results of data about the questionnaires elaborated according to National Curricular Patters (Diretrizes Curriculares Nacionais DCN) and the Instrument of Evaluation Course of Graduation MEC were organized according to six lists about the profile of the learning and teaching that participate of the research; of the didactical-pedagogical organization and PPP´s objectives to the just-graduates person to the didactical-pedagogical curriculum organization. For considering the interviews it was adopted thematic analysis of content discribed in lexical analysis by informatical program ALCESTE which provided the organization of the material in five categories: daily problems of SUS consolidation versus nurse formation, dichotomies about FAEN´s nursing course of curriculum versus principles of integralization of graduating process, the just-graduated one from FAEN and its professional insertion united to SUS politic-pedagogical project and the concern about the overcoming of dichotomies of graduation process abilities and necessary competences to the SUS performing nurse. The analysis of informations deriving from documental performance and field research resulted on the verification that, in spite of good intentions, the implementation strategies showed themselves fragile to cope with the rendering of expressed ideal on PPP. There is still a great gap between what´s thought as innovating graduating process and what´s being really implemented

Trânsito de saberes e campo representacional na visão dos profissionais da saúde da família e do programa de educação pelo trabalho e para a saúde

The Family Health Strategy (ESF) is emerging as a possible restructuring of services and new practices of intervention in health care; it requires skilled professionals to work with that framework. Within this purpose, we established the Education Programme for Work and Health (PET-Saúde), in order to integrate teaching and service activities, focusing on primary care. On this basis, the aim of this work is to apprehend the social representation of nurse, doctor and dentist (Project PET-Natal Health RN preceptors) on the ESF, while practice field of them. It is a descriptive and exploratory study, with a qualitative approach, carried out in 07 Family Health Units (USF) included in the PET-Saúde Natal (RN). The population was composed of 35 professional components of the primary care team with bachelor's degree of the USF linked to this project. The sample was composed of 05 nurses, 05 physicians and 05 dentists, for a total of 15 subjects. Data were collected through three instruments: the drawing-themed story, a semi-structured individual interviews and field diary. The data relating to the identification of the subjects were entered and tabulated by the Microsoft Excel software 2007 version. The drawing analysis and interpretation is given by the significance attributed to the resource chart from title and keywords assigned by the subjects, considering the ESF as an inductive term. The stories and interviews were transcribed and typed and then subjected to read/listen the material and a lexical analysis through Alceste. After this process, the discursive material was analyzed and discussed by theoretical and methodological feature of the Social Representations theory. The majority of health professionals were female, aged between 46 and 52 years old, married, income less than six minimum wage, time since graduation ranged from 22 to 29 years and working time in the ESF range from 02 to 11 years. From the classification system ALCESTE were selected categories identified by: Category 1 - ESF: relations and territory; Category 2 - Training and bond profile; Category 3 - Working process in the ESF; Category 4 - Articulation between teaching and service; Category 5 - Health care and disease prevention. The representational field construction, while a process, followed the logic of structural cores in existing categories. In this sense, it is clear that the ESF is an environment rich in diversity, experience and relationships with potential such as the relationship "very subject-subject" and the link established between professional-community, but also has some weaknesses such as poor working conditions, lack of popular participation and management support, thus difficulties in the achievement of teamwork. Being essential to that end, the teaching-service aimed at the formation of a new health professional able to work in the ESF. In this research, the training of the representational field encountered a diversity of structural cores, or thoughts on training, about the ESF because of the greater emphasis on the here and now of the interaction between health professionals, the ESF, the community, PET Health-UFRN and students, emphasizing that such proposals are still considered as concepts in the context of recent health and that, therefore, are not fully realized in the social imaginary

Avaliação da estratégia saúde da família na capital potiguar

This research aimed to evaluate the Family Health Strategy (FHS) in Natal, Rio Grande do Norte, through its managers, professionals and users, having as its support the Theory of Belief and the Cognitive-Behavioral Theory. This is a multimethod research and is divided into three sub-studies. In the first study, nine managers answered to a semi-structured interview, to verify the knowledge and beliefs on SUS; the quantitative data were analyzed with descriptive statistics with the aid of SPSS software and the qualitative data were submitted to lexical analysis with support of ALCESTE software. In the second study, we have a descriptive correlational research in which the antecedent variables are related to working conditions in the family health units (FHUs) and to the professionals‟ profile; the corresponding variables refer to the evaluations of the FHS; a stratified probabilistic sample with 475 professionals, who answered to two scales, both consisting of three factors: Physical infrastructure, Material resources, and Treatment effectiveness, and data were analyzed using descriptive, bivariate and multivariate statistics, with the aid of SPSS. The third study is a descriptive correlational research in which the antecedent variables refer to the treatment in the FHUs and to the users‟ profile, and the corresponding variables refer to the evaluations of the FHS, with a stratified non-probabilistic sample with 390 users, who contributed to the construction of a new scale with a factor, effectiveness in treatment, analyzed through descriptive, bivariate and multivariate statistics, with the aid of SPSS. The results showed problems which start from management, under the shape of admission due to political indication and lack of knowledge on SUS and the FHS; they pass through the low tenure of professionals and insufficient professional; and they end up spreading all over the analyzed items: infrastructure of FHUs, material resources, professionals‟ training, accessibility and referral system. One concludes that, despite following an ideal model, the FHS is in need of changes with regard to the barriers to its operational reality

Desenvolvimento e validação de técnica quantitativa de análise de imagem para avaliação do teste do cometa corado pela prata

INTRODUÇÃO: O ensaio do cometa ou técnica da eletroforese de células isoladas é largamente empregado para avaliação de danos e reparo do DNA em células individuais. O material pode ser corado por técnicas de fluorescência ou por sal de prata. Este último apresenta vantagens técnicas, como o tipo de microscópio utilizado e a possibilidade de armazenamento das lâminas. A análise dos cometas pode ser feita de modo visual, porém há a desvantagem da subjetividade dos resultados, que pode ser minimizada por análise digital automatizada. OBJETIVOS: Desenvolvimento e validação de método de análise digital de cometas corados por sal de prata. MÉTODOS: Cinquenta cometas foram fotografados de maneira padronizada e impressos em papel. Além de medidas manualmente, essas imagens foram classificadas em cinco categorias por três avaliadores, antes e depois de pré-processadas automaticamente pelo software ImageJ 1.38x. As estimativas geradas pelos avaliadores foram comparadas quanto sua correlação e reprodutibilidade. em seguida, foram desenvolvidos algoritmos de análise digital das medidas, com base em filtros estatísticos de mediana e de mínimo. Os valores obtidos foram comparados com os estimados manual e visualmente após o pré-processamento. RESULTADOS: As medidas manuais das imagens pré-processadas apresentaram maior correlação intraclasse do que as imagens preliminares. Os parâmetros automatizados apresentaram alta correlação com as medidas manuais pré-processadas, sugerindo que este sistema aumenta a objetividade da análise, podendo ser utilizado na estimativa dos parâmetros dos cometas. CONCLUSÃO: A presente análise digital proposta para o teste do cometa corado pela prata mostrou-se factível e de melhor reprodutibilidade que a análise visual.

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

An ontology based for drilling report classification

This paper presents an application of an ontology based system for automated text analysis using a sample of a drilling report to demonstrate how the methodology works. The methodology used here consists basically of organizing the knowledge related to the drilling process by elaborating the ontology of some typical problems. The whole process was carried out with the assistance of a drilling expert, and by also using software to collect the knowledge from the texts. Finally, a sample of drilling reports was used to test the system, evaluating its performance on automated text classification.

Anglicismos no português do Brasil: um estudo lexicográfico Aurélio Houaiss

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento e validação de uma técnica quantitativa de análise de imagem para avaliação do teste do cometa corado pela prata

The comet assay is a method of DNA damage analysis widely used to quantify oxidative damage, crosslinks of DNA, apoptosis and genotoxicity of chemicals substances as chemical, pharmaceuticals, agrochemicals products, among others. This technique is suitable to detect DNA strand breaks, alkali-labile sites and incomplete excision repair sites and is based on the migration of DNA fragments by microeletroforesis, DNA migrates for the anode forming a “tail”, and the formed image has the appearance of a comet. The slides can be stained with fluorescence or silver, having differences in the microscopy type used for the analysis and the possibility of storage of the slides, moreover, the first one is a stained-method with more difficulties of accomplishment. The image analysis can be performed by a visual way, however, there is a disadvantage as the subjectivity on the results, that can be minimized by an automated method of digital analysis. This process was studied in this report with the aim to perceive the validation of the digital analysis turning it a quantitative method with larger reproductibility, minimizing the variability and imprecision due to the subjective analysis. For this validation we selected 50 comets photographed in a standardized way and printed, afterwards, pictures were submitted to three experienced appraisers, who quantified them manually. Later, the images were processed by free software ImageJ 1.38x, printed and quantified manually by the same appraisers. The intraclass correlation was higher to comet measures after image processing. Following, an algorithm of automated digital analysis from the measures of the comet was developed; the values obtained were compared with those 12 estimated manually after the processing resulting high correlation among the measures. The use of image analysis systems increases ...(Complete abstract click electronic access below)

La diagnostica molecolare nel laboratorio di patologia clinica veterinaria

La prima parte del nostro studio riguarda la tecnica LAMP (Loop-mediated isothermal amplification), una tecnica di amplificazione isotermica recentemente inventata (Notomi et al., 2000). Essa presenta notevoli vantaggi rispetto alle tradizionali PCR: non necessita di strumentazioni sofisticate come i termociclatori, può essere eseguita da personale non specializzato, è una tecnica altamente sensibile e specifica ed è molto tollerante agli inibitori. Tutte queste caratteristiche fanno sì che essa possa essere utilizzata al di fuori dei laboratori diagnostici, come POCT (Point of care testing), con il vantaggio di non dover gestire la spedizione del campione e di avere in tempi molto brevi risultati paragonabili a quelli ottenuti con la tradizionale PCR. Sono state prese in considerazione malattie infettive sostenute da batteri che richiedono tempi molto lunghi per la coltivazione o che non sono addirittura coltivabili. Sono stati disegnati dei saggi per la diagnosi di patologie virali che necessitano di diagnosi tempestiva. Altri test messi a punto riguardano malattie genetiche del cane e due batteri d’interesse agro-alimentare. Tutte le prove sono state condotte con tecnica real-time per diminuire il rischio di cross-contaminazione pur riuscendo a comprendere in maniera approfondita l’andamento delle reazioni. Infine è stato messo a punto un metodo di visualizzazione colorimetrico utilizzabile con tutti i saggi messi a punto, che svincola completamente la reazione LAMP dall’esecuzione in un laboratorio specializzato. Il secondo capitolo riguarda lo studio dal punto di vista molecolare di un soggetto che presenza totale assenza di attività mieloperossidasica all’analisi di citochimica automatica (ADVIA® 2120 Hematology System). Lo studio è stato condotto attraverso amplificazione e confronto dei prodotti di PCR ottenuti sul soggetto patologico e su due soggetti con fenotipo wild-type. Si è poi provveduto al sequenziamento dei prodotti di PCR su sequenziatore automatico al fine di ricercare la mutazione responsabile della carenza di MPO nel soggetto indicato.

DIFFERENTIATING PATH AND SOURCE PROCESSES IN COMPLEX GEOLOGIC STRUCTURE THROUGH PASSIVE SEISMIC STUDIES: BERING GLACIER, ALASKA AND VILLARRICA VOLCANO, CHILE

Measuring shallow seismic sources provides a way to reveal processes that cannot be directly observed, but the correct interpretation and value of these signals depend on the ability to distinguish source from propagation effects. Furthermore, seismic signals produced by a resonating source can look almost identical to those produced by impulsive sources, but modified along the path. Distinguishing these two phenomena can be accomplished by examining the wavefield with small aperture arrays or by recording seismicity near to the source when possible. We examine source and path effects in two different environments: Bering Glacier, Alaska and Villarrica Volcano, Chile. Using three 3-element seismic arrays near the terminus of the Bering Glacier, we have identified and located both terminus calving and iceberg breakup events. We show that automated array analysis provided a robust way to locate icequake events using P waves. This analysis also showed that arrivals within the long-period codas were incoherent within the small aperture arrays, demonstrating that these codas previously attributed to crack resonance were in fact a result of a complicated path rather than a source effect. At Villarrica Volcano, seismometers deployed from near the vent to ~10 km revealed that a several cycle long-period source signal recorded at the vent appeared elongated in the far-field. We used data collected from the stations nearest to the vent to invert for the repetitive seismic source, and found it corresponded to a shallow force within the lava lake oriented N75°E and dipping 7° from horizontal. We also used this repetitive signal to search the data for additional seismic and infrasonic properties which included calculating seismic-acoustic delay times, volcano acoustic-seismic ratios and energies, event frequency, and real-time seismic amplitude measurements. These calculations revealed lava lake level and activity fluctuations consistent with lava lake level changes inferred from the persistent infrasonic tremor.

Novel autoantigens immunogenic in COPD patients

Background Chronic obstructive pulmonary disease (COPD) is a respiratory inflammatory condition with autoimmune features including IgG autoantibodies. In this study we analyze the complexity of the autoantibody response and reveal the nature of the antigens that are recognized by autoantibodies in COPD patients. Methods An array of 1827 gridded immunogenic peptide clones was established and screened with 17 sera of COPD patients and 60 healthy controls. Protein arrays were evaluated both by visual inspection and a recently developed computer aided image analysis technique. By this computer aided image analysis technique we computed the intensity values for each peptide clone and each serum and calculated the area under the receiver operator characteristics curve (AUC) for each clone and the separation COPD sera versus control sera. Results By visual evaluation we detected 381 peptide clones that reacted with autoantibodies of COPD patients including 17 clones that reacted with more than 60% of the COPD sera and seven clones that reacted with more than 90% of the COPD sera. The comparison of COPD sera and controls by the automated image analysis system identified 212 peptide clones with informative AUC values. By in silico sequence analysis we found an enrichment of sequence motives previously associated with immunogenicity. Conclusion The identification of a rather complex humoral immune response in COPD patients supports the idea of COPD as a disease with strong autoimmune features. The identification of novel immunogenic antigens is a first step towards a better understanding of the autoimmune component of COPD.