Mostrando recursos 101 - 120 de 27.638

  1. Tethered Vehicle Control and Tracking System

    Aull, Mark J.; North, David D.
    A kite system includes a kite and a ground station. The ground station includes a sensor that can be utilized to determine an angular position and velocity of the kite relative to the ground station. A controller utilizes a fuzzy logic control system to autonomously fly the kite. The system may include a ground station having powered winding units that generate power as the lines to the kite are unreeled. The control system may be configured to fly the kite in a crosswind trajectory to increase line tension for power generation. The sensors for determining the position of the kite...

  2. Canoas: consumo urbano e novas centralidades

    Flores, Anderson Müller
    A implantação de um novo shopping center e a alta dos preços dos imóveis em Canoas são transformações complexas em seu espaço urbano, que vêm se tornando presentes principalmente a partir de 2010. Este trabalho visa analisar quais as principais causas desta transformação no espaço urbano canoense que a faz ser a cidade mais importante da Região Metropolitana de Porto Alegre e uma das principais economias também do estado do Rio Grande do Sul. Verificando com a instalação de mais um grande espaço de consumo nesta cidade, tendemos a propor que os seus habitantes possuem um maior poder aquisitivo e...

  3. Proposta de educação ambiental: a educação ambiental integral no ambiente escolar e seus pressupostos éticos e sociais

    Bonacina, Fabrício Ramires
    Partindo do pressuposto de que uma nova ética socioambiental se faz necessária e da necessidade de uma lógica ecocêntrica, esta pesquisa objetivou através da lei 9795/99 do Plano Nacional de Educação Ambiental propor novas práticas de educação do meio ambiente nas escolas. A proposta desta pesquisa visa a complementação e a integração de práticas sustentáveis como a implantação de pontos de coleta seletiva nas escolas, comercialização dos resíduos sólidos, compostagem dos resíduos orgânicos e a implementação de hortas escolares. As aplicações dos recursos obtidos nestas atividades podem ser convertidas em equipamentos que proporcionem qualidade de vida aos discentes, bem como...

  4. Notas para a Elucidação do Conceito "Cultura"

    Silva, Eduardo
    Ensaio que tem em vista elucidar o conceito "cultura" por via: (1) de explicitar a relação lógica que subsiste entre a Cultura do Homem e outras formas de cultura; (2) as implicações lógico-semânticas de designações como "cultura chinesa" e "cultura dos Chineses", bem como de expressões contendo o adjetivo "cultural" (e.g., "ato cultural"); (3) os diversos sentidos que o termo homónimo "cultura" é passível de expressar; (4) a oposição entre "cultura" e "culturas": as conceções (i) neo-humanista, (ii) sociológico-antropológica" e (iii) clássica–holística de "cultura".

  5. Abstract temporalities and the metaphysics of flux: the problem of absolute becoming

    Sutherland, Thomas
    At a time when continental thought is dominated by the influence of philosophers of becoming and process - from Nietzsche and Bergson, through Whitehead and Heidegger, and most importantly now Deleuze - Derrida’s deconstruction of time as a philosophical concept in his essay ‘Ousia and Grammē’ would seem to be all the more vital. Building upon this essay, in which he contends that all conceptions of time, even that of Heidegger, remain inextricably caught within a metaphysics of presence that can only render temporality in the terms of a spatial movement, I will argue in this paper that the concept...

  6. Emerging lessons from the FIGO LOGIC initiative on maternal death and near-miss reviews

    Lewis, G
    © 2014 International Federation of Gynecology and Obstetrics. Published by Elsevier Ireland Ltd. All rights reserved.This short paper describes some early findings from an overview of the maternal death or severe morbidity "near-miss" reviews that have been undertaken to improve clinical care by the eight societies participating in the FIGO Leadership in Obstetrics and Gynecology for Impact and Change (LOGIC) Initiative in Maternal and Newborn Health aimed at strengthening the role of professional obstetric associations. While it is expected that each will publish its own report, generalizable lessons emerged and valuable solutions were implemented that will help others planning such...

  7. Why Are We Waiting?: The Logic, Urgency, and Promise of Tackling Climate Change

    Grubb, M

  8. Os largos da cidade de Porto Alegre: a produção do espaço e as apropriações alternativas

    Silva, Rosiéle Melgarejo da
    Com este trabalho pretende-se refletir a produção do espaço dos largos, frente ao universo dos espaços públicos contemporâneos. A tese é a de que os espaços públicos dos largos se constituíram como redutos de apropriações alternativas. Assim, divergente da lógica das “revitalizações urbanas”, pautadas na especulação imobiliária, os largos resistiram e consolidaram uma produção do espaço de caráter popular. Além disso, o desenvolvimento do trabalho apresenta uma proposta metodológica que perpassa os conceitos norteadores da Geografia a fim de ampliar e tornar múltipla a apropriação teórica. Assim, através do conceito de paisagem, espaço, território e lugar, os largos trazem a...

  9. Lógicas de ligação ancestrais

    Castelhano, Marco Ferreira Martins
    Dissertação de Mestrado Integrado em Arquitetura, com a especialização em Arquitetura, apresentada na Faculdade de Arquitetura da Universidade de Lisboa para obtenção do grau de Mestre.

  10. Microfinance regulation and social sustainability of microfinance institutions: the case of Nigeria and Zambia

    Siwale, Juliana; Okoye, Ngozi
    This study examines the effect of regulations on microfinance institutions in Nigeria and Zambia by focusing on the post-regulation experiences and reflections of the microfinance institutions (MFIs) and their regulators. Based on in-depth interviews with the Central Banks as regulators, MFI managers, practitioners and apex microfinance associations, the study finds that regulations in both countries have managed to professionalize the sector, but their effectiveness in augmenting the centrality of social goals to microfinance and MFIs remains doubtful. The poorly designed regulations are not only undermining social goals but also sending wrong signals to would be social investors, with implications for...

  11. Model checking two layers of mean-field models

    Kolesnichenko, Anna; Remke, Anne; Boer, Pieter-Tjerk de; Haverkort, Boudewijn R.
    Recently, many systems that consist of a large number of interacting objects have been analysed using the mean-field method, which allows a quick and accurate analysis of such systems, while avoiding the state-space explosion problem. To date, the mean-field method has primarily been used for classical performance evaluation purposes. In this chapter, we discuss model-checking mean-field models. We define and motivate two logics, called Mean-Field Continuous Stochastic Logic (MF-CSL) and Mean-Field Logic (MFL), to describe properties of systems composed of many identical interacting objects. We present model-checking algorithms and discuss the differences in the expressiveness of these two logics and...

  12. Letramento criativo : metódica para o desenvolvimento da consciência de design no ensino médio

    Sperb, Daniel Quintana
    O objetivo geral desta tese é criar uma metódica para o desenvolvimento da consciência de Design em alunos de ensino médio. Quanto à natureza e aos objetivos, o presente estudo se enquadra como uma Pesquisa Aplicada e Exploratória. Com relação aos procedimentos, caracteriza-se como uma Pesquisa-Ação. Foram estabelecidas premissas básicas para o desenvolvimento do Letramento Criativo; operacionalizada uma sequência lógica de pranchas de capacitação, por meio do agrupamento de ferramentas criativas. Foram também avaliadas as contribuições do Letramento Criativo com relação à percepção de valor e ao desempenho dos estudantes perante as disciplinas do currículo formal, e desenhado um Manual...

  13. Sistema minimamente invasivo baseado em agentes aplicado em controladores lógicos programáveis

    Peixoto, João Alvarez
    A indústria carece de sistemas produtivos que atendam a diversidade de demanda do mercado, com eficiência e capacidade de adaptação rápida. As novas soluções para estas necessidades remetem ao uso de novas tecnologias de automação. Porém, a maioria dos sistemas integrados de manufatura implantados em indústria possui seu gerenciamento por controladores lógicos programáveis, assim como suas interligações elétricas e lógicas de controle. A tese proposta faz uso de Sistemas Multiagentes em controladores lógicos programáveis, para que estes possam controlar seus sistemas de manufatura, propiciando-lhes os requisitos de diversidade, agilidade e auto-organização no meio produtivo. A comprovação desta tese se dá...

  14. A eficácia do indicador IMA-GDASS acerca do desempenho das Gerências Executivas do INSS : um estudo a partir da realidade do Rio Grande do Sul

    Fernandes, Marla Chachamovich
    O objetivo do presente estudo é demonstrar que o indicador de desempenho IMA-GDASS, utilizado para pagamento de gratificação aos servidores do INSS, não demonstra efetivamente o estado da gestão do órgão, pois não transmite à administração como se encontra a qualidade de atendimento aos cidadãos. Pelo contrário, a aferição do indicador afeta negativamente a qualidade da análise dos requerimentos dos cidadãos-usuários do INSS. Este trabalho se caracteriza como um estudo de caso-exploratório. Foram utilizados os métodos quantitativo-descritivo e qualitativo. Apresenta-se a evolução da gestão do órgão desde os anos 90, que culminou na criação Plano de Ação, com diversos indicadores...

  15. Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables

    Aréchiga, Nikos; Dathathri, Sumanth; Vernekar, Shashank; Kathare, Nagesh; Gao, Sicun; Shiraishi, Shinichi
    Some industrial systems are difficult to formally verify due to their large scale. In particular, the widespread use of lookup tables in embedded systems across diverse industries, such as aeronautics and automotive systems, create a critical obstacle to the scalability of formal verification. This paper presents Osiris, a tool that automatically computes abstractions of lookup tables. Osiris uses these abstractions to verify a property in first order logic. If the verification fails, Osiris uses a falsification heuristic to search for a violation of the specification. We validate our technique on a public benchmark of an adaptive cruise controller with lookup...

  16. Soft X-Ray Tomography Reveals Gradual Chromatin Compaction and Reorganization during Neurogenesis In Vivo

    Le Gros, Mark A.; Clowney, E. Josephine; Magklara, Angeliki; Markenscoff-Papadimitriou, Eirene; Colquitt, Bradley; Myllys, Markko; Lomvardas, Stavros; Larabell, Carolyn A.; Yen, Angela; Kellis, Manolis
    Summary - The realization that nuclear distribution of DNA, RNA, and proteins differs between cell types and developmental stages suggests that nuclear organization serves regulatory functions. Understanding the logic of nuclear architecture and how it contributes to differentiation and cell fate commitment remains challenging. Here, we use soft X-ray tomography (SXT) to image chromatin organization, distribution, and biophysical properties during neurogenesis in vivo. Our analyses reveal that chromatin with similar biophysical properties forms an elaborate connected network throughout the entire nucleus. Although this interconnectivity is present in every developmental stage, differentiation proceeds with concomitant increase in chromatin compaction and re-distribution...

  17. A distinção entre conceito e objeto e a inexpressabilidade da lógica em Frege

    Machado, Valquíria
    Esta dissertação tem como objetivo compreender como a distinção entre conceito e objeto opera no sistema fregeano de modo a autorizar ou não alguma concepção de inexpressabilidade como característica fundamental da lógica. O problema de fundo é determinar em que sentido distinções entre categorias lógicas, especificamente a distinção entre conceito e objeto, envolvem algum tipo de inexpressabilidade. A questão é abordada com foco no problema do estatuto da proposição “O conceito cavalo não é um conceito”. Tratamos do problema através da apresentação de duas alternativas que envolvem um esforço de formalização da proposição. A primeira alternativa insere-se numa tradição de...

  18. Suburban Urbanities: Suburbs and the Life of the High Street

    Vaughan, LS
    Suburban space has traditionally been understood as a formless remnant of physical city expansion, without a dynamic or logic of its own. Suburban Urbanities challenges this view by defining the suburb as a temporally evolving feature of urban growth. Anchored in the architectural research discipline of space syntax, this book offers a comprehensive understanding of urban change, touching on the history of the suburb as well as its current development challenges, with a particular focus on suburban centres. Studies of the high street as a centre for social, economic and cultural exchange provide evidence for its critical role in sustaining...

  19. Swedish Literature on the British Market 1998-2013: A Systemic Approach

    Broome, AH
    This thesis examines the role and function of contemporary Swedish fiction in English translation on the British book market in the period 1998-2013. Drawing on Bourdieu’s Field Theory, Even Zohar’s Polysystem Theory and DeLanda’s Assemblage Theory, it constructs a model capable of dynamically describing the life cycle of border-crossing books, from selection and production to marketing, sales and reception. This life cycle is driven and shaped by individual position-takings of book market actants, and by their complex interaction and continual evolution. The thesis thus develops an understanding of the book market and its actants that deliberately resists static or linear...

  20. The regulatory logic of m-xylene biodegradation by Pseudomonas putida mt-2 exposed by dynamic modelling of the principal node Ps/Pr of the TOL plasmid

    Koutinas, M; Lam, M-C; Kiparissides, A; Silva-Rocha, R; Godinho, M; Livingston, AG; Pistikopoulos, EN; De Lorenzo, V; Dos Santos, VAPM; Mantalaris, A

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.