O direito de não produzir prova contra si mesmo

blablabalbalablabala

Controle preditivo não linear baseado no modelo de Hammerstein com prova de estabilidade

The Predictive Controller has been receiving plenty attention in the last decades, because the need to understand, to analyze, to predict and to control real systems has been quickly growing with the technological and industrial progress. The objective of this thesis is to present a contribution for the development and implementation of Nonlinear Predictive Controllers based on Hammerstein model, as well as to its make properties evaluation. In this case, in the Nonlinear Predictive Controller development the time-step linearization method is used and a compensation term is introduced in order to improve the controller performance. The main motivation of this thesis is the study and stability guarantee for the Nonlinear Predictive Controller based on Hammerstein model. In this case, was used the concepts of sections and Popov Theorem. Simulation results with literature models shows that the proposed approaches are able to control with good performance and to guarantee the systems stability

Tradução, adaptação cultural e avaliação psicométrica da prova cognitiva de leganés em uma população idosa brasileira com baixo nível de escolaridade

Introdução: The scales of cognitive screening are important tools for early detection of dementia, creating the possibility of developing measures to slow this process and assist in the management of the disease. Objective: To validate the Leganés Cognitive Test (Prueba Cognitive de Leganés) (PCL) for cognitive screening in low educated elderly Brazilians. Methods: The study sample was composed of 59 elderly residents from the city of Santa Cruz, Brazil with low schooling levels. Reliability was analyzed with a 2-day interval between assessments, and concurrent validity was assessed using the Mini Mental State Examination (MMSE). Results: According to the PCL, the prevalence of dementia was 11.8%. The scale items showed a moderate to strong correlation between domains (p <0.01), and inter-rater reliability exhibited ICC = 0.81, 95% CI (0.72-0.88). Factor analysis resulted in two factors: memory and orientation. Interscale agreement was considered poor (k = - 0.02), supporting the hypothesis of an educational impact on final MMSE scores. Conclusion: The results suggest that PCL has acceptable levels of reliability for use in low educated elderly Brazilians

Masculinidade a prova: um estudo de inspiração fenomenologico - hermeneutico sobre a infertilidade masculina

Culturally, childbearing is understood as a situation that subjects will experience at some point in their lives, especially people who are married or have a similar affectionate relationship. Thus, to realize the inability to meet such a fate seems to be a natural cultural trigger of suffering, frustration and feelings of inadequacy and helplessness. Specifically for men, infertility is closely related to loss of masculinity, virility. He fails in his role as a male. This study sought to understand the impact that infertility have on the existence of a man who receives such a diagnosis, both in self-image as in their marital, sexual and professional roles. This study sets up as a hermeneutic phenomenological research based on the ideas of the philosopher Martin Heidegger. Participants were seven heterosexual, married and infertile men. Two interviews were conducted. The analysis of the material included both the material of the narratives, as the affectation of the researcher when interacting with the participants and their narratives, through phenomenological-hermeneutic interpretation. The results corroborate the literature that states the difficulty of the men, immersed in a context that defines them as virile, powerful and invulnerable to worry about issues related to health and disease. The possibility of any condition that impairs the reproductive capacity exceeds the acceptable limits of daily life for these men, not being recognized as a model of masculinity present in the condition in which they recognize. This leads to questions about their masculinity, role in the marital relationship and their existence. Thus, to recognize themselves as infertile surpass a medical diagnosis and is associated with the construction of meaning for their existence from the approximation with the infertility condition, which helps in redirecting their choices, restoring the project to be self and allowing further recognition as men. In the marital relationship, doing what they can to ensure, theirs happiness. Through these actions, they remain playing the role of family provider, showing that they are able to protect their wives and taking in assisted reproduction or adoption of children viable alternatives to fulfill the desire to leave a legacy and give a child to their wives and to society. Another result observed, refers to the ontological condition of care that characterizes the human being. The ways in which men are treated socially demonstrates a type of care that focuses on the development of characteristics such as strength, virility and determination but does not allow them to cope with the suffering of emotionally difficult situations, such as the diagnosis of infertility. At the end, the study gives rise to reflections on the need to provide a 12 space for men and their expressions of suffering, as well as to recognize their ability to overcome the painful and difficult situations

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Arquitetura hardware/software de um núcleo NCAP segundo o padrão IEEE 1451.1: uma prova de conceito

Os sensores inteligentes são dispositivos que se diferenciam dos sensores comuns por apresentar capacidade de processamento sobre os dados monitorados. Eles tipicamente são compostos por uma fonte de alimentação, transdutores (sensores e atuadores), memória, processador e transceptor. De acordo com o padrão IEEE 1451 um sensor inteligente pode ser dividido em módulos TIM e NCAP que devem se comunicar através de uma interface padronizada chamada TII. O módulo NCAP é a parte do sensor inteligente que comporta o processador. Portanto, ele é o responsável por atribuir a característica de inteligência ao sensor. Existem várias abordagens que podem ser utilizadas para o desenvolvimento desse módulo, dentre elas se destacam aquelas que utilizam microcontroladores de baixo custo e/ou FPGA. Este trabalho aborda o desenvolvimento de uma arquitetura hardware/software para um módulo NCAP segundo o padrão IEEE 1451.1. A infra-estrutura de hardware é composta por um driver de interface RS-232, uma memória RAM de 512kB, uma interface TII, o processador embarcado NIOS II e um simulador do módulo TIM. Para integração dos componentes de hardware é utilizada ferramenta de integração automática SOPC Builder. A infra-estrutura de software é composta pelo padrão IEEE 1451.1 e pela aplicação especí ca do NCAP que simula o monitoramento de pressão e temperatura em poços de petróleo com o objetivo de detectar vazamento. O módulo proposto é embarcado em uma FPGA e para a sua prototipação é usada a placa DE2 da Altera que contém a FPGA Cyclone II EP2C35F672C6. O processador embarcado NIOS II é utilizado para dar suporte à infra-estrutura de software do NCAP que é desenvolvido na linguagem C e se baseia no padrão IEEE 1451.1. A descrição do comportamento da infra-estrutura de hardware é feita utilizando a linguagem VHDL