From the Farkas Lemma to the Hahn–Banach Theorem

This paper provides new versions of the Farkas lemma characterizing those inequalities of the form f(x) ≥ 0 which are consequences of a composite convex inequality (S ◦ g)(x) ≤ 0 on a closed convex subset of a given locally convex topological vector space X, where f is a proper lower semicontinuous convex function defined on X, S is an extended sublinear function, and g is a vector-valued S-convex function. In parallel, associated versions of a stable Farkas lemma, considering arbitrary linear perturbations of f, are also given. These new versions of the Farkas lemma, and their corresponding stable forms, are established under the weakest constraint qualification conditions (the so-called closedness conditions), and they are actually equivalent to each other, as well as equivalent to an extended version of the so-called Hahn–Banach–Lagrange theorem, and its stable version, correspondingly. It is shown that any of them implies analytic and algebraic versions of the Hahn–Banach theorem and the Mazur–Orlicz theorem for extended sublinear functions.

Turismo bélico en el Vinalopó. Los lugares de la guerra como recurso potencial

La recuperación del patrimonio vinculado a la guerra civil española es un tema controvertido que gana relevancia desde distintos enfoques. Uno de ellos es su potencial simbólico y de refuerzo de la identidad, en la que basar nuevas propuestas turísticas para la diversificación económica. Apenas es conocida la importancia de este periodo de la historia en el Vinalopó y, sin embargo, éste posee un claro valor para la diferenciación de sus municipios con fines educativos, recreativos y turísticos.

Em busca da originalidade do patrimônio cultural na cidade-espetáculo: o caso da Casa Boehm em Joinville/SC

Este trabalho tem o intuito de discutir como um imóvel tombado na cidade de Joinville/SC vem respondendo ao mundo das influências contemporâneas da espetacularização. A Casa Boehm, hoje uma loja de calçados no comércio, foi construída em 1927 e tombada em 2001, por meio do Processo de Tombamento PFCC n. 627/003, de 10 de abril de 2000, homologado pelo Decreto n. 3.461/2001, do Governador do Estado, na época, Esperidião Amin. O imóvel vem sofrendo alterações físicas, que afetam princípios de unidade, volumetria, padrões de estilo arquitetônico, o que faz com surjam debates a respeito dos seus valores estéticos. A depender do gosto dos locatários, especialmente no que se referee às cores externas, sem autorização, vislumbra-se a partir da opinião dos participantes do Conselho de Patrimônio da cidade - COMPHAAN, a espetacularização que este bem vem suportando em nome de uma sociedade de consumo, que apenas visa o lucro, apesar de inúmeros debates teóricos acerca da preservação. Desta forma, quando se pensa em restauração de um patrimônio cultural edificado, a preocupação imanente é com a sua imagem subjetiva/simbólica, e ainda, não menos importante, no que se refere às cores utilizadas nas pinturas das edificações. A metodologia utilizada é qualitativa, por meio de pesquisa bibliográfica, documentais no Arquivo Histórico de Joinville – AHJ e na Fundação Cultural de Joinville – FCJ e, etnográfica. A etnografia, com nuances interdisciplinares, foi realizada nestes mesmos Arquivos da cidade de Joinville, nos arredores do bem em questão e analisando algumas impressões obtidas nas reuniões do Conselho de Patrimônio da cidade – COMPHAAN. Este estudo é parte integrante da pesquisa para doutoramento em Ciências Humanas, na Universidade Federal de Santa Catarina – UFSC. Parte-se da hipótese inicial de que as discussões que envolvem as cores em bens tombados têm se relacionado com a autenticidade e a integridade dos conjuntos nos centros históricos. Porém, vai além, já que o espetáculo buscado pelos gestores públicos, com intento de valorizar suas cidades, acaba por homogeneizar esses territórios em torno de uma ideia de patrimônio que tem sido questionada por alguns teóricos.

Efficient tool path computation using multi-core GPUs

Tool path generation is one of the most complex problems in Computer Aided Manufacturing. Although some efficient strategies have been developed, most of them are only useful for standard machining. However, the algorithms used for tool path computation demand a higher computation performance, which makes the implementation on many existing systems very slow or even impractical. Hardware acceleration is an incremental solution that can be cleanly added to these systems while keeping everything else intact. It is completely transparent to the user. The cost is much lower and the development time is much shorter than replacing the computers by faster ones. This paper presents an optimisation that uses a specific graphic hardware approach using the power of multi-core Graphic Processing Units (GPUs) in order to improve the tool path computation. This improvement is applied on a highly accurate and robust tool path generation algorithm. The paper presents, as a case of study, a fully implemented algorithm used for turning lathe machining of shoe lasts. A comparative study will show the gain achieved in terms of total computing time. The execution time is almost two orders of magnitude faster than modern PCs.