Modeling Seasonal and Weather Impacts on Cycling Count

Thesis (Master's)--University of Washington, 2016-06

PLACE AND URBAN EXPERIENCE IN THE SUBURBS: MICROSOFT’S CAMPUS LOCATION AND ITS LONG-TERM COMPETITIVENESS

Thesis (Master's)--University of Washington, 2016-06

Public Land for Affordable Housing: An Evaluation of a HALA Proposal in Seattle

Thesis (Master's)--University of Washington, 2016-06

Traffic-Related PM2.5 Air Pollution and Schools in Proximity to Major Roadways in Shanghai, China

Thesis (Master's)--University of Washington, 2016-06

A unique behavior of sub-critical hydrocarbon permeability in activated carbon at low pressures

In our study on sub-critical hydrocarbon permeation in activated carbon, a minimum in the total permeability (B-T) at low pressure has been observed for only long-chain hydrocarbons such as n-hexane and n-heptane. Such an observation suggests that the minimum appearance depends on the properties of permeating vapors as well as the porous medium. In this paper a permeation model is presented to explain the minimum behavior with the allowance of the collision-reflection factor in the Knudsen diffusivity to be a function of surface loading. Surface diffusion was found to be very significant compared to other transport mechanisms such as Knudsen diffusion and gaseous viscous flow at low pressures. Since the gaseous viscous flow contributes negligibly to the B, at low pressures, the minimum appearance in the B, is mainly attributed to the interplay between Knudsen diffusion and surface diffusion. Also, the molecular structure of adsorbates plays an important role in the minimum appearance.

Effects of adsorbed phase on diffusion of subcritical hydrocarbons in activated carbon at low pressures

Diffusions of free and adsorbed molecules of subcritical hydrocarbons in activated carbon were investigated to study the influence of adsorbed molecules on both diffusion processes at low pressures. A collision reflection factor, defined as the fraction of molecules undergoing collision to the solid surface over reflection from the surface, is incorporated into Knudsen diffusivity and surface diffusivity in meso/macropores. Since the porous structure of activated carbon is bimodal in nature, the diffusion of adsorbed molecules is contributed by that of weakly adsorbed molecules on the meso/macropore surfaces and that of strongly adsorbed molecules in the small confinement of micropores. The mobility of adsorbed molecules on the meso/macropore surface is characterized by the surface diffusivity D-mu 2, while that in the micropore is characterized by D-mu 1. In our study with subcritical hydrocarbons, we have found that the former increases almost linearly with pressure, while the latter exhibits a sharp increase at a very low-pressure region and then decreases beyond a critical pressure. This critical pressure is identified as a pressure at which the micropores are saturated.

Permeability of subcritical hydrocarbons in activated carbon

A new diffusion and flow model is presented to describe the behavior of hydrocarbon vapors in activated carbon. The micro/mesopore size distribution (PSD) is obtained according to Do's method which consists of two sequential processes of pore layering and pore filling. This model uses the micro/meso PSD obtained from each adsorbate equilibrium isotherm, which reflects the dynamics behavior of adsorbing molecules through the solid. The initial rise in total permeability is mainly attributed to adsorbed-phase diffusion (that is, surface diffusion), whereas the decrease over reduced pressure of about 0.9 is attributed to the reduction of pore space available for gas phase diffusion and flow. A functional form of surface diffusivity is proposed and validated with experimental data. This model predicts well the permeability of condensable hydrocarbon vapors in activated carbon. (C) 2005 American Institute of Chemical Engineers.

On the equilibrium and dynamic behavior of alcohol vapors in activated carbon

As alcohol molecules such as methanol and ethanol have both polar and non-polar groups, their adsorption behavior is governed by the contributions of dispersion interaction (alkyl group) and hydrogen bonding (OH group). In this paper, the adsorption behavior of alcohol molecules and its effect on transport processes are elucidated. From the total permeability (B-T) of alcohol molecules in activated carbon, an adsorption mechanism is proposed, describing well the experimental data, by taking combination effects of clustering, entering micropores, layering and pore filling processes. Unlike the case of non-polar compounds, it was found that at low pressures there are two rises in the BT of alcohol molecules in activated carbon. The first rise is due to the major contribution of surface diffusion to the transport (which is the case of non-polar molecules) and the second one may be associated with cluster formation at the edge of micropores and entering micropores when the clusters are sufficiently large enough to induce a dispersive energy. In addition the clusters formed may enhance surface diffusion at low pressures and hinder gas phase diffusion and flow in meso/macropores. (c) 2006 Elsevier Ltd. All fights reserved.

High-pressure adsorption of methane and carbon dioxide on coal

Adsorption isotherms of methane and carbon dioxide on two kinds of Australian coals have been measured at three temperatures up to pressures of 20 MPa. The adsorption behavior is described by three isotherm equations: extended three-parameter, Langmuir, and Toth. Among these, the Toth equation is found to be the most suitable, yielding the most realistic values of pore volume of the coals and the adsorbed phase density. Also, the surface area of coals obtained from CO2 adsorption at 273 K is found to be the meaningful parameter which captures the CO2 adsorption capacity. A maximum in the excess amount adsorbed of each gas appears at a lower pressure with a decrease in temperature. For carbon dioxide, after the appearance of the maximum, an inflection point in the excess amount adsorbed is observed close to the critical density at each temperature, indicating that the decrease in the gas-phase density change with pressure influences the behavior of the excess amount adsorbed. In the context of CO2 sequestration, it is found that CO2 injection pressures of lower than 10 MPa may be desirable for the CH4 recovery process and CO2-holding capacity.

Using integrated metamodeling to define OO design patterns with object-z and UML

Three important goals in describing software design patterns are: generality, precision, and understandability. To address these goals, this paper presents an integrated approach to specifying patterns using Object-Z and UML. To achieve the generality goal, we adopt a role-based metamodeling approach to define patterns. With this approach, each pattern is defined as a pattern role model. To achieve precision, we formalize role concepts using Object-Z (a role metamodel) and use these concepts to define patterns (pattern role models). To achieve understandability, we represent the role metamodel and pattern role models visually using UML. Our pattern role models provide a precise basis for pattern-based model transformations or refactoring approaches.

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

Testing java interrupts and timed waits

Testing concurrent software is difficult due to problems with inherent nondeterminism. In previous work, we have presented a method and tool support for the testing of concurrent Java components. In this paper, we extend that work by presenting and discussing techniques for testing Java thread interrupts and timed waits. Testing thread interrupts is important because every Java component that calls wait must have code dealing with these interrupts. For a component that uses interrupts and timed waits to provide its basic functionality, the ability to test these features is clearly even more important. We discuss the application of the techniques and tool support to one such component, which is a nontrivial implementation of the readers-writers problem.

Tool support for generating passive C++ test oracles from object-z specifications

A test oracle provides a means for determining whether an implementation behaves according to its specification. A passive test oracle checks that the correct behaviour has been implemented, but does not implement the behaviour itself. In previous work, we have presented a method that allows us to derive passive C++ test oracles from formal specifications written in Object-Z. We describe the "Warlock" prototype tool that supports the method. Warlock is built on top of an existing Object-Z type checker and generates oracle code for a substantial subset of the Object-Z language. We describe the architecture of Warlock and its application to a number of Object-Z specifications. We also discuss its current limitations.

Developing relational navigation to effectively understand software

Effective comprehension of complex software systems requires understanding of both the individual documents that represent software and the complex relationships that exist within and between documents. Relationships of all kinds play a vital role in a software engineer's comprehension of, and navigation within and between, software documents. User-determined relationships have the additional role of enabling the engineer to create and maintain relational documentation that cannot be generated by tools or derived from other relationships. We argue that for a software development environment to effectively support the understanding of complex software systems, relational navigation must be supported at both the document-focused (intra-document) and relation-focused (inter-document) levels. The need for a relation-focused approach is highlighted by an evaluation of an existing document-focused relational interface. We conclude with the requirements for a relation-focused approach to relational navigation. These requirements focus on the user's perspective when interacting with a collection of related documents. We define the requirements for a software development environment that effectively supports the understanding of the software documents and relationships that define a complex software system.

Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification

An inherent incomputability in the specification of a functional language extension that combines assertions with dynamic type checking is isolated in an explicit derivation from mathematical specifications. The combination of types and assertions (into "dynamic assertion-types" - DATs) is a significant issue since, because the two are congruent means for program correctness, benefit arises from their better integration in contrast to the harm resulting from their unnecessary separation. However, projecting the "set membership" view of assertion-checking into dynamic types results in some incomputable combinations. Refinement of the specification of DAT checking into an implementation by rigorous application of mathematical identities becomes feasible through the addition of a "best-approximate" pseudo-equality that isolates the incomputable component of the specification. This formal treatment leads to an improved, more maintainable outcome with further development potential.