Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design

Incorrect implementations of network protocol message specifications affect the stability, security, and cost of network system development. Most implementation defects fall into one of three categories of well defined message constraints. However, the general process of constructing network protocol stacks and systems does not capture these categorical con- straints. We introduce a systems programming language with new abstractions that capture these constraints. Safe and efficient implementations of standard message handling operations are synthesized by our compiler, and whole-program analysis is used to ensure constraints are never violated. We present language examples using the OpenFlow protocol

Optimization of cooling channels in plastic injection molding process: conventional straight-drilled cooling system vs conformal cooling system

Dissertação de mestrado integrado em Polymer EngineeringThe optimization of the cooling system of a mold from the company COPEFI was carried out to improve the warpage of the parts. First, an optimization of the process parameters was performed using the mold in production. A comparison between simulated and experimental work was made with the intend to validate the simulation method. Afterwards, a new design, using conventional straight-drilled channels, was performed, and studied utilizing simulation software (Moldex3D). Finally, a new design, using conformal cooling channels, was performed, and evaluated resorting to simulation software. To improve warpage, the process parameters chosen were: A – Mold Temperature, B – Injection Temperature, C – Injection Speed, D- Holding Pressure Time and E – Cooling Time. Regarding to the design optimization, the parameters chosen were: A – Diameter, B – Distance between cooling channels, C – Distance between cooling channels and the part, D – Mold material and E – Number of circuits. In both cases, Taguchi’s orthogonal array was used as the Design of experiments (DOE) tool. An orthogonal array of L16 (215) was performed for all the simulated models and an orthogonal array of L8 (27) was used for the experimental work. Analysis of Variance was performed to find the contribution of the processing parameters on the improvement of warpage. Globally it was found a strong contribution of cooling time and injection temperature on process parameters optimization. An increase of cooling time seemed to decrease warpage and with a decrease of injection temperature should decrease warpage as well. In the case of conventional optimization, mold material was the factor with more contribution to warpage. Comparing the three designs, conventional straight-drilled channels design had the best results to improve warpage with an improvement up to 14%.A otimização do sistema de arrefecimento de um molde da empresa COPEFI foi realizada de forma a melhorar o empeno das peças. Em primeiro lugar foi realizada uma otimização dos parâmetros de processo, utilizando o molde em produção. Procedeu-se à comparação entre o trabalho de simulação e o experimental, com o intuito de validar o método de simulação. Posteriormente, um novo projeto, utilizando canais de arrefecimento convencionais, foi realizado e estudado com recurso ao software de simulação (Moldex3D). Finalmente, um novo projeto, utilizando canais de arrefecimento conformais, foi realizado e estudado, recorrendo ao software de simulação. Para estudar uma possível melhoria do empeno, os parâmetros de processo escolhidos foram: A – Temperatura do Molde, B – Temperatura de Injeção, C – Velocidade de Injeção, D – Tempo de pós-pressão e E – Tempo de arrefecimento. Em relação Á otimização do design, os parâmetros escolhidos foram: A – Diâmetro, B – Distância entre os canais de arrefecimento, C – Distância entre os canais de arrefecimento e a peça, D – Material do molde e E – Número de circuitos. Em ambos os casos, a matriz ortogonal de Taguchi foi utilizada como ferramenta de design de experiências (DOE). Uma matriz ortogonal de L16 (215) foi realizada para todos os modelos simulados e uma matriz ortogonal de L8 (27) foi utilizada para o trabalho experimental. A análise de variância foi realizada para encontrar a contribuição dos parâmetros de processo na melhoria do empeno. Globalmente, foi encontrada uma forte contribuição do tempo de arrefecimento e da temperatura de injeção na otimização dos parâmetros de processo. Um aumento no tempo de arrefecimento diminuiu o empeno e com uma diminuição da temperatura de injeção também diminuiu o empeno. No caso da otimização convencional, o material do molde foi o fator que mais contribuiu para o empeno. Comparando os três designs, o design com canais de arrefecimento convencionais teve os melhores resultados na melhoria do empeno com uma otimização de até 14%

IMPOSTO SOBRE TRABALHO E SEU IMPACTO NOS MERCADOS DE TRABALHO FORMAL E INFORMAL

This paper aims to analyze the effects of payroll taxes on the determination of the degree of informality and the main indicators of the Brazilian labor market, considering both aggregate and disaggregate indicators by qualification level. For that purpose, a two- sector model is developed, where firms of both sectors use qualified and non-qualified workers as inputs for production. The demand for labor is determined by workers' productivity while the supply side is represented by wage curves, which are specific to each sector and qualification group. The results show that reducing payroll taxes has a significant effect over the formality degree and increases both employment level and earnings.

Aplicação do modelo SWAN na caracterização da agitação marítima: Praia da Galé

No âmbito do projeto EROS - Erosão dos Litorais Rochosos – Diferenças Na Proteção Conferida Pelas Praias Arenosas e Pelas Formas Litorais, projeto PTDC/CTE-GIX/111230/2009 financiado pela Fundação para a Ciência e Tecnologia, efetuou-se a caraterização da agitação marítima na zona da praia da Galé, recorrendo ao modelo numérico SWAN (Booij et al. 1999). Esta caraterização é efetuada em duas partes: 1 – Aplicação e validação do modelo SWAN para as condições de agitação marítima que se verificaram no período 6 a 12 de Março 2012 que corresponde ao período em que se efetuaram medições in situ na praia da Galé; 2 – Aplicação do modelo SWAN para as condições de agitação marítima no período de 1998 a 2007 o que permite a caracterização do regime observado e médio da zona em estudo. O presente relatório descreve este trabalho. Assim depois desta introdução efectua-se no capítulo 2, a descrição do modelo SWAN, no capítulo 3 a aplicação e validação do modelo SWAN e a caracterização dos regimes observado e médio. O relatório termina com o capítulo de conclusões

DESENVOLVIMENTO DE UM FRAMEWORK DE ROBÓTICA EVOLUTIVA PARA V-REP

A robótica evolutiva propõe a síntese de robôs através de um processo de evolução artificial (Nolfi e Floreano, 2002). Desta maneira, um robô (ou um conjunto de robôs) é situado em um ambiente físico e desenvolve de forma autônoma suas habilidades e/ou características em próxima de acordo com suas interações com o ambiente. Elemento central da robótica evolutiva, a evolução artificial ocorre seguindo métodos da computação evolutiva (Bäck, Fogel e Michalewicz, 2000). O princípio básico é usar as características do processo da evolução natural para solução de problemas. Assim uma população de indivíduos codifica possíveis soluções para o problema, sendo repetidamente avaliados e selecionados, gerando uma nova população mediante variações que podem conduzir gradativamente a soluções melhores.Um dos passos importantes para simulações de robótica evolutiva é o desenvolvimento e a execução de um algoritmo evolutivo, que segue quatro passos gerais: avaliação, seleção, reprodução e variação. Apesar de haverem importantes etapas particulares de cada experimento projetado, existem funcionalidades e métodos que são implementados de maneira semelhante. Assim é possível montá-los de maneira genérica, afim de permitir a reutilização dos mesmos em grande parte dos experimentos evolutivos.A construção de um framework para tais fins permite ao usuário interessado em usar algoritmos evolutivos para solucionar seus problemas a ter uma maior produtividade focando na concepção do experimento e nas escolhas dentre opções disponíveis

Una mirada decolonial a los museos de ciencia: Propuesta de intervención online

No presente trabalho, foram revisados conceitos que circundam a temática do epistemicídio: indigência cultural, inversão epistemológica e saberes diaspóricos. Consecutivamente foi analisada, sob a luz dos principais tópicos da Teoria Crítica da Raça (TCR), a exposição que ocorreu na Casa Oswaldo Cruz, no ano de 2013 e hoje disponível em museu virtual, nomeada "O Corpo na Arte Africana". Além da temática racial, a exposição faz potentes links com assuntos relacionados a ciências da natureza, mais especificamente o ensino de química e biologia, evidenciados por meio de um itinerário formativo que pretende explorar as obras da exposição virtual. Percursos formativos são pensados sempre partindo dos conteúdos a serem desenvolvidos, estabelecendo relação entre as aulas e os objetos de conhecimento. No caso do plano elaborado, pensado a partir das potências de uma visita online e guiada a um museu, os conteúdos específicos possibilitam que o itinerário seja desbravado com os alunos, visando recolocar a pessoa negra, sobretudo a africana, no lugar de detentora de um saber anterior, ancestral e diferente daquele que nos parece ser único: o eurocêntrico. Também objetivasse criar ponte para conteúdos que fazem referência ao corpo negro, símbolo em apagamento na construção da ciência contemporânea. Por meio da TCR as sessões da exposição dão sentido aos deslocamentos e a trajetória de síntese do artigo pretende, sobretudo, ser espaço aberto para outras produções. Palavras - chave: Museu; Epistemicídio; Etnociência; TCR.In this work, concepts that surround the theme of epistemicide were reviewed: cultural indigence, epistemological inversion and diasporic knowledge. The exhibition that took place at Casa Oswaldo Cruz in 2013 and available today in a virtual museum, under the light of the main topics of the Critical Theory of Race (CRT), was then analyzed and named "The Body in African Art". In addition to the racial theme, the exhibition makes powerful links with subjects related to the natural sciences, more specifically the teaching of chemistry and biology, evidenced through an itinerary training that intends to explore the works in the virtual exhibition. Formative pathways are always designed based on the contents to be developed, establishing a relationship between classes and objects of knowledge. In the case of the elaborated plan, designed based on the powers of an online and guided visit to a museum, the specific contents allow the itinerary to be explored with the students, aiming to put the black person, especially the African, in the place of owner of a knowledge previous, ancestral and different from what seems to be unique: the Eurocentric. It also aimed to create a bridge for contents that refers to the black body, a symbol in the process of erasing in the construction of contemporary science. Through the TCR, the exhibition sessions give meaning to the displacements and the trajectory of the article's synthesis intends, above all, to be an open space for other productions. Keywords: museum; epistemicide; ethnoscience; TCR.En este trabajo se revisaron conceptos que rodean el tema del epistemicidio: indigencia cultural, inversión epistemológica y conocimiento diaspórico. La exposición que tuvo lugar en la Casa Oswaldo Cruz en 2013 y disponible hoy en un museo virtual a la luz de los principales temas de la Teoría Crítica de la Raza (CRT), fue luego analizada y denominada "O Corpo na Arte Africana". Además de la temática racial, la muestra establece fuertes vínculos con materias relacionadas con las ciencias naturales, más específicamente la enseñanza de la química y la biología, evidenciada a través de un itinerario formativo que pretende explorar las obras de la exposición virtual. Los caminos formativos siempre se diseñan en base a los contenidos a desarrollar, estableciendo una relación entre clases y objetos de conocimiento. En el caso del plan elaborado, diseñado en base a las facultades de una visita online y guiada a un museo, los contenidos específicos permiten explorar el itinerario con los estudiantes, con el objetivo de reemplazar a la persona negra, especialmente africana, en el lugar. de poseedor de un saber previo, ancestral y diferente de lo que nos parece único: el eurocéntrico. También pretendía crear un puente de contenidos que remitan al cuerpo negro, símbolo en proceso de borrado en la construcción de la ciencia contemporánea. A través del TCR, las sesiones expositivas dan sentido a los desplazamientos y la trayectoria de la síntesis del artículo pretende, sobre todo, ser un espacio abierto para otras producciones. Palabras clave: museo; epistemicidio; etnociencia; TCR

Desenvolvimento de um Framework de Robótica Evolutiva para V-REP: continuação e Paralelismo

A robótica evolutiva propõe a síntese de robôs através de um processo de evolução artificial (Nolfi e Floreano, 2002). Desta maneira, um robô (ou um conjunto de robôs) é situado em um ambiente físico e desenvolve de forma autônoma suas habilidades e/ou características em próxima de acordo com suas interações com o ambiente. Elemento central da robótica evolutiva, a evolução artificial ocorre seguindo métodos da computação evolutiva (Bäck, Fogel e Michalewicz, 2000). O princípio básico é usar as características do processo da evolução natural para solução de problemas. Assim uma população de indivíduos codifica possíveis soluções para o problema, sendo repetidamente avaliados e selecionados, gerando uma nova população mediante variações que podem conduzir gradativamente a soluções melhores.Além de possíveis aplicações tecnológicas, a robótica evolutiva é reconhecida como uma ferramenta científica para estudar cognição e comportamento social (Mitri et al., 2013). Muitas são as dificuldades no estudo do comportamento e da evolução de um indivíduo, e um dos métodos de estudos envolve reconstituir a situação de interesse em um experimento computacional permitindo acompanhar todo o processo. Esta experimentação envolve em muitos casos a realização da simulação com robôs em ambientes virtuais controlados, visto que assim teremos total controle sobre as mudanças ocorridas.Em um plano de trabalho anterior foi proposta a criação de um framework para robótica evolutiva, que operasse em conjunto com um simulador virtual, V-Rep da Coppelia Robotics. Porem há outros desafios além de apenas facilitar o desenvolvimento de experimentos através da reutilização das funcionalidades e métodos genéricos, como a aceleração do processo de simulação com a utilização de múltiplos computadores por exemplo. Para atacar o problema citado acima, esse projeto desenvolveu uma estratégia de paralelismo, afim de acelerar o processo de evolução do framework

Vers une nouvelle approche du calcul scientifique en C++

Des exploitations judicieuses de facilités « génériques » de Standard C++ permettent de surpasser les performances atteintes par les implémentations courantes de bibliothèques FORTRAN. Nous présentons également quelques applications des idées novatrices de la STL dans le cadre de l'optimisation de code. Nous en déduisons une application en BLAS