Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos (1992)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Assunto: SISTEMAS DISCRETOS
- Language: Português
- Abstract: A tese propõe representações complementares do processo de design da automação de sistemas discretos que permite modelar inclusive, algumas componentes do design rationale. O aspecto do processo de design enfatizado e o reúso de soluções aproximadas para uma nova componente em desenvolvimento, através da modificação (transformação) sintática de um design conhecido. Trata-se um caso especial do raciocinio analógico, que e o raciocínio metafórico: o reúso de soluções de design adotadas em domínios diferentes (embora dentro da mesma área geral de aplicação: automação de sistemas discretos). A inspiração para a formalização do reúso de designs e proveniente da área das teorias formais de metáforas e analogias aplicadas a linguística. O uso de representações complementares de design requer também a adoção de formalismos que permitam uma tradução rigorosa entre essas representações.
- Imprenta:
- Data da defesa: 21.09.1992
-
ABNT
SILVA, José Reinaldo. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos. 1992. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1992. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-095723/pt-br.php. Acesso em: 10 jan. 2026. -
APA
Silva, J. R. (1992). Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-095723/pt-br.php -
NLM
Silva JR. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos [Internet]. 1992 ;[citado 2026 jan. 10 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-095723/pt-br.php -
Vancouver
Silva JR. Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos [Internet]. 1992 ;[citado 2026 jan. 10 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-12112024-095723/pt-br.php - Análise da propriedade distância síncrona na rede GHENeSYS
- Análise de invariantes na rede de Petri Ghenesys
- A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo das redes de Petri
- Mercado aberto para automação e informática industrial
- Toward a multi-agent manager to a set of agv's
- Integrated tools environment for modeling and analysis of automated planning systems
- Análise e modelagem de sistemas a eventos discretos. Cálculo da distância sincrona e estudo do problema de atingibilidade em redes de petri c / e, p / t e extendidas
- Programação em prolog aplicada a casos de planning em robotica
- Modelagem de sistemas de informação para empresas virtuais
- Aplicação de redes de Pétri a um problema de planejamento
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
