877 resultados para Fault coverage
Resumo:
A Reserva Extrativista Marinha (RESEXMAR) do Corumbau foi criada no ano de 2000, a partir de uma ação coletiva, iniciada em 1997 por meio das lideranças de pescadores locais, na busca de instrumento jurídico que garantisse o acesso exclusivo dos recursos pesqueiros contra a atividade da pesca comercial de camarão sete-barbas que se instalou na década de 1980. Durante o processo de criação da RESEXMAR do Corumbau, os pescadores obtiveram apoio de órgãos governamentais, como a Coordenação Nacional de Populações Tradicionais (CNPT) e de entidades ambientalistas do terceiro setor – Associação Pradense de Proteção Ambiental (APPA), e posteriormente a Conservation International do Brasil (CI-Brasil). Entretanto, após a criação da RESEXMAR do Corumbau – entre os anos 2000 e 2002 – foi elaborado o Plano de Manejo que orientaria a gestão da Unidade de Conservação (UC). O documento foi capitaneado pela equipe técnica e científica vinculada à CI-Brasil, tendo como ponto de destaque a criação de áreas de exclusão total da atividade da pesca, por meio da Zona de Proteção Marinha (ZPM). A ideia de uma ZPM, para a CI-Brasil, era que de forma indireta e em médio e longo prazo, os pescadores se beneficiariam com o possível aumento de produção de pescado, contanto que 30% de cobertura de recifes tivesse algum tipo de proteção dos processos ecológicos, tais como reprodução e crescimento de espécies. Durante as discussões do Plano de Manejo e atualmente uma parcela de pescadores locais contestaram os limites da ZPM, pois iria restringir o acesso aos recursos pesqueiros. No entanto, tal contestação foi suprimida pelas relações não formais que os membros da CI-Brasil possuíam com o núcleo familiar principal da Vila do Corumbau, forçando os demais em um acordo formal temporário. Tal questionamento evidenciou um conflito de conjunto de normas distintas entre pescadores artesanais em relação à CI-Brasil e IBAMA: a pesca artesanal ‒ um tipo de ação que segue normas específicas das quais elementos humanos e não humanos interagem conjuntamente, evidenciando um conhecimento prático e corporizado constituindo um modelo compreensivo de mundo e de natureza; conceitos modernos e globalizantes de uma natureza totalmente desvinculada das práticas locais artesanais, com forte articulação de uma entidade ambientalista de alcance internacional, guiada pela emergência das questões ambientais, imprimindo no local (o lugar da prática da pesca tradicional) a ideia de um espaço (Áreas Marinhas Protegidas), desencaixado de formas específicas de natureza/culturas.
Resumo:
A região da Caatinga é caracterizada pelas altas temperaturas durante o ano e má distribuição das chuvas. Em virtude desses fatores de clima regional, tem-se a necessidade de adoção por práticas que elevem à eficiência e sustentabilidade agrícola local. Assim, objetivou-se avaliar a aptidão de leguminosas herbáceas perenes como cobertura permanente de solo no cultivo de bananeira. Foram conduzidos três experimentos, para avaliação das leguminosas, utilizou-se um delineamento experimental em blocos casualizados, com quatro repetições, em esquema de parcelas subdivididas no espaço e para algumas variáveis, sub-subdividida no tempo, sendo: Fator “A” os dois diferentes ambientes de plantio: municípios de Itaobim/MG e Virgem da Lapa/MG; Fator “B”, nas subparcelas, dois manejos de cobertura do solo e para algumas variáveis, três manejos, constituídos pelas leguminosas: cudzu tropical (Pueraria phaseoloides) calopogônio (Calopogonium mucunoides) e solo descoberto (solo capinado); Fator “C” épocas de coleta de dados. Para avaliação das bananeiras, foram dois experimentos em blocos casualizados, com quatro repetições, em esquema de parcelas sudivididas no espaço, sendo: nas parcelas, fator “A” constituído por três manejos de cobertura do solo, pelas leguminosas: cudzu tropical e o calopogônio, e solo descoberto (solo capinado); fator “B”, nas subparcelas, plantas de bananeiras em três idades morfofisiológicas (diferentes ciclos e tamanhos); Para algumas variáveis que foram submetidas a coletas periódicas, utilizou-se o esquema de parcelas subsubdivididas no tempo, acrescentando-se o fator “C”, datas das coletas nas sub-subparcelas, tendo como referência os dias após semeadura (DAS) das leguminosas. Foram avaliadas as seguintes variáveis: taxa de cobertura do solo; potencial de deposição de folhas e a ciclagem de nutrientes; capacidade de inibição da vegetação espontânea; conservação da temperatura e promoção da retenção de umidade do solo. Também foi avaliado o crescimento vegetativo e produtividade das bananeiras. Como resultados principais, notou-se que as leguminosas proporcionaram eficiente cobertura do solo, o calopogônio apresentou o maior acúmulo de N, P, K, e Ca, via deposição de material senescente, tal como maior inibição das plantas espontâneas nos pomares de bananeiras. Essa cobertura também promoveu uma eficiente redução da temperatura do solo, possibilitando menor variação térmica nas camadas de maior concentração radicular da bananeira, e consequentemente, obtendo maior acúmulo de umidade no solo. As bananeiras cultivadas sobre coberturas vivas de solo apresentaram aumento gradativo no crescimento e peso de cacho. Os resultados reforçam o potencial uso dessas espécies na fruticultura, principalmente em regiões de severas restrições hídricas, como forma de adubação e otimização de diversos processos biológicos em seu ambiente de cultivo.
Resumo:
Arquitetura Corporativa promove o estabelecimento de uma visão holística da estrutura e forma de trabalho de uma organização. Um dos aspectos abordados em Arquitetura Corporativa está associada a "estrutura ativa" da organização, que diz respeito a “quem" realiza as atividades organizacionais. Várias abordagens têm sido propostas a fim de proporcionar um meio para a representação de Arquitetura Corporativa, entre as quais ARIS, RM-ODP, UPDM e ArchiMate. Apesar da aceitação por parte da comunidade, as abordagens existentes se concentram em propósitos diferentes, têm limitações de escopo e algumas não têm semântica de mundo real bem definida. Além das abordagens de modelagem, muitas abordagens de ontologias têm sido propostas, a fim de descrever o domínio de estrutura ativa, incluindo as ontologias de SUPER Project, TOVE, Enterprise Ontology e W3C Org Ontology. Embora especificadas para fundamentação semântica e negociação de significado, algumas das abordagens propostas têm fins específicos e cobertura limitada. Além disso, algumas das abordagens não são definidas usando linguagens formais e outras são especificadas usando linguagens sem semântica bem definida. Este trabalho apresenta uma ontologia de referência bem fundamentada para o domínio organizacional. A ontologia organizacional de referência apresentada abrange os aspectos básicos discutidos na literatura organizacional, tais como divisão do trabalho, relações sociais e classificação das unidades estruturais. Além disso, também abrange os aspectos organizacionais definidos em abordagens existentes, levando em consideração tanto abordagens de modelagem quanto abordagens ontológicas. A ontologia resultante é especificada em OntoUML e estende os conceitos sociais de UFO-C.
Resumo:
A demanda por água do setor agrícola vem crescendo a cada ano, bem como o aperfeiçoamento do manejo da irrigação. Ainda assim, em locais onde a água encontra-se escassa, os conflitos entre usos e usuários devido a disputas para acesso à água tendem a se intensificar. Na maioria das vezes esse problema está relacionado à ausência de cobertura florestal, levando, por vezes, a problemas socioambientais. Nesse contexto, a pesquisa buscou avaliar o impacto da implantação de sistemas agroflorestais (SAF’s) irrigados na condição hídrica local (de escassez), estabelecendo-se estratégias que os torne atrativos ambientalsocial- e economicamente. Assim, por meio de simulação computacional, alternativas de consórcios agroflorestais foram avaliadas, tomando-se como referência uma região piloto, típica da agricultura espírito-santense, constituída por pequenas propriedades agrícolas de base familiar, inseridas parcialmente em APPs. As espécies banana, pupunha e goiaba foram selecionadas para compor os cenários agroflorestais. Os resultados da pesquisa mostram que os SAF’s irrigados são uma alternativa no sentido de minimizar os conflitos por demandas de água em regiões de escassez hídrica, com a redução de tais demandas o comprometimento de rendimentos financeiros. Além disso, os SAF’s são alternativas para diversificação da renda e para tentar controlar a sazonalidade dos preços de mercado.
Resumo:
Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.
Resumo:
§ Parte I A: DIREITO PENAL: CAPÍTULO I – CONCEITO DE DIREITO PENAL, COM ESPECIAL RELEVO DA DIFERENCIAÇÃO ENTRE DIREITO PENAL CLÁSSICO, DIREITO PENAL ECONÓMICO E SOCIAL E DIREITO DAS CONTRA-ORDENAÇÕES; CAPÍTULO II – O PROBLEMA DOS FINS DAS PENAS; CAPÍTULO III – BREVE ABORDAGEM DA EVOLUÇÃO HISTÓRICA DO DIREITO PENAL; CAPÍTULO IV – TEORIA GERAL DA LEI CRIMINAL; CAPÍTULO V – TEORIA GERAL DA INFRACÇÃO CRIMINAL: A) ELEMENTOS; B) CONSTRUÇÕES; C) ANÁLISE: 1) ACÇÃO; 2) TIPICIDADE; 3) ILICITUDE; 4) CULPA; 5) PUNIBILIDADE; CAPÍTULO VI – FORMAS DO CRIME:A) TENTATIVA; B) AUTORIA E COMPARTICIPAÇÃO; C) CONCURSO DE CRIMES § Parte I BDIREITO PROCESSUAL PENAL; CAPÍTULO I – A DELIMITAÇÃO DO DIREITO PROCESSUAL PENAL; CAPÍTULO II – OS PRINCÍPIOS FUNDAMENTAIS DO PROCESSO PENAL; CAPÍTULO III - A LEI PROCESSUAL PENAL E A SUA APLICAÇÃO; Parte II: CAPÍTULO I- OS SUJEITOS DO PROCESSO; CAPÍTULO II - O OBJECTO DO PROCESSO; CAPÍTULO III - AS MEDIDAS DE COACÇÃO E DE GARANTIA PATRIMONIAL; CAPÍTULO IV - TRAMITAÇÃO PROCESSUAL PENAL. § § Part I: CRIMINAL LAW: CHAPTER I - CONCEPT OF CRIMINAL LAW, WITH SPECIAL RELIEF OF THE DIFFERENTIATION BETWEEN CLASSIC CRIMINAL LAW, ECONOMIC AND SOCIAL CRIMINAL LAW AND THE “AGAINST ORDINANCES” LAW ("LAW OFFENSES"); CHAPTER II - THE PROBLEM OF THE ENDS OF THE PENALTIES; CHAPTER III - BRIEF OVERVIEW OF THE EVOLUTION HISTORY OF CRIMINAL LAW; CHAPTER IV - GENERAL THEORY OF THE CRIMINAL LAW; CHAPTER V - GENERAL THEORY OF THE CRIMINAL INFRACTION: A) ELEMENTS; B) CONSTRUCTIONS; C) ANALYSIS: 1) ACTION; 2) VAGUENESS DOCTRINE; 3) ILLEGALITY; 4) GUILT (FAULT); 5) PUNISHMENT; CHAPTER VI - FORMS OF THE CRIME: A) ATTEMPT; B) AUTHORSHIP AND "CO-PARTICIPATION"; C) CUMULATION OF OFFENCES. § Part I - B: CRIMINAL PROCEDURAL LAW: CHAPTER I - THE DELIMITATION OF THE CRIMINAL PROCEDURAL LAW; CHAPTER II - THE BASIC PRINCIPLES OF THE CRIMINAL PROCEDURE; CHAPTER III - THE CRIMINAL PROCEDURE LAW AND ITS APPLICATION; Part II: CHAPTER I - THE FIGURES OF THE PROCESS; CHAPTER II - THE OBJECT OF THE PROCESS; CHAPTER III - THE MEASURES OF COERCION AND PATRIMONIAL GUARANTEE (WARRANTY); CHAPTER IV - CRIMINAL PROCEDURE.
Resumo:
§ Parte I A: DIREITO PENAL: CAPÍTULO I – CONCEITO DE DIREITO PENAL, COM ESPECIAL RELEVO DA DIFERENCIAÇÃO ENTRE DIREITO PENAL CLÁSSICO, DIREITO PENAL ECONÓMICO E SOCIAL E DIREITO DAS CONTRA-ORDENAÇÕES; CAPÍTULO II – O PROBLEMA DOS FINS DAS PENAS; CAPÍTULO III – BREVE ABORDAGEM DA EVOLUÇÃO HISTÓRICA DO DIREITO PENAL; CAPÍTULO IV – TEORIA GERAL DA LEI CRIMINAL; CAPÍTULO V – TEORIA GERAL DA INFRACÇÃO CRIMINAL: A) ELEMENTOS; B) CONSTRUÇÕES; C) ANÁLISE: 1) ACÇÃO; 2) TIPICIDADE; 3) ILICITUDE; 4) CULPA; 5) PUNIBILIDADE; CAPÍTULO VI – FORMAS DO CRIME: A) TENTATIVA; B) AUTORIA E COMPARTICIPAÇÃO; C) CONCURSO DE CRIMES § Parte I B: DIREITO PROCESSUAL PENAL; CAPÍTULO I – A DELIMITAÇÃO DO DIREITO PROCESSUAL PENAL; CAPÍTULO II – OS PRINCÍPIOS FUNDAMENTAIS DO PROCESSO PENAL; CAPÍTULO III - A LEI PROCESSUAL PENAL E A SUA APLICAÇÃO; Parte II: CAPÍTULO I - OS SUJEITOS DO PROCESSO; CAPÍTULO II - O OBJECTO DO PROCESSO; CAPÍTULO III - AS MEDIDAS DE COACÇÃO E DE GARANTIA PATRIMONIAL; CAPÍTULO IV - TRAMITAÇÃO PROCESSUAL PENAL. § § Part I: CRIMINAL LAW: CHAPTER I - CONCEPT OF CRIMINAL LAW, WITH SPECIAL RELIEF OF THE DIFFERENTIATION BETWEEN CLASSIC CRIMINAL LAW, ECONOMIC AND SOCIAL CRIMINAL LAW AND THE “AGAINST ORDINANCES” LAW ("LAW OFFENSES"); CHAPTER II - THE PROBLEM OF THE ENDS OF THE PENALTIES; CHAPTER III - BRIEF OVERVIEW OF THE EVOLUTION HISTORY OF CRIMINAL LAW; CHAPTER IV - GENERAL THEORY OF THE CRIMINAL LAW; CHAPTER V - GENERAL THEORY OF THE CRIMINAL INFRACTION: A) ELEMENTS; B) CONSTRUCTIONS; C) ANALYSIS: 1) ACTION; 2) VAGUENESS DOCTRINE; 3) ILLEGALITY; 4) GUILT (FAULT); 5) PUNISHMENT; CHAPTER VI - FORMS OF THE CRIME: A) ATTEMPT; B) AUTHORSHIP AND "CO-PARTICIPATION"; C) CUMULATION OF OFFENCES. § Part I - B: CRIMINAL PROCEDURAL LAW: CHAPTER I - THE DELIMITATION OF THE CRIMINAL PROCEDURAL LAW; CHAPTER II - THE BASIC PRINCIPLES OF THE CRIMINAL PROCEDURE; CHAPTER III - THE CRIMINAL PROCEDURE LAW AND ITS APPLICATION; Part II: CHAPTER I - THE FIGURES OF THE PROCESS; CHAPTER II - THE OBJECT OF THE PROCESS; CHAPTER III - THE MEASURES OF COERCION AND PATRIMONIAL GUARANTEE (WARRANTY); CHAPTER IV -CRIMINAL PROCEDURE.