63 resultados para Metodos formais
em Universidade Federal do Rio Grande do Norte(UFRN)
Resumo:
The aging population and individual have been the subject of a multitude of studies nowadays. This is probably due to the impact of this phenomenon in various sectors of society, like social security, social assistance and public health. The process of aging of the individual imply the demand for specific services, considering the limitations and vulnerabilities of the individual at that stage of life cycle. The growth of the elderly contingent in the last decades raises challenges for policymakers, the family and also for the society at large. In this scenario, long-stay institutions for the elderly (LSIEs) appear as an option to aid and support the elderly and their family, assisting in all or part in the activities of daily living and self-care. Inside these LSIEs we find the professional responsible for the direct care of the elderly, the formal caregiver. In this context, this dissertation presents two main objectives: an analysis of the phenomenon of population aging in a given brazilian municipality Natal / RN, based on the Demographic Censuses of 2000 e 2010; and a social, demographic and economic characterization of the Formal caregiver for the institutionalized elderly in the municipality, evaluating aspects of his quality of life and also analyzing the institutions where they are inserted. Furthermore, we intend to identify demographic, socioeconomic and quality of life factors that are correlated with caregivers quitting the job. The data used in the second part of this work comes from the research project named Long-Stay Institutions for Elderly: abandonment or a family need? . This survey interviewed 92 caregivers in eleven LSIEs in Natal/RN. In the data treatment logistic regressions, cluster analysis and statistical tests were used. The survey revealed that aging in Natal is more pronounced in the older, more traditional districts: Petrópolis, Lagoa Seca and Tirol. It also allowed a broad characterization of the formal caregivers in LSIEs. Most of these professionals are female. The educational level is predominantly complete high school and more. Most caregivers reported being married or in union, or have ever been in a union. Family monthly income is under three times the minimum wage. The mean age is of 37.4 years. The mean time of work as a caregiver was 5.93 years. The associations showed that being woman, not being single, having caregiving training and physical limitations (regarding quality of life) are related to wanting to quit the caregiving job. As for the characterization of the LSIEs, it was found that the philanthropic ones are older and have most (62.5%) of the institutionalized elderly. The institutions managers gave social interaction and affinity with the elderly as the main criteria with which to evaluate and hire caregivers. It is intended with this study to contribute to improving the quality of life of the elderly and their caregiver, providing information on aspects of institutionalization of elderly both in the philanthropic and particular institutions, in Natal/RN; this dissertation may also be used as a starting point for later works
Resumo:
This document approaches the formal and material limits of the constitucionalidade control for the Supreme Federal Court, iniating with the study of the Constitution, detaching its evolution, nature and meanings, passing for its historical evolution, offering still a unconstitutionality concept. Is work the principles as material Constitution, making the distinction entere principles and rules, detaching the characteristics of the principles constitutional, and the basic principle of the Constituition. It analyzes metodologics the historical parameters and of the brazilian system of constitutionality control and detaches the paper of the Supreme Federal Court as positive legislator. It observes the beddings of the constitutionality control and the legitimacy of the Supreme Federal Court. Is examines the performance of the Supreme Federal Court in face of the principle of the legal security. Is offers a vision on the experience of the control of constitutionality in other constries. It still approaches the control of constitutionality in Brazil, detaching the critical points of its formal and material limits. Is verifies the application of the principles constitutional for the Supreme Federal Court in the diffuse control and the intent control of constitutionality, as well as the performance of the Supreme Federal Court ahead of the unconstitutional omissions. It brings to the debate the new perspectives how much to the formal and material limits of the control of constitutionality for the Supreme Federal Court. Objective to elaborate considerations concerning the limits of the constitutional jurisdiction from the model of Constituition, the character politican of the difficulties with respect to the definition of its formal and material limits from the performance of the Supreme Federal Court
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++.
Resumo:
A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.
Resumo:
Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification
Resumo:
MENDES,Jean Joubert Freitas; BRITO,Leila de Jesus Ferreira de;CARMO, Raiana Alves Maciel Leal do. Identificando práticas musicais e processos de aprendizagem musical no contexto urbano de Montes Claros-MG. In: ENCONTRO DA ASSOCIAÇAO NACIONAL DE PESQUISA E POS-GRADUAÇAO EM MUSICA (ANPPOM), 17.,2007, Sao Paulo. Anais... Sao Paulo: ANPPOM, 2007.
Resumo:
ARAÚJO, M. M. ; MEDEIROS, M. D. . AS minundências da Biblioteca Olegário Vale (Caicó - RN, 1918-1920). Educação em Questão, v. 31, p. 186-208, jan./abr. 2008
Resumo:
Os museus como centros de ciências, enquanto espaços de educação não formal podem, por meio da participação ativa do público, promover a compreensão da ciência ao aguçar a curiosidade do indivíduo e estimular o prazer pela descoberta. Ação desenvolvida como intervenção acadêmica, social e cultural associada ao PIBID/UFRN/Biologia, tem como objetivo avaliar o uso de espaço de ensino não formal, na aprendizagem de conceitos, promovendo a alfabetização científica através de uma exposição em um museu de ciências e morfológicas. A visitação foi realizada no Museu de Ciências Morfológicas da UFRN, com alunos do 1º ano do ensino médio da escola Estadual Lourdes Guilherme, sendo aplicados questionários de pré e pós-visita sobre a Evolução dos Vertebrados, com intuito de analisar a contribuição do museu na aprendizagem destes conteúdos. A porcentagem de acertos no questionário pré-visita variou entre 8 e 68% em relação ao conhecimento geral dos alunos quanto à evolução dos vertebrados, enquanto no pós-visita essa variação foi de 16 a 90%. Com base nesses primeiros resultados verificamos o quanto os museus interativos de ciência se apresentam como um espaço educativo complementar à educação formal, possibilitando a ampliação e a melhoria do conhecimento científico de estudantes. Isso demonstra que o uso de espaços não formais contribui para a aprendizagem significativa, além de promover a alfabetização científica destes alunos ao gerar a compreensão da ciência e aguçar a curiosidade dos mesmos para o prazer da descoberta.
Resumo:
This study addresses the question of attraction and retention of talent in companies that produce engineering projects in the area of oil and natural gas in the city of Natal. The objectives were to identify the mechanisms that these companies use to attract and retain talented professionals and what the relationship between these practices and performance of these organizations in the market. This is a case study of a qualitative nature which were included in the fullness of companies that work in that class in the capital Potiguar. Have been applied to the managers of these companies structured questionnaires with eleven issues orientativas based on theoretical reference adopted. The research finds that managers understand the word "talent", recognize the importance of the appreciation of its employees and the development of their innate abilities to better organizational performance, much due to the fact they are acting in a market of fierce competition. His companies - though not submit the formal procedures related to the subject in question - have mechanisms that can be characterized as the attraction and retention of talent. The relationships identified in this study are consistent with the results found in other studies and put the information here can serve as the basis for that other managers, including other areas, to reach excellence in their respective industries
Resumo:
In the Rio Grande do Norte, the craftsmanship is generating of economy, it involves a significant number of people and is diversified in its raw materials and particular type. As reference of the craft local, the ceramics supplied the primary necessities in the utilitarian domestic servants, acquired piety in the religious figures, were toy in infantile amusements and, finally, gained status of pure ornament. By its historical representation, the district of Santo Antônio do Potengi is considered the most important center of manufacture of craftpottery in the State. The work of the potters continues in that locality anchored between the familiar inheritance and the participation each more influential time of the public politics destined to the sector situation verified for visible alterations in the shape of the pottery from the decade of 1990 with the implantation of a cooperative destined to the collective production. We observe in this passage, that such actions in the measure where they objectify to structuralize conditions ideal to support the artisan making, do not benefit in significant way the social development them craftsmen. It is important not to lose of sight that exists some involved dimensions in this process and that these surpass the common interest for the object and the consequent economic connotation of its commercialization. They are knowledge that imply in the access to raw materials, in the peculiar of the formal aspects and productive methods, in the contextual relations organized to defend the survival of the activity
Resumo:
This dissertation shows a comparison between practices related to the body, to identities and to the health of young drug takers of synthetic and manipulated psychoactive substances living in Fortaleza. Through ethnographic accompaniment of parties and two social nets of young people I was able to verify the differences and similarities that make these addicted singular and plural in their notion of ethos and world vision. Notions of being hippie/alternative and being punk are present between these nets. Because their use and circulation are developed in environments usually distinct, it is possible to trace singular aspects between the nets and its actions. In parallel, on the attempt to build a triangulated data, I had information related to youth and drugs in local media and in governmental institutions bound to health mental and city security policies. With this junction of data I present a perspective to questions evolving formal and informal important controls to the conduction of their lives and identities. I present this as a sequel to well developed studies in Brasil about youth in interface to drug use, although still not very explored in the state of Ceará.
Resumo:
Brazilian architecture was recognized because of the consecration of the icons of the Carioca and Paulista schools which are represented nationally and internationally by names like Niemeyer, Lucio Costa and Vilanova Artigas, among others. Because of this, classic studies dedicated to the Brazilian case look to present the Southeastern region with the title of father of modern Brazil, at the cost of subjugating various other modern movements and peripheral sayings, whether their values are known or forgotten. On the other hand, there has been an effort, in the sense of registering and analyzing these regional productions of modern Brazilian architecture, an assignment that DOCOMOMO Brasil participates firmly through initiatives like the creation of a Library to aid in the documentation and registration of modernity in Brazil. Inside this context of insertions of the National-Modern scheme, this work has as its objective to present modern potiguar (northern Brazil) architecture through its contemporary residential examples, investigating specifically its constructive, formal aspects, that together that together demonstrate one more architectural emphasis of modern Brazilian architecture: the potiguar. This way, by contributing to the work of the register and the documentation of the Modern Movement and attributing to the modern architecture of Natal it s real worth, we can say: Yes, we have modern architecture
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Resumo:
This essay focuses on issues related to internal problems of the architecture discipline, specially those related to the aesthetics of the buildings. The universe analyzed in this research is constituted of some of the vertical housing built in Natal from the period of 1969 to 2000. As we could observe there are many different aspects in these apartment buildings external appearance, denoting increasing preoccupations in their formal elaboration in the battlefield for diversity against monotony of the simple prismatic volumetric forms.
Resumo:
Standardization and sustainability: these two apparently antagonistic words find the challenge of uniting in a flexible architectonic proposal. This was the idea that motivated the proposal of this assignment, whose appearing is bound up with the necessity of thinking about standardized spaces that attend on functional criterias and environmental sustainability, in reply to an existing real demand. The assignment consists of an architectonic proposal for a flexible standard of a Basic Unit of Health for the bioclimatic zone 7 of RN (UBS RN-7), with emphasis in the environmental sustainability. The project contemplates innumerable involved variables, such as: obedience to the current law of the Health Ministry for the UBSs; formal/aesthetic aspects; criterias of expansiveness of the UBS I for the UBS II; relative aspects to the constructive rationality and, mainly, sustainability aspects. With the intention to unite the variables and, also, glimpsing a proposal that could reach a good functional performance, aesthetic, of environment comfort and energetic efficiency, it was also necessary to consider concepts about the flexibility of the envelopment. The elaboration of the architecture first draft was based on bibliographical research, conceptual studies and references, elaboration of the architectonic program and the draft development for the UBS port I and the UBS port II. To the end, an implantation data sheet for the project is proposed for the UBS standard project, where strategies of thermal isolation, shadowing and thermal inertia are adopted and combined to three possible types of lot, resulting in 24 possibilities of implantation