Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

O objetivo central deste estudo é reconstruir a história do processo autonomização acadêmica da Ciência Política no Rio Grande do Sul, desde a criação do Programa de Pós-Graduação até o momento atual, a partir da análise descritiva de documentos e de entrevistas com personagens centrais desse processo. Com base nesse material, defendo o argumento de que houve uma geração de cientistas políticos na UFRGS que contribuiu de maneira relevante para a autonomia acadêmica da disciplina em âmbito regional e nacional, e, concomitantemente, foi responsável pela difusão local dos paradigmas predominantes na Ciência Política norte-americana e europeia. Para evidenciar a adesão aos paradigmas, são analisadas as teses e dissertações defendidas no período de 1977 a 2014, com base em categorias que permitem sua classificação. Em termos teórico-metodológicos, essa reconstrução segue o modelo de análise da história da ciência proposto por Thomas Kuhn, que concentra seu foco na formação e nos valores da comunidade científica em torno de compromissos epistemológicos e metodológicos que compõem um paradigma de investigação. / The main objective of this study is to reconstruct the history of academic autonomization process of the Political Science discipline in Rio Grande do Sul, since the creation of the its first Graduate Program until the present time, through the descriptive analysis of documents and interviews with central actors of this process. On this basis, it is sustained the argument that there was a generation of political scientists at UFRGS who has contributed in a significant way to the academic autonomy of the discipline at the regional and national level, and, thus, concomitantly, was responsible for the local diffusion of the paradigms prevailing in North American and European Political Science. In order to demonstrate the relative adherence to each paradigm, the theses and dissertations defended in the period 1977-2014, will be are analyzed based on categories that allow their classification. In theoretical and methodological terms, that reconstruction follows the model of analysis of the history of science proposed by Thomas Kuhn, which concentrates its focus on the formation and the values of the scientific community on certain epistemological and methodological commitments that make up a research paradigm.

Neste trabalho foram estudadas as misturas PVDF/PMMA processadas em proporções de 20, 40, 60 e 80% em massa em misturador de baixa taxa de cisalhamento (LSM) e alta taxa de cisalhamento (HSM). Os materiais obtidos foram caracterizados por análise térmica (DSC e TGA), análise reológica (reometria de torque e reometria de placas paralelas), análise morfológica (SEM e MO), além de análise microestrutural (FT-IR e RMN). Os resultados obtidos foram correlacionados com os dois tipos de processamento efetuados e mostraram que o tipo de processamento afeta a mobilidade dos componentes da mistura. As misturas PVDF/PMMA apresentaram uma tendência de diminuição do torque estabilizado com o aumento do teor de PMMA, para as composições processadas no misturador LSM em 60 e 100 rpm, sugerindo um menor esforço mecânico oferecido pelo PMMA nesta condição de processamento. Nas misturas processadas em misturador HSM, o PVDF mostrou maior dificuldade em cristalizar. O componente semicristalino na mistura, apresentou diversas fases cristalinas, ao ser resfriado, para as composições com 60 e 80% de PVDF.Resultados de análises de DMA mostraram que o pico referente à transição beta diminui e desaparece com o aumento do teor de PMMA. As curvas obtidas para as misturas PVDF/PMMA processadas por ambos os métodos mostraram também uma transição secundária observada para o PMMA puro em torno de 10°C. O aparecimento dessa relaxação foi atribuído ao cisalhamento imposto pelo processo de mistura. As propriedades viscoelásticas e a morfologia obtida corroboraram os resultados da processabilidade das misturas e da análise de RMN, demonstrando o efeito do tipo de misturador empregado e a separação de fase observada. / In this work, PVDF/PMMA blends were melt blended in proportions of 20, 40, 60 e 80% by weight in two different mixers, a low shear (LSM) and a high shear mixer (HSM). The compositions were characterized by thermal analysis (DSC and TGA), rheological analysis (torque rheometry and parallel plate rheometry), morphological analysis (NMR, SEM e OM), and FT-IR. The results were correlated with the two types of processing used and showed that the type of mixer affected the mobility between the blend components. The PVDF/PMMA blends showed also a tendency of decrease of stabilized torque with PMMA content, for compositions processed in LSM mixer, at 60 and 100 rpm, suggesting a lower mechanical work caused by PMMA. PVDF showed higher difficulty to crystallize in blends processed in HSM mixer. The semicrystalline component showed different crystalline forms on cooling from the melt, regarding the composition used. DMA results showed that beta transition peak diminished and disappear completely as PMMA content increases. The DMA curves for PVDF/PMMA blends processed by the two methods also showed a secondary transition for PMMA around 10°C. The appearance of this relaxation was attributed to the high shear imposed by processing. The viscoelastic properties and the morphology obtained corroborated the blend processability results and NMR analysis, demonstrating the phase separation phenomena and the effects of the type of mixer used in this study.

Neste trabalho, usando câmaras de alta pressão do tipo toroidal, foram investigadas as possíveis transformações de fase, alterações microestruturais e propriedades mecânicas de compactos obtidos pelo processamento em altas pressões e altas temperaturas de uma mistura de Ti e B na estequiometria do diboreto de titânio (TiB2). As amostras produzidas foram caracterizadas por microscopia eletrônica de varredura, espectroscopia por dispersão em energia de raios X característicos, difração de raios X e medidas de densidade e microdureza. Com o uso dessa abordagem, procurou-se obter um procedimento que permitisse a produção, por sinterização reativa sob altas pressões, de compactos de TiB2 com alta densidade e boas propriedades mecânicas. Foram realizados experimentos com dois tipos de pó de Ti, com procedência e granulometria diferentes. Usando um pó com granulometria mais grosseira (<75 μm), foram obtidas amostras com microestrutura não homogênea e pobres propriedades mecânicas. Por outro lado, a partir de um pó de granulometria mais fina (<38 μm), foi possível obter amostras altamente densificadas, com uma microestrutura homogênea e dureza elevada. A partir de uma exploração sistemática de diferentes condições de processamento (pressão, temperatura e tempo), foi identificada uma condição otimizada, para a mistura com o pó de granulometria mais fina, correspondente a 15 min de processamento a 7,7 GPa e 1565°C. Os resultados obtidos demonstram que, com o uso de técnicas de altas pressões, é possível obter compactos de qualidade similar aos obtidos usando técnicas convencionais, mas em um passo único de processamento, que envolve síntese e sinterização. O uso de tempos mais curtos e a alta compactação, que pode ser induzida nas partículas, permitem, com essa abordagem, um grande controle da microestrutura final, sem a necessidade de utilização de pós de partida ultrafinos. / In this work, we have used toroidal type high-pressure chambers to produce sintered bodies by the processing at high pressure and high temperature of Ti and B powders mixed in the stoichiometric ratio of titanium diboride (TiB2). Our main aim was the investigation of the effect of the processing conditions over the phase composition, the microstructure and the mechanical properties of the compacts. The samples were characterized by scanning electron microscopy, energy dispersive x-ray spectroscopy, x-ray diffraction and measurements of density and microhardness. Using this approach we have tried to define a procedure to produce dense TiB2 compacts with good mechanical properties by reaction sintering at high pressure. Two distinct Ti powders, with different mean particle size, have been used. The compacts produced using the powder with larger particle size (<75μm) showed an inhomogeneous microstructure and poor mechanical properties. However, using the finer Ti powder (<38μm), we have obtained highly densified samples showing a homogeneous microstructure and high hardness. The better compromise between these properties was obtained for the compact produced at 7,7GPa/1565°C/15min. Our results show that the use of high pressure makes possible the production of compacts with a quality similar to those obtained by conventional sintering, but in a single step process including synthesis and sintering. The shorter sintering times and the high compaction of the powder particles allow a strong control over the final microstructure, without the need of the use of ultrafine starting powders.

A Norma ISO 7206-4 descreve o método, as condições de ensaio e a preparação de corpos-de-prova para a determinação das propriedades de resistência à fadiga de hastes femorais. Como para a preparação dos corpos-de-prova a Norma não define uma espessura do meio de fixação, este estudo teve como objetivo investigar quais os efeitos, nos resultados de resistência à fadiga, de camada de cimento menos espessa e, se possível, estabelecer uma condição de ensaio mais severa e facilmente reprodutível, contrapondo a atualmente sugerida pelas ilustrações da Norma. Para tanto, foram avaliadas através de extensômetros de resistência elétrica as deformações residuais provenientes da cura do cimento e as deformações produzidas durante os ensaios nos mantos de cimento e nas hastes. Para o desenvolvimento do trabalho foi construído um dispositivo de fixação de amostras alternativo. Neste aparato já estão atendidos os ângulos de abdução e flexão previstos pela Norma. O suporte de amostra (cilíndrico) foi produzido com diâmetro interno que possibilitou a preparação de camadas de cimento de menor espessura.Foram respeitadas as condições de preparo, temperatura e composição para posterior comparação de resultados. Foram previstas a preparação de 3 corpos-de-prova em cada espessura de manta para os ensaios de fadiga. Todas fixadas com PMMA. Os mantos de cimento foram instrumentados nas regiões proximal e distal e as hastes femorais nas regiões lateral, frontal e medial. Os ensaios foram conduzidos nas condições que determinam a Norma e os dados de deformação foram adquiridos por um condicionador de sinais e processados por software específico. Adicionalmente foram realizadas as simulações por elementos finitos das duas condições de espessuras do manto de cimento para complementação das análises. Ao final se pode constatar que as diferenças nos níveis de deformação de ambos os casos não foram significantes. Considerando apenas os resultados dos ensaios de fadiga, os corpos de prova preparados com manto mais espesso apresentaram deformações pouco maiores nas hastes. Desta forma, se constatou que o dispositivo criado não produziu uma condição mais severa. Além disso, se pôde inferir que o acúmulo de danos na camada de cimento tem grande influencia sobre as deformações que são impostas às hastes ao longo dos 5 milhões de ciclos de fadiga. / The ISO 7206-4 standard describes the method and conditions of testing to assess the endurance properties of femoral stems. However, in the standard is not specified the thickness of the embedding medium. In this study it has been investigated the influence of thin cement layer during fatigue tests. Therefore, the strains induced by the curing and the external loads applied during the fatigue testes were measured using strain gages inside the cement mantle and at particular stem positions. A test fixation apparatus was fabricated to develop this work. The apparatus follow the angles of adduction and flexion required by the ISO standard. A cylindrical support was produced to facilitate the stem fixation in the thinner cement layer. The conditions of preparation, temperature and composition of cement mantles were kept to allow comparison with the commonly used method. The fatigue tests were conducted with three specimens for each mantle thickness utilizing PMMA for the stem fixation. The measurements of strain gages were realized in the proximal and distal regions of the cement mantles and the lateral, frontal and medial regions of the stems. The tests were performed according ISO standard specifications and the data measurements acquiring and processing were realized by specific software. Additionally, the computer simulations of the two cement mantle condition were performed. The results suggest in both cases that there are no significant differences in the strain levels. The fatigue tests in the thicker cement layer specimens showed small strain increases in the stems. In this way the both apparatus have shown similar results. Besides that, it was possible to conclude that the damage accumulation at the cement played an important rule in strain imposed at the stem during five millions cycles fatigue testing.

O presente estudo relata o planejamento e a implementação de uma Unidade Temática aplicada no Ensino de Física em uma turma do Ensino Médio do Centro Federal de Educação Tecnológica de Pelotas - CEFET-RS. Metodologicamente esse estudo está inserido na abordagem Ciência, Tecnologia e Sociedade (CTS) e nos chamados momentos pedagógicos (DELIZOICOV; ANGOTTI, 1991). A abordagem CTS tem se revelado um importante referencial na disseminação de conhecimentos científicos na sociedade e defende que todos os cidadãos têm iguais direitos na tomada de decisão envolvendo assuntos relacionados à Ciência e Tecnologia. A implementação da Unidade Temática foi baseada nos momentos pedagógicos: Problematização inicial, Organização do conhecimento e Aplicação do conhecimento. A temática “Cercas Energizadas” foi escolhida considerando-se os pressupostos da abordagem CTS e a necessidade de discutir a problemática associada ao projeto e instalação de cercas elétricas no município de Pelotas. Na implementação do trabalho, problematiza-se situações, fenômenos (ou temas) que tenham significado para os estudantes. Na organização do conhecimento, parte-se do fenômeno, chega-se aos conceitos estruturantes e depois aos conceitos específicos. Na aplicação do conhecimento, os conceitos específicos encontram uso na situação original e são extrapolados para outras situações. O material instrucional elaborado é constituído por uma cerca elétrica didática, um texto didático, atividades, guias de experimentos com vídeos, animações interativas e atividades-extra visando um aprofundamento no tema. Neste trabalho verificou-se que os alunos apóiam a inserção de temas sociais vinculados a aulas de Física e concordam que as decisões sobre assuntos vinculados à Ciência e Tecnologia devem ser amplamente debatidos na sociedade. A análise dos dados mostrou que grande parte dos alunos alterou suas concepções a respeito das interações entre Ciência, Tecnologia e Sociedade. Ao mesmo tempo, praticamente todos os alunos demonstraram uma melhora no rendimento relacionada às explicações sobre o princípio de funcionamento das cercas elétricas e interpretações sobre as leis e normas que regulamentam o assunto. A aprendizagem verificada e a receptividade dos alunos ao interagir com o conjunto de animações interativas desenvolvidas especialmente para este trabalho, e com os Guias de Experimentos, fazem destes dois recursos importantes alternativas para serem desenvolvidas, pesquisadas e implementadas no Ensino de Física. / This study reports the planning and the implementation of a physics teaching’s thematic unit with a secondary level class of the Federal Center of Technological Education of Pelotas – CEFET-RS. The study uses a methodology based on the principles of Science, Technology and Society (STS) and in pedagogical moments (DELIZOICOV; ANGOTTI, 1991). The STS approach has revealed itself as an important reference in the spread of scientific knowledge in society and argues that all citizens have equal rights in decision making involving issues related to science and technology. The implementation of the unit was based on the following pedagogical moments: initial problematization, knowledge organization, and knowledge application. The theme “energized fences” was chosen considering the assumptions of STS approach and the need to discuss the matters associated to the project and installation of electric fences in the city of Pelotas. In the implementation of the study, situations, phenomena (or themes) which have meaning to the students are problematized. In the organization of the knowledge, we set off from the phenomena, come to the structuring concepts, and then to the specific concepts. In the application of the knowledge, the specific concepts find use in the original situation and are extended to other structures. The instructional material designed is constituted by a didactic electric fence, a didactic text, activities, experiment guides with videos, interactive animations, and extra activities, aiming at theme deepeny the discourse of the theme. In this study, we observed that the students support the insertion of social themes linked to physics classes and agree that decisions on issues associated to science and technology should be broadly discussed in society. The data analysis showed that a great part of the students changed their conceptions concerning interactions between science, technology and society. At the same time, almost all students showed improvement in their performances related to the explanations about the functioning principle of electric fences and to the interpretations about the laws and norms which regulate the matter. The obtained learning and the receptivity of the students as they interacted with the set of interactive animations specially designed for the study and with the experiment guides, make, in the author’s view, of these two resources important alternatives to be developed, researched and implemented in physics teaching.

O presente trabalho apresenta uma modelagem matemática simplificada para projeção do módulo de elasticidade de materiais de fricção. A modelagem foi desenvolvida a partir de equações apresentadas por outros autores. Estas equações foram complementadas para que fossem adequadas aos materiais de fricção. A partir da equação base, foi inserida a Lei da Mistura simples na equação a fim de possibilitar a consideração de todas as fases presentes no material de fricção e sua contribuição para a rigidez do mesmo. Foi proposto um fator de forma α para as matérias-primas particuladas empregadas na fabricação dos materiais de fricção. Este fator visou corrigir a eficiência da contribuição das fases particuladas para a rigidez do material de fricção em virtude da sua irregularidade geométrica. Da mesma forma, foi incluído, ainda, no modelo matemático, um fator exponencial que quantifica a contribuição de fases viscoelásticas de baixo módulo de elasticidade. Conforme observado, a introdução deste fator exponencial é imprescindível devido à magnitude peculiar da influência das fases de baixo módulo de elasticidade sobre a rigidez do material de fricção. Para correta alimentação do modelo matemático proposto, foi realizada a caracterização do fator de forma das fases particuladas utilizadas na confecção dos materiais de fricção que foram utilizados para teste do modelo. Da mesma forma, foi feita a caracterização do módulo de elasticidade da resina fenólica, fabricada sob os mesmos parâmetros de processo dos materiais de fricção. Foram produzidas oito composições representativas de materiais de fricção semelhantes aos utilizados para fabricação de lonas de freio, aplicadas em veículos pesados com sistema de freio a tambor. As mesmas foram testadas em flexão a 3 pontos, de acordo com a norma ASTM D790-92, 1992, método de teste I, segundo procedimento A. Os resultados experimentais obtidos para o módulo de elasticidade dos materiais de fricção mostraram bom grau de confiabilidade, evidenciada pelo desvio padrão obtido nos resultados. A comparação entre os resultados teóricos, calculados através do modelo proposto e a partir das propriedades das matérias-primas, e os resultados experimentais mostrou boa correlação, encorajando a utilização do modelo desenvolvido neste trabalho para o projeto de materiais de fricção. / This work shows a simplified mathematical modeling for friction materials elasticity modulus design. The modeling was developed from other authors equations. These equations were modified to be adequate to friction materials. In the base equation, was introduced a simple Rule-of-Mixtures in order to consider all components in the friction material composition, and their contribution to the rigidity of it. A shape factor (α) was proposed to be applied to the particulate raw materials used in the fabrication of friction material. The shape factor function is to correct the particulate phases contribution efficiency to the rigidity of the friction material, due to its geometrical irregularities. Also, was introduced in the mathematical modeling an exponential factor to quantify the contribution of viscoelastic phases that show low modulus of elasticity. It was observed that the introduction of the exponential factor is very important due to the peculiar magnitude of the influence of these phases with low modulus of elasticity on the friction material rigidity. To obtain the necessary support to the mathematical modeling, the shape factor characterization was proceeded for the particulate phases used in the manufacture of the friction materials tested to check modeling validation. Also, the modulus of elasticity characterization of the phenolic resin was made with pure phenolic resin pieces manufactured with the same process parameters used for the friction materials manufacture. Eight compositions, representative of friction materials used for heavy vehicles drum brake linings, were produced. They were tested under 3-points bending test procedure, according to ASTM D790-92, 1992 standard, using test method I, procedure A. Experimental results obtained for the modulus of elasticity of the friction materials show reliable confidence, evidenced by the standard deviation of the results. Comparison between theoretical results, calculated with the proposed mathematical modeling and the raw materials properties, and the experimental results show good correlation, encouraging the use of the proposed modeling for friction materials design.

Diferentes tipos de estabilizantes térmicos para PVC rígido foram avaliados comparativamente para determinação da sua eficácia. Estabilizantes à base de cálcio-zinco, bário-cádmio, e cálcio-zinco-chumbo foram testados em comparação com estabilizantes de chumbo, já utilizados comercialmente, empregando-se técnicas de termogravimetria e reometria de torque, além de técnicas auxiliares de infra-vermelho, reometria capilar e microscopia eletrônica de varredura. Todas as técnicas se mostraram úteis na determinação da estabilidade térmica do PVC Os estabilizantes térmicos à base de cálcio-zinco mostraram bom comportamento, mas nenhuma das formulações teve desempenho superior àquela cotendo chumbo, mostrando a dificuldade da substituição deste metal como estabilizante térmico para o PVC rígido. / Different thermal stabilizers for rigid PVC had been evaluated comparatively for determination of its effectiveness. Stabilizers based on calciumzinc, barium-cadmium, and calcium-zinc-lead had been compared with one based on lead, already used commercially. The PVC formulations were analysed by thermogravimetry, torque and capilary rheometry, infra-red spectroscopy and scaning electron microscopy. All the techniques were very useful in the PVC compounds thermal stability avaliation. None of the lead free PVC compounds had upper performance to that on containig lead, showing the difficulty of the lead stabilizers substitution for rigid PVC.

Neste trabalho foram estudadas as variáveis comj: Osicionaise estruturais que determinam a resistência ao ESC (ESCR) do HIPS às gorduras, bem como a influência do tipo e do teor de gordura no alimento, da temperatura e da tensão. Para tal, quatro amostras de HIPS comerciais foram submetidas ao ataque químico por alimentos gordurosos, sob diferentes tensões e temperaturas. Os alimentos gordurosos utilizados como agentes químicos foram: margarina de soja e de milho, creme vegetal à base de soja, manteiga, sorvete e uma mistura de azeite de oliva e ácido oleico. Com base no alongamento residual das amostras atacadas quimicamente e na análise de suas respectivas superfícies de fratura, foi proposta uma escala com valores de ESCR.A variação do módulo elástico foi simultaneamente monitorada. Nenhuma das amostras de HIPS testadas apresentou-se completamente apropriadapara o uso em embalagemde alimentosgordurosos. Observou-se que o nível de fragilização das amostras estudadas foi amplamente dependente à temperatura do teste. O início do processo de difusão das gorduras através do material é antecipado pelo aumento da temperatura e também da tensão. As amostras de HIPS apresentaram comportamentos diferenciados quando atacadas a 5 e a 23°C por razão da diferença no coeficiente de expansão térmica entre a borracha e o PS. Em temperaturas mais elevadas, ocorre uma maior compressão da borracha sobre a matriz de PS, contribuindo para a dissipação da tensão Com base nos resultados obtidos, sugere-se que um HIPS indicado para a embalagem de alimentos gordurosos, independentemente da temperatura de aplicação, deve apresentar as seguintes características: (a) tamanho de partícula de borracha próximo a 5 m; (b) massa molar j:Onderal da matriz de PS próxima a 200.000 g/mol; (c) conteúdo de fase gel próximo a 30%, com alto nível de entrecruzamento da borracha e (d) conteúdo de borracha entre 8 e 9%. O tipo de gordura, e não necessariamente a sua quantidade no alimento, foi o fator prej:Onderante para intensificar o ataque químico ao HIPS. As gorduras saturadas foram mais agressivas do que as gorduras mono e polinsaturadas.

Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses problemas relacionadas à questão da aproximabilidade, este trabalho apresenta uma abordagem semântica para tratar algumas questões originalmente estudadas dentro da Teoria da Complexidade Computacional, especificamente no contexto da Complexidade Estrutural. Procede-se a uma investigação de interesse essencialmente teórico, buscando obter uma formalização para a teoria dos algoritmos aproximativos em dois sentidos. Por um lado, considera-se um algoritmo aproximativo para um problema de otimização genérico como o principal objeto de estudo, estruturando-se matematicamente o conjunto de algoritmos aproximativos para tal problema como uma ordem parcial, no enfoque da Teoria dos Domínios de Scott. Por outro lado, focaliza-se sobre as reduções entre problemas de otimização, consideradas como morfismos numa abordagem dentro da Teoria das Categorias, onde problemas de otimização e problemas aproximáveis são os objetos das novas categorias introduzidas. Dentro de cada abordagem, procura-se identificar aqueles elementos universais, tais como elementos finitos, objetos totais, problemas completos para uma classe, apresentando ainda um sistema que modela a hierarquia de aproximação para um problema de otimização NP-difícil, com base na teoria categorial da forma. Cada uma destas estruturas matemáticas fornecem fundamentação teórica em aspectos que se complementam. A primeira providencia uma estruturação interna para os objetos, caracterizando as classes de problemas em relação às propriedades de aproximabilidade de seus membros, no sentido da Teoria dos Domínios, enquanto que a segunda caracteriza-se por relacionar os objetos entre si, em termos de reduções preservando aproximação entre problemas, num ponto de vista externo, essencialmente categorial.