Restriaaes
Mostrando 1-12 de 126 artigos, teses e dissertações.
-
1. CompartimentaÃÃo da paisagem como subsidio ao zoneamento ambiental, aplicado a sub bacia do rio Macacos â Camborià / SC
A compartimentaÃÃo da paisagem a partir da anÃlise de fragilidade do ambiente, com o auxilio das ferramentas de SIG revela-se uma excelente ferramenta de anÃlise da paisagem. Utilizando-se a anÃlise sistÃmica da paisagem atual, em escala compatÃvel com o detalhamento necessÃrio a uma sub bacia, esta pesquisa analisou os aspectos fÃsicos e antrÃpico
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/06/2012
-
2. SimulaÃÃo de EvacuaÃÃo de MultidÃo por AutÃmato Celular - Estudo de Caso em um EstÃdio de Futebol / Simulating Crowd Evacuation by Cellular Automata Case Study in a Football Stadium
A evacuaÃÃo de locais aglomerados, sujeita a restriÃÃes fÃsicas e temporais, à uma questÃo que merece atenÃÃo especial. Se uma multidÃo falha ao escapar em tempo de um ambiente perigoso, por tomar um caminho errado ou por escolher uma saÃda ruim, hà um grande risco de lesÃes e morte. SimulaÃÃes de evacuaÃÃo de multidÃo sÃo muito importante
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/03/2012
-
3. O Processo de ArtificaÃÃo em Juazeiro do Norte - AnÃlise do Centro Cultural Mestre Noza / The Artification process in Juazeiro do Norte - analysis of Centro Cultural Mestre Noza
Esta pesquisa tem por objetivo mostrar uma situaÃÃo de transiÃÃo de um grupo especÃfico de artesÃos em Juazeiro do Norte, um processo de transformaÃÃo dos valores, racionalidades, posturas e prÃticas dos membros do Centro Cultural Mestre Noza (CCMN), que à um dos locais mais representativos da prÃtica artÃstica do Cariri cearense. Tal transforma�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2011
-
4. Uma LÃgica de DescriÃÃo Default / A Description Logic for Default
A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/08/2011
-
5. Controle supervisÃrio de sistemas a eventos discretos, usando redes de Petri coloridas / Supervisory control of discrete event systems using coloured Petri nets
Esse trabalho propÃe um novo mÃtodo para sÃntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisÃrio. Como aspecto principal, tem-se a formalizaÃÃo teÃrica e a prova matemÃtica do mÃtodo para sÃntese desses supervisores, denominado RestriÃÃes de Controle sobr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
6. AnÃlise do SISAR como uma alternativa financeiramente sustentÃvel para o saneamento rural no Cearà / Analysis sisar as a financially viable alternative for rural sanitation in CearÃ
A universalizaÃÃo dos serviÃos de saneamento bÃsico à uma preocupaÃÃo inerente ao Estado e à colocada explicitamente como diretriz das polÃticas de saneamento na lei n 11.445 de 05 de janeiro de 2007. PorÃm, a prestaÃÃo desse serviÃo para a populaÃÃo rural ainda à muito incipiente. Focando em abastecimento de Ãgua no Estado do CearÃ, a co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2011
-
7. Consumo de energia e crescimento econÃmico em Pernambuco: uma anÃlise de Causalidade de Granger
Este trabalho busca analisar se existe uma relaÃÃo de causalidade no sentido de Granger entre Produto Interno Bruto e Consumo de eletricidade no estado de Pernambuco no perÃodo que compreende os anos de 1976 a 2005. Para isto à aplicada uma metodologia proposta por Toda e Yamamoto (1995), que consiste na imposiÃÃo de restriÃÃes nos parÃmetros de um
Publicado em: 2009
-
8. Modelagem e anÃlise de especificaÃÃes de sistemas de tempo-real crÃticos com restriÃÃes de energia
Requirements analysis is a critical task in any Embedded Real-Time System (ERTS) project. Normally, these systems have stringent timing constraints that must be satisÂed for the correct functioning, since violation might be catastrophic, such as loss of human lives or large amount of Ânancial resources. In addition, there are systems where energy is anothe
Publicado em: 2009
-
9. AdsorÃÃo e transferÃncia de massa em CarvÃes ativados utilizados para armazenamento de Metano em ReservatÃrio
O GÃs Natural (GN), submetido ao armazenamento adsortivo, pode ser estocado a pressÃes mais baixas, com menores custos de armazenamento e de transporte. Para o armazenamento adsortivo, carvÃes ativados foram formulados e preparados a partir de diferentes reagentes. Sob denominaÃÃes CAQ1 e CAQ2, com Ãreas superficiais prÃximas a 1,5x106 mÂ/kg, os mate
Publicado em: 2009
-
10. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
11. Traffic identification in IP networks
A anÃlise e identificaÃÃo de trÃfego em redes IP ainda à algo muito dependente da interaÃÃo e expertise humana. A compreensÃo da composiÃÃo e dinÃmica do trÃfego Internet sÃo essenciais para o gerenciamento de redes IP, especialmente para planejamento de capacidade, engenharia de trÃfego, diagnÃstico de falhas, detecÃÃo de anomalias e caract
Publicado em: 2009
-
12. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009