Hierarchical Systems
Mostrando 13-24 de 128 artigos, teses e dissertações.
-
13. Monitoração dinâmica de asserções para depuração em silício
The increasing demand for shorter time-to-market, combined with increased complexity and performance requirements put a tremendous pressure on post-silicon debug, which is usually the last step prior to chip release. In contrast to pre-silicon techniques, postsilicon debug have two main limitations, controllability and observability, which cause the failure
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/08/2011
-
14. Person hierarchy in Avá Guarani : a study of distributed morphology / Hierarquia de pessoa em Avá Guarani : considerações a partir da morfologia distribuída
This master thesis describes and analyses morphological and syntactic processes related to person hierarchy in the Ava-Guaraní language (Tupi-Guaraní language family / Tupi stock). The work employs a general Generative framework, guided in particular by the principles of Distributed Morphology (HALLE; MARANTZ, 1993; HALLE, 1997; MARANTZ, 1997). Person hier
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/03/2011
-
15. Estrutura hierárquica na resposta das distribuições geográficas de plantas do Cerrado à mudanças climáticas / Hierarchical structure in the response of geographic distributions of Cerrado plants to climate change
The climate can be considered an extremely important factor in vegetation distribution and its characteristics in a global context. Climate changes affect the global distribution of vegetation in the distant past and probably will affect in the future. Spatial distribution models of species (SDMs), also known as niche models are one of the best current tools
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/03/2011
-
16. Some issues in real-time systems verification using time Petri Nets
Time Petri Net (TPN) models have been widely used to the specification and verification of real-time systems. However, the claim that most of these techniques are useful for real-time system verification can be discussed, based on two assumptions: i) to be suitable for real-time systems verification, a technique must be able to check timing properties, both
Journal of the Brazilian Society of Mechanical Sciences and Engineering. Publicado em: 2011-12
-
17. Monitoramento on-line em sistemas distribuídos : mecanismo hierárquico para coleta de dados / On-line monitoring of distributed systems: a hierarchical mechanism for data collection
Este trabalho propõe um modelo hierárquico para coleta de dados de monitoramento em sistemas distribuídos. Seu objetivo é proporcionar a análise on-line do comportamento de sistemas e programas distribuídos. O meio escolhido para realizar essa análise foi a visualização. Inicialmente é apresentada uma contextualização sobre monitoramento de siste
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
18. Poder/saber e corpo : os regimes e a construção microfísica da profissionalização da segurança pública
The Western societies have experienced diffused processes by which, on the one hand, institutionalize democratic political systems, with the expansion of several individual and social rights. On the other hand, they have experienced the development of destabilization processes concerning the social control, based on phenomena such as the development of forms
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
19. High-order unstructured spectral finite volume method for aerodynamic applications.
An implicit finite volume algorithm is developed for higher-order unstructured computation of inviscid compressible flows. The Spectral Finite Volume method is used to achieve high-order spatial discretization of the domain, coupled with a matrix-free LU-SGS algorithm to solve the linear systems arising from implicit time marching of the governing equations,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/12/2010
-
20. High-order unstructured spectral finite volume method for aerodynamic applications.
An implicit finite volume algorithm is developed for higher-order unstructured computation of inviscid compressible flows. The Spectral Finite Volume method is used to achieve high-order spatial discretization of the domain, coupled with a matrix-free LU-SGS algorithm to solve the linear systems arising from implicit time marching of the governing equations,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/12/2010
-
21. Proposta de uma arquitetura híbrida e hierárquica de rede de sensores/atuadores para aplicação em cenários metropolitanos / Proposal of a hybrid and hierarchical sensor/actuator network architecture for application in metropolitan scenarios
Os avanços nas áreas de comunicação sem fio e microeletrônica têm motivado o desenvolvimento de aplicações utilizando equipamentos sem fio, especialmente dispositivos sensores e atuadores, permitindo assim, a criação de uma ponte tecnológica para conectar o mundo físico com o mundo digital. Com essa interação surge uma demanda crescente por sis
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/04/2010
-
22. Análise da integração de sistemas hierárquicos para planejamento e programação de produção / Analysis of hierarchical system integration for production planning and scheduling
The efficient use of installed capacity in discontinued production plants (flexible, multi-purpose) in such a way as to analyze the feasibility of standard-less demands of different products is a trend in recent years. The main objective of the production problem is to fulfill orders in a relatively short time, in a way that it is client-focused and enables
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/02/2010
-
23. O MAM visto pelos professores: marcas de distinção
The theme of this work, the relationship between the museum and the school, emerges from the fact that the museum offers education and the school absorbs such an offer. The problem of the proposed research branches from the sociologist Pierre Bourdieus investigations on the relationships among the cultural capital, the geographical location and the access to
Publicado em: 2010
-
24. Um modelo hierárquico para sistemas de tipos de arquivos implementado como um middleware / A hierarchical model for file type systems implemented as a middleware
Com a finalidade de facilitar a manipulação de documentos pelos usuários e aplicações, foram desenvolvidas no decorrer do tempo diversas formas para classificar e organizar esses documentos, incluindo a criação de diferentes mecanismos pertinentes a formatos de arquivos, os chamados sistemas de tipos de arquivos. É possível perceber nesse esforço u
Publicado em: 2010