Prova

Ilustração componente do jogo “Escola Mágica (http://www.loa.sead.ufscar.br/escola-magica.html)” desenvolvido pela equipe do Laboratório de Objetos de Aprendizagem da Universidade Federal de São Carlos (LOA/UFSCar).

Prova por resolução

O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação.

A criatividade no Ensino Básico: construção de uma prova para avaliação do pensamento divergente

A criatividade e o seu conceito são alvo da comunidade científica por representarem interesse uma vez que trata-se de um tema complexo que traz alguma discórdia quanto à sua definição. Guilford revolucionou os estudos da criatividade e introduziu o conceito de Pensamento Divergente (PD) que consiste em encontrar o maior número de soluções para um problema. O objetivo da investigação consiste na construção, aferição e validação de uma prova de avaliação do pensamento divergente à população portuguesa. Neste estudo participaram 561 sujeitos, do 3º ciclo do Ensino Básico, sendo 50.4% do sexo masculino e 49.6% do sexo feminino. A prova é composta por três questões e avalia a Fluência, a Flexibilidade, a Originalidade e a Elaboração. O alpha de Cronbach do conjunto Fluência e Flexibilidade foi de 0.91. A fiabilidade da Originalidade e Elaboração fez-se por meio de acordo interobservadores. Utilizou-se ainda as variáveis inteligência e rendimento escolar para observar a validade do instrumento. Verificou-se uma associação positiva e significativa entre: a Inteligência Geral e a Fluência, Flexibilidade e Originalidade; a Perceção dos Professores acerca da Criatividade dos alunos e a Fluência, Flexibilidade e Originalidade, indicando que os professores identificam os alunos com mais capacidades de PD; a Perceção dos Professores acerca da Criatividade dos alunos e o Rendimento Escolar, ou seja, os alunos percecionados como mais criativos são os que obtêm melhores notas. Verificou-se também uma diferença de género para a Fluência e a Elaboração sendo que o género feminino apresenta uma média superior; verificou-se diferenças significativas entre a Escolaridade e a Fluência, Flexibilidade e Elaboração onde os 9º anos apresentam médias superiores em comparação aos 7º e 8º anos e aos Cursos de Educação e Formação (CEF). De uma forma geral, a Prova de Avaliação do Pensamento Divergente (PAPD) apresenta resultados estatisticamente significativos mas devem de ser feitos novos estudos de forma a os confirmar.

Concentrações sangüíneas de lactato em eqüinos durante a prova de fundo do concurso completo de equitação

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

O direito de não produzir prova contra si mesmo

blablabalbalablabala

Grupo Escolar Duque de Caxias festas escolares: uma celebração de múltiplos significados - 1949 1962

El trabajo que aquí se presenta tuvo como objetivo investigar una institución escolar en la ciudad de Macau / RN. Esta institución, que fue innovadora en su contexto social y pedagógico, fue pesquisada a la luz de los parámetros de la historia cultural. Una escuela que fue creada en el siglo XX, en el año de 1923, cuando el país aún vivía la efervescencia de la implantación del nuevo ordenamiento político - la República. Elegimos como objeto de estudio las fiestas escolares, que tuvo lugar en esta institución durante el periodo 1949-1962, procurando aclarar cómo ocurría la realización de estas fiestas y cómo fueron fundamentales para el funcionamiento de las relaciones políticas, sociales y culturales en el ámbito escolar. El análisis y la interpretación de las fuentes documentales escolares, los documentos de otras instituciones, las entrevistas abiertas, la información oral, la legislación de la educación y de las escuelas, los periódicos y documentos oficiales de la época relacionados con la temática y que formaron el corpus documental, se basaron por obras de Souza (1998), Juliá (2001), Castro (1997), Kossoy (2001) Saviani (2005), Escolano (1992) y Carvalho (1990). Por tratarse de una institución de enseñanza, el análisis central es la cultura escolar y la historia de la educación brasileña es el campo de la investigación, haciendo una relación de las fiestas escolares. En el relato, se reconstituyen las festividades cívicas, solemnes y recreativas, además de los elementos de formación que se evidencian en el discurso de la educación moderna. Para ello, buscamos entender que, en las prácticas cotidianas de la escuela, había un método de actuación que seguía las directrices del Departamento de Educación. Estas directrices eran dadas por medio de las normas y decretos editados y se adentraban en el discurso en torno de las iniciativas emprendidas para difundir las nuevas prácticas pedagógicas, y dentro de ellas, en el momento apropiado, los profesores dedicaban un tiempo de sus clases para explicar acerca de los días festivos y sus organizaciones. Estas constataciones fueron certificadas por la documentación listada y por las entrevistas abiertas, y nos señaló para el modelo escolar propugnado por el Grupo Escolar Duque de Caxias, que era fruto del nuevo orden republicano

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

Prova de Trabalho de Parto Após uma Cesárea Anterior

Objetivo: estudar a validade da prova de trabalho de parto (PTP) em gestantes com uma cesárea anterior. Métodos: estudo retrospectivo, tipo coorte, incluindo 438 gestantes com uma cesárea anterior ao parto em estudo e seus 450 recém-nascidos (RN), divididas em dois grupos - com e sem PTP. O tamanho amostral mínimo foi de 121 gestantes/grupo. Considerou-se variável independente a PTP e as dependentes relacionaram-se à ocorrência de parto vaginal e à freqüência de complicações maternas e perinatais. Foram efetuadas análises uni e multivariada, respectivamente. A comparação entre as freqüências (%) foi analisada pelo teste do qui-quadrado (chi²) com significância de 5% e regressão logística com cálculo do odds ratio (OR) e do intervalo de confiança a 95% (IC95%). Resultados: a PTP associou-se a 59,2% de partos vaginais. Foi menos indicada nas gestantes com mais de 40 anos (2,7% vs 6,5%) e nas portadoras de doenças associadas e complicações da gravidez: síndromes hipertensivas (7,0%) e hemorragias de 3º trimestre (0,3%). A PTP não se relacionou às complicações maternas e perinatais. As gestantes que tiveram o parto por cesárea, independente da PTP, apresentaram maior risco de complicações puerperais (OR = 3,53; IC95% = 1,57-7,93). A taxa de mortalidade perinatal foi dependente do peso do RN e das malformações fetais e não se relacionou à PTP. Ao contrário, as complicações respiratórias foram mais freqüentes nos RN de mães não testadas quanto à PTP (OR = 1,92; IC95% = 1,20-3,07). Conclusões: os resultados comprovaram que a PTP em gestantes com uma cesárea anterior é estratégia segura - favoreceu o parto vaginal em 59,2% dos casos e não interferiu com a morbimortalidade materna e perinatal. Portanto, é recurso que deve ser estimulado.

Comparação entre dois tipos de suspensão passiva de barra em condições simuladas de pista de prova normalizada

In this paper we conducted several analysis of the simulated dynamic behavior of two passive suspension types of the trailed sprayer booms. The suspension analysis was conducted under conditions of a bump track test ISO 5008, with two levels of speed (5 km h(-1) and 15 km h(-1)) and two track profiles proposed in these standards (bumpy and smooth). It was used the simulations software MATLAB (R), SIMULINK (R) and Visual Nastran (R). The results obtained showed that suspensions of trapezoidal type have good performance at low frequencies input (omega < 0,2 Hz) while suspensions of simple pendulum type have good performance in others conditions.