In this work\, we propose a new sol ution to agent navigation based upon boundary value problems (BVP)\, called Configurable Flows\, to control steering behaviors of characters in dynami c environments. We use a potential field formalism that allows synthetic ac tors to move negotiating space\, avoiding collisions\, and attaining goals while producing very individual paths. The individuality of each character can be set by changing its inner field parameters leading to a broad range of possible behaviors without jeopardizing its performance. BVP Path Planne rs generate potential fields through a differential equation whose gradient descent represents navigation routes from any point of the environment to a goal position. Resulting paths are smooth and free from local minima. In spite of these advantages\, these kind of planners consumes a lot of time t o produce a solution. Our approach combines a BVP Path Planner with the Ful l Multigrid Method\, which solves elliptic partial differential equations u sing a hierarchical strategy. The proposed planner enables real-time perfor mance in large environments. Results show that our proposal spends less tha n 1% of the time needed to compute a solution using the original BVP planne rs in several environments. We refine our Path Planner by introducing a new form of the core equation that permits to easily cope with the terrain inh omogeneities. This is accomplished by locally changing the concavity/convex ity of the potential\, and then creating regions with higher or lower navig ation preferences. As the potential field requires several steps to converg e\, this approach can be expensive computationally. To overcome this proble m\, we integrate this novel core equation to the hierarchical planner\, eme rging a wide variety of applications. We believe our proposal can contribut e to several areas of research including agent navigation\, pathfinding for games\, crowd simulation and robotics.
UNIVERSIDADE FEDERAL DO RIO GRAN
DE DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM C
OMPUTAÇÃO
----------------------------------------------
DEFESA DE DISSERTAÇÃO DE MESTRADO
Aluno: Thiago Soares Fern
andes
Orientadora: Profa. Dra. Erika Fernandes CotaCoorientador: Álvaro Freitas Moreira
Títu
lo: Framework para estimar requisitos não-funcionais em aplicações
móveis
Linha de Pesquisa: Sistemas Embarcados
<
strong>Data: 05/03/2015
Hora: 15h30min
Local: Prédio 43412 – sala 215 (sala de videoconferência)\
, Instituto de Informática
Banca Examinadora:
P
rof. Dr. Ricardo dos Santos Ferreira (UFV)
Prof. Dr. Antonio Carlos Sc
hneider Beck Filho (UFRGS) por videoconferência
Prof. Dr. Anderson Mac
iel (UFRGS)
Presidente da Banca: Profa. Dra. Erika Fe
rnandes Cota
O desenvolvimento de aplicações móveis é guiado por uma especial atenção aos requisitos não funcionais (do inglês\, NFR - Non Functional Requirements)\, onde uma boa experiência par a o usuário final é o principal objetivo. Entretanto\, a avaliação de NFRs é ainda uma tarefa manual\, não estruturada e que consome muito tempo. Essa dissertação apresenta um estudo de várias abordagens relacionadas à avalia ção de desempenho e de NFRs no âmbito de sistemas móveis. Entre essas abord agens está o uso de aplicações de benchmark. No entanto\, os benchmarks atu ais são genéricos\, geralmente voltados para a plataforma de execução e nem sempre instituem um consenso na classificação de dispositivos. Visando uma melhor avaliação de NFRs e uma classificação de dispositivos com base nas necessidades de aplicações reais\, essa dissertação propõe um framework par a gerar benchmarks orientados às necessidades de cada aplicação e\, dessa f orma\, fornecer uma forma eficiente e eficaz para estimar requisitos não fu ncionais em sistemas móveis. O framework proposto é composto de uma bibliot eca de testes parametrizáveis\, métricas e uma estrutura para geração rápid a de benchmarks orientados à aplicação. O framework foi construído utilizan do o paradigma de programação orientada a aspectos para coleta das métricas . Esse paradigma fornece uma maior modularidade e separação de interesses\, de modo que a evolução do framework\, através da adição de outras métricas ou testes\, é facilitado. Para validação do framework proposto foram reali zados experimentos com cinco aplicações Android reais disponíveis na Play S tore. Para cada aplicação foi gerado um benchmark específico cujos resultad os foram comparados com os resultados obtidos para as aplicações móveis rea is. Os resultados são promissores\, mostrando que é possível criar aplicaçõ es de teste com comportamento semelhante ao de aplicações reais e\, assim\, classificar dispositivos com base nas necessidades das aplicações\, atravé s da análise das métricas presentes no framework. Essas métricas podem\, ai nda\, orientar o desenvolvedor na otimização de suas aplicações ou ainda na escolha de dispositivos com melhor custo benefício para executar seus apli cativos.
UNIVERSIDADE FEDERAL DO RIO GRAN
DE DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM C
OMPUTAÇÃO
----------------------------------------------
DEFESA DE DISSERTAÇÃO DE MESTRADO
Aluno: Kassius Vargas Pre
stes
Orientadora: Profa. Dra. Aline Villavicencio
Título: Extração Multilíngue de Termos Multipalavra em C
orpora Comparáveis
Linha de Pesquisa: Processamento d
e Linguagem Natural
Data: 11/03/2015
Hor
a: 15h30min
Local: Prédio 43412 - sala 215 (
videoconferência)\, Instituto de Informática
Banca Examinador
a:
Profa. Dra. Viviane Pereira Moreira (UFRGS)
Profa. Dr
a. Karin Becker (UFRGS)
Profa. Dra. Helena de Medeiros Caseli (UFSCar)
por videoconferência
Presidente da Banca: Profa. Dra
. Aline Villavicencio
Este trabalho investig a técnicas de extração de termos multipalavra a partir de corpora comparáve is\, que são conjuntos de textos em duas (ou mais) línguas sobre o mesmo do mínio. A extração de termos\, especialmente termos multipalavra é muito imp ortante para auxiliar a criação de terminologias\, ontologias e o aperfeiço amento de tradutores automáticos. Neste trabalho utilizamos um corpus compa rável Português/Inglês e queremos encontrar termos e seus equivalentes em a mbas as línguas. Para isso começamos com a extração dos termos separadament e em cada língua\, utilizando padrões morfossintáticos para identificar os n-gramas (sequências de n palavras) mais prováveis de serem termos importan tes para o domínio. A partir dos termos de cada língua\, utilizamos o conte xto\, isto é\, as palavras que ocorrem no entorno dos termos para comparar os termos das diferentes línguas e encontrar os equivalentes bilíngues. Tín hamos como objetivos principais neste trabalho fazer a identificação monolí ngue de termos\, aplicar as técnicas de alinhamento para o português e aval iar os diferentes parâmetros de tamanho e tipo (PoS utilizados) de janela p ara a extração de contexto. Esse é o primeiro trabalho a aplicar essa metod ologia para o Português e apesar da falta de alguns recursos léxicos e comp utacionais (como dicionários bilíngues e parsers) para essa língua\, conseg uimos alcançar resultados comparáveis com o estado da arte para trabalhos e m Francês/Inglês.
UNIVERSIDADE FEDERAL DO RIO GRAN
DE DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM C
OMPUTAÇÃO
----------------------------------------------
DEFESA DE DISSERTAÇÃO DE MESTRADO
Aluno: Wagner Schmitt
Orientador: Prof. Dr. João Luiz Dihl Comba
Título: A New 3D Shape Descriptor based on Depth Complexity and Th
ickness Information
Linha de Pesquisa: Computação Grá
fica\, Processamento de Imagens e Interação
Data: 04/
03/2015
Horário: 14h
Local: Pré
dio 43412 - Sala 220 (Conselho)\, Instituto de Informática
Ba
nca Examinadora:
Prof. Dr. Rafael Piccin Torchelsen (UFFS)
Profa. Dra. Carla Maria Dal Sasso Freitas (UFRGS)
Prof. Dr. Anderso
n Maciel (UFRGS)
Presidente da Banca: Prof. Dr. João
Luiz Dihl Comba
Geometric models play a vita l role in several fields\, from the entertainment industry to scientific ap plications. To reduce the high cost of model creation\, reusing existing mo - dels is the solution of choice. Model reuse is supported by content-based shape retrieval (CBR) techniques that help finding the desired models in m assive repositories\, many pu- blicly available on the Internet. Key to eff icient and effective CBR techniques are shape descriptors that accurately c apture the characteristics of a shape and are able to discrimi- nate betwee n different shapes. We present a descriptor based on the distribution of tw o global features measured on a 3D shape\, depth complexity and thickness\, which respec- tively capture aspects of the geometry and topology of 3D sh apes. The final descriptor\, called DCT (depth complexity and thickness his togram)\, is a 2D histogram that is inva- riant to the translation\, rotati on and scale of geometric shapes. We efficiently implement the DCT on the G PU\, allowing its use in real-time queries of large model databases. We val idate the DCT with the Princeton and Toyohashi Shape Benchmarks\, containin g 1815 and 10000 models respectively. Results show that DCT can discriminat e meaningful clas- ses of these benchmarks\, and is fast to compute and rob ust against shape transformations and different levels of subdivision and s moothness.
A I Escola G aúcha de Bioinformática acontecerá de 27 a 31 de julho no Centro de Eventos do INF. O objetivo do evento é a criação de um espaço para formação\, inte gração\, qualificação e desenvolvimento das atividades de pesquisa\, envolv endo o emprego de métodos computacionais no estudo de sistemas biológicos p or meio da Bioinformática.
A I Escola G aúcha de Bioinformática\, EGB foi organizada de forma integrada\, pelo Inst ituto de Informática e pelo Centro de Biotecnologia da Universidade Federal do Rio Grande do Sul. Sob uma perspectiva interdisciplinar de problemas bi ológicos e terapêuticos\, o evento agregará tanto abordagens\, através de s equências (de nucleotídeos ou aminoácidos)\, de biologia de sistemas e de l arga escala\, quanto de estruturas 3D (e suas conformações) ao suporte e de senvolvimento possibilitados pela Ciência da Computação.
O objetivo da I Escola Gaúcha de Bioinformática é a criaç ão de um espaço para formação\, integração\, qualificação e desenvolvimento das atividades de pesquisa envolvendo o emprego de métodos computacionais no estudo de sistemas biológicos por meio da Bioinformática\, através da:
a. Oferta de aulas em assuntos do estado da arte da área de Bioinformática\, não cobertos nos cursos de graduação o u pós-graduação do RS\, na forma de palestras\;
b. Oferta de cursos t eórico-práticos e práticos\, no formato de disciplinas de pós-graduação\;
c. Oportunizar e induzir espaços e atividades de integração e colabora ção aos alunos\;
d. Contribuição ao desenvolvimento e qualificação do s futuros pesquisadores atuantes na área de Bioinformática no estado do RS.
Público Alvo:
Acadêmicos de graduação\, de pós-graduação\, p rofessores e profissionais da área de Ciências Biológicas\, Matemática\, Fí sica\, Química\, Engenharias e Ciências da Computação e as suas respectivas áreas correlatas.
ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/escola-gaucha-de -bioinformatica/ END:VEVENT BEGIN:VEVENT UID:20151110T1124Z-1447154689.4379-EO-2321-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20150728T222024Z LAST-MODIFIED:20150728T222338Z DTSTART;TZID=America/Sao_Paulo:20150731T133000 DTEND;TZID=America/Sao_Paulo:20150731T153000 SUMMARY: Dissertação de Mestrado – Matheus Luan Krueger DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Matheus Luan Krueger Orientador: Prof. Dr. M anuel Menezes de Oliveira Neto Título: Visual Simulation of Refractive Erro rs on Monochromatic Images and An Evaluation of the Absolute Threshold for Vision Linha de Pesquisa: Processamento […] X-ALT-DESC;FMTTYPE=text/html:UNIVERSIDADE
FEDERAL DO RIO GRANDE DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA D
E POS-GRADUAÇÃO EM COMPUTAÇÃO
--------- ------------------------------------------------
DEFESA DE DISSERTAÇÃO DE MESTRADO
Aluno: Matheus Luan KruegerTítulo: Visual Simulation of Refractive Errors on Monochroma
tic Images and An Evaluation of the Absolute Threshold for Vision 31/07/2015
Data:
Hora: 13:30
Local:
Banca Examinadora:
Prof. Dr. Leandro Augusto Frata Fernandes (UFF – por videoconfe
rência)
Prof. Dr. Horácio Enrique Fortunato (UNIRITTER)
Prof. Dr.
Marcelo Walter (UFRGS)
Profa. Dra. Carla Maria Dal Sasso Freitas (UFR
GS)
Presidente da Banca: Prof. Dr. Manuel Menezes de
Oliveira Neto
Abstract: We describe a practical approach for modeling and simulating the visual p erception of monochromatic images observed by optical systems with low-aber rations (i.e.\, myopia\, hyperopia and astigmatism). It is based on Fourier optics and uses a DSLR camera to validate results of how such aberrations affect vision. We demonstrate its effectiveness by comparing the simulation outcomes against optical ground truth with three objective metrics. In add ition to simulation\, we present a psychophysical experiment together with an apparatus to estimate the absolute threshold for vision. Preliminary eva luation has shown that our technique produces convincing results.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-matheus-luan-krueger/ END:VEVENT BEGIN:VEVENT UID:20151110T1124Z-1447154689.444-EO-2322-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20150728T222137Z LAST-MODIFIED:20150728T222241Z DTSTART;TZID=America/Sao_Paulo:20150803T133000 DTEND;TZID=America/Sao_Paulo:20150803T153000 SUMMARY: Dissertação de Mestrado – Emmanuell Diaz Carreño DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Emmanuell Diaz Carreño Orientador: Prof. Dr. Philippe Olivier Alexandre Navaux Título: Migration and Evaluation of a Nu merical Weather Prediction Application in a Cloud Computing Infrastructure Linha de Pesquisa: Processamento Paralelo e Distribuído Data: […] X-ALT-DESC;FMTTYPE=text/html:UNIVERSIDADE
FEDERAL DO RIO GRANDE DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA D
E POS-GRADUAÇÃO EM COMPUTAÇÃO
--------- ------------------------------------------------
DEFESA DE DISSERTAÇÃO DE MESTRADO
Aluno: Emmanuell Diaz Carreño
Orientador
: Prof. Dr. Philippe Olivier Alexandre Navaux
Título:
Migration and Evaluation of a Numerical Weather Prediction Applic
ation in a Cloud Computing Infrastructure
Linha de Pesquisa: <
/strong>Processamento Paralelo e Distribuído
Data: 03
/08/2015
Hora: 13:30
Local: Prédio 43412 – Sala 215 (sala de videoconferênc ia)\, Instituto de Informática.
Banca Examinadora:
Prof. Dr. Jairo Panetta (INPE/CPTEC - por
videoconferência)
Prof. Dr. Lucas Mello Schnorr (UFRGS)
Prof. Dr
. Marco Antonio Zanata Alves (UFRGS)
Presidente da Banca: Prof. Dr. Philippe Olivier Alexandre Navaux
Abstract: The usage of clusters and grids has be nefited for years the High Performance Computing (HPC) community. These kin d of systems have allowed scientists to use bigger datasets and to perform more intensive computations\, helping them into achieving results in less t ime but has also increased the cost associated to this area of science. As some e-Science projects are carried out also in highly distributed network environments\, or using immense data sets that sometimes require grid compu ting\, they are good candidates too for cloud computing initiatives. The Cl oud Computing paradigm has emerged as a practical solution to perform large -scale scientific computing. The elasticity of the cloud and its pay-as-you -go model presents an interesting opportunity for applications commonly exe cuted in clusters or supercomputers. In this context\, the user does not ne ed to buy infrastructure\, the resources can be rented from a provider and used for a period of time. This thesis presents the challenges and solution s of migrating a numerical weather prediction (NWP) application to a cloud computing infrastructure. We performed the migration of this HPC applicatio n and evaluate its performance in a local cluster and in the cloud using di fferent instance sizes. We analyze the principal characteristics of the app lication running in the cloud trying to get the most of it. The experiments demonstrate that\, although processing and networking create a limiting fa ctor\, storing input and output datasets in the cloud presents an attractiv e option to share results and ease the deployment of a test-bed for a weath er research platform. Results show that cloud infrastructure can be used as a viable HPC alternative for numerical weather prediction software.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-emmanuell-diaz-carreno/ END:VEVENT BEGIN:VEVENT UID:20151110T1124Z-1447154689.4505-EO-2332-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20150804T004105Z LAST-MODIFIED:20150804T004213Z DTSTART;TZID=America/Sao_Paulo:20150804T131500 DTEND;TZID=America/Sao_Paulo:20150804T151500 SUMMARY: Tese de Doutorado – Jorge Lucio Tonfat Seclen DESCRIPTION: Tese de Doutorado O Programa de Pós-Graduação em Microeletrôni ca – PGMICRO\, da Universidade Federal do Rio Grande do Sul\, tem a satisfa ção de convidar a Comunidade Universitária para assistir à defesa pública d a Tese de Doutorado do aluno Jorge Lucio Tonfat Seclen a realizar-se: Data: 04/08/2015 às 13:15 Local: Auditório Inferior – Prédio 43413(67) Título: [ …] X-ALT-DESC;FMTTYPE=text/html:Tese de Doutorado
O Programa de Pó s-Graduação em Microeletrônica - PGMICRO\, da Universidade Federal do Rio G rande do Sul\, tem a satisfação de convidar a Comunidade Universitária para assistir à defesa pública da Tese de Doutorado do aluno Jorge Luci o Tonfat Seclen a realizar-se:
Data: 04/08/2015 às 13:15
Local: Au
ditório Inferior – Prédio 43413(67)
Título:
Frame-Level Redundancy Scrubbing Technique for SRAM-based FPGAs
Orientador: Prof. Ricardo Augusto da Luz Reis
Banca Examinad
ora:
Prof. Dr. Carlos Silva Cárdenas(PUCCP – Peru)
Prof.
Dr. Tiago Roberto Balen (UFRGS-PGMICRO)
Prof. Dr. Gabriel Luca Nazar
(UFRGS)
Resumo:
C
onfiabilidade é um parâmetro de projeto importante para aplicações criticas
tanto na Terra como também no espaço. Os FPGAs baseados em memoria SRAM sã
o atrativos para implementar aplicações criticas devido a seu alto desempen
ho e flexibilidade. No entanto\, estes FPGAs são muito susceptíveis aos efe
itos da radiação tais como os erros transientes na memoria de configuração.
Além disso\, outros efeitos como o envelhecimento (aging) ou esca
lonamento da tensão de alimentação (voltage scaling) incrementam a
sensibilidade à radiação dos FPGAs. Nossos resultados experimentais mostra
m que o envelhecimento e o escalonamento da tensão de alimentação podem aum
entar ao menos duas vezes a susceptibilidade de FPGAs baseados em SRAM a er
ros transientes. Estes resultados são inovadores porque estes combinam três
efeitos reais que acontecem em FPGAs baseados em SRAM. A correção da memor
ia usando a técnica de scrubbing é um método efetivo para corrigir
erros transientes em memorias SRAM\, mas este método impõe custos adiciona
is em termos de área e consumo de energia. Neste trabalho\, nos propomos um
a nova técnica de scrubbing usando a redundância interna a nível d
e quadros chamada FLR-scrubbing por suas siglas em inglês. Esta té
cnica possui mínimo consumo de energia sem comprometer a capacidade de corr
eção. Como estudo de caso\, a técnica foi implementada em um FPGA de tamanh
o médio Xilinx Virtex-5\, ocupando 8% dos recursos disponíveis e consumindo
seis vezes menos energia que um circuito corretor tradicional chamado
blind scrubber. Além\, a técnica proposta reduz o tempo de reparação p
orque evita o uso de uma memoria externa como referencia. E como outra cont
ribuição deste trabalho\, nos apresentamos os detalhes de uma plataforma de
injeção de falhas múltiplas que permite emular os erros transientes na mem
oria de configuração do FPGA usando reconfiguração parcial dinâmica.
Resultados de campanhas de injeção são aprese ntados e comparados com experimentos
de radiação acelerada. Finalmente\, usando a plataforma de injeção de falhas proposta\, nos conseguimos analisar a efetividade da técnica FLR-scrubb ing. Nos também confirmamos estes resultados com experimentos de radia ção acelerada.
CATEGORIES:Defesas,Tese de Doutorado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/tese-de-doutorad o-jorge-lucio-tonfat-seclen/ END:VEVENT BEGIN:VEVENT UID:20151110T1124Z-1447154689.4573-EO-2334-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20150804T004402Z LAST-MODIFIED:20150804T004418Z DTSTART;TZID=America/Sao_Paulo:20150804T153000 DTEND;TZID=America/Sao_Paulo:20150804T173000 SUMMARY: Dissertação de Mestrado – William do Nascimento Guareschi DESCRIPTION: Dissertação de Mestrado O Programa de Pós-Graduação em Microel etrônica – PGMICRO\, da Universidade Federal do Rio Grande do Sul\, tem a s atisfação de convidar a Comunidade Universitária para assistir à defesa púb lica da Dissertação de Mestrado do aluno William do Nascimento Guareschi a realizar-se: Data: 04/08/2015 às 15:30 Local: Auditório Inferior – Prédio 4 3413(67) – Inf/UFRGS […] X-ALT-DESC;FMTTYPE=text/html:Diss ertação de Mestrado
O Programa
de Pós-Graduação em Microeletrônica - PGMICRO\, da Universidade Federal do
Rio Grande do Sul\, tem a satisfação de convidar a Comunidade Universitári
a para assistir à defesa pública da Dissertação de Mestrado do aluno
Data: 04/08/2015 às 15:30
Local: Auditório Inferior – Prédio 43413(67) – Inf/UFRGS
Prof. Dr. Carlos Silva Cárdenas (PUCP
-Peru)
Prof. Dr. Marcelo de Oliveira Johann (IEAV)
Dr. Carolina
Momo Metzler (UFRGS)
Resumo:
O uso de pequenos
satélites tem aumentado substancialmente nos últimos anos devido ao custo r
eduzido de desenvolvimento e lançamento\, assim como pela flexibilidade ofe
recida pela utilização de componentes comerciais. Este trabalho propõe o pr
ojeto e a implementação de uma plataforma para teste\, controle e qualifica
ção de circuitos integrados (Integrated Circuits\, CIs) comerciais e custom
izados para uso em aplicações espaciais. Esta plataforma flexível pode ser
ajustada a uma gama de dispositivos e interfaces\, e reduz os esforços de i
ntegração desses componentes e\, portanto\, acelera o desenvolvimento de to
do o projeto. O sistema proposto é sintetizado em um tecnologia de Arranjo
de Portas Programáveis em Campo (Field Programmable Gate Array) baseado em
memória Flash\, que\, apesar de não ser classificado para uso aeroespacial\
, testes demonstram a viabilidade de seu uso. Este sistema adaptável permit
e o controle de novas cargas-úteis e softcores para o teste e validação ant
es da sua aplicação em voo. A comunicação com dispositivos é feita através
de protocolos préimplementados. Os resultados de testes funcionais in loco
sugerem a possibilidade de aplicação desta plataforma para uso em Cubesats.
A primeira aplicação desta plataforma foi no teste do controle da placa de
carga-útil do NanoSatC-BR1\, o primeiro nanossatélite científico brasileir
o\, lançado em órbita em 2014.
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Alexander Javier Benavides Rojas Banca Examinadora: Presidente da Banca: Prof. Dr. Marcus Rolf Peter Ritt Abstract: The flow shop sche duling problem (or FSSP) is a very common model of production systems that is well studied in the literature. However\, almost all the literature focu ses on the permutation FSSP\, disregarding optimal and near optimal solutio ns that are non-permutation schedules. Besides\, common practice standardiz es the processing times of each operation\, even when those times may vary depending on different capabilities of the machine operators\, whose divers ity must be considered in the scheduling process when it is significant\, e .g.\, in Sheltered Work centers for Disabled (SWDs). In this thesis\, we pr opose methods to solve the non-permutation FSSP\, using the same time and e ffort as state-of-the-art methods for the permutation FSSP\, and producing non-permutation schedules with better quality than permutation and non-perm utation schedules produced by state-of-the-art methods. We also propose met hods to solve the combined heterogeneous workforce assignment and flow shop scheduling problem (or Het-FSSP)\, producing solutions that compensate the different capabilities and disabilities of the workers with minor or null losses in the productivity objectives. Moreover\, the heterogeneous workfor ce assignment may be integrated into other shop scheduling models\, as we d id with the heterogeneous workforce assignment and job shop scheduling prob lem (or Het-JSSP) with similar results. Keywords: Me taheuristics\, scheduling\, flow shop\, non-permutation\, heterogeneous wor kers. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE TESE DE DOUTORADO Aluno: Valderi Reis Quietinho Leithardt Banca Examinadora: Presidente da Banca: Prof. Dr. Claudio Ferna ndo Resin Geyer Abstract: Currently in many countrie s there are already more devices and communication means that inhabitants a nd as technology advances the exchange of information tends to increase exp onentially. As a result\, stands out the area called ubiquitous computing\, which aims to develop applications to automate processes before hand in or der to provide comfort\, faster and connecting users with their devices. In studies carried out throughout this thesis it identified the need to devel op and control private information based on location\, here called ubiquito us environment. The identified research problem was the great heterogeneity of the devices and communications in these systems\, making them vulnerabl e and exposing the data of its users. Thus\, is observed the need for a tax onomic model of privacy that encompasses features needed to control and man age data privacy in ubiquitous environments. From this taxonomy developed a prototype based on a middleware structured in layers to provide the necess ary controls and managements required in these environments. The first test s and results were promising\, with the results published in international conferences in the area that guided the studies for improved treatment and filtering of data. It was also possible the expansion of controls and manag ement parameters with automatic increase and decrease setting in the user p rofile type in addition the results obtained are presented in different usa ge scenarios and application. Keywords: Ubiquitous C omputing\, Middleware\, Taxonomy\, Privacy. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Marcelo de Souza Banca Examinad
ora: Presidente da Banca: Profª. Drª. Ana Lucia Cetertich Bazzan Resumo: A bu sca de soluções para a mobilidade urbana que minimizem a agressão do setor de tráfego e transportes ao meio ambiente está cada vez maior. Os veículos elétricos se posicionam como uma alternativa interessante\, pois reduzem a emissão de gases poluentes na atmosfera\, a poluição sonora e o consumo de petróleo. No entanto\, sua limitada autonomia e a escassez de postos de rec arga intimidam sua adoção. Por conta disso\, políticas governamentais de in centivo têm sido desenvolvidas para a oferta de benefícios a quem optar por um veículo elétrico. Estima-se que dentro de poucas décadas toda a frota u rbana será substituída por veículos dessa natureza. Por isso\, é importante entender as mudanças no tempo de viagem e no consumo de energia oriundos d a inclusão de veículos elétricos em cenários de tráfego. Trabalhos anterior es estudaram as diferenças entre os mecanismos internos de veículos convenc ionais e elétricos na determinação destas mudanças. Porém\, dadas as caract erísticas destes últimos\, motoristas de veículos elétricos se preocupam co m a economia de energia e podem optar por rotas diferentes. Logo\, uma anál ise completa destes impactos deve considerar uma nova distribuição de tráfe go. Este trabalho propõe um método biobjetivo de alocação de tráfego para d eterminar a distribuição de veículos elétricos em cenários de tráfego urban o. Duas estratégias de distribuição de fluxo são propostas como mecanismos de escolha de rotas. Como parte da alocação de tráfego\, é proposto um algo ritmo biobjetivo de caminhos mínimos para veículos elétricos. A abordagem a presentada foi aplicada a três cenários distintos\, onde percebeu-se uma di minuição de até 80% no consumo total de energia. Em cenários com congestion amento\, observou-se um aumento de 10% no tempo de viagem. Já em cenários s em congestionamento o tempo de viagem diminuiu cerca de 2%. A recuperação d e energia representa quase 6% da economia total dos veículos elétricos. Alé m disso\, experimentos mostraram que investimentos na eficiência dos veícul os elétricos podem resultar em uma economia de até 15% de energia.
|
UNIVERSIDADE FEDERAL DO RIO GRANDE
DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE POS-GRADUAÇÃO EM COM
PUTAÇÃO
---------------------------------------------------------
DEFESA DE DISSERTAÇÃO DE MESTRADO
Orientadora: P
rofª. Drª. Carla Maria Dal Sasso Freitas
Título: SHP ECK - A Geochemical Speciation Modeling Software
Linha de Pes quisa: Computação Gráfica\, Processamento de Imagens e Interação.< /p>
Data: 16/11/2015
Hora: 14:00Local: Prédio 43412 – Sala 215 (sala de videoconferênc
ia)\, Instituto de Informática.
Banca Examinadora:
Prof. Dr. Anderson Maciel (UFRGS)
Prof. Dr. Marcelo Soares Pimenta
(UFRGS)
Prof. Dr. Antônio Pedro Viero (IGEO/UFRGS)
Pres idente da Banca: Profª. Drª. Carla Maria Dal Sasso Freitas
Abstract: A geochemical speciation modelling softwa re is responsible for calculating the distribution of dissolved species bet ween solutes and aqueous complexes\, and also computes saturation indexes f or different minerals. In this work we introduce SHPECK\, a software progra m developed to model geochemical equilibrium systems using the mass-balance conditions based on the phase rule concept (GARRELS\; CHRIST\, 1965). SHPE CK composes a system of mass-action equations coupled with equilibrium cons traints and solve using Newton-Raphson method. Our software accepts any gen eral combination of elements\, species\, and reactions\, allowing the user to create different environments\, simulations and\, therefore\, fully cont rol any aspect and configuration of the model. It provides an interactive u ser interface as well as the support of a builtfrom-the-ground database str ucture that handles the management of the whole thermodynamic data used for the geochemical modeling. Also\, we present the basic concepts for geochem ical modeling followed by a computer science based review about the availab le geochemical modeling software. Finally\, we validate SHPECK by modeling the diagenetic reactions observed in asiliciclastic reservoir and by perfor ming a comparative study with other modelling software package. In addition to this\, a database comparison was addressed and the results demonstrate a substantial improvement on the performance by the use of the SHPECK’s rel ational database comparing to the existent approaches.
Keywor ds: Geochemical Modelling\; Chemical Equilibrium\; Geochemical Spe ciation\; Water-rock Interactions\; Multiphase Systems\; Nonlinear Simulati on\; Water-Rock Simulation\; Software Engineering\;
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-disser tacao-de-mestrado-de-leonardo-hax-damiani/ END:VEVENT BEGIN:VEVENT UID:20151113T2340Z-1447458018.0737-EO-2542-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20151113T115218Z LAST-MODIFIED:20151113T115551Z DTSTART;TZID=America/Sao_Paulo:20151120T100000 DTEND;TZID=America/Sao_Paulo:20151120T120000 SUMMARY: Dissertação de Mestrado – Vitor de Oliveira Gomes DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Vitor de Oliveira Gomes Orientador: Prof. Dr . Jacob Scharcanski Título: A Novel Image-Based Approach for Detecting Vehi cles in User-defined Virtual Inductive Loops Linha de Pesquisa: Visão Compu tacional e Processamento de Imagens Data: 20/11/2015 […] X-ALT-DESC;FMTTYPE=text/html:
UNIVERSIDADE FEDERAL DO RIO GRANDE
DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE POS-GRADUAÇÃO EM COM
PUTAÇÃO
---------------------------------------------------------
DEFESA DE DISSERTAÇÃO DE MESTRADO
Orientador:
Prof. Dr. Jacob Scharcanski
Título: < /strong>A Novel Image-Based Approach for Detecting Vehicles in User-defined Virtual Inductive Loops
Linha de Pesquisa: Visão Co mputacional e Processamento de Imagens
Data: 20/11/2
015
Hora: 10h
Local: Prédio 434
12 – Sala 215 (sala de videoconferência)\, Instituto de Informática.
Banca Examinadora:
Prof. Dr. Raul Fernando Weber (UF
RGS)
Prof. Dr. Sergio Bampi (UFRGS)
Prof. Dr. Luciano Silva da Si
lva (FURG – por videoconferência)
Presidente da Banca: Prof. Dr. Jacob Scharcanski
Abstract: The number of vehicles circulating in modern urban centers is increasing and traffic d ata have important applications for urban planning and development. Therefo re\, traffic monitoring systems are essential for managing modern urban cen ters and roadways. Nowadays\, due to the advances in computer vision\, ther e is an ongoing research effort to replace traditional traffic monitoring s ensors (e.g. inductive loops\, microwave\, etc.) by image-based systems\, w hich are easier to repair and are more flexible to operate. These image-bas ed systems have to be robust against challenging situations that can severe ly affect the results\, such as sudden illumination changes\, cast shadows and partial or total occlusions. In this work\, our main contributions are twofold: First\, we propose a novel shadow detection scheme that combines h ypergraph image segmentation with color and texture information for accurat e shadow detection. Second\, a vehicle detection scheme that uses an image- based sensor (camera) for detecting vehicles at user-defined virtual loops\ , simulating the operation of inductive loops. The proposed vehicle detecti on scheme allows monitoring several user-defined virtual loops simultaneous ly with one camera. Initially\, the background is modeled with an improved Gaussian Mixture Models approach\, and then the shadows detected at the vir tual loops are removed to minimize false vehicular detections. Next\, vehic les are detected at the user-defined virtual loops using a combination of e fficient edge detection and color information. The proposed vehicle detecti on scheme provides a vehicle detection signal that also can be used for cou nting vehicles at the user-defined virtual loops. The experimental results indicate that the proposed scheme can accurately detect vehicles at user-de fined virtual loops and provide their counts (with more than 98% accuracy\, in average)\, besides being more robust to cast shadows and sudden illumin ation changes than comparable methods that represent the state of the art. Also\, experiments performed on common and publicly shadow detection datase ts suggest that our proposed hypergraph image segmentation shadow detection approach is capable of obtaining accurate shadow detection results when co mpared with recent and relevant shadow detection methods.
Key words: Vehicle detection\, Shadow detection\, Traffic monitoring s ystems\, Virtual loops\, Image-based sensors
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-vitor-de-oliveira-gomes/ END:VEVENT BEGIN:VEVENT UID:20151121T0106Z-1448067980.7142-EO-2596-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20151120T184653Z LAST-MODIFIED:20151120T184718Z DTSTART;TZID=America/Sao_Paulo:20151120T133000 DTEND;TZID=America/Sao_Paulo:20151120T160000 SUMMARY: Tese de Doutorado – Juliano Araújo Wickboldt DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE TESE DE DOUTORADO Aluno: Juliano Araújo Wickboldt Orientador: Prof. Dr. Lis andro Zambenedetti Granville Título: Flexible and Integrated Resource Manag ement for IaaS Cloud Environments based on Programmability Linha de Pesquis a: Redes de Computadores Data: 20/11/2015 Hora: 13:30 Local: […] X-ALT-DESC;FMTTYPE=text/html:| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE TESE DE DOUTORADO Aluno: Juliano Araújo Wickboldt Banca Examinadora: Presidente da Banca: Prof. Dr. Lis andro Zambenedetti Granville Abstract: Infrastructur e as a Service (IaaS) clouds are becoming an increasingly common way to dep loy modern Internet applications. Many cloud management platforms are avail able for users that want to build a private or public IaaS cloud (e.g.\, Op enStack\, Eucalyptus\, OpenNebula). A common design aspect of current platf orms is their black-box-like controlling nature. In general\, cloud managem ent platforms ship with one or a set of resource allocation strategies hard -coded into their core. Thus\, cloud administrators have few opportunities to influence how resources are actually managed (e.g.\, virtual machine pla cement or virtual link path selection). Administrators could benefit from c ustomizations in resource management strategies\, for example\, to achieve environment specific objectives or to enable application-oriented resource allocation. Furthermore\, resource management concerns in clouds are genera lly divided into computing\, storage\, and networking. Ideally\, these thre e concerns should be addressed at the same level of importance by platform implementations. However\, as opposed to computing and storage management\, which have been extensively investigated\, network management in cloud env ironments is rather incipient. The lack of flexibility and unbalanced suppo rt for resource management hinders the adoption of clouds as a viable execu tion environment for many modern Internet applications with strict requirem ents for elasticity or Quality of Service. In this thesis\, a new concept o f cloud management platform is introduced where resource management is made flexible by the addition of programmability to the core of the platform. M oreover\, a simplified object-oriented API is introduced to enable administ rators to write and run resource management programs to handle all kinds of resources from a single point. A prototype is presented as a proof of conc ept\, including a set of drivers to deal with modern virtualization and net working technologies\, such as software-defined networking with OpenFlow\, Open vSwitches\, and Libvirt. Two case studies are conducted to evaluate th e use of resource management programs for the deployment and optimization o f applications over an emulated network using Linux virtualization containe rs and Open vSwitches running the OpenFlow protocol. Results show the feasi bility of the proposed approach and how deployment and optimization program s are able to achieve different objectives defined by the administrator. Keywords: Cloud Computing. Cloud Networking. Resource Management. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Vinícius Tavares Guimarães
Abstract: Network and service management is accompl ished through the use of multiple tools that help network administrators to perform the management tasks. Information Visualization (a.k.a. InfoVis) i s an example of such tools and it is defined as the use of computer-support ed\, interactive\, visual representations of abstract data to amplify human cognition. In essence\, when analyzing management data\, the administrator looks for network conditions that require his/her reaction to lead the man aged infrastructure back to a consistent state. Although network analysis c an be automated\, that is only possible after having the main network scena rios properly identified by human reasoning. Thus\, the use of InfoVis for management data analysis becomes essential to assist network administrators \, for example\, in the identification of unusual patterns and the analysis of performance measurements. Although the research so far have achieved in teresting results and consolidated an important background regarding the em ployment of InfoVis for network and service management\, it has been observ ed a significant issue related to the lack of reuse of visualizations in th e network management domain. Based on this issue\, this thesis proposal adv ocates that the reuse is a promising approach to facilitate the adoption of InfoVis by network administrators. Administrators are often overwhelmed wi th their daily tasks without enough time for developing visualizations or a ccessing InfoVis designers and developers. Besides\, the development of vis ualizations from scratch is usually a time-consuming task (i.e.\, it is exp ensive). In this sense\, the reuse of visualizations for network and servic e management is a promising approach to enable network administrators to ad opt visualizations easily\, decreasing cost and improving the productivity. To help overcoming the presented issue\, this thesis proposal introduces a n approach\, named as VisNSM\, that aims at facilitating the adoption of vi sualizations by network administrators through encouraging the reuse. VisNS M relies on concepts from the Semantic Web and the Reuse Asset Management P rocess of the IEEE Standard for Systems and Software Engineering - Software life cycle processes. The Semantic Web and its technologies provide the ca pabilities to build and share formalized knowledge to support the reuse of visualizations. The Reuse Asset Management Process offers the guidelines re garding the asset reuse. In particular\, this thesis proposal investigates the feasibility of the reuse of visualizations as an effective approach to reducing cost and improve productivity (in terms of consuming of time) when network administrators adopt visualizations to support daily tasks. Throug h a case study\, the results show that the reuse of visualizations is effec tive\, and it can significantly decrease costs and improve the productivity of network administrators. Keywords: Network Manage ment. Service Management. Information Visualization. Reuse. Semantic Web. P roductivity. Cost Reduction. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA Programa de Pós-Graduação em Microel etrônica - PGMICRO |
| -----------------------------------------------
---------- DEFESA DE DISSERTAÇÃO DE MESTRADO <
strong>Aluno: Moacir Fernandes Cortinhas Monteiro Banca Examinadora: Res umo: Neste trabalho é apresentado o projeto de uma interface analó gico-digital para a aquisição de sinais eletromiográficos. O circuito consi ste em um amplificador de biossinais\, projetado para ter elevada linearida de e baixo nível de ruído\, seguido por um conversor analógico-digital ΔΣ. Nenhum estágio adicional de filtragem ou amplificação foi incluído no circu ito. A interface de aquisição como um todo ocupa uma área de 117 mm²\, cons ome 49 μA e apresenta uma resolução efetiva acima de 12 bits. A faixa de fr equências do amplificador de biossinais se estende de 21 mHz a 9\,25 kHz co m ganho programável de 40 dB (100 V/V) e 34 dB (50 V/V). O valor simulado p ara o ruído total dentro da banda de 0\,5 Hz a 500 Hz é de 1\,45 μVrms\, e para a linearidade é de 81\,1 dB ou 0\,0088 %\, para um sinal de entrada se noidal de 5 Hz e 20 mVpp. O circuito opera com tensões de 1\,5 V a 3\,3 V\, tendo um consumo de corrente CC de apenas 13\,5 μA. A área do amplificador é apenas 0\,075 mm². O conversor ΔΣ opera com taxa de amostragem de 256 kS /s no modulador\, e entrega os dados na saída a uma taxa de 2 kS/s. O circu ito apresenta um consumo de corrente CC de 7\,2 μA no modulador e um consum o médio estimado de 28\,3 μA no filtro decimador. O conversor completo ocup a ocupa uma área de 0\,042 mm². A SNDR simulada é de 83 dB na saída do modu lador\, desconsiderando-se o efeito de ruído interno do modulador. Consider ando-se esta fonte de ruído\, a SNDR estimada por simulações é cerca de 82 dB. Palavras-chave: eletromiografia\, eletromiografi a de superfície\, amplificador\, biossinais\, conversor de dados\, ADC\, EM G\, sEMG |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Luís Felipe Garlet Millani Banca Examinadora: Presidente da Banca: Prof. Dr. Lucas Mello Schnorr Resumo: Due to energy limitations imposed to supercomp uters\, parallel applications developed for High Performance Computers (HPC ) are currently being investigated with energy efficiency metrics. The idea is to reduce the energy footprint of these applications. While some energy reduction strategies consider the application as a whole\, certain strateg ies adjust the core frequency only for certain regions of the parallel code . Load balancing or blocking communication phases could be used as opportun ities for energy reduction\, for instance. The efficiency analysis of such strategies is usually carried out with traditional methodologies derived fr om the performance analysis domain. It is clear that a finer grain methodol ogy\, where the energy reduction is evaluated per each code region and freq uency configuration\, could potentially lead to a better understanding of h ow energy consumption can be reduced for a particular algorithm implementat ion. To get this\, the main challenges are: (a) the detection of such\, pos sibly parallel\, code regions and the large number of them\; (b) which freq uency should be adopted for that region (to reduce energy consumption witho ut too much penalty for the runtime)\; and (c) the cost to dynamically adju st core frequency. The work described in this dissertation presents a perfo rmance analysis methodology to find the best parallel region candidates to reduce energy consumption. The proposal is three folded: (a) a clever desig n of experiments based on screening\, especially important when a large num ber of parallel regions is detected in the applications\; (b) a traditional energy and performance evaluation on the regions that were considered as g ood candidates for energy reduction\; and (c) a Pareto-based analysis showi ng how hard is to obtain energy gains in optimized codes. In (c)\, we also show other trade-offs between performance loss and energy gains that might be of interest of the application developer. Our approach is validated agai nst three HPC application codes: Graph500\; Breadth-First Search\, and Dela unay Refinement. Palavras-chave: methodology\, energ y\, HPC\, DVFS\, multicore\, performance\, OpenMP. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Rafael de Santiago Banca Examinadora: Presidente da Banca: Prof. Dr. Luís Da Cunha Lamb Abstract: Modularity Density maximization is an NP-Hard o ptimization problem for community detection which avoids the resolution lim it degeneracy of the Modularity Maximization problem. This document present s i) the proposal of the thesis which aims to find better heuristics for so lving the Modularity Density problem and ii) the activity schedule for the rest of the year. From these objectives two main lines of research arise. T he first is about finding fast heuristics inspired by scalable searches for the similar problem of the Modularity Maximization. The second is about re laxing exact algorithms to find near optimal heuristics. The first line of research was concluded and six new scalable heuristics for Modularity Densi ty were created and compared with optimal results from the literature\, and GAOD\, iMeme-Net and HAIN heuristics. The results are also compared with C NM and Louvain which are scalable heuristics for Modularity Maximization. T he results show that five of our six heuristics surpassed the GAOD\, iMeme- Net and HAIN Modularity Density heuristics in time and objective value. The tests were carried out by using graphs from the “Stanford Large Network Da taset Collection”\, and the experiments showed that they are scalable. This feature was confirmed by an amortized complexity analysis. The results sup port the possibility of one of our heuristics being the state-of-the-art fo r the Modularity Density problem. It is expected by the end of the thesis r esearch period new heuristics based on the relaxation of mathematical progr amming and graph traversal models. Keywords: Modular ity density. Clustering. Heuristic search. Multilevel heuristics. Local sea rch. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Carlos Oberdan Rolim Banca Examinadora: Presidente da Banca: Prof. Dr. Claudio Fernando Resin Geyer Resumo: Cidades Inteligentes são sistemas urba nos que usam as Tecnologias da Informação e Comunicação (TICs) para tornar a infraestrutura e os serviços públicos de uma cidade mais interativos\, ac essíveis e eficientes aos seus habitantes. Com isso\, surge a necessidade d e proporcionar novos tipos de serviços que busquem auxiliar na organização da cidade\, no bem-estar das pessoas e auxilie a melhorar a governança da c idade. Nesse contexto\, o sensoriamento urbano é um paradigma emergente\, s ituado no escopo de Cidades Inteligentes\, que combina a ubiquidade dos sma rtphones e de sensores para coletar dados que retratam diferentes aspectos da cidade. Esse ecossistema formado por diferentes tipos de dispositivos mó veis e fixos é orquestrado por uma arquitetura computacional responsável po r todo o processo de sensoriamento. Tal processo envolve desde as etapas de coleta de dados\, o processamento e a geração de informações aos habitante s ou outros sistemas. Um aspecto importante nesse processo é a transmissão dos dados coletados para o processamento por um sistema específico para tal fim. Isso demanda uma ampla e constante cobertura de infraestrutura de red e de comunicação\, fato que nem sempre é possível. As Redes Oportunistas su rgem como uma alternativa inovadora para situações como essa\, onde as apli cações precisam transmitir dados\, porém a infraestrutura de rede é intermi tente ou mesmo inexistente. Entretanto\, com o uso de Redes Oportunistas\, as aplicações além de herdarem os seus benefícios também herdam os desafios existentes na área relacionados à tomada de decisão de encaminhamento das mensagens. Dessa forma\, a presente proposta de tese busca responder ao que stionamento de como melhorar a disseminação de conteúdo e o encaminhamento de mensagens em aplicações de sensoriamento urbano que fazem uso de Redes O portunistas como paradigma de comunicação. Para isso é proposto um componen te de software baseado em Redes Oportunistas que utiliza Sensibilidade à si tuação e Inteligência Computacional (mais especificamente Redes Neurais e L ógica Fuzzy) com vistas à proatividade nas tomadas de decisões de roteament o. Tal componente será embutido em um módulo de comunicação de uma arquitet ura ubíqua orientada a serviços para o sensoriamento urbano chamada UrboSen ti que foi desenvolvida como um subproduto da presente proposta de tese. Ap ós a modelagem conceitual do componente\, foram codificadas as suas princip ais funcionalidades internas e então sua performance e comportamento foram avaliados através de simulações frente a diferentes cenários. Os resultados preliminares dos experimentos demonstraram que a sua performance é aceitáv el e que o mesmo pode ser utilizado como base no módulo da UrboSenti respon sável pela comunicação de dados. Acredita-se que as taxas obtidas nas simul ações possam ser melhoradas uma vez que elas foram executadas ainda sem o s ubcomponente de sensibilidade à situação (chamado de Situation Manager) est ar completamente funcional. Quando o mesmo estiver completamente pronto o c omponente irá operar com maior proatividade devido a sua capacidade de proj eção de ações futuras\, além da incorporação de conhecimentos sobre novas s ituações. As últimas etapas da tese terão como foco a conclusão do Situatio n Manager e a execução de novos experimentos que busquem testar em maior pr ofundidade todas as funcionalidades do componente. Palavras-c have: Cidades Inteligentes. Sensoriamento Urbano. Redes Oportunist as. Sensibilidade à Situação. Inteligência Computacional. |
UNIVERSIDADE FEDERAL DO RIO GRANDE
DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COM
PUTAÇÃO
----------------------------------------------
DEFESA DE
TESE DE DOUTORADO
Aluno: Alexander Ja
vier Benavides Rojas
Orientador: Prof. Dr. Marcus Rit
t
Coorientador: Cristóbal Miralles
Títu lo: Heuristics for Flow Shop Scheduling: Considering Non-Permutati on Schedules and a Heterogeneous Workforce
Linha de Pesquisa: Fundamentos da Computação
Data: 02/12/2015
Horário: 15:00
Local: Prédio 4
3412 – Aud 0\, Instituto de Informática
Banca Examinadora:
Prof.
Dr. Rubén Ruiz Garcia (UPV)
Prof. Dr. Marcelo Seido Nagano (USP)
Prof. Dr. Paulo Morelato Franca (UNESP)
Profa. Dra. Luciana Salete Bu
riol (UFRGS)
Presidente da Banca: Prof. Dr. Marcus R itt
Abstract: The flow shop scheduling problem (or F SSP) is a very common model of production systems that is well studied in t he literature. However\, almost all the literature focuses on the permutati on FSSP\, disregarding optimal and near optimal solutions that are non-perm utation schedules. Besides\, common practice standardizes the processing ti mes of each operation\, even when those times may vary depending on differe nt capabilities of the machine operators\, whose diversity must be consider ed in the scheduling process when it is significant\, e.g.\, in Sheltered W ork centers for Disabled (SWDs). In this thesis\, we propose methods to sol ve the non-permutation FSSP\, using the same time and effort as state-of-th e-art methods for the permutation FSSP\, and producing non-permutation sche dules with better quality than permutation and non-permutation schedules pr oduced by state-of-the-art methods. We also propose methods to solve the co mbined heterogeneous workforce assignment and flow shop scheduling problem (or Het-FSSP)\, producing solutions that compensate the different capabilit ies and disabilities of the workers with minor or null losses in the produc tivity objectives. Moreover\, the heterogeneous workforce assignment may be integrated into other shop scheduling models\, as we did with the heteroge neous workforce assignment and job shop scheduling problem (or Het-JSSP) wi th similar results.
Keywords: Metaheuristics \, scheduling\, flow shop\, non-permutation\, heterogeneous workers.
CATEGORIES:Defesas,Tese de Doutorado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-tese-d e-doutorado-alexander-javier-benavides-rojas/ END:VEVENT BEGIN:VEVENT UID:20151202T0120Z-1449019200.5017-EO-2713-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20151201T133137Z LAST-MODIFIED:20151202T145308Z DTSTART;TZID=America/Sao_Paulo:20151204T090000 DTEND;TZID=America/Sao_Paulo:20151204T103000 SUMMARY: Dissertação de Mestrado – Rafael Andréas Raffi Lerm DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Rafael Andréas Raffi Lerm Orientador: Prof. Dr. Carlos Eduardo Pereira Título: A Model-Driven Design-Space Exploration Tool for the HIPAO2 Methodology Linha de Pesquisa: Sistemas Embarcados Data : 04/12/2015 Hora: 09h Local: Prédio 43412 – […] X-ALT-DESC;FMTTYPE=text/html:UNIVERSIDADE FEDERAL DO RIO GRANDE
DO SUL
INSTITUTO DE INFORMÁTICA
PROGRAMA DE POS-GRADUAÇÃO EM COM
PUTAÇÃO
---------------------------------------------------------
DEFESA DE DISSERTAÇÃO DE MESTRADO
Orientador:
Tí tulo: A Model-Driven Design-Space Exploration Tool for the HIPAO2 Methodology
Linha de Pesquisa: Sistemas Embarcados
Data: 04/12/2015
Hora: 09h
Local: Prédio 43412 – Sala 218\, do Instituto de Informát
ica.
Banca Examinadora:
Prof. Dr. Flavio Rech W
agner (UFRGS)
Prof. Dr. Antonio Carlos Schneider Beck Filho (UFRGS)
Prof. Dr. Marco Aurélio Wehrmeister (UTFPR – por videoconferência)
Presidente da Banca: Prof. Dr. Carlos Eduardo Pereira (po r videoconferência)
Abstract: Designers of today’s e mbedded systems are faced with increasing complexity both in the applicatio ns being developed and the platforms they run on. The use of complex platfo rms means that the engineers need to make non-trivial and many times non-in tuitive decisions during the design phase. To help developers work with thi s complexity\, model-driven techniques are gaining attention\, and in this context\, the HIPAO2 model-driven engineering methodology is being develope d at UFRGS. Among the problems that designers must solve\, the task-to-proc essor mapping in heterogeneous multiprocessor systems is an NP-complete pro blem and the design space will quickly become too large to be explored adeq uately by humans. This work details the extension of the tools that support HIPAO2 to include semiautomatic Design-Space Exploration capabilities for the mapping problem. The proposed tool includes the use of a multiobjective genetic algorithm to make tradeoffs explicit to the designers\; it also us es synchronous dataflow analysis algorithms to evaluate potential alternati ves with a reasonable computational cost.
Keywords: Design-space exploration. UML. System optimization. Model-driven engineerin g. Metaheuristic optimization.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-disser tacao-de-mestrado-rafael-andreas-raffi-lerm/ END:VEVENT BEGIN:VEVENT UID:20151202T0120Z-1449019200.5105-EO-2740-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20151201T164440Z LAST-MODIFIED:20151202T145311Z DTSTART;TZID=America/Sao_Paulo:20151208T103000 DTEND;TZID=America/Sao_Paulo:20151208T103000 SUMMARY: Dissertação de Mestrado – Marco Aurélio Schünke DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Marco Aurélio Schünke Orientador: Prof. Dr. Dante Augusto Couto Barone Título: Aplicação de Algoritmos de Classificação para Análise dos Fatores que Influenciam na Predição do Fator de Impacto e m Redes Sociais Linha de […] X-ALT-DESC;FMTTYPE=text/html:| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Marco Aurélio Schünke Linha de Pesquisa: Inteligência Artificial Banca Examinador
a: Presidente da Banca: Prof. Dr. Dante Augusto Couto Barone Resum o: O investimento em publicidade e criação de páginas web para a d ivulgação de anúncios e marcas\, tem levado as Redes Sociais a uma posição de destaque\, entre as maiores companhias do mundo é identificado a Rede So cial Facebook. Neste cenário\, o presente trabalho tem o objetivo de analis ar e predizer o número de interações em notícias divulgadas em cinco página s de fãs\, que se constituem nas mais acessadas da Rede Social Facebook no Brasil. Como contribuições propõem-se determinar o fator de impacto de publ icações\, considerando a média de três características mencionadas\, o núme ro de curtidas\, o número de comentários e o número de vezes que a notícia foi compartilhada. Foram avaliados resultados da aplicação de diferentes té cnicas para a classificação\, além da influência de características relacio nadas às palavras e termos mais frequentes\, verificando qual combinação pr oduz melhores resultados no processo de gerar um modelo de aprendizado para prever o fator de impacto de notícias publicadas nas páginas de fãs da Red e Social Facebook. Apresentam-se também os motivos que podem exercer influê ncia no fator de impacto através do processo de Descoberta de Conhecimentos em Base de Dados e também fazendo uso de técnicas de Processamento de Ling uagem Natural. Os resultados apresentados possibilitam também uma orientaçã o para que empresas brasileiras possam divulgar seus produtos através de no tícias mais precisas com oportunidade de alcançar um impacto maior para a d ivulgação de notícias\, anúncios e marcas\, uma vez que a informação pode s er considerada uma nova classe de ativo econômico\, assim como moeda ou our o. Palavras-chave: Predição\, Mineração de Dados\, R edes Sociais. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Gléderson Lessa dos Santos Banca Examinadora: Presidente da Banca: Profª. Drª. Liane Margarida Rocke nbach Tarouco Abstract: The Internet of Things will provide a significant contribution to the formation of a global communicati on architecture. It will enable applications to use an enormous amount of e veryday objects (a.k.a smart objects) to interact with the environment and communicate through the Internet in an autonomic way. This vision brings an unprecedented convenience and economic benefits to our life. However\, amo ng other requirements that prevent the growth of IoT\, its development is c urrently limited by security issues. In this way\, several smart objects ha ve constrained resources (a.k.a constrained devices) and then have problems to execute traditional security mechanisms such as asymmetric cryptography . Therefore\, the heterogeneity of devices that composes the IoT limits the use of standardized security solutions. Investigations aiming to provide s ecurity to IoT communications have been proposed. However\, the current res earch is focused on solutions that do not cope with the main challenges on the IoT security provisioning. Usually\, such proposals are based on a choi ce either interoperability with standard protocols or heterogeneity of devi ces covered by the proposal. In one hand\, proposals that prioritize intero perability uses standardized Internet security mechanisms\, usually impleme nted with some optimization\, and then assumes that constrained devices do not have resources enough to execute security mechanisms. On the other hand \, proposals that prioritize to cover the heterogeneity of devices implemen ts new security mechanisms\, then reducing the interoperability with tradit ional Internet appliances. Also\, both alternatives commonly result in solu tions with limitations in terms of other IoT requirements\, such as the sca lability\, automaticity\, and mobility of the solution. Therefore\, this th esis proposes an architecture to guarantee authenticity\, confidentiality\, and integrity to IoT communications. The proposed architecture implements a mechanism that enables an optional delegation of heavyweight security pro cesses to a trusted third party and uses DTLS to establish secure sessions. Thus\, this mechanism allows a constrained device to delegate processes th at overwhelm its resources to the trusted third party in a transparent way\ , whereas devices with more resources execute entire security process witho ut this support. This way\, the proposal aims to comply with both heterogen eity and interoperability requirements of IoT. Another objective of this th esis is to investigate other challenges on provisioning of IoT security\, a nd then to cope with these challenges using the proposed architecture. The architecture evaluation is performed and shows that the optional delegation is an effective way to increase the heterogeneity of the security solution \, providing secure communications to constrained devices through standardi zed protocols. Additionally\, the proposed architecture overcomes challenge s on IoT security that are not covered by the other proposals. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE TESE DE DOUTORADO Aluno: Fernando Stefanello Banca Examinadora:<
/strong> Presidente da Banca: Pro fa. Dra. Luciana Salete Buriol Abstract: In our high ly connected world\, new technologies provide continuous changes in the spe ed and efficiency of telecommunication and transportation networks. Many of these technologies come from research on network optimization problems wit h applications in different areas. In this thesis\, we investigate three co mbinatorial optimization problems that arise from optimization on networks. First\, traffic engineering problems in transportation networks are addres sed. The main objective is to investigate the effects of changing the cost of some links in the network regarding some well-defined user behavior. The goal is to control the flow in the network and seek a better flow distribu tion over the network and then minimize the traffic congestion or maximize the flow on a subset of links over network conditions. The first problem co nsidered is to install a fixed number of tollbooths and define the values o f tariffs to minimize the average user travel time. The second problem cons idered is to define the values of tariffs to maximize the revenue collected in the tolled arcs. In both problems\, users choose the routes based on th e least cost paths from source to destination. From telecommunication netwo rks\, a placement problem subjected to network conditions is considered. Th e main objective is to place a set of resources minimizing the communicatio n cost. An application from cloud computing is considered\, where the resou rces are virtual machines that should be placed in a set of data centers. N etwork conditions\, such as bandwidth and latency\, are considered in order to ensure the service quality. For all these problems\, mathematical model s are presented and evaluated using a general-purpose commercial solver as an exact method. Furthermore\, new heuristics approaches are proposed\, inc luding some based on biased random-key genetic algorithm (BRKGA). Experimen tal results demonstrate the good performance of the proposed heuristic appr oaches\, showing that BRKGA is an efficient tool for solving different kind s of combinatorial optimization problems\, especially over network structur es. Keywords: Heuristic\, Network problems\, BRKGA\, Cloud computing. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM MICROEL ETRÔNICA |
| ---------------------------------------------------------
DEFESA DE TESE DE DOUTORADO Aluno: João Wagner Lopes de Oliveira Banca Examinadora: |
Palestrantes: Marcelo Johann e Andrei Yefinczuk
Local: Auditório Prof. Castilho (Verde)\, prédio 43424(72)
Sexta-Feira\, 11 de Dezembro de 2015\, à s 13:30h
Duração aproximada: 1:30h
Nesta palestra apresentamos o pro jeto de uma nova mesa de som para gravação de concertos de música clássica\ , que foi desenvolvida por nós de janeiro a outubro de 2015\, para manter e aperfeiçoar a tradição de registro de áudio de alta-qualidade com equipame ntos dedicados\, desenvolvida durante décadas pelo especialista Marcello Sf oggia. Apresentaremos o contexto do trabalho que fazemos gravando os concer tos da OSPA e Orquestra da ULBRA\, principalmente\, sob coordenação do músi co e produtor Hique Gomez\, a motivação e importância do projeto de novos e quipamentos digitais e analógicos\, os detalhes técnicos e melhorias que já implementamos na nova mesa\, resultados e próximos passos. Mostraremos alg uns trechos dos primeiros registros gravados com ela. Ao final responderemo s a perguntas e os participantes poderão ver de perto os circuitos com a me sa aberta para observar as características de projeto e montagem.
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Vinicius da Costa de Azevedo Banca Examinadora: Abstract: Standard grid-based fluid animation methods
have long struggled to resolve flows involving narrow gaps and thin bounda
ry features. Past approaches have artificially inflated or voxelized thin o
bject boundaries\, but this sacrifices the correct geometry and topology of
the fluid domain and prevents flow through narrow regions. We present a bo
undary-respecting fluid simulator that overcomes these challenges. Our solu
tion is to clip the solid boundary against the cells of a regular grid to g
enerate a topologically correct\, boundary-conforming cut-cell mesh. We ext
end both velocity advection and pressure projection to support this enhance
d mesh structure. We introduce a modified FLIP advection scheme to avoid th
e need to reinitialize invalid cells swept over by moving boundaries\, and
use polyhedral interpolation to improve the degree to which the flow confor
ms to irregular and possibly non-convex cell boundaries. We also introduce
a graph-based topology-aware pressure projection that preserves incompressi
bility even in thin regions and yields symmetric positive definite linear s
ystems. Moreover\, it is straightforward to implement and consistent with e
xisting second-order schemes for volumetric solid boundaries. Our results e
nable successful one-way solid-fluid coupling in the presence of thin objec
ts and narrow flow regions even on coarse grids. Keywords: Fluid simulation\, physics based animation\, computer graphics. |
| UNIVERSIDADE FEDERAL DO RIO GR
ANDE DO SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTAÇÃO |
| ------------------------------------------------------
--- DEFESA DE PROPOSTA DE TESE Aluno:<
/strong> Rodrigo Santos de Souza Banca Examinadora: Presidente da Banca: Prof. Dr. Claudio Fernando Resin Geyer Resumo: Um dos pri ncipais desafios de pesquisa na UbiComp consiste em fornecer mecanismos par a a ciência contexto que promovam o desenvolvimento de aplicações que reaja m de acordo com a dinâmica do ambiente de interesse do usuário. Para manter o conhecimento a respeito desse ambiente\, a área da UbiComp pressupõe a u tilização de informações produzidas e disponibilizadas em diferentes locali zações\, o tempo todo. Nesse sentido\, os recentes avanços na área da Inter net das Coisas (IoT) têm proporcionado uma crescente disponibilidade de sen sores e atuadores conectados em rede\, os quis constituem fontes geradoras de informações contextuais em massa. Com essa motivação\, nessa proposta de tese é apresentado o CoIoT\, uma arquitetura para Internet das Coisas conc ebida com o objetivo de gerenciar a coleta e o processamento das informaçõe s contextuais do ambiente físico bem como a atuação remota sobre o mesmo. O CoIoT foi idealizado considerando os trabalhos previamente desenvolvidos p elo grupo de pesquisa GPPD (Grupo de Processamento Paralelo e Distribuído) da UFRGS\, particularmente o Middleware EXEHDA (Execution Environment for H ighly Distributed Applications). Na concepção do CoIoT foi adotada uma abor dagem distribuída de processamento de contexto que contempla tanto as premi ssas da IoT quanto as demandas das aplicações da UbiComp. A arquitetura pro posta também contempla mecanismos baseados em regras e triggers para tratar os eventos que caracterizam as mudanças de estados dos contextos de intere sse. Além disso\, a arquitetura proposta gerencia outros aspectos important es nos cenários da IoT\, como o tratamento da interoperabilidade\, da heter ogeneidade\, apoio ao controle da escalabilidade e descoberta de recursos. Até o presente momento\, entende-se como contribuições centrais desta tese: (i) a concepção de uma arquitetura para IoT capaz de realizar de forma dis tribuída tanto a coleta e processamento contextual das informações coletada s\, como a atuação remota no meio a fim de atender as aplicações da UbiComp e\, (ii) a proposição de um modelo de processamento de eventos adequado ao s cenários da IoT. Para avaliar o que foi desenvolvido até o momento da arq uitetura do CoIoT foi realizado um estudo de caso tendo em vista as demanda s de pesquisadores da área da agricultura\, particularmente da análise de s ementes. Palavras-chave: Computação ubíqua\, interne t das coisas\, ciência do contexto. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Carlos Alberto de Araújo Padilha Banca
Examinadora: Presidente da Banca: Prof. Dr. Dante Augusto Couto Barone Resumo: Apesar dos sistemas de comitê já terem se m ostrado um método eficiente para aumentar a acurácia e estabilidade de algo ritmos de aprendizado nas décadas recentes\, sua construção tem uma questão para ser elucidada: diversidade. O desacordo entre os modelos que compõe o comitê pode ser gerado quando eles são contruídos sob diferentes circunstâ ncias\, tais como conjunto de dados de treinamento\, configuração dos parâm etros e a seleção dos algoritmos de aprendizado. O ensemble pode ser visto como uma estrutura com três níveis: espaço de entrada\, a base de component es e o bloco de combinação das respostas dos componentes. Nós propomos uma abordagem multi-nível usando Algoritmos Genéticos para construir um ensembl e de Máquinas de Vetor de Suporte por Mínimos Quadrados ou LS-SVM\, realiza ndo uma seleção de atributos no espaço de entrada\, parametrização e a esco lha de quais modelos irão compor o comitê no nível de componentes e a busca por um vetor de pesos que melhor represente a importância de cada classifi cador na resposta final do comitê. A combinação de seleção de atributos e p arametrização deve ajudar a promover ainda mais diversidade. De forma a ava liar a performance da abordagem proposta\, nós usamos alguns benchmarks par a comparar com outros algoritmos de classificação\, incluindo algumas mudan ças na função de fitness da nossa abordagem. Em seguida\, na seção de Persp ectivas Futuras\, nós propomos um objetivo final para o trabalho de tese\, que se trata do uso da aprendizagem semi-supervisionada no lugar da tradici onal aprendizagem supervisionada\, tendo como figuras principais a abordage m CLT (cluster-then-label) e o classificador S3VM (Semisupervised Support V ector Machine). Palavras-chave: Fluid simulation\, p hysics based animation\, computer graphics. |
CATEGORIES:Proposta de Tese,Defesas ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/proposta-de-tese -carlos-alberto-de-araujo-padilha/ END:VEVENT BEGIN:VEVENT UID:20151214T2101Z-1450126867.9186-EO-2896-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20151214T151609Z LAST-MODIFIED:20151214T151609Z DTSTART;TZID=America/Sao_Paulo:20151217T090000 DTEND;TZID=America/Sao_Paulo:20151217T110000 SUMMARY: Tese de Doutorado – Dalton Martini Colombo DESCRIPTION: DEFESA DE TESE DE DOUTORADO O Programa de Pós-Graduação em Mic roeletrônica – PGMICRO\, da Universidade Federal do Rio Grande do Sul\, tem a satisfação de convidar a Comunidade Universitária para assistir à defesa pública de Tese de Doutorado do aluno Dalton Martini Colombo a realizar-se : Data: 17/12/2015 Hora: 09:00 Local: Auditório 1- Prédio 43412- INF- […] X-ALT-DESC;FMTTYPE=text/html:
DEFESA DE TESE DE DOUTORADO O Programa de Pós-Graduação em Microeletrônica - PGMICRO\, da Universida de Federal do Rio Grande do Sul\, tem a satisfação de convidar a Comunidade Universitária para assistir à defesa pública de Tese de Doutorado do aluno Dalton Martini Colombo a realizar-se:
Data: 17/12/2
015
Hora: 09:00
Local: Auditór io 1- Prédio 43412- INF- UFRGS
Título: Design of Ana log Integrated Circuits Aiming Characterization of Radiation and Noise
< p>Orientador: Gilson Inácio WirthCoorientado r: Sergio Bampi
Banca Examinadora:
Pro
f. Dr. Hamilton Duarte Klimach (UFRGS-PGMICRO)
Prof. Dr. Tiago Roberto
Balen (UFRGS-PGMICRO)
Prof. Dr. Laurent Courcelle (CEITEC)
Regarding radiation\, the concern of this work is the Total Ionizing Do se (TiD): accumulation of ionizing dose deposited (electrons and protons) o ver a long time in insulators leading to degradation of electrical paramete rs of transistors (e.g. threshold voltage and leakage). This work presents a case-study composed by bandgap-based and threshold voltage-based voltage reference circuits implemented in a commercial 130 nm CMOS process. A chip containing the designed circuits were irradiated through a γ-ray of a Cobal t source (60 Co) and the impact of TiD effects up to 490 krad on the output voltages is presented. It was found that the impact of radiation was simil ar or more severe than the fabrication process for most of the case-study c ircuits. For the bandgap-based reference\, TiD effects result in a variatio n of the output voltage of 5.5 %\, while for the threshold voltage referenc e the output variation was between 2% and 15%.
Regarding noise\, the concern of this work is the transistor flicker noise under cyclostationary operation\, that is\, when the voltage at transistor gate terminal is const antly varying over time. Under these conditions\, the flicker noise becomes a function of VGS\; and its is not accurately predicted by traditional tra nsistor flicker noise models. This thesis presents a case-study composed by voltage oscillators (inverter-based ring and LC-tank topologies) implement ed in 45 and 130 nm CMOS processes. The oscillation frequency and its depen dency on the bulk bias were investigated Considering the ring-oscillator\, the average oscillation frequency variation caused by supply voltage and bu lk bias variation are 495 kHz/mV and 81 kHz/mV\, respectively. The average oscillation frequency is de 103.4 MHz and the measured averaged Periodic ji tter for 4 measured samples is 7.6 ps. For the LC-tank\, the measured oscil lation frequency was 2.419 GHz and the total frequency variation considerin g 1 V of bulk bias voltage was only ~ 0.4 %.
Keywords: Flicker noise\, RTS noise\, Radiation\, Total dose effects\, Voltage ref erence\, Voltage oscillators\, LC-tank\, Bandgap\, Threshold voltage
CATEGORIES:Defesas,Tese de Doutorado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/tese-de-doutorad o-dalton-martini-colombo/ END:VEVENT BEGIN:VEVENT UID:20151214T2101Z-1450126867.9254-EO-2899-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20151214T175741Z LAST-MODIFIED:20151214T175741Z DTSTART;TZID=America/Sao_Paulo:20151217T103000 DTEND;TZID=America/Sao_Paulo:20151217T103000 SUMMARY: Tese de Doutorado – Jéferson Campos Nobre DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE TESE DE DOUTORADO Aluno: Jéferson Campos Nobre Orientador: Prof. Dr. Lisand ro Zambenedetti Granville Título: Decentralized Detection of Violations of Service Level Agreements using Peer-to-Peer Technology Linha de Pesquisa: R edes de Computadores Data: 17/12/2015 Hora: 10:30 Local: Prédio […] X-ALT-DESC;FMTTYPE=text/html:| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE TESE DE DOUTORADO Aluno: Jéferson Campos Nobre Banca Examinadora: President e da Banca: Prof. Dr. Lisandro Zambenedetti Granville Keywords: Network management. P2P. P2P- Based Network Management. SLA. Active measurement. Autonomic management. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Alessandro Bof de Oliveira
Presidente da Banca: Pro f. Dr. Dante Augusto Couto Barone Resumo: A identifi cação de formas apresenta inúmeras aplicações na área de visão computaciona l\, pois representa uma poderosa ferramenta para analisar as característica s de um objeto. Dentre as aplicações\, podemos citar como exemplos a intera ção entre humanos e robôs\, com a identificação de ações e comandos\, e a a nálise de comportamento para vigilância com a biometria não invasiva. Em no sso trabalho nós desenvolvemos um novo descritor de formas 2D baseado na ut ilização de redes complexas e teoria espectral de grafos. O contorno da for ma de um objeto é representado por uma rede complexa\, onde cada ponto pert encente a forma será representado por um vértice da rede. Utilizando uma di nâmica gerada artificialmente na rede complexa\, podemos definir uma série de matrizes de adjacência que refletem a dinâmica estrutural da forma do ob jeto. Cada matriz tem seu espectro calculado\, e os principais autovalores são utilizados na construção de um vetor de características. Esse vetor\, a pós aplicar as operações de módulo e normalização\, torna-se nossa assinatu ra espectral de forma. Os principais autovalores de um grafo estão relacion ados com propriedades topológicas do mesmo\, o que permite sua utilização n a descrição da forma de um objeto. Para validar nosso método\, nós realizam os testes quando ao seu comportamento frente a transformações de rotação e escala e estudamos seu comportamento quanto à contaminação das formas por r uído Gaussiano e quanto ao efeito de oclusões parciais. Utilizamos diversas bases de dados comumente utilizadas na literatura de análise de formas par a averiguar a eficiência de nosso método em tarefas de recuperação de infor mação. Concluímos o trabalho com a análise qualitativa do comportamento de nosso método frente a diferentes curvas e estudando uma aplicação na identi ficação de sequência de caminhada. Os resultados obtidos em comparação aos outros métodos mostram que nossa assinatura espectral de forma apresenta bo m resultados na precisão de recuperação de informação\, boa tolerância a co ntaminação das formas por ruído e oclusões parciais\, e capacidade de disti nguir ações humanas e identificar os ciclos de uma sequência de caminhada.< /p> Palavras-chave: Processamento de imagens\, Formas 2D \, Teoria espectral de grafos\, Redes complexas. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE TESE DE DOUTORADO Aluno: Árton Pereira Dorneles B
anca Examinadora: Presidente da Banc a: Profa. Dra. Luciana Salete Buriol Abstract: The school timetabling is a classic optimization problem that has been extensively studied due to its practical and theoretical importance. It con sists in scheduling a set of class-teacher meetings in a prefixed period of time\, satisfying requirements of different types. Given the combinatorial nature of this problem\, solving medium and large instances of timetabling to optimality is a challenging task. When resources are tight\, often it i s difficult to find even a feasible solution. Several techniques have been developed in the scientific literature to tackle the high school timetablin g problem\, however\, robust solvers do not exist yet. Since the use of exa ct methods\, as mathematical programming techniques\, are considered imprac ticable to solve large real world instances\, metaheuristics and hybrid met aheuristics are the most used solution approaches. In this research we deve lop techniques that combine mathematical programming and (meta)heuristics\, so called matheuristics\, to solve efficiently and in a robust way some va riants of the high school timetabling problem. Although we pay special atte ntion to problems arising in Brazilian institutions\, the proposed methods can also be applied to similar problems from different countries. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Anubis Graciela de Moraes Rossetto Banca Examinadora: Presid ente da Banca: Prof. Dr. Claudio Fernando Resin Geyer
|
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Vítor Fortes Rey Banca
Examinadora: Presidente da Banca: Prof. Dr. Edson Preste s e Silva Junior Abstract: Activity recognition is a vital need in the field of ambient intelligence. It is essential for many internet of things applications including energy management\, healthcare sy stems and home automation. But\, even with the many cheap mobile sensors en visioned by the internet of things\, activity recognition remains a hard pr oblem. This is due to uncertainty in sensor readings and the complexity of activities themselves. Evidence theory models provide activity recognition even in the presence of uncertain sensor readings\, but cannot yet model co mplex activities or dynamic changes in sensor and environment configuration s. This work proposes combining knowledge-based approaches with evidence th eory\, improving the construction of evidence theory models for activity re cognition by bringing reusability\, flexibility and rich semantics. < strong>Keywords: dempster–shafer theory\, ontology\, evidence theo ry\, activity modelling\, activity recognition\, smart home. |
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
---------------------------------------------------------
DEFES A DE TESE DE DOUTORADO
Aluno: Alessandro Bof de Oliveira
Orienta
dor: Prof. Dr. Dante Augusto Couto Barone
Título: Descritor de forma 2
D baseado em redes complexas e teoria espectral de grafos
Linha de Pes
quisa: Processamento de imagens.
Data: 13/01/2016
Hora: 10:30
Local: Prédio 43412 – AUD1\, Instituto de Informática.
Banca Examin
adora:
Profª. Drª. Letícia Vieira Guimarães (UERGS)
Prof. Dr. Luc
iano Silva da Silva (FURG)
Prof. Dr. Wilson Pires Gavião Neto (UNIRRIT
ER)
Prof. Dr. Edson Prestes e Silva Júnior (UFRGS)
Presidente da
Banca: Prof. Dr. Dante Augusto Couto Barone
Resumo: A identificação d e formas apresenta inúmeras aplicações na área de visão computacional\, poi s representa uma poderosa ferramenta para analisar as características de um objeto. Dentre as aplicações\, podemos citar como exemplos a interação ent re humanos e robôs\, com a identificação de ações e comandos\, e a análise de comportamento para vigilância com a biometria não invasiva. Em nosso tra balho nós desenvolvemos um novo descritor de formas 2D baseado na utilizaçã o de redes complexas e teoria espectral de grafos. O contorno da forma de u m objeto é representado por uma rede complexa\, onde cada ponto pertencente a forma será representado por um vértice da rede. Utilizando uma dinâmica gerada artificialmente na rede complexa\, podemos definir uma série de matr izes de adjacência que refletem a dinâmica estrutural da forma do objeto. C ada matriz tem seu espectro calculado\, e os principais autovalores são uti lizados na construção de um vetor de características. Esse vetor\, após apl icar as operações de módulo e normalização\, torna-se nossa assinatura espe ctral de forma. Os principais autovalores de um grafo estão relacionados co m propriedades topológicas do mesmo\, o que permite sua utilização na descr ição da forma de um objeto. Para validar nosso método\, nós realizamos test es quando ao seu comportamento frente a transformações de rotação e escala e estudamos seu comportamento quanto à contaminação das formas por ruído Ga ussiano e quanto ao efeito de oclusões parciais. Utilizamos diversas bases de dados comumente utilizadas na literatura de análise de formas para averi guar a eficiência de nosso método em tarefas de recuperação de informação. Concluímos o trabalho com a análise qualitativa do comportamento de nosso m étodo frente a diferentes curvas e estudando uma aplicação na identificação de sequência de caminhada. Os resultados obtidos em comparação aos outros métodos mostram que nossa assinatura espectral de forma apresenta bom resul tados na precisão de recuperação de informação\, boa tolerância a contamina ção das formas por ruído e oclusões parciais\, e capacidade de distinguir a ções humanas e identificar os ciclos de uma sequência de caminhada.
P alavras-chave: Processamento de imagens\, Formas 2D\, Teoria espectral de g rafos\, Redes complexas.
CATEGORIES:Defesas,Tese de Doutorado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/tese-de-doutorad o-alessandro-bof-de-oliveira/ END:VEVENT BEGIN:VEVENT UID:20160109T1809Z-1452362977.5039-EO-3111-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160108T180724Z LAST-MODIFIED:20160108T180724Z DTSTART;TZID=America/Sao_Paulo:20160115T103000 DTEND;TZID=America/Sao_Paulo:20160115T103000 SUMMARY: Dissertação de Mestrado – Lucas Mendes Ribeiro Arbiza DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Lucas Mendes Ribeiro Arbiza Orientador: Prof a. Dra. Liane Margarida Rockenbach Tarouco Título: Refatoração de Middlewar e para Monitoramento de Pacientes Crônicos Baseada em Software-Defined Netw orking. Linha de Pesquisa: Redes de Computadores. Data: 15/01/2016 Hora: [… ] X-ALT-DESC;FMTTYPE=text/html:| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Lucas Mendes Ribeiro Arbiza Banca Examinadora: Presidente da Banca: Profa. Dra. Liane Margarida Roc
kenbach Tarouco Resumo: Algumas palavras e definiçõe
s comumente utilizadas quando se está falando de Software-Defined Networkin
g\, como programabilidade\, flexibilidade\, ou gerenciamento centralizado\,
parecem muito apropriadas ao contexto de um outro paradigma de rede: Inter
net of Things. Em redes domésticas já não é incomum a existência de disposi
tivos projetados para segurança\, climatização\, iluminação\, monitoramento
de saúde e algumas formas de automação que diferem entre si em diversos as
pectos\, como no modo de operar e de se comunicar. Lidar com este tipo de c
enário\, que pode diferir bastante daquilo que estamos acostumados na gerên
cia de redes e serviços\, fazendo uso dos recursos tradicionais como ferram
entas e protocolos bem estabelecidos\, pode ser difícil e\, em alguns casos
\, inviável. Com o objetivo de possibilitar o monitoramento remoto de pacie
ntes com doenças crônicas através de dispositivos de healthcare disponíveis
no mercado\, uma proposta de middleware foi desenvolvida em um projeto de
pesquisa para contornar as limitações relacionadas à interoperabilidade\, c
oleta de dados\, gerência\, segurança e privacidade encontradas nos disposi
tivos utilizados. O middleware foi projetado com o intuito de rodar em acce
ss points instalados na casa dos pacientes. Contudo\, as limitações de hard
ware e software do access point utilizado refletem no desenvolvimento\, poi
s restringem o uso de linguagens de programação e recursos que poderiam agi
lizar e facilitar a implementação dos módulos e dos mecanismos necessários.
Os contratempos encontrados no desenvolvimento motivaram a busca por alter
nativas\, o que resultou na refatoração do middleware através Software-Defi
ned Networking\, baseando-se em trabalhos que exploram o uso desse paradigm
a em redes domésticas. O objetivo deste trabalho é verificar a viabilidade
da utilização de Software-Defined Networking no contexto de Internet of Thi
ngs\, mais especificamente\, aplicado ao serviço de monitoramento de pacien
tes da proposta anterior e explorar os possíveis benefícios resultantes. Co
m a refatoração\, a maior parte da carga de serviços da rede e do monitoram
ento foi distribuída entre servidores remotos dedicados\, com isso os desen
volvedores podem ir além das restrições do access point e fazer uso de recu
rsos antes não disponíveis\, o que potencializa um processo de desenvolvime
nto mais ágil e com funcionalidades mais complexas\, ampliando as possibili
dades do serviço. Adicionalmente\, a utilização de Software-Defined Network
ing proporcionou a entrega de mais de um serviço através de um único access
point\, escalabilidade e autonomia no gerenciamento das redes e dos dispos
itivos e na implantação de serviços\, fazendo uso de recursos do protocolo
OpenFlow\, e a cooperação entre dispositivos e serviços a fim de se criar u
ma representação digital mais ampla do ambiente monitorado. P
alavras-chave: Software-defined networking\, internet of things\,
gerência de redes\, middleware\, redes domésticas. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Marcos Antonio de Oliveira Junior Banca Examinadora: Presidente da Banc a: Profª. Drª. Leila Ribeiro Resumo: O cres cimento da complexidade e do tamanho dos sistemas computacionais atuais sus citou um aumento na dificuldade de extração e especificação de modelos form ais desses sistemas\, tornando essa atividade cada vez mais dispendiosa\, t anto em tempo quanto em custo. Modelos são utilizados em diversas técnicas da Engenharia de Software\, com o intuito de auxiliar em processos que comp reendem desde o desenvolvimento de novos softwares\, até reconstrução de um sistema a partir de software legado\, passando pela realização de manutenç ão de um software em operação\, portanto\, é necessário que essas abstraçõe s sejam confiáveis e representem fielmente o software real. Nesse sentido\, a adoção de métodos formais para a construção e análise de modelos computa cionais é crescente e motivada\, principalmente\, pela confiabilidade que o s formalismos matemáticos agregam aos modelos. No entanto\, a utilização de métodos formais\, geralmente\, demanda um alto investimento de recursos hu manos e\, consequentemente\, financeiros\, uma vez que a utilização de tais formalismos é condicionada ao estudo profundo de sua fundamentação matemát ica. Considerando-se a extensa aplicabilidade de modelos em diversas subáre as da Ciência da Computação e as vantagens advindas da utilização de método s formais para especificar sistemas\, é interessante identificar métodos e ferramentas existentes para automatizar os processos de extração e análises de modelos\, em conjunto com a adoção de formalismos que possam ser utiliz ados por profissionais da computação que atuam na indústria de software. De ssa forma\, é estimulada nesse trabalho a utilização do formalismo de Gramá tica de Grafos\, um método formal que diferencia-se dos demais por ser intu itivo e possuir uma representação visual gráfica\, o que facilita a sua com preensão e não exige um conhecimento avançado sobre o formalismo. Primeiram ente\, é proposta uma abordagem para a extração de modelos em Gramática de Grafos a partir de código-fonte\, extraindo informações de execuções de cód igo Java anotado. Em seguida\, é apresentada uma metodologia existente para extração e análise de Gramática de Grafos a partir de Casos de Uso\, junta mente com um estudo empírico realizado a fim de validar a metodologia. Por fim\, são propostas possíveis verificações adicionais\, a fim de estender a s análises dessa metodologia. Com isso\, busca-se a obtenção de modelos\, d escritos através do formalismo de grafos\, a partir de artefatos criados no s dois pólos do processo de desenvolvimento de software\, antes e depois da implementação\, no sentido de viabilizar futuras comparações\, no contexto de verificação de software. Palavras-chave: Gramáti ca de Grafos. Extração de Modelos a partir de código. Caso de Uso. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Guilherme Bertini Boettcher Banca Examinadora: Presidente da B anca: Profa. Dra. Carla Maria Dal Sasso Freitas Resu mo: As mídias sociais tiveram grande impacto no processo de inovaç ão de jornais e revistas\, porém adaptar-se em momentos de recessão ocasion ou uma evolução apressada e procedimentos automatizados para mídias essenci almente diferentes. Apesar de haver estudos e soluções estado-da-arte em vi sualização para mídias sociais dedicadas à análise do conteúdo e do comport amento de usuários\, nenhum método é otimizado (e especializado) para encon trar padrões do ponto de vista de popularidade no contexto de canais de not ícias. Nesta dissertação\, discutimos duas diferentes propostas de utilizaç ão de combinações de técnicas de visualização que correlacionam as atividad es de perfis e de sua comunidade de leitores com a popularidade resultante. Dados foram coletados reunindo postagens no Twitter\, o número de seguidore s dos perfis de interesse e os tópicos em tendência (trending topics) de can ais da imprensa mundial para formar o conjunto de dados base para as propos tas aqui apresentadas. Este conjunto de dados foi utilizado como semente pa ra visualizações destinadas a possibilitar a comparação de múltiplas fontes \, de forma que os usuários sejam habilitados a entender sua própria comuni dade e também os sucessos e derrotas enfrentados pelos perfis competidores n o mesmo meio. Essa análise foi validada através de entrevistas com um grupo de jornalistas de diferentes jornais estabelecidos. Através da interação c om o sistema\, é possível detectar padrões desconhecidos no grande volume d e dados de mensagens e comentários de todo o mundo\, possibilitando ao usuá rio uma visão única sobre os comportamentos e preferências de sua comunidad e. Palavras-chave: visualização de informação\, mídi a social\, processamento de imagens\, padrões temporais\, padrões de difusã o. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Anderson Santos Da Silva Banca Examinadora: Presidente da Banca: Prof. Dr. Alberto Egon Schaeffer Filho Re sumo: Software-Defined Networking (SDN) objetiva aliviar as limita ções impostas por redes IP tradicionais dissociando tarefas de rede executa das em cada dispositivo em planos específicos. Esta abordagem oferece vário s benefícios\, tais como a possibilidade de uso de protocolos de comunicaçã o padrão\, funções de rede centralizadas\, e elementos de rede mais específ icos e modulares\, tais como controladores de rede. Apesar destes benefício s\, ainda há uma falta de apoio adequado para a realização de tarefas relac ionadas à classificação de tráfego\, pois (i) as características de fluxo n ativas disponíveis no protocolo OpenFlow\, tais como contadores de bytes e pacotes\, não oferecem informação suficiente para distinguir de forma preci sa fluxos específicos\; (ii) existe uma falta de suporte para determinar qu al é o conjunto ótimo de características de fluxo para caracterizar um dado perfil de tráfego\; (iii) existe uma necessidade de estratégias flexíveis para compor diferentes mecanismos relacionados à detecção\, classificação e mitigação de anomalias de rede usando abstrações de software\; (iv) existe uma necessidade de monitoramento de tráfego em tempo real usando técnicas leves e de baixo custo\; (v) não existe um framework capaz de gerenciar det ecção\, classificação e mitigação de anomalias de uma forma coordenada cons iderando todas as demandas acima. Adicionalmente\, é sabido que mecanismos de detecção e classificação de anomalias de tráfego precisam ser flexíveis e fáceis de administrar\, a fim de detectar o crescente espectro de anomali as. Detecção e classificação são tarefas difíceis por causa de várias razõe s\, incluindo a necessidade de obter uma visão precisa e abrangente da rede \, a capacidade de detectar a ocorrência de novos tipos de ataque\, e a nec essidade de lidar com erros de classificação. Nesta dissertação\, argumenta mos que SDN oferece ambientes propícios para a concepção e implementação de esquemas mais robustos e extensíveis para detecção e classificação de anom alias. Diferentemente de outras abordagens na literatura relacionada\, que abordam individualmente detecção ou classificação ou mitigação de anomalias \, apresentamos um framework para o gerenciamento e orquestração dessas tar efas em conjunto. O framework proposto é denominado ATLANTIC e combina o us o de técnicas com baixo custo computacional para monitorar tráfego e técnic as mais computacionalmente intensivas\, porém precisas\, para classificar o s fluxos de tráfego. Como resultado\, ATLANTIC é um framework flexível capa z de categorizar anomalias de tráfego utilizando informações coletadas da r ede para lidar com cada perfil de tráfego de um modo específico\, como por exemplo\, bloqueando fluxos maliciosos. Palavras-chave: Detecção de anomalias\, classificação de tráfego\, monitoramento de trá fego\, framework de gerenciamento\, aprendizagem de máquina. |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Felipe dos Santos Giacomel Banca Examinadora: Presidente da Banca : Profa. Dra. Renata de Matos Galante Resumo: A previsão de séries temporais financeiras tem sido um tópico popular da literatura nos últimos anos. Contudo\, embora muitos estudos de previsão d e séries temporais foquem na previsão exata de valores futuros\, defendemos que este tipo de previsão é de difícil aplicação em cenários reais\, sendo mais vantajoso transformar este problema de previsão em um problema de cla ssificação que indique se a série temporal irá subir ou descer no próximo p eríodo. Neste trabalho é proposto um método de compra e venda de ações base ado nas previsões feitas por dois ensembles de redes neurais adaptados para diferentes perfis de investimento: um para investidores moderados e outro para investidores mais agressivos. Os resultados desses ensembles preveem s e determinada ação irá subir ou descer no próximo período ao invés de preve r seus valores futuros\, permitindo que se criem recomendações de operações de compra ou venda para o próximo período de tempo. A criação de tais ense mbles\, contudo\, pode encontrar dificuldades no fato de que cada mercado s e comporta de uma maneira diferente: fatores como a sazonalidade e a locali dade da bolsa de valores são determinantes no desenvolvimento das redes neu rais apropriadas. Para mostrar a eficiência do nosso método em diferentes s ituações\, o mesmo é avaliado exaustivamente em dois conjuntos de dados dif erentes: os mercados de ações norteamericano (S&P 500) e brasileiro (Bovesp a). Operações reais foram simuladas nestes mercados e fomos capazes de lucr ar em 89% dos casos avaliados\, superando os resultados das abordagens comp arativas na grande maioria dos casos. Palavras-chave: Redes neurais artificiais. Classificação. Previsão. Mercados de ações. Sé ries temporais. |
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
---------------------------------------------------------
DEFES A DE DISSERTAÇÃO DE MESTRADO
Aluno: Alexandra Lackmann Zimpeck
O
rientador: Prof. Dr. Ricardo Augusto da Luz Reis
Coorientadora: Profa.
Dra. Fernanda Gusmão de Lima Kastensmidt
Título: Timing Vulnerability
Factor Analysis in Master-Slave D Flip-Flops
Linha de Pesquisa: Micro
eletrônica
Data: 05/02/2016
Hora: 09:00
Local: Prédio 43413
(67) – Auditório Inferior do Instituto de Informática da UFRGS.
Banca
Examinadora:
Prof. Dr. Denis Teixeira Franco (UFPEL)
Prof. Dr. J
osé Rodrigo Furlanetto de Azambuja (FURG)
Prof. Dr. Raphael Martins Br
um (PPGEE/UFRGS)
Presidente da Banca: Prof. Dr. Ricardo Augusto da Lu z Reis
Abstract: Technology scaling has brought undesirable issues to maintain the exponential growth rate and it raises important topics relate d to reliability and robustness of electronic systems. Currently\, modern s uper pipelined microprocessors typically contain many millions of devices w ith ever decreasing load capacitances. This factor makes circuits more sens itive to environmental variations and it is increased the probability to in duce a soft error. Soft errors in sequential circuits occur when a single e nergetic particle deposits enough charge near a sensitive node. Master-slav e flip-flops are the most adopted sequential elements to work as registers in pipeline and finite state machines. If a bit-flip happens inside them\, they lose the previous stored information and may cause an incorrect system operation.To provide reliable systems that can cope with radiation effects \, this work analysis the Timing Vulnerability Factor (TVF) of some master- slave D flip-flops topologies in pipeline stages under different operating conditions. The effective time window\, which the bit-flip can still be cap tured by the next stage\, is defined as Window of Vulnerability (WOV). TVF corresponds to the time that a flip-flop is vulnerable to radiation-induced soft errors according to WOV and clock frequency.In the first step of this work\, it is determined the dependence between the TVF with the fault prop agation to the next stage through a combinational logic with different prop agation delays and with different nanometer technological models\, includin g also high performance and low power versions. All these simulations were made under the pre-defined nominal conditions in technology files.The varia bility manifests with an increase or decreases to initial specification\, w here the main problem is the uncertainty about the value stored in sequenti al. In this way\, the second step of this work evaluates the impact that en vironmental variability effect causes in TVF. Some simulations were redone considering supply voltage and temperature variations in different master-s lave D flip-flop topologies configurations. To achieve better results\, it is necessary to try to decrease the TVF values to reduce the vulnerability to bit-flips. The propagation delay between two sequential elements and hig her clock frequencies collaborates to reduce TVF values. Moreover\, all the information can be easily integrated into Electronic Design Automation (ED A) tools to help identifying the most vulnerable master-slave flip-flops be fore mitigating or replacing them by radiation hardened ones.
Keyword s: Microelectronics\, Soft Errors\, Window of Vulnerability\, Timing Vulner ability Factor\, Environmental variability.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-ale/ END:VEVENT BEGIN:VEVENT UID:20160203T0019Z-1454458778.8106-EO-3968-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160202T144816Z LAST-MODIFIED:20160202T144816Z DTSTART;TZID=America/Sao_Paulo:20160205T100000 DTEND;TZID=America/Sao_Paulo:20160205T100000 SUMMARY: Dissertação de Mestrado – Eliezer Emanuel Bernart DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Eliezer Emanuel Bernart Orientador: Prof. Dr . Sérgio Bampi Coorientador: Prof. Dr. Jacob Scharcanski Título: Detecção e Qualificação de Lesões Melanocíticas Através de Evidências Locais e de Con texto Linha de Pesquisa: Processamento de Imagens […] X-ALT-DESC;FMTTYPE=text/html:UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
---------------------------------------------------------
DEFES A DE DISSERTAÇÃO DE MESTRADO
Aluno: Eliezer Emanuel Bernart
Orie
ntador: Prof. Dr. Sérgio Bampi
Coorientador: Prof. Dr. Jacob Scharcans
ki
Título: Detecção e Qualificação de Lesões Melanocíticas Através de
Evidências Locais e de Contexto
Linha de Pesquisa: Processamento de Im
agens e Visão Computacional
Data: 05/02/2016
Hora: 10:00
Loc
al: Prédio 43412 – Sala 215\, Instituto de Informática.
Banca Examina
dora:
Prof. Dr. Philippe Olivier Alexandre Navaux (UFRGS)
Profa.
Dra. Carla Maria Dal Sasso Freitas (UFRGS)
Prof. Dr. John Soldera (PPG
EE/UFRGS)
Presidente da Banca: Prof. Dr. Jacob Scharcanski
Resu mo: Neste trabalho\, um novo método não-supervisionado para segmentação de lesões melanocíticas em imagens macroscópicas é proposto levando em conside ração regiões suspeitas\, e também uma nova abordagem para classificação de lesões que faz uso de evidências locais e de contexto para estimar um índi ce de probabilidade para malignidade em cada lesão. O método proposto reali za a segmentação das imagens em três tipos de regiões disjuntas: ’pele saud ável’\, ’região de incerteza’ e ’lesão’. Regiões de incerteza são refinadas através da utilização de feições estocásticas também de forma não-supervis ionada\, resultando em uma máscara binária que discrimina a pele da lesão. As máscaras obtidas apresentam um erro XOR comparável aos métodos estado da arte. A imagem é segmentada utilizando um algoritmo de superpixels e as su b-regiões que intersectam a máscara obtida são categorizadas como evidência s locais. Estas evidências são representadas por uma descrição especializad a que explora as características como cor e textura. Estas sub-regiões são então associadas à evidências de contexto definidas pela borda da lesão de onde foram extraídas e classificadas de forma independente através de uma a bordagem supervisionada. Com o resultado da classificação destas evidências é possível obter um indicador probabilístico para malignidade associado a cada lesão\, e levando em consideração um valor de tolerância é possível id entificar lesões malignas em potencial. Os resultados obtidos com o método proposto são promissores e apresentam maior acurácia do que os métodos exis tentes na literatura apesar do erro XOR da segmentação das lesões ser maior \, o que tende a confirmar o potencial do método proposto para discriminar lesões melanocíticas benignas e malignas.
Palavras-chave: Segmentação \, Classificação\, Lesões melanocíticas\, Imagens macroscópicas.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-eliezer-emanuel-bernart/ END:VEVENT BEGIN:VEVENT UID:20160203T0019Z-1454458778.8175-EO-3969-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160202T144850Z LAST-MODIFIED:20160202T144850Z DTSTART;TZID=America/Sao_Paulo:20160205T140000 DTEND;TZID=America/Sao_Paulo:20160205T140000 SUMMARY: Dissertação de Mestrado – Guilherme Schvarcz Franco DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Guilherme Schvarcz Franco Orientador: Prof. Dr. Edson Prestes e Silva Junior Título: S4FE: Sequential Feature Frequency Filter – Front-End for SLAM Linha de Pesquisa: Inteligência Artificial Dat a: 05/02/2016 Hora: 14:00 Local: Prédio 43412 […] X-ALT-DESC;FMTTYPE=text/html:UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
---------------------------------------------------------
DEFES A DE DISSERTAÇÃO DE MESTRADO
Aluno: Guilherme Schvarcz Franco
Or
ientador: Prof. Dr. Edson Prestes e Silva Junior
Título: S4FE: Sequent
ial Feature Frequency Filter – Front-End for SLAM
Linha de Pesquisa: I
nteligência Artificial
Data: 05/02/2016
Hora: 14:00
Local: P
rédio 43412 – Sala 215\, Instituto de Informática.
Banca Examinadora:
Prof. Dr. Claudio Rosito Jung (UFRGS – por videoconferência)
Pro
fa. Dra. Silvia Silva da Costa Botelho (FURG – por videoconferência)
P
rof. Dr. Dante Augusto Couto Barone (UFRGS)
Presidente da Banca: Prof . Dr. Edson Prestes e Silva Junior
Abstract: Loop closure recognition is one of the main processes of graph-based SLAM strategies\, used to esti mate the accumulated motion error to be minimized by the technique. Good sc ene correspondences allow to create constraints between two nodes in the gr aph that is currently being built to represent the environment that the rob ot is immersed. However\, false correspondences can lead these strategies t o an irreversible wrong environment representation. In this work\, we prese nt a robust feature-based loop closure approach that uses image sequence ma tching to recognize revisited areas. This approach uses Bag-ofWords to redu ce the effects of lightning changes and a TF-IDF weighting to enhance the m ain features that describe each scene. Besides\, an algorithm based on Mean Shift is used over a similarity matrix to identify the possible trajectory followed by the robot and improve the loop closure detection. Our method i s tested in a GPS-denied outdoor environment using image sequences collecte d using a handheld camera and a Parrot ArDrone 2.0.
Keywords: VisualS LAM\, Mean Shift\, Bag of Words.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-guilherme-schvarcz-franco/ END:VEVENT BEGIN:VEVENT UID:20160207T1415Z-1454854516.9092-EO-3981-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160206T180752Z LAST-MODIFIED:20160206T180752Z DTSTART;TZID=America/Sao_Paulo:20160211T110000 DTEND;TZID=America/Sao_Paulo:20160211T120000 SUMMARY: Defesa de Proposta de Tese – Matheus Brenner Lehmann DESCRIPTION: DEFESA DE PROPOSTA DE TESE Aluno: Matheus Brenner Lehmann Orie ntador: Prof. Dr. Marinho Pilla Barcellos Título: Towards a Location-Indepe ndent Support for Producer Mobility in NDN Linha de Pesquisa: Redes de Comp utadores Data: 11/02/2016 Hora: 11:00 Local: Prédio 43412 – Sala 215 (sala de videoconferência)\, Instituto de Informática. Banca Examinadora: Prof. D r. Arun Venkataramani (UMass) – […] X-ALT-DESC;FMTTYPE=text/html:DEFESA DE PROPOSTA DE TESE
Aluno: Matheus Brenner Lehmann
Orient
ador: Prof. Dr. Marinho Pilla Barcellos
Título: Towards a Location-Independent Support for Producer Mobility in NDN
Linha de Pesquisa: Redes de Computadores
Da
ta: 11/02/2016
Hora: 11:00
Loca
l: Prédio 43412 – Sala 215 (sala de videoconferência)\, Instituto
de Informática.
Banca Examinadora:
Prof. Dr. Ar
un Venkataramani (UMass) - por videoconferência
Prof. Dr. Jörg Ott (TU
M/Aalto University) - por videoconferência
Prof. Dr. Luciano Pachoal G
aspary (UFRGS)
Prof. Dr. Antônio Augusto de Aragão Rocha (UFF) - por v
ideoconferência
Presidente da Banca: Prof. Dr. Marin ho Pilla Barcellos
Abstract: The lack of user mobili ty support is one of the most relevant limitations of the current Internet to be addressed. The Named Data Networking (NDN) is a novel network archite cture proposed to overcome several Internet shortcomings\, including the us er mobility one. NDN supports consumer mobility by design but fails to offe r the same level of support for producer mobility. Existing approaches to e xtend the producer mobility support in NDN are host-centric\, which conflic ts with NDN principles\, and provide limited improvement. The primary goal of this thesis is to stretch the NDN principles to minimize the importance of location in supporting producer mobility. In particular\, this thesis pr oposes a content-centric solution that replicates and pushes objects proact ively and\, unlike previous approaches\, takes full advantage of NDN naming \, routing\, and caching features. We evaluate the proposed solution regard ing content availability\, consumer performance\, and network overhead as w ell as compare it to current NDN’s producer mobility support and extension proposals.
Keywords: Named Data Networking. Producer Mobility. Data Replication. Location-Independence.
CATEGORIES:Proposta de Tese ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-propos ta-de-tese-matheus-brenner-lehmann/ END:VEVENT BEGIN:VEVENT UID:20160207T1415Z-1454854517.0206-EO-3982-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160206T180910Z LAST-MODIFIED:20160206T180946Z DTSTART;TZID=America/Sao_Paulo:20160212T100000 DTEND;TZID=America/Sao_Paulo:20160212T120000 SUMMARY: Defesa de Dissertação de Mestrado – Carlos Francisco Habekost dos Santos DESCRIPTION: DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Carlos Francisco Habe kost dos Santos Orientadora: Profa. Dra. Lucinéia Heloisa Thom Título: Incr ementando a codificação da Notação e Modelo de Processo de Negócio Linha de Pesquisa: Engenharia de Software Data: 12/02/2016 Hora: 10h Local: Prédio 43412 – Sala 215\, Instituto de Informática. Banca Examinadora: Profa. Dra. Renata Galante (UFRGS) […] X-ALT-DESC;FMTTYPE=text/html:DEFESA DE DISSERTAÇÃO DE MESTRADO< /strong>
Aluno: Carlos Francisco Habekost dos Santos
Orientadora: Profa. Dra. Lucinéia Heloisa Thom
Título: Incrementando a codificação da Notação e Modelo de
Processo de Negócio
Linha de Pesquisa: Engenharia de
Software
Data: 12/02/2016
Hora: 10h
Local: Prédio 43412 – Sala 215\, Instituto de I
nformática.
Banca Examinadora:
Profa. Dra. Rena
ta Galante (UFRGS)
Prof. Dr. Leandro Krug Wives (UFRGS)
Profa. Dr
a. Flávia Maria Santoro (UNIRIO – por videoconferência)
Presi dente da Banca: Profa. Dra. Lucinéia Heloisa Thom
Re sumo: O gerenciamento de processos de negócio (BPM) objetiva a mel hor documentação e padronização dos processos de negócio\, além do aumento da eficiência e qualidade na execução dos processos. Um processo de negócio pode ser representado graficamente\, através da Notação e Modelo de Proces so de Negócio – BPMN (Business Process Model and Notation)\, a qual é um pa drão da OMG (Object Management Group) para modelagem de processos. A BPMN p rovê um extenso conjunto de elementos de modelagem\, tais como atividades\, eventos e desvios\, que possibilitam a representação de uma grande varieda de de processos de negócio. É uma notação com alto poder de expressão que p ermite capturar a relação lógica e temporal entre atividades\, objeto de da dos e recursos. Contudo\, considerando a especificação da BPMN\, existem li mitações entre a definição dos elementos notacionais e sua respectiva codif icação (no formato XML). Por exemplo\, não está expresso no XML do elemento fluxo de mensagem alguma definição que permita conectar apenas elementos p osicionados em piscinas distintas\, tal como descrito na definição conceitu al da notação. O principal enfoque deste trabalho é o desenvolvimento de um a lógica que permita expressar a definição textual para cada elemento notac ional. Tal lógica foi chamada neste trabalho de meta-algoritmo. Para verifi car a expressividade dos metaalgoritmos propostos\, foi utilizado técnicas de Teste de Software\, baseado em tabelas de decisão e grafos de fluxo de c ontrole. Além disso\, foi aplicada um questionário com o objetivo de verifi car a aceitação perante os usuários. Como resultado\, destaca-se que os met a-algoritmos tiveram aceitação de 73\,33% dos participantes do questionário . A principal contribuição deste trabalho é prover uma lógica mais aderente às definições textuais dos elementos notacionais\, além de evidenciar que os usuários podem ter um maior entendimento\, conforme verificado no questi onário aplicado.
Palavras-chave: Meta-algoritmos\, B PMN\, XML\, Elementos Notacionais.
CATEGORIES:Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-disser tacao-de-mestrado-carlos-francisco-habekost-dos-santos/ END:VEVENT BEGIN:VEVENT UID:20160214T0026Z-1455409592.0828-EO-3985-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160213T160338Z LAST-MODIFIED:20160213T160338Z DTSTART;TZID=America/Sao_Paulo:20160215T150000 DTEND;TZID=America/Sao_Paulo:20160215T150000 SUMMARY: Dissertação de Mestrado – Bruno Borguesan DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Bruno Borguesan Orientador: Prof. Dr. Márcio Dorn Título: GARTS: um Algoritmo Genético baseado no método de Seleção por Torneio Restrito Adaptativo para o problema de Predição de Estruturas 3D d e Proteínas Linha de […] X-ALT-DESC;FMTTYPE=text/html:UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
---------------------------------------------------------
DEFES A DE DISSERTAÇÃO DE MESTRADO
Aluno: Bruno Borguesan
Orientador:
Prof. Dr. Márcio Dorn
Título: GARTS: um Algoritmo Genético baseado no
método de Seleção por Torneio Restrito Adaptativo para o problema de Prediç
ão de Estruturas 3D de Proteínas
Linha de Pesquisa: Inteligência Artif
icial
Data: 15/02/2016
Hora: 15:00
Local: Prédio 43424 – Aud
itório Prof. Castilho\, Instituto de Informática da UFRGS.
Banca Exam
inadora:
Prof. Dr. Rodrigo Ligabue Braun (CBiot/UFRGS)
Profa. Dra
. Renata De Matos Galante (UFRGS)
Profa. Dra. Mariana Recamonde Mendoz
a (INF/UFRGS)
Presidente da Banca: Prof. Dr. Márcio Dorn
Resumo : Predizer a estrutura tridimensional de proteínas permanece como um dos pr oblemas mais desafiadores da Bioinformática Estrutural e até o momento cont inua sem solução. O conhecimento sobre a estrutura tridimensional de um pol ipeptídeo/proteína proporciona aos pesquisadores uma importante informação para inferir a função da proteína na célula e também na produção de fármaco s. Entretanto\, devido fato de que as regras que governam o processo de eno velamento dessas proteínas serem apenas parcialmente conhecidas varias solu ções podem acabar sendo consideradas ótimas durante a simulação. Nesta diss ertação\, é apresentado uma nova abordagem para a predição da estrutura tri dimensional de proteínas considerando o problema como multimodal. O método proposto combina um Algoritmo Genético (AG) e uma variação da Seleção por T orneio Restrito Adaptativo (ARTS) com o propósito de evitar a convergência do método em mínimos locais através da diversificação da população em grupo s restringindo suas interações por sua similaridade. O método proposto util iza conhecimento extraído da base de dados experimental através de uma bibl ioteca de fragmentos para inicializar a população com bons indivíduos. A ab ordagem também utiliza a preferencia conformacional da vizinhança dos amino ácidos a fim de reduzir o campo de busca do problema de predição da estrutu ra tridimensional de proteínas. O método proposto foi testado com um conjun to de 24 sequências de proteínas distintas. Através da análise estrutural r ealizada para cada uma das proteínas preditas\, foi possível verificar que a nova proposta apresenta resultados comparáveis com as estruturas determin adas experimentalmente. Sugerindo assim\, que a abordagem produziu bons res ultados. O método também foi comparado com o servidor I-TASSER limitando o seu conhecimento para apenas 25% das estruturas com similaridade de sequênc ia. Os resultados mostraram que a nossa abordagem foi capaz de produzir sol uções com valores de RMSD e GDT-TS melhores em mais de 50% dos casos de tes te\, corroborando assim com a efetividade do método proposto.
Palavra s-chave: Bioinformática Estrutural. Predição da Estrutura 3D de Proteínas. Metaheurísticas Multimodais. Métodos Baseados em Conhecimento.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-bruno-borguesan/ END:VEVENT BEGIN:VEVENT UID:20160217T0811Z-1455696702.1384-EO-4769-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160216T144756Z LAST-MODIFIED:20160216T144756Z DTSTART;TZID=America/Sao_Paulo:20160222T120000 DTEND;TZID=America/Sao_Paulo:20160222T120000 SUMMARY: Proposta de Tese – Daniel Stefani Marcon DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE PROPOSTA DE TESE Aluno: Daniel Stefani Marcon Orientador: Prof. Dr. Marinho Pilla Barcellos Título: Achieving Predictable and Work-Conserving Performa nce in Datacenters Linha de Pesquisa: Redes de Computadores Data: 22/02/201 6 Hora: 12:00 Local: Prédio 43412 – Sala 215 […] X-ALT-DESC;FMTTYPE=text/html:| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE POS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE PROPOSTA DE TESE Aluno:
Daniel Stefani Marcon Ba
nca Examinadora: Presidente da Banca: Prof. Dr. Marinho Pilla Barcellos Abstract: Avoi ding performance interference in datacenter networks (DCNs) is challenging. Evidence indicates that throughput achieved by virtual machines (VMs) in c urrent datacenters can vary by a factor of five or more\, leading to poor a nd unpredictable overall application performance. Recent efforts have propo sed techniques that present important shortcomings\, such as underutilizati on of resources\, significant management overhead or negligence of non-netw ork resources. In this thesis proposal\, we introduce three proposals that address performance interference in DCNs: IoNCloud\, Predictor and Packer ( under development). IoNCloud leverages the key observation that temporal ba ndwidth demands of cloud applications do not peak at exactly the same time. Therefore\, it seeks to provide predictable and guaranteed performance whi le minimizing network underutilization by (a) grouping applications in virt ual networks (VNs) according to their temporal network usage and need of is olation\; and (b) allocating these VNs on the cloud substrate. Despite achi eving its objective\, IoNCloud does not provide work-conserving sharing amo ng VNs\, which hurts provider revenue. Predictor\, an evolution over IoNClo ud\, employs Software-Defined Networking (SDN) to dynamically program the n etwork and uses two novel algorithms to provide network guarantees with wor k-conserving sharing. Furthermore\, Predictor is designed with scalability in mind\, taking into consideration the number of entries required in flow tables and flow setup time in DCNs with high turnover and millions of activ e flows. Despite the benefits\, IoNCloud and Predictor neglect resources ot her than the network at allocation time. This leads to fragmentation of non -network resources and\, consequently\, results in less applications being allocated in the infrastructure. Packer\, in contrast\, aims at providing p redictable and guaranteed network performance while minimizing overall mult i-resource fragmentation. The key insight is that applications have complem entary demands across time for multiple resources. To enable multi-resource allocation\, we are devising a new abstraction for specifying application requirements\, called Time-Interleaved Multi-Resource Abstraction (TI-MRA)\ , which allows the specification of multi-resource requirements across time . During the remainder of the PhD\, we will focus on designing\, developing and evaluating Packer to establish its benefits and limitations. |
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
---------------------------------------------------------
DEFES A DE DISSERTAÇÃO DE MESTRADO
Aluno: Aline Graciela Lermen dos Santos<
br />Orientadora: Profª. Drª. Karin Becker
Coorientadora: Profª. Drª.
Viviane Pereira Moreira
Título: Experimentos Comparativos Combinando A
prendizado Supervisionado e Tradução Automática para Mineração de Emoções e
m Textos Multilíngues.
Linha de Pesquisa: Sistemas de Informação
Data: 24/02/2016
Hora: 14:00
Local: Prédio 43412 – Sala 218\, Ins
tituto de Informática.
Banca Examinadora:
Prof. Dr. Emerson Cabr
era Paraíso (PPGIA – PUCPR)
Prof. Dr. Leandro Krug Wives (UFRGS)
Profª. Drª. Renata de Matos Galante (UFRGS)
Presidente da Banca: Prof ª. Drª. Karin Becker
Resumo: Com o avanço da Internet pelo mundo\, as pessoas passaram a interagir cada vez mais com a Web\, principalmente após o surgimento das redes sociais\, criando conteúdo que pode ser explorado d e diversas formas. Esse aumento de usuários tem sido global\, ou seja\, pes soas de diversos países passaram a produzir textos de diversos idiomas. Ess es textos compõem um rico conteúdo para Análise de Sentimentos Multilíngue. A maior parte dos trabalhos da área se focam em Mineração de Opinião\, ana lisando o sentimento através da polaridade. Outro tipo de sentimento que te m atraído atenção é a emoção\, embora não seja amplamente explorada a Análi se de Sentimentos Multilíngue usando emoção. Este trabalho utiliza técnicas geralmente usadas para Mineração de Opinião e polaridade para Análise de S entimentos Multilíngues usando emoção. O objetivo deste trabalho é comparar diferentes combinações de aprendizado de máquina supervisionado e tradução automática para criar corpora em diferentes idiomas a partir de corpora an otados já existentes. As duas formas de utilizar as traduções comparadas sã o: criando classificadores de emoção separados por idiomas\, chamados monol íngues\, e criando um classificador composto do idioma original e das tradu ções\, chamado multilíngue. É feito ainda um experimento cruzando dois corp ora\, visando avaliar o uso da tradução de um corpus com os textos originai s do outro. Os resultados dos experimentos mostram não apenas o sucesso de analisar emoção usando aprendizado supervisionado e tradução automática\, m as que o classificador multilíngue supera os classificadores monolíngues. O experimento cruzando os corpora mostra que para algumas emoções os corpora estão alinhados\, mas que para outras é preciso que haja maior similaridad e nos textos.
Palavras-chave: Análise de sentimentos. Análise de sent imentos multilíngues. Emoção. Mineração de emoções.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-aline-graciela-lermen-dos-santos/ END:VEVENT BEGIN:VEVENT UID:20160217T2031Z-1455741090.3237-EO-4771-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160217T115701Z LAST-MODIFIED:20160217T115701Z DTSTART;TZID=America/Sao_Paulo:20160224T153000 DTEND;TZID=America/Sao_Paulo:20160224T153000 SUMMARY: Dissertação de Mestrado – João Guilherme Faccin DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: João Guilherme Faccin Orientador: Profª. Drª . Ingrid Oliveira de Nunes Título: Preference and Context-based BDI Plan Se lection using Machine Learning: from Models to Code Generation Linha de Pes quisa: Inteligência Artificial Data: 24/02/2016 Hora: […] X-ALT-DESC;FMTTYPE=text/html:| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: João Guilherme Faccin Banca Examinadora: Presidente da Banca: Profª. Drª. Ingrid Oliveira de Nunes Abstract: The agent technology arises as a solution that provides flexibility and robust ness to deal with dynamic and complex domains. Such flexibility can be achi eved by the adoption of existing agent-based approaches\, such as the BDI a rchitecture\, which provides agents with the mental attitudes of beliefs\, desires and intentions. This architecture is highly customizable\, leaving gaps to be fulfilled in particular applications. One of these gaps is the p lan selection algorithm that is responsible for selecting a plan to be exec uted by an agent to achieve a goal\, having an important influence on the o verall agent performance. Different approaches have been proposed aiming to improve this plan selection process\, ranging from using machine learning techniques to adopting the concepts of preference satisfaction and utility values. However\, most of these approaches require considerable effort for customization and adjustment to be used in particular applications. Thus\, in this dissertation\, we propose a plan selection approach that is able to learn plans that provide possibly best outcomes\, based on current context and agent's preferences. Our approach is composed of a meta-model\, which must be instantiated to specify plan metadata\, and a technique that uses s uch metadata to learn and predict plan outcomes. We evaluated our approach experimentally\, and results indicate it is effective. Additionally\, we pr ovide a tool to support the development process of software agents based on our work. This tool allows developers to model and generate source code fo r BDI agents with learning capabilities. A user study was performed to asse ss the improvements of a tool-supported BDI-agent-based development method\ , and evidences suggest that our tool can help developers that are not expe rts or are unfamiliar with the agent technology. Keywords: Software agents\, BDI architecture\, plan selection process\, agent- oriented software engineering. |
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
---------------------------------------------------------
DEFES A DE DISSERTAÇÃO DE MESTRADO
Aluno: Leonardo Pereira Santos
Orie
ntador: Prof. Dr. Luigi Carro
Coorientador: Prof. Dr. Gabriel Luca Naz
ar
Título: Cost-Effective Dynamic Repair for FPGAs in Real-Time System
s.
Linha de Pesquisa: Sistemas Embarcados
Data: 25/02/2016
H
ora: 09:30
Local: Prédio 43413 (67) – Auditório Inferior\, Instituto d
e Informática.
Banca Examinadora:
Prof. Dr. Flavio Rech Wagner (
UFRGS)
Profa. Dra. Fernanda Gusmão de Lima Kastensmidt (UFRGS)
Pr
of. Dr. Eduardo Luis Rhod (UNISINOS)
Presidente da Banca: Prof. Dr. L uigi Carro
Resumo: Field-Programmable Gate Arrays (FPGAs) são largame nte utilizadas em sistemas digitais por características como flexibilidade\ , baixo custo e alta densidade. Estas características advém do uso de célul as de SRAM na memória de configuração\, o que torna estes dispositivos susc etíveis a erros induzidos por radiação\, tais como SEUs. TMR é o método de mitigação mais utilizado\, no entanto\, possui um elevado custo tanto em ár ea como em energia\, restringindo seu uso em aplicações de baixo custo e/ou baixo consumo. Como alternativa a TMR\, propõe-se utilizar DMR associado a um mecanismo de reparo da memória de configuração da FPGA chamado scrubbin g. O reparo de FPGAs em sistemas em tempo real apresenta desafios específic os. Além da garantia da computação correta dos dados\, esta computação deve se dar completamente dentro do tempo disponível (time-slot)\, devendo ser finalizada antes do tempo limite (deadline). A diferença entre o tempo de c omputação dos dados e a deadline é chamado de slack e é o tempo disponível para reparo do sistema. Este trabalho faz uso de scrubbing deslocado dinâmi co\, que busca maximizar a probabilidade de reparo da memória de configuraç ão de FPGAs dentro do slack disponível\, baseado em um diagnóstico do erro. O scrubbing deslocado já foi utilizado com técnicas de diagnóstico de grão fino (NAZAR\, 2015). Este trabalho propõe o uso de técnicas de diagnóstico de grão grosso para o scrubbing deslocado\, evitando as penalidades de des empenho e custos em área associados a técnicas de grão fino. Circuitos do c onjunto MCNC foram protegidos com as técnicas propostas e submetidos a seçõ es de injeção de erros (NAZAR\; CARRO\, 2012a). Os dados obtidos foram anal isados e foram calculadas as melhores posição iniciais do scrubbing para ca da um dos circuitos. Calculou-se a taxa de Failure-in-Time (FIT) para compa ração entre as diferentes técnicas de diagnóstico propostas. Os resultados obtidos confirmaram a hipótese inicial deste trabalho que a redução do núme ro de bits sensíveis e uma baixa degradação do período do ciclo de relógio permitiram reduzir a taxa de FIT quando comparadas com técnicas de grão fin o. Por fim\, uma comparação entre as três técnicas propostas é feita\, anal isando o desempenho e custos em área associados a cada uma.
Palavras- chave: Field-Programmable Gate Array (FPGA)\, diagnóstico de falhas\, toler ância a falhas\, reconfiguração parcial\, tempo real.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-leonardo-pereira-santos/ END:VEVENT BEGIN:VEVENT UID:20160219T0237Z-1455849478.6249-EO-4777-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160219T005920Z LAST-MODIFIED:20160219T005920Z DTSTART;TZID=America/Sao_Paulo:20160225T140000 DTEND;TZID=America/Sao_Paulo:20160225T140000 SUMMARY: Dissertação de Mestrado – Jeckson Dellagostin Souza DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Jeckson Dellagostin Souza Orientador: Prof. Dr. Antonio Carlos Schneider Beck Filho Título: A Reconfigurable Heterogene ous Multicore System with Homogeneous ISA. Linha de Pesquisa: Sistemas Emba rcados Data: 25/02/2016 Hora: 14:00 Local: Prédio 43412 – […] X-ALT-DESC;FMTTYPE=text/html:UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
---------------------------------------------------------
DEFES A DE DISSERTAÇÃO DE MESTRADO
Aluno: Jeckson Dellagostin Souza
Or
ientador: Prof. Dr. Antonio Carlos Schneider Beck Filho
Título: A Reco
nfigurable Heterogeneous Multicore System with Homogeneous ISA.
Linha
de Pesquisa: Sistemas Embarcados
Data: 25/02/2016
Hora: 14:00
Local: Prédio 43412 – Sala 215 (sala de videoconferência)\, Instituto de
Informática.
Banca Examinadora:
Prof. Dr. Gabriel Luca Nazar (UF
RGS)
Profa. Dra. Fernanda Gusmão de Lima Kastensmidt (UFRGS)
Prof
. Dr. Ricardo dos Santos Ferreira (UFV - por videoconferência)
Presid ente da Banca: Prof. Dr. Antonio Carlos Schneider Beck Filho
Abstract : Given the large diversity of embedded applications one can find in curren t portable devices\, for energy and performance reasons one must exploit bo th Thread- and Instruction Level Parallelism. While MPSoCs (Multiprocessor system-on-chip) are largely used for this purpose\, they fail when one cons iders software productivity\, since it comprises different ISAs (Instructio n Set Architecture) that must be programmed separately. On the other hand\, general purpose multicores implement the same ISA\, but are composed of a homogeneous set of very power consuming superscalar processors. In this dis sertation\, we show how one can effectively use a reconfigurable unit to pr ovide a number of different possible heterogeneous configurations while sti ll sustaining the same ISA\, capable of reaching high performance with low energy cost. To ensure ISA compatibility\, we use a binary translation mech anism that transforms code to be executed on the fabric at run-time. Using representative benchmarks\, we show that one version of the heterogeneous s ystem can outperform its homogenous counterpart in average by 59% in perfor mance and 10% in energy\, with EDP (Energy-Delay Product) improvements in a lmost every scenario. Furthermore\, this work also proposes and evaluates s ix schedulers for the heterogeneous system: two static algorithms\, which a llocate the threads on the first free core\, where they will run during the entire execution\; an Instruction Count (IC) Driven scheduler\, which real locates threads during synchronization points accordingly to their instruct ion count\; a Feedback scheduler\, which uses data from inside the reconfig urable unit to reallocate threads\; the PC-Feedback scheduler\, that adds a reuse mechanism to the last one\; and an Oracle scheduler\, which is capab le of deciding the best thread allocation possible. We show that the static algorithm can reach high performance in applications with high parallelism \, however for uniform performance in all applications\, the Feedback and P C-Feedback algorithms are better designated.
Keywords: heterogeneity\ ; multicore\; scheduling\; reconfigurable architectures\; embedded systems.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/dissertacao-de-m estrado-jeckson-dellagostin-souza/ END:VEVENT BEGIN:VEVENT UID:20160225T1639Z-1456418383.8866-EO-4779-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160225T032925Z LAST-MODIFIED:20160225T033230Z DTSTART;TZID=America/Sao_Paulo:20160229T140000 DTEND;TZID=America/Sao_Paulo:20160229T150000 SUMMARY: Defesa de Proposta de Tese – Rafael Kunst DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO DEFESA DE PROPOSTA DE TESE Alu no: Rafael Kunst Orientador: Prof. Dr. Juergen Rochol Título: A Resources S haring Architecture for Heterogeneous Wireless Cellular Networks Linha de P esquisa: Redes de Computadores Data: 29/02/2016 Hora: 14h Local: Prédio 434 12 – Sala 215 (Sala […] X-ALT-DESC;FMTTYPE=text/html:UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL<
br />INSTITUTO DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO<
/p>
DEFESA DE PROPOSTA DE TESE
Aluno: Rafael Kunst
Orientador: Prof. Dr. Juergen Rocho
l
Título: A Resources Sharing Architecture for Hetero
geneous Wireless Cellular Networks
Linha de Pesquisa:
Redes de Computadores
Data: 29/02/2016
Hora: 14h
Local: Prédio 43412 – Sala 215 (Sa
la de videoconferência)\, Instituto de Informática.
Banca Exa
minadora:
Profª. Drª. Luci Pirmez (UFRJ) - por videoconferênc
ia
Prof. Dr. João Cesar Netto (UFRGS)
Prof. Dr. Luciano Pachoal G
aspary (UFRGS)
Presidente da Banca: Prof. Dr. Juerge n Rochol
Abstract: The static model currently applie d by governmental authorities for allocating the spectrum of frequencies an d the increasing demand for network resources imposed by modern application s and services may lead to a resources scarcity problem in the near future. Dealing with this problem demands an optimization of resources allocation. One of the ways of providing this optimization is by allowing resources sh aring among heterogeneous network operators which may implement different t echnologies and kinds of resources\, such as collective use of spectrum and licensed shared access to the spectrum of frequencies. Allowing and contro lling the sharing of resources among of different types in heterogeneous ne twork scenarios is challenging. Therefore\, in this thesis proposal\, an ar chitecture is presented to encourage network operators to lease their under utilized resources. The approach allows opportunistic users to play the rol e of secondary users within the resources serving network. This approach al lows the network operators which is serving the resources to improve its pr ofits at the same time that allows quality of service improvements to the r esources renter. The main contributions of the proposed architecture includ e but are not limited to the design of a multilevel broker to control the r esources sharing process. This broker is concerned on dynamically establish ing a service level agreement that takes into account the quality of servic e requirements of resources renter. This process focuses on exchanging a sm all amount of control information to prevent the overhead from interfering with the legitimate traffic of the network operators. Another important con tribution of the proposed approach is to optimize the resources allocation in comparison with related work. Towards that contribution a performance ev aluation based on simulations is conducted and shows that the implementatio n of the proposed architectures leads to better allocation of underutilized network resources compared to two algorithms found in the literature. The overhead in practical operation scenarios is kept under 1\\% of the total n etwork traffic\, what is considered not to interfere with the transmissions of the network operators.
Keywords: Resources shari ng\, heterogeneous wireless cellular networks\, broker
CATEGORIES:Proposta de Tese,Defesas ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-propos ta-de-tese-rafael-kunst/ END:VEVENT BEGIN:VEVENT UID:20160225T1639Z-1456418383.8968-EO-4780-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160225T033008Z LAST-MODIFIED:20160225T033147Z DTSTART;TZID=America/Sao_Paulo:20160229T153000 DTEND;TZID=America/Sao_Paulo:20160229T163000 SUMMARY: Defesa de Dissertação de Mestrado – Luan Fonseca Garcia DESCRIPTION: DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Luan Fonseca Garcia O rientadora: Profa. Dra. Mara Abel Título: Um Framework Conceitual para Inse rção de Dados de Rochas em Modelos de Reservatório Linha de Pesquisa: Intel igência Artificial Data: 29/02/2016 Hora: 15:30 Local: Prédio 43413 – Audit ório Inferior\, Instituto de Informática. Banca Examinadora: Profa. Dra. La ura Silveira Mastella (Petrobras) Profa. […] X-ALT-DESC;FMTTYPE=text/html:DEFESA DE DISSERTAÇÃO DE MESTRADO< /strong>
Aluno: Luan Fonseca Garcia
Ori
entadora: Profa. Dra. Mara Abel
Título: Um F
ramework Conceitual para Inserção de Dados de Rochas em Modelos de Reservat
ório
Linha de Pesquisa: Inteligência Artificial
Data: 29/02/2016
Hora: 15:30Local: Prédio 43413 – Auditório Inferior\, Instituto de Info
rmática.
Banca Examinadora:
Profa. Dra. Laura S
ilveira Mastella (Petrobras)
Profa. Dra. Carla Maria Dal Sasso Freitas
(UFRGS)
Profa. Dra. Renata de Matos Galante (UFRGS)
Pre sidente da Banca: Profa. Dra. Mara Abel
Resumo: A contribuição deste trabalho é um framework conceitual para a inserçã o de dados diretos de rocha em modelos de grid de reservatório. Este tipo d e dado é frequentemente ignorado ou processado manualmente nas modelagens a tuais\, seja por custos elevados para sua obtenção\, seja pelo alto grau de complexidade para a modelagem\, interpretação e extrapolação dos dados. O framework busca definir os requisitos para um projeto de software que inclu a os componentes necessários para o processamento automático ou supervision ado dos dados de rocha desde sua geração até sua utilização final\, em mode los de simulação de fluxo\, suportando a interoperabilidade dos dados e o r astreamento da informação de rochas. A proposta é embasada na combinação de ontologias de domínio para a petrografia\, o conceito geológico de petrofá cies de reservatório\, um algoritmo de reconhecimento de padrões em logs de poço que podem corresponder a camadas homogêneas na rocha e um algoritmo p ara extrapolação de padrões baseado em algoritmos de alinhamento de sequênc ias de DNA. A combinação das abordagens utilizadas neste trabalho é inédita e fornece suporte para o uso de petrofácies de reservatório durante a mode lagem de reservatório. O levantamento de informações foi realizado em forma de aquisição de conhecimento\, através de entrevistas com cinco profission ais de Geologia\, Geofísica e Geoquímica\, com diferentes formações na indú stria do petróleo\, além de extensa revisão da literatura. Esta aquisição n os possibilitou mapear as grandes atividades durante o processo de exploraç ão\, bem como os dados resultantes de cada etapa. Um modelo conceitual onto logicamente bem fundamentado permite mapear e integrar os dados de rocha na s diferentes etapas de processamento desde sua aquisição\, como descrições de amostras de poços\, descrições microscópicas e logs geofísicos até a ide ntificação e inserção das propriedades relevantes em grids 3D utilizando pa drões de trocas de dados da indústria.
Palavras-chave: Ontologia\; Dados de Rocha\; Modelagem de Reservatório\; Geologia do Pet róleo\; Interoperabilidade de Dados.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-disser tacao-de-mestrado/ END:VEVENT BEGIN:VEVENT UID:20160225T1639Z-1456418383.9037-EO-4781-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160225T033353Z LAST-MODIFIED:20160225T033353Z DTSTART;TZID=America/Sao_Paulo:20160301T133000 DTEND;TZID=America/Sao_Paulo:20160301T143000 SUMMARY: Defesa de Dissertação de Mestrado – Lucas Eishi Pimentel Mizusaki DESCRIPTION: DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Lucas Eishi Pimentel Mizusaki Orientador: Prof. Dr. Leandro Krug Wives Título: Grafos de Avaliaç ão: Um modelo conceitual para avaliação escolar apoiada por computador Linh a de Pesquisa: Modelagem Conceitual e Banco de Dados Data: 01/03/2016 Hora: 13:30 Local: Prédio 43413 (67) – Auditório Inferior\, Instituto de Informá tica. Banca Examinadora: Prof. […] X-ALT-DESC;FMTTYPE=text/html:DEFESA DE DISSERTAÇÃO DE MESTRADO< /strong>
Aluno: Lucas Eishi Pimentel Mizusaki
<
strong>Orientador: Prof. Dr. Leandro Krug Wives
Títul
o: Grafos de Avaliação: Um modelo conceitual para avaliação escola
r apoiada por computador
Linha de Pesquisa: Modelagem
Conceitual e Banco de Dados
Data: 01/03/2016Hora: 13:30
Local: Prédio 43413 (67) –
Auditório Inferior\, Instituto de Informática.
Banca Examina
dora:
Prof. Dr. Jose Valdeni de Lima (PGIE/UFRGS)
Profª.
Drª. Magda Bercht (PGIE/UFRGS)
Prof. Dr. Jose Palazzo Moreira de Oliv
eira (UFRGS)
Presidente da Banca: Prof. Dr. Leandro Krug Wives
Resumo: Seja por meio de novas metodologi as\, por novas ferramentas\, ou pela simples presença de telefones celulare s nas salas de aula\, as Tecnologias de Informação e Comunicação estão alte rando profundamente as práticas educativas. Este trabalho se debruça sobre a interação entre as teorias de aprendizagem e as diferentes ferramentas co mputacionais para educação. Apontando uma incompatibilidade metodológica en tre os modelos de avaliação do aluno existentes em Learning Management Syst ems e em ontologias computacionais frente a metodologias cognitivistas\, pr opõe-se uma nova técnica computacional de avaliação para modelar aspectos c ognitivos e comportamentais dos alunos. Chamada de grafos de avaliação é um a modelo que dá suporte à tomada de decisões em grupo\, desenvolvida como u ma usando uma metodologia orientada ao consenso junto ao Projeto Amora do C olégio de Aplicação da UFRGS. Espera-se que esse novo modelo possa servir d e base para a construção de ferramentas de avaliação computacional adequada s para essas metodologias.
Palavras-chave: Avaliação escolar\, Construtivismo\, Grafos de Avaliação\, Decision support systems\ , Learning management systems.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-disser tacao-de-mestrado-lucas-eishi-pimentel-mizusaki/ END:VEVENT BEGIN:VEVENT UID:20160225T1639Z-1456418383.9103-EO-4782-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160225T033516Z LAST-MODIFIED:20160225T033516Z DTSTART;TZID=America/Sao_Paulo:20160301T133000 DTEND;TZID=America/Sao_Paulo:20160301T143000 SUMMARY: Defesa de Dissertação de Mestrado – Marcelo Wuttif Friske DESCRIPTION: DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Marcelo Wuttif Friske Orientadora: Profa. Dra. Luciana Salete Buriol Coorientador: Prof. Dr. Edu ardo Camponogara Título: A Branch-and-Price Algorithm for a Compressor Sche duling Problem Linha de Pesquisa: Fundamentos da Computação Data: 01/03/201 6 Hora: 13h30min Local: Prédio 43412 – Sala 215 (sala de videoconferência)\ , Instituto de Informática. Banca Examinadora: Prof. Dr. […] X-ALT-DESC;FMTTYPE=text/html:DEFESA DE DISSERTAÇÃO DE MESTRADO< /strong>
Aluno: Marcelo Wuttif Friske
O
rientadora: Profa. Dra. Luciana Salete Buriol
Coorien
tador: Prof. Dr. Eduardo Camponogara
Título:
A Branch-and-Price Algorithm for a Compressor Scheduling Problem
Data
: 01/03/2016
Hora: 13h30min
Loc
al: Prédio 43412 - Sala 215 (sala de videoconferência)\, Instituto
de Informática.
Banca Examinadora:
Prof. Dr. M
arcus Rolf Peter Ritt (UFRGS)
Prof. Dr. Olinto Cesar Bassi de Araújo (
UFSM)
Prof. Dr. Marcelo Lopes de Lima (CENPES – PETROBRAS - POR VIDEOC
ONFERÊNCIA)
Presidente da Banca: Profa. Dra. Luciana Salete Buriol
Abstract: This work presents the stud y and application of a branch-and-price algorithm for solving a compressor scheduling problem. The problem is related to oil production and consists o f defining a set of compressors to be activated\, supplying the gas-lift de mand of a wells set and minimizing the associated costs. The problem has a non-convex objective function\, to which a piecewise-linear formulation has been proposed. This dissertation proposes a column generation approach bas ed on the Dantzig-Wolfe decomposition\, which achieves tighter lower bounds than the straightforward linear relaxation of the piecewise-linear formula tion. The column generation was embedded in a branch-and-price algorithm an d further compared with CPLEX\, obtaining optimal solutions in lesser time for a set of instances. Further\, the branch-and-price algorithm can find b etter feasible solutions for large instances under a limited processing tim e.
Keywords: Compressor Scheduling Problem\, Branch- and-Price\, Column Generation\, Piecewise-linear formulation.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-disser tacao-de-mestrado-marcelo-wuttif-friske/ END:VEVENT BEGIN:VEVENT UID:20160225T1639Z-1456418383.917-EO-4783-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160225T033614Z LAST-MODIFIED:20160225T033614Z DTSTART;TZID=America/Sao_Paulo:20160302T100000 DTEND;TZID=America/Sao_Paulo:20160302T110000 SUMMARY: Defesa de Dissertação de Mestrado – Gerson Eduardo Groth DESCRIPTION: DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Gerson Eduardo Groth Orientador: Prof. Dr. João Luiz Dihl Comba Título: Attribute Field K-Means: Clustering Trajectories with Attributes by Fitting Multiple Fields Linha d e Pesquisa: Computação Gráfica\, Processamento de Imagens e Interação. Data : 02/03/2016 Hora: 10h Local: Prédio 43412 – Sala 215 (sala de videoconferê ncia)\, Instituto de Informática. Banca […] X-ALT-DESC;FMTTYPE=text/html:DEFESA DE DISSERTAÇÃO DE MESTRADO< /strong>
Aluno: Gerson Eduardo Groth
Or
ientador: Prof. Dr. João Luiz Dihl Comba
Título: Attribute Field K-Means: Clustering Trajectories with Attributes by Fi
tting Multiple Fields
Linha de Pesquisa: Computação G
ráfica\, Processamento de Imagens e Interação.
Data:
02/03/2016
Hora: 10h
Local: Pré
dio 43412 – Sala 215 (sala de videoconferência)\, Instituto de Informática.
Banca Examinadora:
Profa. Dra. Carla Maria Dal
Sasso Freitas (UFRGS)
Prof. Dr. Anderson Maciel (UFRGS)
Prof. Dr
. Fernando Vieira Paulovich (USP - ICMC - por videoconferência)
Keywor ds: Visualization\, Time Series\, Clustering\, Trajectory Attribut es\, Interative Exploration.
CATEGORIES:Defesas,Dissertação de Mestrado ORGANIZER;CN="Bolsista do Setor de Comunicação":MAILTO:bolsista2-comunica@i nf.ufrgs.br URL;VALUE=URI:https://www.inf.ufrgs.br/site/eventos/evento/defesa-de-disser tacao-de-mestrado-gerson-eduardo-groth/ END:VEVENT BEGIN:VEVENT UID:20160226T2038Z-1456519086.1594-EO-4795-1@143.54.11.44 STATUS:CONFIRMED DTSTAMP:20260409T204821Z CREATED:20160226T171844Z LAST-MODIFIED:20160226T171844Z DTSTART;TZID=America/Sao_Paulo:20160303T153000 DTEND;TZID=America/Sao_Paulo:20160303T153000 SUMMARY: Dissertação de Mestrado – Anderson Uilian Kauer DESCRIPTION: UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁ TICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO ——————————————————— DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Anderson Uilian Kauer Orientador: Profª. Drª . Viviane Pereira Moreira Título: Análise de Sentimentos baseada em Aspecto s e Atribuição de Polaridade Linha de Pesquisa: Modelagem Conceitual e Banc o de Dados Data: 03/03/2016 Hora: 15:30 […] X-ALT-DESC;FMTTYPE=text/html:| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE DISSERTAÇÃO DE MESTRADO Aluno: Anderson Uilian Kauer Banca Examinadora: Presidente da Banca: Profª. Drª. Viviane Pereira Morei ra Resumo: Com a crescente expansão da Web\, cada ve z mais usuários compartilham suas opiniões sobre experiências vividas. Essa s opiniões estão\, na maioria das vezes\, representadas sob a forma de text o não estruturado. A Análise de Sentimentos (ou Mineração de Opinião) é a á rea dedicada ao estudo computacional das opiniões e sentimentos expressos e m textos\, tipicamente classificando-os de acordo com a sua polaridade (i.e .\, como positivos ou negativos). Ao mesmo tempo em que sites de vendas e r edes sociais tornam-se grandes fontes de opiniões\, cresce a busca por ferr amentas que\, de forma automática\, classifiquem as opiniões e identifiquem a qual aspecto da entidade avaliada elas se referem. Neste trabalho\, prop omos métodos direcionados a dois pontos fundamentais para o tratamento dess as opiniões: (i) análise de sentimentos baseada em aspectos e (ii) atribuiç ão de polaridade. Para a análise de sentimentos baseada em aspectos\, desen volvemos um método que identifica expressões que mencionem aspectos e entid ades em um texto\, utilizando ferramentas de processamento de linguagem nat ural combinadas com algoritmos de aprendizagem de máquina. Para a atribuiçã o de polaridade\, desenvolvemos um método que utiliza 24 atributos extraído s a partir do ranking gerado por um motor de busca e para gerar modelos de aprendizagem de máquina. Além disso\, o método é completamente automático\, não depende de recursos linguísticos e pode ser aplicado sobre dados com r uídos. Experimentos realizados sobre datasets reais demonstram que\, em amb as as contribuições\, conseguimos resultados próximos aos dos baselines mes mo com um número pequeno de atributos. Ainda\, para a atribuição de polarid ade\, os resultados são comparáveis aos de métodos do estado da arte que ut ilizam técnicas mais complexas. Palavras-chave: mine ração de opinião\, extração de aspectos\, classificação de textos\, análise de sentimentos |
| UNIVERSIDADE FEDERAL DO RIO GRANDE DO
SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTA ÇÃO |
| ---------------------------------------------------------<
p>DEFESA DE TESE DE DOUTORADO Aluno: Eduardo Henrique Molina da Cruz
Presidente da Banca: Prof. Dr. Philippe Olivier Alexandre Navaux Resumo: Confo rme o paralelismo a nível de threads aumenta nas arquiteturas modernas devi do ao aumento do número de núcleos por processador e processadores por sist ema\, a complexidade da hierarquia de memória também aumenta. Tais hierarqu ias incluem diversos níveis de caches privadas ou compartilhadas e tempo de acesso não uniforme à memória. Um desafio importante em tais arquiteturas é a movimentação de dados entre os núcleos\, caches e bancos de memória pri mária\, que ocorre quando um núcleo realiza uma transação de memória. Neste contexto\, a redução da movimentação de dados é um dos pilares para futura s arquiteturas para manter o aumento de desempenho e diminuir o consumo de energia. Uma das soluções adotadas para reduzir a movimentação de dados é a umentar a localidade dos acessos à memória através do mapeamento de threads e dados. Mecanismos de mapeamento do estado-da-arte aumentam a localidade de memória mapeando threads que compartilham um grande volume de dados em n úcleos próximos na hierarquia de memória (mapeamento de threads)\, e mapean do os dados em bancos de memória próximos das threads que os acessam (mapea mento de dados). Muitas propostas focam em mapeamento de threads ou dados s eparadamente\, perdendo oportunidades de ganhar desempenho. Outras proposta s dependem de traços de execução para realizar um mapeamento estático\, que podem impor uma sobrecarga alta e não podem ser usados em aplicações cujos comportamentos de acesso à memória mudam em diferentes execuções. Há ainda propostas que usam amostragem ou informações indiretas sobre o padrão de a cesso à memória\, resultando em informação imprecisa sobre o acesso à memór ia. Nesta tese de doutorado\, são propostas soluções inovadoras para identi ficar um mapeamento que otimize o acesso à memória fazendo uso da unidade d e gerência de memória para monitor os acessos à memória. As soluções funcio nam dinamicamente em paralelo com a execução da aplicação\, detectando info rmações para o mapeamento de threads e dados. Com tais informações\, o sist ema operacional pode realizar o mapeamento durante a execução das aplicaçõe s\, não necessitando de conhecimento prévio sobre o comportamento da aplica ção. Como as soluções funcionam diretamente na unidade de gerência de memór ia\, elas podem monitorar a maioria dos acessos à memória com uma baixa sob recarga. Em arquiteturas com TLB gerida por hardware\, as soluções podem se r implementadas com pouco hardware adicional. Em arquiteturas com TLB gerid a por software\, algumas das soluções podem ser implementadas sem hardware adicional. As soluções aqui propostas possuem maior precisão que outros mec anismos porque possuem acesso a mais informações sobre o acesso à memória. Para demonstrar os benefícios das soluções propostas\, elas são avaliadas c om uma variedade de aplicações usando um simulador de sistema completo\, um a máquina real com TLB gerida por software\, e duas máquinas reais com TLB gerida por hardware. Na avaliação experimental\, as soluções reduziram o te mpo de execução em até 39%. O ganho de desempenho se deu por uma redução su bstancial da quantidade de faltas na cache\, e redução do tráfego entre pro cessadores. Palavras-chave: Movimentação de dados\, Mapeamento de threads e dados\, Memória cache\, NUMA. |