Spelling suggestions: "subject:"logique paraconsistent"" "subject:"logique consistente""
1 |
Análise e avaliação de possibilidades de sistematização e gestão integrada de sistemas de infra-estrutura urbana. / Analyse et avaliacion de possibilités de systematización et gestion integrée des systémes de infrastructures urbaines.Domingos, Sadalla 01 July 2004 (has links)
O presente trabalho apresenta inicialmente algumas evidências da necessidade de promover o entendimento abrangente dos sistemas de infra-estrutura apoiando-se sobre trabalhos realizados no Brasil e no Exterior. Em seguida, propõe-se a compreensão homogeneizada dos sistemas e sua apresentação conjunta e sistematizada no formato de matriz, a partir de critérios comuns como o estudo dos fluxos, a distinção entre sistemas e serviços e as diferentes escalas - central, arterial e capilar - de cada sistema e sub sistema. Após esta sistematização, propõe-se níveis crescentes de integração entre os sistemas em uma determinada unidade territorial de análise; numa primeira opção metodológica, a gestão integrada proposta relaciona-se às suas localizações e espaços necessários; numa segunda opção, a gestão integrada desenvolve-se mediante avaliação de indicadores de desempenho dos serviços, os quais são uniformizados para todos os sistemas, propiciando um entendimento abrangente de locais e sistemas associados às condições de oferta e demanda dos serviços; a terceira opção propõe a gestão integrada intercambiando dados, informações e critérios operacionais entre os diferentes sistemas.Nesta 3ª opção, a gestão integrada com procedimentos clássicos (hipótese 3/1) necessita de base de dados consistente e disponível em cada sistema, para iniciar-se então suas compatibilizações e daí elaborar modelos operacionais, associando-os. Considerando que as bases de dados são normalmente indisponíveis ou organizadas segundo critérios próprios de cada sistema, propõe-se construir e processar outra Base de Dados (hipótese 3/2) obtida através dos critérios não clássicos, relacionadas à Lógica Paraconsistente. Aplica-se então este método não clássico a um estudo de caso de navegação de um rio urbano no Município de São Paulo. Finalmente são elencadas conclusões e são indicados possíveis caminhos de aplicabilidade destes métodos. / Dans son début, ce rapport présent quelques évidences sur la necessité de promouvoir une compréhension densemble des systèmes d´infrastructure, em sappuyant sur des études faites au Brésil et a l étranger. Ensuite, il est proposé la compréhension homogéneisé des systèmes et sa présentation rassemblée et systématisée dans le format d une matrice, a partir des critéres communs comme létude des flux, la distinction entre systèmes et services et les differentes échelles centrale, artérielle et capillaire de chaque système et sous-système. Après cette systématisation, ce sont proposés des niveaux dintegration élargis entre les systèmes dans une unité territoriale d´analyse determinée. Dans une première option méthodologique, la gestion integrée proposée est relacionée avec sés localizations et espaces physiques necessaires. Dans une deuxième option, la gestion integrée est developée par lavaliation des indicateurs daccomplissement dês services, qui sont uniformisés pour tous les systèmes, ce qui rend possible une compréhension complète des locaux et des systèmes associés aux conditions doffre et demande des services. La troisième option propose la gestion integrée en échangeant des données, des informations et des critères opérationnels entre les différents systèmes et ses centres de controle opérationnel. Dans cette troisième option, la gestion integrée avec des procedures classiques a besoin dune base de données consistantes et disponibles dans chaque système, pour possibiliter le commencement de sés compatibilisations et delaboration des modèles opéracionnaux en faisant son association. Considerant que les bases de données sont normalement non disponibles ou organisées selon des critères particuliers de chaque système, il est proposé de construire (et processer) une autre base de données obtenue par des crytères non classiques, relacionées a la Logique Paraconsistente. Ensuite cette méthode non classique est apliquée a une étude de cas sur la navigation dune rivière urbaine dans la ville de São Paulo. Finalement, les conclusions sont listées et les chemins pour lapplicabilité de cette méthode sont indiqués.
|
2 |
Induction and plausibility : a formal approach from the sandpoint of artificial intelligenceSilvestre, Ricardo Sousa January 2005 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
|
Page generated in 0.1429 seconds