Es presenta una recerca activista de geografia crítica sobre el capitalisme balear: el poder, el seu procés d’internacionalització, els fluxos de materials del seu metabolisme social i la seva petjada ecològica. En primer lloc, es vinculen l’economia ecològica i la geografia crítica, amb l’estudi de les mesures biofísiques, les lògiques espacials i els processos socials del capitalisme balear. En segon lloc, es pretén situar el turisme en un lloc central en la via d’acumulació capitalista, desxifrar la seva dinàmica sociopolítica, la geografia de la seva globalització neoliberal i els conflictes socials que genera, particularment la seva contribució a la crisi socioecològica global. En tercer lloc, s’ha pretès esbrinar l’evolució geohistòrica del capitalisme balear, amb l’anàlisi de les geometries del poder, una comptabilitat biofísica, les solucions geogràfiques del capital –deslocalitzacions productives i desplaçaments de les extraccions– i els conflictes socials associats. / Se presenta una investigación activista de geografía crítica sobre el capitalismo balear: el poder, su proceso de internacionalización, los flujos de materiales de su metabolismo social y su huella ecológica. En primer lugar, se vinculan la economía ecológica y la geografía crítica, con el estudio de las medidas biofísicas, las lógicas espaciales y los procesos sociales del capitalismo balear. En segundo lugar, se pretende situar el turismo en un lugar central en la vía de acumulación capitalista, descifrar su dinámica sociopolítica, la geografía de su globalización neoliberal y los conflictos sociales que genera, particularmente su contribución a la crisis socioecológica global. En tercer lugar se ha pretendido averiguar la evolución geohistórica del capitalismo balear, con el análisis de las geometrías del poder, una contabilidad biofísica, las sociones geográfics del capital –deslocalizaciones productivas y desplazamientos de las extracciones– y los conflictos sociales a él asociados. / We are submitting a critical geography activist research paper on Balearic capitalism: the power, its internationalization process, the flows of materials of its social metabolism and its ecological footprint. Firstly, ecological economics and critical geography are linked with the study of biophysical measurements, spatial logics and the social processes of Balearic capitalism. Secondly, an attempt is made to situate tourism in a central place in the path of capitalist accumulation, deciphering its socio-political dynamic, the geography of its neoliberal globalization and the social conflicts generated, particularly its contribution to the global socio-economic crisis. Thirdly, we have attempted to discover the geohistorical evolution of Balearic capitalism, by analyzing the geometries of power, biophysical accounting and the geographical solutions of the capital – relocation of production and movement of the extractions – and associated social conflicts.

The present work was accomplished in a slope with a pedological system composed of Red Argisol/Gleysol, in a pasture area located in an unit of agricultural production in the municipal district of Santa Maria - RS. It aimed at the characterization morphologic and the physic-hydrical and the discretization of the variability of the loss of soil of the slope. Thirteen aligned profiles were selected in a toposequency, of a total of 57, reconstituted by the polls method. After description the approach of the pedologic system in the thirteen profiles, considering the vertical and lateral succession of the verified horizons, the samples were collected for the chemical and physical-hydrical determinations in laboratory (texture, densities, porosities, retention hydrical and availability of water, saturated hydraulic conductivity and permeability to the air), in three sampling orientations. Furthermore, the soil losses were estimated through the coupling of the Universal Equation of Loss of the Soil - RUSLE, in SIG atmosphere. In the toposequency, three profiles were classified as Gleysol and the others as Red Argisol. Argisols and Gleysols presented variated chemical and physical limitations, producing strong use limitation. The horizons Bt in Argissolos are found in different depths in the studied profiles, implicating different behaviors, depending on the thickness of the horizons upper (suprajacente) The physical-hydrical dynamics of the system is marked by a different behavior among the surface (loam) and the subsurface (clayer), and it should be understood, considering the group of the horizons of each profile, to predict the physical-hydrical behavior of the soil. The saturated hydraulic conductivity of the soil presented a variation along the horizons of the soil profiles in different positions of the landscape, with great differences among the values observed in surface in relation to the ones of the subsurface, identifying the existence of a lateral flow of water in the soil, mainly in the portion of the hillside and its space variation in a topographical sequence. In the podzolic cover, the blockade of vertical drainage occurs in the top of the horizon Bt, generating a more humid zone above. The smallest retention of water in all the profiles occured in the loam horizons, Ap and A1, in all the tensions, while in the deepest horizons, Bt1 and Bt2, there was a larger retention as a consequence of the decrease of the sand tenor and increase of the clay tenor. The transition horizons, AB and BA, presented an intermediate behavior. The available water in the soil for the plants was influenced directly by the texture, which increased with the increment of the sand fraction and it decreases with the increase of the clay fraction. With the drier of the soil the permeability to the air tends to increase due to the drainage of the water of the pores which start to conduct air, being highly dependent of the macroporosity. The animal trampling and the preparation operations promoted an increase of the soil density, resulting in the reduction of the total porosity and of the macroporosity and consequently an increase in the microporosity in the horizons Ap and A1, which suffer the direct effects of the anthropic activity. The methodology application that engagement RUSLE in atmosphere SIG, allowed the discretization of the space variability of the factors that determine the losses, as well as the soil losses in a slope of the Central Depression of RS. / O presente trabalho foi realizado em uma vertente com sistema pedológico composto de Argissolo/Gleissolo, em área de pastagem, localizada em uma unidade de produção agropecuária, no município de Santa Maria RS. Objetivou-se, a caracterização morfológica e físico-hídrica e a discretização da variabilidade das perdas de solo da vertente. Foram selecionados treze perfis alinhados em uma topossequência, de um total de 57, descritos pelo método de tradagem. Após abordagem morfológica do sistema pedológico nos treze perfis, considerando a sucessão vertical e lateral, dos horizontes constatados, procederam-se as coletas de amostras para as determinações químicas e análise granulométricas, e em três orientações de amostragem as determinações físicohídricas (densidades, porosidades, retenção hídrica, condutividade hidráulica do solo saturado e permeabilidade ao ar). Além disso, foi estimada as perdas de solo através do acoplamento da Equação Universal de Perda do Solo RUSLE, em ambiente SIG. Na topossequência, três perfis foram classificados como Gleissolo e os demais como Argissolo Vermelho. Os Gleissolos apresentaram limitações variadas decorrentes do excesso de água e os Argissolos limitações químicas e físicas. O horizonte Bt nos Argissolos, encontra-se em profundidades variadas nos perfis estudados, implicando comportamentos distintos, dependendo da espessura do (s) horizontes (s) suprajacente (s). A dinâmica físico-hídrica do sistema, caracteriza-se por um comportamento distinto entre a superfície (textura média) e a subsuperfície (textura argilosa) devendo ser compreendida, considerando o conjunto dos horizontes de cada perfil, para predizer o comportamento físico-hídrico do solo. A condutividade hidráulica do solo apresentou variação ao longo dos horizontes dos perfis de solo em diferentes posições da paisagem, ocorrendo grandes diferenças entre os valores observados em superfície em relação a subsuperfície, identificando-se a existência de fluxo lateral de água no solo, principalmente, na porção da encosta e a sua variação espacial em uma sequência topográfica. Na cobertura argissólica, o bloqueio de drenagem vertical ocorre no topo do horizonte Bt, originando acima deste uma zona mais úmida. A menor retenção de água em todos os perfis ocorreu nos horizontes com textura média, Ap e A1, em todas as tensões, enquanto que nos horizontes mais profundos, Bt1 e Bt2, houve maior retenção, como consequência da diminuição do teor de areia e aumento do teor de argila. Os horizontes de transição, AB e BA, apresentaram um comportamento intermediário. A água disponível no solo para as plantas foi influenciada diretamente pela granulometria, aumentando nos horizontes com maior percentual de areia e diminuindo com o aumento da fração argila. Com o secamento do solo a permeabilidade ao ar tende a aumentar devido à drenagem da água dos poros os quais passam a conduzir maior quantidade de ar, sendo altamente dependente dos macroporos. O pisoteio animal e as operações de preparo promoveram aumento da densidade do solo, resultando na redução da porosidade total e da macroporosidade e consequentemente um aumento na microporosidade nos horizontes Ap e A1, os quais sofrem os efeitos diretos das atividades antrópicas. A aplicação de metodologia que acopla a RUSLE em ambiente SIG, permitiu a discretização da variabilidade espacial dos fatores que influenciam as perdas, bem como as perdas de solo de uma vertente da Depressão Central do RS.

Submitted by Natalia de Souza Gonçalves (natalia.goncalves@ufpe.br) on 2016-09-28T12:33:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GustavoHPCarvalho_Doutorado_CInUFPE_2016.pdf: 1763137 bytes, checksum: aed7b3ab2f6235757818003678633c9b (MD5) / Made available in DSpace on 2016-09-28T12:33:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GustavoHPCarvalho_Doutorado_CInUFPE_2016.pdf: 1763137 bytes, checksum: aed7b3ab2f6235757818003678633c9b (MD5) Previous issue date: 2016-02-26 / High trustworthiness levels are usually required when developing critical systems, and model based testing (MBT) techniques play an important role generating test cases from specification models. Concerning critical systems, these models are usually created using formal or semi-formal notations. Moreover, it is also desired to clearly and formally state the conditions necessary to guarantee that an implementation is correct with respect to its specification by means of a conformance relation, which can be used to prove that the test generation strategy is sound. Despite the benefits of MBT, those who are not familiar with the models syntax and semantics may be reluctant to adopt these formalisms. Furthermore, most of these models are not available in the very beginning of the project, when usually natural-language requirements are available. Therefore, the use of MBT is postponed. Here, we propose an MBT strategy for generating test cases from controlled naturallanguage (CNL) requirements: NAT2TEST, which refrains the user from knowing the syntax and semantics of the underlying notations, besides allowing early use of MBT via naturallanguage processing techniques; the formal and semi-formal models internally used by our strategy are automatically generated from the natural-language requirements. Our approach is tailored to data-flow reactive systems: a class of embedded systems whose inputs and outputs are always available as signals. These systems can also have timed-based behaviour, which may be discrete or continuous. The NAT2TEST strategy comprises a number of phases. Initially, the requirements are syntactically analysed according to a CNL we proposed to describe data-flow reactive systems. Then, the requirements informal semantics are characterised based on the case grammar theory. Afterwards, we derive a formal representation of the requirements considering a model of dataflow reactive systems we defined. Finally, this formal model is translated into communicating sequential processes (CSP) to provide means for generating test cases. We prove that our test generation strategy is sound with respect to our timed input-output conformance relation based on CSP: csptio. Besides CSP, we explore the generation of other target notations (SCR and IMR) from which we can generate test cases using commercial tools (T-VEC and RT-Tester, respectively). The whole process is fully automated by the NAT2TEST tool. Our strategy was evaluated considering examples from the literature, the aerospace (Embraer) and the automotive (Mercedes) industry. We analysed performance and the ability to detect defects generated via mutation. In general, our strategy outperformed the considered baseline: random testing. We also compared our strategy with relevant commercial tools. / Testes baseados em modelos (MBT) consiste em criar modelos para especificar o comportamento esperado de sistemas e, a partir destes, gerar testes que verificam se implementações possuem o nível de confiabilidade esperado. No contexto de sistemas críticos, estes modelos são normalmente (semi)formais e deseja-se uma definição precisa das condições necessárias para garantir que uma implementação é correta em relação ao modelo da especificação. Esta definição caracteriza uma relação de conformidade, que pode ser usada para provar que uma estratégia de MBT é consistente (sound). Apesar dos benefícios, aqueles sem familiaridade com a sintaxe e a semântica dos modelos empregados podem relutar em adotar estes formalismos. Aqui, propõe-se uma estratégia de MBT para gerar casos de teste a partir de linguagem natural controlada (CNL). Esta estratégia (NAT2TEST) dispensa a necessidade de conhecer a sintaxe e a semântica das notações formais utilizadas internamente, uma vez que os modelos intermediários são gerados automaticamente a partir de requisitos em linguagem natural. Esta estratégia é apropriada para sistemas reativos baseados em fluxos de dados: uma classe de sistemas embarcados cujas entradas e saídas estão sempre disponíveis como sinais. Estes sistemas também podem ter comportamento dependente do tempo (discreto ou contínuo). Na estratégia NAT2TEST, inicialmente, os requisitos são analisados sintaticamente de acordo com a CNL proposta neste trabalho para descrever sistemas reativos. Em seguida, a semântica informal dos requisitos é caracterizada utilizando a teoria de gramática de casos. Posteriormente, deriva-se uma representação formal dos requisitos considerando um modelo definido neste trabalho para sistemas reativos. Finalmente, este modelo é traduzido em uma especificação em communicating sequential processes (CSP) para permitir a geração de testes. Este trabalho prova que a estratégia de testes proposta é consistente considerando a relação de conformidade temporal baseada em entradas e saídas também definida aqui: csptio. Além de CSP, foi explorada a geração de outras notações formais (SCR e IMR), a partir das quais é possível gerar casos de teste usando ferramentas comerciais (T-VEC e RT-Tester, respectivamente). Todo o processo é automatizado pela ferramenta NAT2TEST. A estratégia NAT2TEST foi avaliada considerando exemplos da literatura, da indústria aeroespacial (Embraer) e da automotiva (Mercedes). Foram analisados o desempenho e a capacidade de detectar defeitos gerados através de operadores de mutação. Em geral, a estratégia NAT2TEST apresentou melhores resultados do que a referência adotada: testes aleatórios. A estratégia NAT2TEST também foi comparada com ferramentas comerciais relevantes.

Submitted by Priscilla Araujo (priscilla@ibict.br) on 2018-08-08T18:53:09Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) TESE VF.pdf: 5912664 bytes, checksum: 8f5ffa8815f9f91b4a11babe28dd5801 (MD5) / Made available in DSpace on 2018-08-08T18:53:09Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) TESE VF.pdf: 5912664 bytes, checksum: 8f5ffa8815f9f91b4a11babe28dd5801 (MD5) Previous issue date: 2014 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Esta pesquisa está fundada na interlocução entre dois campos de saberes e práticas: o campo da Ciência da Informação (CI), no qual se inscrevem as ações e os regimes de informação, e o campo da Saúde Coletiva relacionado à saúde como fenômeno social. Abrange ainda, como interface de investigação, os fluxos informacionais e comunicacionais presentes nas interações entre os profissionais dos serviços de saúde da Atenção Básica. São fundamentais, nesse processo, as relações sociais e as ações de informação nas quais o cuidado desempenha papel metafórico e de mediação das relações humanas no cotidiano institucionalizado da saúde. Utilizando-se da Análise das Redes Sociais foi investigada as relações infocomunicacionais entre 150 profissionais de saúde de 2 Clínicas da Família, um Centro de Saúde e uma equipe do Núcleo de Apoio da Saúde da Família (NASF), na Área Programática (AP) 5.2 do município do Rio de Janeiro. Os resultados apontam para a existência de barreiras à implementação da Política Nacional de Atenção Básica no que tange a política do cuidado. A estrutura das redes infocomunicacionais levantadas constrangem as ações de informação que poderiam disseminá-la. Esses obstáculos refletem as percepções sobre cuidado dos agentes responsáveis pela implementação da política, os profissionais de saúde. A principal barreira a ser equacionada é a fronteira do próprio sistema de saúde em relação a necessidade de saúde dos usuários, pouco permeável ao reconhecimento do discurso da população alvo. Entre os profissionais de saúde apenas 20% descrevem o cuidado como forma de reconhecimento do outro, ou seja, como sendo o sentido operador da fronteira capaz de selecionar novos recursos informacionais no entorno, permitindo a produção compartilhada entre saberes científicos e comuns na construção do conceito positivo e ampliado de saúde. Também apontam os resultados para algumas formas complementares possíveis de promover a difusão do cuidado como reconhecimento do outro. Os caminhos desta promoção assinalados pelos resultados da tese são: pelo NASF, pelas lideranças das redes, pelo grupo dos agentes comunitários de saúde, pela educação em serviço. / The present research is based on the interlocution between two fields of knowledge and practices: the field of Information Science, to which actions and information regimes belong, and the field of Collective Health, which is associated to health as a social phenomenon. Furthermore, as an interface for research, it comprises flows of informational and communication skills existing in the interaction between basic healthcare professionals. In this process, social relations and information actions in which care plays a metaphorical and mediation role in human relations within everyday institutionalized health care are essential. Infocomunicational relations between one hundred and fifty (150) healthcare professionals of two (2) Family Clinics, one (1) Health Center and one (1) team of the Family Health Support Center (Núcleo de Apoio da Saúde da Família - NASF) in the Programmatic Area (Área Programática - AP) 5.2 of Rio de Janeiro county were investigated by means of Social Network Analysis. The results support the existence of a barrier to the implementation of the National Policy of Basic Health Care (Política Nacional de Atenção Básica) in terms of care policy. The infocomunicational network structures surveyed constrain information actions that could disseminate it. Such obstacles reflect how healthcare professionals, who are responsible for applying this policy, perceive care itself. The main barrier to be addressed is the frontier of the health system in relation to its users need for health, not very easily influenced by the recognition of the target population discourse. In between health professionals, only 20% describe care as means of recognizing the other, that is, as being the sense that operates the frontier capable of selecting new informational resources in the surrounding environments allowing a shared production between scientific and common knowledge in the building of a positive and enlarged concept of health. Moreover, the results also show a few complementary forms that might promote the dissemination of care as the recognition of the other. According to the thesis results, the paths for such promotion are via: NASF, network leadership, groups of health community agents, and education in service.

Made available in DSpace on 2016-08-17T14:52:43Z (GMT). No. of bitstreams: 1 Milson Monteiro.pdf: 1924077 bytes, checksum: 78f931b493f756dec0edee7a465e1099 (MD5) Previous issue date: 2002-06-07 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / This works concern software development (graphical user interface) that makes possible to analyze the interconnection in a LAN (Local Area Network) using CORBA (Common Object Request Broker Architecture) on distributed and heterogeneous environment among several outlying machines. This works presents paradigms of graphs theory: shortest paths problems (Dijkstra-Ford-Moore-Belman), maximum flow problems (Edmonds-Karp) and minimum cost flow problems (Busacker-Gowen) to formalize the interface development. We discoursed on the graphs theory and networks flows that are essentials to guarantee theoretical insight. / O objeto de estudo deste trabalho é o desenvolvimento de um software (interface gráfica do usuário) que possibilita analisar a interconexão de uma LAN (Local Area Network) usando CORBA (Common Object Request Broker Architecture) em ambientes distribuídos e heterogêneos entre diversas máquinas periféricas. Este trabalho apresenta os paradigmas da teoria de grafos: menor caminho (Dijkstra, Ford-Moore-Belman), fluxo máximo (Edmonds-Karp) e fluxo de custo mínimo (Busacker-Gowen) para formalizar o desenvolvimento da interface. Discorremos sobre a teoria de grafos e fluxos em redes que são relevantes para garantir o embasamento teórico.

O presente estudo procura discutir a validade, para um determinado caso, da principal tese da bibliografia dos anos 90 sobre os movimentos sociais brasileiros: a de que eles introduzem e ampliam direitos. O caso abordado é o da mudança da política habitacional da Prefeitura de São Paulo para as favelas (1979-1989): de uma política centrada na remoção para uma caracterizada pela urbanização. A pesquisa foi feita com base em um modelo desenvolvido no campo de estudo das políticas públicas (MSM3). Especificamente, a partir das proposições de Kingdon (1984). Desta forma, o estudo intenta verificar se, mesmo quando se parte de outra bibliografia, aquela tese se sustenta. Ou seja, se as conclusões a que se chega são similares, quanto ao lugar do movimento social na explicação dessa mudança da política pública. / This study discusses the validity, for a particular case, the main thesis of the literature of the 90s on Brazilian social movements: that they introduce and expand rights. The case discussed is the change of the Municipality of São Paulo favelas to housing policy (1979-1989): a policy focused on removal for a characterized by urbanization. The research was based on a model developed in the field of study of public policy (MSM3). Specifically, from the propositions of Kingdon (1984). Thus, the study intends to verify whether, even when another part of the bibliography, that argument holds up. That is, if the conclusions now reached are similar to previous ones, about the place of social movements in explaining this change in public policy