Tese(doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2008. / Submitted by Ruthléa Nascimento (ruthlea@bce.unb.br) on 2008-10-30T16:12:50Z No. of bitstreams: 1 2008_AndreLuizGaldino.pdf: 873327 bytes, checksum: ea02527f0563d16fc5b1df77c3f6f722 (MD5) / Approved for entry into archive by Luanna Maia(luanna@bce.unb.br) on 2009-02-26T15:02:00Z (GMT) No. of bitstreams: 1 2008_AndreLuizGaldino.pdf: 873327 bytes, checksum: ea02527f0563d16fc5b1df77c3f6f722 (MD5) / Made available in DSpace on 2009-02-26T15:02:00Z (GMT). No. of bitstreams: 1 2008_AndreLuizGaldino.pdf: 873327 bytes, checksum: ea02527f0563d16fc5b1df77c3f6f722 (MD5) / Teorias para Sistemas Abstratos de Redução (ARS) e Sistemas de Reescrita de Termos (TRS) no assistente de provas PVS (Prototype Verification System) chamadas ars e trs, respectivamente, foram desenvolvidas. A teoria ars, construída com base na teoria para relações binárias do PVS, contém especificações de noções tais como redução, confluência, formas normais, e conceitos não básicos como por exemplo noeterianidade. Por outro lado, a teoria trs, construída com base na teoria ars e a teoria para seqüências finitas encontrada na biblioteca do PVS, contém uma formalização para lidar com a estrutura dos termos, assim como, formalizações de noções não triviais de TRS. As teorias ars e trs foram desenvolvidas com o objetivo de agregar os conceitos e as definições necessários para lidar com a Teoria de Reescrita, em geral. Em outras palavras, ars e trs contém elementos que formam uma base sólida para formalizar propriedades da Teoria de Reescrita em PVS. Para certificar-se de que o objetivo foi alcançado vários resultados bem conhecidos e não triviais foram formalizados; dentre estes, destacam-se a correção do princípio de indução Noeteriana, o Lema de Newman, os Lemas de Comutação e o Teorema dos Pares Críticos de Knuth-Bendix. Além de constituir uma base para formalização de propriedades da Teoria de Reescrita, em geral, a formalização apresentada se destaca por: 1. utilizar uma linguagem de orderm superior, a qual permite expressar naturalmente propriedades de ordem superior; 2. por seu alto grau de abstração, que permite expressar propriedades numa forma quasi-geométrica, como desejável em Teoria de Reescrita; e, 3. pelo alto grau de controle, permitido pelo PVS, no desenvolvimento das provas. _______________________________________________________________________________________ ABSTRACT / Theories for Abstract Reduction Systems (ARS) and Term Rewriting Systems (TRS) in the proof assistant PVS (Prototype Verification System) called ars and trs, respectively, we developed. The ars theory built on the PVS library for binary relations, contains specifications of notions such as reduction, confluence, normal forms, and non basic concepts such as Noetherianity. On the other hand, the trs theory built on the ars theory and the PVS library for finite sequences, contains a formalization to deal with the structure of terms as well as formalizations of non-trivial notions of TRS. Theories ars and trs were developed with the main goal of providing the necessary concepts and definitions to deal with the Theory of Rewriting in general. In other words, ars and trs contain elements that conform a solid basis to formalize properties of the Theory of Rewriting in PVS. To make sure that the goal was achieved well-known and non-trivial results were formalised; among these, the correctness of the principle of noetherian induction, the Newman’s Lemma, the Commutation Lemma and the Knuth-Bendix Critical Pair Theorem. Apart from being a basis for formalization of properties of the Theory of Rewriting, in general, the formalization presented is highlighted by: 1. the use a higherorder language, which allows for the specification of high-order properties naturally, 2. for their high-level of abstraction, which allows for the specification properties in an almost geometric style, as desirable in Rewriting Theory, and 3. the high degree of control allowed by PVS in the development of proofs.

Injeções intravítreas de agentes anti-VEGF (vascular endothelium growth fator) se constituem em um dos possíveis tratamentos para o edema macular diabético. Antes desse procedimento cirúrgico os pacientes devem ler e assinar um termo de consentimento livre e esclarecido apesar de apresentarem, devido à doença, considerável perda visual que impacta diretamente sua autonomia e capacidade decisória. O objetivo deste estudo é desenvolver um modelo eletrônico de termo de consentimento livre e esclarecido e compará-lo com o modelo tradicional em papel quanto à legibilidade e capacidade de informação, aplicado à pacientes diabéticos com indicação de tratamento com injeções intravítreas para edema macular. Os voluntários foram randomizados para o grupo TCLE eletrônico (teste) ou papel (controle). O desfecho foi o número de respostas corretas coletadas através de um questionário estruturado aplicado antes e após a leitura do termo de consentimento. Os resultados apontaram diferença estatisticamente significativa entre os dois grupos com superioridade do modelo eletrônico em termos de possibilidade de leitura (91% grupo e-TCLE vs 0% grupo papel) e melhora na compreensão de conteúdo, principalmente com relação a riscos e ao procedimento cirúrgico propriamente dito. A despeito de se tratar de uma amostra pequena e de um desenho transversal, esses resultados indicam que o uso de recursos multimídia no processo de consentimento informado pode promover a autonomia de pacientes com baixa acuidade visual através da possibilidade de leitura individual do termo de consentimento além de melhorar a compreensão de importantes informações que lhes são transmitidas. Estudos com amostra maior e longitudinais são importantes para o desenvolvimento desse modelo de transmissão de informação ampliando suas possibilidades de aplicação tanto na prática clínica e quanto pesquisa com seres humanos.

Injeções intravítreas de agentes anti-VEGF (vascular endothelium growth fator) se constituem em um dos possíveis tratamentos para o edema macular diabético. Antes desse procedimento cirúrgico os pacientes devem ler e assinar um termo de consentimento livre e esclarecido apesar de apresentarem, devido à doença, considerável perda visual que impacta diretamente sua autonomia e capacidade decisória. O objetivo deste estudo é desenvolver um modelo eletrônico de termo de consentimento livre e esclarecido e compará-lo com o modelo tradicional em papel quanto à legibilidade e capacidade de informação, aplicado à pacientes diabéticos com indicação de tratamento com injeções intravítreas para edema macular. Os voluntários foram randomizados para o grupo TCLE eletrônico (teste) ou papel (controle). O desfecho foi o número de respostas corretas coletadas através de um questionário estruturado aplicado antes e após a leitura do termo de consentimento. Os resultados apontaram diferença estatisticamente significativa entre os dois grupos com superioridade do modelo eletrônico em termos de possibilidade de leitura (91% grupo e-TCLE vs 0% grupo papel) e melhora na compreensão de conteúdo, principalmente com relação a riscos e ao procedimento cirúrgico propriamente dito. A despeito de se tratar de uma amostra pequena e de um desenho transversal, esses resultados indicam que o uso de recursos multimídia no processo de consentimento informado pode promover a autonomia de pacientes com baixa acuidade visual através da possibilidade de leitura individual do termo de consentimento além de melhorar a compreensão de importantes informações que lhes são transmitidas. Estudos com amostra maior e longitudinais são importantes para o desenvolvimento desse modelo de transmissão de informação ampliando suas possibilidades de aplicação tanto na prática clínica e quanto pesquisa com seres humanos.

Made available in DSpace on 2018-08-02T00:16:23Z (GMT). No. of bitstreams: 1 tese_5802_.pdf: 761350 bytes, checksum: 0b1423878d577507dbbd751c3e16ee27 (MD5) Previous issue date: 2011-12-22 / Resumo O mamoeiro (Carica papaya L.) é uma planta sensível às alterações ambientais o que demanda respostas, nas características fisiológicas e reprodutivas, durante o seu desenvolvimento. Por ser de grande importância econômica para o Estado do Espírito Santo, estudos sobre os efeitos dos estresses ambientais nesta espécie são fundamentais para garantir melhor produção e qualidade dos frutos. Com o objetivo ampliar o conhecimento da ação dos estresses ambientais sobre o desempenho fotossintético do mamoeiro foram realizadas análises da fluorescência transiente da clorofila a nas folhas e no epicarpo dos frutos durante o seu desenvolvimento. O crescimento e a atividade fotossintética foram também monitorados nas folhas durante o estádio vegetativo. Ocorreramdiferenças marcantes na arquitetura da copa e no número de folhas entre o estádio vegetativo e reprodutivo. Aos 30 dias após o plantio (DAP), período em que houve um aumento na precipitação, verificou-se a maior condutância estomática (gs) e a maior taxa assimilatória de carbono (A). Também, aos 150 DAP, época de frutificação e de maior demanda por fotoassimilados, observou-se maior A. Um menor desempenho fotoquímico das folhas, revelado pela cinética da fluorescência da clorofila a, ocorreu durante os primeiros 90 DAP, porém, neste mesmo período, A e gs foram altas. No início do desenvolvimento dos frutos (de 0 a 35 dias) o fluxo específico de energia dissipada (DI0/RC) foi elevado sugerindo uma estratégia adaptativa dos frutos enquanto se encontram perpendiculares ao eixo vertical da planta. O desempenho fotoquímico total (PITOTAL) foi maior nas folhas do que nos frutos, devido a maior densidade de centros de reação ativos (RC/ABS) e o melhor desempenho das reações de oxi-redução do fotossistema I [δR0/(1-δR0)]. Os resultados obtidos sugerem que no epicarpo dos frutos, diferentemente das folhas, o aparelho fotossintético tem a importante função de proteção, uma vez que no início de seu desenvolvimento dissipa o excesso de energia incidente, mantendo, assim, a qualidade do fruto.

Made available in DSpace on 2014-06-12T18:35:48Z (GMT). No. of bitstreams: 2 arquivo7520_1.pdf: 2656828 bytes, checksum: d20626884173c23fe01b36ebebaf650c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Esta dissertação investiga de que maneira a seleção vocabular, a partir de termos de uso corrente, contribui para qualificar e exaltar os imóveis de luxo do Recife anunciados no veículo jornal. Além disso, busca analisar a utilização dos empréstimos lingüísticos na nomeação dos imóveis, procurando verificar de que forma o uso de termos estrangeiros enaltece esses produtos e como os empréstimos se classificam de acordo com a sua origem (anglicismo, galicismo, espanholismo, italianismo, helenismo, latinismo) e quanto à sua função de uso ou necessidade (empréstimos denotativos e conotativos). Situando-se no campo dos estudos lingüísticos da Lexicologia e da Semântica, com o suporte de alguns conceitos da Análise do Discurso, o trabalho, numa abordagem qualitativa, observa os usos dos sentidos contrários e da repetição nos anúncios de imóveis. Para tanto, utiliza-se de um corpus constituído de 24 (vinte e quatro) anúncios de venda de imóveis de luxo do Recife, que foram coletados no Jornal do Commercio e no Diário de Pernambuco nos anos de 2004 e 2005. Os resultados indicam que os recursos dos sentidos contrários e da repetição ocorrem em estruturas paralelísticas, o que contribui para a expressividade da mensagem e facilita a sua memorização pelo receptor do anúncio. A análise dos empréstimos lingüísticos na nomeação dos imóveis de luxo do Recife mostra que os anglicismos são os empréstimos mais utilizados nos anúncios do corpus

Made available in DSpace on 2014-06-12T23:01:45Z (GMT). No. of bitstreams: 2 arquivo8807_1.pdf: 348822 bytes, checksum: 5cf8a349d78b65c10eb3e14885d871d0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / O presente estudo situa-se na área da cognição social e constitui-se um estudo em teoria da mente, campo este em que se busca a compreensão de como o sujeito adquire a capacidade de atribuir estados mentais (pensamentos, desejos, crenças, emoções e intenções a si e aos outros, bem como de explicar e predizer comportamentos seus e de outrem. Para alguns autores (Astingson & Gopnick, 1991; Camaioni, 1993; Olson, 1990; Wimmer, Perner & Sodiam, 1990) a teoria da mente reside nas habilidades de: a) reconhecer a si e aos outros como possíveis objetos de pensamento; b) reconhecer os estados mentais dos outros, bem como diferenciá-los dos próprios; c) nomear os próprios estados mentais e os de outras pessoas.O uso de termos que se referem a estados mentais sentimentos, desejos e crenças é importante na verificação do desenvolvimento de uma teoria da mente. O presente estudo tem como objetivos evidenciar e verificar que mudanças qualitativas ocorrem no uso de termos mentais ao longo do período que a literatura aponta como fase em que se desenvolve a teoria da mente. É também objetivo deste, perceber que diferenças há no uso de termos mentais por crianças de 2 a 5 anos em interação com suas mães e colegas que já possuem teoria da mente (coparticipantes com idades entre 6 a 8 anos). Diante dos objetivos apresentados foi composta uma amostra com 24 participantes, formada por crianças de 2.6 anos a 5 anos. Os participantes foram submetidos a dois tipos de situações: numa situação, o examinador disponibilizava brinquedos (jogos de montar, bonecos, carrinhos, quebra-cabeças, massa de modelar, etc) para que a criança e mãe brincassem, e na segunda situação a examinadora propunha que fossem feitos trabalhos manuais em conjunto (entre a criança e a mãe) com o material disponibilizado (cola, tesoura, papel, cartolinas, revistas, lápis de cera, borracha, lápis grafite, etc). As mesmas situações eram também propostas nas interações da criança com os colegas mais velhos. Os resultados demonstram que as crianças mais novas utilizam, em sua maioria, termos mentais referentes aos próprios estados mentais, já as mais velhas utilizam-nos aos também ao fazer referências aos estados mentais de outras pessoas. Outro dado verificado foi que as crianças mais novas fazem usos de termos mentais predominantemente nas situações de interação com a mãe. A forma como a interação verbal das mães com as crianças ocorre parece favorecer o uso. Já crianças mais velhas fazem uso dos termos mentais referindo-se a si e aos outros, tanto nas interações com suas mães como com colegas, havendo uma variabilidade na função e contexto com que os termos são empregados. As crianças mais velhas também utilizaram expressões que demonstraram uma compreensão dos estados mentais como internos e dependentes de fontes informativas

Injeções intravítreas de agentes anti-VEGF (vascular endothelium growth fator) se constituem em um dos possíveis tratamentos para o edema macular diabético. Antes desse procedimento cirúrgico os pacientes devem ler e assinar um termo de consentimento livre e esclarecido apesar de apresentarem, devido à doença, considerável perda visual que impacta diretamente sua autonomia e capacidade decisória. O objetivo deste estudo é desenvolver um modelo eletrônico de termo de consentimento livre e esclarecido e compará-lo com o modelo tradicional em papel quanto à legibilidade e capacidade de informação, aplicado à pacientes diabéticos com indicação de tratamento com injeções intravítreas para edema macular. Os voluntários foram randomizados para o grupo TCLE eletrônico (teste) ou papel (controle). O desfecho foi o número de respostas corretas coletadas através de um questionário estruturado aplicado antes e após a leitura do termo de consentimento. Os resultados apontaram diferença estatisticamente significativa entre os dois grupos com superioridade do modelo eletrônico em termos de possibilidade de leitura (91% grupo e-TCLE vs 0% grupo papel) e melhora na compreensão de conteúdo, principalmente com relação a riscos e ao procedimento cirúrgico propriamente dito. A despeito de se tratar de uma amostra pequena e de um desenho transversal, esses resultados indicam que o uso de recursos multimídia no processo de consentimento informado pode promover a autonomia de pacientes com baixa acuidade visual através da possibilidade de leitura individual do termo de consentimento além de melhorar a compreensão de importantes informações que lhes são transmitidas. Estudos com amostra maior e longitudinais são importantes para o desenvolvimento desse modelo de transmissão de informação ampliando suas possibilidades de aplicação tanto na prática clínica e quanto pesquisa com seres humanos.

The report includes a study that underlies a development of a 3TEMP Hipster thermos. The report includes development of a new concept with suitable material that is supported by calculations. The entire process from requirement specification to a completed concept of the thermos is in detail described. The quality of the thermos in terms of usability and design has been beneath required level and is wished to be improved. A central part of the project includes a study of a spiral shaped tank consisting of spiral wound pipes as a alternative. The study showed by replacing the traditional cylindrical tank with a spiral shaped pipe instead resulted in an increased mass, higher heat loss while filling. However, the improved and increased isolation thickness results in a improved insulation effect than existing thermos that favor it while being used. The thermos contains a design that symbolise quality and exclusivity. The electropolished austenitic stainless steel SS-2333 is by the dimension 25.4 x 1.65 mm in order to allow roll bending as manufacturing method to create the tank system where the material also improved the quality of the thermos. The study also resulted in alternative material to apply for the thermos such as phenolic foam and austenitic stainless steel AISI 205 in order to increase the quality of the thermos. Also, Tomlinson tap is utilized to increase the usability for the customers. The solution of alternative is also presented as a geometry modelling in CAD and was shaped to meet 3TEMP’s requirements.

O propósito deste estudo foi investigar o uso de termos personificadores por professores de química do ensino médio, dando ênfase ao tipo de uso - consciente ou inconsciente, à ocorrência de cada tipo - animismo e antropomorfismo (literal, metafórico e teleológico), aos motivos e contextos que acarretariam no seu uso e às concepções dos professores em relação à sua influência no processo de ensino-aprendizagem. O trabalho está estruturado em duas partes: na primeira, foram analisadas quinze encomendas de simulações computacionais elaboradas por um total de trinta e seis professores participantes do projeto LabVirt da Escola do Futuro da USP. Na segunda parte do trabalho, os termos personificadores detectados nas encomendas dessas simulações serviram de subsídio para a elaboração de um conjunto de tarefas e entrevistas (estruturada e semi-estruturada) que foram utilizadas para a análise de outro grupo de seis professores. A partir dos dados desta pesquisa, pode-se dizer que o uso de termos personificadores é uma prática comum dos professores investigados, embora isso ocorra de forma inconsciente. Esse uso aparece indistintamente entre professores com diferentes perfis acadêmicos e experiência docente. A recorrência ao uso desses termos está relacionada à abstração do conceito químico trabalhado em sala por estes professores. Eles consideram, ainda, que o uso desses termos auxilia no processo de ensino-aprendizagem de seus alunos. O antropomorfismo metafórico é o tipo mais freqüentemente utilizado. Além disso, os termos personificadores mostraram-se eficientes instrumentos de análise para inferir sobre os possíveis modelos mentais dos professores em relação a alguns conceitos químicos. Tais modelos foram revelados por meio do uso desses termos pelos professores, utilizados em seus respectivos modelos expressos. Tais resultados revelam que o uso inconsciente desses termos impossibilita uma autonomia do professor no que se refere ao controle da influência da linguagem sobre o processo de ensino-aprendizagem. / The purpose of this study was to investigate the use of personifying terms by high school chemistry teachers, giving emphasis to the type of use - conscious or unconscious, to the occurrence of each type - animism and anthropomorphism (literal, metaphoric and teleological), to the reasons and contexts which entail their use and to teachers\' conceptions related to their influence on teaching and learning. The project is structured in two parts: in the first, fifteen scripts for learning objects elaborated by a group of teachers (a total of thirty six teachers) who participated in the LabVirt project from \"Escola do Futuro - USP\" were analyzed. In the second part, the personifying terms detected on these scripts were used to elaborate a set of tasks and interviews (structured and semi-structured) which were used to analyze another group of six teachers. From these results, was possible to admit that the use of personifying terms is a common practice among these investigated teachers, although it happens unconsciously. This practice appears indistinctively between teachers with different academic profiles and experience. The recurrence of these terms is related to the abstraction of the concept studied. Behind, these teachers consider that the use of these terms helps in the teaching learning process. The metaphoric anthropomorphism is the most frequent term used. Besides that, the personifying terms were efficient analysis instruments to infer about the possible mental models of the teachers. These models were revealed by the use of the personifying terms in their respective expressed models. These results point to the fact that the unconscious use of the personifying terms impedes the autonomy of the teacher in terms of the influence of language about the teaching learning process.

O propósito deste estudo foi investigar o uso de termos personificadores por professores de química do ensino médio, dando ênfase ao tipo de uso - consciente ou inconsciente, à ocorrência de cada tipo - animismo e antropomorfismo (literal, metafórico e teleológico), aos motivos e contextos que acarretariam no seu uso e às concepções dos professores em relação à sua influência no processo de ensino-aprendizagem. O trabalho está estruturado em duas partes: na primeira, foram analisadas quinze encomendas de simulações computacionais elaboradas por um total de trinta e seis professores participantes do projeto LabVirt da Escola do Futuro da USP. Na segunda parte do trabalho, os termos personificadores detectados nas encomendas dessas simulações serviram de subsídio para a elaboração de um conjunto de tarefas e entrevistas (estruturada e semi-estruturada) que foram utilizadas para a análise de outro grupo de seis professores. A partir dos dados desta pesquisa, pode-se dizer que o uso de termos personificadores é uma prática comum dos professores investigados, embora isso ocorra de forma inconsciente. Esse uso aparece indistintamente entre professores com diferentes perfis acadêmicos e experiência docente. A recorrência ao uso desses termos está relacionada à abstração do conceito químico trabalhado em sala por estes professores. Eles consideram, ainda, que o uso desses termos auxilia no processo de ensino-aprendizagem de seus alunos. O antropomorfismo metafórico é o tipo mais freqüentemente utilizado. Além disso, os termos personificadores mostraram-se eficientes instrumentos de análise para inferir sobre os possíveis modelos mentais dos professores em relação a alguns conceitos químicos. Tais modelos foram revelados por meio do uso desses termos pelos professores, utilizados em seus respectivos modelos expressos. Tais resultados revelam que o uso inconsciente desses termos impossibilita uma autonomia do professor no que se refere ao controle da influência da linguagem sobre o processo de ensino-aprendizagem. / The purpose of this study was to investigate the use of personifying terms by high school chemistry teachers, giving emphasis to the type of use - conscious or unconscious, to the occurrence of each type - animism and anthropomorphism (literal, metaphoric and teleological), to the reasons and contexts which entail their use and to teachers\' conceptions related to their influence on teaching and learning. The project is structured in two parts: in the first, fifteen scripts for learning objects elaborated by a group of teachers (a total of thirty six teachers) who participated in the LabVirt project from \"Escola do Futuro - USP\" were analyzed. In the second part, the personifying terms detected on these scripts were used to elaborate a set of tasks and interviews (structured and semi-structured) which were used to analyze another group of six teachers. From these results, was possible to admit that the use of personifying terms is a common practice among these investigated teachers, although it happens unconsciously. This practice appears indistinctively between teachers with different academic profiles and experience. The recurrence of these terms is related to the abstraction of the concept studied. Behind, these teachers consider that the use of these terms helps in the teaching learning process. The metaphoric anthropomorphism is the most frequent term used. Besides that, the personifying terms were efficient analysis instruments to infer about the possible mental models of the teachers. These models were revealed by the use of the personifying terms in their respective expressed models. These results point to the fact that the unconscious use of the personifying terms impedes the autonomy of the teacher in terms of the influence of language about the teaching learning process.