Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-03-20T21:03:00Z No. of bitstreams: 1 EvelynFernandesErickson_DISSERT.pdf: 706523 bytes, checksum: 8adb88738bde33540238e2807b96f5f4 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-03-23T00:17:48Z (GMT) No. of bitstreams: 1 EvelynFernandesErickson_DISSERT.pdf: 706523 bytes, checksum: 8adb88738bde33540238e2807b96f5f4 (MD5) / Made available in DSpace on 2017-03-23T00:17:48Z (GMT). No. of bitstreams: 1 EvelynFernandesErickson_DISSERT.pdf: 706523 bytes, checksum: 8adb88738bde33540238e2807b96f5f4 (MD5) Previous issue date: 2016-12-12 / O pluralismo l?gico vem recentemente chamando aten??o, com v?rios autores contestando sua natureza. O pluralismo l?gico ? a posi??o que diz que h? mais de uma l?gica correta ou leg?tima, o que pode ser articulado de diferentes maneiras. A presente disserta??o participa nesse debate explorando o framework do ?-entailment no contexto de variedades do pluralismo presentes na literatura. O ?-entailment ? uma no??o de consequ?ncia l?gica que ? capaz de expressar outras rela??es, como as l?gicas multi-dimensionais. Em particular, esse estudo examina quatro posi??es sobre o pluralismo: o pluralismo ecl?tico de Shapiro, o pluralismo atrav?s de GTT de Beall e Restall, o pluralismo intra-te?rico de Hjortland e os pluralismos atrav?s de teoria das demonsta??es de Restall e Paoli. Ser? mostrado como o ?-entailment se encaixa nessas variedades de pluralismo e tamb?m como fica em falta em certos aspectos. O objetivo da disserta??o ? tanto contribuir para a discuss?o sobre o pluralismo l?gico quanto expandir a discuss?o sobre o ?-entailment e outras no??es de consequ?ncia l?gica desse g?nero. / Logical pluralism has recently been given much attention, with numerous authors contesting its nature. In a broad sense, logical pluralism is the view that there are more than one correct or legitimate logic, which can be articulated in different ways. The present study participates in this debate by exploring the framework of ?-entailment in the context of several of varieties of pluralism. ?-entailment is a logical consequence relation, which may express different consequence relations, such as those of many-dimensional logics. In particular, this study examines four different takes on pluralism: Shapiros?s eclectic pluralism, Beall and Restall?s GTT pluralism, Hjortland?s intra-theoretic pluralism and Restall and Paoli?s pluralism based on proof-theory. It will be shown how ?-entailment fits into these varieties of pluralism, and a discussion is presented on how ?-entailment falls short is some aspects. The aim is to contribute to the discussion on logical pluralism as well as to expand the discussion about ?-entailment and consequence relations of this sort.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-16T21:10:22Z No. of bitstreams: 1 SandersonMolickSilva_DISSERT.pdf: 786958 bytes, checksum: c978a9dfce670e09f4d33d627a246fc4 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-19T23:25:27Z (GMT) No. of bitstreams: 1 SandersonMolickSilva_DISSERT.pdf: 786958 bytes, checksum: c978a9dfce670e09f4d33d627a246fc4 (MD5) / Made available in DSpace on 2016-08-19T23:25:27Z (GMT). No. of bitstreams: 1 SandersonMolickSilva_DISSERT.pdf: 786958 bytes, checksum: c978a9dfce670e09f4d33d627a246fc4 (MD5) Previous issue date: 2015-09-04 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / A Tese de Suszko ? uma posi??o filos?fica acerca da natureza dos m?ltiplos valores-de-verdade. Formulada pelo l?gico polon?s Roman Suszko, durante a d?cada de 1970, a tese defende a exist?ncia de ?apenas dois valores-de-verdade?. Tal afirma??o diz respeito ? concep??o de multi-valora??o perpetrada pelo l?gico Jan ?ukasiewicz. Considerado um dos criadores das l?gicas multi-valoradas, ?ukasiewicz acrescentou, em adi??o aos valores fregeanos tradicionais de Verdade e Falsidade, um terceiro valor: o Indeterminado. Para ele, seu terceiro valor poderia ser visto como um passo al?m da dicotomia Aristot?lica entre o ser e o n?o-ser. De acordo com Suszko, as ideias de ?ukasiewicz sobre multi-valora??o se baseavam em uma confus?o entre valores alg?bricos (aquilo que ? descrito/denotado por senten?as) e valores l?gicos (verdade e falsidade). Assim, o terceiro valor-de-verdade criado por ?ukasiewicz seria apenas um valor alg?brico, isto ?, uma poss?vel denota??o para uma senten?a, mas n?o um valor l?gico genu?no. A tese de Suszko encontra respaldo em um resultado formal conhecido hoje como Redu??o de Suszko, um teorema que afirma que toda l?gica tarskiana pode ser caracterizada por uma sem?ntica bivalente. Esta disserta??o pretende ser uma investiga??o da tese de Suszko e de suas implica??es. A primeira parte ? dedicada ?s ra?zes hist?ricas da multi-valora??o e introduz as principais motiva??es de Suszko ao formular a distin??o entre valores alg?bricos e valores l?gicos, e assim revelar o car?ter duplo dos valores-de-verdade. A segunda parte explora a Redu??o de Suszko e apresenta seus principais desenvolvimentos; as propriedades das sem?nticas bivalentes em compara??o ?s sem?nticas multi-valoradas tamb?m s?o exploradas e discutidas. Por fim, a terceira parte investiga o conceito de valores l?gicos dentro do contexto de no??es n?o-tarskianas de consequ?ncia l?gica; o significado da tese de Suszko dentro desses ambientes tamb?m ? discutido. Mais ainda, os fundamentos filos?ficos das no??es de consequ?ncias n?o-tarskianas s?o discutidos ? luz do debate recente sobre pluralismo l?gico. / Suszko?s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of ?only but two truth values?. The thesis is a reaction against the notion of many-valuedness conceived by Jan ?ukasiewicz. Reputed as one of the modern founders of many-valued logics, ?ukasiewicz considered a third undetermined value in addition to the traditional Fregean values of Truth and Falsehood. For ?ukasiewicz, his third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, ?ukasiewicz?s ideas rested on a confusion between algebraic values (what sentences describe/denote) and logical values (truth and falsity). Thus, ?ukasiewicz?s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko?s Thesis is endorsed by a formal result baptized as Suszko?s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko?s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko?s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko?s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko?s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism.

Made available in DSpace on 2015-04-14T13:54:57Z (GMT). No. of bitstreams: 1 410057.pdf: 641631 bytes, checksum: 37f017c6f7206c4f1a2cbd5978e77471 (MD5) Previous issue date: 2009-01-12 / O objetivo deste estudo ? explorar a inter-rela??o dos conceitos de representa??o e gram?tica no Tractatus Logico-Philosophicus de Wittgenstein. A quest?o mais importante colocada ? Filosofia da Linguagem ? a rela??o linguagem-realidade, pois, com efeito, saber como a linguagem ? capaz de significar coisas, ou seja, referir-se ? realidade, ? o problema fundamental de qualquer fil?sofo quando busca pensar a realidade atrav?s de proposi??es. Ao longo de sua vida o problema da conex?o entre linguagem e mundo tornou-se uma obsess?o para Wittgenstein, repetidamente ele retoma este tema para elucidar a natureza da representa??o do mundo na linguagem. Esta tarefa domina o Tractatus e continua como um tema dominante nas investiga??es gramaticais de sua filosofia posterior. ? por isso que come?o minha argumenta??o pela estrutura da realidade e imediatamente passo a analisar a estrutura da linguagem, para que no fim deste trabalho se possa perceber a grandeza desta quest?o. Durante a an?lise eu procurarei clarificar alguns conceitos importantes do Tractatus, tais como o conceito de fato e estado de coisas poss?vel, objetos e nomes, figura??o e m?todo de proje??o .

Made available in DSpace on 2014-12-17T14:35:57Z (GMT). No. of bitstreams: 1 RaimundaPR.pdf: 1051725 bytes, checksum: 590d5324d9549befd73f446ffdf452d2 (MD5) Previous issue date: 2008-07-26 / La investigaci?n fue realizada con profesores de los a?os iniciales de la ense?anza b?sica, alumnos de la carrera de Pedagog?a Licenciatura Plena del PROB?SICA de Cear?-Mirim (RN). Tuvo como objetivo general el estudio de lo proceso de apropiaci?n de esa habilidad, segundo las siguientes perspectivas te?ricas: hist?ricocultural, de L.S. Vygotsky, teor?a de la actividad, de A.N. Leontiev, y la teor?a de la asimilaci?n por etapas mentales, de P. Ya Galperin. La metodolog?a se desarroll? organiz?ndose en tres etapas: el diagn?stico inicial, con el an?lisis del nivel de desarrollo de la habilidad de los profesores; el proceso formativo, con la orientaci?n del aprendizaje, el control y la evaluaci?n del desarrollo; y el diagn?stico final, con el an?lisis del nivel alcanzado en la experiencia. Los instrumentos utilizados fueron: un cuestionario, para la caracterizaci?n de los sujetos de la investigaci?n, el planeamiento de ense?anza de los profesores y el diario de clase, donde se registraba lo que ocurri? en cada orientaci?n y realizaci?n del proceso formativo. Los resultados referentes a los niveles iniciales del desarrollo de la habilidad han revelado un grado de espontaneidad en el planeamiento de ense?anza de los conceptos. Durante el proceso de ense?anza y aprendizaje, los profesores han expresado sus dificultades, pero tambi?n las posibilidades de mudanza para que alcanzaran un nuevo nivel de desarrollo. Para el an?lisis del nivel inicial y del desarrollo de las habilidades de los profesores para planificar situaciones de ense?anza con la definici?n y con la identificaci?n, fueron utilizados los siguientes elementos: el dominio del concepto, el dominio de esos procedimientos l?gicos y las categor?as del planeamiento (objetivos, contenidos, estrategias de ense?anza, control y evaluaci?n). En cada etapa surgieron obst?culos, pero tambi?n aspectos que han revelado la posibilidad para aprender una nueva forma de planear, con apropiaci?n de nuevos fundamentos te?ricos. La pr?ctica docente se constituy? en un elemento que facilit? la comprensi?n y la apropiaci?n de las habilidades de planear situaciones de ense?anza de conceptos mediante la definici?n y la identificaci?n / Esta investiga??o tem como objeto de estudo, o processo de apropria??o da habilidade de planejar situa??es de ensino para a defini??o de conceitos e identifica??o de objetos. O objetivo ? estudar esse processo de apropria??o pelos professores das s?ries iniciais do ensino fundamental, segundo a perspectiva hist?rico-cultural, de L.S. Vygotsky; a teoria da atividade, de A.N. Leontiev, e a teoria da assimila??o por etapas mentais, de P. Ya Galperin. Esta pesquisa foi desenvolvida na ?rea de Ci?ncias Naturais, com 14 professores que cursavam Pedagogia Licenciatura Plena do PROB?SICA da cidade de Cear?-Mirim (RN). Est? vinculada ao Programa de P?s-Gradua??o em Educa??o da Universidade Federal do Rio Grande do Norte (PPGED/UFRN) na Base de Pesquisa de Forma??o de Professores, na linha de Forma??o e Profissionaliza??o Docente. A metodologia foi institu?da no contexto de ensino-aprendizagem docente e organizou-se em tr?s etapas: o diagn?stico inicial com a an?lise do n?vel de desenvolvimento da habilidade dos professores para planejar situa??es de ensino ; o processo formativo com a orienta??o da aprendizagem, o controle e a avalia??o do n?vel de desenvolvimento dessa habilidade ; e o diagn?stico final com a an?lise do n?vel de desenvolvimento dessa habilidade alcan?ado no final da experi?ncia. Os instrumentos utilizados foram: um question?rio para a caracteriza??o dos sujeitos da pesquisa ; os planos de ensino dos professores; e o di?rio de aula no qual se registrava o que acontecia em cada orienta??o e em cada realiza??o do processo de aprendizagem docente. Os resultados foram analisados por etapas: no diagn?stico, foram revelados os n?veis iniciais de desenvolvimento da habilidade dos professores, que apresentavam um grau de espontaneidade no planejamento de ensino dos conceitos; No processo de ensino-aprendizagem, foram registradas as dificuldades dos professores para planejar situa??es de ensino, mas tamb?m foi evidenciada a potencialidade destes para alcan?ar um novo n?vel de desenvolvimento da habilidade em estudo. Para a an?lise do n?vel inicial e do processo de apropria??o (forma??o e desenvolvimento) das habilidades dos professores para planejar situa??es de ensino com a defini??o de conceitos e com a identifica??o de objetos, foram utilizados os seguintes crit?rios: o dom?nio dos conceitos inclu?dos no planejamento, o dom?nio dos procedimentos iniciais do pensamento l?gico e das categorias do planejamento (objetivos, conte?dos, estrat?gias de ensino, controle e avalia??o). Em cada etapa, foram surgindo obst?culos e tamb?m fatores que revelavam a possibilidade de os professores apropriarem-se da habilidade de planejar desenvolver a??es de planejamento com grau satisfat?rio de generaliza??o, de consci?ncia e de independ?ncia

Made available in DSpace on 2014-12-17T14:36:04Z (GMT). No. of bitstreams: 1 GiselleCS.pdf: 1317056 bytes, checksum: 7a18c243029448082b124844381ad4ba (MD5) Previous issue date: 2005-10-14 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics / O presente estudo tem como objetivo fazer uma reavalia??o do pensamento l?gico do matem?tico ingl?s George Boole (1815 1864). Desta forma, nossa pesquisa versa sobre reflex?es concernentes a an?lise matem?tica da l?gica permeada pela hist?ria da matem?tica. Para isso, realizamos uma colet?nea de considera??es biogr?ficas deste personagem ? luz de um estudo dos acontecimentos ocorridos no s?culo XIX e seu reflexo na produ??o matem?tica. Descrevemos brevemente as inova??es feitas por Boole nas ?reas de equa??es diferenciais e da teoria de invariantes. Fizemos ainda uma an?lise da l?gica de Boole, especialmente como formulada no livro The Mathematical Analysis of Logic, fazendo uma compara??o desta tanto com a l?gica aristot?lica tradicional, quanto ? l?gica moderna. Conclu?mos que Boole, como pretendia, expandiu a l?gica, n?o somente em termos do seu conte?do, mas tamb?m em termos dos seus m?todos e elabora??o formal. Conclu?mos ainda que o seu prop?sito foi a modelagem matem?tica do racioc?nio dedutivo, o que o levou a apresentar um formalismo que marcou ?poca para a l?gica e que, atrav?s de suas interpreta??es distintas, levou Boole a uma nova conceitua??o do que ? a pr?pria matem?tica

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-02-09T21:43:59Z No. of bitstreams: 1 WellingtonVieiraMendes_TESE.pdf: 2621241 bytes, checksum: f6a95e3bc3e71ca27b84f76bdb210ccf (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-02-10T17:04:04Z (GMT) No. of bitstreams: 1 WellingtonVieiraMendes_TESE.pdf: 2621241 bytes, checksum: f6a95e3bc3e71ca27b84f76bdb210ccf (MD5) / Made available in DSpace on 2017-02-10T17:04:04Z (GMT). No. of bitstreams: 1 WellingtonVieiraMendes_TESE.pdf: 2621241 bytes, checksum: f6a95e3bc3e71ca27b84f76bdb210ccf (MD5) Previous issue date: 2016-08-22 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / A observa??o do modo como se organizam os textos acad?micos permite o entendimento dos mecanismos de constru??o dos sentidos nos diferentes estratos dos sistemas discursivos. Al?m das caracter?sticas lexicogramaticais que se configuram na superf?cie dos textos, o reconhecimento dos contextos em que s?o produzidos possibilita tamb?m compreend?-los como sendo resultantes de processos de constru??o de sentidos complexos e articulados nesses sistemas, tal como definido pela Lingu?stica Sist?mico-Funcional (LSF). Este estudo se filia aos modelos de sistemas discursivos propostos por Martin e Rose (2007), aos estudos de coes?o desenvolvidos em Halliday e Hasan (1976) e ? gram?tica sist?mico-funcional de Halliday e Matthiessen (2014). O foco e escopo do trabalho ? o fen?meno da jun??o com marcadores expl?citos ? aqui concebida como diferentes realiza??es da lexicogram?tica que, independentemente de seu estatuto ou extens?o, atuam na conflu?ncia de complexos oracionais. Neste caso espec?fico, o interesse se volta aos textos produzidos por graduandos e p?s-graduandos em Letras, a fim de: (i) identificar as rela??es de jun??o em textos acad?mico-cient?ficos produzidos por estudantes de gradua??o e de p?s-gradua??o; (ii) comparar os usos das rela??es de jun??o entre os textos produzidos por estudantes de gradua??o e p?s-gradua??o; (iii) apresentar contribui??es para as pr?ticas de escrita na academia a partir dos subs?dios te?ricos fornecidos pela LSF sobre articula??o textual. Para atendimento destes objetivos, a pesquisa analisa um corpus de 9,8 milh?es de palavras composto por artigos, monografias, disserta??es e teses da ?rea de Lingu?stica. Os dados foram recenseados com apoio de ferramentas dispon?veis nas aplica??es do WordSmith Tools (SCOTT, 2012), especificamente no tratamento quantitativo de amostras. ? guisa de resultados, ? poss?vel indicar que a jun??o com marcador expl?cito se situa com maior recorr?ncia nos textos de graduandos, mas colabora, indistintamente nos trabalhos de gradua??o e p?s-gradua??o, para a constru??o de sentidos no discurso porque configuram rela??es e atividades dentro do pr?prio texto e para al?m dele, tanto pelas passagens argumentativas de um t?pico a outro, como pelo emprego de recursos como met?frase, transposi??o e/ou amplia??o de sentidos quando esses componentes funcionais apontam para a experi?ncia ou idea??o e, noutros casos, para a organiza??o sequencial do texto. / The observation of how academic texts are organized provides the understanding of the meaning construction mechanisms in the different strata of the discursive systems. Besides the lexicogrammatical characteristics which configure on the surface of the texts, the contexts recognition in which they are produced also make it possible to understand them as a result of a complex process of meaning construction and articulated in these systems according to Systemic Functional Linguistics (SFL). The theoretical frameworks of this study are the discursive system model suggested by Martin and Rose (2007), the cohesion studies carried out by Halliday and Hasan (1976) and the Systemic-Functional Grammar by Halliday and Matthiessen (2014). The focus and objective of this research is the junction phenomenon with overt markers - here conceived as different lexicogrammatical realizations which, regardless their status or length, act in the confluence of clause complexes. In this specific case, the focus is shifted towards texts written by Letras undergraduate and graduate students. It aims at: (i) Identifying the relations of junction in academic texts written by undergraduate and graduate students; (ii) comparing the usages of relation of junctions within the texts written by undergraduate and graduate students; (iii) provide input to writing practices in the gym from the theoretical basis provided by LSF on textual articulation. To reach these objectives, the research analyzes a corpus of 9,8 million words composed of research articles, monographs, master?s dissertations and doctoral theses in Linguistics. The data were compiled with the support of the tools available for use on WordSmith Tools (SCOTT, 2012), specifically on the quantitative treatment of the samples. By way of results, it is possible to state that junction with overt marker shows a higher recurrence in the undergraduates? texts, but cooperate, indistinctly, with the undergraduates? and graduates? works, for the meaning construction in discourse because they configure relations and activities in the text itself and beyond, as much for the argumentative passages of a given topic or another, as for the usage of resources such as metaphrase, transposition and/or amplification of meanings when these functional components point out towards the experience or ideation and, in other cases, for the sequential organization of the text.

Made available in DSpace on 2014-12-17T14:36:00Z (GMT). No. of bitstreams: 1 RafaelMT.pdf: 3042261 bytes, checksum: b39fc693fd50baff1ab814faffa9efa3 (MD5) Previous issue date: 2007-12-07 / Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alice s Adventures In Wonderland and its sequel Alice Through The Looking Glass, he eventually created a real and complex universe which uses what we call the logic of the nonsense as an element to motivate the development of mathematical thinking of the reader, taking it as well, learn by establishing a link between the concrete (mathematics) and the imaginary (their universe). In order to investigate and discuss the educational potential of their works and state some elements that can contribute to a decentralized math education from the traditional method of following the models and decorate formulas, we visited his works based on the studies of archeology of knowledge (FOUCAULT, 2007), the rational thought and symbolic thinking (VERGANI, 2003) and about the importance of stories and narratives to the development of human cognition (FARIAS, 2006). Through a descriptive, analytical study, we used the literary construction and presented part of our study in form of a mathematical novel, to give the mathematical school a particular charm, without depriving it of its basics properties as discipline and content. Our study showed how the works of Carroll have a strong didactic element that can deploy in various activities of study and teaching for mathematics classes / Ex?mio professor de matem?tica, Lewis Carroll, pseud?nimo de Charles Lutwidge Dodgson (1832 1898), fez da mistura da matem?tica com a literatura um ambiente l?dico para a aprendizagem dessa disciplina. Autor dos conhecidos Alice no pa?s das Maravilhas e Alice atrav?s do espelho, acabou criando um universo real e complexo no qual se utiliza do que chamamos l?gica do nonsense como elemento para motivar o desenvolvimento do pensamento matem?tica do leitor, levando-o, assim, a aprender, estabelecendo uma liga??o entre o concreto (matem?tica) e o imagin?rio (seu universo). Com o objetivo de investigar e discutir as potencialidades did?ticas de suas obras e de elencar alguns elementos que possam contribuir para uma educa??o matem?tica descentralizada da tradicional metodologia de seguir os modelos e decorar f?rmulas, visitamos suas obras tendo por base os estudos sobre arqueologia do saber (FOUCAULT, 2007), o pensamento racional e o pensamento simb?lico (VERGANI, 2003) e sobre a import?ncia das hist?rias e narrativas para o desenvolvimento da cogni??o humana (FARIAS, 2006). Por meio de um estudo descritivo-anal?tico, utilizamos a constru??o liter?ria, apresentamos parte de nosso estudo na forma de um romance matem?tico, visando conferir ? matem?tica escolar um encanto particular, sem privar-lhe de suas propriedades b?sicas enquanto disciplina e conte?do. Nosso estudo mostrou o quanto as obras de Carroll possuem uma forte vertente did?tica que pode se desdobrar nas mais variadas atividades de estudo e ensino para as aulas de matem?tica

Made available in DSpace on 2014-12-17T14:55:21Z (GMT). No. of bitstreams: 1 VanessaSC_Capa_ate_pag20.pdf: 8557858 bytes, checksum: 72fd9a66eb38d52692df7e1baf0e2507 (MD5) Previous issue date: 2003-12-10 / During a petroleum well production process, It is common the slmultaneous oil and water production, in proportion that can vary from 0% up to values close to 100% of water. Moreover, the production flows can vary a lot, depending on the charaeteristies of eaeh reservoir. Thus being, the meters used in field for the flow and BSW (water in the oil) measurement must work well in wide bands of operation. For the evaluation of the operation of these meters, in the different operation conditions, a Laboratory will be built in UFRN, that has for objective to evaluate in an automatic way the processes of flow and BSW petroleum measurement, considering different operation conditions. The good acting of these meters is fundamental for the accuracy of the measures of the volumes of production liquid and rude of petroleum. For the measurement of this production, the petroleum companies use meters that should indicate the values with tha largast possible accuracy and to respect a series of conditions and minimum requirements, estabelished by the united Entrance ANP/INMETRO 19106/2000. The laboratory of Evafuation of the Processes of Measurement of Flow and BSW to be built will possess an oil tank basically, a tank of water, besides a mixer, a tank auditor, a tank for separation and a tank of residues for discard of fluids, fundamental for the evaluation of the flow metars and BSW. The whole process will be automated through the use of a Programmable Logicat Controller (CLP) and of a supervisory system.This laboratory besides allowing the evaluation of flow meters and BSW used by petroleum companies, it will make possible the development of researches related to the automation. Besides, it will be a collaborating element to the development of the Computer Engineering and Automation Department, that it will propitiate the evolution of the faculty and discente, qualifying them for a job market in continuous growth. The present work describes the project of automation of the laboratory that will be built at of UFRN. The system will be automated using a Programmable Logical Controller and a supervisory system. The programming of PLC and the screens of the supervisory system were developed in this work / Durante o processo de produ??o de um po?o de petr?teo ? comum a produ??o simult?nea de ?gua e ?leo em propor??o que variam de 0% a valores pr?ximos de 100% de ?gua. Al?m disso, as vaz?es de produ??o podem variar muito dependendo das caracter?sticas de cada reservat?rio petrol?fero. Assimsendo,os medidores utilizados em campo, para a medi??o de vaz?o e BSW (?gua no ?leo) devem funcionar bem em larga faixas de opera??o. Para a avalia??o do funcionamento destes medidores, nas diferentes condi??es de opera??o, ser? construido um Laborat?rio na UFRN, que tem por objetivo avaliar de forma autom?tica os processos de medi??o de vaz?o e BSW do petr?leo, considerando diferentes condi??es de opera??o. O bom desempenho destes medidores ? fundamental para a exatid?o das medidas dos volumes de produ??o l?quido e bruto de petr?leo. Para a medi??o desta produ??o as empresas do setor de petr?leo utilizam medidores que devem indicar os valores com a maior exatid?o poss?vel e respeitar uma s?rie de condi??es e requisitos minimos, estabelecidos pela Portaria conjunta ANP/INMETRO de 19/06/2000, [12]. O laborat?rio de Avalia??o dos Processos de Medi??o de Vaz?o e BSW a ser construido possuir? basicamente um tanque de ?leo, um tanque de ?gua, al?m de um misturador, um tanque auditor, um tratador para separa??o e um tanque de res?duos para descarte de fluidos, fundamentais para a avalia??o dos medidores de vaz?o e BSW . Todo o processo ser? automatizado atrav?s do uso de um Controlador L?gico Program?vel (CLP) e de um sistema supervis?rio. Este laborat?rio al?m de permitir a avalia??o de medidores de vaz?o e BSW uti1izado por empresas produtoras de petr?leo, possibilitar? o desenvolvimento de pesquisas relacionadas ? automa??o. Al?m disso, ser? um elemento colaborador ao desenvolvimento do Departamento de Engenharia de Computa??o e Automa??o, que propiciar? a evolu??odo corpo docente e discente, t?cnica e profissionalmente, capacitando-os para um mercado de trabalho em cont?nuo crescimento. O presente trabalho descreve o projeto de automa??o do laborat?do, que ser? construido no campus universit?rio da UFRN. O sistema ser? automatizado com o uso de um Controlador l?gico Program?vel e um sistema superv?s?rio. A programa??o do CLP e as telas do supervis?rio foram desenvolvidas neste trabalho

Made available in DSpace on 2014-12-17T14:55:47Z (GMT). No. of bitstreams: 1 JoseSBL_DISSERT.pdf: 1769944 bytes, checksum: 43863b3b32771c922314a0fa73be8bf8 (MD5) Previous issue date: 2011-02-14 / This work deals with an on-line control strategy based on Robust Model Predictive Control (RMPC) technique applied in a real coupled tanks system. This process consists of two coupled tanks and a pump to feed the liquid to the system. The control objective (regulator problem) is to keep the tanks levels in the considered operation point even in the presence of disturbance. The RMPC is a technique that allows explicit incorporation of the plant uncertainty in the problem formulation. The goal is to design, at each time step, a state-feedback control law that minimizes a 'worst-case' infinite horizon objective function, subject to constraint in the control. The existence of a feedback control law satisfying the input constraints is reduced to a convex optimization over linear matrix inequalities (LMIs) problem. It is shown in this work that for the plant uncertainty described by the polytope, the feasible receding horizon state feedback control design is robustly stabilizing. The software implementation of the RMPC is made using Scilab, and its communication with Coupled Tanks Systems is done through the OLE for Process Control (OPC) industrial protocol / Este trabalho tem como objetivo desenvolver uma estrat?gia de controle on-line baseado no Controlador Preditivo Robusto (RMPC, acr?nimo do ingl?s Robust Model Predictive Control) aplicado a um sistema real de tanques acoplados. Este processo consiste em sistema de dois tanques conectados, cujo liquido ? enviado aos mesmos por uma bomba. O objetivo do controle (problema regulat?rio) ? deixar os n?veis dos tanques no ponto de opera??o considerado, mesmo na presen?a de perturba??es. A s?ntese da t?cnica RMPC consiste em incorporar de forma explicita as incertezas da planta na formula??o do problema. O objetivo do projeto, a cada per?odo de amostragem, ? encontrar uma realimenta??o de estados que minimiza o pior caso de uma fun??o objetivo com horizonte infinito, sujeita a restri??es no sinal de controle. O problema original, do tipo Min-max, ? reduzido em a problema de otimiza??o convexa expresso em desigualdades matriciais lineares (LMI, Linear Matriz Inequalities). Mostram-se, neste trabalho, a descri??o da incerteza da planta na forma polit?pica e as condi??es de factibilidade do problema de otimiza??o. A implementa??o do algoritmo RMPC foi feita utilizando o software Scilab e a sua comunica??o com o sistema de tanques acoplados foi feita atrav?s do protocolo OPC (do ingl?s OLE for Process Control)

Made available in DSpace on 2014-12-17T14:35:45Z (GMT). No. of bitstreams: 1 JoaoMP.pdf: 572426 bytes, checksum: 3eb2abb81c860d59d686cd34cb63726a (MD5) Previous issue date: 2004-08-06 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The plot myth-techno-logic, contemporary, was developed starting from the dualism myth-reason. In this study, we deepened the alluded dualism taking as reference the historical contexts of the Renaissance and of the Enlightenment, emphasizing the discussion of the economical rationalization as conductive thread of the western development, in which we identified the game of the rational and of the irrational, for assure the superiority of the reason. In the context of that game, we analyzed the implications of the modernization, for the education, in function of the instrumental rationality, responsible for the environment of adaptation of the technological instruments to the scenery of the contemporary modernization. The new context is constituted by points of union and of ruptures among the technique, the science and the myth. Through our analysis, we noticed that the basic needs for the contemporary society were linked to the changes in the production means, for which the machine determine the rhythm of the work and the quality of the product. However, the changes in the productive processes promoted the appearance of the commercial marks that, as we see it, they represented the synthesis of the perfect harmony of the myth, of the technique, of the science and of the technology, in the conduction of the economical rationalization to the contemporary modernization. Thus, the contemporary modernization it arrives us for the economical rationalization, developed with the support of the technician-scientific knowledge and communicated by the articulations of the myth-techno-logical / A trama mito-tecno-l?gica, contempor?nea, foi desenvolvida a partir da dicotomia mito-raz?o. Neste estudo, aprofundamos a referida dicotomia tomando como refer?ncia os contextos hist?ricos do Renascimento e do Iluminismo, ressaltando a discuss?o da racionaliza??o econ?mica como fio condutor do desenvolvimento ocidental, no qual identificamos o jogo do racional e do irracional, para assegurar a superioridade da raz?o. No contexto desse jogo, analisamos as implica??es da moderniza??o, para a educa??o, em fun??o da racionalidade instrumental, respons?vel pelo ambiente de adequa??o dos instrumentos tecnol?gicos ao cen?rio da moderniza??o contempor?nea. O novo contexto ? constitu?do por pontos de intersec??o e ruptura entre a t?cnica, a ci?ncia e o mito. Atrav?s da nossa an?lise, percebemos que as necessidades b?sicas para o conjunto da contemporaneidade encontravam-se vinculadas ?s mudan?as nas formas de produ??o, para o qual a m?quina passou a determinar o ritmo do trabalho e a qualidade do produto. Por sua vez, as mudan?as nos processos produtivos promoveram o surgimento das marcas comerciais que, no nosso modo de ver, representaram a s?ntese da perfeita harmonia do mito, da t?cnica, da ci?ncia e da tecnologia, na condu??o da racionaliza??o econ?mica at? ? moderniza??o contempor?nea. Desse modo, a moderniza??o contempor?nea nos chega pela racionaliza??o econ?mica, desenvolvida com o respaldo dos conhecimentos t?cnico-cient?ficos, e comunicada pelas articula??es do mito-tecno-l?gico