[pt] A teoria de Bardin, Cooper e Schrieffer (BSC) teve enorme sucesso na explicação das propriedades da maior parte dos materiais supercondutores. Esses materiais, onde a teoria BCS se aplica, são denominados supercondutores convencionais. A observação do aparecimento de supercondutividade não-convencional em diversos materiais reabriu as discussões sobre o fenômeno. Enquanto a transição para fase supercondutora em materiais convencionais envolve apenas a quebra da simetria de calibre, no caso dos materiais não-convencionais, a mesma é caracterizada pela quebra de diversas simetrias adicionais. O mecanismo microscópico da supercondutividade nessas novas classes de materiais ainda é uma questão em aberto. no entanto, muitas propriedades físicas podem ser extraídas apenas de conciderações sobre as simetrias do parâmetro de ordem supercondutor, que está intimamente ligadoá função de onda do par de Cooper. Neste trabalho são analisadas algumas propriedades destes novos supercondutores baseadas em critérios de simetria. Um enfoque especial é dado à classe dos supercondutores não-convencionais onde há uma quebra de simetria de reversão temporal. Para estes materiais são previstas algumas propriedade bem pouco usuais. Quando a estrutura cristalina tiver alta simetria, é possível o surgimento de uma polarização de um spin no condensado. Nestes casos, a magnetização intrínseca pode levar à formação de uma fase espontânea de vórtices. Ocorre também uma forte anisotropia na resposta do supercondutor frente à aplicação de campos magnéticos externos. / [en] The theory of Bardeen, Cooper and Schrieffer (BCS) had great success in explaining most properties of superconducting materials. These materials, where BCS applies, are denominated conventional superconductors. the experimental evidence of unconventional superconductivity in several materials reopened discussions about the phenomenon. While, in conventional materials, the superconducting phase involves only the breaking of gauge symmetry, in the unconventional materials the phase is characterized by several additional broken symmetries. The microscope mechanism of superconductivity in this new classes of materials is still an open question. However, many phisical properties can be understood considering only symmetries of the superconducting order parameter, which is intimately linked to Cooper pair wave function. In this work some properties of these new superconductors are analyzed based symmetry criteria. Special emphasis is given to the class of unconventional superconductors where time- reversal symmetry is broken. For these materials, some unusual properties are predicted. When the crystal structure has high symmetry, the appearence of a spin polarization in the condensate is possible. In these cases, an intrinsic magnetization can lead to the information of a spontanous vortex phase. A strong anisotropic response to an externally applied magnetic field also occurs.

[pt] Algoritmos para a resolução de problemas de programação mista 0-1 gerais baseados em cortes derivados dos métodos lift-and-project, tem se mostrado bastante eficientes na prática. Estes cortes são gerados resolvendo um problema que depende de uma certa normalização. Desde um ponto de vista teórico, o bom comportamento destes algoritmos não foi completamente compreendido, especialmente no que diz respeito à normalização. Neste trabalho consideramos normalizações gerais definidas por um conjunto convexo fechado arbitrário, estendendo assim a análise teórica desenvolvida nos anos noventa. Apresentamos um marco teórico que abarca todas as normalizações previamente estudadas e introduzimos novas normalizações, analisando as propriedades dos cortes associados.Introduzimos também uma nova fórmula de atualização do parâmetro proximal para uma variante dos métodos de feixes. Estes métodos são bem conhecidos pela sua eficiência na resolução de problemas de otimização não diferenciável. Por último, propomos uma metodologia para eliminr soluções redundantes de programas inteiros combinatórios. Nossa proposta baseia-se na utilização da informação de simetria do problema, eliminam a simetria sem prejudicar a solução do problema inteiro. / [en] Algorithms for general 0-1 mixed integer programs can be successfully developed by using lift-and-project methods to generate cuts. Cuts are generated by solving a cut- generation-program that depends on a certain normalization. From a theoretical point of view, the good numerical behavior of these cuts is not completely understood yet, specially, concerning to the normalization chosen. We consider a general normalization given by an arbitrary closed convex set, extending the theory developed in the 90's. We present a theoretical framework covering a wide group of already known normalizations. We also introduce new normalizations and analyze the properties of the associated cuts. In this work, we also propose a new updating rule for the prox parameter of a variant of the proximal bundle methods, making use of all the information available at each iteration. Proximal bundle methods are well known for their efficiency in nondifferentiable optimization. Finally, we introduce a way to eliminate redundant solutions ( due to geometrical symmetries ) of combinatorial integer program. This can be done by using the information about the problem symmetry in order to generate inequalities, which added to the formulation of the problem, eliminate this symmetry without affecting solution of the integer problem. / [es] Los algoritmos para la resolución de problemas de programación mixta 0-1 generales que utilizan cortes derivados de los métodos lift-and-project, se han mostrado bastante eficientes en la práctica. Estos cortes se generan resolviendo un problema que depende de una cierta normalización. Desde el punto de vista teórico, el buen comportamiento de estos algoritmos no fue completamente comprendido, especialmente respecto a la normalización. En este trabajo consideramos normalizaciones generales definidas por un conjunto convexo cerrado arbitrario, extendiendo así el análisis teórico desarrollado en los años noventa. Presentamos un marco teórico que abarca todas las normalizaciones previamente estudiadas e introducimos nuevas normalizaciones, analizando las propiedades de los cortes asociados. Introducimos una nueva fórmula de actualización del parámetro de. Estoss métodos son bien conocidos por su eficiencia en la resolución de problemas de optimización no diferenciable. Por último, proponemos una metodología para eliminar soluciones redundantes de programas enteros combinatorios. Nuestra propuesta se basa en la utilización de la información de simetría del problema, eliminan la simetría sin perjudicar la solución del problema entero.