• Líderes do grupo
  • Profa. Dra. Graçaliz Pereira Dimuro - liz@atlas.ucpel.tche.br
  • Prof. Dr. Antonio Carlos da Rocha Costa - rocha@ucpel.tche.br

• Área predominante
  • Ciências Exatas e da Terra; Ciência da Computação

• Instituição
  • Universidade Católica de Pelotas - UCPEL
• Órgão
  • Escola de Informática - ESIN
• Unidade
  • Núcleo de Apoio a Projetos de Informática - NAPI

Rua Félix da Cunha, 412.
Centro, 96010-000. Pelotas - RS

Telefone: +55 53 2128-8151
Fax: +55 53 3225-3105

E-mail: gbmc@descartes.ucpel.tche.br
Home page: http://descartes.ucpel.tche.br

Em 1988, a Escola de Informática da UCPel (ESIN/UCPel) começou a capacitação de seus professores. A professora Graçaliz P. Dimuro ingressou no CPGCC/UFRGS, sob a orientação do prof. Dr. Dalcidio Moraes Claudio, quando teve a oportunidade de interagir com outros pesquisadores da área (A. C. Rocha Costa, Marcilia A. Campos, Bendito M. Acióly).

Em 1991, ela implantou o Grupo de Matemática da Computação da UCPel (GMC), o primeiro grupo de pesquisa da ESIN/UCPel. O grupo contou com o apoio da FAPERGS, que, através de auxílios individuais à pesquisa e de bolsas de IC, viabilizou os primeiros projetos de pesquisa na área da Matemática Intervalar e Teoria dos Domínios.

A partir da criação do GMC e do retorno de outros professores em capacitação em outras áreas, tornou-se possível a organização do Núcleo de Pesquisa e Desenvolvimento em Informática, que posteriormente veio a constituir o atual Núcleo de Apoio a Projetos de Informática da UCPel.

Como conseqüência da qualificação e contratação de professores ligados à área teórica da computação o GMC ampliou suas linhas de pesquisa (Matemática Intervalar, Fundamentos Teóricos da Computação, Matemática da Computação, Linguagens de Programação Quântica, Lógica Fuzzy etc.), vindo a constituir o Grupo de Matemática e Fundamentos da Computação (GMFC).

Atualmente, o GMFC integra também pesquisadores de outras instituições (UFPE, UFRN, UESB, UFRGS), num total de 11 doutores e um mestre, envolvidos em pesquisa (com financiamento de fundos setoriais CTPetro/CNPq, CTINFO/CNPq e da FAPERGS), ensino de graduação e pós-graduação, trabalhos de iniciação científica, com participação em congressos nacionais e internacionais, e publicações em periódicos. O grupo mantém também cooperação internacional com a UTEP/USA, e tem recebido vários pesquisadores visitantes, com auxílio do CNPq e da FAPERGS.

Constitui-se o principal grupo em fundamentos da computação e matemática da computação do Rio Grande do Sul.

• Aarão Lyra - CV Lattes
• Antonio Carlos da Rocha Costa - CV Lattes
• Benjamín René Callejas Bedregal - CV Lattes
• Graçaliz Pereira Dimuro - CV Lattes
• Juliana Kaizer Vizzotto - CV Lattes
• Luciano Vitoria Barboza - CV Lattes
• Marcilia Andrade Campos - CV Lattes
• Marilton Sanchotene de Aguiar - CV Lattes
• Regivan Hugo Nunes Santiago - CV Lattes
• Renata Hax Sander Reiser - CV Lattes
• Roberto Callejas Bedregal - CV Lattes

• Probabilidade e Estatisticas Aplicadas:
  O objetivo é realizar pesquisa em estatística e probabilidades visando, principalmente, as aplicações em Ciência e Tecnologia. Concentra-se na pesquisa em Probabilidade Intervalar e sua aplicação em modelos de Markov intervalares e Processos de Decisão.
• Computação Científica:
  O objetivo da linha de pesquisa é o desenvolvimento, implementação e aplicação de modelos para computação científica, como autômatos celulares, algoritmos genéticos, modelos de Markov, processos de decisão de Markov, etc.
• Computação Evolucionária:
  Desenvolver pesquisas com o intuito de utilizar algoritmos e sistemas inspirados por este paradigma aplicados a problemas de otimização nas mais diversas áreas do conhecimento. Atualmente, os projetos desenvolvidos nesta linha concentram-se em aplicações de Algoritmos Genéticos e Autômatos Celulares na descoberta de áreas prioritárias à conservação ambiental.
• Fundamentos da Computação:
  O objetivo é o estudo de modelos computacionais baseados na Teoria dos Domínios, em particular, os espaços coerentes. Salientam-se os modelos para a Matemática Intervalar, processos de medida, concorrência e não-determinismo (Máquina Geométrica) e computação quântica.
• Linguagens de programação quântica:
  A área de linguagens de programação quântica investiga principalmente o desenvolvimento de linguagens e modelos semânticos para programação quântica de alto-nível. Essencialmente, estuda-se a lógica de programação quântica com ênfase nas de estruturas de dados e controle quânticos.
• Lógica Fuzzy:
  Desenvolve-se os conceitos básicos da Lógica Fuzzy Intervalar, em comparação com a Lógica Fuzzy Padrão. Nas aplicações, estão sendo desenvolvidos sistemas fuzzy para o reconhecimento de gestos da língua lingua de sinais dos surdos.
• Matemática Intervalar:
  O objetivo é o estudo da fundamentação da Matemática Intervalar, com base nas estruturas dos Espaços Coerentes, e também da aplicação de computações intervalares em Ciência e Tecnologia.
• Métodos Intervalares Aplicados à Engenharia Elétrica:
  Explorar a análise de circuitos elétricos (análise nodal e análise de malhas) na abordagem da Matemática Intervalar, utilizando técnicas para sistema de equações lineares intervalares que representam o comportamento elétrico dos circuitos.
  Explorar a análise do fluxo de carga em redes de transmissão de energia elétrica na abordagem da Matemática Intervalar, utilizando técnicas para resolução de sistemas de equações algébricas não-lineares que constituem o modelo estático da rede.
• Métodos intervalares para processamento de imagens:
  Esta linha de pesquisa visa o estudo de metodologias baseadas na Matemática Intervalar para processamento de imagens.
• Modelos formais aplicadas ao Geoprocessamento e à Ecologia:
  O objetivo é o estudo de modelos (preferencialmente baseados na Matemática Intervalar) para aplicações em Geoprocessamento, Ecologia e Conservação Ambiental, como autômatos celulares, algoritmos genéticos etc.
• Processos de Decisão e Modelos Ocultos de Markov Qualitativos:
  Desenvolver Procesos de Decisão de Markov Qualitativos, baseados na Matemática Intervalar, com probabilidades reais ou imprecisas, com aplicação em Inteliência Artificial, em particular, na regulação de interações sociais em sistemas multiagentes. São tratados processos centralizados, distribuídos e parcialmente observáveis (neste caso, são utilizados Modelos Ocultos de Markov). São estudados processos fracamente acoplados, e, neste caso, a aplicação é no escalonamento dos recursos.