No description available.

No description available.

Masteruppsatsen Möjligt att mäta möten? undersöker mötesplatsers betydelse för social sammanhållning. Social sammanhållning förstås i denna studie genom två teoretiska begrepp, co-presence och svaga band, begrepp hämtade från urbanmorfologisk, kulturgeografisk och urbansociologisk forskning.  Syftet med studien kan beskrivas som tvådelat. Den första delen syftar till att undersöka vilken betydelse mötesplatser ges för att kunna bidra till att skapa social sammanhållning i en svensk större stads översiktsplan. Detta studeras genom en kvalitativ innehållsanalys av Malmö stads översiktsplan.  Den andra delen av studien syftar till att haka i den urbanmorfologiska forskargruppen Spatial Morphology Groups (SMoG) arbete med utvecklingen av det GIS-baserade verktyget Place Syntax Tool som de uppmuntrar mastersstudenter att använda för att utvärdera om det är ett användbart verktyg för att genomföra tillgänglighetsanalyser. I denna studie testas verktyget genom att analysera en större svensk stads stadsstruktur, Malmö, för att undersöka den rumsliga relationen mellan tillgången till mötesplatser och den byggda strukturen genom begreppet social sammanhållning.  Resultatet av den kvalitativa innehållsanalysen av Malmö stads översiktsplan visar att kommunen främst planerar för mötesplatser utifrån begreppet co- presence. Samtidigt går det att se att de förväntningar som Malmö har på vilka effekter som möten ska ge i form av social sammanhållning är mer kopplade till begreppet svaga band. För att bidra till att öka den sociala sammanhållningen ges mötesplatser betydelsenatt kunna (1); möjliggöra för möten mellan människor med olika bakgrunder, (2); överbrygga fysiska och sociala barriärer samt (3); främja demokrati, delaktighet och trygghet.  Place Syntax-analyserna synliggör var i staden det finns hög respektive låg tillgång till olika typer av mötesplatser. Det synliggörs även om en stad är rumsligt segregerad på grund av att olika områden är dåligt sammankopplade på grund av gatunätverkets konfiguration. Place Syntax Tool bedöms vara ett användbart verktyg för att mäta tillgången till mötesplatser i städer och se mönster över var det kan sättas in åtgärder i den fysiska miljön för att öka möjligheten för människor att mötas.  Resultatet av en Place Syntax-analys som visar på att det finns en hög tillgång till mötesplatser i en stad går inte att likställas med att det finns social sammanhållning. Det resultatet kan visa är huruvida det är möjligt för olika individer och grupper att mötas i en stad vilket bedöms vara en förutsättning för att social sammanhållning överhuvudtaget ska kunna uppnås.

Vägtrafik skapar flera negativa konsekvenser för miljön men även för människors hälsa. Kommuner ansvarar för lokal infrastruktur och är därför en betydande del i arbetet med hållbar stadsutveckling. Studien undersökte hur politiker och tjänstemän i Sveriges medelstora kommuner arbetar för att bilen ska bli mindre attraktiv och för att öka hållbar mobilitet. Undersökningen utgick från Sveriges miljömål samt den strategi som innefattar nya etappmål för hållbar stadsutveckling. Frågeställningen besvarades genom att använda semistrukturerade intervjuer med fyra politiker och fyra tjänstemän från medelstora kommuner i Sverige. Resultat som framkom var att kommunerna arbetar med hållbar mobilitet i olika utsträckning utifrån olika förutsättningar och behov, men att lönsamhet och invånarnas åsikter begränsar arbetet. De slutsatser som drogs var att effektiva strategier krävs för att uppnå hållbar mobilitet vilket inkluderar ökade möjligheter för hållbart resande samt motstånd för bilanvändning. Att ha ett fungerande samarbete mellan politiker och tjänstemän samt ha en sakkunnig person på plats ansågs även vara viktiga prioriteringar och åtgärder. Eftersom att kommunerna värderar ekonomisk lönsamhet och invånarnas åsikter högre än miljön krävs dessutom prioritering på att öka nationell styrning och att regeringen måste sätta hårdare krav på kommuner. / Road traffic creates several negative consequences for the environment but also for human health. Municipalities are responsible for local infrastructure and are therefore a significant part of the work with sustainable urban development. The study examined how politicians and civil servants in Sweden's medium-sized municipalities work to make the car less attractive and to increase sustainable mobility. The study was based on Sweden's environmental goals and the strategy that includes new milestones targets for sustainable urban development. The method consisted of semi-structured interviews with four politicians and four civil servants from medium-sized municipalities in Sweden. The results showed that municipalities work with sustainable mobility to different extents based on different conditions and needs, but that profit and residents opinion limit the work. The conclusions were that effective strategies are required to achieve sustainable mobility which includes increased opportunities for sustainable travel and resistance to car use. Having a functioning collaboration between politicians and civil servants and having an expert on site were also considered important priorities and measures. Since economic profit and residents' opinion is valued higher than the environment by the municipalities, it is necessary to prioritize the implementation of national governance and that the government must set demands on municipalities.

[pt] Inúmeras linguagens de programação oferecem suporte a finalizadores e referências fracas. Não obstante, de maneira geral esses mecanismos são relativamente pouco conhecidos e pouco usados por programadores. Mesmo entre pesquisadores e desenvolvedores de linguagens não existe muito consenso quanto à sua semântica, que varia consideravelmente entre diferentes implementações. Neste trabalho buscamos explorar os conceitos de finalizadores e de referências fracas, suprindo a ausência de uma especificação clara e abrangente, e permitindo uma melhor compreensão, implementação e uso dos mecanismos correspondentes. Como ponto de partida realizamos um amplo levantamento sobre como é feito o suporte a finalizadores e referências fracas em diferentes linguagens de programação, identificando as características comuns, os problemas, e as questões semânticas mais relevantes associadas às implementações consideradas. Para garantir uma maior precisão em nossa análise, utilizamos um modelo abstrato de uma linguagem de programação com gerenciamento automático de memória. Através deste modelo especificamos formalmente a semântica de finalizadores e referências fracas, incluindo descrições das suas principais variantes e mecanismos relacionados. Além disso, provamos certas propriedades inerentes a linguagens de programação com gerenciamento automático de memória, indicando como estas são afetadas pela introdução de finalizadores e referências fracas. Por fim, consideramos possíveis estratégias de implementação desses mecanismos em diferentes tipos de sistemas. Algumas das opções semânticas investigadas impõe um custo de processamento expressivo, o que frequentemente inviabiliza a sua adoção na prática. / [en] Most mainstream programming languages support finalizers and weak references. In spite of that, these abstractions are still modestly known by programmers in general. Even among language designers there seems to be no common view on how to define their semantics, and language implementations certainly reflect that. In this thesis we explore the concepts of finalizer and weak reference by discussing several important issues that, as far as we know, have not been explored by other authors. After presenting a survey on how finalizers and weak references are supported by actual programming languages, we thoroughly examine their semantics and discuss alternative implementation strategies. We also use an operational approach to develop a formal model for reasoning about garbage collection and its interaction with client programs. By explicitly representing low-level details, such as heap memory and its addresses, we were able to clearly specify memory management actions, and prove several important memory-related language invariants. Using this model we describe a formal semantics for finalizers and weak references, exploring some of its many subtleties. We believe that the topics covered here can serve as a relevant reference for further investigations, and also help to guide actual implementations.

No description available.

This thesis presents four-quadrant CMOS current-mode multiplier architectures based on the bipolar Gilbert cell multiplier architecture. Multipliers are designed using the CMOS subthreshold region to take advantage of the subthreshold exponential I-V relationship that closely matches bipolar modeling. It is discovered that biasing to remove drift current components and to address higher order effects such as ideality factor mismatch, threshold mismatch, body effect, and short channel effects, is important to provide a linear multiplier. It is also shown that distortion caused by device size mismatch and offset input currents can be used to cancel the distortion introduced by drift currents when designing in weak and moderate inversion. This concept allows for linear multiplier designs with larger input currents which results in dramatic improvements in bandwidth over traditional weak inversion circuits. Three multiplier circuits are simulated and fabricated in an AMIS 0.35-um process. Circuits with less than 1 % nonlinear error and distortion (THD) across 100 % dynamic input range and with bandwidths greater than 100 MHz can be built. Also, low power multiplier solutions are presented that consume less than 40 nW of dynamic power.

This thesis demonstrates that the composite cascode differential stage, operating in the subthreshold region, can form the basis of a high gain (113 dB) and low-power op amp (28.1 µW). The circuit can be fabricated without adding a compensation capacitance. The advantages of this architecture include high voltage gain, low bandwidth, low harmonic distortion, low quiescent current and power, and small chip area. These advantages suggest that this design might be well-suited for biomedical applications where low power, low noise bio-signal amplifiers capable of amplifying signals in the millihertz-to-kilohertz range is required.

[pt] Neste trabalho a Análise de Vibrações é tratada no contexto da formulação fraca. Um sistema contínuo é formulado abstratamente em um espaço de Hilbert e uma base de projeção é escolhida para a dinâmica. Um esquema de convergência para a aproximação é garantido à medida em que se aumenta o número de funções da base usada para representar a resposta do problema. Esta é a idéia por traz de métodos como o Método dos Elementos Finitos e o Método dos Modos Supostos, que derivam do Método de Galerkin. Esta estratégia é diferente do que comumente é ensinado nos cursos de vibrações, onde um sistema massa-mola é analisado, e sistemas discretos formados por massas, molas e amortecedores são discutidos. Nestes casos não se sabe qual é o erro cometido na análise numérica. A Análise de Vibrações é muito usada na manutenção preditiva de máquinas rotativas. Alguns fenômenos observados nesses equipamentos motivaram o desenvolvimento de um modelo numérico que pudesse reproduzir tais fenômenos para melhor entendê-los. Um sistema rotor-mancal é modelado e sua resposta dinâmica comparada qualitativamente com a resposta dinâmica captada através de acelerômetros fixados nos mancais de um exaustor da Companhia Siderúrgica de Tubarão (CST). Durante o trabalho diversos programas foram desenvolvidos através da plataforma MATLAB. / [en] Vibration Analysis is treated in the context of weak formulation. A continuous system is formulated in the Hilbert space and one base is selected to project the dynamics. An approximation scheme is guaranteed by increasing the number of functions in the base used to represent the response. This is the idea behind methods like the Finite Element Method and Assumed Modes Method, which derive from Galerkin Method. This strategy is different from what is commonly taught in vibration courses, where a mass-spring system is analyzed and discrete systems composed by masses, springs and dashpots are discussed. In those cases the error of the numerical analysis is not known. Vibration Analysis is very used in predictive maintenance of rotating machines. Some phenomenons observed in those machines motivated the development of a numerical model that could reproduce such phenomenons to better understand them. A rotor-bearing system is modelled and its dynamic response is qualitative compared to the dynamic response captured by accelerometers fixed on the bearings of a blower of the steel company Companhia Siderúrgica de Tubarão (CST). During this work several programs were developed using MATLAB software.

No description available.