Type

Database

Creator

Date

Thumbnail

Search results

119 records were found.

A indústria dos microprocessadores é uma área com uma dinâmica ímpar, reconhecida pelo seu avançado estado tecnológico, mas também pela sua constante evolução. Esta dinâmica deve-se em grande parte à pressão que é constantemente exercida no sentido de se obter maior poder computacional. Pressão essa que tem crescido de forma exponencial, e à qual não é alheia a forte expansão da Web e o uso generalizado de conteúdos multimédia. No entanto, esta evolução só é rentabilizada através da utilização de ferramentas adequadas, como é o caso dos compiladores, que por desempenharem um papel fundamental têm forçosamente de acompanhar a evolução dos microprocessadores. É, como tal, exigida uma resposta rápida por parte de quem desenvolve este tipo de ferramentas e a tecnologia que lhes está inerente. Daí que o desenvolvimento de aplicações que vis...
Segundo a definição proposta em Topic Maps Data Model (Garshol and Moore, 2005), Topic Maps são estruturas abstractas que podem codificar o conhecimento, conectando-o com recursos de informação relevantes. Os Topic Maps permitem a estruturação da informação através de uma rede semântica composta por tópicos associados. Actualmente, a maior parte dos Topic Maps são construídos manualmente. Este tipo de edição acarreta custos de ordem temporal e financeira, pois apesar de haver ferramentas propícias para a sua edição, as mesmas perdem eficiência quando o topic map atinge um número considerável de tópicos e associações. Acresce ainda o facto de que o utilizador tem dificuldade em verificar se a semântica do topic map condiz com o seu interesse. Os Topic Maps possuem uma característica muito importante: a liberdade de representação de um u...
Desenvolver sistemas cada vez mais complexos guiados somente pela tecnologia põe em risco o propósito do próprio sistema, que colapsa se não se puderem garantir determinadas claúsulas de integridade, rigor nas análises, e se não se puderem quantificar os erros subjacentes aos dados e aos processos. Por isso, a primeira asserção desta tese, é que o desenvolvimento dos SIG necessita de uma ciência de suporte que assegure o rigor subjacente aos processos de decisão. No Cap. 2 apresento os conceitos fundamentais das Ciências da Informação Geográfica e clarifico o âmbito destas. Sendo complexa, a IG não é auto-descritiva e exige um trabalho de documentação rigoroso em todo o seu ciclo de vida. Por isso, na segunda asserção desta tese afirmo que a meta- informação geográfica é essencial para encontrar e explorar a informação espalhada por um...
Os trabalhos de armazenamento, tratamento e divulgação da informação arqueológica vêm beneficiando, há já algum tempo, das vantagens dos suportes informáticos, nomeadamente dos Sistemas de Informação Geográfica e das Bases de Dados Relacionais. No entanto, na grande maioria dos casos, o tratamento informático dos resultados obtidos nas diferentes etapas do processo de investigação arqueológico, aparece abordado de forma quase sempre isolada. Existem sistemas informáticos para o tratamento dos dados obtidos nos trabalhos de prospecção, de escavação ou mesmo para o estudo dos materiais arqueológicos. No entanto, todos são geridos de forma independente. Esta situação impede uma visão de conjunto dos dados obtidos nas diferentes etapas do processo arqueológico e dificulta o intercâmbio directo entre os distintos procedimentos e conheciment...
Dissertação de mestrado em Arqueologia (especialização em Arqueologia Urbana)
As a specification carries out relevant information concerning the behaviour of a program, why not explore this fact to slice a program in a semantic sense aiming at optimizing it or easing its verification? It was this idea that Comuzzi, in 1996, introduced with the notion of postcondition-based slicing | slice a program using the information contained in the postcondition (the condition Q that is guaranteed to hold at the exit of a program). After him, several advances were made and different extensions were proposed, bridging the two areas of Program Verification and Program Slicing: specifically precondition-based slicing and specification-based slicing. The work reported in this Ph.D. dissertation explores further relations between these two areas aiming at discovering mutual benefits. A deep study of specification-based slicing h...
This document presents GIRo (Grafcet - Industrial Robots), that is a generic environment for programming industrial robots off-line, that includes: a truly high-level and declarative language (Grafcet); an easy-to-use front-end (Paintgraf); an intermediate representation (InteRGIRo); the translators from Paintgraf to InteRGIRo; the generic compiler, that translates InteRGIRo to the robot target code; and the editor for the robot language inputs (to obtain the necessary information about the robot target language, to allow the generation of code to such robot). GIRo focus on the modelling of the system, based on the Grafcet specification diagram, rather than on the robot details, improving the programming and maintenance tasks, allowing the reuse of source code, once this source code will be machine independent. GIRo also allows the pro...
Os dados possuem uma importância crescente na actual sociedade da informação e comunicação. Por este motivo é muito importante a Detecção e Correcção (DC) dos seus problemas de qualidade. Os resultados obtidos a partir dos dados são negativamente influenciados pelos seus problemas de qualidade. Isto é conhecido como o princípio do “lixo entra, lixo sai”. Uma taxionomia de Problemas de Qualidade dos Dados (PQD) constitui uma das contribuições que resulta do trabalho de doutoramento apresentado nesta dissertação. Os problemas encontram-se organizados pelo Nível de Granularidade (NG) do modelo relacional em que ocorrem (e.g.: atributo; tuplo; relação). O âmbito do trabalho encontra-se restrito a este tipo de dados. Outra contribuição constitui a definição de um modelo concebido exclusivamente para a DC dos PQD, i.e., para a Limpeza de Dad...
Want to know more?If you want to know more about this cutting edge product, or schedule a demonstration on your own organisation, please feel free to contact us or read the available documentation at http://www.keep.pt/produtos/retrievo/?lang=en