Seguindo uma tendência internacional, o uso de animais no ensino tem sido progressivamente substituído por alternativas, tais como programas de computador, manequins, simuladores, vídeos e atendimento de casos clínicos de rotina. Em consonância com a legislação vigente e em resposta a uma demanda crescente, por parte de alunos e professores, a combinação de tais métodos pode melhor atender aos objetivos de ensino, reduzir custos e evitar o impacto pedagógico e social negativo da experimentação animal. O presente trabalho teve como objetivo propor e avaliar uma alternativa ao método tradicional de ensino de procedimentos com animais de laboratório, através da produção de material didático completo e cientificamente correto, com a finalidade de ser utilizado como parte do programa de ensino da disciplina de Animais de Laboratório do curso de medicina veterinária da Faculdade de Medicina Veterinária e Zootecnia da Universidade de São Paulo. O material didático demonstrando a execução dos principais procedimentos experimentais em ratos de laboratório foi produzido em mídia digital com filmes e imagens, que por sua vez foi hospedado no portal Boas Práticas em Experimentação Animal (BPEA), localizado no endereço http://www.bpeanimal.iq.usp.br, alberga os vídeos, assim como materiais complementares sobre cada procedimento. Foram capturados os principais procedimentos de manipulação e contenção de ratos de laboratório, assim como as vias de administração de substâncias, sendo elas oral (gavagem), injeções intramuscular, intraperitoneal, intravenosa, subcutânea e intradérmica. Também foram capturadas as vias e técnicas de coleta de sangue, sendo elas: veia lateral da cauda, veia safena, veia gengival e punção intracardíaca. Ainda foi demonstrada a técnica anestésica de bloqueio do nervo ciático. O conteúdo foi disponibilizado para acesso via internet e utilizado como recurso didático na disciplina de Animais de Laboratório. Desta forma, o presente trabalho atende à normativa do CONCEA, que regulamenta o uso de animais no ensino. A metodologia foi muito bem recebida, e evita tanto o estresse desnecessário do estudante quanto do animal durante um procedimento corriqueiro, resultando em melhor assimilação do conteúdo, comprovada pelo bom desempenho dos alunos. Atendendo às pressões econômicas nas universidades, o método proposto representa uma economia financeira substancial em relação ao uso de animais vivos. Conclui-se que este trabalho desenvolveu uma nova metodologia alternativa ao uso de animais vivos em ensino. Todo conteúdo produzido foi postado no portal BPEA, estando já disponível para acesso dos alunos de graduação, com a finalidade de promover conteúdo educacional, proporcionando um legado inédito para o ensino em medicina veterinária no Brasil. / Following an international trend, the animals use in education has been replaced by alternatives such as computer programs, mannequins, simulators, videos and routine clinical case management. According to current legislation and in response to the growing demand from students and professors, alternative methods can better achieve educational objectives, reduce costs, and avoid the negative pedagogical and social impact of animal research. The present study aimed to propose and evaluate an alternative method for the traditional teaching of procedures on laboratory animals. For this purpose, a complete teaching content with scientific basis was produced to be used as part of the Laboratory Animal Science course for the undergraduate students at Faculdade de Medicina Veterinária e Zootecnia da Universidade de São Paulo. The content demonstrating how to perform the main experimental procedures on laboratory rats was produced in digital media, including videos and images, which were hosted in Good Practice in Animal Experimentation Portal (BPEA) (http://www.bpeanimal.iq.usp.br). The main handling and restrain techniques of laboratory rats, and drug administration procedures, through different routes, such as oral (gavage), intramuscular, intraperitoneal, intravenous, subcutaneous and intradermal were performed. The blood collection routes and techniques were also recorded, as follows: lateral tail vein, saphenous vein, gingival vein and intracardiac puncture. The sciatic nerve anesthetic blocking technique was also been demonstrated. The content was available online in the BPEA portal, and used as a teaching content for the Laboratory Animals Science course. Thus, the present study complies with the National Council for Animal Experimentation Control (CONCEA) regulations, which regulates animals use in education, resulting in better assimilation of content, as evidenced by the good performance of the students. The method was well received by the veterinary students, and could avoid both students and animals stress during a routine procedure. Attending to the economic pressures of the government in the universities, the method proposed here provides a substantial financial saving when compared to living animals use. In conclusion, this study developed a new alternative methodology for the use of living animals. All content produced was posted in BPEA portal, being available for veterinary students, providing an unprecedented legacy for teaching of veterinary science in Brazil.

Inom EU finns mål på att sänka utsläppen med 40% till år 2030. I Sverige står bygg och fastighetssektorn för cirka 21% av Sveriges totala utsläpp. För att lyckas nå EU:s klimatmål måste en konvertering till förnybara uppvärmningskällor ske. Region Gotland ansvarar idag för över 500 000m2 fastigheter. Många använder idag pellets till uppvärmning. Pellets ses som klimatneutralt och släpper därför inte ut mer koldioxid än vad trädet plockat upp. Ett problem som uppstår då pelletspannorna kräver underhåll och leveranser. Flera av Region Gotlands fastigheter ligger flera mil iväg från både leverantör och underhållspersonal vilket ökar kostnader och miljöpåverkan än mer. En av dessa fastigheter, brandstationen i Öja, ligger till grund för denna studie. Då det finns flera fastigheter med liknande förutsättningar kan rapporten användas som underlag för dessa. Studien undersöker ifall en konvertering från pelletspannan till en värmepump kan sänka kostnaderna och bidra till lägre utsläpp. Vid en konvertering till värmepump sänks systemtemperaturerna från 80/60 till 55/45 vilket kan skapa problem för befintliga radiatorer, rör och pumpar. Radiatorernas och rörens kompatibilitet med nya temperaturerna under söks därför i studien men pumpar utelämnas för en framtida studie. Med hjälp av transmissionsberäkningar och en formel baserad på grad dagar och tidigare energiförbrukning beräknades ett värmebehov för fastigheten på 23,8 kW den kallaste dagen på året. Med detta kunde tre värmepumplösningar tas fram. Samtliga lösningar innefattar även en ny ackumulatortank då den nuvarande är över 40 år gammal och har ett flertal brister. Med optimering av uppvärmningssystemet genom att sänka temperaturen i de fläktvärmda rummen till 15 grader kan värmebehovet sänkas med 4kW. En undersökning gällande installation av solfångare har även gjorts, där det inte visade sig lönsamt med dagens tappvarmvattenbehov.  Efter de dimensioneringar som gjorts framkommer även att två rörslingor behöver bytas, men att ett eventuellt radiatorbyte lämnas till efter en konvertering för att se om dessa behöver bytas. Undersökningarna visar även att de befintliga fläktvärmarna är överdimensionerade och inte behöver bytas. Utsläppsberäkningar visar att utsläppen kan minskas med 2565 kg CO2 eq per år vid en eventuell konvertering. Payoffmetoden har använts för att visa att de tre lösningarna har en mycket kort återbetalningstid mellan 3,9 år för luft/vattenvärmepumpar från CTC till 4,7 år för Thermias bergvärmelösning. Med hjälp av LCC kalkyler har lösningarna livstidskostnad tagits fram. Ställt mot den be fintliga pelletspannan uppgår besparingen till 879 000kr för Thermias lösning – 966 000kr för CTC:s lösning med en kalkylränta på 1,5%. Slutsatsen är därför att en konvertering till värmepump bör ske för att spara både ekonomiskt men även för att minska utsläppen. / One of EU’s climate goals is to reduce the greenhouse gas emissions by 40% by the year of 2030. In Sweden the “building and real estate sector” stands for 21% of Sweden’s total pollution of greenhouse gas emissions. To reach EU’s goals by 2030 there must be a transformation to renewable sources for use in the heating of real estates. Region Gotland manages over 500 000 m2 of estates. Many of which uses pellet as the source of heating. This heating alternative requires regular deliveries of material and maintenance. Many of the estates in the care of Region Gotland are far away from both the supplier and maintenance team which creates great transport costs and gas emissions. The fire sta- tion in “Öja” is one of them and is the one used in this study. As there are many similar buildings the results here can be used as a foundation for those estates. This study is exploring if a conversion from pellet to a heating pump can lower the expenses and greenhouse gas emissions. By changing to a heat- ing pump from a pellet boiler the temperatures are reduced from 80/60°C to 55/45 °C in the system. This may cause problem with radiators, pumps and pipes. Because of this, radiators and pipes will also be inves- tigated, but pumps will be left out for another study. The heat needed to increase the temperature in the building to 21 °C at a DVUT of -8,7 °C was calculated using transmission losses calculations and a formula based on “graddagar” and earlier energy uses by the estate, to 23,8 kW. Based on the calculated heat, three heating pump solutions were created, all of whom included a new water heater with storage tank. The old storage tank is over 40 years by age and therefore has many short- comings. Using calculations to optimize the heat usage, the heat needed can be re- duced by 4kW at DVUT by lowering the temperature to 15 °C in the fan heated area of the building while still being within the laws of the Swe- dish work environment authority. An investigation was made to see if solar collectors could be used to heat the domestic hot water in the estate. The results showed that in this case it wouldn’t be economically justifiable due to low energy cost with a new heating pump. The calculations done for pipes and radiators showed that two pipes must be replaced but that the radiators are mostly fine with the new tempera- tures. A replacement of the radiators should be left till after the conver- sion. Calculations on the fan heaters showed that there is no need to re- place these. Calculations on greenhouse gas emissions showed that the emissions can be reduce by 2565 kg CO CO2-eq each year if the pellet boiler is replaced by a heating pump. The Pay-off method and LCC calculations was used to show the profita- bility in the three heating pump solutions. The Pay-off time for the solu- tions ranged from CTC’s air to water heating pumps at 3,9 years to 4,7 years for Thermia’s geothermal heating pump. The LCC calculations showed that changing to a heat pump could generate a saving of 879 000 SEK for Thermia’s solution to 966 000 SEK for CTC’s solution. The conclusion is therefore that the pellet boiler should be changed to a heating pump to save money and reduce the greenhouse gas emissions.

The thesis is intending to answer the question: Do tools and objects have the ability to support capacities for imagining alternative ways of living the present and through that also the future? How do we imagine our future? What is necessary for us and how do we want to live our everyday? It is important to rest for a moment and have a conversation about this questions in order to adapt old concepts of the world towards drastically changing conditions. Most of us, mainly in the modern western society, know that we can no longer maintain this lifestyle in the future. We know that we have to react as soon as possible and find alternative ways of living together. Yet it seems that we are paralysed to initiate action towards new ways of thinking. Where does this inactivity come from? It is hard to find new ways of thinking, especially when conventional norms, rules and structures of the current system do not provide any room for new forms of development. Is it possible that we are trapped in this system and the web of stories that hold it together? Is it possible that we are so used to the structures of the everyday, that we see them as set truths and do not question them anymore? The work investigates where these conditions come from and how non-human stakeholders in form of our everyday objects impact human culture and core beliefs. Through designing a disobedient tool that supports the capacity for alternative thinking towards more playful, imaginative presents and futures I want to try to questioning established systems embedded in our everyday tools, tools which embody our relations to each other and to the living and non-living inhabitants of our surroundings.

A definição da localização de um empreendimento é uma das principais decisões que determinará a magnitude e a importância de grande parte dos impactos ambientais negativos resultantes de sua instalação e operação. Porém, é visto que a dimensão ambiental normalmente não está presente nas análises de localização do projeto que ocorrem previamente ao licenciamento ambiental, levando-se em consideração apenas as dimensões técnicas e econômicas. Um dos motivos atribuídos a esta ausência é que normalmente não existem ou não estão disponíveis informações ambientais de natureza secundária que revelem restrições territoriais para a localização do empreendimento previamente ao processo de licenciamento ambiental, sendo normalmente produzidas posteriormente durante a elaboração do estudo ambiental dentro do processo de avaliação de impacto ambiental. Neste sentido, o presente trabalho tem como objetivo principal analisar as possibilidades para o estabelecimento de uma base referencial de informações sobre potencialidades e restrições ambientais e territoriais como suporte ao estudo de alternativas de traçados rodoviários, previamente ao início do processo formal de avaliação de impacto ambiental e de licenciamento ambiental do projeto. Para isso, foram identificados quais são os principais fatores territoriais necessários à análise prévia de viabilidade ambiental de traçados rodoviários, utilizando-se como estudo de caso do trecho sul do Rodoanel Mário Covas, na região metropolitana de São Paulo. Foram aplicadas técnicas de geoprocessamento para trabalhar os dados encontrados e assim, foram produzidas três diretrizes de traçado a partir das restrições ambientais, as quais foram discutidas junto da potencialidade do território, identificando alterações que podiam ter sido feitas no traçado construído da rodovia. As discussões mostram que, ainda que existam certos limites (como a padronização dos dados trabalhados e a escala trabalhada), é possível compatibilizar potencialidades e restrições territoriais ambientais na concepção de alternativas de localização, previamente ao processo de licenciamento ambiental, para o caso de empreendimentos rodoviários. / Defining the location of an enterprise is one of the key decisions that determine the importance of the negative environmental impacts resulting from its installation and operation. But, the environmental dimension is not normally present in the analysis of location of the project that occur before the environmental licensing, considering only the technical and economic aspects. One reason for this is the fact that the environmental information of a secondary nature, which reveals territorial restrictions to the location of the project, is not available or are not systematized and available for this preliminary analysis, and it is usually produced later during the preparation of the environmental statement within the process of environmental impact assessment. In this sense, this work aims to analyze the possibilities for setting a reference base of information on environmental and territorial potential and restrictions, as a support for the study of alternative road designs, prior to the environmental impact assessment and environmental licensing of the project. For this, the main territorial factors, necessary for investigating the environmental analysis of road layouts viability were identified, using as a case study of the southern section of the Rodoanel Mario Covas in the metropolitan region of Sao Paulo. Geoprocessing techniques were applied to work the found data, and then, three road designs guidelines were produced from the environmental restrictions, which were discussed with the territorial potential, identifying changes that could have been made in the constructed road layout. The discussions show that, although that are limits (as standardization of the discussed data and the worked scale), is possible to reconcile the territorial environmental potential and restrictions in the concept of road designs, prior to the licensing process for the case of road projects.

Alternatives Spleißen ist von großer Bedeutung für die Steuerung der Genexpression und Proteindiversität. Die Cdc2-like Kinasen (Clk) und DNA Topoisomerase I (DNA topo I) steuern alternatives Spleißen über die Phosphorylierung von Serine/Arginin-reichen (SR) Proteinen. Tissue Factor (TF) und die endotheliale Stickstoffmonoxidsynthase (eNOS) beeinflussen maßgeblich die Endothelfunktion. Alternatives Spleißen führt zur Bildung von Isoformen von TF („full length“ (fl)TF, alternativ gespleißter humaner (asH)TF) und eNOS (eNOS, eNOS 13A, B und C). Wie das alternative Spleißen von TF und eNOS gesteuert wird und welchen Einfluss dies auf die Endothelfunktion hat ist unbekannt und wurde in dieser Arbeit untersucht. Die TNF-a-Stimulation der HUVEC erhöhte die Expression beider TF-Isoformen. Die Clk-Inhibition reduzierte die mRNA-Expression von flTF und asHTF. Die DNA topo I-Inhibition erhöhte die asHTF-Expression und verringerte flTF. Die Inhibition der DNA topo I reduzierte ebenfalls die Expression des flTF-Proteins aber nicht von asHTF, verbunden mit einer reduzierten TF-Aktivität. Die Clk-Inhibition reduzierte das flTF-Protein und die TF-Aktivität nur leicht aber asHTF vollständig. Die Inhibition der Kinasen beeinflusste das SR Protein-Phosphorylierungsmuster. Die Inhibition von SF2/ASF und SRp75 mittels siRNAs veränderte die Expression und die Aktivität von TF in HUVEC. Die TNF-a-Stimulation von HUVEC induzierte ferner die mRNA-Expression von eNOS 13A, B und C, nicht aber von eNOS. Dies führte zu einer Reduktion der eNOS-Aktivität. Die Inhibition der DNA topo I, nicht aber der Clks hob diese Effekte auf. Diese Daten zeigen, dass die DNA topo I sowie die Clks an der Regulation der endothelialen TF-Expression und Aktivität beteiligt sind, während die eNOS-Isoformexpression und Aktivität nur durch die DNA topo I beeinflusst wurde.Diese Ergebnisse eröffnen neue Einblicke in die Regulation des alternativen Spleißens von TF und eNOS sowie dessen Einfluss auf die Endothelfunktion. / Alternative splicing is an important mechanism to control gene expression and protein diversity. The Cdc2-like kinases (Clk) and DNA topoisomerase I (DNA topo I) control alternative splicing by regulating the phosphorylation state of serine/arginine-rich (SR) proteins. Tissue Factor (TF) and the endothelial nitric oxide synthase (eNOS) are crucial for the endothelial function. Alternative splicing lead to the formation of different isoforms of TF („full length“ (fl)TF, alternatively spliced human (asH)TF) and eNOS (eNOS, eNOS 13A, B and C). How alternative splicing of TF and eNOS is regulated as well as the impact on endothelial function is still unknown and was investigated in this study. The stimulation of HUVEC with TNF-a induced the expression of both TF isoforms. The inhibition of Clks reduced the mRNA expression of flTF and asHTF. DNA topo I inhibition increased asHTF and reduced flTF mRNA expression. Inhibition of DNA topo I also reduced flTF but not asHTF on protein level in stimulated cells leading to a reduced TF activity. Clk-inhibition slightly reduced flTF protein and TF activity, whereas asHTF was completely blocked. The inhibition of both kinases altered the phosphorylation pattern of SR proteins. The siRNA-mediated inhibition of SF2/ASF and SRp75 modified the TF isoform expression and TF activity in TNF-a-induced HUVEC. Moreover, stimulation of HUVEC with TNF-a induced the mRNA expression of eNOS 13A, B and C, but not of eNOS. This led to a reduction of eNOS activity. The inhibition of DNA topo I but not of Clks abolished these TNF-a-mediated effects in HUVEC. These data indicate DNA topo I and the Clks to be involved in the regulation of endothelial TF expression and activity, whereas, eNOS isoform expression and activity was influenced by DNA topo I, but not Clks in TNF-a-stimulated HUVEC. In conclusion, this study reveals new insights into the regulation of alternative splicing of TF and eNOS and the impact of these processes on endothelial function.

Neste trabalho, avaliou-se a queima do sebo bovino por meio de uma fornalha calorimétrica flamotubular instrumentada que opera à pressão atmosférica. Como parte do trabalho experimental, foram analisadas as curvas de rendimento térmico da queima do combustível, sebo bovino, e verificou-se seu comportamento quanto à transferência de calor e emissão de gases. Experimentalmente, a fornalha calorimétrica foi remodelada e adaptada para operar com sebo bovino, incorporando-se a esta um elemento de aquecimento prévio, trata-se de um queimador desenvolvido no NETeF possuindo um sistema de alimentação com aquecimento para o combustível, já que o sebo se encontra no estado sólido a temperatura ambiente. O queimador utilizado no experimento foi do tipo misto. Os resultados das medições do poder calorífico do sebo bovino mostraram-se altos: 39.985,5 kJ/kg (dados obtidos no laboratório do NETeF), fazendo com que o sebo se torne uma fonte menos poluente. / In this study, we evaluated the burning of tallow by a calorimetric flamotubular instrumented furnace which operates at atmospheric pressure. As part of the experimental work, the curves of thermal efficiency of fuel combustion (beef tallow) were analyzed, and it was possible to set their composition toward the transfer of heat and gas emissions. Experimentally, the calorimetric furnace was remodeled and adapted to operate with beef tallow by incorporating an element of this preheating, it is a burner developed in NETeF and it has a system to supply heating for fuel, as the tallow is solid at room temperature. The burner used in the experiment was of mixed type. The results of measurements of the calorific value of beef tallow were shown to be high: 39985.5 kJ/kg (data obtained in the laboratory of NETeF), causing the fat to become a viable source.

Os processos de cheias em bacias urbanas vêm sendo agravados devido a uma série de motivos associados à ocupação desordenada do solo urbano. As medidas de controle de enchentes podem ter sua eficiência analisada através da modelagem hidrológica matemática. É neste sentido que o presente trabalho analisa a influência da urbanização sobre os distúrbios no escoamento superficial, por meio de simulações de cenários urbanísticos propostos, com a finalidade de servir como ferramenta de planejamento urbano. Para isso, definiu-se como área de estudo, parte da bacia do Córrego do Gregório, São Carlos - SP. As principais informações da bacia a serem consideradas são: topografia, hidrografia, uso do solo urbano, expansão da área urbana, áreas de proteção ambiental e divisores de microbacias. O modelo hidrológico utilizado é o IPHS-1, do tipo concentrado. Para essa análise são propostos e simulados cenários urbanísticos, baseados na adoção de medidas de controle de inundações não-estruturais, referindo-se principalmente, à conservação de áreas verdes e disciplinamento do uso e ocupação do solo, verificando sua eficiência na redução do volume escoado e atenuação das vazões de pico. / The flooding processes in urban basins have become worse due to many reasons. All of them associated with the disorganized occupancy of the urban area land. The efficiency of flood mitigation measures can be analyzed by mathematical modeling. This study aims to be used as a tool for urban planning and it analyses the influence of the urbanization processes on surface runoff, using simulation of several urbanization scenarios. The case study was undertaken at the Gregório River Basin in São Carlos - SP. The main information considered was topography, hydrology, urban land use, urbanization, protected land and sub-basins. The software used was IPHS-1 which is a lumped hydrologic model. In this research many urbanization scenarios are proposed and simulated. These views are based in many nonstructural flood mitigation alternatives such as land cover conservation, use and occupancy of the land, in order to check their efficiency in reducing the total volume of surface runoff and the peak flow.

Cette recherche de thèse questionne la dimension matérielle des pratiques, et plus particulièrement celle concernant les outils d’enseignement et d’apprentissages que constituent les affiches. Mon objet de recherche se construit dans l’analyse du discours des enseignants et de celui des élèves. Je tente d’identifier leurs représentations et leurs conceptions de l’affiche, telles qu’ils disent la pratiquer, telles qu’ils s’y investissent selon les pédagogies qu’ils mettent en place. La caractérisation des pratiques d’affichage selon les disciplines scolaires contribue à des modélisations dans les espaces didactique et institutionnel, dans celui des manuels scolaires, des pratiques enseignantes et des pratiques des élèves. / This thesis research questions the material dimension of practices, especially that concerning the teaching and learning tools that are posters. The topic of my research is built into the analysis of the speech of teachers and the pupils. I try to identify their representations and views of the poster, as they say the practice, as they invest themselves according to the teaching methods they implement. The characterization of the poster practices according to the practical school subjects contribute to modeling in teaching and institutional spaces, in one of textbooks, teaching practices and pupils practices.

雲存儲是一個新興的服務模式，讓個人和企業的數據備份外包予較低成本的遠程雲服務提供商。本論文提出的方法，以確保數據的安全性和雲備份系統的可靠性。 / 在本論文的第一部分，我們提出 FadeVersion，安全的雲備份作為今天的雲存儲服務上的安全層服務的系統。 FadeVersion實現標準的版本控制備份設計，從而消除跨不同版本備份的冗餘數據存儲。此外，FadeVersion在此設計上加入了加密技術以保護備份。具體來說，它實現細粒度安全删除，那就是，雲客戶可以穩妥地在雲上删除特定的備份版本或文件，使有關文件永久無法被解讀，而其它共用被删除數據的備份版本或文件將不受影響。我們實現了試驗性原型的 FadeVersion並在亞馬遜S3之上進行實證評價。我們證明了，相對於不支援度安全删除技術傳統的雲備份服務 FadeVersion只增加小量額外開鎖。 / 在本論文的第二部分，提出 CFTDedup一個分佈式代理系統，利用通過重複數據删除增加雲存儲的效率，而同時確保代理之間的崩潰容錯。代理之間會進行同步以保持重複數據删除元數據的一致性。另外，它也分批更新元數據減輕同步帶來的開銷。我們實現了初步的原型CFTDedup並通過試驗台試驗，以存儲虛擬機映像評估其重複數據删除的運行性能。我們還討論了幾個開放問題，例如如何提供可靠、高性能的重複數據删除的存儲。我們的CFTDedup原型提供了一個平台來探討這些問題。 / Cloud storage is an emerging service model that enables individuals and enterprises to outsource the storage of data backups to remote cloud providers at a low cost. This thesis presents methods to ensure the data security and reliability of cloud backup systems. / In the first part of this thesis, we present FadeVersion, a secure cloud backup system that serves as a security layer on top of todays cloud storage services. FadeVersion follows the standard version-controlled backup design, which eliminates the storage of redundant data across different versions of backups. On top of this, FadeVersion applies cryptographic protection to data backups. Specifically, it enables ne-grained assured deletion, that is, cloud clients can assuredly delete particular backup versions or files on the cloud and make them permanently in accessible to anyone, while other versions that share the common data of the deleted versions or les will remain unaffected. We implement a proof-of-concept prototype of FadeVersion and conduct empirical evaluation atop Amazon S3. We show that FadeVersion only adds minimal performance overhead over a traditional cloud backup service that does not support assured deletion. / In the second part of this thesis, we present CFTDedup, a distributed proxy system designed for providing storage efficiency via deduplication in cloud storage, while ensuring crash fault tolerance among proxies. It synchronizes deduplication metadata among proxies to provide strong consistency. It also batches metadata updates to mitigate synchronization overhead. We implement a preliminary prototype of CFTDedup and evaluate via test bed experiments its runtime performance in deduplication storage for virtual machine images. We also discuss several open issues on how to provide reliable, high-performance deduplication storage. Our CFTDedup prototype provides a platform to explore such issues. / Detailed summary in vernacular field only. / Detailed summary in vernacular field only. / Detailed summary in vernacular field only. / Rahumed, Arthur. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2012. / Includes bibliographical references (leaves 47-51). / Abstracts also in Chinese. / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Cloud Based Backup and Assured Deletion --- p.1 / Chapter 1.2 --- Crash Fault Tolerance for Backup Systems with Deduplication --- p.4 / Chapter 1.3 --- Outline of Thesis --- p.6 / Chapter 2 --- Background and Related Work --- p.7 / Chapter 2.1 --- Deduplication --- p.7 / Chapter 2.2 --- Assured Deletion --- p.7 / Chapter 2.3 --- Policy Based Assured Deletion --- p.8 / Chapter 2.4 --- Convergent Encryption --- p.9 / Chapter 2.5 --- Cloud Based Backup Systems --- p.10 / Chapter 2.6 --- Fault Tolerant Deduplication Systems --- p.10 / Chapter 3 --- Design of FadeVersion --- p.12 / Chapter 3.1 --- Threat Model and Assumptions for Fade Version --- p.12 / Chapter 3.2 --- Motivation --- p.13 / Chapter 3.3 --- Main Idea --- p.14 / Chapter 3.4 --- Version Control --- p.14 / Chapter 3.5 --- Assured Deletion --- p.16 / Chapter 3.6 --- Assured Deletion for Multiple Policies --- p.18 / Chapter 3.7 --- Key Management --- p.19 / Chapter 4 --- Implementation of FadeVersion --- p.20 / Chapter 4.1 --- System Entities --- p.20 / Chapter 4.2 --- Metadata Format in FadeVersion --- p.22 / Chapter 5 --- Evaluation of FadeVersion --- p.24 / Chapter 5.1 --- Setup --- p.24 / Chapter 5.2 --- Backup/Restore Time --- p.26 / Chapter 5.3 --- Storage Space --- p.28 / Chapter 5.4 --- Monetary Cost --- p.29 / Chapter 5.5 --- Conclusions --- p.30 / Chapter 6 --- CFTDedup Design --- p.31 / Chapter 6.1 --- Failure Model --- p.31 / Chapter 6.2 --- System Overview --- p.32 / Chapter 6.3 --- Distributed Deduplication --- p.33 / Chapter 6.4 --- Crash Fault Tolerance --- p.35 / Chapter 6.5 --- Implementation --- p.36 / Chapter 7 --- Evaluation of CFTDedup --- p.37 / Chapter 7.1 --- Setup --- p.37 / Chapter 7.2 --- Experiment 1 (Archival) --- p.38 / Chapter 7.3 --- Experiment 2 (Restore) --- p.39 / Chapter 7.4 --- Experiment 3 (Recovery) --- p.40 / Chapter 7.5 --- Summary --- p.41 / Chapter 8 --- Future work and Conclusions of CFTDedup --- p.43 / Chapter 8.1 --- Future Work --- p.43 / Chapter 8.2 --- Conclusions --- p.44 / Chapter 9 --- Conclusion --- p.45 / Bibliography --- p.47

Os processos de cheias em bacias urbanas vêm sendo agravados devido a uma série de motivos associados à ocupação desordenada do solo urbano. As medidas de controle de enchentes podem ter sua eficiência analisada através da modelagem hidrológica matemática. É neste sentido que o presente trabalho analisa a influência da urbanização sobre os distúrbios no escoamento superficial, por meio de simulações de cenários urbanísticos propostos, com a finalidade de servir como ferramenta de planejamento urbano. Para isso, definiu-se como área de estudo, parte da bacia do Córrego do Gregório, São Carlos - SP. As principais informações da bacia a serem consideradas são: topografia, hidrografia, uso do solo urbano, expansão da área urbana, áreas de proteção ambiental e divisores de microbacias. O modelo hidrológico utilizado é o IPHS-1, do tipo concentrado. Para essa análise são propostos e simulados cenários urbanísticos, baseados na adoção de medidas de controle de inundações não-estruturais, referindo-se principalmente, à conservação de áreas verdes e disciplinamento do uso e ocupação do solo, verificando sua eficiência na redução do volume escoado e atenuação das vazões de pico. / The flooding processes in urban basins have become worse due to many reasons. All of them associated with the disorganized occupancy of the urban area land. The efficiency of flood mitigation measures can be analyzed by mathematical modeling. This study aims to be used as a tool for urban planning and it analyses the influence of the urbanization processes on surface runoff, using simulation of several urbanization scenarios. The case study was undertaken at the Gregório River Basin in São Carlos - SP. The main information considered was topography, hydrology, urban land use, urbanization, protected land and sub-basins. The software used was IPHS-1 which is a lumped hydrologic model. In this research many urbanization scenarios are proposed and simulated. These views are based in many nonstructural flood mitigation alternatives such as land cover conservation, use and occupancy of the land, in order to check their efficiency in reducing the total volume of surface runoff and the peak flow.