Detalhes bibliográficos
| Ano de defesa: |
2022 |
| Autor(a) principal: |
Duarte, Suene Campos |
| Orientador(a): |
Santiago, Regivan Hugo Nunes |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Tese
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Universidade Federal do Rio Grande do Norte
|
| Programa de Pós-Graduação: |
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Brasil
|
| Palavras-chave em Português: |
|
| Área do conhecimento CNPq: |
|
| Link de acesso: |
https://repositorio.ufrn.br/handle/123456789/49150
|
Resumo: |
Apresentamos um modelo fuzzy baseado em estados chamado Reversal Fuzzy Switch Graph (RF SG). Este modelo possibilita a ativação ou desativação de arestas, e a atualização de valores fuzzy a partir da ação de funções de agregação, sempre que ocorrer uma transição entre estados. A característica fuzzy dos RF SGs permite modelar incertezas, enquanto que a ativação e desativação de arestas permite simular aspectos dinâmicos do acesso aos estados do sistema. Quando mais de uma função de agregação e usada neste processo, temos o Reversal Fuzzy Reactive Graph (RF RG). Ademais, são propostas algumas operações sobre esses grafos que são baseadas em funções de agregação (união, intersecção, produto cartesiano e extensão). Apresentamos, ainda, a relação entre os RF RGs e os usuais grafos fuzzy, alem de uma noção para simulação e bissimulação. Introduzimos o conceito de homomorfismo entre RF SGs e uma classe de linguagens formais para verificação de propriedades de sistemas que sejam modelados por esses grafos. |
