Incorporating the GEMV2 geometry-based vehicle-to-vehicle radio propagation channe model into de artery simulation framework for vanet applications

Orientador: Prof. Dr. Evelio Martin Garcia FernándezCoorientador: Prof. Dr. Christian FacchiDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Engenharia Elétrica e e em Engenharia Automotiva Internacional, Faculdade de Engenharia Elétrica e Ciências da Computação, Technische Hochschule Ingolstadt. Defesa : Curitiba, 27/08/2018Inclui referências: p.70-73Resumo: A comunicação veicular tem como principal objetivo a otimização do tráfego e a diminuição de acidentes nas estradas. Como trata-se de um item de segurança, é necessário que o sistema seja massivamente testado em diversas situações possíveis antes de ser colocado em prática, o que tornaria a aplicação inviável devido ao elevado custo e ao tempo. Através de simuladores computacionais é possível realizar essa operação mais eficientemente assim como confibializar o sistema como um todo. Para isso é necessário que o simulador veicular possua uma precisão mais próxima da realidade possível com uma alta escabilidade, entretanto, com um processo computacional executável. Nesse contexto, essa dissertação tem o objetivo de tornar o ambiente virtual mais realístico através da implantação de um modelo de rádio propagação propício para o ambiente veicular, o qual diferencia dos modelos tradicionais devido à alta mobilidade dos comunicantes (carros) em alta velocidade e o impacto dos mesmos na comunicação. Como simulador, foi utilizado o framework de simulação Artery, o qual é uma extensão melhorada do VEINS uma vez que agrega as funcionalidades de comunicação europeia VANET no mesmo e aumenta sua escabilidade. Além disso o Artery faz uso do Vanetza, o qual é responsável pela implementação da pilha de protocolo do ETSI ITS-G5. Tanto o Artery e Vanetza são desenvolvidos sob a plataforma Omnet++ e possuem licença de código aberto. O GEMV² é um modelo de rádio propagação determinístico e estocástico, o qual considera o impacto dos demais veículos sobre o canal de comunicação veicular. Além disso, apresenta um modelo eficiente para realísticas simulações em larga escala com milhares de veículos comunicantes em vários ambientes veiculares (urbano, rural, rodovia). Além disso apresenta um ótimo tradeoff entre escabilidade e precisão, tendo seu modelo validado através de medições de campo. Após a implementação do modelo GEMV² na estrutura de simulação Artery constatou-se uma alta sensibilidade do mesmo para variações no posicionamento da antena e do carro por si só, e assim como previsto, uma melhora aproximadamente de 82,3 dB na potência recebida se comparado com modelos tradicionais de rádio propagação usados até então no Artery, justificados pelas considerações geométricas que o modelo aplica. Palavras-chave: VANET, Artery, GEMV², modelo de rádio propagação veicular, framework de simulação. Omnet. MATLAB.Abstract: The main goal of vehicular communication is the traffic optimization and the reduction of accidents on the roads. Since it is a safety item, it is recommended that the system is massively tested in several possible situations before being put into practice, which would become the application infeasible due to the high cost and time. Through computer simulations, it is possible to perform these operations more efficiently as well as getting the whole system more trustworthy. That said, it is necessary that the network and traffic based vehicular simulator has an accuracy as close to reality as possible and with a high scalability, however, with an executable computational process. As for the simulator, the Artery simulation framework was used, which is based on VEINS and enhances this by adding the European VANET communication functionality and by increasing its scalability. In addition, Artery makes use of Vanetza, which is an implementation of the ETSI ITS-G5 protocol stack. Both Artery and Vanetza were developed under the Omnet ++ platform as open source. In this context, this dissertation aims to become the virtual environment more realistic by implementing a radio propagation model that fits the vehicular environment, which differentiates from the traditional models due to the high mobility of the communicators (vehicles) at high speed and their impact over the communication channel. The GEMV² is a deterministic and stochastic radio propagation model, which considers the impact of the other vehicles over the vehicular communication channel. In addition, it presents an efficient model for realistic large-scale simulations with thousands of communicating vehicles in various vehicular environments (urban, rural, highway). Furthermore, it can achieve a good scalability/accuracy tradeoff, having its model validated through extensive field measurements. After the implementation of the GEMV² model into the Artery simulation framework was noticed that the model has a high sensitive in relation to the antenna position and the vehicle's positioning itself. Moreover, as expected, an improvement of approximately 82.3 dB at received power emerged if compared to the traditional radio propagation models used by Artery till then, justified by the geometric considerations that the model applies. Keywords: VANET, Artery, GEMV², vehicular radio propagation model, simulation framework. Omnet. MATLAB

Handling Handles: Nonplanar Integrability in N=4\mathcal{N}=4 Supersymmetric Yang-Mills Theory

We propose an integrability setup for the computation of correlation functions of gauge-invariant operators in $\mathcal{N}=4$ supersymmetric Yang-Mills theory at higher orders in the large $N_{\text{c}}$ genus expansion and at any order in the 't Hooft coupling $g_{\text{YM}}^2N_{\text{c}}$. In this multi-step proposal, one polygonizes the string worldsheet in all possible ways, hexagonalizes all resulting polygons, and sprinkles mirror particles over all hexagon junctions to obtain the full correlator. We test our integrability-based conjecture against a non-planar four-point correlator of large half-BPS operators at one and two loops.Comment: 6 pages, 4 figures; v2: updated references, typos, minor improvements (published version

Os guarani transfronteiriços: a realidade de quem existe sem existir

I Congresso Internacional América Latina e Interculturalidade: América Latina e Caribe: cenários linguístico-culturais contemporâneos, 07, 08 e 09 de novembro de 2013 - UNILAO trabalho discute a situação dos Guarani transfronteiriços, principalmente daqueles que vivem no estado brasileiro de Mato Grosso do Sul, na fronteira entre o Brasil e o Paraguai, no diz respeito a situação de indocumentação e das consequentes dificuldades enfrentadas por esses indígenas para o acesso às diversas políticas públicas. Observa­se que os Kaiowá e os Guarani Ñandeva frequentemente têm sua nacionalidade questionada pela população envolvente e pelos governos nacionais do Brasil e do Paraguai. No Brasil, os militantes ruralistas propagam o discurso de que os indígenas falantes da Língua Guarani são na verdade paraguaios, o que, em sua visão, deslegitimaria as reivindicações por demarcações de terras de ocupação tradicional indígena. Com a negação de uma identidade nacional tenta­se suprimir um direito constitucional embasado em critérios ligados a identidades étnicas. A negação da identidade nacional desdobra­se na negação de uma série de outros direitos garantidos pela Constituição Federal Brasileira de 1988. Observa­se que a língua indígena aí é utilizada como instrumento de negação de uma identidade nacional brasileira, a qual seria ratificada pelo domínio da língua portuguesa numa tentativa de reprodução do mito do monolinguismo brasileiro. Em 2010, uma iniciativa que envolveu os Ministérios Públicos e algumas Universidades da Argentina, do Brasil e do Paraguai propôs ao governo brasileiro via os mecanismos de integração do MERCOSUL a criação de uma nacionalidade cumulativa para os membros dos grupos indígenas transfronteiriços, proposta essa que não foi levada a diante pelo governo da presidente Dilma Rousseff. Dessa forma, mais um dos princípios da Convenção no 169 da OIT está sendo ignorado, qual seja: o que prevê que os governos devem favorecer os contatos entre os povos que vivem nas regiões de fronteira

On the subspace learning for network attack detection

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2019.O custo com todos os tipos de ciberataques tem crescido nas organizações. A casa branca do goveno norte americano estima que atividades cibernéticas maliciosas custaram em 2016 um valor entre US$57 bilhões e US$109 bilhões para a economia norte americana. Recentemente, é possível observar um crescimento no número de ataques de negação de serviço, botnets, invasões e ransomware. A Accenture argumenta que 89% dos entrevistados em uma pesquisa acreditam que tecnologias como inteligência artificial, aprendizagem de máquina e análise baseada em comportamentos, são essenciais para a segurança das organizações. É possível adotar abordagens semisupervisionada e não-supervisionadas para implementar análises baseadas em comportamentos, que podem ser aplicadas na detecção de anomalias em tráfego de rede, sem a ncessidade de dados de ataques para treinamento. Esquemas de processamento de sinais têm sido aplicados na detecção de tráfegos maliciosos em redes de computadores, através de abordagens não-supervisionadas que mostram ganhos na detecção de ataques de rede e na detecção e anomalias. A detecção de anomalias pode ser desafiadora em cenários de dados desbalanceados, que são casos com raras ocorrências de anomalias em comparação com o número de eventos normais. O desbalanceamento entre classes pode comprometer o desempenho de algoritmos traficionais de classificação, através de um viés para a classe predominante, motivando o desenvolvimento de algoritmos para detecção de anomalias em dados desbalanceados. Alguns algoritmos amplamente utilizados na detecção de anomalias assumem que observações legítimas seguem uma distribuição Gaussiana. Entretanto, esta suposição pode não ser observada na análise de tráfego de rede, que tem suas variáveis usualmente caracterizadas por distribuições assimétricas ou de cauda pesada. Desta forma, algoritmos de detecção de anomalias têm atraído pesquisas para se tornarem mais discriminativos em distribuições assimétricas, como também para se tornarem mais robustos à corrupção e capazes de lidar com problemas causados pelo desbalanceamento de dados. Como uma primeira contribuição, foi proposta a Autosimilaridade (Eigensimilarity em inglês), que é uma abordagem baseada em conceitos de processamento de sinais com o objetivo de detectar tráfego malicioso em redes de computadores. Foi avaliada a acurácia e o desempenho da abordagem proposta através de cenários simulados e dos dados do DARPA 1998. Os experimentos mostram que Autosimilaridade detecta os ataques synflood, fraggle e varredura de portas com precisão, com detalhes e de uma forma automática e cega, i.e. em uma abordagem não-supervisionada. Considerando que a assimetria de distribuições de dados podem melhorar a detecção de anomalias em dados desbalanceados e assimétricos, como no caso de tráfego de rede, foi proposta a Análise Robusta de Componentes Principais baseada em Momentos (ARCP-m), que é uma abordagem baseada em distâncias entre observações contaminadas e momentos calculados a partir subespaços robustos aprendidos através da Análise Robusta de Componentes Principais (ARCP), com o objetivo de detectar anomalias em dados assimétricos e em tráfego de rede. Foi avaliada a acurácia do ARCP-m para detecção de anomalias em dados simulados, com distribuições assimétricas e de cauda pesada, como também para os dados do CTU-13. Os experimentos comparam nossa proposta com algoritmos amplamente utilizados para detecção de anomalias e mostra que a distância entre estimativas robustas e observações contaminadas pode melhorar a detecção de anomalias em dados assimétricos e a detecção de ataques de rede. Adicionalmente, foi proposta uma arquitetura e abordagem para avaliar uma prova de conceito da Autosimilaridade para a detecção de comportamentos maliciosos em aplicações móveis corporativas. Neste sentido, foram propostos cenários, variáveis e abordagem para a análise de ameaças, como também foi avaliado o tempo de processamento necessário para a execução do Autosimilaridade em dispositivos móveis.The cost of all types of cyberattacks is increasing for global organizations. The Whitehouse of the U.S. government estimates that malicious cyber activity cost the U.S. economy between US$57 billion and US$109 billion in 2016. Recently, it is possible to observe an increasing in numbers of Denial of Service (DoS), botnets, malicious insider and ransomware attacks. Accenture consulting argues that 89% of survey respondents believe breakthrough technologies, like artificial intelligence, machine learning and user behavior analytics, are essential for securing their organizations. To face adversarial models, novel network attacks and counter measures of attackers to avoid detection, it is possible to adopt unsupervised or semi-supervised approaches for network anomaly detection, by means of behavioral analysis, where known anomalies are not necessaries for training models. Signal processing schemes have been applied to detect malicious traffic in computer networks through unsupervised approaches, showing advances in network traffic analysis, in network attack detection, and in network intrusion detection systems. Anomalies can be hard to identify and separate from normal data due to the rare occurrences of anomalies in comparison to normal events. The imbalanced data can compromise the performance of most standard learning algorithms, creating bias or unfair weight to learn from the majority class and reducing detection capacity of anomalies that are characterized by the minority class. Therefore, anomaly detection algorithms have to be highly discriminating, robust to corruption and able to deal with the imbalanced data problem. Some widely adopted algorithms for anomaly detection assume a Gaussian distributed data for legitimate observations, however this assumption may not be observed in network traffic, which is usually characterized by skewed and heavy-tailed distributions. As a first important contribution, we propose the Eigensimilarity, which is an approach based on signal processing concepts applied to detection of malicious traffic in computer networks. We evaluate the accuracy and performance of the proposed framework applied to a simulated scenario and to the DARPA 1998 data set. The performed experiments show that synflood, fraggle and port scan attacks can be detected accurately by Eigensimilarity and with great detail, in an automatic and blind fashion, i.e. in an unsupervised approach. Considering that the skewness improves anomaly detection in imbalanced and skewed data, such as network traffic, we propose the Moment-based Robust Principal Component Analysis (mRPCA) for network attack detection. The m-RPCA is a framework based on distances between contaminated observations and moments computed from a robust subspace learned by Robust Principal Component Analysis (RPCA), in order to detect anomalies from skewed data and network traffic. We evaluate the accuracy of the m-RPCA for anomaly detection on simulated data sets, with skewed and heavy-tailed distributions, and for the CTU-13 data set. The Experimental evaluation compares our proposal to widely adopted algorithms for anomaly detection and shows that the distance between robust estimates and contaminated observations can improve the anomaly detection on skewed data and the network attack detection. Moreover, we propose an architecture and approach to evaluate a proof of concept of Eigensimilarity for malicious behavior detection on mobile applications, in order to detect possible threats in offline corporate mobile client. We propose scenarios, features and approaches for threat analysis by means of Eigensimilarity, and evaluate the processing time required for Eigensimilarity execution in mobile devices

George Floyd at the UN: Whiteness, International Law, and Police Violence

This article applies discursive analysis of the UN Human Rights Council debate after the killing of George Floyd in June 2020. It assesses state members’ speeches delivered during the UN session convened in June 2020, as well as the ensuing landmark report by the UN Human Commissioner for Human Rights on police violence and racism released one year later, in June 2021. Through its analysis of the current global debate on police violence against black people at the United Nations, it shows how racialized violence is and is not considered in international law. The underlying task is to unmask whiteness-coping mechanisms used in international law when issues of racism arise, as well as to light fire on the disruptive nature of black movements’ engagement with the UN to dismantle racism in a structural manner. This article is particularly interested in international law as legal imaginations shared, colliding, and contested in multiple fora, among them the United Nations. Using this case study of the debate on racism and police violence at the United Nations in 2020, the article examines how different views of racism and international human rights law come into play on the global stage of the United Nations. It thereby highlights what those differing views reveal about international law in relation to racism

Diversidade de plantas dos estratos arbóreos e arbustivos de quintais agroflorestais em um Assentamento Agroextrativista, Monte Alegre, Pará

This study aimed to evaluate the floristic composition of 37 agroforestry homegardes of the community of São Diogo, located 40 km from the municipality of Monte Alegre, Pará. In order to reach these homegardens, the "snowball" technique was used. In the manager settlers’ house, the data collection was done through tour-guided. Informations were collected about: plant species cultivated in tree and shrub strata, size and age of each system, and management practices. The Shannon index was used to assess the diversity of homegardens. There were 32 species belonging to 26 genera, divided into 18 botanical families, all of them fruit trees, 85.7% of which were used exclusively for self-consumption. The most frequent species were Cocos nucifera, Euterpe oleracea, Citrus limon and Mangifera indica. The homegardens presented on average 12 years of age, with average size 1,973 m². It was highlighted the greater participation of women in the management decisions and activities of these systems. Homegardens are an important for food security and income sources for managers.Este trabalho objetivou avaliar a composição florística de 37 quintais agroflorestais na comunidade de São Diogo, localizada a 40 km do município de Monte Alegre, Pará. Para se chegar a estes quintais, recorreu-se a técnica “bola de neve”. Na casa do assentado manejador, a coleta de dados foi feita por meio de turnê-guiada. Levantaram-se informações sobre: espécies vegetais cultivadas nos estratos arbóreos e arbustivos, tamanho e idade dos sistemas, e práticas de manejo. O índice de Shannon foi utilizado para avaliação da diversidade dos quintais. Foram encontradas 32 espécies pertencentes a 26 gêneros, divididos em 18 famílias botânicas, todas frutíferas, sendo que 85,7% delas utilizadas exclusivamente para autoconsumo. As espécies mais frequentes foram Cocos nucifera, Euterpe oleracea, Citrus limon e Mangifera indica. Os quintais apresentaram em média 12 anos de idade, com tamanho médio 1.973 m². Os quintais se constituem como um importante sistema na segurança alimentar e fonte de renda dos manejadores

An analysis of public policy for urban housing in the state of São Paulo

Considerados hitos importantes en la política de viviendas sociales del estado de São Paulo, este artículo analiza los procesos de implementación de los Programas de “Aceleración del Crecimiento”: “Mi casa, Mi vida” (PAC-MCMV) e de “Urbanización de los Asentamientos Precarios” (PAC-UAP) Para ello, se presentan datos sobre la historia de los programas habitacionales brasileños y paulistas y sobre la política desarrollada por los programas MCMV y UAP, además de consideraciones sobre cómo se implementaron las políticas públicas en ese estado y en su ciudad/región. En cuanto a los procedimientos metodológicos, a partir de una investigación descriptivo-analítica, para la presentación de los resultados se observó el número de trabajos terminados (construcción de las viviendas) y el volumen de inversiones realizadas. Los resultados revelaron que, si bien estas políticas públicas tienen números expresivos de viviendas y se encuentran dispersas por todo el estado, existe una gran concentración de estos desarrollos en la Región Administrativa de Campinas y en la Región Metropolitana de São Paulo, ambas insertas en la ciudad/región.Considered important milestones in the housing policy of the state of São Paulo, this article analyzes the implementation processes of the Growth Acceleration Programs: My house, My life (PAC-MCMV) and Urbanization of Precarious Settlements (PAC-UAP). To this end, data are presented on the history of the Brazilian and São Paulo housing programs and on the policy developed by the MCMV and UAP programs, in addition to considerations on how public policies were implemented in this state and in its city-region. As for the methodological procedures, from a descriptive-analytical investigation, for the presentation of the results, the number of completed works and the volume of investments made were observed. The results revealed that, although these public policies have expressive numbers of dwellings and are scattered throughout the state, there is a great concentration of these developments in the Administrative Region of Campinas and in the Metropolitan Region of São Paulo, both inserted in the city-region.Considerados importantes marcos na política habitacional do estado de São Paulo, neste artigo são analisados os processos de implementação do Programa de Aceleração do Crescimento: Minha Casa Minha Vida (PAC-MCMV) e de Urbanização de Assentamentos Precários (PAC-UAP). Para tanto, se apresentam dados do histórico dos programas habitacionais brasileiros e paulistas e da política desenvolvida nesses programas específicos, além de considerações sobre o modo como as políticas públicas se efetivaram nesse estado e em sua cidade-região. Quanto ao procedimento metodológico, a partir de uma investigação descritivo-analítica, observaram-se o número de obras concluídas e o volume dos investimentos. Os resultados revelaram que, embora essas políticas públicas tenham números expressivos de habitações e estejam pulverizadas por todo o estado, há uma grande concentração desses empreendimentos na Região Administrativa de Campinas e na Região Metropolitana de São Paulo, ambas na cidade-região

A representatividade negra no mundo dos heróis

Este trabalho trata da representatividade da população negra no universo dos heróis, considerando quadrinhos, filmes e franquias de super-heróis. A pesquisa considera aspectos históricos e sociais das populações negras escravizadas no Brasil e nos Estados Unidos da América, que influenciaram na percepção destas populações frente a uma cultura opressiva dominante. A pesquisa foi centrada em obras com personagens e protagonistas negros, para a construção de personagens cuja figura relacional esteja inserida dentro do campo do heroico. Foi feita uma análise de obras históricas, uma pesquisa sobre os elementos necessários à construção da identidade negra e suas expressões de representatividade, com uma análise dos primeiros personagens e dos principais super-heróis, sua construção frente à realidade das sociedades onde estão inseridos e às influências que sofreram, dentro de aspectos de identidade, representatividade, direitos fundamentais, preconceito racial e racismo estrutural. Também é objeto da pesquisa os conceitos de whitewashing, castas sociais, color-blind casting, interseccionalidade, blackface, alteridade, representatividade tóxica e afrofuturismo para o cenário de representatividade negra no mundo dos heróis, a partir de alguns exemplos selecionados