Submitted by Luanna Matias (lua_matias@yahoo.com.br) on 2015-05-15T18:43:17Z No. of bitstreams: 2 Dissertação - Vitor Rodrigues Braga de Souza - 2014.pdf: 2674878 bytes, checksum: c37a3227405eafd0a6bcd6cdfe2ddf04 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luanna Matias (lua_matias@yahoo.com.br) on 2015-05-15T19:28:34Z (GMT) No. of bitstreams: 2 Dissertação - Vitor Rodrigues Braga de Souza - 2014.pdf: 2674878 bytes, checksum: c37a3227405eafd0a6bcd6cdfe2ddf04 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-05-15T19:28:34Z (GMT). No. of bitstreams: 2 Dissertação - Vitor Rodrigues Braga de Souza - 2014.pdf: 2674878 bytes, checksum: c37a3227405eafd0a6bcd6cdfe2ddf04 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-09-26 / In the rst part of this work, we present all conical with their cartesian equations and their graphs. Then, we made an approach to concepts of linear algebra, vector spaces, linear transformations, eigenvalues and eigenvectors in order to build matrices of linear transformations able to rotate, translate or even make these conical shear. Constructed matrices, GeoGebra software for constructing graphs obtained by transformation matrices were used. Besides this geometric part, we discuss the quadratic forms in order to identify a conic analyzing only the coe cients of its quadratic form and the eigenvalues. The end result was an excellent visual material built from software GeoGebra applying the concepts of Linear Algebra. We can not fail to mention that the construction of the taper in GeoGebra techniques that replace the ruler, compass and the string used by the ancient Greeks were implemented. / Na primeira parte desse trabalho, apresentamos todas as cônicas com suas respectivas equações cartesianas e seus respectivos grá cos. Em seguida, zemos uma abordagem de conceitos de Álgebra Linear, espaços vetoriais, transformações lineares, autovalores e autovetores a m de, construir as matrizes de transformações lineares capazes de rotacionar, transladar ou até fazer o cisalhamento destas cônicas. Construídas as matrizes, foi utilizado o software GeoGebra para a construção dos grá cos obtidos pelas matrizes de transformação. Além dessa parte geométrica, abordamos as formas quadráticas no intuito de identi car uma cônica analisando apenas os coe cientes da sua forma quadrática e os autovalores associados. O resultado nal foi um excelente material visual construído a partir do software GeoGebra aplicando os conceitos de Álgebra Linear. Não podemos deixar de citar que foram implementadas técnicas de construção das cônicas no GeoGebra que substituem a régua, o compasso e o barbante utilizados pelos gregos antigos.

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2015-10-26T16:12:34Z No. of bitstreams: 2 Dissertação - Iron Felisberto de Freitas - 2015.pdf: 4566285 bytes, checksum: 347da00cced574440e6a02e8b4ddf92f (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-27T14:35:43Z (GMT) No. of bitstreams: 2 Dissertação - Iron Felisberto de Freitas - 2015.pdf: 4566285 bytes, checksum: 347da00cced574440e6a02e8b4ddf92f (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-27T14:35:43Z (GMT). No. of bitstreams: 2 Dissertação - Iron Felisberto de Freitas - 2015.pdf: 4566285 bytes, checksum: 347da00cced574440e6a02e8b4ddf92f (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-03-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper addresses the formal-logical construction of number systems from the set of natural numbers to the real numbers. Being the rst of these sets presented by the axioms of Peano (1858 - 1932) and the latter results of Dedekind cuts (1831 - 1916) on the set of rational numbers. The passage the set of natural numbers to the integers and for these the rational is done by equivalence classes. From a historical perspective, in order to do that mathematics could advance, had to migrate from a sense of \reality" to an abstract concept of number not subject to the amount of idea. Since the beginning of this formal-logical construction of number systems it is necessary to use the concept of correspondences between any two non-empty sets. Finally , are also addressed the polynomial functions of 1st and 2nd degrees and the respective charts in orthogonal Cartesian plane. / O presente trabalho aborda a constru c~ao l ogico-formal dos sistemas num ericos desde, o conjunto dos n umeros naturais at e ao dos n umeros reais. Sendo o primeiro destes conjuntos apresentado pelos axiomas de Peano (1858 - 1932), e o ultimo resulta dos cortes de Dedekind (1831 - 1916) sobre ao conjunto dos n umeros racionais. A passagem do conjunto dos n umeros naturais ao dos inteiros e destes ao dos racionais e realizado por classes de equival^encias. Em uma perspectiva hist orica, a m de que, a Matem atica pudesse avan car, era preciso migrar de uma no c~ao de \realidade" para um conceito abstrato de n umero n~ao subordinado a ideia de quantidade. Desde o in cio desta constru c~ao l ogico-formal dos sistemas num ericos faz-se necess ario o uso do conceito de correspond^encias entre dois conjuntos n~ao vazios quaisquer. Por m, s~ao tamb em abordadas as fun c~oes polinomiais de 1o e 2o graus e seus respectivos gr a cos no plano cartesiano ortogonal.

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2015-10-27T16:31:33Z No. of bitstreams: 2 Dissertação - Josemir do Carmo - 2014.pdf: 1438185 bytes, checksum: 0121ad4e67767d76ae218de911170ce4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-28T14:15:42Z (GMT) No. of bitstreams: 2 Dissertação - Josemir do Carmo - 2014.pdf: 1438185 bytes, checksum: 0121ad4e67767d76ae218de911170ce4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-28T14:15:42Z (GMT). No. of bitstreams: 2 Dissertação - Josemir do Carmo - 2014.pdf: 1438185 bytes, checksum: 0121ad4e67767d76ae218de911170ce4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-07-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper aims to present multiple features favored by Mathematical Modelling: a methodological alternative to teaching, mainly, in Elementary Education, in an attempt to bring the reality of the students to the classroom and this way contribute to their motivation in the study of mathematics. For this study the methodological referrals are shown and some steps to work with Modelling in the classroom are established. It also presents some examples of problems, construction and discussion of mathematical models, developed in the classroom for Elementary Education. Difficulties of intervention found by teachers to deal with the modeling are listed and also the processes of teacher’s training in relation to the Modelling are discussed, advocating that they must support themselves reflexively on the experiences with Modelling in the classroom context. This way some guidelines are proposed for an evaluation in Mathematical Modelling. / Neste trabalho buscou-se apresentar os múltiplos aspectos favorecidos pela Modelagem Matemática: uma alternativa metodológica para o ensino, principalmente, na Educação Básica, na tentativa de aproximar a realidade dos alunos à sala de aula e assim contribuir para motivação dos mesmos no estudo da matemática. Para isto são mostrados os encaminhamentos metodológicos e estabelecem-se algumas etapas para o trabalho com a modelagem em sala de aula. Apresentam-se também alguns exemplos de problemas, construção e discussão de modelos matemáticos desenvolvidos em sala de aula para a Educação Básica. São elencadas as dificuldades de intervenção encontradas pelos professores para trabalharem com modelagem e discutem-se também os processos de formação dos professores em relação à Modelagem, advogando que estas devem se apoiar reflexivamente nas experiências com Modelagem no contexto da sala de aula. Dessa forma, são propostas algumas orientações para a avaliação em Modelagem Matemática.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-09-09T12:27:04Z No. of bitstreams: 2 Tese - Tharsis Souza Silva - 2016.pdf: 3242823 bytes, checksum: 4cdf7de6c7ba7cfe6f4fc07cc9501592 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-09-09T12:27:26Z (GMT) No. of bitstreams: 2 Tese - Tharsis Souza Silva - 2016.pdf: 3242823 bytes, checksum: 4cdf7de6c7ba7cfe6f4fc07cc9501592 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-09-09T12:27:26Z (GMT). No. of bitstreams: 2 Tese - Tharsis Souza Silva - 2016.pdf: 3242823 bytes, checksum: 4cdf7de6c7ba7cfe6f4fc07cc9501592 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-05-13 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / In this work we _rstly study a relay system X on the Rn that, under certain conditions, it has a one parameter family of 1-periodic orbits that arises in the origin and increase inde_nitely. We study yet another relay system class X_, that it is formed from the initial relay system by aditions of nilpotent parameters that, under certain conditions, it has the same result of the previous, and yet family of periodic orbits that arises in the origin and ends in a loop, or family that bifurcate of a loop and arise inde_nitelly. Furthermore the periodic solutions are explicitely given by Euler polynomials. Finally we study a third order di_erential equation with relay looking for periodic orbits of di_erent degrre of di_erentiability and this is done by the associated vector _eld with jump. / Neste trabalho estudamos primeiramente um campo vetorial descontínuo com chaveamento X atuando no Rn que, sob certas condições, possui uma família a um parâmetro de órbitas 1-periódicas que surge na origem e cresce indenidamente. Estudamos também uma classe de campos vetoriais descontínuos com chaveamento (relay systems) X, que se diferencía do campo inicial pela adição de parâmetros i;j de forma linear Nilpotente que, sob certas condições, possui o mesmo resultado que o caso anterior, e ainda famílias que surgem na origem e termina em um Laço ou mesmo que bifurcam de um laço e crescem indenidamente. Além disso as soluções periódicas são dadas explicitamente através dos polinômios de Euler. Ainda estudamos uma equação diferencial de terceira ordem com chaveamento a m de buscar órbitas periódicas de diferentes graus de diferenciabilidade e esse estudo é feito através do campo vetorial associado com impulso.

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-12T05:34:50Z (GMT). No. of bitstreams: 1 Dantas_MarcioPaixao_M.pdf: 4152956 bytes, checksum: f995417b653e9759340129be4c4d2608 (MD5) Previous issue date: 2008 / Resumo: Um guia de conduta médica é um documento formado por um conjunto de recomendações sistematicamente desenvolvidas para auxiliar nas decisões de praticantes e pacientes sobre cuidados de saúde em circunstâncias específicas. Desde que sejam bem elaborados, comprovadamente melhoram a qualidade média do atendimento médico. Frequentemente médicos não estão acostumados com guias práticos escritos em papel e não os aplicam adequadamente. Implementados em sistemas computacionais podem melhorar significativamente a qualidade do atendimento médico diretamente no local da assistência. Este trabalho está ligado ao projeto ST-Guide, uma iniciativa surgida no Instituto de Computação da Universidade Estadual de Campinas (IC-UNICAMP) para resolver o problema de formalização e implementação de guias clínicos práticos. As contribuições realizadas foram: (a) reestruturação do projeto em outras tecnologias; (b) estabelecimento e implementação de uma arquitetura extensível para suportar modelagem e implementação de guias; (c) realização de alterações conceituais para facilitar o processo de modelagem; (d) criação de novo algoritmo para verificação lógica de incompletude e ambiguidade; e (e) criação de um ambiente gráfico de desenvolvimento de guias associado a um verificador lógico que atua em tempo real, isto é, à medida em que ocorre a modelagem. Experimentos baseados em guias clínicos para assistência pré-natal e hipertensão são apresentados e o texto é concluído com uma discussão do que foi realizado e sugestão de trabalhos futuros. / Abstract: Clinical guidelines are systematically developed statements to assist practitioner and patient decisions about appropriate health care for specific clinical circumstances. Since well elaborated, they provenly improve medical assistance quality. Oftenly clinicians aren't used to paper written guidelines and don't apply them adequately. Implemented in computer systems guidelines can significantly improve medical care quality directly at the point-of-care. This work is related to ST-Guide project, an initiative arisen at the Institute of Computing of State University of Campinas (IC-UNICAMP) to solve the practice guideline formalization and implementation problems. The contributions done were: (a) project restructuring on other technologies; (b) extensible architecture specification and implementation to support guideline modelling and implementation; (c) conceptual changes to ease modelling; (d) new incompletude and ambiguity logical verification algorithm; and (e) guideline graphical development environment coupled with a real time logical verifier. Experiments based on pre-natal assistence and hypertension clinical guidelines are presented and the text is concluded with a discussion of what was done and future work suggestions. / Mestrado / Mestre em Computação

[pt] A teoria da verdade de Tarski, também conhecida como teoria clássica da verdade, forneceu uma definição para o conceito de verdade que pode ser considerada adequada do ponto de vista material, no sentido de implicar logicamente todas as definições parciais de verdade para sentenças isoladas, do tipo ´s é verdadeira se e somente se p`, sendo p uma sentença qualquer de uma das linguagens às quais a definição tarskiana de verdade se aplica, e sendo s um nome para tal sentença. Essa definição de verdade é consistente - até onde se sabe - mas para garantir a consistência da mesma Tarski precisou restringir seu campo de aplicação ao conjunto das linguagens que não podem ser utilizadas para tratar de sua própria semântica, às quais chamamos linguagens semanticamente abertas. Uma outra teoria da verdade, devida a J. Barwise e J. Etchemendy, foi desenvolvida com vistas a poder ser aplicada de modo consistente às linguagens semanticamente fechadas. Entretanto, para garantir a consistência de sua teoria, Barwise e Etchemendy acabaram por formulá-la de um modo em que a mesma não pudesse ser considerada materialmente adequada, no sentido especificado acima. Isso poderia causar a impressão de que a consistência de uma definição de verdade exigisse que se abrisse mão da adequação material da mesma, tal como fazem Barwise e Etchemendy, ou então que se restringisse seu campo de aplicação às linguagens semanticamente abertas, tal como faz Tarski. Construindo uma definição de verdade materialmente adequada no sentido em questão, e ao mesmo tempo aplicável a linguagens semanticamente fechadas, contudo, S. Kripke mostrou que isso não é o caso. Após uma análise comparativa dessas três teorias da verdade, encontramos razões para formular uma outra definição de verdade, baseada nas intuições russellianas acerca dessa noção, e capaz de ser aplicada consistentemente às linguagens semanticamente fechadas, mantendo a adequação material no sentido acima descrito. No presente trabalho, podem ser encontradas essa análise comparativa das teorias da verdade de Tarski, Barwise-Etchemendy e Kripke, bem como a definição de verdade que formulamos de modo a satisfazer as condições que mencionamos acima. / [en] The tarskian theory of truth, that is also known as the classical theory of truth, has provided a truth definition that may be considered adequate from a material standpoint. By a materially adequate truth definition we understand a truth definition that logically entails every partial truth definition for a specific sentence, of the kind ´s is true if and only if p`, where p is any sentence from some language that is object of the tarskian truth definition, and where s is a name for such sentence. This truth definition is consistent - so far as we know - but in order to guarantee its consistency Tarski had to restrict its field to the set of the languages which cannot be used to speak about their own semantics. These languages are called semantically open languages. Another truth definition, due to J. Barwise and J. Etchemendy, was developed in order to be consistently applied to semantically closed languages. However, in order to assure the consistency of their theory, Barwise and Etchemendy developed it in such a way that it cannot be considered as a materially adequate theory in the sense that has been specified above. We may conclude from this that in order to guarantee the consistency of a truth definition we have either to abandon its material adequacy or to restrict its field to the set of semantically open languages. Kripke showed that this is not the case through developing a truth definition that is both materially adequate and applicable to semantically closed languages. After doing a comparison between these three truth theories, we have found some reasons to formulate another truth definition, which is based on russellian intuitions concerning the notion of truth, and which is able to be consistently applied to semantically closed languages and is also materially adequate in the sense specified above. In this dissertation one can find the comparison between the truth theories of Tarski, Barwise and Etchemendy, and Kripke, which we just mentioned, and also the truth definition that we formulated in order to satisfy the conditions which we described above.

[pt] O presente trabalho apresenta a modelagem de conhecimento multitemporal para a classificação automática de cobertura do solo para imagens de satélite. O procedimento de classificação agrega os conhecimentos espectral e multitemporal utilizando conjuntos nebulosos e suas pertinências de classe como informação prévia. O método se baseia no conceito de Redes de Markov Nebulosas, um sistema com um conjunto de estados que a cada instante de tempo troca o estado corrente de acordo com possibilidades associadas a cada um. No caso deste trabalho cada estado representa uma classe, e as possibilidades são estimadas automaticamente a partir de dados históricos de uma mesma região geográfica, empregando algoritmos genéticos. A avaliação experimental utilizou um conjunto de imagens Landsat-5 da cidade do Rio de Janeiro, obtidas em cinco datas separadas por aproximadamente quatro anos. Os resultados indicaram que o uso do conhecimento multitemporal, conforme modelado pelo método proposto traz um significante aumento da eficiência de classificação em comparação à classificação puramente espectral, além de flexibilizar o procedimento de classificação no que diz respeito aos dados necessários para o treinamento do modelo. / [en] This work presents a multitemporal knowledge model for automatic classification of remotely sensed images. The model combines multitemporal and spectral knowledge within a fuzzy framework. This method is based on Fuzzy Markov Chains, a system having a set of states that, at each time, change the current state according to the fuzzy possibilities associated to each one. In this work each state represents one class, and the possibilities are automatically estimated based on historical data by using genetic algorithms. The experimental evaluation was carried through for a set of Landsat-5 TM images of the Rio de Janeiro State, Brazil, acquired at five dates separated by approximately four years. Results indicate that the use of multitemporal knowledge as modeled by the proposed method brings an expressive improvement in efficiency to the classification, when compared to the pure spectral classifier. Besides it, adds flexibility to the classification procedure, concerning to necessary data used for model training.

[pt] Este trabalho apresenta procedimentos de modelagem e controle neuro-fuzzy de sistemas dinâmicos. Neste contexto, é proposta e avaliada a utilização simultânea da abordagem neuro-fuzzy em todo o sistema de malha fechada controlador-planta.Na modelagem da planta, o espaço de entrada do sistema dinâmico é inicialmente dividido em um número de regiões de operação fuzzy onde modelos de ordem reduzida (ARMAX) representam o comportamento do sistema dinâmico. A saída completa do sistema - modelo global - é obtida através da conjunção das saídas dos modelos locais usando uma rede neuro-fuzzy.No controle da planta, é proposto um novo controlador neuro-fuzzy chamado Controlador Neuro-fuzzy de Coeficientes Variáveis (CNFCV), que tem como objetivos melhorar a robustez do sistema de controle a perturbações e a geração automática da variável manipulada, que é uma dificuldade normalmente encontrada em controladores neurais ou neuro-fuzzy. Esse controlador é originado dos modelos de redes neurais de Mellem (1997) e Velloso (1999), e utiliza redes neuro-fuzzy para a geração dos coeficientes variáveis de um modelo ARMA da variável manipulada. Apesar de juntar modelos de séries temporais com a abordagem neuro-fuzzy, o CNFCV tem como função não a previsão, mas sim o controle de uma planta ou processo.Para avaliar o desempenho do CNFCV são utilizados, como meios de comparação,controladores neuro- fuzzy conhecidos - FALCON-H Fuzzy Adaptive Learning Control Network with Hybrid Learning e NEFCON Neuro-Fuzzy Controller - e o tradicional controlador PID Proporcional- Integral-Derivativo.As plantas utilizadas são uma planta linear Bobinador, uma planta linearizada Pêndulo Invertido e uma planta não linear %CO2. A escolha de tais plantas deve-se ao fato de serem utilizadas e modeladas em aplicações práticas e em trabalhos acadêmicos. Os resultados obtidos com o CNFCV são analisados e comparados aos proporcionados pelas outras estruturas.Ao final são apresentadas conclusões e sugestões para trabalhos futuros. / [en] In this work procedures for neuro-fuzzy modelling and control of dynamic systems are reviewed and a new structure is proposed. In this, modelling and closed-loop control are performed simultaneously by using a neuro-fuzzy approach. In the modelling stage the input space of a dynamic system (plant) is initially divided into a number of fuzzy operating regions within which reduced order models are able to represent the system. The complete system model output - the global model - is obtained through the conjunction of the outputs of the local models. A new structure, called Neuro-Fuzzy Controller with Variable Coefficients (NFCVC) is proposed and evaluated. Its main objectives are to improve the system s robustness and to provide automatic generation of the manipulated variable in order to overcome a difficulty of neural and neuro-fuzzy controllers in general. The NFCVC is originated from models proposed by Mellem (1997) and Velloso (1999) and makes use of neuro-fuzzy networks to generate variable coefficients of an ARMA model. Despite combining times series models with a neuro-fuzzy approach, the main function of NFCVC is to perform the control of the plant.In order to evaluate the performance of NFCVC two well-known neuro-fuzzy controllers - FALCON-H (Fuzzy Adaptive Learning Control Network with Hybrid Learning) and the NEFCON (Neuro-Fuzzy Controller) - as well as the traditional PID controller are used as means of comparison.A linear plant (Rotor Winder), a linearized plant (Inverted Pendulum) and a nonlinear plant (%CO2) are used in the experiments. These plants are well-known and generally used in practical applications and/or academic works. The results for the NFCVC are analyzed and compared to those obtained with the others structures. Finally, conclusions and suggestions for future work are presented.

[pt] Os edifícios ociosos, no Brasil, podem contribuir para a diminuição do déficit habitacional ao serem convertidos para habitações de interesse social (HIS), mesmo que o seu uso anterior não seja residencial. A conversão desses edifícios em HIS pode apresentar diferentes níveis de dificuldade. Nesse sentido, faz-se necessária uma metodologia para criar uma ordem de intervenção. Contudo, há diversas variáveis do urbanismo, da arquitetura e da engenharia que precisam ser avaliadas para que um edifício seja escolhido. No início do processo, essas análises são desafiadoras, devido à subjetividade e à escassez de informações nessa fase. Nesse contexto, e considerando as soluções encontradas na Revisão Sistemática da Literatura (RSL), este trabalho propõe uma metodologia baseada no modelo paramétrico, que contribui para antecipação das análises, associada à Lógica Fuzzy, que auxilia no tratamento da subjetividade, e ao método multicritério TOPSIS, para tornar o processo de pré-seleção mais eficiente. Foi desenvolvido um Mapa de Processo que propõe um novo fluxo de trabalho, relacionando estudos de conforto ambiental, localização e custo direto com o estado de conservação. O mapa proposto foi aplicado a três estudos de caso na cidade do Rio de Janeiro. A fim de validar os resultados e os critérios utilizados, realizaram-se onze entrevistas estruturadas com arquitetos experientes em projetos de reabilitação habitacional. Os resultados obtidos nas entrevistas indicam que o método proposto embasa a escolha do edifício, diminuindo a sua subjetividade. Além disso, facilita o entendimento, por profissionais pouco experientes, das diferentes análises que precisam ser efetuadas para uma escolha mais racional. / [en] The vacant buildings in Brazil can contribute to reduce the housing deficit when converted to social housing, even if their previous use is not residential. The conversion of these buildings into social housing can present different levels of difficulty. In this sense, a methodology is necessary to create an order of intervention. However, there are several variables of urbanism, architecture and engineering that need to be evaluated in order to choose a building to be converted. At the beginning of the process, these analyzes are challenging, due to the subjectivity and the scarcity of information at this stage. In this context, and considering the solutions found in the Systematic Literature Review, this reaserch work proposes a methodology based on a parametric model, which contributes to anticipate the analyzes, associated with Fuzzy Logic, which helps in the treatment of subjectivity, and with the multicriteria method TOPSIS, which makes the pre-selection process more efficient. A Process Map that proposes a new workflow was developed, relating studies of environmental comfort, location and direct cost with the state of conservation. The proposed map was applied to three case studies in the city of Rio de Janeiro. In order to validate the results and the criteria used, eleven structured interviews were carried out with architects experienced in housing rehabilitation projects. The results obtained in the interviews indicate that the proposed method supports the choice of the building, reducing its subjectivity. Furthermore, it facilitates the understanding, by inexperienced professionals, of the different analyzes that need to be carried out for a more rational choice.

[pt] Na perspectiva de estimular o aprimoramento do processo de gestão da inovação pelas micro, pequenas e médias empresas (MPMEs) brasileiras e contribuir para formulação ou revisão de políticas públicas de Ciência, Tecnologia e Inovação (CTeI) voltadas para esse segmento, a presente dissertação tem como objetivo geral propor um modelo para monitorar e avaliar a capacidade inovativa de MPMEs. A pesquisa pode ser considerada descritiva, metodológica e aplicada. A partir dos resultados da revisão bibliográfica e documental sobre os temas centrais da pesquisa, desenvolveu-se um modelo para mensuração e avaliação da capacidade inovativa de MPMEs, com base na integração de dois métodos multicritério fuzzy de apoio à decisão – Fuzzy Analytical Hierarchy Process (FAHP) e Fuzzy Technique for Order of Preference by Similarity to Ideal Solution (FTOPSIS). Visando demonstrar a aplicabilidade desse modelo no contexto das MPMEs e explicitar seus diferenciais metodológicos em comparação a outros métodos de apoio à decisão, não combinados com a teoria de conjuntos fuzzy, realizou-se um estudo junto a 15 MPMEs participantes do Programa NAGI da PUC-Rio. Destacam-se como principais contribuições da pesquisa um modelo para mensuração e avaliação da capacidade inovativa de MPMEs, que considera a complexidade, subjetividade e incerteza como características inerentes a essa atividade, e um conjunto de indicadores compostos associados às três dimensões de capacidade inovativa contempladas no modelo proposto. / [en] From the perspective of stimulating the improvement of the process of innovation management by micro, small and medium enterprises (MSMEs) and contributing to the formulation or review of public policies concerning the area of Science, Technology and Innovation (CTandI), focusing on this segment, the aim of the dissertation is to propose a model to monitor and evaluate the innovative capacity of MSMEs. This research can be classified as descriptive, methodological and applied. From the bibliographic and documentary review on the central themes of the research, a model was developed to measure and evaluate the innovative capacity of MSMEs based on the integration of two fuzzy multi-criteria methods of decision support - Fuzzy Analytical Hierarchy Process (FAHP) and Fuzzy Technique for Order of Preference by Similarity to Ideal Solution (FTOPSIS). Aiming to demonstrate the applicability of this model in the context of MSMEs and to explicit its methodological differentials in comparison to other methods for measuring the innovative capacity of enterprises, an empirical study with 15 MSMEs participants of the NAGI Program at PUC-Rio was carried out during the applied phase of this research. The main contributions are a model for measuring and evaluating the innovative capacity of MSMEs, which considers the complexity, subjectivity, and uncertainty as characteristics inherent to these activities, and a set of composed indicators associated with the three dimensions of the innovative capacity considered in the proposed model.