Notícias FACIN

Curso de Formação de Projetistas de Chips

O desenvolvimento de chips é um mercado em crescente expansão com possibilidades de trabalho em todo o mundo. Salários iniciais no Brasil variam de R$3.000,00 a R$6.500,00 para projetistas juniores, podendo chegar a R$14.000,00 para projetistas experientes.
Formados em Engenharia da Computação, Eletrônica, Elétrica, Informática e cursos afins que queiram ingressar nesse mercado de trabalho podem inscrever-se no Programa Nacional de Formação de Projetistas de Circuitos Integrados até o dia 17/06/2012 através do site www.ct1.ci-brasil.gov.br/index.php/centros-de-treinamento/ct1-rs.html.

O Programa conta com 15 instrutores certificados por empresa dos Estados Unidos, líder global com mais de 20 anos de experiência no mercado. O Programa, que já formou cerca de 500 projetistas, oferece:

• Bolsa de R$ 2.000,00 durante os 12 meses de curso
• Aulas teóricas de projeto nas tecnologias mais atuais
• Aulas práticas em laboratório com ferramentas comerciais
• Projeto de chip focado em aplicação real
• Encaminhamento para estágio remunerado ao término do curso

Muitos dos egressos do Programa de Treinamento trabalham hoje em empresas nacionais como Semp-Toshiba, Digitel, Datacom, Elo, Ceitec, Freescale e CPqD. Além dessas, outras empresas brasileiras que também utilizam mão-de-obra qualificada nesta área estão listadas em www.ci-brasil.gov.br/index.php/design-house.html. Antes de ingressar no mercado de trabalho, alguns dos egressos continuam aprimorando seus conhecimentos em países como França, Coréia do Sul, Estados Unidos e Japão.

Publicado em 14/05/2012

Informativo de falecimento

Com muito pesar, a Faculdade de Informática informa o falecimento de Saulo Magnus, aluno recém formado, que está sendo velado no Cemitério Parque São Jerônimo, Alvorada, e cujo sepultamento deve ocorrer entre 10 e 11hs de 4 de maio de 2012, conforme informado por familiar. 

A comunidade da Faculdade de Informática, consternada com o acontecimento, envia sinceros votos de serenidade e paz aos familiares.

Publicado em 03/05/2012

II BRISPE – Second Brazilian Meeting on Research Integrity, Science and Publication Ethics

Dia: 28 de Maio a 1° de Junho de 2012
Local: UFRJ, FIOCRUZ, USP e PUCRS

As inscrições para o II Brazilian Meeting on Research Integrity, Science and Publication Ethics (II BRISPE), 28 de Maio-1 de Junho, já estão abertas (www.iibrispe.coppe.ufrj.br).

Incluído nas atividades do evento está o curso "On Writing and Publishing Science" (29-30 Maio), que será ministrado pela presidente do Committee on Publication Ethics (COPE), ao qual estão filiadas as principais editoras científicas. O curso abordará desde questões diversas sobre scientific writing até problemas específicos sobre revisão e cancelamento de artigos, ressaltando tendências nas políticas editoriais dos principais periódicos. Pesquisadores jovens e experientes (incluindo alunos de pós-graduação), bem como editores, são o principal público-alvo do curso.

O II BRISPE está inserido no seguinte contexto:
Brazilian Science, Leadership and Research Integrity
Brazil is rapidly becoming a regional and international research leader. Leadership, however, requires more than high quality scientific publications. Leadership also requires a commitment to assuring that the science behind discoveries is undertaken responsibly and with integrity. Especially in the last few decades, the research community has been faced with a number of ethical challenges relating to concepts of accountability in science and to fostering public trust in research results, among others. These issues are of particular importance as dialogues between science and society have become stronger in contemporary science. As an emerging research leader, Brazil should play an active role in these dialogues and involve its research community in ongoing international discussions on research ethics and integrity. In this context, the Brazilian Meeting on Research Integrity, Science and Publication Ethics (BRISPE) provides a forum to address ethical issues of particular relevance to research institutions, international journals and funding agencies. The II BRISPE is designed to engage researchers, editors, educators and policymakers in current conversations about research integrity and its impact on emerging changes to the way of doing, communicating and reviewing science at the beginning of the 21st century.

O II BRISPE será realizado nas cidades do Rio de Janeiro, São Paulo e Porto Alegre no período de 28 de Maio a 1° de Junho de 2012 na UFRJ, FIOCRUZ, USP e PUCRS.

A participação no evento é gratuita (exceto para o curso “On Writing and Publishing Science"). Recomenda-se a pré-inscrição pois os lugares são limitados (http://www.iibrispe.coppe.ufrj.br/index.php/component/smartformer/?formid=3) 
 

Para mais informação consulte: www.iibrispe.coppe.ufrj.br

Publicado em 02/05/2012

Fórum de Interdisciplinaridade da PUCRS: Adolescentes e delinquência: interpretação subjetiva em narrativas biográficas

Título: Adolescentes e delinquência: interpretação subjetiva em narrativas biográficas
Data/Horário: 25/04 (quarta-feira) - das 17h30min. às 19h.
Local: Auditório Térreo do Prédio 40
Apresentação simultânea no saguão do prédio 32
Apresentação: Prof. Hermilio Pereira dos S Filho (Faculdade deFilosofia e Ciências Humanas)
Comentarista: Prof. Alfredo Cataldo Neto (Faculdade de Medicina)

Publicado em 24/04/2012

Convidamos para a Palestra “Desenvolvimento do Robô G.I.R.I.N.O."

Palestrante: Ney Robinson Salvi dos Reis
Dia: 23/04/2012 (segunda-feira)
Horário: 10h
Prédio 32 – Sala 517
* Valido como atividade complementar.

Resumo:
Nesta palestra será relatado o desenvolvimento do robô G.I.R.I.N.O. (Gabarito Interno Robotizado de Incidência Normal ao Oleoduto), um robô capaz de se movimentar pelo interior dos dutos sem auxílio de diferencial de pressão, e sim por meios de propulsão próprios. Esta tecnologia inovativa, que está coberta por 2 patentes em nome da Petrobras, foi desenvolvida por Ney Robinson Salvi dos Reis. A palestra visa uma apresentação técnica sobre o robô G.I.R.I.N.O. com o objetivo de discutir possibilidades de cooperação em desdobramentos deste projeto da Petrobras.

Publicado em 18/04/2012

Convidamos para a Defesa de Tese “Segmentação de Pessoas em Imagens Estáticas Baseada em Esqueleto”

Autor: Julio Cezar Silveira Jacques Junior
Orientadora: Profa. Dra. Soraia Raupp Musse
Co-orientador: Prof. Cláudio Rosito Jung
Banca: Prof. Dr. João Batista S. de Oliveira (PPGCC/PUCRS), Prof. Dr. Jacob Scharcanski (UFRGS) e Prof. Dr. Roberto M. Cesar Jr. (IME - USP)
Dia: 20/04/2012 (sexta-feira)
Horário: 14h
EAD da PUCRS no prédio 40 – 9º andar

Resumo:
A segmentação (automática ou semi-automática) de pessoas em imagens estáticas é uma tarefa bastante desafiadora, principalmente devido a diversos fatores do mundo real, como por exemplo, fatores relacionados à iluminação da cena onde a imagem foi capturada, sombras, ruídos na imagem, oclusão, alta similaridade do objeto de interesse com o fundo da cena e a falta de informação inerente de profundidade quando uma cena é capturada em uma imagem 2D. Nessa tese é apresentado um modelo para segmentação de pessoas em imagens baseado em esqueleto. Os dados de entrada para o modelo proposto, associados ao modelo de esqueleto, podem ser obtidos de forma automática (utilizando um algoritmo para estimativa de pose 2D de pessoas em imagens, por exemplo) ou manual (por um usuário/especialista), dependendo da aplicação em questão. O modelo de esqueleto guia a segmentação da pessoa na imagem levando em consideração informações de cor, luminosidade, restrições de ângulos e parâmetros antropométricos. De uma forma geral, a idéia principal da abordagem proposta é construir um grafo ao redor do modelo de esqueleto, para uma determinada imagem de entrada, e buscar o melhor caminho nesse grafo que satisfaça uma determinada condição (por exemplo, aquela que maximiza certo critério de energia), gerando assim o contorno da pessoa na imagem.
Também está sendo proposta nessa tese uma abordagem para avaliar quantitativamente os resultados experimentais obtidos, a partir de informações fornecidas por especialista. Os resultados experimentais demonstram que o modelo proposto gera resultados satisfatórios para imagens não triviais, contendo pessoas com aparências e poses variadas (podendo haver membros parcialmente ocultos), em diversos ambientes complexos (e não controlados), com diferentes iluminações e qualidade de imagem, entre outros fatores. Os resultados obtidos com a utilização do modelo proposto também foram comparados com os obtidos por um trabalho considerado estado-da-arte e os experimentos indicam que o nosso modelo gera resultados mais coerentes para o contorno da pessoa, enquanto que os contornos obtidos pelo trabalho em questão apresentam formas mais suaves.
O modelo de segmentação proposto é capaz de gerar um contorno fechado (para cada pessoa na imagem) contendo informação semântica, ou seja, cada ponto do contorno resultante está associado a uma determinada parte do corpo, que pode ser utilizada para diversos fins (por exemplo, construção de humanos virtuais com características extraídas da imagem, métodos para estimativa de roupas em imagens, estimativa da forma humana sobre as roupas, entre outros).

Publicado em 18/04/2012

Convite Cortesia para o 25º Fórum da Liberdade

Prezados Alunos, recebemos 38 convites cortesia para o 25º Fórum da Liberdade, que irá ocorrer nos dias 16 e 17 de abril de 2012 no Centro de Eventos da PUCRS.
Os interessados poderão retirar a cortesia na Secretaria da FACIN até amanha (13/04).

A inscrição no evento precisa, obrigatoriamente, ser efetivada por intermédio do acesso no site www.forumdaliberdade.com.br, utilizando-se a senha promocional inserida no convite.
A apresentação da Carteirinha é obrigatória para retirada do convite.

Publicado em 12/04/2012

Convidamos para a Defesa de Dissertação “Contributions to the Design and Prototyping of GALS and Asynchronous Systems”

Autor: Matheus Trevisan Moreira
Orientador: Prof. Dr. Ney Laert Vilar Calazans
Banca: Prof. Dr. Fernando Gehm Moraes (PPGCC/PUCRS) e Prof. Dr. Edson Ifarraguirre Moreno (FACIN-PUCRS)
Dia: 13/04/2012 (sexta-feira)
NOVO Horário: 10 horas
Auditório 517 - FACIN/PUCRS

Resumo:
Com o avanço de tecnologias CMOS, novos desafios surgem para o projeto de circuitos e sistemas síncronos. Isso se deve ao fato de que o uso de um único sinal para controlar um circuito integrado complexo resulta em restrições de projeto difíceis de serem atendidas. Além disso, circuitos integrados atuais podem integrar sistemas inteiros, que empregam uma grande quantidade de núcleos de propriedades intelectual, cada um com necessidades e restrições específicas. Neste cenário, técnicas assíncronas de projeto representam soluções interessantes para ajudar projetistas a obter sistemas eficientes, uma vez que cada núcleo de propriedade intelectual pode ser projetado de forma independente e então comunicar-se assincronamente a nível de sistema. Diversos trabalhos disponíveis na literatura demonstram que circuitos assíncronos são adequados para implementar sistemas de baixo consumo de potência, alto desempenho ou alta robustez. Entretanto, atualmente, é muito difícil de projetar tais circuitos, dada a falta de ferramentas de automação e de bibliotecas de componentes básicos. Dessa forma, o uso de circuitos assíncronos é limitado na prática a abordagens de projeto manuais. A fim de contribuir para a superação dessa barreira, este trabalho apresenta detalhes de uma pesquisa que inclui a implementação de cinco roteadores de redes intra-chip não síncronos, uma biblioteca de células com mais de quinhentos componentes assíncronos e um fluxo de projeto proposto para o projeto de tais componentes.

Publicado em 12/04/2012

Convidamos para a Defesa de Dissertação “Smart Execution of Molecular Docking Simulations of A Fully - Flexible Receptor Model”

Autor: Fábio André Frantz
Orientador: Prof. Dr. Duncan Dubugras Alcoba Ruiz
Banca: Prof. Dr. Osmar Norberto de Souza (PPGCC/PUCRS) e Prof. Dr. Aad van Moorsel (University of Newcastle)
Dia: 12/04/2012 (quinta-feira)
Horário: 8h30min.
Auditório 516 - FACIN/PUCRS

Resumo:
Simulações de docagem molecular com modelos de Receptores Totalmente Flexíveis (FFR) estão adquirindo maturidade. No entanto, isto demanda atividades computacionais de paralelização para geração e execução de grande volume de dados que precisam ser analizados. Computação multi tarefa é um paradigma atrativo e que vem sendo aplicado frequentemente para executar tarefas intensivas. Neste trabalho propomos um ambiente para executar simulações de docagem molecular no modelo FFR com pequenas moléculas integradas a um componente MTC. Este ambiente é baseado no padrão Múltiplas Instâncias Autoadaptáveis (P-SaMI) que possui regras para redução do número de experimentos, provendo um modelo de Receptores Totalmente Flexíveis Reduzido (RFFR). A principal contribuição desta pesquisa está na comprovação de que as regras do P-SaMI podem ser usadas no Desenho Racional de Fármacos (RDD) através de um ambiente web integrado com um componente MTC.

Publicado em 02/04/2012

Convidamos para a Defesa de Dissertação “FReMI: A Middleware to Handle Molecular Docking Simulations of Fully-flexible Receptor Models in HPC Environments”

Autora: Renata De Paris
Orientador: Prof. Dr. Osmar Norberto de Souza
Banca: Prof. Dr. Duncan Dubugras Alcoba Ruiz (PPGCC/PUCRS) e Prof. Dr. Aad van Moorsel (University of Newcastle)
Dia: 12/04/2012 (quinta-feira)
Horário: 10h
Auditório 516 - FACIN/PUCRS

Resumo:
Simulações de docagem molecular de modelos de receptores totalmente flexíveis (Fully-Flexible Receptor - FFR) estão se tornando cada vez mais frequentes. Entretanto, tais simulações exigem alto nível de processamento e sua execução sequencial é uma tarefa impraticável. Este trabalho apresenta um middleware, chamado Middleware de Receptores Flexível (Flexible Receptor Middleware – FReMI), para auxiliar a reduzir o tempo total de execução nas simulações de docagem molecular de receptores totalmente flexíveis. FReMI manipula uma quantidade intensiva de dados e tarefas para executar a triagem virtual de modelos de receptores totalmente flexíveis e é uma “ponte de ligação” entre o web workflow de docagem de receptores flexíveis (Web Fully-flexible Docking Workflow - W-FReDoW) e dois diferentes ambientes de alto desempenho (High Performance Computing – HPC). FReMI utiliza protocolos de internet para comunicar com o W-FReDoW , o qual auxilia na redução da dimensão do modelo FFR por meio de um padrão de dados. Além disso, FReMI envia tarefas de simulações de docagem para serem executadas em um de cluster dedicado e também em um alternativo modelo de cluster virtual construído por meio de nuvens de computadores elásticos da Amazon (Amazon’s Elastic Compute Cloud – EC2). Os resultados apresentam uma arquitetura conceitual do FReMI e dois conjuntos de experimentos a partir da execução do FReMI. O primeiro conjunto relatou os experimentos realizados com FReMI, usando uma amostra de snapshots a partir de um modelo FFR e os dois ambientes HPC. O segundo conjunto descreveu os experimentos, com um conjunto de dados completo, executando FReMI e W-FReDoW apenas em um ambiente de cluster MPI construído com as instâncias da Amazon EC2. Os resultados do último conjunto de experimentos apresentaram uma redução na dimensionalidade do modelo FFR, transformando ele um modelo de receptor flexível totalmente reduzido (Reduced Fully-Flexible Receptor Model – RFFR), por meio do descarte de conformações não promissoras identificadas pelo W-FReDoW. Além disso, a redução do tempo total de execução do FReMI com o W-FReDoW foi entre 10 a 30% a partir da execução separada do FReMI, e de aproximadamente 94% do FReMI a partir da sua respectiva execução sequencial.

Publicado em 02/04/2012

Convidamos para a Defesa de Tese “Construção de Estruturas Ontológicas a Partir de Textos: Um Estudo Baseado no Método Formal Concept Analysis e em Papéis Semânticos”

Autora: Sílvia Maria Wanderley Moraes
Orientadora: Profa. Dra. Vera Lúcia Strube de Lima
Banca: Profa. Dra. Renata Vieira (PPGCC/PUCRS), Prof. Dr. Antonio Carlos da Rocha Costa (FURG) e Prof. Dr. Ruy Luiz Milidiu (PUC-Rio)
Dia: 30/03/2012 (sexta-feira)
Horário: 14h
Auditório 516 - FACIN/PUCRS

Resumo:
Este trabalho tem como propósito estudar estruturas conceituais geradas seguindo o método Formal Concept Analysis. Usamos na construção dessas estruturas informações lexicossemânticas extraídas dos textos, dentre as quais se destacam os papéis semânticos. Em nossa pesquisa, propomos formas de inclusão de tais papéis nos conceitos produzidos por esse método formal. Analisamos a contribuição dos papéis semânticos e das classes de verbos na composição dos conceitos, por meio de medidas de ordem estrutural. Nesses estudos, utilizamos os corpora Penn TreeBank Sample e SemLink 1.1, ambos em Língua Inglesa. Testamos, também para Língua Inglesa, a aplicabilidade de nossa proposta nos domínios de Finanças e Turismo com textos extraídos do corpus Wikicorpus 1.0. Essa aplicabilidade foi analisada extrinsecamente com base na tarefa de categorização de textos, a qual foi avaliada a partir de medidas de ordem funcional tradicionalmente usadas nessa área. Realizamos ainda alguns estudos preliminares relacionados à nossa proposta para um corpus em Língua Portuguesa: PLN-BR CATEG. Obtivemos, nos estudos realizados, resultados satisfatórios os quais mostram que a abordagem proposta é promissora.

Publicado em 26/03/2012

Convidamos para a Defesa de Dissertação “Uma Avaliação Comparativa de Sistemas de Memória Transacional de Software e seus Benchmarks”

Autor: Fernando Furlan Rui
Orientador: Prof. Dr. Luiz Gustavo Leão Fernandes
Banca: Prof. Dr. Fernando Gehm Moraes (PPGCC/PUCRS) e Prof. Dr. Rodrigo da Rosa Righi (UNISINOS)
Dia: 29/03/2012 (quinta-feira)
Horário: 14h30min
Auditório 516 - FACIN/PUCRS

Resumo:
Memórias Transacionais são consideradas por muitos pesquisadores como a mais promissora solução para resolver problemas de programação multicore. Esse modelo promete escalabilidade com pequena granularidade, enquanto elimina os problemas comuns nos mecanismos convencionais de locks, como deadlocks por exemplo. Durante esses quase vinte anos de pesquisas, diversos estudos foram realizados visando identificar abordagens para maximizar o uso de Memórias Transacionais no cenário de Programação Paralela. Além disso, diversos sistemas TM foram desenvolvidos em diferentes tipos de implementações, bem como novos Benchmarks foram propostos para avaliação
e testes de sistemas TM.
Entretanto, apesar do avanço da área, Memória Transacional não é considerada uma solução pronta para comunidade científica devido às perguntas ainda não respondidas na literatura, tais como: “Como identificar se uma aplicação terá vantagem na utilização de memórias transacionais?” e “Porque algumas aplicações não se beneficiam com o uso de Memórias Transacionais?”.
Esse trabalho realiza uma avaliação comparativa de um conjunto de sistemas e aplicações transacionais, apresentando o estado da arte atual, compreendendo os problemas existentes e identificando oportunidades de crescimento nos sistemas STM de maneira a contribuir para responder as perguntas ainda em aberto na comunidade científica.

Publicado em 26/03/2012

Convidamos para a Defesa de Dissertação “2DAM-Wave – Um Método de Avaliação para o Modelo de Capacidade Wave”

Autor: Rafael Audy Glanzner
Orientador: Prof. Dr. Jorge Luis Nicolas Audy
Banca: Prof. Dr. Ricardo Melo Bastos (PPGCC/PUCRS) e Profa. Dra. Elisa Hatsue Moriya Huzita (UEM)
Dia: 28/03/2012 (quarta-feira)
Horário: 14h30min
Auditório 517 - FACIN/PUCRS

Resumo:
O Desenvolvimento Distribuído de Software (DDS), em nível global, vem sendo utilizado por diversas empresas ao redor do mundo. Para auxiliar essas empresas a superar as dificuldades impostas por esse tipo de trabalho, o modelo de capacidade WAVE foi proposto. No entanto, até a conclusão dessa pesquisa, não era possível utilizar o WAVE efetivamente na indústria, visto que ele não possuía um método de avaliação.
Essa pesquisa propõe um método de avaliação para o WAVE, chamado de 2DAM-WAVE, possibilitando que as organizações, que desejam implementar as boas práticas do WAVE, descubram em que nível de capacidade se encontram. Para propor esse método foi realizada uma análise qualitativa de métodos de avaliação existentes, após isto, o resultado foi aplicado em uma unidade brasileira de uma organização global e em uma unidade indiana de outra organização global, através de dois estudos de caso. Com o resultado dessa pesquisa um método de avaliação para o WAVE, intitulado 2DAM-WAVE, e uma ferramenta de apoio para conduzir e facilitar esse processo foram desenvolvidos.

Publicado em 26/03/2012

Convidamos para a Defesa de Dissertação “FTSProc – Um Processo para Minimizar as Dificuldades de Projetos que Adotam a Estratégia Follow-The-Sun”

Autor: Estevão Ricardo Hess
Orientador: Prof. Dr. Jorge Luis Nicolas Audy
Banca: Prof. Dr. Ricardo Melo Bastos (PPGCC/PUCRS) e Profa. Dra. Elisa Hatsue Moriya Huzita (UEM)
Dia: 28/03/2012 (quarta-feira)
Horário: 16h
Auditório 517 - FACIN/PUCRS

Resumo:
Em busca de vantagens competitivas, tais como redução de custo e ganho de produtividade, cada vez mais as organizações optam por distribuir seus processos de desenvolvimento de software em países com custo de produção mais acessível. Cada vez mais os projetos estão sendo desenvolvidos em ambientes geograficamente distribuídos, caracterizando o desenvolvimento distribuído de software. Entretanto, os desafios inerentes a este ambiente de desenvolvimento de software são significativos. Dentre estas adversidades está a diferença de fuso horário, o qual pode ser também encarado como uma vantagem, através do uso do desenvolvimento follow-the-sun. Entretanto, a estratégia follow-the-sun apresenta alguns desafios, principalmente durante a transferência de trabalho de um centro para outro. Portanto, o foco desta pesquisa é apresentar um processo para amenizar estas dificuldades inerentes à projetos que utilizam a estratégia follow-the-sun, focado na fase de desenvolvimento do ciclo de vida de desenvolvimento de software. Ainda realiza um experimento para avaliar a eficiência do processo proposto. Os resultados encontrados mostram indícios que o processo criado realmente ameniza as dificuldades encontradas na estratégia follow-the-sun.

Publicado em 26/03/2012

Convidamos para a Defesa de Dissertação “Uma Metodologia para Definição de Modelos de Cobrança em Ambientes de Nuvens Computacionais”

Autor: Silvio Augusto Langer
Orientador: Prof. Dr. César Augusto Fonticielha De Rose
Banca: Prof. Dr. Luiz Gustavo Leão Fernandes (PPGCC/PUCRS) e Prof. Dr. Luciano Paschoal Gaspary (UFRGS)
Dia: 28/03/2012 (quarta-feira)
Horário: 14h
Auditório 516 - FACIN/PUCRS

Resumo:
Atualmente, as nuvens computacionais são consideradas um novo conceito para o fornecimento de infraestrutura computacional. Neste ambiente, os clientes acessam e utilizam software, plataforma ou infraestrutura como serviço podendo reduzir os seus custos, se comparados aos tradicionais valores do modelo de datacenter [MLE10a]. Para que isto seja viável, os clientes são cobrados pelo uso dos recursos computacionais por meio de um modelo de cobrança. Esses modelos determinam a forma como o uso de qualquer tipo de serviço ou produto será pago por um cliente para um provedor de serviços [BRG+06a]. No entanto, definir um modelo de cobrança envolve a execução de uma série de processos de forma a identificar os melhores parâmetros deste modelo para cada provedor. Para tanto, é necessário ter clareza do modelo de serviço que o provedor adota e dos produtos que pretende oferecer ao mercado. Além disso, é necessário verificar as estratégias de venda adotadas pelo provedor e o custo de operação. Estas dificuldades também foram encontradas pelo Laboratório de Alto Desempenho da PUCRS (LAD-PUCRS). No intuito de facilitar este processo, este trabalho apresenta uma metodologia para definir e otimizar modelos de cobrança para provedores de nuvens computacionais. A metodologia foi aplicada no LAD, o que resultou na melhoria dos modelos de cobrança utilizados pelo laboratório. Além disso, a aplicação da metodologia neste estudo de caso foi avaliada e contribuiu para o seu aperfeiçoamento.

Publicado em 26/03/2012

Convidamos para a Defesa de Dissertação “Um Banco de Dados Paleogeográficos e Paleoclimáticos do Atlântico Sul”

Autor: Joaquim Vinicius Carvalho Assunção
Orientador: Prof. Dr. Paulo Henrique Lemelle Fernandes
Banca: Prof. Dr. Duncan Dubugras Alcoba Ruiz (PPGCC/PUCRS) e Profa. Dra. María Alejandra Gómez Pivel (FACIN/PUCRS)
Dia: 27/03/2012 (terça-feira)
Horário: 15h30min
Auditório 516 - FACIN/PUCRS

Resumo:
Encontrar petróleo é uma tarefa difícil que requer grandes quantidades de informações e recursos. Ao longo de décadas de pesquisa, os geólogos da Petrobras acumularam grandes quantidades de dados. Além disso, na geologia do petróleo outras fontes de dados são importantes, fontes estas, que em geral estão dispersas e possuem várias formas de represenção. Esta dissertação relata a criação de um banco de dados que agrega diversos dados de origem paleoclimática e paleogeográfica provenientes do Atlântico Sul. Grande parte destes dados foram extraídos de cartas estratigráficas, convertidos e armazenados em forma de um modelo numérico. Modelo este, que é resultado de agregações de dados provenientes das bacias sedimentares brasileiras e da criação de uma solução algorítmica capaz de mapear os dados coletados ao longo da área designada. Estes dados são relativos a um período de tempo entre a idade geológica atual até 140 milhões de anos atrás. Os 140 milhões de anos correspondem ao período de deslocamento do continente Sul-Americano (onde hoje encontra-se o Atlântico Sul) desde a costa da África até a posição atual. Durante esse deslocamento houveram diversas mudanças naturais nas bacias sedimentares oceânicas até chegarem ao estado atual. O grupamento destes dados potencializa a descoberta de conhecimento relativo aos fatores necessários para a geração e depósito de petróleo no fundo do mar, assim, estes novos fatores podem vir a melhorar as probabilidades de descoberta de petróleo.
 

Publicado em 26/03/2012

Convidamos para a Defesa de Dissertação “Uma Abordagem para Mineração de Dados e Visualização de Resultados em Imagens Batimétricas”

Autor: Luis Fernando Planella Gonzalez
Orientador: Prof. Dr. Duncan Dubugras Alcoba Ruiz
Banca: Prof. Dr. Paulo Henrique Lemelle Fernandes (PPGCC/PUCRS) e Prof. Dr. João Marcelo Medina Ketzer (CEPAC/PUCRS)
Dia: 27/03/2012 (terça-feira)
Horário: 14h
Auditório 516 - FACIN/PUCRS

Resumo:
A batimetria é a medida da profundidade da água em distintos lugares em uma massa de água, e também a informação derivada de tais medições. Possui diversas aplicações importantes e tem atraído cada vez mais interesse nos últimos anos. Mapas batimétricos podem cobrir toda a extensão do globo terrestre. Entretanto, a análise apenas por inspeção visual destes mapas pode ser difícil, devido a variações sutis na conformação do solo oceânico. Assim, seria interessante a disponibilização de ferramentas computacionais capazes de auxiliar ao especialista de domínio nos mais diversos problemas relativos a imagens batimétricas, analisando-as de forma automática ou semi-automática. A contribuição deste trabalho é uma abordagem para a utilização da mineração de dados para tal análise, e de uma iconografia para a visualização dos resultados da mineração e de características do próprio mapa. São propostas técnicas para o processamento da imagem de entrada, a fim de extrair da mesma registros e atributos que possam ser processados por algoritmos clássicos da mineração de dados. Também é proposta uma iconografia para a visualização dos resultados do processo de descoberta de conhecimento e das características de áreas processadas do mapa. Finalmente a abordagem proposta é testada, aplicando-a sobre uma base de dados real, com supervisão de um especialista de domínio.

Publicado em 26/03/2012

Convidamos para a Defesa de Tese “Colaboração entre Pares para Melhor Compreensão da Mensagem do Designer Via Sistemas de Ajuda”

Autora: Letícia Lopes Leite
Orientadora: Profa. Dra. Milene Selbach Silveira
Banca: Prof. Dr. Márcio Sarroglia Pinho (PPGCC/PUCRS), Profa. Dra. Maria Cristina Villanova Biazus (UFRGS) e Profa. Dra. Clarisse Sieckenius de Souza (PUC-Rio)
Dia: 27/03/2012 (terça-feira)
Horário: 14h
Auditório 517 - FACIN/PUCRS

Resumo:
A disseminação da computação tem gerado uma demanda por sistemas que sejam facilmente utilizados por seus usuários. Os sistemas de ajuda apresentam-se como uma forma de prover auxílio aos usuários em momentos de dúvidas. Entretanto, com o passar dos tempos e a evolução da computação, tem-se observado um desuso destes sistemas. Observou-se, então, que é importante oferecer formas que possibilitem aos usuários se apropriar dos sistemas computacionais, e que eles sintam-se motivados a utilizá-las. Acredita-se que a colaboração entre usuários pode auxiliar na motivação destes usuários, assim como pode proporcionar o compartilhamento de experiências e informações entre os mesmos acerca dos sistemas computacionais que utilizam. Torna-se necessário, então, proporcionar um ambiente que propicie um esclarecimento de dúvidas efetivo em que as mensagens sejam entendidas pelos envolvidos no processo de comunicação. Neste sentido, a presente tese objetiva investigar formas de facilitar e motivar o esclarecimento de dúvidas em sistemas de ajuda em pares para sistemas colaborativos de ensino. Ela está alicerçada em três pilares: Engenharia Semiótica, pois se propõe que o uso de expressões de comunicabilidade auxilie na identificação e, consequentemente, na solução das dúvidas dos usuários; sistemas de ajuda, pois se considera que estes recursos são a melhor forma de se explicar ao usuário um sistema computacional; e sistemas colaborativos de ensino, pois eles proporcionam um ambiente que apóia o processo de ensino e de aprendizagem, favorecendo e estimulando a colaboração entre seus usuários. O resultado desta pesquisa é a proposta de uma arquitetura de sistemas de ajuda em pares que baseia sua comunicação no uso de expressões de comunicabilidade. A arquitetura foi implementada em um protótipo que possibilitou a realização de testes, permitindo verificar e analisar o uso de expressões de comunicabilidade pelos usuários destes sistemas, assim como obter informações acerca da efetividade de seu uso.

Publicado em 26/03/2012

Café da manhã na Facin com os Calouros e Familiares

Confirme sua presença até 29/03/2012 pelo fone (51) 3320-3558 ou diretamente na Secretaria da Facin.

Clique na imagem para ampliar.
 

Publicado em 26/03/2012

Convidamos para a Defesa de Dissertação "Distribuição Automática de Imagens em Páginas com Aspect Ratio Predefinido”

Autor: Matheus Cavalheiro Teixeira;
Orientador: Prof. Dr. João Batista Souza de Oliveira;
Banca: Prof. Dr. Márcio Sarroglia Pinho (PPGCC/PUCRS) e Profa. Dra. Luciana Porcher Nedel (UFRGS);
Dia: 23/03/2012 (sexta-feira);
Horário: 14h;
Sala 514 - FACIN/PUCRS.

Resumo:

O surgimento de grandes coleções de imagens gera a necessidade de organizá-las. Uma solução para isto é agrupá-las em páginas. Ferramentas atuais geralmente
realizam esta tarefa através do uso de templates, porém estes são estruturas limitadas e com poucas variações. A solução ideal deve gerar páginas automaticamente, analisando individualmente as imagens selecionadas e então as distribuindo de forma inteligente. Este trabalho apresenta uma possível solução para este problema através de árvores de cortes, estruturas que permitem formar um layout a partir das imagens. Inicialmente é apresentado um algoritmo capaz de avaliar todos os layouts representáveis por árvores de cortes e escolher o melhor. Esta escolha é baseada em uma função de avaliação capaz de atribuir uma pontuação a um layout. Os critérios de avaliação são divididos entre páginas em que as imagens podem ou não ser redimensionadas. Páginas sem redimensionamento das imagens devem ser ocupadas de forma que reste o mínimo de espaço em branco em seu interior. Já em páginas com redimensionamento é possível eliminar completamente o espaço em branco, porém deseja-se que para isto as imagens sofram o mínimo de alteração em seu tamanho original. Em nenhum caso é permitido recorte, distorção, rotação ou sobreposição das imagens. A criação de layouts é totalmente dependente da área onde o mesmo será apresentado: um layout bom para um formato de página pode não ser bom para outro. Logo, o formato da página é predefinido e deve ser considerado na escolha do melhor layout. A abordagem utilizada neste algoritmo garante um resultado preciso, porém seu alto custo computacional inviabiliza a criação de páginas com muitas imagens. É proposto um segundo algoritmo capaz de dividir o problema, abrindo mão da precisão do resultado, porém permitindo a geração de páginas com centenas de imagens.

Palavras-Chave: geração automática de layouts; layouts de páginas; árvores de cortes; páginas de álbum; composição de imagens; aspect ratio predefinido; geração de árvores binárias; espaço em branco; corte de guilhotina; mosaicos.
 

Publicado em 22/03/2012

Convidamos para a Defesa de Dissertação "Algoritmo para Conversão Automática de Modelos SAN GTA para Modelos SAN CTA”

Autor: Paulo Guilherme Gil;
Orientador: Prof. Dr. Paulo Henrique Lemelle Fernandes;
Banca: Prof. Dr. Fernando Luís Dotti (PPGCC/PUCRS) e Prof. Dr. Afonso Henrique Corrêa de Sales (FACIN/PUCRS);
Dia: 22/03/2012 (quinta -feira);
Horário: 15h:30min;
Sala 515 - FACIN/PUCRS.

Resumo:

O formalismo para modelagem de sistemas chamado Redes de Autômatos Estocásticos (SAN) tem o objetivo de aumentar o nível de abstração e oferece uma alternativa de modelagem mais sofisticada do que a proporcionada pelas Cadeias de Markov (MC). Este formalismo utiliza a álgebra tensorial clássica (CTA) e geralizada (GTA) para simplificar a matriz das transições entre os estados do modelo. Embora todos os modelos SAN descritos utilizando GTA possuam pelo menos um modelo
equivalente descrito utilizando CTA, e que a solução de certos modelos utilizando CTA possa ser mais rápido que o modelo equivalente que utiliza GTA, este trabalho propõe um algoritmo para traduzir um modelo descrito em GTA para o modelo equivalente descrito em CTA. Espera-se com isto permitir que um modelo descrito utilizando funções possa ser resolvido mais rapidamente ou ocupando menos memória através da solução de seu modelo convertido.

Palavras-chave: Modelagem computacional; Formalismos estruturados; Soluções numéricas; Cadeias de Markov; Redes de Autômatos Estocásticos; Descritores Markovianos; Ferramentas computacionais; Álgebra Tensorial.

Publicado em 21/03/2012

Palestra: O Perceptron Estruturado: Algoritmos e Aplicações

Prof. Dr. Ruy Milidiù

Dia 30/03/2012 na FACIN, sala 517 às 10h

Tema da palestra:
Em 1958, Rosenblatt propos o Algoritmo do Perceptron para aprendizado supervisionado de classificadores binários lineares. Diversas extensões desse algoritmo estão hoje disponíveis
para tratar problemas mais complexos, sendo aqui apresentadas. O Kernel Perceptron resolve o problema de aprendizado de classificadores binários não lineares.
O Perceptron Multiclasse generaliza o Perceptron para problemas com mais de duas classes.
Com o Perceptron Estruturado é possível tratar problemas de aprendizado de estruturas, tais como árvores, segmentos, pareamentos e cadeias. Este algoritmo oferece um framework de modelagem que permite integrar estratégias de Aprendizado de Máquina com algoritmos para problemas básicos de Otimização Combinatória. Dentre estes, destacamos alguns para os quais existem eficientes soluções algorítmicas, a saber: arborescências ótimas, caminhos mais curtos, intervalos ponderados ótimos e pareamentos ponderados ótimos.
Dentre as extensões mais recentes, destacamos o Perceptron com Variáveis Latentes, que permite incorporar na etapa de aprendizado fontes de conhecimento de natureza distinta.
A versatilidade e escalabilidade destes algoritmos é notável, o que justifica sua ampla utilização.

Palestrante:
Ruy Milidiù é docente permanente do PPG Informática da Puc-Rio (conceito 7 pela CAPES) e bolsista de Produtividade CNPq. Vem trabalhando com Algorítmica, Aprendizado de Máquina e Complexidade de Algoritmos, Algoritmos para aplicações de Inteligência Artificial e Processamento da Linguagem Natural.

Publicado em 21/03/2012

Convidamos para a Proposta de Tese: "HyPF: Uma Proposta De Framework Para Programação Híbrida De Alto Desempenho”

Autor: Mateus Raeder;
Orientador: Prof. Dr. Luiz Gustavo Leão Fernandes;
Banca: Prof. Dr. Alfredo Goldman vel Lejbman (USP) e Prof. Dr. Marcelo Blois Ribeiro (GE-Brasil);
Dia: 20/03/2012 (terça -feira);
Horário: 09:30h;
Auditório 516 - FACIN/PUCRS.

Resumo:

Avanços tecnológicos vêm proporcionando a utilização de arquiteturas com maior poder computacional,
beneficiando desenvolvedores que necessitam criar aplicações paralelas. Neste contexto, a
criação de clusters de máquinas multiprocessadas surge como uma tendência, introduzindo um novo
paradigma de programação: a programação híbrida. Este tipo de programação procura tirar vantagem
de todos os recursos disponibilizados por esta nova arquitetura. Entretanto, tornar uma
aplicação sequencial em uma aplicação paralela correta e eficiente não é uma tarefa trivial, podendo
ser facilitada através da criação de um framework. Um framework é uma ferramenta que agrupa
diversas características e funcionalidades comuns a um determinado conjunto de aplicações, priorizando
o reuso de código e a abstração de informações, diminuindo o esforço de desenvolvimento
as aplicações. Logo, este trabalho apresenta a proposta de um framework para a programação
híbrida, que utilizará aspectos de orientação a objetos e fará com que a tarefa de desenvolver aplicações
paralelas híbridas seja mais objetiva e acessível para usuários que não possuam profundos
conhecimentos na área.

Publicado em 19/03/2012

Convidamos para a Defesa de Dissertação "Um Estudo Sobre a Predição da Estrutura 3D Aproximada de Proteínas Utilizando o Método CReF com Refinamento”

Autora: Karina Cristina da Motta Dall’Agno;
Orientador: Prof. Dr. Osmar Norberto de Souza;
Banca: Prof. Dr. Duncan Dubugras Alcoba Ruiz (PPGCC/PUCRS) e Prof. Dr. Luiz Augusto Basso (PPGBCM/PUCRS);
Dia: 22/03/2012 (quinta -feira);
Horário: 14h;
Sala 514 - FACIN/PUCRS.

Resumo:

Um dos principais desafios da Bioinformática Estrutural é entender como a informação codificada em uma sequência linear de aminoácidos, ou estrutura primária de uma proteína, possibilita a formação de sua estrutura tridimensional. Muitos algoritmos buscam propor soluções para este problema complexo da classe NP-completo. Dentre eles, está o método CReF (Central Residue Fragment-based method) que realiza a predição da estrutura 3D aproximada de proteínas ou polipeptídios. O método usa técnicas de mineração de dados para agrupar dados de estruturas, apresentando boa predição de estruturas secundárias, bom desempenho em máquina de baixo custo, mas enfrenta problemas na predição das regiões de voltas e alças e na usabilidade. Valorizando as características diferenciadas do método e buscando sua evolução, este trabalho propôs-se a realizar melhorias no CReF. Após uma etapa inicial de entendimento e adaptações para tornar a ferramenta executável na situação atual dos bancos de dados e ferramentas de apoio, foram identificadas duas categorias de melhorias. As melhorias técnicas tiveram por objetivo automatizar a ferramenta, adaptá-la ao ambiente e ao usuário, enfatizando usabilidade. Para melhorias no método realizaram-se testes com variação na quantidade de grupos identificados na etapa de mineração de dados com o algoritmo Expectation Maximization (EM) no Weka. Os testes indicaram que as melhores conformações iniciais eram obtidas com quatro e seis grupos, assim, optou-se por permitir ao usuário a escolha dos grupos a considerar. Um novo mapeamento do mapa de Ramachandran indicou ajustes que foram corrigidos e decidiu-se descartar grupos identificados nas regiões não permitidas na análise do resultado da mineração de dados. A nova versão do CReF, gerada pela implementação dessas melhorias, também padronizou o método de predição de estrutura secundária, passando a utilizar o método Porter. Como consequência, as regras para escolha do grupo resultante da mineração a representar cada aminoácido foram adaptadas e ampliadas para atender novas situações. A nova versão manteve o desempenho de predição e execução iniciais do CReF, entretanto, não resolveu satisfatoriamente a predição de voltas e alças. Este problema de otimização das regiões de voltas e alças foi endereçado por meio do desenho e aplicação de um protocolo de refinamento, baseado em simulações pelo método da dinâmica molecular, o qual apresentou um resultado expressivo para a proteína alvo de código PDB 1ZDD.

Palavras-chave: Bioinformática, predição de estrutura 3D de proteínas, mineração de dados, refinamento de estruturas protéicas, simulação por dinâmica molecular, predição de estrutura
2D.

Publicado em 16/03/2012

Palestra introdutória sobre o programa de estágios LIS (Laboratório de Inovação em Software)

Vivencie projetos de alta inovação com a PUCRS e a HP, trabalhando com o estado da arte em tecnologia da informação e com práticas de ágeis de desenvolvimento de software em um ambiente de Pesquisa e Desenvolvimento.

Palestra:
Dia: 20/3/2012
Horário: às 19:00-19:30
Local: Auditório 517 - FACIN

Publicado em 16/03/2012

Convidamos para a Defesa de Dissertação "Reduction of Energy Consumption in MPSOCS Through Dynamic Frequency Scaling Technique”

Autor: Thiago Raupp da Rosa;
Orientador: Prof. Dr. Fernando Gehm Moraes ;
Banca: Prof. Dr. Ney Laert Vilar Calazans (PPGCC/PUCRS), Prof. Dr. Alexandre de Morais Amory (PPGCC/PUCRS) e Prof. Dr. Marcelo Soares Lubaszewski (UFRGS);
Dia: 27/03/2012 (terça-feira);
Horário: 10h;
Auditório 517 - FACIN/PUCRS

Resumo:

MPSoCs baseados em NoC tem sido empregados em diversos segmentos na área de sistemas embarcados devido ao seu alto desempenho, o qual e atingido através do uso de múltiplos elementos de processamento (PEs). Entretanto, restrições de potencia e energia, especialmente em aplicações moveis, podem tornar o projeto de MPSoCs inviável. Dessa forma, a utilização de técnicas para gerenciamento de consumo e essencial. Alem disso, devido a alta variabilidade presente na carga de trabalho das aplicações, esse controle deve ser feito de forma dinâmica. A utilização de técnicas para escalonamento dinâmico de tensão e freqüência (DVFS) demonstrou- se adequada para a redução do consumo de energia em sistemas computacionais. No entanto, devido a evolução da tecnologia a variação de tensão possível e menor e o tempo de resposta elevado dos métodos de DVFS podem tornar esta técnica inadequada em tecnologias nanométricas. Como alternativa, a utilização de técnicas para escalonamento dinâmico de freqüência (DFS) pode prover uma boa relação custo-beneficio entre economia e consumo de energia. O presente trabalho apresenta um esquema de escalonamento dinâmico de freqüência distribuído auto-adaptavel para MPSoCs baseados em NoC. Ambos os elementos do MPSoC (NoC e PEs) possuem um esquema próprio. O esquema para os PEs leva em consideração as cargas de computação e comunicação do mesmo. Na NoC, o esquema e controlado através de informações provenientes do pacote que trafega na rede. Alem disso, um modulo para geração local de relógio e apresentado, o qual e responsável por prover o sinal de relógio para PEs e roteadores da NoC. O esquema de geração do sinal de relógio e simples, baseado em roubo de ciclo de um sinal de relógio global, fornece uma ampla variedade de freqüências, induz baixo custo adicional de área e consumo e responde rapidamente a uma nova configuração. Para avaliar o esquema proposto, aplicações sintéticas e reais foram simuladas. Os resultados mostram que a redução no numero de instruções executadas e de ate 65%, com um custo adicional de no Maximo 14% no tempo de execução. Em relação a dissipação de potencia, a redução e de ate 52% nos PEs e de ate 76% na NoC.

Palavras-Chave: DFS, DVFS, MPSoC, NoC, gerenciamento de consumo, redução do consumo de energia.

Publicado em 15/03/2012

Convidamos para a Defesa de Dissertação "Extração e Alinhamento de Hierarquias em Páginas WEB”

Autor: Bernardo Severo de Souza;
Orientadora: Profa. Dra. Renata Vieira;
Banca: Profa. Dra. Vera Lúcia Strube de Lima (PPGCC/PUCRS) e Profa. Dra. Carina Friedrich Dorneles (UFSC);
Dia: 23/03/2012 (sexta-feira);
Horário: 10h;
Auditório 517 - FACIN/PUCRS.

Resumo:

A heterogeneidade de estruturas de apresentação de informações é uma característica que dificulta a análise de dados entre diferentes fontes. Por isso, o foco principal do trabalho é apresentar uma proposta de alinhamento baseada na análise de tais estruturas em páginas da internet, a partir de experimentos no domínio de comércio eletrônico. Dessa forma, os elementos representados em diferentes hierarquias podem ser identificados de maneira comum, facilitando assim o acesso, comparação e análise da informação de forma mais simplificada.
Para a condução dos experimentos, foi elaborada a ferramenta PLATAL (Plataforma de Extração e Alinhamento de Hierarquias), voltada para facilitar as diversas funções de auxílio a operações de alinhamento de hierarquias. A ferramenta possui dois módulos principais: um para extração de hierarquias de páginas da internet, tornando as mesmas disponíveis para manipulação em formatos padrões da web semântica; e outro para alinhamento automatizado dessas hierarquias, baseado em diversas heurísticas e técnicas de mapeamento de ontologias.
Os resultados encontrados através das técnicas propostas apresentaram um grau de relevância nos alinhamentos descobertos superior às técnicas básicas para alinhamento, consideradas como baseline. Portanto, este trabalho contribui como uma forma de viabilizar a criação de uma hierarquia unificada ou um meio centralizado de referência a partir das estruturas heterogêneas encontradas na web.

Palavras chave: hierarquia, ontologia, alinhamento, OWL, SKOS, mapeamento de ontologia.

Publicado em 15/03/2012

Convidamos para a Defesa de Dissertação "Mineração de Opiniões Aplicada a Mídias Sociais”

Autor: Marlo Vieira dos Santos e Souza;
Orientadora: Profa. Dra. Renata Vieira;
Banca: Profa. Dra. Vera Lúcia Strube de Lima (PPGCC/PUCRS) e Profa. Dra. Renata Galante (UFRGS);
Dia: 19/03/2012 (segunda-feira);
Horário: 16h;
Auditório 517 - FACIN/PUCRS.

Resumo:

Com o advento da globalização e do desenvolvimento tecnológico, o ambiente competitivo se tornou mais dinâmico e o gestor precisa estar sempre bem informado sobre o panorama competitivo antes de tomar decisões estratégicas. Nessa direção, a Inteligência Competitiva (IC) surge como uma disciplina que pretende sistematizar a obtenção e análise de informações do ambiente competitivo com função de auxiliar a tomada de decisão. Há entretanto uma quantidade crescente de informação sendo produzida e disponibilizada em meios como a Internet e mídias tradicionais, as quais se tornam de difícil manejo. Associado a isso, os gestores sofrem ainda com restrições temporais para responder ao estímulo do mercado e manterem-se competitivos. Dessa forma, é necessário manter uma equipe de monitoramento constante do ambiente competitivo para que se possa lidar com a quantidade de informação proveniente de diversas fontes. Acreditamos que a aplicação de técnicas de Análise de Texto podem auxiliar nas diversas fases do processo de IC. O presente trabalho apresenta uma proposta de utilização de tais técnicas para auxiliar o processo de Inteligência Competitiva. Discutimos aqui a utilização de um método de Análise de Sentimentos
aliado ao Reconhecimento de Entidades Nomeadas em textos provenientes de mídias sociais – particularmente o Twitter - que permitam analisar as atitudes do mercado consumidor quanto a uma determinada marca. São apresentados ainda o sistema desenvolvido e as avaliações realizadas com ele e as conclusões que tiramos.

Palavras-chave: Análise de Sentimentos; Entidades Nomeadas; Twitter; Língua Portuguesa.

Publicado em 15/03/2012

Convidamos para a Defesa de Tese "A Framework for Integrating Interaction Design and Agile Methods”

Autor: Tiago Silva da Silva;
Orientadora: Profa. Dra. Milene Selbach Silveira;
Banca: Prof. Dr. Rafael Prikladnicki (PPGCC/PUCRS), Prof. Dr. Frank Maurer (University of Calgary, CA) e Prof. Dr. Marcelo Soares Pimenta (UFRGS);
Dia: 22/03/2012 (quinta-feira);
Horário: 10h:30min.;
Auditório 516 - FACIN/PUCRS.

Resumo:

Desenvolvimento Ágil tem estado em evidência no que diz respeito à processos de desenvolvimento de software. Juntamente com o crescimento da conscientização sobre a importância de uma boa Experiência de Usuário surgiu a necessidade de integrar estas duas áreas. Entretanto, o desenvolvimento Ágil possui uma cultura distinta que, num primeiro momento, parece entrar em conflito com o Design Centrado no Usuário. Assim, a integração destas duas áreas torna-se um desafio. Esta tese focaliza na integração destas duas áreas, fornecendo um conjunto de práticas e artefatos para apoiar equipes Ágeis e Designers de Interação a superar tal desafio. Uma Revisão Sistemática foi realizada a fim de identificar propostas de integração de métodos Ágeis e Design de Interação. Com base na reunião das práticas e artefatos mais comuns identificados na revisão, um framework foi proposto. A fim de verificar tal proposta, Pesquisas-Ação foram realizadas em duas organizações de dois diferentes países. Desta forma, o resultado desta pesquisa é a proposta de um framework para integrar Design de Interação e desenvolvimento Ágil.

Palavras-chave: interação humano-computador, experiência de usuário, engenharia de
software, métodos ágeis, integração, framework.

Publicado em 15/03/2012

Convidamos para a Defesa de Dissertação "Recomendação de Tags para Mídia Social Colaborativa: da Generalização à Personalização”

Autor: Angelina de Carvalho Alvarez Ziesemer;
Orientador: Prof. Dr. João Batista Souza de Oliveira;
Banca: Prof. Dr. Ricardo Melo Bastos (PPGCC/PUCRS), Prof. Dr. Marcelo Blois Ribeiro(GE- Brasil) e Prof. Dr. Leandro Krug Wives (UFRGS);
Dia: 20/03/2012 (terça-feira);
Horário: 14h;
Auditório 517 - FACIN/PUCRS.

Resumo:

Sistemas de mídia social como Flickr, Youtube e Picasa tornaram-se muito populares devido ao seu ambiente para compartilhamento de imagens, vídeos e suporte à atribuição de tags, avaliações e comentários. Sistemas colaborativos possuem grandes quantidades de conteúdo provido pelos usuários, os quais fornecem informações relevantes para engines de recomendação. O uso de tags também permite a clusterização e busca de conteúdo baseado em palavras-chaves. Neste trabalho foi investigado um mecanismo para recomendar tags,
desenvolvendo medidas de co-ocorrência, popularidade e relevância de tags comumente usadas em itens similares e por usuários similares. Foi desenvolvido um sistema para recomendar possíveis tags relevantes baseadas na similaridade contextual de outras tags providas pelos usuários. Para o desenvolvimento do experimento, foi utilizado um dataset do Flickr para gerar recomendações e analisar o comportamento do algoritmo e as atribuições efetuadas pelos usuários participantes. Os resultados obtidos demonstraram padrões de atribuição e
desempenho de acordo com o conteúdo/contexto da imagem. Utilizando a frequência de atribuição baseada no histórico de cada perfil é sugerido um novo modelo personalizado para recomendação de tags.

Palavras-chave: Folksonomia, Recomendação, Tags, Recuperação de Informação

Publicado em 15/03/2012

Convidamos para a Defesa de Dissertação "Proposta de uma Linguagem Específica de Domínio de Programação Paralela Orientada a Padrões Paralelos: UM Estudo de Caso Baseado no Padrão Mestre/Escravo para Arquiteturas Multi-Core”

Autor: Dalvan Jair Griebler;
Orientador: Prof. Dr. Luiz Gustavo Leão Fernandes;
Banca: Prof. Dr. César Augusto Fonticielha De Rose (PPGCC/PUCRS), Prof. Dr. Marcelo Blois Ribeiro(GE- Brasil) e Prof. Dr. Philippe Olivier Alexandre Navaux (UFRGS);
Dia: 19/03/2012 (segunda-feira);
Horário: 14h:30min;
Auditório 516 - FACIN/PUCRS.

Resumo:

Este trabalho propõe uma Linguagem Específica de Domínio de Programação Paralela Orientada a Padrões Paralelos (LED-PPOPP). O principal objetivo é reduzir o esforço e induzir o programador a desenvolver algoritmos paralelos guiando-se através de padrões que são implementados pela interface da linguagem, evitando que ocorram grandes perdas de desempenho nas aplicações. Anteriormente estudados, os padrões são soluções especializadas e utilizadas para resolver um problema frequente. Assim, padrões paralelos são descritos em um alto nível de abstração para organizar os algoritmos na exploração do paralelismo, podendo ser facilmente interpretados por programadores inexperientes e engenheiros de software. Como ponto de partida, este trabalho realizou um estudo de caso baseandose
no padrão Mestre/Escravo, focando na paralelização de algoritmos para arquiteturas multi-core. Através de experimentos para medição de esforço e desempenho, a implementação de estudo de caso foi avaliada obtendo bons resultados. Os resultados obtidos mostram que houve uma redução
no esforço de programação paralela em relação a utilização da biblioteca Pthreads. Já com relação ao desempenho final das aplicações paralelizadas, foi possível comprovar que a paralelização com LED-PPOPP não acarreta perdas significativas com relação a paralelizações com OpenMP na quase
totalidade das aplicações testadas.

Palavras-chave: Programação Paralela Orientada a Padrões Paralelos, Padrões Paralelos, Programação
Paralela, Linguagem Específica de Domínio.

Publicado em 15/03/2012

Convidamos para a Defesa de Dissertação "Uma Proposta de Representação Não-Linear para o Fluxo de Edição de Imagens”

Autor: Alexandre Kazuo Seki
Orientador: Prof. Dr. João Batista Souza de Oliveira
Banca: Profa. Dra. Milene Selbach Silveira (PPGCC/PUCRS) e Profa. Dra. Carla Maria Dal Sasso Freitas (UFRGS)
Dia: 15/03/2012 (quinta-feira)
Horário: 14h
Auditório 517 - FACIN/PUCRS

Resumo:

Este trabalho disserta sobre modelos utilizados para representar e armazenar o fluxo de operações para edição de imagens. As ferramentas de edição de imagens utilizam uma pilha para armazenar este fluxo, e neste trabalho são apresentados alguns problemas encontrados neste modelo, como por exemplo: quando o
usuário desfaz algumas operações e aplica uma nova, as operações desfeitas são perdidas. Outro problema detectado é que o histórico é mantido por sessão, ou seja, ao salvar uma imagem e abrir uma edição dela em outro momento o histórico estará vazio, perdendo-se as transformações que já foram executadas e não
é mais possível retroceder. Este trabalho apresenta uma forma não-linear para armazenar e visualizar estes fluxos, baseando-se em uma árvore. Com uma árvore é possível ter vários caminhos que são diversas edições em uma única forma de visualizar. Salvando esta árvore pode-se manter o histórico para uma futura edição.
Outras vantagens e detalhes do modelo proposto são descritos ao longo do trabalho. Por fim é introduzido o protótipo desenvolvido para avaliar o modelo, em seguida são apresentados resultados de avaliações com usuários utilizando o protótipo.

Palavras-chave: Visualização, desfazer e refazer, programação visual.
 

Publicado em 14/03/2012

Convidamos para a Defesa de Dissertação "Evaluation of System-Level Impacts of a Persistent Main Memory Architecture”

Autor: Taciano Dreckmann Perez
Orientador: Prof. Dr. César Augusto Fonticielha De Rose
Banca: Prof. Dr. Ney Laert Vilar Calazans (PPGCC/PUCRS) e Prof. Dr. Rodolfo Jardim de Azevedo (UNICAMP)
Dia: 15/03/2012 (quinta-feira)
Horário: 10h
Auditório 516 - FACIN/PUCRS

Resumo:
Por cerca de 30 anos, os sistemas de memória computacional têm sido essencialmente os mesmos: tecnologias de memória volátil de alta velocidade como SRAM e DRAM utilizadas para caches e memória principal; discos magnéticos para armazenamento persistente; e memória flash, persistente e de baixa velocidade, para armazenamento com características de baixa capacidade e baixo consumo de energia, tais como dispositivos móveis e embarcados. Hoje estão emergindo novas tecnologias de memória não-volátil, que prometem mudar radicalmente o cenário de sistemas de memória. Neste trabalho são avaliados impactos (em nível de sistema) de latência e energia assumindo um computador com memória principal persistente usando PCRAM e Memristor. Os resultados experimentais suportam a viabilidade de se empregar tecnologias emergentes de memória não-volátil como memória principal persistente, indicando que as vantagens de consumo de energia com relação a DRAM devem ser significativas. Esse estudo também compara o desenvolvimento de aplicações usando tanto uma abordagem tradicional usando sistema de arquivos quanto utilizando um framework específico para persistência em memória. Conclui-se que, para colher os principais benefícios potencialmente
oferecidos por memória principal persistente, é necessário utilizar novas abordagens de programação que não estabelecem uma separação entre memória volátil e armazenamento secundário.

Palavras-chave: Memória não-volátil; Memória principal persistente; PCRAM; RRAM; Memristor.

Publicado em 13/03/2012

Cientista da HP faz apresentação sobre social computing

Nesta quinta-feira, 15 de março, Bernardo Huberman, cientista sênior da HP e diretor do Laboratório de Computação Social do HP Labs falará na PUCRS sobre o tema Mídia Social e Atenção. Focada em social computing, a atividade analisará a transformação na forma como as pessoas interagem e trocam informações entre si atualmente, e ocorre das 10h às 11h30min, no auditório térreo do prédio 32 do Campus (avenida Ipiranga, 6681 - Porto Alegre).
As inscrições são gratuitas e podem ser feitas pelo Facebook, no link http://j.mp/xyla1P. (A palestra será em inglês).
Huberman descreverá como a atenção social tem determinado a produção e o consumo de conteúdo em mídias sociais, como pode ser usada para prever tendências futuras e como ajuda a determinar a agenda pública.
O evento é promovido pela HP Brasil com apoio do Parque Científico e Tecnológico da Universidade (Tecnopuc).

Publicado em 13/03/2012

Defesa de Dissertação "Modelo de Características para Teste de Desempenho: Uma Visão a Partir de Ferramentas"

Autor: Leandro Teodoro Costa
Orientador: Prof. Dr. Avelino Francisco Zorzo
Banca: Prof. Dr. Rafael Prikladnicki (PPGCC/PUCRS) e Prof. Dr. Adenilso Silva Simão (USP)
Dia: 08/03/2012 (quinta-feira)
Horário: 08h
Auditório 517 - FACIN/PUCRS

Resumo:

Atualmente, o desenvolvimento de sistemas por parte da indústria de software tem aumentado. Assim como a necessidade dos clientes em automatizar seus processos, cresce também a exigência dos mesmos na melhoria da qualidade dos sistemas informatizados. Nesse sentido, o teste de software desempenha um papel fundamental. Apesar dos benefícios que os testes proporcionam, a maioria deles é realizada de forma manual e sem embasamento teórico e fundamentado, tornando a atividade de teste lenta e ineficaz. Uma alternativa para a solução deste problema é a utilização de ferramentas de automatização de teste. Essas ferramentas, além de agilizar o trabalho de uma equipe de testadores, provêem maior qualidade e eficácia para o processo de teste. Entretanto, ainda que essas ferramentas possam tornar o processo de teste mais rápido, a criação de casos de teste para elas é realizada manualmente. O ideal é automatizar também o processo de criação e execução de casos de teste para essas ferramentas. Com o intuito de superar esta limitação, este trabalho propõe um modelo que contempla as características e informações necessárias para automatizar a geração e execução de casos de teste concretizados para ferramentas de automatização de teste de desempenho. A partir das informações deste modelo, foi realizada a implementação de plugins para uma linha de produto de ferramentas para teste baseado em modelos (Model-Based Testing - MBT) denominada PLeTs (Product Line Testing Tools). Estes plugins implementam a geração e a execução automática de scripts e cenários de teste utilizando duas ferramentas de automatização de teste de desempenho, HP LoadRunner e Microsoft Visual Studio. Com o objetivo de demonstrar a viabilidade da proposta deste trabalho foi definido um exemplo de uso, o qual se baseia na execução automatizada de casos de teste utilizando os produtos gerados pela linha de produto PLeTs.

Palavras-chave: Teste de desempenho; Ferramentas de teste; Geração e execução de casos de
teste.
 

Publicado em 06/03/2012

Defesa de Dissertação "Conjunto de Características para Teste de Desempenho: Uma Visão a Partir de Modelos"

Autor: Maicon Bernardino da Silveira
Orientador: Prof. Dr. Avelino Francisco Zorzo
Banca: Prof. Dr. Felipe Rech Meneguzzi (PPGCC/PUCRS) e Prof. Dr. Adenilso Silva Simão (USP)
Dia: 08/03/2012 (quinta-feira)
Horário: 10h
Auditório: 516 - FACIN/PUCRS

Resumo:

O processo de teste de software possui um custo elevado se comparado com as demais etapas de desenvolvimento de software. A automação do teste de software por meio do reuso de artefatos
de software, e.g., modelos, tem sido uma boa alternativa para mitigar estes custos, reduzindo o tempo de geração e execução dos casos de teste, tornando mais eficiente e eficaz este processo.
Nesse sentido, a abordagem de Teste Baseado em Modelos (Model Based Testing - MBT) está crescendo na Engenharia de Software. MBT é uma técnica que consiste na geração automática dos
artefatos de teste com base em informações extraídas dos modelos de software, que inclui também a especificação dos aspectos que serão testados. O presente trabalho tem por objetivo estudar técnicas
e metodologias para MBT e avaliar as características dos diferentes modelos aplicados em MBT. A principal contribuição deste estudo é a análise das características dos modelos que são utilizados no
teste de desempenho em aplicações web. Em outra perspectiva, a pesquisa norteia a investigação de modelos e métodos para geração de sequências de teste. Assim, apresenta a abordagem de
geração de casos de teste baseado em MEFs (Máquinas de Estados Finitos), conceituando MEF e ainda, descreve o processo de geração das sequências de teste através do método HSI Harmonized
State Identification. Por outro lado, a implementação de um plug-in para a ferramenta PLeTs, que implementa uma linha de produtos de software, baseado no modelo UML SPT, que interpreta o
conjunto de características para teste de desempenho desenvolvido, é apresentado em um estudo de caso real. Com esta análise, definem-se quais características devem estar presentes no modelo para
a modelagem das interações do usuário com o SUT (System Under Test), buscando o maior reuso deste modelo ao longo do ciclo de vida de desenvolvimento do software.

Palavras-chave: Teste Baseado em Modelos; Teste de Desempenho; Modelos Formais; Máquina
de Estados Finitos; UML; Teste de Software; Linha de Produto de Software.
 

Publicado em 06/03/2012

Defesa de dissertação "Suporte para Aplicações Dinâmicas em Sistemas Multiprocessados Intra-Chip Homogêneos"

Autor: Sérgio Johann Filho
Orientador: Prof. Dr. Fabiano Passuelo Hessel
Banca: Prof. Dr. César Augusto Missio Marcon (PPGCC/PUCRS), Prof. Dr. Rubem Dutra Ribeiro Fagundes (PPGEE/PUCRS) e Prof. Dr. Rodolfo Jardim de Azevedo (UNICAMP)
Dia: 14/03/2012 (quarta-feira)
Horário: 14h
Sala: 516 - FACIN/PUCRS

Resumo:

Sistemas MPSoC modernos fazem uso de recursos que eram disponibilizados apenas em computadores de propósito geral provendo mais funcionalidades para as aplicações. A evolução arquiteturalpossibilita que mais recursos sejam implementados nestes sistemas embarcados e determina um aumento na complexidade dos novos projetos de hardware e software.
Além do aumento da complexidade de projeto em sistemas MPSoC atuais, torna-se evidente a dificuldade na utilização eficiente dos recursos computacionais encontrados em tais plataformas.
Assim como o determinismo e o tempo de resposta priorizado em muitos sistemas embarcados, a programabilidade de MPSoCs é muito relevante. Dessa forma, interfaces bem definidas de software ajudam o desenvolvedor a criar aplicações que utilizam de maneira otimizada os recursos computacionais encontrados nestes sistemas. A maior parte das aplicações embarcadas são divididas em tarefas e estaticamente mapeadas a elementos de processamento em tempo de projeto, de forma a otimizar um conjunto de métricas pré-estabelecidas. No entanto, a natureza dinâmica de novas aplicações estabelece que estratégias eficientes de mapeamento dinâmico e migração de tarefas sejam implementadas. Neste contexto, esta tese apresenta um modelo para aplicações dinâmicas e gerenciamento distribuído destas em sistemas MPSoC homogêneos. O gerenciamento do sistema faz uso dos conceitos de migração de tarefas e restrições temporais, onde parâmetros de caracterização das tarefas são utilizados nas tomadas de decisão de escalonamento e otimização em tempo de execução. Neste trabalho é utilizada uma arquitetura MPSoC homogênea, composta por elementos de processamento com memórias locais interconectados por uma NoC. Este ambiente permite a execução de aplicações gerenciadas por um sistema operacional distribuído que implementa o modelo proposto e oferece diversos serviços para o desenvolvimento e otimização de aplicações embarcadas. Muitos trabalhos na área fazem uso de um gerente centralizado para realizar a otimização do sistema em tempo de execução, no entanto tais soluções tendem a ser pouco escaláveis. Os resultados obtidos mostram que o uso de gerentes distribuídos apresentam maior eficiência para sistemas com um grande número de elementos de processamento e tarefas, com redução nos tempos de estabilização
do sistema e redução nas perdas de deadline para aplicações com restrições de tempo real.

Palavras-chave: Sistemas embarcados; Sistemas Operacionais; MPSoC; RTOS; Modelagem de aplicações; Mapeamento dinâmico; Migração de tarefas.
 

Publicado em 17/01/2012

Defesa de dissertação "Particionamento e Mapeamento de MPSoCs Homogêneos Baseados em NoCs"

Autor:Eduardo de Brum Antunes
Orientador: Prof. Dr. César Augusto Missio Marcon
Banca: Prof. Dr. Fabiano Passuelo Hessel (PPGCC/PUCRS), Prof. Dr. Fernando Gehm Moraes (PPGCC/PUCRS) e Prof. Dr. Altamiro Amadeu Susin (PGCC/UFRGS)
Dia: 29/02/2012 (quarta-feira)
Horário: 10h
Sala: 516 - FACIN/PUCRS

Resumo:

Atualmente, o aumento da complexidade das aplicações demandou uma maior capacidade de processamento. Esse fato impulsionou o desenvolvimento de sistemas computacionais composto por vários elementos de processamento, memórias e núcleos de hardware específicos, chamados de Multi-Processor System-on-Chip (MPSoCs). Todos esses elementos são conectados por meio de uma infra-estrutura de comunicação, onde uma Networks-on-Chip (NoC) é a arquitetura de comunicação mais promissora.

Palavras chave: MPSoCs homogêneos, redes intrachip (NoCs), particionamento, mapeamento, consumo de energia.
 

Publicado em 13/01/2012

Defesa de dissertação "Distributed Memory Organization with Support for Data Migration for Noc-Based Mpsocs"

Autor: Tales Marchesan Chaves
Orientador: Prof. Dr. Fernando Gehm Moraes
Banca: Prof. Dr. Luiz Gustavo Leão Fernandes (PPGCC), Prof. Dr. José Luís Almada Güntzel (UFSC)
Dia: 23/01/2012
Horário: 10h
Sala: 516 - FACIN/PUCRS

Resumo:
O avanço no desenvolvimento da tecnologia de semicondutores possibilitou o desenvolvimento de sistemas intra-chip (SoCs) que integram, em um mesmo chip, diversos elementos de processamento (PEs) e módulos de memória. SoCs que possuem mais de um PE são denominados de sistemas intra-chip multiprocesados (MPSoCs).

À medida que o número de PEs aumenta em um MPSoC, tornam-se necessárias o uso de técnicas que resultem em um baixo consumo de energia, baixa latência na comunicação e escalabilidade. Em MPSoCs baseados em redes intra-chip, com blocos de memória compartilhada (cache L2), o aumento no número de PEs culmina no aumento da quantidade de acessos realizados a estes módulos. Isto torna a organização de memória um dos componentes mais críticos destes sistemas, tendo em vista que a mesma pode apresentar um alto consumo de energia e alta latência de resposta. Fatores como estes podem limitar o uso e a escalabilidade destes sistemas.

Dentre os fatores que afetam o consumo de energia e a latência da organização de memória de um MPSoC estão: o protocolo de coerência de cache e o mapeamento dos dados de aplicações. Este trabalho propõe a utilização de uma organização de memória cache L1 que possui latência de acesso não uniforme, onde acessos realizados podem ser destinados a diferentes bancos de memória cache L2 (NUCA - non uniform cache access architecture). Além disso, o presente trabalho explora os serviços físicos providos pela rede intra-chip, tais como multicast e prioridades, para otimizar a implementação de um protocolo de coerência de cache baseado em diretório. Os resultados obtidos mostram uma redução média de 39% no consumo de energia de comunicação e 17% de latência em transações do protocolo de coerência quando explorando serviços físicos oferecidos pela rede intra-chip.

Além disso, a fim de melhorar o posicionamento de dados de aplicações, é proposto um protocolo de migração de dados que posiciona os dados utilizados por uma região de PEs em um banco de memória cache L2 próximo. Com a utilização deste protocolo, é possível obter uma redução média de 29% no consumo de energia nos acessos à memória cache L2.

Palavras-chave: MPSoCs baseados em NoC, Hierarquia de Memória, Coerência de Cache, Migração de Dados.
 

Publicado em 13/01/2012

Defesa de Tese "3D-Tri: Um Algoritmo de Indução de Árvore de Regressão para Propriedades Tridimensionais - um estudo sobre dados de docagem molecular considerando a flexibilidade do receptor"

Autora: Ana Trindade Winck
Orientador: Prof. Dr. Duncan Dubugras Alcoba Ruiz
Banca: Prof. Dr. Osmar Norberto de Souza (PPGCC), Profa. Dra. Karin Becker (UFRGS),Prof. Dr. Adriano Velasque Werhli (FURG)
Dia: 17/01/2012
Horário: 14h30min
Sala: 516 - FACIN/PUCRS

Resumo:
Com o avanço nos experimentos biológicos, a manipulação e análise do grande volume de dados sendo gerados por esses experimentos tem sido uma dos desafios em bioinformática, onde uma importante área de pesquisa é o desenho racional de fármacos (RDD - Rational Drug Desing). A interação entre macromoléculas biológicas, chamadas de receptor, e pequenas moléculas, chamadas ligantes, é o princípio fundamental do RDD. É em experimentos in silico de docagem molecular que se investiga o melhor encaixe e conformação de um ligante em uma cavidade do receptor. O resultado de um experimento de docagem pode ser avaliada a partir de um valor contínuo de energia livre de ligação (FEB - Free Energy of Binding). Tem-se empregado esforços em minerar dados de resultados de docagem molecular, com o objetivo de selecionar conformações relevantes para reduzir o tempo de futuros experimentos de docagem. Nesse sentido, foi desenvolvido um repositório para armazenar todos os dados a respeito desses experimentos, em nível de detalhe. Com esse repositório, os dados foram devidamente pré-processados e submetidos a diferentes tarefas de mineração de dados. Dentre as técnicas aplicadas, a que apresentou-se mais promissora para o tipo de dados sendo utilizado foi árvore de decisão para regressão. Apesar dos resultados alcançados por esses experimentos serem promissores, existem algumas propriedades nos experimentos que dificultam a efetiva seleção de conformações. Dessa forma, propõe-se uma estratégia que considera as propriedades tridimensionais (3D) do receptor para predizer o valor de FEB. Assim, nesta Tese é apresentado o 3D-Tri, um algoritmo de indução de árvore de regressão que considera essas propriedades 3D, onde essas propriedades são definidas como atributos no formato x,y,z. O algoritmo proposto faz uso dessas coordenadas para dividir um nodo em duas partes, onde o átomo sendo testado para o nodo é avaliado em termos de sua posição em um bloco [(xi,xf );(yi,yf );(zi,zf )] que melhor represente sua posição no espaço, onde i indica a posição inicial de uma coordenada, e f indica a posição final. O modelo induzido pode ser útil para um especialista de domínio ao fazer uso dele para selecionar conformações promissoras do receptor, tendo como base as regiões dos átomos que aparecem no modelo e que indicam melhores valores de FEB.

Palavras-chave: Mineração de Dados, Propriedades Tridimensionais, Docagem Molecular, Receptor Flexível, Dinâmica Molecular.
 

Publicado em 13/01/2012

Nova Direção da FACIN

Comunicamos que a partir do dia 9 de dezembro de 2011 a FACIN conta com uma nova equipe de Direção, tal como em Equipe Diretiva.
Agradecemos ao Prof. Dr. Avelino Francisco Zorzo e sua equipe pela dedicação e excelentes resultados atingidos na Direção da FACIN nos 6 anos da sua gestão.
Boas Festas e ótimo 2012 a todos!

Publicado: 28/12/2011

Defesa de Tese "Integração de Padrões de Qualidade na Área de Melhoria de Processo de Software"

Autor: Rodrigo Santos de Espindola
Orientador: Prof. Dr. Jorge Luis Nicolas Audy
Banca: Prof. Dr. Ricardo Melo Bastos(PPGCC) Prof. Dr. Marcelo Soares Pimenta (UFRGS) Prof. Dr. Ricardo de Almeida Falbo (UFES)
Dia: 09/12/2011
Horário: 14h
Sala: 517 - FACIN/PUCRS

Resumo:
Tem havido um grande interesse tanto na indústria quanto na academia pela melhoria do processo de software (MPS) como agente para a melhoria da qualidade do produto de software. Uma das estratégias seguidas na busca pela melhoria dos processos de software é a adoção de padrões de qualidade (normas de qualidade e modelos de referência) para guiar projetos de MPS. Entretanto, em virtude da grande variedade de padrões de qualidade existentes para MPS, as organizações enfrentam novos desafios relacionados à integração, a comparação, o mapeamento e a harmonização dos mesmos. Uma dificuldade encontrada quando se tenta analisar as diferenças e as semelhanças entre os diversos padrões de qualidade é a inexistência de padronização nas suas definições. Os diversos padrões de qualidade apresentam vocabulários diferentes, estruturas diferentes, níveis de abstração diferentes e exigências em granularidades diferentes, ou seja, adotam representações completamente diferentes. Assim, esta tese de doutorado visa responder a seguinte questão de pesquisa: Como realizar a representação de padrões de qualidade para MPS de forma que seja possível apoiar a integração dos mesmos? O objetivo geral é propor uma abordagem para representação de padrões de qualidade para MPS de forma que seja possível apoiar a integração dos mesmos. Para atingir tal objetivo foi realizado um estudo exploratório, utilizando-se como métodos de pesquisa o estudo de caso, a survey, a pesquisa baseada em documentos e o método de projeto e criação. Como resultado, esta tese propõe uma conceituação do domínio de padrões de qualidade para MPS, explicitada através do desenvolvimento de uma ontologia de padrões de qualidade para MPS, e uma linguagem de modelagem baseada nesta ontologia, explicitada através do desenvolvimento de um metamodelo para padrões de qualidade para MPS.

Palavras-chave: Melhoria do Processo de Software, Padrões de Qualidade, Integração, Harmonização.
 

Publicado em 1º/12/2011