No description available.

This project proposes a new urban aquifer strategy that utilizes stormwater to create a cascading plaza and an improved 'great street' in Washington DC. A system of urban aquifers is developed beneath the surface of the street, perched atop the compacted, impermeable soils below. This set of aquifers prevents stormwater from entering the existing combined sewer and allows trees to draw water from this new groundwater source and develop expansive root systems. On the surface, stormwater flows through interconnected planters where it irrigates and is filtered by vegetation before infiltrating to recharge the aquifer. At Cascade Plaza, sloping topography intersects the aquifer, and the new groundwater seeps out of the plaza steps, turning them into a miniature cascade, by gravity and water pressure alone. It collects in a web of runnels, pools at the lowest point, and overflows in high water, mysteriously disappearing below ground again to fill an underground reservoir. In this unique ecological system, water flows both above and below ground to mitigate excess stormwater and make the street and plaza more beautiful. / Master of Landscape Architecture

I study sequent calculus of combined logics in this thesis. Two specific logics are looked at-Logic BI that combines intuitionistic logic and multiplicative intuitionistic linear logic and Logic BBI that combines classical logic and multiplicative linear logic. A proof-theoretical study into logical combinations themsel ves then follows. To consolidate intuition about what this thesis is all about, let us suppose that we know about two different logics, Logic A developed for reasoning about Purpose A and Logic B developed for reasoning about Purpose B. Logic A serves Purpose A very well, but not Purpose B. Logic B serves Purpose B very well but not Purpose A. We wish to fulfill both Purpose A and Purpose B, but presently we can only afford to let one logic guide through our reasoning. What shall we do? One option is to be content with having Logic A with which we handle Purpose A efficiently and Purpose B rather inefficiently. Another option is to choose Logic B instead. But there is yet another option: we combine Logic A and Logic B to derive a new logic Logic C which is still one logic but which serves both Purpose A and Purpose B efficiently. The combined logic is synthetic of the strengths in more basic logics (Logic A and Logic B). As it nicely takes care of our requirements, it may be the best choice among all that have been so far considered. Yet this is not the end of the story. Depending on the manner Logic A and Logic B combine, Logic C may have extensions serving more purposes than just Purpose A and Purpose B. Ensuing is the following problem: we know about Logic A and Logic B, but we may not know about combined logics of the base logics. To understand the combined logics, we need to understand the extensions in which base logics interact each other. Analysis on the interesting parts tends to be non-trivial, however. The mentioned two specific combined logics BI and BBI do not make an exception, for which proof-theoretical development has been particularly slow. It has remained in obscurity how to properly handle base-logic interactions of the combined logics as appearing syntactically. As one objective of this thesis, I provide analysis on the syntactic phenomena of the BI and BBI base-logic interactions within sequent calculus, to augment the knowledge. For BI, I deliver, through appropriate methodologies to reason about the syntactic phenomena of the base-logic interactions, the first BI sequent calculus free of any structural rules. Given its positive consequence to efficient proof searches, this is a significant step forward in further maturity of BI proof theory. Based on the calculus, I prove decidability of a fragment of BI purely syntactically. For BBI which is closely connected to application via separation logic, I develop adequate sequent calculus conventions and consider the implication of the underlying semantics onto syntax. Sound BBI sequent calculi result with a closer syntax-semantics correspondence than previously envisaged. From them, adaptation to separation logic is also considered. To promote the knowledge of combined logics in general within computer science, it is also important that we be able to study logical combinations themselves. Towards this direction of generalisation, I present the concept of phased sequent calculus - sequent calculus which physically separates base logics, and in which a specific manner of logical combination to take place between them can be actually developed and analysed. For a demonstration, the said decidable BI fragment is formulated in phased sequent calculus, and the sense of logical combination in effect is analysed. A decision procedure is presented for the fragment.

Master of Science / Department of Architectural Engineering and Construction Science / Fred Hasler / Data center space and power densities are increasing as today’s society becomes more dependent on computer systems for processing and storing data. Most existing data centers were designed with a power density between 40 and 70 watts per square foot (W/SF), while new facilities require up to 200W/SF. Because increased power loads, and consequently cooling loads, are unable to be met in existing facilities, new data centers need to be built. Building new data centers gives owners the opportunity to explore more energy efficient options in order to reduce costs. Fuel cells are such an option, opposed to the typical electric grid connection with UPS and generator for backup power. Fuel cells are able to supply primary power with backup power provided by generators and/or the electric grid. Secondary power could also be supplied to servers from rack mounted fuel cells. Another application that can benefit from fuel cells is the HVAC system. Steam or high-temperature water generated from the fuel cell can serve absorption chillers for a combined heat and power (CHP) system. Using the waste heat for a CHP system, the efficiency of a fuel cell system can reach up to 90%. Supplying power alone, a fuel cell is between 35 and 60% efficient. Data centers are an ideal candidate for a CHP application since they have constant power and cooling loads. Fuel cells are a relatively new technology to be applied to commercial buildings. They offer a number of advantages, such as low emissions, quiet operation, and high reliability. The drawbacks of a fuel cell system include high initial cost, limited lifetime of the fuel cell stacks, and a relatively unknown failure mode. Advances in engineering and materials used, as well as higher production levels, need to occur for prices to decrease. However, there are several incentive programs that can decrease the initial investment. With a prediction that nearly 75% of all 10 year old data centers will need to be replaced, it is recommended that electrical and HVAC designer engineers become knowledgeable about fuel cells and how they can be applied to these high demand facilities.

This thesis presents experimental work and numerical analysis that has been undertaken to assess the bearing capacity of perforated offshore foundations. Perforated foundations may be used to support subsea infrastructure, including as mudmats into which a number of perforations have been made, or as grillages which consist of a series of structurally connected strip footings. Larger gravity base foundations, such as for offshore wind turbines or oil and gas platforms, may adopt a single central perforation. The advantages of using perforated foundations can include reduced material requirements and easier offshore handling as a result of smaller weight and lower hydrodynamic forces during deployment. Limited guidance currently exists for assessing the bearing capacity of these foundation types. Bearing capacity of perforated foundations has been examined in this thesis under conditions of combined vertical, horizontal and moment loading which is typical in offshore settings. Undrained soil conditions have been considered, except for the case of grillages in which drained conditions are often most relevant. Experimental work has included centrifuge testing of ring and square annular foundations on clay, and 1g testing of grillage foundations on sand. Finite element modelling has also been undertaken to assess perforated foundation capacity. A Tresca material subroutine (UMAT) and an adaptive meshing scheme have been developed to improve the accuracy of the finite element analysis carried out. The results showed that perforated foundations can be an efficient foundation solution for accommodating combined loading. As a ratio of their vertical load capacity, perforated foundations may be able to withstand higher moment and horizontal loads compared with unperforated foundations. The experimental and numerical results have been used to develop design expressions that could be employed by practitioners to estimate the vertical and combined load bearing capacity of these foundation types.

International Telemetering Conference Proceedings / October 22-25, 2001 / Riviera Hotel and Convention Center, Las Vegas, Nevada / This paper introduces two transponders combining coherent transponding and non-coherent transponding for multistatic trajectory measurement system and carrier Doppler frequency extraction principle, then derives each model of the velocity error for noise. The expressions of velocity error resulted by noise in coherent, IF-modulated and IF transform transponding configurations are also described. The conclusion is drawn: the system velocity error for noise is related to the transponder transponding configuration. And, the velocity error in coherent, IF-modulated and IF transform transponding configurations are compared in this paper.

Fossil fuels continue to deplete with use as they are irreplaceable. In addition, the environmental impact with the continuous use of these conventional fuels has generated global concern due to the production of harmful emission gases. An alternative source of energy has become inevitable. Technological advancements in the area of biomass use for both aviation and power generation are at different levels of development. There is however the need for an integrated approach to assess gas turbine engine behaviour in terms of performance, emission and economics when they are running on biofuels. The current research work is concerned with finding alternative fuel resources for use on stationary gas turbine engines for power generation with the necessary identification of suitable biofuels using a multidisciplinary approach. A techno-economic, environmental and risk assessment (TERA) model comprising the performance, emissions, economics and risk modules has been developed. There had been several simulations of two gas turbine engines (GTEs) to ascertain the effects of both ambient and operating conditions and the effect of fuel types on the engines. These simulations were done with the use of an in-house code-the Turbomatch and a code developed for the steam cycle which is employed for the combined cycle simulation. Cont/d.

<p>Biomass is one of the main natural resources in Sweden.Increased utilisation of biomass for energy purposes incombined heat and power (CHP) plants can help the country meetits nuclear phase-out commitment. The present low-CO2 emissioncharacteristics of the Swedish electricity production system(governed by hydropower and nuclear power) can be retained onlyby expansion of biofuels in the CHP sector. Domestic Swedishbiomass resources are vast and renewable, but not infinite.They should be utilised as efficiently as possible in order tomeet the conditions for sustainability in the future.Application of efficient power generation cycles at low cost isessential for meeting this challenge. This applies also tomunicipal solid waste (MSW) incineration with energyextraction, which is to be preferred to landfilling.</p><p>Modern gas turbines and internal combustion engines firedwith natural gas have comparatively low installation costs,good efficiency characteristics and show reliable performancein power applications. Environmental and source-of-supplyfactors place natural gas at a disadvantage as compared tobiofuels. However, from a rational perspective, the use ofnatural gas (being the least polluting fossil fuel) togetherwith biofuels contributes to a diverse and more secure resourcemix. The question then arises if both these fuels can beutilised more efficiently if they are employed at the samelocation, in one combined cycle unit.</p><p>The work presented herein concentrates on the hybriddual-fuel combined cycle concept in cold-condensing and CHPmode, with a biofuel-fired bottoming steam cycle and naturalgas fired topping gas turbine or engine. Higher electricalefficiency attributable to both fuels is sought, while keepingthe impact on environment at a low level and incorporating onlyproven technology with standard components. The study attemptsto perform a generalized and systematic evaluation of thethermodynamic advantages of various hybrid configurations withthe help of computer simulations, comparing the efficiencyresults to clearly defined reference values.</p><p>Results show that the electrical efficiency of hybridconfigurations rises with up to 3-5 %-points in cold-condensingmode (up to 3 %-points in CHP mode), compared to the sum of twosingle-fuel reference units at the relevant scales, dependingon type of arrangement and type of bottoming fuel. Electricalefficiency of utilisation of the bottoming fuel (biomass orMSW) within the overall hybrid configuration can increase withup to 8-10 %-points, if all benefits from the thermalintegration are assigned to the bottoming cycle and effects ofscale on the reference electrical efficiency are accounted for.All fully-fired (windbox) configurations show advantages of upto 4 %-points in total efficiency in CHP mode with districtheating output, when flue gas condensation is applied. Theadvantages of parallel-powered configurations in terms of totalefficiency in CHP mode are only marginal. Emissions offossil-based CO2 can be reduced with 20 to 40 kg CO2/MWhel incold-condensing mode and with 5-8 kg CO2 per MWh total outputin CHP mode at the optimum performance points.</p><p>Keywords: Biomass, Municipal Solid Waste (MSW), Natural Gas,Simulation, Hybrid, Combined Cycle, Gas Turbine, InternalCombustion Engine, Utilization, Electrical Efficiency, TotalEfficiency, CHP.</p>

Natural gas has become the UK’s foremost primary energy source, providing some 39% of our energy needs. The National Transmission System (NTS) has developed from its humble beginnings when natural gas was first discovered in the North Sea in the 1960s to become a complex interconnected network delivering up to 550 million cubic meters of gas daily. Gas has also become an increasingly important energy source for power generation, currently generating 35% of our electricity. This presents major challenges for the planning and operation of both the electricity and gas networks as their interdependence grows into the future. With the government’s goal of drastically reducing emissions from power generation by 2020, Combined Cycle Gas Turbine units, and therefore the NTS, will have to offer a new degree of flexibility to quickly respond to the intermittency of the growing penetration of wind generation on the electricity transmission system. Coupling this with the decline in the UK natural gas resources resulting in the NTS becoming reliant on imports to meet demand, it is becoming increasingly difficult to decouple the security of the gas supply from the security of the electricity supply in the UK. This study presents the modelling challenge of assessing this growing interaction and provides a robust methodology for completing a security analysis using detailed network models of the UK gas and electricity transmission systems. A thorough investigation of the intraday operation of the two systems in 2020 is presented given the growth of wind generation in the UK. The results are analysed and the implications for combined modelling and assessment are discussed as we enter a new era for UK energy security.

Research on college student use of caffeine combined with alcohol (CAC) and public health concern over such use has been hampered by the absence of psychometrically sound measures of caffeine and CAC use. The present study examined agreement between survey (CAS) and interview (TLFB) methods for collecting data on caffeine, alcohol and CAC use. Participants were N=50 college students randomized to complete CAS followed by TLFB or the reverse. Qualitative follow-up interviews with N=15 participants were used to identify factors contributing to CAS-TLFB discrepancies. Responses varied by method of administration, with largest discrepancy magnitudes found for CAC, followed by caffeine, then alcohol use. Rates of reporting use by only one method were highest for CAC (65.5%). Lack of knowledge about caffeine was common, with over half (56%) having at least one caffeine misreport. Largest discrepancies were found for CAC use, an area of public health concern, particularly among college students.