A investigacao experimental do fenomeno de vibracoes induzidas pela emissao de vortices (VIV) em modelos flexiveis longos lancados em catenaria e sujeitos a pers de correnteza variavel e ortogonais ao plano de lancamento e o tema principal desta tese de doutorado. O objetivo, neste trabalho, e identicar, descrever e discutir os comportamentos dinamicos do VIV nas catenarias sob correnteza variavel, comparando-os com aqueles exibidos por este fenomeno agindo em um cilindro flexivel vertical. Desta forma, tenciona-se contribuir para a compreensao mais geral do VIV nas linhas oceanicas utilizadas na exploracao de petroleo e gas no mar. Neste contexto, muito se sabe sobre o comportamento do VIV em cilindros rgidos montados em suportes elasticos, bem como em cilindros flexiveis nao curvados, ambos os arranjos com uma vasta literatura descrevendo nao so os comportamentos dinamicos, como tambem suas relacoes com os aspectos fluidos que lhe dao origem. Contudo, no caso dos cilindros flexiveis longos, ainda existem pontos que precisam de compreensao mais profunda, particularmente aqueles que representam condicoes mais proximas da operacao oceanica real - o lancamento em catenaria e a acao de um perfil variavel e ortogonal de correnteza. Para tanto, um dispositivo denominado braco giratorio foi projetado e construido para que experimentos com modelos de catenaria em correnteza variavel com a profundidade fossem conduzidos no tanque de provas fisico do laboratorio Tanque de Provas Numerico (TPN), caracterizando uma pesquisa inedita no tema. Como condicoes de ensaio foram consideradas diferentes configuracoes geometricas da catenaria, todas comparadas com um cilindro flexivel vertical ensaiado tanto no braco giratorio, como tambem em tanque de reboque. Tratados segundo uma tecnica de decomposicao modal, os resultados de deslocamento ao longo dos modelos nessas condicoes de ensaio permitiram a identicacao e a descricao de comportamentos dinamicos bastante parecidos nas catenarias, sempre comparados aqueles do modelo vertical, o que trouxe grande abrangencia a compreensao do VIV nas linhas flexiveis em geral. Como contribuicao adicional, este trabalho dotou o tanque de provas do TPN de um equipamento bastante interessante para ampla gama de investigacoes sobre as interacoes fluido-estruturais - o braco giratorio. / The experimental investigation of Vortex-Induced Vibrations (VIV) on long catenary models and subjected to non-uniform velocity profiles, orthogonal to the catenarys plane, it is the main subject of this doctoral thesis. As a main goal, this work search to identify, describe and discuss the dynamic behaviors of VIV on catenary lines under non-uniform velocity profiles, comparing the results with those coming from the same phenomenon acting on flexible cylinders in a vertical configuration. Thus, it is intended to help for a more general understanding of VIV in offshore lines used in the oil and gas exploration at sea. In this context, much is known about the behavior of VIV on rigid cylinders elastically supported, as well as on flexible cylinders with no curvature, both configurations counting with a large literature describing not only the dynamic behaviors, but also their relationships with hydrodynamics aspects. However, in the case of long flexible cylinders, there are still more points to be understand, particularly at those conditions closer to the offshore operations - with catenary lines under variable current profile. Under those considerations, a rotating-arm was designed and assembled in the model basin at Numerical Offshore Tank (TPN), Brazil, for model tests under non-uniform current profile, featuring itself as an unpublished research on this topic. Different catenary geometries were tested in the rotating-arm at USP and also in the towing tank at Institute for Technological Research of the State of Sao Paulo (IPT), Brazil, all of them being compared with a vertical flexible cylinder. From those conditions of test, data was analyzed according to a technique of modal decomposition, so the motion results from all the models allowed the identication and the description of a dynamic behavior quite similar in the catenary when compared to that from a vertical cylinder, which has brought great understanding about the VIV on flexible lines. As an contribution, this work has provided to the TPN\'s model basin an interesting device for a wide variety of researchs on fluid- structural interaction - the rotating-arm.

Para serem classificadas e aprovadas por uma sociedade classificadora, todas as estruturas offshore são submetidas a análises baseadas em regras padrão; os critérios de estabilidade utilizados são baseados no código IMO MODU (Internacional Maritime Organization Mobile Offshore Drilling Units), que referencia quase todos os tipos de unidades flutuantes, como de superfície, semi-submersíveis, e auto elevatórias, entretanto, encontram-se problemas ao tentar enquadrar alguns conceitos inovadores a um desses tipos, devido às grandes diferenças entre o existente e os novos projetos. A fim de prever o comportamento de uma estrutura flutuante, são necessárias análises de estabilidade que predigam o comportamento da plataforma em operação intacta, e eventualmente em caso de avarias. Com o propósito de superar dificuldades e encontrar os critérios apropriados, foi realizado. em conjunto pelo Departamento de Engenharia Naval e Oceânica da USP e Petrobras, esse estudo para gerar análises que cerceiem o comportamento desses novos tipos de plataforma e adéqüem as regras existentes aos novos conceitos para certificações futuras. Pode se observar que unidades do tipo FPSO são as mais comuns em campos de produção brasileiros por apresentarem grande área de convés, capacidade de armazenamento e serem unidades cuja operação é muito conhecida, além de terem baixos custos de construção, seja ela inteiramente construída ou apenas convertida. Entretanto, esse tipo de unidade apresenta movimentos não adequados para a utilização de Steel Catenary Risers (SCRs), inviabilizando sua utilização em águas ultra-profundas. Analisando as condições brasileiras, nota-se que ao considerar ondas, corrente e vento, as relações dimensionais de um FPSO não teriam a melhor proporcionalidade possível, principalmente devido às interferências hidrodinâmicas proporcionadas pelo swell. Isso impeliu o desenvolvimento de um novo conceito que atendesse melhor a função especifica da unidade, batizado monocoluna. Para esse conceito, foram gerados inúmeros cascos, porém apenas alguns deles foram escolhidos como ideais para serem submetidos a mais minuciosas análises, e nessa dissertação se discutem os critérios de estabilidade que devem ser aplicados a monocoluna. Todas as análises foram conduzidas considerando métodos numéricos e as dimensões finais foram aplicadas a ensaios em tanques de provas para que se comprovasse a eficiência dos sistemas criados. / To be classified and approved by a classification society, all offshore structures shall be submitted and analyzed according to standard rules. The stability criteria are based on the IMO MODU (International Maritime Organization Mobile Offshore Drilling Units) Code which has reference to almost all types of floating units such as surface, column-stabilized and self elevating. Although it refers to a wide range of naval systems, problems were found when dealing with new concepts due to differences between these concepts and those presented by the rules. In order to predict the behavior of a floating structure, it is necessary to perform stability analyses that foresee how the platform will respond when in operation either intact or eventually damaged. With that in mind, this study that would analyze and evaluate the existing rules came up along with the Department of Naval and Ocean Engineering of the University of São Paulo and Petrobras, this study intends to check the applicability of the existing rules and propose more adequate rules for the monocolumn. It is possible to observe that FPSO units are more common at the Brazilian oil fields due to the presence of great deck area and storage capacity, their operation is well known, they have low constructions costs either if they are built from scratch or converted. Even so, this type of unit presents inadequate responses to the use of Steel Catenary Risers (SCRs), what doesnt allow its use in ultra deep water. Analyzing the Brazilian weather and sea condition, specially focusing on waves, sea strings and wind, the FPSO dimensions are not the best, especially due to the swell hydrodynamic responses. That forced the development of a new concept that better fulfill the units specific function, named monocolumn. Lots of units were defined as valid, but only some with the best responses were chosen for deeper analysis, therefore this study discusses the stability criteria that shall apply to this concept. All the analyses were conduced considering numerical methods and among all the possibilities, final dimensions were generated and prototypes were built and tested in test tanks to prove their efficiency.

O processo penal no Brasil é conjunto de atos jurídicos, formalmente ordenados, com o objetivo de apurar a veracidade de fatos criminosos, resultando na sentença condenatória ou absolvição do agente envolvido no crime. Ocorre que durante o procedimento inclui a figura do perito criminal como representante legal para a análise de provas das infrações. As diversas modalidades do crime resultam em complexos levantamentos de provas, exigindo do perito criminal o conhecimento técnico - científico do crime específico a ser examinado. Os Institutos de perícias são formados por profissionais multidisciplinares que tem como objetivo atingir a maior abrangência das ciências para auxiliar na justiça. Com a nova modalidade de crime de maus-tratos aos animais, o Estado tem a responsabilidade de materializar os vestígios relacionados com os animais, convergindo o respectivo trabalho ao perito criminal com formação em medicina veterinária. Atualmente é reduzido o número profissionais veterinários nos quadros dos peritos criminais, interferindo nos compromissos da veracidade ou autenticidade dos fatos. Paralelamente a esta nova demanda, os institutos de ensino superior estão implementando a nova especialidade denominada de Medicina Veterinária Legal que tem como objetivo disciplinar o conhecimento da medicina veterinária no auxilio da justiça. O presente trabalho foi dividido em duas partes, onde a primeira tem como objetivo expor o funcionamento sistema jurídico nacional e as atribuições dos peritos criminais, pontuando as importâncias do conhecimento médico veterinário legal quando do levantamento de provas envolvendo maus-tratos aos animais, e na segunda parte, as imagens das práticas do levantamento de provas pelo perito criminal médico veterinário em infrações de maus-tratos aos animais e discussões envolvendo as dificuldades e apontamentos pertinentes a prática legal. / Criminal processes in Brazil are a set of legal acts formally organized with the goal of investigating the veracity of crime facts, resulting in a sentence or pardon of the person involved in the crime. During the process, the forensic expert is included as a legal representative to analyze the evidence. Several modalities of crime result in complex retrieval of evidence, requiring from the forensic expert technical and scientific knowledge of the crime to be examined. Forensic Institutes are composed of multidisciplinary professionals with the goal of achieving the largest possible breadth of sciences to assist the Law. In the new animal abuse modality of crime, the State has the responsibility of retrieving the traces related to animals, turning over the work to the forensic expert with training in veterinary medicine. Currently the number of veterinarians is small among forensic experts, interfering with veracity and authenticity of facts. In parallel to this new demand, higher education institutions are implementing a new specialty called Legal Veterinary Medicine, which aims at formalizing the knowledge of veterinary medicine to assist the Law. The current work is divided into two parts: the first aims at exposing how the national legal system works and the attributions of forensic experts, evidencing the importance of Legal Veterinary Medicine when retrieving evidence involving animal abuse. And the second part exposes the images of the practices of evidence retrieval by forensic veterinary medics in animal abuse cases and discussions involving the difficulties and observations relative to legal practices.

Entre as cinco provas da existência de Deus que Tomás de Aquino apresentou na Summa Theologiae, sobressai a chamada “primeira via”, considerada pelo autor como a “mais manifesta”. Esta dissertação formaliza-a em lógica quantificacional, explicitando cada uma das inferências a fim de julgar sua validade e correção. Depois de explicadas as teses metafísicas que constituem o cenário da discussão — como a doutrina aristotélica das quatro causas e as distinções entre substância e acidente, ato e potência —, são examinadas as objeções de Anthony Kenny (1969) e as sugestões interpretativas de John Wippel (2000) em defesa do raciocínio de Tomás. Mostra-se que a primeira parte, que procura demonstrar a irreflexividade do movimento, é um argumento válido, mas incorreto, por conter uma premissa falsa: aquela que afirma sem restrições a atualidade do movente. Já a segunda parte, o argumento contra o regresso infinito, contém uma ambiguidade que o deixa diante de duas alternativas: ou se trata de uma petição de princípio ou de uma falácia de equivocidade. Dado o fracasso material e formal da prova, é proposta finalmente uma abordagem não-dedutiva do problema. / Among the five proofs of God’s existence presented by Thomas Aquinas in his Summa Theologiae, the so-called "first way" stands out, for being considered by the author as the "most obvious" one. This dissertation formalizes it in quantificational logic, explaining each of the inferences in order to assess its validity and soundness. After explaining the metaphysical theses that provide the backdrop for the discussion — as the doctrine of the four Aristotelian causes and the distinctions between substance and accident, act and potency — it considers the objections of Anthony Kenny (1969) and interpretive suggestions of John Wippel (2000) in defense of Thomas’ reasoning. It is shown that the first part, which seeks to demonstrate the non-reflexivity of movement, is a valid argument, but unsound, because it contains a false premise: the one that states the mover’s actuality without restrictions. The second part, the argument against the infinite regress, contains an ambiguity that leaves you faced with two alternatives: either it begs the question or it is a fallacy of equivocation. Given the material and formal failure of the proof, a non-deductive approach to the problem is finally proposed.

Made available in DSpace on 2016-04-27T16:58:28Z (GMT). No. of bitstreams: 1 Fernando Tavares da Silva.pdf: 4680921 bytes, checksum: 745c13dd17b022406b1dfc18f8f102f2 (MD5) Previous issue date: 2007-10-25 / The objective of this research is to investigate the approach used in proofs and demonstrations of the logarithmic mathematical object, in a collection of textbooks adopted in the Brazilian Secondary School; as well as to conceive and apply a didactic sequence to introduce the student into the deductive mathematical thought. The research intends to answer the following questions: (1) How does the author of the textbooks approach the process of proving, regarding the subject logarithms in his work? Are the readers stimulated to find out proofs in the suggested activities? (2) Which difficulties do first grade students of the Brazilian Secondary School present during a process of proving? In order to answer the first question, we have analysed the collection Matemática for Secondary School by Luiz Roberto Dante, making use of the criteria of the National Book Catalogue for Secondary School (CNLEM). For the second question, we have used some elements of the didactic engineering methodology , making use of the types of proofs by Balacheff. The results of our analysis bring forward that the author of the collection is always concerned about presenting some kind of justification or demonstration for each element introduced. However, there are few activities that stimulate the reader to produce proofs. Regarding the didactic sequence, the research presents some difficulties observed in the process of production of proofs. Furthermore, it shows that the sequence provided the students development from empiric validations to deductive validations / O objetivo desta pesquisa é investigar a abordagem conferida a provas e demonstrações do objeto matemático logaritmo, numa coleção de livros didáticos para o Ensino Médio, bem como conceber e aplicar uma seqüência didática para introduzir o aluno da primeira série do Ensino Médio ao pensamento matemático dedutivo. A pesquisa procura responder às seguintes questões de pesquisa: (1) Como o autor de livros didáticos aborda o processo de prova em relação ao tema logaritmo na sua coleção? Os alunos leitores são estimulados a realizar provas em atividades propostas? (2) Quais dificuldades os alunos da primeira série do Ensino Médio apresentam durante um processo de produção de provas? Para responder à primeira questão analisamos a coleção Matemática do Ensino Médio de autoria de Luiz Roberto Dante utilizando para isso os critérios do Catálogo Nacional do livro para o Ensino Médio (CNLEM). Para a segunda questão, adotamos alguns elementos da metodologia engenharia didática. Empregamos para essa análise a tipologia de provas de Balacheff. Os resultados das nossas análises aduzem que o autor da coleção se preocupa em oferecer sempre algum tipo de justificativa ou demonstração para cada elemento novo apresentado. Entretanto, há poucas atividades que estimulam o leitor a produzir provas. No tocante à seqüência didática, a pesquisa aponta algumas dificuldades verificadas no processo de produção de provas e mostra que apesar disso, a seqüência permitiu um avanço por parte dos alunos de validações empíricas para as validações dedutivas

Made available in DSpace on 2016-04-27T16:58:28Z (GMT). No. of bitstreams: 1 Marcelo Eduardo Pereira.pdf: 4788851 bytes, checksum: f240246d61aa2e0ffdb09fe10593ffca (MD5) Previous issue date: 2007-10-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The purpose of this research is to analyze learning situations concerning argumentations and mathematical proofs combined with a computational tool and had been developed into the AprovaME project - Argumentação e Prova na Matemática Escolar (Argumentation and Proof in School Mathematics), particularly during the second phase. We are founded by researches that explore the assuming functions of proof as well as evaluate them in the school context, underneath various aspects and generality levels. Guided by the main results of this studies and the survey of proof conceptions made by the teenager students that had been accomplished during the first phase of the project, we prepared a sequence of activities intending to engage them throughout the stages of proving and to argue about the conditions of transiting between pragmatic and conceptual proofs. We search, into this context, to explore different functions proof, beyond the verification one, and to analyze the role of the Microsoft Excel tool in the students empirical work. The activities were applied in extra classes sessions for three pairs of volunteer students between 15-16 years old from a private school in Santos-SP. As result, it was verified that students interaction with the computer had dynamized the process of surveying conjectures and validating them. Also through the computer experience they were able to notice the manipulated objects properties which developed the production of justifications beyond empirical evidences. Therefore, within this proposal, the students had experienced the moments of proving and presented, by deductive reasoning, argumentations that show clearly the generality involved in the suggested tasks / A proposta deste trabalho é analisar situações de aprendizagem envolvendo argumentações e provas matemáticas, integrando uma ferramenta computacional, tendo sido desenvolvido no âmbito do projeto AProvaME Argumentação e Prova na Matemática Escolar, referindo-se, particularmente, à 2ª Fase deste projeto. Fundamentamo-nos em pesquisas que exploram as funções que uma prova pode assumir e as avaliam, no contexto escolar, sob vários aspectos e níveis de generalidade. À luz dos principais resultados desses estudos e do levantamento das concepções sobre prova de alunos adolescentes, realizado na 1a Fase do Projeto, elaboramos uma seqüência de atividades com o intuito de engajá-los nas várias etapas do processo de prova e discutir as condições de transição das provas pragmáticas para as conceituais. Buscamos, neste contexto, explorar outras funções da prova, além da função de verificação e avaliar o papel da ferramenta Microsoft Excel no trabalho empírico dos alunos. A seqüência foi aplicada, em sessões extraclasse, a três duplas de alunos de 15-16 anos de uma escola particular da cidade de Santos-SP, que participaram voluntariamente da experimentação. Como resultado, verificou-se que a interação dos alunos com o computador dinamizou o processo de produção de conjecturas e de validação experimental destas, bem como a observação de propriedades dos objetos manipulados, favorecendo a elaboração de justificativas que vão além das evidências empíricas. Assim, por meio desta abordagem, os alunos tiveram a oportunidade de vivenciar as etapas do processo de prova, apresentando, por meio de raciocínios dedutivos, argumentos que evidenciam a generalidade envolvida nas tarefas propostas

Made available in DSpace on 2016-04-27T16:58:36Z (GMT). No. of bitstreams: 1 Marcilio Farias da Silva.pdf: 2141335 bytes, checksum: 164a0489f21f7f26a38436a8d2811b56 (MD5) Previous issue date: 2008-04-24 / Secretaria da Educação do Estado de São Paulo / The intention of this dissertation is the elaboration and analysis of a didactic sequence focused to the teaching and learning of examinations for students of the 9th school year in Brazil, using a computer tool. The whole experiment was developed in a Project of Argumentations and test in the Mathematics school (AProvaME), that he/she has as objective to prepare a map on the conceptions of arguments and the students tests in the state of São Paulo in Brazil. The elaboration of the didactic sequence was inspired in the questionaire of Álgebra of the project AProvaME, based and analyzed under the perspective from the levels of Balacheff (1988) classification of experiments and ideas related to the roles and functions of the experiments of Villiers (2001) and in the ideas suggested in PCN. We used as computer resource EXCEL, which allowed to the the students the electronic construction of spreadsheets enlarging the data for better analyze and elaborate their conjectures, arguments, justifications and validations. It was analyzed three protocols of three couples with ages between 13 and 14 years old of a private school in the city of Lorena in São Paulo which contributed voluntarialy with the experimentation. Analysing the results we can establish that predominated the formulations of the arguments and conjectures limked to conceptual pragmatic experiments described in the natural languages that in the whole process were empirically justified. A relevant and decisive fact in the successful research was the role of the mediator teacher during the moments of interventions that it provided the interaction student-teacher, necessary in the development of didactic sequences that aim the teaching and learning of arguments and mathematical experiments / O propósito desta dissertação é a elaboração e análise de uma seqüência didática para o ensino e aprendizagem de provas e argumentações, destinada a alunos do 9º ano do Ensino Fundamental, utilizando uma ferramenta computacional. Todo o experimento foi desenvolvido no âmbito do Projeto Argumentação e prova na Matemática Escolar (AProvaME), que tem como objetivo construir um mapa sobre as concepções de argumentação e prova de alunos do Estado de São Paulo. A elaboração da seqüência didática foi inspirada no questionário de Álgebra do projeto AProvaME e fundamentada e analisada sob a perspectiva da classificação de provas de Balacheff (1988), das idéias relacionadas aos papéis e funções das provas de De Villiers (2001) e nas sugestões apresentadas nos PCN. Utilizamos como recurso computacional o Excel, que permitiu aos alunos a construção de planilhas eletrônicas ampliando os dados para melhor analisar e elaborar suas conjecturas, argumentos, justificativas e validações. Foram analisados os protocolos de três duplas, com idades de 13 e 14 anos, de uma escola particular da cidade de Lorena-SP, que contribuíram voluntariamente com a experimentação. Analisando os resultados, constatamos que predominaram as formulações de argumentos e conjecturas vinculadas a provas pragmáticas descritas na língua natural, que, em todo o processo, foram justificadas empiricamente. Um fato relevante e determinante no sucesso da pesquisa foi o papel do professor mediador, durante os momentos de intervenções, favorecendo a interação aluno-professor, necessária no desenvolvimento de seqüências didáticas que visam o ensino e aprendizagem de argumentações e provas matemáticas

Submitted by Fernanda Ciolfi (fernanda.ciolfi@puc-campinas.edu.br) on 2016-04-06T18:43:12Z No. of bitstreams: 1 Luiz Ricardo Vieira Gonzaga.pdf: 4978693 bytes, checksum: 22e5218d6daab1bb1914d2919134607a (MD5) / Made available in DSpace on 2016-04-06T18:43:12Z (GMT). No. of bitstreams: 1 Luiz Ricardo Vieira Gonzaga.pdf: 4978693 bytes, checksum: 22e5218d6daab1bb1914d2919134607a (MD5) Previous issue date: 2016-02-24 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Adolescence is a period of physical, psychological, social and cultural changes, include stressors in the school context as to do academic tests and admission exams for college. To deal with these situations, teenagers present different ways of coping which influence the academic engagement, studying and coping with test anxiety, that affects their academic performance. Therefore, the coping process can be a mediating or moderating variable of the impact of stress on school performance. This research aimed to describe and analyze the relations between academic stressors, test anxiety and its coping and the academic performance of High School students with and without behavior problems, using a developmental and self-regulating approach. Participated 411 students (girls: 59.85%), with 14-20 year olds (M = 16.27; SD=1.04) attending High School on a public school in S?o Paulo?s capital. We applied the following instruments in six classrooms: Brazilian Economic Classification Criteria (Brazilian Criteria), the Test Anxiety Scale (TAS) and Adolescent/Child?s Self Report Responses to Stress ? Academic Problems (RSQ-AS) - both translation processes authorized, the Youth Self-Report (YSR) and the Scale of Coping with Academic Tests, specially developed to access the coping process before, during and after tests. We did these statistical analisis: descriptive, correlations, structural equations modeling and network analysis. Most students had test anxiety (n= 379; 62.53%), girls in particular (n= 227; 66.96%), and n=379; 20.84% demonstrated behavioral problems (Internalizing: n=139; 36.68%; Externalizing: n=69; 18.21%). The student?s average grade in the subject was above five points (M = 6.63; SD=1.18). When facing academic stressors, they reacted with involuntary responses (M = 0.23; SD= 0.04). To deal with tests, the coping process is more adaptive than maladaptive (AC: M = 55.39; SD= 10.60; MAC: M = 41.64; SD=12.80), with ways of coping like Self-reliance, Support-seeking and Problem-solving. Classrooms showed significative differences in socioeconomic status, age groups, number of stressful sources and general average. Structural equation modeling indicates that students with better academic performance were those who had internalizing problems, not externalizing problems, higher adaptive coping score, secondary control engagement coping and involuntary engagement,and whose involuntary disengagement score was lower. Students who experienced test anxiety had higher involuntary engagement and higher number of academic stressors. Students who experienced higher number of academic stressors presented higher primary and secondary control engagement scores, voluntary and involuntary disengagement, and involuntary engagement. The students who had internalizing problems had more test anxiety and higher number of academic stressors. The students who had higher maladaptive coping scores had internalizing problems, test anxiety and higher number of academic stressors. The network analysis also indicated associations between: higher age, higher grades schooling and better academic performance; higher grades schooling and more stress; and low academic performance and academic stressors (not understanding classes or homework, having trouble studying, feeling pressured to do something, and having bad classes or teachers). The behavior problems stand out in this sampling, as well as coping difficulties regarding school events, which referee a psychological intervention in this educational grade. / A adolesc?ncia ? um per?odo de mudan?as f?sicas, psicol?gicas e socioculturais, com muitos estressores, inclusive no contexto escolar, a exemplo da realiza??o de provas acad?micas e o vestibular. Para lidar com essas situa??es, os adolescentes apresentam diferentes estrat?gias de enfrentamento (EE), as quais influenciam o engajamento acad?mico, o comportamento de estudar e de lidar com a ansiedade em situa??es de provas, afetando seu rendimento acad?mico. O enfrentamento (coping), portanto, pode atuar como uma vari?vel moderadora ou mediadora do impacto do estresse sobre o desempenho escolar. Esta pesquisa teve por objetivo descrever e analisar as rela??es entre estressores acad?micos, ansiedade de provas escolares e seu enfrentamento, e o desempenho acad?mico, em alunos do Ensino M?dio, com e sem problemas de comportamento, adotando uma perspectiva desenvolvimentista e de autorregula??o. Participaram 411 alunos (meninas = 59,85%), com 14-20 anos (M = 16,27; DP=1,04), cursando o Ensino M?dio, em uma escola p?blica da capital paulista. Foram aplicados, nas 6 turmas: o Crit?rio de Classifica??o Econ?mica Brasil, o Test Anxiety Scale (TAS) e Adolescent/Child?s Self Report Responses to Stress ? Academic Problems (RSQ-AS), ambos com valida??o lingu?stica autorizada, o Youth Self-Report (YSR), e a Escala de Enfrentamento de Provas Escolares, especialmente elaborada, avaliando o coping antes, durante e depois de provas. Foram feitas an?lises estat?sticas: descritiva, correla??es, modelagem de equa??es estruturais e an?lise de redes. A maioria dos estudantes tinha ansiedade de provas (n= 379; 62,53%), especialmente as meninas (n=227; 66,96%), e n= 379; 20,84% apresentaram problemas de comportamento (Internalizantes: n= 139; 36,68%; Externalizantes: n= 69; 18,21%). A m?dia geral das notas das disciplinas das turmas ficou acima de cinco pontos (M = 6,63; DP= 1,18). Frente a estressores acad?micos, os alunos reagiam com respostas involunt?rias (M = 0,23; DP=0,04). Diante de provas, o coping era mais adaptativo do que mal adaptativo (CA: M = 55,39; DP= 10,60; CMA: M = 41,64; DP=12,80), com EE de autoconfian?a, busca de suporte e resolu??o de problemas. Houve diferen?as significativas entre as s?ries escolares no n?vel socioecon?mico, idade, n?mero de estressores e m?dia geral. As an?lises de equa??es estruturais indicaram que os alunos com maior desempenho acad?mico foram aqueles com problemas internalizantes, sem problemas externalizantes, maior escore de coping adaptativo, engajamento de controle secund?rio e engajamento involunt?rio, e menor escore de desengajamento involunt?rio. Alunos com ansiedade de provas apresentaram maior engajamento involunt?rio e maior n?mero de estressores. Os alunos com maior n?mero de estressores apresentaram maiores escores de engajamento de controle prim?rio e secund?rio, desengajamento volunt?rio e involunt?rio, e engajamento involunt?rio. Os alunos com problemas internalizantes foram aqueles com ansiedade de provas e maior n?mero de estressores. Os alunos com maiores escores de coping mal adaptativo foram aqueles com problemas internalizantes, ansiedade de provas e maior n?mero de estressores. A an?lise de redes indicou tamb?m associa??es entre: maioridade, maior escolaridade e melhor desempenho acad?mico; maior escolaridade e mais estresse; e baixo desempenho e estressores acad?micos (n?o entender as aulas e as tarefas, ter dificuldade para estudar, sentir-se pressionado e ter professores ruins). Os problemas de comportamento se destacaram nesta amostra, assim como as dificuldades de enfrentamento dos eventos escolares, indicando a necessidade de interven??es psicol?gicas nesse n?vel educacional.

O processo penal no Brasil é conjunto de atos jurídicos, formalmente ordenados, com o objetivo de apurar a veracidade de fatos criminosos, resultando na sentença condenatória ou absolvição do agente envolvido no crime. Ocorre que durante o procedimento inclui a figura do perito criminal como representante legal para a análise de provas das infrações. As diversas modalidades do crime resultam em complexos levantamentos de provas, exigindo do perito criminal o conhecimento técnico - científico do crime específico a ser examinado. Os Institutos de perícias são formados por profissionais multidisciplinares que tem como objetivo atingir a maior abrangência das ciências para auxiliar na justiça. Com a nova modalidade de crime de maus-tratos aos animais, o Estado tem a responsabilidade de materializar os vestígios relacionados com os animais, convergindo o respectivo trabalho ao perito criminal com formação em medicina veterinária. Atualmente é reduzido o número profissionais veterinários nos quadros dos peritos criminais, interferindo nos compromissos da veracidade ou autenticidade dos fatos. Paralelamente a esta nova demanda, os institutos de ensino superior estão implementando a nova especialidade denominada de Medicina Veterinária Legal que tem como objetivo disciplinar o conhecimento da medicina veterinária no auxilio da justiça. O presente trabalho foi dividido em duas partes, onde a primeira tem como objetivo expor o funcionamento sistema jurídico nacional e as atribuições dos peritos criminais, pontuando as importâncias do conhecimento médico veterinário legal quando do levantamento de provas envolvendo maus-tratos aos animais, e na segunda parte, as imagens das práticas do levantamento de provas pelo perito criminal médico veterinário em infrações de maus-tratos aos animais e discussões envolvendo as dificuldades e apontamentos pertinentes a prática legal. / Criminal processes in Brazil are a set of legal acts formally organized with the goal of investigating the veracity of crime facts, resulting in a sentence or pardon of the person involved in the crime. During the process, the forensic expert is included as a legal representative to analyze the evidence. Several modalities of crime result in complex retrieval of evidence, requiring from the forensic expert technical and scientific knowledge of the crime to be examined. Forensic Institutes are composed of multidisciplinary professionals with the goal of achieving the largest possible breadth of sciences to assist the Law. In the new animal abuse modality of crime, the State has the responsibility of retrieving the traces related to animals, turning over the work to the forensic expert with training in veterinary medicine. Currently the number of veterinarians is small among forensic experts, interfering with veracity and authenticity of facts. In parallel to this new demand, higher education institutions are implementing a new specialty called Legal Veterinary Medicine, which aims at formalizing the knowledge of veterinary medicine to assist the Law. The current work is divided into two parts: the first aims at exposing how the national legal system works and the attributions of forensic experts, evidencing the importance of Legal Veterinary Medicine when retrieving evidence involving animal abuse. And the second part exposes the images of the practices of evidence retrieval by forensic veterinary medics in animal abuse cases and discussions involving the difficulties and observations relative to legal practices.

Entre as cinco provas da existência de Deus que Tomás de Aquino apresentou na Summa Theologiae, sobressai a chamada “primeira via”, considerada pelo autor como a “mais manifesta”. Esta dissertação formaliza-a em lógica quantificacional, explicitando cada uma das inferências a fim de julgar sua validade e correção. Depois de explicadas as teses metafísicas que constituem o cenário da discussão — como a doutrina aristotélica das quatro causas e as distinções entre substância e acidente, ato e potência —, são examinadas as objeções de Anthony Kenny (1969) e as sugestões interpretativas de John Wippel (2000) em defesa do raciocínio de Tomás. Mostra-se que a primeira parte, que procura demonstrar a irreflexividade do movimento, é um argumento válido, mas incorreto, por conter uma premissa falsa: aquela que afirma sem restrições a atualidade do movente. Já a segunda parte, o argumento contra o regresso infinito, contém uma ambiguidade que o deixa diante de duas alternativas: ou se trata de uma petição de princípio ou de uma falácia de equivocidade. Dado o fracasso material e formal da prova, é proposta finalmente uma abordagem não-dedutiva do problema. / Among the five proofs of God’s existence presented by Thomas Aquinas in his Summa Theologiae, the so-called "first way" stands out, for being considered by the author as the "most obvious" one. This dissertation formalizes it in quantificational logic, explaining each of the inferences in order to assess its validity and soundness. After explaining the metaphysical theses that provide the backdrop for the discussion — as the doctrine of the four Aristotelian causes and the distinctions between substance and accident, act and potency — it considers the objections of Anthony Kenny (1969) and interpretive suggestions of John Wippel (2000) in defense of Thomas’ reasoning. It is shown that the first part, which seeks to demonstrate the non-reflexivity of movement, is a valid argument, but unsound, because it contains a false premise: the one that states the mover’s actuality without restrictions. The second part, the argument against the infinite regress, contains an ambiguity that leaves you faced with two alternatives: either it begs the question or it is a fallacy of equivocation. Given the material and formal failure of the proof, a non-deductive approach to the problem is finally proposed.