Nome do Projeto
Projeto ExPloreD-GM - Explorando o Paralelismo e a Distribuição do Modelo D-GM em Aplicações Científicas e Tecnologias Associadas
Ênfase
PESQUISA
Data inicial - Data final
20/08/2010 - 20/11/2014
Unidade de Origem
Coordenador Atual
Área CNPq
Ciências Exatas e da Terra - Ciência da Computação
Resumo
O Projeto ExPloreD-GM visa qualificar a dinâmica de execução do ambiente D-GM para prover suporte ao desenvolvimento de aplicações científicas pela: (1) Consolidação do modelo consistente de memória distribuída compartilhada viabilizando a análise de coerência de memória para o modelo D-GM, disponibilizando mecanismos para configuração dinâmica de processos e a alocação dinâmica de memória; (2) Suporte a novos construtores do ambiente D-GM, possibilitando o não-determinismo de computações aleatórias, o controle do fluxo de dados e a modelagem de testes, incluindo a definição de macros recursivas e de estruturas de iteração e de recursão; (iii)Estudo e desenvolvimento de políticas de escalonamento incluindo aplicação e fundamentação na Lógica Fuzzy Intervalar[49-50], visando melhoria de desempenho para tratamento da alocação de recursos em ambientes de computação e sob diversas arquiteturas paralelas (multiprocesadas (GPUs - Graphic Processing Units), clusters, grade) [37,85]. Neste contexto, acredita-se no desafio de atender às distintas demandas, contribuindo para a área de fundamentos da matemática computacional, a computação científica e o desenvolvimento tecnológico.
Objetivo Geral
Os objetivos do Projeto estão organizados em três grandes estratégias que serão simultaneamente trabalhadas durante o período de seu desenvolvimento.
1.Fundamentação teórica do Projeto ExPloreD-GM: (i) prover interpretação baseada na parcialidade dos objetos e morfismos que constroem o domínio indutivo de interpretações do modelo GM para computação paralela e distribuída; (ii) estudar tanto nos aspectos formais como aplicados da lógica fuzzy intervalar, pela análise de propriedades algébricas dos operadores lógicos (implicação e coimplicação) visando contribuir para os sistemas de inferência fuzzy valorados intervalarmente; (iii) estudar a viabilidade de aplicar especificação formal para programas da D-GM.
2. Desenvolvimento de aplicações científicas: (i) 0potencializar a dinâmica de execução do ambiente D-GM: consolidar a proposta de memória distribuída compartilhada, promover a expansão à novos construtores; (ii) incentivar o estudo de técnicas para melhorar desempenho e escalabilidade da D-GM; (iii) estender os ambientes de desenvolvimento VPE-GM e de execução VirD-GM para suporte a novas arquiteturas paralelas(GPUs);
3.Desenvolvimento tecnológico: colaborar com o desenvolvimento de aplicações distribuídas fundamentadas nas abstrações do modelo GM com ênfase: (i) na investigação científica em áreas emergentes, como a computação quântica; e (ii) na inovação tecnológica em processos produtivo pelo desenvolvimento de ferramentas computacionais, com ênfase em auditorias automatizadas para agroindústrias.
1.Fundamentação teórica do Projeto ExPloreD-GM: (i) prover interpretação baseada na parcialidade dos objetos e morfismos que constroem o domínio indutivo de interpretações do modelo GM para computação paralela e distribuída; (ii) estudar tanto nos aspectos formais como aplicados da lógica fuzzy intervalar, pela análise de propriedades algébricas dos operadores lógicos (implicação e coimplicação) visando contribuir para os sistemas de inferência fuzzy valorados intervalarmente; (iii) estudar a viabilidade de aplicar especificação formal para programas da D-GM.
2. Desenvolvimento de aplicações científicas: (i) 0potencializar a dinâmica de execução do ambiente D-GM: consolidar a proposta de memória distribuída compartilhada, promover a expansão à novos construtores; (ii) incentivar o estudo de técnicas para melhorar desempenho e escalabilidade da D-GM; (iii) estender os ambientes de desenvolvimento VPE-GM e de execução VirD-GM para suporte a novas arquiteturas paralelas(GPUs);
3.Desenvolvimento tecnológico: colaborar com o desenvolvimento de aplicações distribuídas fundamentadas nas abstrações do modelo GM com ênfase: (i) na investigação científica em áreas emergentes, como a computação quântica; e (ii) na inovação tecnológica em processos produtivo pelo desenvolvimento de ferramentas computacionais, com ênfase em auditorias automatizadas para agroindústrias.
Equipe do Projeto
Nome | CH Semanal | Data inicial | Data final |
---|---|---|---|
02 | |||
02 | |||
ANDERSON BRAGA DE AVILA | 12 | 01/08/2012 | 28/02/2014 |
DANIEL KROLOW RETZLAFF | 12 | 01/08/2012 | 31/07/2013 |
JULIO MACHADO DA SILVEIRA NETO | 12 | 01/03/2014 | 31/07/2014 |
MURILO FIGUEIREDO SCHMALFUSS | 12 | 01/08/2012 | 31/07/2014 |
PEDRO HENRIQUE GIOVANELLA MARCHI | 12 | 01/08/2013 | 31/07/2014 |
VINÍCIUS RODRIGUES DOS SANTOS | 12 | 01/08/2013 | 31/07/2014 |
Fontes Financiadoras
Sigla / Nome | Valor | Administrador |
---|---|---|
CAPES | R$ 0,00 |