961 resultados para conformance checking


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work demonstrates the results obtained from research on violence against women: an analysis of the work from reference center of the Social Assistance-CREAS, held in the city of Parnamirim/RN from September 2008 extending through the february of 2009. Having as goal to investigate and examine in a longitudinal cut, which specifically covers the period from 2006 to 2007, find out extent the actions taken by the Reference Center Specialized Social Assistance- CREAS, contributed to the change of women who were there, by checking if there was any change in their positions ahead of the violence and if they began to realize how social subjects, able to control their living conditions and interfere in the orientation of social dynamics Have a particular emphasis on the presence of work and schooling or lack of them is also a factor to be allied to the barriers and rules imposed on women in contemporary society. In this study it was found through a qualitative research guided by dialectical and implemented through the use of documentary research, observation, semi-structured interview and an extensive theoretical background on the subject in question that the woman victim of violence is in a complex and contradictory context where there is both the construction and deconstruction of rights, a view that there are strong influences of patriarchal culture and the consequences of social issues that specifically searched for the public, focuses on social, economic , political, social and cultural. In this sense, the National Policy to Combat Violence against Women, operated by CREASE Parnamirim, is also reflected in its early stages in the life of these women are to nurture a real chance for these victims of violence, to perceive themselves as social subjects can control their lives and interfere in their own destinies. We want this study to add more knowledge to help and most appropriate intervention in this reality, but without the intention of reaching exhaustion, but to subsidize future studies on the topic of women victims of violence

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work demonstrates the results obtained from research on violence against women: an analysis of the work from reference center of the Social Assistance-CREAS, held in the city of Parnamirim/RN from September 2008 extending through the february of 2009. Having as goal to investigate and examine in a longitudinal cut, which specifically covers the period from 2006 to 2007, find out extent the actions taken by the Reference Center Specialized Social Assistance-CREAS, contributed to the change of women who were there, by checking if there was any change in their positions ahead of the violence and if they began to realize how social subjects, able to control their living conditions and interfere in the orientation of social dynamics Have a particular emphasis on the presence of work and schooling or lack of them is also a factor to be allied to the barriers and rules imposed on women in contemporary society. In this study it was found through a qualitative research guided by dialectical and implemented through the use of documentary research, observation, semi-structured interview and an extensive theoretical background on the subject in question that the woman victim of violence is in a complex and contradictory context where there is both the construction and deconstruction of rights, a view that there are strong influences of patriarchal culture and the consequences of social issues that specifically searched for the public, focuses on social, economic , political, social and cultural. In this sense, the National Policy to Combat Violence against Women, operated by CREASE Parnamirim, is also reflected in its early stages in the life of these women are to nurture a real chance for these victims of violence, to perceive themselves as social subjects can control their lives and interfere in their own destinies. We want this study to add more knowledge to help and most appropriate intervention in this reality, but without the intention of reaching exhaustion, but to subsidize future studies on the topic of women victims of violence

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

JUSTIFICATIVA E OBJETIVOS: Injeção inadvertida de medicamentos de uso não espinhal nos espaços peridural e subaracnóideo é uma complicação anestésica passível de ocorrer. Este relato apresenta um caso de injeção inadvertida de metoclopramida no espaço subaracnóideo. RELATO do CASO: Paciente do sexo feminino, 17 anos, 69 kg, IMC de 26.2, estado físico ASA I, 36 semanas e 4 dias de gestação, com diagnóstico de sofrimento fetal agudo, e indicação de cesariana. Apresentava freqüência cardíaca de 82 bpm, pressão arterial de 130 x 70 mmHg, SpO2 de 97%, ritmo cardíaco sinusal regular. A anestesia foi por via subaracnóidea com a associação de anestésico local e opióide, 15 mg de bupivacaína hiperbárica a 0,5% e 25 µg de fentanil. Após 5 minutos da instalação do bloqueio, a paciente referiu mal estar inespecífico. Aferidas pressão arterial, 190 x 120 mmHg, freqüência cardíaca, 145 bpm, e SpO2, 95%. Verificando-se as ampolas cujos conteúdos foram administrados encontrou-se uma de bupivacaína e uma de metoclopramida. O quadro se apresentou com cefaléia frontal intensa, visão turva, náuseas, vômitos e agitação inicial, que evoluiu para sonolência e torpor, além de hipertensão arterial e taquicardia. Foram administrados tramadol, dipirona, ondansetron e medidas de suporte. Após 30 minutos, a paciente apresentava-se assintomática, com PA de 150 x 100 mmHg e FC de 120 bpm. Recebeu alta para a enfermaria 140 minutos após permanência na SRPA, com total reversão dos bloqueios motor, sensitivo e autonômico, e normalização dos parâmetros hemodinâmicos. Recebeu alta hospitalar 48 horas após, sem apresentar seqüelas neurológicas, juntamente com o recém-nascido. CONCLUSÕES: Máxima atenção deve ser dada a qualquer medicamento administrado, seja qual for à via utilizada. Padronização de cores de ampolas, e dos locais de depósito, com o intuito de diminuir este tipo de acidente é recomendável.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The vast hidric wealth of Brazil gets its watersheds more susceptible to impacts that compromise the water quality, affecting the ecosystem stability of aquatic environments. The decrease in the quality of water resources also results in a decrease of its multiple uses, especially in tourist areas of the coast, where the continuous flow of people to these sites increases even further the probability of inappropriate behavior of both tourists and local residents. Studies regarding the microbiological communities are still scarce, especially on the free-living protozoa that play unique roles in the food chain of aquatic ecosystems. Due to the large role played by this group of microorganisms in aquatic environments, the present study aimed at identifying the genus and species of free-living protozoa present in two sections of the Pium River, east coast of Rio Grande do Norte, making an association between the its occurrence and trophic conditions of the environment in which they are, also checking the bioindicator capacity of these organisms in water quality. It also aimed to conduct a survey with students to identify the main difficulties regarding the knowledge of free-living protozoa and hydric transmission diseases in two public schools near the river studied in the Pium district, county of Parnamirim. The survey was analyzed by means of questionnaires at both schools. Students identified several activities developed Pium river, highlighting its multifunctionality and importance to the region. A total of 76 taxa of free-living protozoa was recorded, of these, 33 were ciliates, 19 flagellates and 24 sarcodia. The spatial and temporal patterns of these organisms to both points studied revealed the bioindicator potentiality of some effective species identified. However, knowledge about the free-living protozoa proved quite lagged, presenting misconceptions that show them as pathogenic organisms exclusively, totally disregarding their ecological role. In order to remedy the flaws existing in students in relation to the functional role of protozoa, workshops were planned on these microorganisms while also addressing issues related to hydric transmission diseases through lectures, recreational activities and interactive presentations. These practical activities of Science Education had the goal of bringing students the context of local water resources, aiming to promote a greater clarification regarding of the functional role of free-living protozoa in aquatic environments

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The study area is inserted in Ponta do Tubarão region, Macau City, setentrional littoral of Rio Grande do Norte State, composed of Tertiary and Quatemary sedimentary rocks and sediments. This region is characterized for the intense action of the coastal processes, causing the morphologic instability in part of the area, beyond the interference of human activities, as the Petroliferous Industrial Polo, salt companies and shrimp farms. This justifies the integration of multidisciplinary and multitemporal detailed scientific studies dealing with the evaluation of the changing behavior of this coastal environment by geoenvironments elements characterization, identifying protected and recuperation areas, mainly those under socioeconomic intervention. The main objective was the coastal monitoring using geoprocessing techniques to prepare thematic maps useful for oil spilling environment risk areas survey. The methodology was based on multitemporal interpretation of remote sensing images and field checking, integrated in a Geographical Information System (GIS). The Geologic, Geomorphologic, Vegetation, Soil and Land Use maps were prepared, and later on they allowed the generation of the Natural Vulnerability and Environmental Vulnerability maps. These maps had been classified in accordance with vulnerability degrees: very low, low, medi um, high and very high. Beyond these maps the GIS allowed the analysis of the shoreline evolution for 10 distinct dates, using Landsat 5 TM and 7 ETM+ and SPOT-HRVIR images. This analysis made possible the attendance of the coastal morphodynamic evolution, where the results had been represented by areasof erosion and accretion (or deposition) of sediments, pointing critical areas under erosive process to the petroliferous industry (Macau and Serra fields). The GIS also provided to prepare the Environmental Sensitivity Maps of Oil Spill (SAO Maps) in operational scale (1: 10.000), according to the norms ofthe Ministério do Meio Ambiente (MMA 2002). The SAO Map in operational scale was based on IKONOS images mosaic where the ESI (Environmental Sensitivity Index) was represented according with two tides phases of theregion. Therewere recognizedfiveESI (3, 4,7,9, 1O) for the low tide; to the high tide the ESI number increased to seven (3, 4, 5, 7, 8, 9, 10). All these information are necessary to the decisions making about oi! spill and its derivatives containment. These techniques application makes possible the optimization and implantation ofnew socioeconomics activities of low environmental impact, indicates areas for better productivity and security exploration, and benefits local communities with fauna and flora preservation. The development of these activities is inserted in the scope of Monitoramento Ambiental de Áreas de Risco a Derrames de Petróleo e Seus Derivados Cooperation Project (Rede 05/01 - PETRORISCO, FINEP/CTPETRO/PETROBRAS) of multidisciplinary and interinstitucional characteristics dealing with subjects involving the environmental monitoring and the petroliferous activity

Relevância:

10.00% 10.00%

Publicador:

Resumo:

With process urbanization process the Brazilian cities have been goin through, Natal/RN does not differ from the other ones, it has had a fast, inordinate and planned urbanization, but not applied, it has caused a high increase of social environmental problems. One of the worrying problems observed is the change in the coastal landscape, which has caused serious damage to the city‟s population, more specifically, of Ponta Negra beach neighborhood. For the geographical studies, the issue, concerning the occupation of the beaches that has been getting higher and higher in the last decades is extremely important because these, in addition to being used as homes in the new urban configuration, have incorporated new ways of environmental interference, without a simultaneous advance of knowledge which would be necessary for a more suitable and rational use of litoral spaces. Thus, the current assignment aimed to focus the coastal landscape of Ponta Negra Beach, in the city of Natal/RN, checking and analyzing the effects caused by anthropic and natural action, and the way it reflects in the quality of life of the resident, working population and of the frequenters as well as the landscape transformations in the area which is object of study, from 1970 through 2010. The methodology used followed to stages, the first concerned the theoretical work bibliographic surveying and composition; and second one the empirical work marking of the environmental characterization and application of the questionnaires. So, we can measure that Ponta Negra, is very susceptible to environmental changes, the ones caused by the natural dynamics of the beach, as well as the human actions (society) in this really fragile and mutable space, so it needs, a more profound systematic study about the coastal landscape. In order to reach a minimization of the change of the landscapes in the coastal zones there must be an integrated management of the environments, based on the planning of actions and territorial reordination of the occupations of these so important spaces, environmentally, as well as socioeconomically. Whereas, only this way, we will have a sustentable development and a suitable use of that space

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Obsessive-compulsive disorder is a very heterogeneous condition, not always easy to be identified. Obsessions are intrusive thoughts, impulses or images that cause anxiety or other emotional discomfort, whereas compulsions are repetitive behaviors or mental acts voluntarily performed to counterbalance or minimize the discomfort, or magically prevent any feared events. The most common symptoms are contamination, aggressive, somatic and sexual obsessions and washing, checking, repeating, counting and ordering compulsions. Patients usually have multiple symptoms simultaneously, which often change over time. Although the insight is typically preserved, it varies among patients and also fluctuates in the same patient in different ocasions. The main features are: exacerbated appraisal of risks, pathological doubts and incompleteness, as well as excessive sense of responsibility and guilt and thought/action fusion. As patients frequently feel ashamed of their symptoms, they can be reticent about them. Consequently, it usually takes time till they get adequate treatment.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

INTRODUÇÃO: Há indícios de que a deterioração das condições de trabalho ocorrida em anos recentes influencie a mortalidade. O objetivo do estudo é estimar indicadores de mortalidade para a população de Botucatu, classificada de acordo com as ocupações exercidas. MÉTODO: Foram calculados os indicadores coeficiente de mortalidade padronizado (CMP), razão de risco padronizada e anos potenciais de vida perdidos (APVP) para a população de Botucatu, em 1997, segundo ocupações e causas básicas do óbito. RESULTADOS: Os indicadores CMP e APVP variaram entre 0,6 e 39,9 óbitos/1000 trabalhadores e entre 33 e 334 anos/1000 trabalhadores, respectivamente, de acordo com a ocupação principal exercida. Observou-se que a ordenação quantitativa das causas de óbito depende da ocupação e do indicador utilizado. CONCLUSÕES: Os indicadores de mortalidade verificados apresentam uma grande heterogeneidade quando analisados de acordo com ocupação e causas básicas de óbito, refletindo a enorme desigualdade social existente na população estudada.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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