Optimization Study For The Cross-Section Of A Concrete Gravity Dam: Genetic Algorithm Model And Application

Concrete gravity dams have trapezoidal shape in their cross section and shall guarantee the global stability against acting loads like hydrostatic and uplift pressures through his gravitational actions (self-weight and others). This study focuses on the shape optimization of concrete gravity dams using genetic algorithms. In this case, the dam cross section area is considered as the objective function and the design variables are the geometric parameters of the gravity dam. The optimum cross-section of a concrete gravity dam is achieved by the Genetic Algorithm (GA) through a Matlab routine developed by the author. Sliding, overturning and floating verifications are implemented in the program. In order to assess the efficiency of the proposed methodology for gravity dams optimization, one application is presented adopting the concrete gravity dam of Belo Monte Hydropower Plant (HPP), considering normal loading condition and others assumptions presented.Peer Reviewe

Automatic Test Generation for Space

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs

Feminismo and hacker culture : intersections between politics, gender and technology

Orientador: Leda Maria Caira GitahyTese (doutorado) - Universidade Estadual de Campinas, Instituto de GeociênciasResumo: Esta tese se insere nos Estudos Feministas em Ciência e Tecnologia (EFCT), e concentra-se nas intersecções entre o feminismo e a cultura hacker. O problema de pesquisa parte da observação de um movimento organizado de mulheres que se manifesta em eventos e projetos relacionados à tecnologia da informação (TI), cultura digital e cultura hacker, todos marcados pela majoritária presença masculina. Assim, me propus a responder como essas mulheres estão se organizando, considerando as motivações, os principais temas pautados e sob quais perspectivas debatem sobre tecnologia. O estudo foi delimitado por três iniciativas: o Hackathon Gênero e Cidadania, a Cryptorave e a MariaLab Hackerspace. O Hackathon Gênero e Cidadania foi uma maratona de programação realizada pelo Laboratório Hacker e a Secretaria da Mulher da Câmara Federal, em novembro de 2014. Várias equipes se inscreveram e foram selecionadas para desenvolver protótipos de ferramentas digitais que abordassem a violência de gênero e políticas públicas para mulheres. A Cryptorave, por sua vez, é um evento que tem como objetivo disseminar conhecimentos sobre criptografia, privacidade e vigilância na Internet. Acontece anualmente, desde 2014, na cidade de São Paulo. Por fim, a MariaLab Hackerspace é um coletivo feminista que reúne mulheres para a promoção de projetos em torno da interface entre feminismo e tecnologia. Aborda questões que englobam o espaço e visibilidade da mulher como profissional do setor de TI e promovem cursos voltados para segurança da informação e privacidade. Adoto a observação participante como estratégia metodológica e, dessa forma, me inseri no campo através da participação em eventos, reuniões e projetos até finalmente assumir o papel de militante feminista e integrante da MariaLab. A partir da experiência em campo identifiquei atoras, categorias e conceitos que me permitiram estabelecer a análise e a caracterização desse movimento. O texto parte da emergência da cultura hacker e os sentidos atribuídos a esta expressão, observando seus desdobramentos na defesa de direitos civis e no envolvimento com outros movimentos sociais. Apresento uma síntese das controvérsias em torno da definição do termo hacker, resgatando as principais obras que abordam o tema. Também faz parte dessa contextualização inicial uma descrição do modo como a cultura hacker se articula no Brasil, identificando alguns atores e as conexões que culminaram nas iniciativas que analiso no campo empírico desta pesquisa. A partir daí, o texto se dedica a responder algumas questões de pesquisa, a começar por quem são as feministas a frente dessas iniciativas. Elas fazem parte de uma geração de feministas jovens que têm usado a Internet como plataforma para comunicação e articulação da militância, mas problematizam as vulnerabilidades recorrentes nesse meio e buscam alternativas tecnológicas para viabilizar a atuação de coletivos. Os principais temas que emergem do campo se concentram no debate sobre violência de gênero, apontando para a necessidade de reconhecer e mapear as violações sofridas também em meios digitais. Questionam ainda o modo como princípios de autonomia e horizontalidade têm sido apropriados no discurso e na prática hacker, problematizando a forma como alguns grupos sociais permanecem às margens da participação tecnopolítica. Sugerem ainda, a abordagem interseccional como estratégia para visibilizar marcadores da desigualdade, como raça, classe, identidade sexual, que atravessam o gênero. As descobertas desta pesquisa demonstram que há, ao mesmo tempo, a colaboração e o tensionamento entre os princípios da ética hacker e a prática feminista, construindo aquilo que chamo de "ética hacker feminista". A participação das mulheres nesse movimento traz à tona a problemática em torno de ideias como liberdade, autonomia e horizontalidade, características centrais para os projetos que se enquadram na cultura hacker. Antes de encerrar, enuncio as propostas em torno das "tecnologias feministas", categoria nativa que se conecta com outras propostas de tecnologias e redes autônomas em desenvolvimento na América Latina. Em linhas gerais, o discurso acerca das "redes e tecnologias autônomas" enuncia possibilidades de resistência à vigilância massiva e ao controle das comunicações por Estados e grandes corporações. Sob a abordagem feminista, o conceito também significa resistência a um sistema e a uma infraestrutura de comunicação e informação que se constituiu em um espaço patriarcal, masculinizado, e sob o controle do norte global, estando as mulheres (mais ainda as mulheres do sul global) invisibilizadas, ou até mesmo excluídas desse processoAbstract: This research is located in Feminist Studies in Science and Technology (EFCT) and its focus remains over the intersections between feminism and hacker culture. The research problem begins with participant observation of an organized movement of women in events and projects related to information technology (IT), digital culture and hacker culture, which are all characterized by major male presence. Thus, I set out to answer how these women are organizing themselves, considering their motivations, main themes and technology perspectives. The research was bounded by three initiatives that work at the interface between gender and technology: the Hackathon Gender and Citizenship, Cryptorave and MariaLab Hackerspace. The Hackathon Gender and Citizenship is a programming marathon that was held in November of 2014 by the Hacker Laboratory and by the Women's Secretariat of the Federal Chamber. Several teams have signed up and were selected to develop digital tools to address gender violence and public policy for women. Cryptorave is an event that aims to disseminate knowledge about encryption, privacy and surveillance on the Internet. It happens annually, since 2014, in the city of São Paulo. Finally, MariaLab Hackerspace is a feminist collective that brings together women to promote initiatives on the interface between feminism and technology. It addresses issues that encompass the space and visibility of women as professionals in the information technology sector, and promote courses focused on information security and privacy. The participant observation was the methodological strategy adopted. The first approach to the fieldwork research was made through direct participation in events, meetings and projects. As time did goes by I did became more active within hacker feminist community to the point of assuming the coordination of MariaLab Hackerspace. The fieldwork experience provided me the opportunity not only to describe and analyze the hackfeminist movement but also to contribute to its development from within. The first section of this thesis introduces the emergence of hacker culture and the meanings related to this notion considering its effects over civil rights and other social movements. I present a summary of controversies on hacker's definition highlighting the main references related to the subject. It is still in the first section a brief history of hacker culture in Brazil. Following, the text move to answer research questions such as who are the feminists in the front of these initiatives. They are part of a generation of young feminists who are intensively making use of the Internet for political and private purposes but not without raising questions on vulnerabilities of this environment and, concurrently, looking for technological alternatives that foster collective action. They are mainly concerned with the debate on gender violence pointing to the need to recognize and map such violence in digital media. They are questioning how the principles of autonomy and horizontality have been appropriated in hacker practice and discourse by problematizing the fact that many social groups remain on the margins of technopolitical participation. They also suggest the intersectional approach as a strategy to visualize inequality markers, such as race, class, and gender identity, that cross gender. The research outcome demonstrate there is synergy and tension between the principles of hacker ethics and feminist practice, building what I name "the hacker feminist ethic". The participation of women brings up discussions about freedom, autonomy and horizontality, characteristics central to projects that fall into the hacker culture. To conclude I point out to the propositions of "feminist technologies". That is a native category shaped by the relation between feminist movement and different projects of autonomous networks in Latin America. In general, the discourse of autonomous networks raise possibilities of resistance to vigilantism and communication control. Specifically in the feminist approach the discourse stress the importance of resisting to a communication and information system that is built within a patriarchal and mannish approachDoutoradoPolitica Cientifica e TecnologicaDoutora em Política Científica e TecnológicaCAPE

Adaptive tracking control of Euler-Lagrange systems with bounded controls

"We solve the simultaneous closed?loop identification and tracking?control problems for fully actuated Euler-Lagrange systems under input constraints. We use a nonlinear adaptive controller reminiscent of computed?torque?type controllers in which linear correction terms are saturated in order to comply with the imposed bounds on the control inputs. Adaptation, reminiscent of gradient methods, is used also with saturation. With respect to related literature, our contribution consists in establishing uniform global asymptotic stability. Therefore, our control scheme ensures robustness with respect to bounded perturbations and uniform convergence of the estimation errors for any initial conditions.

Lombalgia e avaliação da incapacidade

Orientador : Prof. Jean Alexandre Corrêa VieiraMonografia (especialização) - Universidade Federal do Paraná, Curso de Especialização em Medicina do TrabalhoInclui referênciasResumo : A lombalgia apresenta etiologia multifatorial, caracteriza-se como um quadro de dor de variada duração e intensidade, podendo levar à incapacidade laborativa temporária ou definitiva. Para avaliação da lombalgia e citação dos pontos incapacitantes foi realizada uma vasta revisão bibliográfica sobre a fisiopatologia, correlacionando-se dados encontrados na literatura vigente com os obtidos nas práticas da avaliação pericial previdenciária de uma unidade previdenciária do Paraná, onde se abordou de forma qualitativa e participativa o ato pericial, angariando dados citados como pontos de correlação da doença e incapacidade. Com objetivo de apontar sinais de patológicos incapacitantes que facilitaria a indicação do afastamento, pois sabe-se que somente a existência de doença ou lesão não significa que o requerente avaliado seja diagnosticado como incapaz para realização de sua atividades. Finalmente, pode-se concluir que a maioria das lombalgias diagnosticadas são auto-resolutivas, e não necessitam de longos períodos de afastamento das atividades laborais. Apesar da forte relação entre dor lombar e incapacidade, constatou-se que apenas um percentual baixo dos avaliados apresentou incapacidade funcional. Portanto, afastamentos de longo prazo ou definitivos decorrem de pós-operatórios, período em que se está consolidando a cirurgia e realizando fisioterapia, e poucos apresentam sequelas incapacitantes, que compreendem alterações motoras e restritivas, gerando afastamento definitivo

Acervo de moda familiar: uma proposta para bolsas femininas

Trabalho de Conclusão de Curso apresentado para obtenção do grau de Bacharel no Curso de Tecnologia em Design de Moda da Universidade do Extremo Sul Catarinense, UNESC.Atualmente percebe-se um alto consumo de produtos de moda entre os indivíduos e consequentemente um rápido descarte dos mesmos, determinando que uma peça é adquirida somente para satisfazer um momento. Em contrapartida, se observa uma crescente procura por itens de maior valor agregado por parte das pessoas saturadas de se parecerem iguais às outras. Elas acabam indo em busca de itens que revelam uma época, personalidade e que possuem valor sentimental. O conceito de upcycling também se expande, busca a transformação de peças com maior significado. Visando reutilizar um acervo de moda familiar não mais utilizado da família Carvalho em novos produtos, a acadêmica partiu da problematização de: Como reutilizar o acervo de roupas familiar para criação de novos produtos de moda por meio do upcycling?, analisado sob a ótica qualitativa, cujo objetivo foi a transformação de peças de roupas em bolsas femininas através do upcycling, reutilizando acervo de moda familiar, preservando a memória e o valor sentimental das peças, por se tratar de uma pesquisa aplicada e quase experimental. A partir da pesquisa de campo, aplicou-se uma entrevista com os proprietários para coletar as informações sobre a memória das peças, bem como as fotografias dos mesmos vestindo-as. Foram selecionadas três peças do patriarca da família e três da matriarca. Em parceira com uma empresa especializada transformou-se os tecidos das peças em bolsas profissionais, todavia como algumas não corresponderam às expectativas, duas bolsas foram refeitas e novos acessórios foram inseridos na proposta visando um maior aproveitamento dos tecidos. Considera-se que a proposta alcançou seu objetivo que foi reaproveitar acervo de roupas familiar em novos objetos, preservando sua memória afetiva e dando-lhe um novo significado na forma de usar

Avaliação da participação da cafeína em sistema de duas faces aquosas convencional(SDFA) e composto por líquido iônico (LI_SDFA)

Orientadora : Profª Drª Fernanda de CastilhosCo-orientador : Prof. Dr. Marcos R. MafraTese (doutorado) - Universidade Federal do Paraná, Setor de Tecnologia, Programa de Pós-Graduação em Engenharia de Alimentos. Defesa: Curitiba, 29/03/2016Inclui referências : fls. 102-114Resumo: A extração de compostos de origem biológica demanda técnicas que ofereçam elevados níveis de pureza e que possibilitem o uso da molécula de interesse nas indústrias farmacêutica, química e de alimentos. Os métodos de extração aplicados usualmente apresentam possibilidades de presença de resíduos orgânicos, altos custo e consumo energético, além de problemas de cunho ambiental. Uma alternativa para separação de biocompostos é a extração em Sistemas de Duas Fases Aquosas (SDFA), fundamentada na formação de duas fases aquosas imiscíveis (ou parcialmente miscíveis) entre si, nas quais as moléculas de interesse se particionam de acordo com suas afinidades pelas fases do sistema. Assim, este trabalho teve por objetivo obter dados de equilíbrio líquidolíquido (ELL) e avaliar a partição da cafeína em SDFA convencionais (utilizando polietileno glicol e sal inorgânico) e compostos por líquido iônico e sal inorgânico (LISDFA), de forma a avaliar o emprego de líquido iônico (LI) como substituinte do polímero em SDFA. Para tanto, dados de equilíbrio líquido-líquido (ELL) dos SDFA e LI-SDFA investigados (com e sem adição de cafeína) foram obtidos nas temperaturas estudadas, consistindo em curvas binodais, linhas de amarração (LA), comprimento das linhas de amarração (CLA) e inclinação das linhas de amarração (ILA), de forma que o coeficiente de partição ( ) da cafeína também pôde ser relacionado com esses parâmetros termodinâmicos. Foi investigada a influência de vários parâmetros dos SDFA e LI-SDFA no coeficiente de partição como temperatura (T), massa molar (MM) do polímero, natureza do sal inorgânico. A consistência termodinâmica dos dados de ELL obtidos foi verificada através das correlações de Othmer-Tobias (1942) e Hand (1930). Independente do sistema, a cafeína apresentou maior afinidade pelas fases orgânicas (ricas em PEG ou BMI.BF4) e o coeficiente de partição mostrou ser inversamente proporcional à MM do polímero; diretamente proporcional à temperatura do sistema e com tendência a seguir a série de Hofmeister em relação ao sal inorgânico . Foi observado também que a adição de cafeína não exerceu grande influência sobre os dados de ELL dos sistemas investigados.Abstract: This study aimed to obtain liquid-liquid equilibrium (LLE) data and evaluate caffeine partitioning in conventional ATPS (using polyethylene glycol and inorganic salt) and composed by ionic liquid (LI) and inorganic salt (IL-ATPS) in order to evaluate the IL as polymer substituent in ATPS. Biological compounds extraction demands techniques that provide high levels of purity and to enable the use of the molecule of interest in the pharmaceutical, chemical and food industries. The extraction methods usually applied present possibilities of presence of organic residues, high cost and energy consumption, and environmental nature problems. An alternative to biocompounds separation is the use of extraction in Aqueous Two Phase Systems (ATPS), based on the formation of two immiscible (or partially miscible) aqueous phases, in which the molecules of interest are partitioned accordingly to their affinities by the phases of the system. Therefore, Liquid-Liquid Equilibrium data (LLE) of both ATPS and LI-ATPS investigated (with and without caffeine) were obtained at studied temperatures, consisting of binodal curves, tie-lines (TL), tie-line length (TLL) and slope of the tieline (STL), so that the caffeine partition coefficient (k) also could be related to these thermodynamic parameters. It was investigated the influence of several parameters of ATPS and IL-ATPS on partition coefficient as temperature, molar weight (MW) of the polymer, source of the inorganic salt. Othmer-Tobias (1942) and Hand (1930) equations were applied for verification of LLE data thermodynamics consistence. Regardless of the system, caffeine presented greater affinity for organic phases (rich in PEG or BMI.BF4) and the partition coefficient showed to be inversely proportional to the polymer MW; increase with the system temperature and tendency to follow the Hofmeister Series in relation to the inorganic salt . Also, it was observed that the addition of caffeine did not exert great influence on LLE data of the investigated systems

Are Ascaris lumbricoides and Ascaris suum a single species?

Since the original description and naming of Ascaris lumbricoides from humans by Linnaeus in 1758 and later of Ascaris suum from pigs by Goeze 1782, these species have been considered to be valid. Four hypotheses relative to the conspecificity or lack thereof (and thus origin of these species) are possible: 1) Ascaris lumbricoides (usually infecting humans) and Ascaris suum (recorded mostly from pigs) are both valid species, with the two species originating via a speciation event from a common ancestor sometime before the domestication of pigs by humans, or 2) Ascaris lumbricoides in humans is derived directly from the species A. suum found in pigs with A. suum then existing as a persistent ancestor after formation of A. lumbricoides, or 3) Ascaris suum is derived directly from A. lumbricoides with the persistent ancestor being A. lumbricoides and A. suum being the newly derived species, and finally, 4) Ascaris lumbricoides and A. suum are the same species, this hypothesis being supported by studies showing both low morphological and low genetic divergence at several genes. We present and discuss paleoparasitological and genetic evidence that complement new data to evaluate the origin and evolution of Ascaris spp. in humans and pigs, and the uniqueness of the species in both hosts. Finally, we conclude that Ascaris lumbricoides and A. suum are a single species and that the name A. lumbricoides Linnaeus 1758 has taxonomic priority; therefore A. suum Goeze 1782 should be considered a synonym of A. lumbricoides