[pt] Tendo como motivação a consolidação futura de um sistema integrado de metrologia para o Ministério da Defesa, a presente dissertação de mestrado diagnostica e propõe uma re-estruturação do sistema normativo do Sistema de Metrologia Aeroespacial (SISMETRA) pertencente ao Comando da Aeronáutica (COMAER). O sistema normativo em metrologia do SISMETRA, foco deste trabalho, tem como atribuição emitir normas técnicas (NTS) que padronizem a execução das atividades relacionadas com a metrologia no âmbito do COMAER. Fundamentado em ampla pesquisa bibliográfica e no diagnóstico do acervo normativo de Normas Técnicas do SISMETRA (NTS), foi possível mapear os principais sub-processos existentes no desenvolvimento de uma NTS e propor uma sistemática alternativa mais ágil e mais eficiente. Dois projetos de normas, elaborados segundo a nova filosofia proposta e com o objetivo de sistematizar os sub-processos existentes na criação de uma NTS, foram desenvolvidos como estudos de caso para comprovar a eficiência e eficácia do método proposto. O trabalho analisou, também, a conformidade do acervo normativo do SISMETRA a procedimentos internos e preceitos estabelecidos em normas nacionais e internacionais. Como fundamentos básicos do diagnóstico, a análise tomou como substrato os princípios internacionais da normalização e o Standard Code, conforme caracterizado no Anexo 3 do Acordo de Barreiras Técnicas ao Comércio da Organização Mundial do Comércio. A análise investigou a aderência das NTS ao ABNT Guia 2 (Normalização e atividades relacionadas - vocabulário geral) e a ABNT ISO/IEC Diretiva Parte 3 (Redação e apresentação de Normas Brasileiras) e a lógica processual relacionada ao desenvolvimento, adoção e aplicação de normas no âmbito do SISMETRA. No âmbito de uma pesquisa de demanda por normas em metrologia realizada junto aos quarenta e três (43) laboratórios de calibração que integram o SISMETRA em todo o território nacional, o trabalho identificou lacunas e deficiências no sistema vigente. Como resultado foram identificados 69 novos títulos de normas/procedimentos necessários para suprir vulnerabilidades e/ou atribuir maior racionalidade a sua operação. O desenvolvimento da pesquisa de demanda por normalização em metrologia, conduzida no âmbito do SISMETRA, de per se, já estimulou ampla reflexão sobre a relevância da atividade de normalização nos laboratórios do SISMETRA sediados em todo o território nacional. Este sistema é tomado como modelo para proposição de ações futuras visando a implementação de um sistema normativo integrado. Entendido como estratégico subsídio para planejamento futuro, acredita-se que o trabalho possa colaborar para o desenvolvimento de um sistema de metrologia integrado para o atual Ministério da Defesa. / [en] Motivated by the future consolidation of an integrated metrology system for the Brazilian Defense Department, the present master s degree dissertation diagnoses and proposes the restructuring of SISMETR s (Aerospace Metrology System) standardization system, which is part of the Brazilian Air Force (COMAER). SISMETRA s standardization system, focus of this master s degree research, issues technical standards to govern the activities related to metrology within the Brazilian Air Force s scope. Based on a wide bibliographic research and on the diagnosis of SISMETRA s technical standards (NTS) collection, it was possible to map the main processes underlaid in an NTS and proposed more agile and efficient procedure. Two sets of standards were prepared, according to the new proposed philosophy, as case study to prove the efficiency of the proposed method. This master s degree research also analyzed the conformity of SISMETRA s technical standards (NTS) in conformity with internal features and precepts established on national and international standards. As a basis to the diagnosis, the study took as substratum the international principles and the Standard Code, as characterized in Annex 3 of the Agreement on Technical Barriers to Trade, of the World Trade Organization (WTO). The study contemplated the adherence of SISMETRA s Technical Standards (NTS) to the Brazilian Standards (ABNT) Guide 2 and ABNT ISO/IEC Directive - Part 3 as well as the logic that lays underneath the development, the adoption and the application of norms within the scope of the Brazilian Air Force system s metrology. As a result of a survey on demand for metrology standards performed at the 43 calibrations laboratories which integrate SISMETRA nationwide, this master s degree research carried out a thorough review of the pros and cons of the existing system, and 69 titles of standards/procedures needed to reduce (or overcome) vulnerabilities and/or to improve its operation. The development of the undertaken survey on demand for standards in metrology, by itself, have stimulated a wide reflection and awareness on the importance of the standardization within SISMETRA s laboratories nationwide. This system is considered a model for future actions to erect an integrated standardization system. Seen as strategic subsidy, this master s degree research work may contribute to a future development of an integrated metrology system to meet the Ministry of Defense s needs.

[pt] Adequação e validação de métodos econométricos para quantificar o impacto da padronização (normalização) de produtos no consumo e no bem estar dos consumidores. Três são os objetivos centrais da presente pesquisa: (i) caracterização do impacto da implementação da padronização na produção de açúcar, (ii) desenvolvimento de metodologia para a quantificação do impacto da implementação da padronização (normalização de pré-medidos) sobre o nível de produção e, portanto, sobre o bem-estar dos consumidores e (iii) análise do acervo de normas e regulamentação técnica aplicável ao setor açucareiro. Como motivação o trabalho mostra que funções da tecnologia industrial básica constituem de fato instrumentos de redução da assimetria da informação. O trabalho se desenvolveu no recente contexto de implementação de políticas públicas sociais que visam à melhoria do bem-estar de consumidores de baixa renda. O trabalho se desenvolveu em conformidade aos seguintes preceitos metodológicos: (i) revisão da literatura relacionada à assimetria da informação com o propósito de comprovar a hipótese de que a padronização de produtos pode de fato reduzir a assimetria informação; (ii) análise econométrica das sérias históricas da produção brasileira de açúcar. Os resultados do trabalho mostraram que a padronização do açúcar (normalização de pré-medidos), se devidamente implementada, pode implicar na melhoria no bem estar dos consumidores. Uma análise contra-factual clássica dos resultados consolidados mostrou que a padronização brasileira do açúcar reduziu a assimetria da informação presenciada nesse mercado, impactando num aumento de cerca de 8 porcento na produção de açúcar em 2006 devido `a padronização do produto implementada em 1992. Como conclusão a análise econométrica permitiu mostrar que a padronização de produtos constitui-se numa ferramenta estratégica a serviço do Estado promover a competitividade e como instrumento de redução de assimetria da informação em benefício do consumidor e de redução de distorções de mercados. / [en] There are two objetives in this Master dissertation in Metrology: (i) characterization of the impact of the implementation of the standardization in the production of sugar and (ii) development of methodology for quantifying the impact of the implementation of the standardization on the production level and, therefore, on the welfare of consumers. The work was motivated by the use of functions of basic industrial technology to reduce the asymmetric information as market failure is able to generate deficiencies. The investigation was developed in the recent context characterized by the implementation of social public policies aimed to improve the low income consumer s welfare. The work was developed in accordance to the following methodological precepts: (i) review of the literature on asymmetric information in order to verify the hypothesis that the products standardization can reduce the asymmetric information, generating an improvement in the consumer s welfare; (ii) econometric analysis of the Brazilian sugar production time series. As a result, the research shows that the sugar standardization, if correctly implemented, induces consumer s welfare. A contra-factual analysis of the consolidated results has shown that the Brazilian sugar standardization reduced the asymmetric information in this market. The impact of this policy was an increase in roughly 8 percent in the sugar production in 2006 due to the product standardization implemented in 1992. As a conclusion, the econometric analysis developed show that the standardization of products can be considered a powerful strategic tool. Not only to promote specific sector competitiveness, but also as an instrument to reduce the asymmetric information to the benefit of consumers.

[pt] O objetivo da dissertação é analisar em que medida a avaliação da conformidade de projetos de engenharia de grandes empreendimentos, conduzidos segundo regime epecista, pode ser utilizada como ferramenta de aprendizagem organizacional pelas entidades envolvidas. No contexto organizacional em que a pesquisa se insere, os objetos de análise são os projetos de três terminais aquaviários a serem operados pela Transpetro: (i) Pecém – Tecem (CE); (ii) Barra do Riacho (ES); e (iii) Ilha Comprida (RJ) e a unidade principal é a Unidade de Implementação de Empreendimentos para Transpetro (IETR) da Petrobras. A metodologia compreende: (i) pesquisa bibliográfica e documental sobre os temas centrais; (ii) seleção do tipo de caso e delimitação das unidades de caso; (iii) proposição do modelo conceitual; (iv) elaboração do estudo de caso; (v) formulação das conclusões do caso e recomendações para as entidades envolvidas. Destacam-se como resultados da pesquisa: (i) a indicação dos documentos críticos nas fases FEED e executiva dos respectivos projetos; (ii) o mapeamento dos principais erros oriundos da incompatibilização entre as disciplinas envolvidas ou decorrentes do não atendimento a requisitos de normas e regulamentos técnicos aplicáveis; e (iii) a proposição de recomendações para as entidades envolvidas. Como conclusão, a pesquisa indica que o modelo conceitual proposto mostrou-se adequado para os fins a que se destina, constituindo um importante instrumento de gestão que poderá ser disseminado em outros contextos organizacionais de avaliação da conformidade de projetos de engenharia. / [en] The objective of this dissertation is to analyze to what extent the conformity assessment of engineering projects in large buildings, conducted according EPC regime, can be used as a tool for organizational learning by the entities involved (contractor, business EPC; subcontractors and certification). In the organizational context in which the research takes place, the objects of analysis are the projects of three waterway terminals of the Transpetro: (i) Pecém - Tecém (CE); (ii) Barra do Riacho (ES); and (iii) Ilha Comprida (RJ) and the main unit is the Unit Implementation of Projects for Transpetro (IETR) from Petrobras. The method comprises: (i) bibliographic and documentary research on the central themes, (ii) selecting the type of case and delimitation of the unit case, (iii) propose of a conceptual model, (iv) preparation of case study, (v) formulation of conclusions and recommendations of the case to entities involved. Stand as the search results: (i) an indication of critical documents in phases FEED and executive of the respective projects, (ii) the mapping of the principal errors that come from the incompatibility between the disciplines involved or arising from the unmet requirements of applicable standards and technical regulations; (iii) to propose recommendations for the entities involved. In conclusion, the research shows that the suggested model was adequate for the purposes for which it is intended, constituting an important management tool and learning that could be disseminated in other organizational contexts of conformity assessment of engineering projects.

[pt] A ditadura militar brasileira causou profundas transformações nas estruturas políticas, econômicas, sindicais e sociais do país. Apesar disto, o tema é pouco tratado pelos estudiosos das organizações, mesmo com indícios da participação empresarial na conspiração que culminou com o golpe de 1964 ou colaboração com órgãos de repressão do Estado. Com o intuito de alterar este quadro, esta pesquisa se propôs a estudar quais eram, como se configuravam e como eram operacionalizadas as práticas de violência cometidas pela Volkswagen do Brasil contra os seus trabalhadores durante a ditadura militar brasileira. A tese subjacente a este objetivo é que a empresa empregou práticas de normalização da violência para que esta pudesse ser praticada indiscriminadamente com o objetivo de aumento de ganhos. Para atingir este propósito este estudo desenvolveu, com base na literatura, um quadro analítico categorizando as práticas de normalização da violência que serviu de base para a leitura dos documentos coletados. Ao todo foram identificadas vinte e duas práticas na literatura que foram agrupadas em seis dimensões. Apoiada na perspectiva histórica, esta pesquisa valeu-se de documentos da época como corpus de pesquisa. Como resultados da pesquisa foi possível identificar que a Volkswagen do Brasil praticava violência física, psicológica, simbólica, econômica e política contra os seus trabalhadores e adotou doze práticas com potencial para normalizar as violências cometidas. / [en] The Brazilian military dictatorship has caused deep changes in the country s political, economic, trade union and social structures. In spite of this, the subject is little touched by the organizations researchers, even with indications of the business participation in the conspiracy that culminated with the coup of 1964 or their collaboration with organs of repression of the State. In order to change this situation, this research aimed to investigate what were and how the violence practices committed by Volkswagen do Brasil against its workers during the Brazilian military dictatorship were configured. The thesis underlying this objective is that this company used violence normalization practices so that it could be practiced indiscriminately for the purpose of increasing earnings. To achieve this goal, this study developed, based on the literature, an analytical framework, categorizing the violence normalization practices that served as a basis for reading the documents collected. Were identified twenty-two practices in the literature, that were grouped into six dimensions. Based on historical perspective, this research was based on documents at time as a corpus of research. As a result of the research it was possible to identify that Volkswagen do Brasil practiced physical, psychological, symbolic, economic and political violence against its workers and adopted twelve practices with the potential to normalize the violence committed.

[pt] A articulação entre psicanálise e educação para pensar o mal-estar na escola remonta aos primórdios da constituição da primeira. Se podemos encontrar em S. Freud uma oscilação entre o papel inibidor que caberia à educação e, por outro lado, um veio libertário, na medida em que esta acolhesse em seus objetivos a realidade pulsional na criança, há uma outra linha de pensamento na psicanálise que vai de S. Ferenczi a D. W. Winnicott, que permite outros encaminhamentos para a abordagem deste tema, especialmente na sua expressão atual. Esta tese objetiva investigar o que pode a psicanálise frente ao mal-estar na escola atual usando como ferramentas a genealogia do poder disciplinar e do biopoder em M. Foucault para compreender a emergência da categoria criança-aluno, os conceitos de norma e normalização para discutir os processos de medicalização e de patologização de crianças e de jovens no ambiente escolar na sociedade de controle e, finalmente, o pensamento de D. W. Winnicott e sua teoria do amadurecimento psíquico e seus desdobramentos. Aponta-se, ainda, para a propriedade desta teoria da constituição subjetiva precoce e de seus desdobramentos, que permitem pensar as formas de inserção na cultura, para os encaminhamentos diferentes do mal-estar na escola atual, compreendido como despotencialização do viver criativo. / [en] The articulation between psychoanalysis and education to think about the discontent in school dates back to the beginnings of the constitution of the former. If we can find in S. Freud an oscillation between the inhibiting role which had to be done by education and, on the other hand, a libertarian trace, in that this hosts into its objectives the instinctual reality in the child, there is another line of thought in psychoanalysis that goes from S. Ferenczi to D. W. Winnicott which allows other referrals to this theme approach, especially in its current expression. This thesis aims to investigate what psychoanalysis can do against the discontent in the current school using as tools the genealogy of the disciplinary power and the biopower in M. Foucault to understand the child-student category emergency, the standard and standardization concepts to discuss the medicalization and pathologizing processes of children and youth in the school surroundings in the control society and, finally, D. W. Winnicott s thought and his psychic maturing theory and its developments. It is still aimed to the property of this theory of the early subjective constitution and its developments, which allow to think the forms of insertion into the culture, to the different referrals of the discontent in the current school, understood as creative living disempowerment.

[pt] Este trabalho apresenta um estudo comparativo de três técnicas de melhoria das taxas de reconhecimento de voz em ambiente adverso, a saber: Normalização da Média Cepestral (CMN), Subtração Espectral e Regressão Linear no Sentido da Máxima Verossimilhança (MLLR), aplicadas isoladamente e em concomitância, duas a duas. Os testes são realizados usando um sistema simples: reconhecimento de palavras isoladas (dígitos de zero a nove, e meia), modo dependente do locutor, modelos ocultos de Markov do tipo contínuo, e vetores de atributos com doze coeficientes cepestrais derivados da análise de predição linear. São adotados três tipos de ruído (gaussiano branco, falatório e de fábrica) em nove razões sinal-ruído diferentes. Os resultados experimentais demonstram que o emprego isolado das técnicas de reconhecimento robusto é, em geral, vantajoso, pois nas diversas razões sinal-ruído para as quais os testes são efetuados, quando as taxas de reconhecimento não sofrem um acréscimo, mantém-se as mesmas obtidas quando não se aplica nenhum método de aumento da robustez. Analisando-se comparativamente as implementações isoladas e simultânea das técnicas, constata-se que a simultânea nem sempre é atraente, dependendo da dupla empregada. Apresentam-se, ainda, os resultados decorrentes do uso de modelos ruidosos, observando-se que, embora sejam inegavelmente melhores, sua utilização é inviável na prática. Das técnicas implementadas, a que representa resultados mais próximos ao emprego de modelos ruidosos é a MLLR, seguida pela CMN, e por último pela Subtração Espectral. Estas últimas, embora percam em desempenho para a primeira, apresentam como vantagem a simplicidade e a generalidade. No que concerne as técnicas usadas concomitantemente, a dupla Subtração Espectral e MLLR é a considerada de melhor performance, pois mostra-se conveniente em relação ao emprego isolado de ambos os métodos, o que nem sempre ocorre com o uso de outras combinações das técnicas individuais. / [en] This work presents a comparative study of three techniques for improving the speech recognition rates in adverse environment, namely: Cepstral Mean Normalization (CMN), Spectral Subtraction and Maximum Likelihood Linear Regression (MLLR). They are implemented in two ways: separately and in pairs. The tests are carried out on a simple system: recognition of isolated words (digits from zero to nine, and the word half), speaker-dependent mode, continuous hidden Markov models, and speech feature vectors with twelve cepstral coefficients derived from linear predictive analysis. Three types of noise are considered (the white one, voice babble and from factory) at nine different signal-to-noise ratios. Experimental result demonstrate that it is worth using separately the techniques of robust recognition. This is because for all signal-to-noise conditions when the recognition accuracy is not improved it is the same one obtained when no method for increasing the robustness is applied. Analyzing comparatively the isolated and simultaneous applications of the techniques, it is verified that the later is not always more attractive than the former one. This depends on the pair of techniques. The use of noisy models is also considered. Although it presents better results, it is not feasible to implement in pratical situations. Among the implemented techniques, MLLR presents closer results to the ones obtaneid with noisy models, followed by CMN, and, at last, by Spectral Subtraction. Although the two later ones are beaten by the first, in terms of recognition accuracy, their advantages are the simplicity and the generality. The use of simultaneous techniques reveals that the pair Spectral Subtraction and MLLR is the one with the best performance because it is superior in comparison with the individual use of both methods. This does not happen with other combination of techniques. / [es] Este trabajo presenta un estudio comparativo de tres técnicas de mejoría de las tasas de reconocimiento de voz en ambiente adverso, a saber: Normalización de la Media Cepextral (CMN), Substracción Espectral y Regresión Lineal en el Sentido de la Máxima Verosimilitud (MLLR), aplicadas separada y conjuntamente, dos a dos. Las pruebas son realizados usando un sistema simple: reconocimiento de palabras aisladas (dígitos de cero al nueve, y media), de modo dependiente del locutor, modelos ocultos de Markov de tipo contínuo, y vectores de atributos con doce coeficientes cepextrales derivados del análisis de predicción lineal. Se adoptan tres tipos de ruido (gausiano blanco, parlatorio y de fábrica) en nueve razones señal- ruido diferentes. Los resultados experimentales demuestran que el empleo aislado de las técnicas de reconocimiento robusto es, en general, ventajoso, pues en las diversas relaciones señal ruido para las cuales las pruebas son efetuadas, cuando la tasa de reconocimiento no aumenta, manteniendo las mismas tasas cuando no se aplica ningún método de aumento de robustez. Analizando comparativamente las implementaciones aisladas y simultáneas de las técnicas, se constata que no siempre la simultánea resulta atractiva, dependiendo de la dupla utilizada. Se presentan además los resultados al utilizar modelos ruidosos, observando que, aunque resultan mejores, su utilización em la práctica resulta inviable. De las técnicas implementadas, la que presenta resultados más próximos al empleo de modelos ruidosos es la MLLR, seguida por la CMN, y por último por la Substracción Espectral. Estas últimas, aunque tienen desempeño peor que la primera, tienen como ventaja la simplicidad y la generalidad. En lo que se refiere a las técnicas usadas concomitantemente, la dupla Substracción Espectral y MLLR es la de mejor performance, pues se muestra conveniente en relación al empleo aislado de ambos métodos, lo que no siempre ocurre con el uso de otras combinaciones de las técnicas individuales.

[pt] A teoria da prova tradicional da lógica proposicional trata provas cujos tamanhos podem ser demasiado grandes. Estudos teóricos de prova descobriram diferenças exponenciais entre provas normais ou livres de corte e suas respectivas provas não-normais. Assim, o uso de grafos-de-prova, ao invés de árvores ou listas, para representar provas está se tornando mais popular entre teóricos da prova. Os grafos-de-prova servem como uma forma de proporcionar uma melhor simetria para a semântica de provas e uma maneira de estudar a complexidade das provas proposicionais. O objetivo deste trabalho é reduzir o peso/tamanho de deduções. Apresentamos formalismos de grafos de prova que visam capturar a estrutura lógica de uma dedução e uma forma de facilitar a visualização das propriedades. A vantagem destes formalismos é que as fórmulas e sub-deduções em dedução natural, preservadas na estrutura de grafo, podem ser compartilhadas eliminando sub-deduções desnecessárias resultando na prova reduzida. Neste trabalho, damos uma definição precisa de grafos de prova para a lógica puramente implicacional, logo estendemos esse resultado para a lógica proposicional completa e mostramos como reduzir (eliminando fórmulas máximas) essas representações de tal forma que um teorema de normalização pode ser provado através da contagem do número de fórmulas máximas na derivação original. A normalização forte será uma consequência direta desta normalização, uma vez que qualquer redução diminui as medidas correspondentes da complexidade da derivação. Continuando com o nosso objetivo de estudar a complexidade das provas, a abordagem atual também fornece representações de grafo para lógica de primeira ordem, a inferência profunda e lógica bi-intuitionista. / [en] Traditional proof theory of Propositional Logic deals with proofs which size can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. Thus, the use of proof-graphs, instead of trees or lists, for representing proofs is getting popular among proof-theoreticians. Proof-graphs serve as a way to provide a better symmetry to the semantics of proofs and a way to study complexity of propositional proofs and to provide more efficient theorem provers, concerning size of propositional proofs. The aim of this work is to reduce the weight/size of deductions. We present formalisms of proof-graphs that are intended to capture the logical structure of a deduction and a way to facilitate the visualization. The advantage of these formalisms is that formulas and subdeductions in Natural Deduction, preserved in the graph structure, can be shared deleting unnecessary sub-deductions resulting in the reduced proof. In this work, we give a precise definition of proof-graphs for purely implicational logic, then we extend this result to full propositional logic and show how to reduce (eliminating maximal formulas) these representations such that a normalization theorem can be proved by counting the number of maximal formulas in the original derivation. The strong normalization will be a direct consequence of such normalization, since that any reduction decreases the corresponding measures of derivation complexity. Continuing with our aim of studying the complexity of proofs, the current approach also give graph representations for first order logic, deep inference and bi-intuitionistic logic.

[pt] O objetivo da dissertação é demonstrar os benefícios sociais e ambientais da adoção de normas pela indústria de papel e celulose, ilustrando-se pelo estudo de caso da Suzano Papel e Celulose no contexto de um projeto internacional da ISO. Esse projeto foi concluído em 2013 e teve por objetivo desenvolver estudos de caso para avaliar os benefícios sociais e ambientais das normas focalizando-se cinco empresas de setores industriais distintos de três países – China, Rússia e Brasil. No Brasil, a ABNT coordenou o estudo de caso referente à empresa Suzano Papel e Celulose, que contou com a participação do pesquisador na equipe do projeto, através de uma parceira com a PUC-Rio. Quanto aos fins, a pesquisa pode ser considerada aplicada e descritiva. Quanto aos meios de investigação, a metodologia compreende pesquisa bibliográfica e documental; pesquisa de campo, com entrevistas semiestruturadas para o caso da empresa Suzano Papel e Celulose; descrição do estudo de caso, com análise dos indicadores gerados. Destacam-se como resultados: (i) revisão dos sistemas de mensuração de sustentabilidade corporativa que vêm sendo adotados em nível mundial e nacional; (ii) análise dos resultados do estudo de caso e demonstração da aplicabilidade e efetividade da metodologia baseada no conceito de cadeia de valor introduzido por Porter e no modelo de criação de valor sustentável concebido por Hart e Milstein; (iii) funções da cadeia de valor da empresa que são relevantes para a avaliação dos benefícios sociais e ambientais gerados pela adoção de normas; e (iv) conjunto de indicadores operacionais que deverão ser considerados pelas empresas da indústria de papel e celulose, visando maximizar o valor gerado pelas normas. / [en] The objective of this dissertation is to demonstrate the social and environmental benefits of adoption of standards by pulp and paper companies, within the context of an international project carried out by ISO. This project was concluded in 2013 and aimed to develop five case studies focusing companies from different industrial sectors in three countries – China, Russia and Brazil. In Brazil, the selected company was Suzano Papel e Celulose and the researcher integrated the project team coordinated by ABNT, through a partnership with PUC-Rio. This research can be considered descriptive and applied and the methodology encompasses bibliographical and documental research, field research by means of semi-structured interviews for the case of Suzano Papel e Celulose; description of Suzano s case study with critical analysis of indicators and metrics. The main results can be summarized as follows: (i) a review of measurement systems of corporate sustainability that have been adopted worldwide; (ii) critical analysis of the results from Suzano s case study and demonstration of applicability and effectiveness of the methodology based on concept of value chain introduced by Porter and also on sustainable value model designed by Hart e Milstein; (iii) functions of the company s value chain that are relevant for assessing social and economic benefits generated by the adoption of standards, and (iv) a set of operational indicators to be considered by pulp and paper companies to maximize the value generated by the standards adoption.

[pt] Existem diferentes estilos de cálculos dedutivos, usados para derivar os teoremas de uma lógica. Os mais habituais são os sistemas axiomáticos; mas, do ponto de vista da teoria da prova, os sistemas em dedução natural parecem ser mais interessantes. Essa é a motivação que leva ao desenvolvimento de técnicas que visam a facilitar a transformação de um cálculo dedutivo para o estilo em dedução natural. Esse trabalho se concentra no aspecto de modelar regras para os quantificadores da linguagem considerada e, para isso, faz uso de rótulos. Após uma apresentação intuitiva da técnica desenvolvida, passa-se à exposição de sistemas lógicos tratados pelo método: lógica de ultrafiltros, lógica de filtros, CTL, lógica de Keisler e CTL*. Em cada caso, analisam-se aspectos de teoria da prova. / [en] There are many kinds of deductive calculus. The axiomatic ones are the more usual. However, from the point of view of proof theory, Natural Deduction systems seem to be more interesting. This is the motivation for developping a technique that aims to ease the transformation from deductive calculus to Natural Deduction style. This work concentrates on the aspect of modeling the rules for the quantifiers of the logic considered, and for this purpose labels are used. After an intuitive presentation of the technique developped, some logical systems are treated by the method: ultrafilter logic, filter logic, CTL, Keisler`s logic and CTL*. For each one of them proof-theoretical aspects are analysed.

[pt] O objetivo da dissertação é analisar a dinâmica de aprendizagem organizacional (AO) relativa ao processo de elaboração da Norma Internacional de Responsabilidade Social (ISO 26000), segundo a perspectiva da complexidade social. No contexto da normalização internacional e à luz dos desafios estratégicos enfrentados pela ISO referentes à governança global, parte-se do pressuposto de que a abordagem da complexidade social de AO pode contribuir para uma melhor compreensão do papel da aprendizagem na formação de consenso em dois níveis: entre as diversas categorias de stakeholders e entre países. A metodologia de pesquisa compreende: (i) revisão bibliográfica e documental sobre normalização internacional; sistemas adaptativos complexos; e aprendizagem organizacional, com especial atenção para abordagens integradoras; (ii) descrição do processo de desenvolvimento da norma internacional ISO 26000; (iii) proposição de modelo conceitual que integra normalização internacional e aprendizagem organizacional, segundo a perspectiva da complexidade social; (iv) pesquisa survey junto a especialistas do Grupo de Trabalho ISO-TMB-WG SR e de seu comitê espelho brasileiro; e (v) estudo de caso de AO no processo de elaboração da Norma Internacional ISO 26000, com resultados da pesquisa survey. Esses resultados incluem: (i) a análise da dinâmica de AO relativa ao processo de elaboração da norma ISO 26000; (ii) relação dos principais fatores facilitadores de AO neste caso, considerando os dois níveis de análise; e (iii) recomendações endereçadas à ISO e à ABNT para futuros desenvolvimentos de normas internacionais em ambientes sociais complexos. / [en] The main objective of this dissertation is to analyze the learning dynamics and the specific learning mechanisms experimented by the different groups during the development process of ISO 26000 standard, through the lens of the social complexity perspective of organizational learning (OL). In the context of ISO 26000’s learning process, it was assumed that the social complexity perspective of organizational learning (OL) could be especially useful as it can improve the understanding of the role of learning in a double level of consensus – amongst stakeholders and across countries – in the light of the strategic challenges faced by ISO within the global governance arena. The research methodology comprises: (i) bibliographical and documental review on international standardization; social complex adaptive systems; organizational learning, with special attention to integrative approaches; (ii) review of the development process of ISO 26000 standard; (iii) design of a conceptual model that integrates the international standardization and organizational learning, through the lens of the social complexity perspective; (iv) development and application of a survey questionnaire to representatives of ISO-TMB-WG SR, including its Brazilian Mirror Committee; and (v) description of ISO 26000 study case. The main results can be summarized as follows: (i) learning dynamics analysis of the development process of ISO 26000 standard; (ii) list of main facilitating and constraining factors for OL in this case; and (iii) recommendations addressed to ISO regarding future international standardization processes in social complex environments.