Made available in DSpace on 2016-04-04T18:29:55Z (GMT). No. of bitstreams: 1 Enidio Ilario.pdf: 4659274 bytes, checksum: 8f1a72841d17232e84a2ec4fa5489782 (MD5) Previous issue date: 2011-12-20 / From a methodological perspective that brings the diagrams as core tools and taking into account that some authors use this methodology as explanatory feature, we intended to demonstrate the suitability of this approach in psychology. In philosophy, for example, the ordine geometrico (according to the order of proof in geometry) has always been widely used as an explanatory feature, putting down deep roots in the field of knowledge. Models, roughly, are abstractions, and always involve a degree of simplification in front of the complexity of the phenomena we want to explain. A classic example of modeling is the Freudian Metapsychology and from it, other projects have developed, for example, in the School of Object Relations the development of complementary models to the Freudian topical, seeking to explain the phenomenology of intersubjectivity and the group. In other fields of psychology, explanatory models were developed, among others, by Kurt Lewin, Piaget, Russian neurologists and psychologists, including Vygotsky, author that foresaw in his time a discipline more general than psychology, now identified in the transdisciplinary project of cognitive science. Common to all, the pursuit of formalization in psychology, however, without achieving success by keeping still open the project. Such authors as well as many of his disciples, are still seeking contributions in areas such as Mathematics, Logic, Structuralism, Systems Theory and more recently, the Theory of Self-Organization and Neuroscience. In this study, renewing the look on the same source and using the Metapsychology as a guide, we seek to develop an original model from the diagrammatic logic. That effort resulted in a topological-vectorial plane formed by two orthogonal axes founders of a plane of immanence with two different and complementary dimensions, the horizontal formed by the polarity individual-social and a vertical formed by the polarity nature-culture. The axes also serve to delimit quadrants, kinds of existential territories that are colonized by conceptual characters and through them the meta-experimentation in the sense of "quasi-empirical", making possible a vectorial analysis. / A partir de uma perspectiva metodol?gica que traz os diagramas como ferramentas centrais e tomando como refer?ncia alguns autores que se utilizam dessa metodologia como recurso explicativo, pretende-se demonstrar a adequa??o dessa abordagem no campo da psicologia. Na filosofia, por exemplo, o more geometrico (de acordo com a ordem de demonstra??o na geometria) sempre foi recurso largamente utilizado, fincando ra?zes profundas no campo do conhecimento. Os modelos, grosso modo, s?o abstra??es e implicam sempre em certo grau de simplifica??o frente ? complexidade dos fen?menos que se quer explicar. Um cl?ssico exemplo de modelagem (ou modelamento) ? a metapsicologia freudiana e a partir dela, outros empreendimentos se desenvolveram, por exemplo, na Escola de Rela??es Objetais o desenvolvimento de modelos complementares ?s t?picas freudianas, buscando dar conta da fenomenologia da intersubjetividade e grupalidade. Em outros campos da psicologia, modelos explicativos foram desenvolvidos, entre outros, por Kurt Lewin, Piaget, neurologistas e psic?logos russos, entre os quais Vygotsky, autor que j? vislumbrava em seu tempo uma disciplina mais geral do que a psicologia, hoje identificada no projeto transdisciplinar das ci?ncias da cogni??o. Podemos dizer que de comum a todos, a busca da formaliza??o na psicologia, contudo, sem lograr sucesso, mantendo o projeto ainda em aberto. Tais autores, bem como muitos de seus disc?pulos, procuraram e ainda procuram contribui??es em ?reas como a Matem?tica, a L?gica, o Estruturalismo, a Teoria dos Sistemas e mais recentemente, a Teoria da Auto- Organiza??o e a Neuroci?ncia. No presente estudo, renovando o olhar sobre as mesmas fontes e tendo a metapsicologia como fio condutor, buscou-se desenvolver uma modelagem original a partir da l?gica diagram?tica. Disso, resultou um plano topol?gico-vetorial, constitu?do atrav?s de dois eixos ortogonais e fundadores de um plano de iman?ncia com duas dimens?es diversas e complementares, a horizontal constitu?da pela polaridade indiv?duo-sociedade e a vertical, constitu?da pela polaridade natureza-cultura. Os eixos tamb?m delimitam quadrantes, esp?cies de territ?rios existenciais, colonizados por personagens conceituais e, atrav?s deles, meta-experimenta??es, no sentido de quase-empiria , tornam-se poss?veis atrav?s de uma anal?tica vetorial.

Made available in DSpace on 2015-04-14T14:49:08Z (GMT). No. of bitstreams: 1 414772.pdf: 3624388 bytes, checksum: c10fabbfe10eccf72e794ff38d0dacb4 (MD5) Previous issue date: 2009-01-07 / Cada vez mais as organiza??es de software est?o preocupadas com melhoria do seu processo e consequentemente do seu produto. Para isso, as organiza??es utilizam modelos de maturidade, os quais indicam a coleta de m?tricas para o controle de seus processos. No entanto, o esfor?o com rela??o a essas m?tricas est? relacionado ? sua intensa coleta e utiliza??o e n?o ? dada a devida aten??o ? qualidade dos dados das mesmas. O impacto da falta de qualidade dos dados dessas m?tricas ? refletido diretamente nos custos da organiza??o visto que as m?tricas embasam o processo de tomada de decis?o o qual pode ser de baixa confiabilidade devido os seus dados de base tamb?m o serem. Uma avalia??o adequada da qualidade desses dados ? o primeiro passo para garantir que as m?tricas possam ser usadas com a devida confiabilidade. Uma abordagem que pode auxiliar essa avalia??o est? relacionada ao uso de data provenance (proveni?ncia de dados) associado a um mecanismo de infer?ncia l?gica. Este trabalho prop?e uma arquitetura para avalia??o da qualidade de dados de esfor?o composta por quatro principais componentes: 1-uma base de data provenance de m?tricas, 2-um modelo de infer?ncia baseado em fuzzy logic, 3-uma base de dados para armazenamento de avalia??es e 4- um modelo anal?tico para an?lise de hist?rico de qualidade de dados de esfor?o. A contribui??o deste trabalho ? prover uma avalia??o da qualidade dos dados de m?tricas de esfor?o em PDS, buscando evidenciar as raz?es da eventual baixa qualidade. Atrav?s do modelo de infer?ncia, ? poss?vel atribuir n?veis de qualidade aos dados possibilitando assim a identica??o daqueles que s?o efetivamente ?teis para um processo de tomada de decis?o confi?vel. Al?m disso, de acordo com seus n?veis de qualidade, os dados podem ser direcionados para diferentes tipos de acompanhamento do projeto, cujos n?veis de exig?ncia de qualidade podem ser distintos.

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.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-06-23T22:13:02Z No. of bitstreams: 1 FabioAlvaroDantas_DISSERT.pdf: 8187050 bytes, checksum: d22ed27926dc643d62671021f183ad12 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-06-29T18:55:29Z (GMT) No. of bitstreams: 1 FabioAlvaroDantas_DISSERT.pdf: 8187050 bytes, checksum: d22ed27926dc643d62671021f183ad12 (MD5) / Made available in DSpace on 2016-06-29T18:55:29Z (GMT). No. of bitstreams: 1 FabioAlvaroDantas_DISSERT.pdf: 8187050 bytes, checksum: d22ed27926dc643d62671021f183ad12 (MD5) Previous issue date: 2015-12-07 / A presente disserta??o tem por objetivo sugerir ao professor de matem?tica do ensino m?dio uma forma de ensinar l?gica aos estudantes. Para isso utiliza-se uma sequ?ncia did?tica que explora os conceitos matem?ticos que est?o envolvidos no funcionamento da calculadora, um dos s?mbolos maiores da matem?tica. / This dissertation aims to suggest the teacher of high school mathematics a way of teaching logic to students. For this uses up a teaching sequence that explores the mathematical concepts that are involved in the operation of a calculator one of the greatest symbols of mathematics.

Made available in DSpace on 2014-12-17T14:55:24Z (GMT). No. of bitstreams: 1 MarcosSS_capa_ate_pag25.pdf: 8115287 bytes, checksum: 5d5f9fbb50996468070472fa8d177c44 (MD5) Previous issue date: 2000-08-10 / This work presents a proposal for a voltage and frequency control system for a wind power induction generator. It has been developed na experimental structure composes basically by a three phase induction machine, a three phase capacitor and a reactive static Power compensator controlled by histeresys. lt has been developed control algorithms using conventional methods (Pl control) and linguistic methods (using concepts of logic and fuzzy control), to compare their performances in the variable speed generator system. The control loop was projected using the ADJDA PCL 818 model board into a Pentium 200 MHz compu ter. The induction generator mathematical model was studied throught Park transformation. It has been realized simulations in the Pspice@ software, to verify the system characteristics in transient and steady-state situations. The real time control program was developed in C language, possibilish verify the algorithm performance in the 2,2kW didatic experimental system / Neste trabalho ? apresentada uma proposta para um sistema de controle de amplitude e freq??ncia para um gerador de indu??o, aplicado ao aproveitamento de recursos energ?ticos renov?veis, e em particular ao aproveitamento de recursos e?licos. Foi desenvolvida uma estrutura experimental composta basicamente por um m?quina de indu??o trif?sica, um capacitor trif?sico e um compensador est?tico de reativos, controlado por largura de histerese. Foram desenvolvidos algoritmos de controle usando m?todos convencionais (controle PI) e m?todos ling??sticos (usando conceitos de l?gica e controle fuzzy), visando uma posterior compara??o entre os desempenhos dos mesmos no sistema de gera??o em velocidade vari?vel. A malha de controle foi projetada utilizando-se uma placa de aquisi??o de dados modelo PCL 818 em um computador Pentium 200 MHz. O modelo matem?tico do gerador foi estudado usando-se a transforma??o de Park. A partir do modelo simplificado, foram realizadas simula??es no pspice@, para verificar o comportamento do sistema nos regimes transit?rio e permanente. O programa de controle em tempo real foi desenvolvido em linguagem C, possibilitando a avalia??o do desempenho do algoritmo e do sistema did?tico experimental de 2,2kW

Made available in DSpace on 2014-12-17T14:55:41Z (GMT). No. of bitstreams: 1 BrunoSJC.pdf: 5400942 bytes, checksum: 9051c49f8c6b8da6ecbcd3e0e72fd609 (MD5) Previous issue date: 2009-12-22 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This paper describes the design, implementation and enforcement of a system for industrial process control based on fuzzy logic and developed using Java, with support for industrial communication protocol through the OPC (Ole for Process Control). Besides the java framework, the software is completely independent from other platforms. It provides friendly and functional tools for modeling, construction and editing of complex fuzzy inference systems, and uses these logical systems in control of a wide variety of industrial processes. The main requirements of the developed system should be flexibility, robustness, reliability and ease of expansion / Este trabalho descreve o projeto, implementa??o e aplica??o de um sistema para controle de processos industriais, baseado na l?gica fuzzy e desenvolvido na linguagem java, com suporte a comunica??o industrial atrav?s do protocolo OPC (Ole for Process Control). Al?m do framework java, o software ? completamente independente de outras plataformas. Ele prov? ferramentas amig?veis e funcionais para modelagem, constru??o e edi??o de sistemas de infer?ncia fuzzy complexos, e utiliza tais sistemas l?gicos no controle de uma grande variedade de processos industriais. Os principais requisitos do sistema desenvolvido devem ser flexibilidade, robustez, confiabilidade e facilidade de expans?o

Made available in DSpace on 2014-12-17T14:55:49Z (GMT). No. of bitstreams: 1 LeonardoTM_DISSERT.pdf: 2028774 bytes, checksum: c2c93ef3269b78d9088b311f81f36cf0 (MD5) Previous issue date: 2011-04-04 / This works presents a proposal to make automatic the identification of energy thefts in the meter systems through Fuzzy Logic and supervisory like SCADA. The solution we find by to collect datas from meters at customers units: voltage, current, power demand, angles conditions of phasors diagrams of voltages and currents, and taking these datas by fuzzy logic with expert knowledge into a fuzzy system. The parameters collected are computed by fuzzy logic, in engineering alghorithm, and the output shows to user if the customer researched may be consuming electrical energy without to pay for it, and these feedbacks have its own membership grades. The value of this solution is a need for reduce the losses that already sets more than twenty per cent. In such a way that it is an expert system that looks for decision make with assertivity, and it looks forward to find which problems there are on site and then it wont happen problems of relationship among the utility and the customer unit. The database of an electrical company was utilized and the datas from it were worked by the fuzzy proposal and algorithm developed and the result was confirmed / Este trabalho apresenta uma proposta para automa??o da detec??o de fraudes em sistemas de medi??o de energia el?trica utilizando l?gica fuzzy em ambiente SCADA. A solu??o consiste na coleta de vari?veis em pontos de medi??o de energia el?trica, tais como tens?o, corrente, demanda, condi??es angulares de diagramas fasoriais de tens?es e correntes, quedas de consumo e de demanda entre per?odos de faturamento e a tratativa destes par?metros via l?gica fuzzy fazendo uso do conhecimento de especialistas na ?rea. Os valores coletados via supervis?rio s?o tratados de forma fuzzy, em algoritmo de engenharia, e a sa?da do sistema informa ao usu?rio quais as possibilidades de fraude no sistema de medi??o da unidade consumidora cuja mem?ria de massa das vari?veis coletadas tenha sido pesquisada pelo algoritmo e assim estabelece graus de possibilidades para estas ocorr?ncias. A import?ncia da solu??o apresentada ? fun??o da necessidade de o setor el?trico reduzir o alto ?ndice de perdas que j? superou vinte por cento. Trata-se portanto de um sistema especialista para tomada de decis?o buscando assertividade e disparo de a??es de campo com direcionamento ao problema a ser encontrado, minimizando os impactos negativos de visitas improdutivas de inspe??o em unidades consumidoras. O sistema foi testado e validado fazendo-se uso de banco de dados real de concession?ria de distribui??o de energia el?trica, cuja coleta foi realizada por sistema supervis?rio j? existente e a tratativa dos dados foi implementada pela proposta fuzzy apresentada e pelo algoritmo neste trabalho desenvolvido

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-02-09T21:51:18Z No. of bitstreams: 1 CarlosDavidCequeiraFeitor_TESE.pdf: 4965385 bytes, checksum: 6ca79b114402ddef06010138d789f3ae (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-02-10T17:22:30Z (GMT) No. of bitstreams: 1 CarlosDavidCequeiraFeitor_TESE.pdf: 4965385 bytes, checksum: 6ca79b114402ddef06010138d789f3ae (MD5) / Made available in DSpace on 2017-02-10T17:22:30Z (GMT). No. of bitstreams: 1 CarlosDavidCequeiraFeitor_TESE.pdf: 4965385 bytes, checksum: 6ca79b114402ddef06010138d789f3ae (MD5) Previous issue date: 2016-08-24 / O estudo desenvolveu um modelo de valor da marca para Institui??es de Ensino Superior (IES) de natureza privada na perspectiva do consumidor. Al?m disso, por meio da literatura, definiu o conjunto de dimens?es, antecedentes e consequentes do valor de marca da IES, e procurou explicitar as formas de operacionaliza??o desses fatores constituintes do modelo proposto. Por ?ltimo, analisou o modelo relacional entre os fatores da Experi?ncia Universit?ria, Comunica??o Controlada, Boca a Boca Eletr?nico (e-WOM), Co-Cria??o, Consci?ncia da Marca, Associa??es ? Marca e Valor de Marca Total, bem como almejou validar o modelo te?rico desenvolvido nesta tese. Para tanto, em termos de l?gica, este estudo ? classificado como hipot?tico-dedutivo, e a pesquisa foi organizada do ponto de vista metodol?gico por tr?s etapas, a saber: explorat?ria, descritiva e anal?tica. A pesquisa explorat?ria permitiu esclarecer os conceitos da tem?tica, definir o problema de pesquisa, elaborar o modelo te?rico, e desenvolver o instrumento de coleta dos dados. Na etapa descritiva foi realizado o pr?-teste do question?rio, os ajustes nas escalas, a defini??o da amostra e a descri??o dos procedimentos de coleta dos dados. O tipo de amostragem foi n?o probabil?stico, por julgamento ou intencional, no qual os indiv?duos foram selecionados por crit?rios estabelecidos pelo pesquisador. A amostra do estudo foi composta por 1156 estudantes do curso de gradua??o em administra??o, e os dados foram coletados em centros universit?rios e universidades de categoria administrativa privada, localizadas no estado do Rio Grande do Norte e Par?, com ?ndice Geral de Cursos (IGC ? FAIXA) a partir de 3. A an?lise dos dados foi desenvolvida por uma abordagem quantitativa multivariada, incluindo a an?lise fatorial explorat?ria e confirmat?ria e modelagem de equa??es estruturais. A partir das an?lises dos dados foi poss?vel verificar que o conte?do das escalas ? representativo do objeto que se pretende mensurar, e demonstraram tanto validade de conte?do quanto estat?stico. Vale destacar a confirma??o da hip?tese de relacionamento positivo entre eWOM e as Associa??es ? Marca, e da Co-cria??o e Consci?ncia da Marca. Conclui-se tamb?m, por meio da modelagem emp?rica, a validade do modelo de mensura??o do Valor de Marca da IES com base no consumidor. / The study developed a brand equity model for private higher education institutions from a consumer perspective. Furthermore, through theory, it defined the set of dimensions, history and consequences of higher education institutions brand equity, as well as sought to clarify the deployment of these factors in the proposed model. Finally, an analysis of the University Experience, Controlled Communication, e-WOM, Co-Creation, Brand Awareness, Brand Association and Overall Brand Equity relational model was conducted, aiming towards the validation of the theoretical model developed in this thesis. In order to achieve this, a deductive reasoning approach was applied, and the research, from a methodology standpoint, was divided into three phases: exploratory, descriptive and analytic. The exploratory phase focused on clarifying the topic?s concepts, defining the research problem, elaborating the theoretical model, and developing the instrument to be used for data collection. During the descriptive phase, a survey questionnaire pre-test was conducted, scales were adjusted, the sample size was defined and data collection procedures were detailed. The probability sampling process was not employed, either intentionally or by judgment, and individuals were selected using criteria established by the researcher. The sample size of 1156 Business Administration students was used, and data was collected from university institutes and privately run universities located in the Brazilian states of Rio Grande do Norte and Par?, ranked 3 or higher according to the country?s Course Ranking Index. Data analysis was conducted using a multivariate quantitative approach, including exploratory factor and confirmatory analysis, and structural equation modeling. Data analyses confirm that the variables scale is representative of the object to be measured, and demonstrate both content and statistical validity. It is worth highlighting confirmation of the hypothesis of positive correlation between eWOM and Brand Association, as well as Co-Creation and Brand Awareness. Empirical modeling also confirmed the validity of the higher education institutions brand equity measurement model, based on consumer perspective.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-04-03T22:46:23Z No. of bitstreams: 1 BrunoFranciscoXavier_DISSERT.pdf: 923146 bytes, checksum: c0238dcb8801e0f87397d8417f0eb689 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-04-11T20:33:34Z (GMT) No. of bitstreams: 1 BrunoFranciscoXavier_DISSERT.pdf: 923146 bytes, checksum: c0238dcb8801e0f87397d8417f0eb689 (MD5) / Made available in DSpace on 2017-04-11T20:33:35Z (GMT). No. of bitstreams: 1 BrunoFranciscoXavier_DISSERT.pdf: 923146 bytes, checksum: c0238dcb8801e0f87397d8417f0eb689 (MD5) Previous issue date: 2017-02-15 / Em teoria da prova, o teorema da elimina??o do corte (ou Hauptsatz, que significa resultado principal) ? de suma import?ncia, uma vez que, em geral, implica na consist?ncia e na propriedade subf?rmula para um dado sistema. Ele assinala que qualquer prova em c?lculo de sequentes que faz uso da regra do corte pode ser substitu?da por outra que n?o a utiliza. A prova procede por indu??o na ordem lexicogr?fica (peso da f?rmula, altura do corte) e gera m?ltiplos casos quando a f?rmula de corte ? ou n?o principal. De forma geral, deve-se considerar a ?ltima regra aplicada nas duas premissas imediatamente depois de aplicar a regra do corte, o que gera um n?mero consider?vel de situa??es. Por essa raz?o, a demonstra??o poderia ser propensa a erros na hip?tese de recorremos a uma prova informal. A l?gica linear (LL) ? uma das l?gicas subestruturais mais significativas e a regra do corte ? admiss?vel no seu c?lculo de sequentes. Ela ? um refinamento do modelo cl?ssico e intuicionista. Sendo uma l?gica sens?vel ao uso de recursos, LL tem sido amplamente utilizada na especifica??o e verifica??o de sistemas computacionais. ? vista disso, se torna relevante sua abordagem neste trabalho. Nesta disserta??o, formalizamos, em Coq, tr?s c?lculos de sequentes para a l?gica linear e provamos que s?o equivalentes. Al?m disso, provamos metateoremas tais como admissibilidade da regra do corte, generaliza??o das regras para axioma inicial, ! e copy e invertibilidade das regras para os conectivos ?, ?, & e ?. No tocante ? invertibilidade, demonstramos uma vers?o por indu??o sobre a altura da deriva??o e outra com aplica??o da regra do corte, o que nos possibilitou conferir que, em um sistema que satisfaz Hauptsatz, a regra do corte simplifica bastante as provas em seu c?lculo de sequentes. Com a finalidade de atenuar o n?mero dos diversos casos, desenvolvemos v?rias t?ticas em Coq que nos permite realizar opera??es semiautom?ticas. / In proof theory, the cut-elimination theorem (or Hauptsatz, which means main result) is of paramount importance since it implies the consistency and the subformula property for the given system. This theorem states that any proof in the sequent calculus that makes use of the cut rule can be replaced by other that does not make use of it. The proof of cut-elimination proceeds by induction on the lexicographical order (formula weight, cut height) and generates multiple cases, considering for instance, when the formula generated by the cut rule is, or is not, principal. In general, one must consider the last rule applied in the two premises immediately after applying the cut rule (seeing the proof bottom-up). This thus generates a considerable amount of cases. For this reason, the proof of cut-elimination includes several cases and it could be error prone if we use an informal proof. Linear Logic (LL) is one of the most significant substructural logics and the cut rule is admissible in its sequent calculus. LL is a refinement of the classical and the intuitionistic model. As a resource sensible logic, LL has been widely used in the specification and verification of computer systems. In view of this, it becomes relevant the study of this logic in this work. In this dissertation we formalize three sequent calculus for linear logic in Coq and prove all of them equivalent. Additionally, we formalize meta-theorems such as admissibility of cut, generalization of initial rule, bang and copy and invertibility of the rules for the connectives par, bot, with and quest. Regarding the invertibility, we demonstrate this theorem in two different ways: a version by induction on the height of the derivation and by using the cut rule. This allows us to show how the cut rule greatly simplifies the proofs in the sequent calculus. In order to mitigate the number of several cases in the proofs, we develop several tactics in Coq that allow us to perform semi-automatic reasoning.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-07-17T12:51:07Z No. of bitstreams: 1 LucianoPereiraDosSantosJunior_TESE.pdf: 21948229 bytes, checksum: 95febfdd47d89c49b9d02a0b0eeb96d7 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-07-18T11:53:08Z (GMT) No. of bitstreams: 1 LucianoPereiraDosSantosJunior_TESE.pdf: 21948229 bytes, checksum: 95febfdd47d89c49b9d02a0b0eeb96d7 (MD5) / Made available in DSpace on 2017-07-18T11:53:08Z (GMT). No. of bitstreams: 1 LucianoPereiraDosSantosJunior_TESE.pdf: 21948229 bytes, checksum: 95febfdd47d89c49b9d02a0b0eeb96d7 (MD5) Previous issue date: 2017-03-30 / O desenvolvimento da tecnologia tem alavancado desafios cada vez maiores para que se produzam bens de consumo com alto grau de seguran?a e de controle e que tamb?m apresentem robustez, pre?os competitivos e sejam ecologicamente corretos. Visando atender essa demanda, dentro daquilo que lhe compete, o campo da engenharia de m?quinas el?tricas tem melhorado sensivelmente a qualidade desses equipamentos bem como os m?todos de controle, buscando uma opera??o otimizada. Contudo, ainda se registram grandes limita??es na amplia??o do uso das m?quinas de indu??o devido ao alto ?ndice de manuten??es das partes mec?nicas, como mancais e rolamentos, principalmente quando o acesso a essas pe?as ? dif?cil. Por conta disso, a ?rea de pesquisa de motores-mancais de indu??o vem progredindo, com o objetivo de minimizar o desgaste mec?nico e, consequentemente, reduzir o n?mero de manuten??es. Vale ressaltar que esses motores apresentam caracter?sticas semelhantes ?s das m?quinas de indu??o convencionais, sendo que agregam maior robustez e praticidade, al?m de possu?rem menor custo. Este trabalho descreve o estudo e a implementa??o do controle de posi??o radial aplicado a uma m?quina de indu??o sem mancais, trif?sica com bobinado dividido, utilizando-se t?cnicas de controle inteligente para a otimiza??o do sistema de posicionamento radial. A m?quina em estudo consiste em motor de indu??o de 3.7 kW modificado para operar como motor-mancal. Nesse tipo de motor com enrolamento dividido, al?m da produ??o de torque, os grupos de bobinas s?o respons?veis tamb?m pela produ??o de for?as radiais para posicionamento do rotor. A presenta pesquisa prop?e uma metodologia de controle que utiliza como estrutura um controlador Fuzzy-PD com a??o proporcional e derivativa baseado em um conjunto de regras de controle formulado em termos lingu?sticos, tendo como principal objetivo apresentar um controlador inteligente para o posicionamento radial do rotor. Tamb?m ilustra a compara??o entre o controlador Fuzzy-PD e o Controlador Proporcional Derivativo - PD para a estabiliza??o radial. Para a avalia??o dos controladores, foram usados crit?rios de desempenho baseados na integral do erro - IAE, ISE e ITAE, como solu??o para avaliar o erro a partir de suas respostas transit?rias e de regime permanente. Destaca-se que todo controle proposto foi desenvolvido em um DSP eZdsp TMS320F28335 com arquitetura de ponto-flutuante. Quanto ? programa??o, foi utilizada a linguagem C. Com rela??o ?s quest?es do m?dulo, foram utilizados o conversor Anal?gico/Digital e as sa?das . Por fim, acentua-se que o sistema de controle implementado no DSP opera com os controladores de corrente e posi??o. / The development of technology has brought increasing challenges to the production of consumer goods with a high degree of security and control, and that they also present robustness, competitive prices and are ecologically correct. In order to meet this demand, within its competence, the field of electrical machines engineering has significantly improved the quality of these equipments, as well as the control methods, seeking an optimized operation. However, there are still major limitations in the increased use of induction machines due to the high maintenance rates of mechanical parts such as bearings, especially when access to these parts is difficult. Because of this, the research area of bearingless motors induction has been progressing, with the aim of minimizing mechanical wear and, consequently, reducing the number of maintenance. It is worth mentioning that these motors have characteristics similar to conventional induction machines, which add greater robustness and practicality, besides having a lower cost. This work describes the study and the implementation of the radial position control applied in a three-phase Bearingless Induction Machine with Divided Winding using intelligent control techniques for the optimization of the radial positioning. The machine under study consists of an induction motor of 3.7 kW, modified to operate as a motor-bearing. In this type of motor with split winding, besides the production of torque, the coil groups are also responsible for the production of radial forces for rotor positioning. This research proposes a control methodology that uses as a structure a Fuzzy-PD controller with proportional and derivative action, based on a set of control rules formulated in linguistic terms, having as main objective to present an intelligent controller for the radial positioning of the rotor. It also illustrates the comparison between the Fuzzy-PD controller and the Derivative Proportional Controller - PD for radial stabilization. For the evaluation of the controllers, performance criteria based on the error integral - IAE, ISE and ITAE - were used as a solution to evaluate the error from its transient and steady state responses. It is noteworthy that all proposed control was developed in a DSP eZdsp TMS320F28335 with floating-point architecture. As for programming, the C language was used. Regarding the module questions, the Analog / Digital converter and the PWM outputs were used. Finally, it is emphasized that the control system implemented in the DSP operates with the current and position controllers.