54 resultados para unidade
Resumo:
Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies
Resumo:
The loss of Earth´s biodiversity is a major concern for the international scientific community and megadiverse countries like Brazil are paramount for discussions about the overall situation of the planet. The Caatinga biome is probably one of the most threatened in Brazil and the implementation of Conservation Units (CU) represents a measure for protecting its natural resources and biodiversity. The Station Ecological of Seridó (ESEC-Serido) is one of the few CU in the Caatinga of Rio Grande do Norte State (NE Brazil) and interacts with several neighboring communities and settlements. However the ESEC does not integrate environmental perception feedback from the local communities in its management plan. Considering this, the present articles aims at identifying the perceptions and concepts of such communities regarding environmental issues and biodiversity as well as indicate strategies to improve the administration of this CU. In order to achieve these goals, a review of the specialized literature was carried out and a research tool based on Environmental Perception was developed in the form of structured interviews applied to the persons from communities neighboring the ESEC. These interviews were later processed through content analysis. The concepts and perceptions obtained through this analysis show that the people from the environs are aware of the main problems faced by ESEC-Seridó, as well as the strategies to address them
Resumo:
Important issues involving the awakening to the need for conservation of biodiversity and the importance of establishing protected areas as a strategy in pursuit of environmental protection, are increasingly being developed in biological and social investigative fields. In this sense, this research aimed to emphasize the use of environmental perception of social agents are significant elements for the understanding of the man / nature, and develop educational activities aimed at raising awareness and changing attitudes towards environmental issues thus promoting reflections on Environmental Education (EE) as a critical and transformative tool for conservation of rich biological diversity. This research covers as a place of study, schools located in the Environmental Protection Area Jenipabu (APAJ), Rio Grande do Norte. Methodology in general, we highlight the use of questionnaires and mind maps as generators of the contents of empirical research, and execution of content analysis for the treatment of data collected. This dissertation has two chapters in the form of scientific articles, where the first is entitled: "Study of the perceptions and evaluation of interactions concerning environmental education in schools in a conservation area of Rio Grande do Norte - Brazil", obtaining thus a primary diagnosis for analysis about the visions that students and teachers from two schools located in APAJ have on the environment. The second article, entitled: "Effective and analysis of educational activities that promote biodiversity in a coastal area of Environmental Protection Northeast - Brazil" provides an analysis of the educational use of biodiversity as a way to raise awareness of the need for environmental conservation. It appears from research that there is a lack of training in EA by teachers, but there is a need for greater involvement of students in conservation areas, however, from the analysis of educational activities, we observed that the effectiveness of such actions acts to promote awareness and change in actors involved. Thus, environmental education needs to take into account the different perceptions found in each individual, and it can not be based solely on transmission of knowledge, so that we reach a model of conservation.
Resumo:
The scarcity of occurrence records of culicid species, transmitting insects of etiologic agents for arboviruses, protozoan diseases and philarioses, and lack of information about their interactions with the forest environment make the Caatinga one of the most unknown biomes in Brazil. The aim of this study was to identify culicid species in a conservation unit located in a preserved area of the Caatinga and the possible associations with local abiotic factors, as well as characterize the natural and artificial ecotopes present in the Caatinga of Rio Grande do Norte state. The Ecological Station of Serido (ESEC-Seridó) is a Caatinga Conservation Unit located in a rural area of Rio Grande do Norte. The hot and dry climate of the Caatinga, along with a short rainy season, favor the adaptation and resistance of plants, resulting in completely distinct landscapes over the course of the year. The study took place over the course of one year, with monthly collections between 10h-12h, 14h-16h and 18h-20h. Adult mosquitoes were collected in a forest area using a manual suction trap with human bait as attractant at the three times and a Shannon trap for night collections. During the rainy season ovitraps were randomly distributed at different sites. The different capture sites were observed and photographed. Immature and adult insects captured were taken to the laboratory for identification. Of the 5081 insects collected in human-bait and Shannon traps, 75% were Mansonia wilsoni. In addition, Aedeomyia, Aedes, Anopheles, Coquillettidia, Culex, Haemagogus, Mansonia and Psorophora were identified. Of the 92 Haemagogus eggs found, 71 were collected on the banks of a reservoir. Mosquito larvae were found and photographed in an artificial breeding site of a neighboring rural area. Humidity had the greatest influence on culicid density in the Caatinga. Rain was important in the appearance of Haemagogus, Anopheles, Aedes and Psorophora. Temperature had a negative influence on Anopheles triannulatus. The occurence of important vector species of diseases in a little known preserved area of the Caatinga as well as environmental and sociocultural questions are factors that favor the emergence of transmitting insects, making these areas potential subject to the resurgence of diseases
Resumo:
The conservation unities emerged in response to the environmental damages. In the Atlantic Forest of the Brazilian Northeast, the most of the damages come from the sugar-cane agro-industry, especially by the deforestation for the introduction of sugar-cane fields and installation of the industry structure. Besides the damages over the biodiversity, there are critical social problems that affect the communities which survive using directly or indirectly the biome from the Atlantic Forest. The objective of this research is to analyze the social impacts on the fishermen of Baía Formosa/RN generated by the changes and socio-environmental transformations occurred starting the installation of a sugar-cane factory and the creation of a conservation area in the municipality of Baía Formosa/RN community. The research is based on a qualitative and diachronic perspective, for both approach, it was used the method of oral history in conjunction with the literature search and some technical and research tools such as direct observation, interview, records images and recordings . The results show that social and symbolic practices of the community in the conservation unit Mata Estrela last more strongly presented. Today fewer natural resources are used, due to factors such as limit access to forest and disappearance of some natural resources by deforestation. It is believed that the loss of free access to space for the community is the most significant negative impact, as promoted changes in the relationship of the community with the Star Forest that contributed to the fading of their social and symbolic practices. The loss of free access caused the decline in the practice of agriculture, which resulted in the loss of one of the means of social reproduction of the community
Resumo:
In the current work are presented the results about the study of digital mapping of analogs referents the fluvial oil reservoirs in the Açu Formation. With the regional recognizing in the south corner of Potiguar Basin was selected a area of 150 Km square in the west of Assu city. In this area was chosen the outcrops for the digital mapping and from the data fields and remote sensors were done the depositional architectural for the fluvial deposits, which it was named coarse meandering fluvial systems. In the deposits were individualized 3 (three) fluvial cycles, which they was separated by bounding surface of fifth order. Such cycles are preferentially sandy, with fining-upward sequence finished in flood plain deposits. Inner of the sandy levels of the filling channels were characterized least cycles, normaly incomplete, constituted by braided sandy bodies and bounding surfaces of fourth order. In the mapped area was chosen a outcrop with great exposition, where it was possible to see tipical deposits of filling channel and was in this outcrop that was done the digital mapping. In this outcrop was used diverse technics and tools, which they integrated sedimentological, altimetric (GPS, Total Station), LIDAR (Light Detection and Ranging), digital photomosaic of high resolution and of the inner geometries (Ground Penetration Radar) data sets. For the integrating, interpretation and visualization of data was used software GoCAD®. The final product of the outcrop digital mapping was the photorealistic model of part of the cliff (or slope) because the observed reflectors in the radargrams were absents. A part of bar oblique accretion was modeled according to GPR gride of 200x200 meters in the alluvial Assu river probable recent analog. With the data of inner geometries was developed the three-dimentional sedimentary architectural, where it was possible characterize sand sheet deposits and many hierarchy of braided channels. At last, simulations of sedimentary geometries and architectures of the Potiguar Basin Fluvial Reservoirs were done with PetBool software, in order to understand the capacity of this program in simulations with a lot of numbers of conditioning wells. In total, 45 simulations was acquired, where the time and the channel numbers increase in relation of the conditioning wells quantity. The deformation of the meanders was detected from the change of simulated dominion dimensions. The presence of this problem was because the relationship between the simulated dominion and the width of the meander
Resumo:
Biological rhythms are part of the life from the simplest to the most complex living beings. In humans, one of the most important biological rhythms is the sleep-wake cycle (SWC), which represents an indispensable behavior for health, since sleep deprivation can lead to deficits in attention and memory, mood and daytime sleepiness which may affect school performance. Nevertheless, the SWC is a content rarely discussed in schools. Thus, the aim of this research was to address contents of the sleep-wake cycle, related to the content of Health to encourage healthy sleep habits. This study was conducted in a public school with 33 students of the 3rd year of high school and is divided into four stages: 1st) Study and analysis of the content of the textbook adopted by the school to subsidize the activities covered in the teaching unit (TU) and approximation with the biology teacher from the class to evaluated the feasibility of schedules for the development of TU; 2nd) Survey of students' prior knowledge, through a questionnaire, to guide the development of the TU; 3rd) Development and implementation of a TU based on meaningful learning and characterization of the students sleep habits, 4th) Evaluation of the TU as a viable proposal to teach biological rhythms concepts. Previous knowledge of students about the SWC are scarce and this content is not covered in the books adopted by the school. Alternative conceptions were observed, particularly with regard to individual differences in sleep, which may contribute to the occurrence of inadequate sleep habits, as reported by the adolescents in this study. The activities developed during UD were well received by the students who showed participative, motivated and evaluated positively the procedures used by the researcher. After the TU, students' knowledge about the concept of biological rhythms has been increased and they started to identify that the SWC changes throughout life and occur due biological and socio-cultural factors. Thus, the UD elaborated in this study represents a viable proposal to teach the concepts of biological rhythms contextualized to the content of Health, in high school
Resumo:
The evidence of the water theme in news reports is configured as an important topic of interest to contextualize, problematize and/or generate meaning in the midst of discussion of a content from different levels of education and/or disciplines of basic education. The possibilities to use this theme in classroom is also highlighted in Brazilian official documents that guide the practice of teachers of all Brazilian curricular components of this educational level. So, the theme water can be used as subsidy to teach chemistry, since contextualises the teaching of this discipline aiding in the discussion of different chemical concepts. In this perspective, the meaningful learning theory, developed by David Ausubel, has constructivist nature and says that an individual learns significantly when he can relate new information with a specific knowledge structure that integrates the prior knowledge of its structure. In this sense, the use of water as a theme for the approach prior knowledge of chemical concepts has already been characterized as an important topic that can give meaning to the content of education in chemistry. In this dissertation, a teaching unit potentially significant (TUPS) is presented based on meaningful learning theory of David Ausubel approaching the theme water. approaching the theme water. The unit was used in a class of thirty-five students of the 2nd year of high school, a public school in the city of Extremoz-RN, metropolitan region of Natal / RN. Through it was possible to discuss an issue of interest to students of the school to address the chemical contents, such as solutions, physicochemical aspects and stages of water treatment. At first, an initial questionnaire was used to identify the students' previous ideas on the topic under study to the concept of chemical solutions. It was subsequently developed and implemented a series of activities based on students' ideas. To subsidize the sequence, it was prepared four booklets that worked the content of chemical solutions, contextualizing the theme water. The results of this work showed that the alternative conceptions that students have about concepts related to the chemical solutions are similar to the ideas of other students presented in the literature and that the development of the TUPS, allied to the contextualization strategy with the theme water, not only motivated the students for the teaching of chemical content, as yet provided the learning of chemical concepts not in isolation, but making a connection between their ideas and experiences with scientific knowledge. To this, beyond of dialogued lectures, were also used strategies as experimental activities, problem solving, group discussions and construction of concept maps. The final evaluation of the unit was conducted by a questionnaire based on the Likert scale, answered individually by students, who approved the unit as conducive to teaching and learning of chemistry process
Resumo:
In this dissertation we propose a Teaching Unit of Physics to teach content through environmental discussions of the greenhouse effect and global warming. This teaching unit is based on a problem-methodological intervention from the application of the method of the Arch of Charles Maguerez. The methodological foundations of the thesis are embedded in action research and this is structured in five chapters: the first chapter deals with the Physical Environment (FMA) as a subject in Degree Courses in Physics in Brazil, bringing the concern of how this discipline has been taught. We started the first chapter explaining the reasons behind the inclusion of the discipline of Physical Environment in a Physics Degree Courses. Then we did a search on the websites of Institutions of Higher Education, to know of the existence or not of this discipline on curricular. We then analyzed the menus to see what bibliographies are being adopted and what content of Physics are being worked, and how it has been done. The courses surveyed were those of Federal and Federal Institutes Universities. Thus ended the first chapter. Given the inseparability between studies in Physics Teaching and studies on competencies, skills and significant learning, wrote the second chapter. In this chapter we discuss the challenge of converting information into knowledge. Initially on initial teacher training, because even if this is not our focus, the study is a discipline on the upper reaches, therefore, offered to future teachers. Then we talked about the culture of knowledge, where we emphasize the use of a teaching approach that promotes meanings taught by content and make sense to the student. We finished the third chapter, making some considerations on skills and abilities, in order to identify what skills and competencies were developed and worked during and after the implementation of Curriculum Unit. The third chapter is the result of a literature review and study of the radioactive EarthSun interaction. The subjects researched approach from the generation of energy in the sun to topics stain solar coronal mass ejections, solar wind, black body radiation, Wien displacement law, Stefan-Boltzmann Law, greenhouse effect and global warming. This chapter deals with material support for the teacher of the aforementioned discipline. The fourth chapter talks about the arc method of Charles Maguerez; Here we explain the structure of each of the five steps of the Arc and how to use them in teaching. We also show another version of this method adapted by Bordenave. In the fifth and final chapter brought a description of how the method of Arc was used in physics classes of Environment, with students majoring in Physics IFRN Campus Santa Cruz. Here, in this chapter, a transcript of classes to show how was the application of a problem-based methodology in the teaching of content proposed for Physics Teaching Unit from the environmental discussion about the greenhouse effect and global warming phenomena
Resumo:
The sizing of nursing human resources is an essential management tool to meet the needs of the patients and the institution. Regarding to the Intensive Care Unit, where the most critical patients are treated and the most advanced life-support equipments are used, requiring a high number of skilled workers, the use of specific indicators to measure the workload of the team becomes necessary. The Nursing Activities Score is a validated instrument for measuring nursing workload in the Intensive Care Unit that has demonstrated effectiveness. It is a cross-sectional study with the primary objective of assessing the workload of nursing staff in an adult Intensive Care Unit through the application of the Nursing Activities Score. The study was conducted in a private hospital specialized in the treatment of patients with cancer, which is located in the city of Natal (Rio Grande do Norte – Brazil). The study was approved by the Research Ethics Committee of the hospital (Protocol number 558.799; CAAE 24966013.7.0000.5293). For data collection, a form of sociodemographic characteristics of the patients was used; the Nursing Activities Score was used to identify the workload of nursing staff; and the instrument of Perroca, which classifies patients and provides data related to the their need for nursing care, was also used. The collected data were analyzed using a statistical package. The categorical variables were described by absolute and relative frequency, while the number by median and interquartile range. Considering the inferential approach, the Spearman test, the Wald chi-square, Kruskal Wallis and Mann-Whitney test were used. The statistically significant variables were those with p values <0.05. The evaluation of the overall averages of NAS, considering the first 15 days of hospitalization, was performed by the analysis of Generalized Estimating Equations (GEE), with adjust for the variable length of hospitalization. The sample consisted of 40 patients, in the period of June to August 2014. The results showed a mean age of 62,1 years (±23,4) with a female predominance (57,5%). The most frequent type of treatment was clinical (60,0%), observing an average stay of 6,9 days (±6,5). Considering the origin, most patients (35%) came from the Surgical Center. There was a mortality rate of 27,5%. 277 measures of NAS score and Perroca were performed, and the averages of 69,8% (±24,1) and 22,7% (±4.2) were obtained, respectively. There was an association between clinical outcome and value of the Nursing Activities Score in 24 hours (p <0.001), and between the degree of dependency of patients and nursing workload (rp 0,653, p<0,001). The achieved workload of the nursing staff, in the analyzed period, was presented high, showing that hospitalized patients required a high demand for care. These findings create subsidies for sizing of staff and allocation of human resources in the sector, in order to achieve greater safety and patient satisfaction as a result of intensive care, as well as an environment conducive to quality of life for the professionals
Resumo:
L'obiettivo di questa tesi è quello di sviluppare una analisi dell'idea dell'immortalità dell'anima dalle Enneadi di Plotino attraverso la comprensione del discorso dell'anima come eterno, e unità-pluralità ricerca di semplicità con la Uno sulla temporalità del corpo multiple. Per fare ciò, abbiamo iniziato cercando di analizzare brevemente le plotinianas ipostasi (l'Uno, lo spirito e l'anima) per stabilire meglio le basi del pensiero di Plotino quando si discute l'idea dell'anima e la sua immortalità. Cerchiamo di esaminare il pensiero epistéme di Plotino e la sua dialettica, al fine di sviluppare una comprensione del rapporto tra materia e forma sensibile e intelligibile. In questo modo, si sviluppa nelle Enneadi di Plotino il ruolo fondamentale del Logos e il Logoi nella formazione dell'anima. Analizziamo anche la processione (Proódos) e ritorno (Epistrophé) le implicazioni degli aspetti dell'eternità sulla purificazione dell'anima nella temporalità del corpo. Cerchiamo in ultima analisi, l'idea dell'immortalità dell'anima dalla conoscenza stessa immortalità sulla semplicità di Colui, cioè, l'ultima volta che la ricerca della conoscenza di sé dalla dimenticanza di sé per è solo con l'Uno: il "Elimina ogni cosa" (Aphele pánta).
Resumo:
This work proposes the use of the behavioral model of the hysteresis loop of the ferroelectrics capacitor as a new alternative to the usually costly techniques in the computation of nonlinear functions in artificial neurons implemented on reconfigurable hardware platform, in this case, a FPGA device. Initially the proposal has been validated by the implementation of the boolean logic through the digital models of two artificial neurons: the Perceptron and a variation of the model Integrate and Fire Spiking Neuron, both using the model also digital of the hysteresis loop of the ferroelectric capacitor as it’s basic nonlinear unit for the calculations of the neurons outputs. Finally, it has been used the analog model of the ferroelectric capacitor with the goal of verifying it’s effectiveness and possibly the reduction of the number of necessary logic elements in the case of implementing the artificial neurons on integrated circuit. The implementations has been carried out by Simulink models and the synthesizing has been done through the DSP Builder software from Altera Corporation.
Resumo:
The study aimed to analyze the field of nursing diagnoses safety / protection of NANDA International present in patients in the Intensive Care Unit. This is a crosssectional study in intensive care complex of a university hospital in northeastern Brazil. The research took place in two stages. The first step was to collect data through an interview form and physical examination, with 86 patients admitted to the unit, during the months of December 2013 to May 2014. Spreadsheets were built in Microsoft Office Excel 2010 Software in which were marked by the researcher of this study, the presence or absence of defining characteristics, related factors and risk factors of the 31 studied diagnoses. In the second stage, held between July and August 2014, the sheets were sent to three diagnosticians, previously trained to perform the diagnostic inference. Data were analyzed using descriptive and inferential statistics for the diagnoses that showed higher frequencies than 50%, using IBM SPSS version 20.0 for Statistic Windows.O project was approved by the 440/414 and Presentation Certificate for Ethics Assessment number 22955113 .2.0000.5292. The results indicated the presence of 29 field of nursing diagnoses safety / protection in hospital clientele in the Intensive Care Unit, of which five were present in 100% of patients, namely: Risk of contamination, injury risk, falls risk,risk of allergic response and risk of trauma. Diagnoses that presented more frequently than 50% were: Risk of infection, dry eye risk, poisoning risk, vascular trauma risk, impaired skin integrity, impaired dentition, bleeding risk, risk imbalance in body temperature, Risk perioperative positioning injury, impaired tissue integrity, peripheral neurovascular dysfunction Risk, Risk adverse response to contrast media with iodine, shock Hazard and Risk of aspiration. For these analyzes, we identified 35 risk factors, 11 defining characteristics and three related factors showed statistically significant association with the studied diagnoses. For diagnostics: Risk of contamination, injury risk, falls risk, allergic response risk, trauma Risk, Risk of infection, dry eye risk and risk poisoning there was no association with any of their risk factors. We conclude that most of the area of nursing diagnoses safety / protection feature is prevalent in critically ill patients, with special attention to the risk diagnoses. There was a significant association between these diagnoses and its components. It is noteworthy, therefore, that the lifting of this profile contributes relevant clues to the inference of the priority nursing diagnoses domain safety / protection in the study population, supporting the practice of nursing and stimulating knowledge on the subject.
Resumo:
The attention to health issues in aging has increased and it becomes a challenge for public policies directed to the elderly. This study aimed at learning the social representations built by seniors about the service in the Family Health Unit. It is an exploratory study, funded by the Theory of Social Representations of Moscovici. It was held at the Health Unit of the Family Felipe Shrimp, located in the neighborhood Felipe Shrimp in the city of Natal / RN-Brazil. The participants were one hundred and two elderly / as, served by the Family Health Strategy. The data collection period was extended from July to September 2014. Data were collected through the Word Free Association Test and Interview semi-structured, and analyzed with the help of EVOC software. Interviews were conducted with 20 elderly and subjected to content analysis. The research was approved by the Ethics Committee of the University Hospital Research Onofre Lopes, in the opinion 704,323. It was possible to apprehend negative connotations regarding attendance, listing it as bad and disrespectful, and the limited hours of service, difficult to schedule appointments and tests and inadequate infrastructure, the most marked aspects. Seniors express satisfaction with the medical care, however, they understand that it is necessary that all services are properly integrated to a qualified service. The statements reveal that the service in the drive needs to implement new strategies host for users to participate more in educational and health promotion. It is noted, the need of integrated care, the host of qualified hearing in the health services that they address the elderly seeking care at the clinic of the family, so sticking to the principles of the Unified Health System.
Resumo:
Objective: Evaluate the determinants of morbidity and mortality in an obstetric intensive care unit and professional medical skills of students/residents at a university hospital. Methods: observational cross - sectional with 492 pregnant/pue rperal women and 261 students/residents. Patients were admitted to the obstetric intensive care unit during a year, being informed about the proposals of the study and a questionnaire was applied. The analysis was performed using Microsoft Excel 2013 and G raphPad6. Chi - square tests were used to evaluate risk factors and student t test evaluates resident/students' skills concerning the cognitive test and the Mini - Cex. Results: the main risk factors to near miss were: non - white race (OR = 2.527; RR = 2.342) ; marital status(married women) (OR = 7.968; RR = 7.113) , schooling (primary) (OR = 3.177 ; RR = 2.829) , from country town (OR = 4.643 ; RR = 4.087), low income (OR = 7014 ; RR = 5.554) , gestational hypertensive disorders (OR = 16.35 ; RR = 13.27) , re alization of pre - natal (OR = 5.023 ; RR = 4.254) and C - section before labor(OR = 39.21 ; RR = 31.25). In cognitive/Mini - cex analysis were noted significant difference in the performance of students on the subject (3.75 ± 0.93, 4.03 ± 0.94 and 4.88 ± 0.35). We still observed the best performance of residents, when compared to graduation students (p < 0.01). Conclusions: the prevalence of near miss was associated with socioeconomic/clinics factors and care issues, revealing the importance of interventions to improve these indicators. In addition, we suggest a better curriculum insertion of this subject in the medical Course disciplines due the importance to avoid the near miss through of adequacy of medical education.