Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Portland State University

2007

Discipline
Keyword
Publication
Publication Type

Articles 61 - 71 of 71

Full-Text Articles in Physical Sciences and Mathematics

Using Building Energy Simulation And Geospatial Modeling Techniques In Determine High Resolution Building Sector Energy Consumption Profiles, Shem C. Heiple Jan 2007

Using Building Energy Simulation And Geospatial Modeling Techniques In Determine High Resolution Building Sector Energy Consumption Profiles, Shem C. Heiple

Dissertations and Theses

A technique is presented for estimating hourly and seasonal energy consumption profiles in the building sector at spatial scales down to the individual taxlot or parcel. The method combines annual building energy simulations for cityspecific prototypical buildings and commonly available geospatial data in a Geographical Information System (GIS) framework. Hourly results can be extracted for any day and exported as a raster output at spatial scales as fine as an individual parcel (

Go to article

Why Don’T People Use Refactoring Tools?, Andrew P. Black, Emerson Murphy-Hill Jan 2007

Why Don’T People Use Refactoring Tools?, Andrew P. Black, Emerson Murphy-Hill

Computer Science Faculty Publications and Presentations

Tools that perform refactoring are currently under-utilized by programmers. As more advanced refactoring tools are designed, a great chasm widens between how the tools must be used and how programmers want to use them. In this position paper, we characterize the dominant process of refactoring, demonstrate that many research tools do not support this process, and initiate a call to action for designers of future refactoring tools.

Go to article

Cache Coherence Protocol Verification Using Ωmega, Ki Yung Ahn Jan 2007

Cache Coherence Protocol Verification Using Ωmega, Ki Yung Ahn

Computer Science Faculty Publications and Presentations

We verify some correctness properties of the DASH cache coherence protocol using Ωmega. Ωmega is a language with a rich type system featuring GADTs, type functions, and user-guided type checking rules. Cache coherence protocols have both safety properties and liveness properties. We show how to describe some of the safety properties of DASH cache coherence protocol in mega. Since liveness properties are not easily expressed by types, we investigate invariants sufficient to imply some of the liveness properties of concern, and assert those invariants as well in the type system of Ωmega. Using Ωmega, we can have both a working …

Go to article

Protecting The Internet With Public Work, Ed Kaiser, Wu-Chang Feng Jan 2007

Protecting The Internet With Public Work, Ed Kaiser, Wu-Chang Feng

Computer Science Faculty Publications and Presentations

Distributed denial-of-service attacks represent a growing problem for networked systems. To tackle this problem, this paper explores the addition of a public work function to the service advertisement mechanisms used by such systems. When under attack, services advertise this function along with their location information and clients must attach a solution to the function with subsequent requests. The function, which can be made specific to the source of traffic, is publicly verifiable, allowing arbitrary network devices at the edges of the network to quickly verify that subsequent communication from the source will be accepted by the destination. We describe a …

Go to article

Directflow: A Domain-Specific Language For Information-Flow Systems, Andrew P. Black, Chuan-Kai Lin Jan 2007

Directflow: A Domain-Specific Language For Information-Flow Systems, Andrew P. Black, Chuan-Kai Lin

Computer Science Faculty Publications and Presentations

Programs that process streams of information are commonly built by assembling reusable information-flow components. In some systems the components must be chosen from a pre-defined set of primitives; in others the programmer can create new custom components using a general-purpose programming language. Neither approach is ideal: restricting programmers to a set of primitive components limits the expressivity of the system, while allowing programmers to define new components in a general-purpose language makes it difficult or impossible to reason about the composite system. We advocate defining information-flow components in a domain-specific language (DSL) that enables us to infer the properties of …

Go to article

Modular Polyketide Synthases And Cis Double Bond Formation:  Establishment Of Activated Cis-3-Cyclohexylpropenoic Acid As The Diketide Intermediate In Phoslactomycin Biosynthesis, Mamoun M. Alhamadsheh, Nadaraj Palaniappan, Suparna Daschouduri, Kevin A. Reynolds Jan 2007

Modular Polyketide Synthases And Cis Double Bond Formation:  Establishment Of Activated Cis-3-Cyclohexylpropenoic Acid As The Diketide Intermediate In Phoslactomycin Biosynthesis, Mamoun M. Alhamadsheh, Nadaraj Palaniappan, Suparna Daschouduri, Kevin A. Reynolds

Chemistry Faculty Publications and Presentations

The majority of modular polyketide synthase (PKS) systems which generate unsaturated products do so with trans double bonds. Phoslactomycin B (PLM B) presents a class of antitumor and antiviral natural polyketide products that have unique structural features, including a linear unsaturated backbone with one trans and three cis double bonds. There is substantial evidence that trans double bonds are established by ketoreductase-dehydratase (KR-DH) didomains within a PKS module. In cases where modules containing these didomains appear to generate product containing a cis double bond there is no experimental evidence to determine if they do so directly, or if they also …

Go to article

Locally Conservative Fluxes For The Continuous Galerkin Method, Bernardo Cockburn, Jay Gopalakrishnan, Haiying Wang Jan 2007

Locally Conservative Fluxes For The Continuous Galerkin Method, Bernardo Cockburn, Jay Gopalakrishnan, Haiying Wang

Mathematics and Statistics Faculty Publications and Presentations

The standard continuous Galerkin (CG) finite element method for second order elliptic problems suffers from its inability to provide conservative flux approximations, a much needed quantity in many applications. We show how to overcome this shortcoming by using a two step postprocessing. The first step is the computation of a numerical flux trace defined on element inter- faces and is motivated by the structure of the numerical traces of discontinuous Galerkin methods. This computation is non-local in that it requires the solution of a symmetric positive definite system, but the system is well conditioned independently of mesh size, so it …

Go to article

Stochastic Comparisons Of Parallel Systems When Component Have Proportional Hazard Rates, Subhash C. Kochar, Maochao Xu Jan 2007

Stochastic Comparisons Of Parallel Systems When Component Have Proportional Hazard Rates, Subhash C. Kochar, Maochao Xu

Mathematics and Statistics Faculty Publications and Presentations

Let Χ1, … Χn be independent random variables with Χᵢ having survival function Fλᵢ, i=1, … , n, and let Y₁, … , Yn be a random sample with common population survival distribution Fλ, where λ = Σᵢ=₁nλᵢl n. Let Χn:n and Yn:n denote the lifetimes of the parallel systems consisting of these components, respectively. It is shown that Xn:n is greater than Yn:n in terms of likelihood ratio order. It is also proved that the sample range Χn:n - Χ₁:n is larger than Yn n:n - Y₁:n according to reverse hazard rate ordering. These two results …

Go to article

Some Recent Results On Stochastic Comparisons And Dependence Among Order Statistics In The Case Of Phr Model, Subhash C. Kochar, Maochao Xu Jan 2007

Some Recent Results On Stochastic Comparisons And Dependence Among Order Statistics In The Case Of Phr Model, Subhash C. Kochar, Maochao Xu

Mathematics and Statistics Faculty Publications and Presentations

This paper reviews some recent results on stochastic orders and dependence among order statistics when the observations are independent and follow the proportional hazard rates model.

Go to article

The Topology Of Surface Mediatrices, James Bernhard, J. J. P. Veerman Jan 2007

The Topology Of Surface Mediatrices, James Bernhard, J. J. P. Veerman

Mathematics and Statistics Faculty Publications and Presentations

Given a pair of distinct points p and q in a metric space with distance d, the mediatrix is the set of points x such that d(x,p)=d(x,q). In this paper, we examine the topological structure of mediatrices in connected, compact, closed 2-manifolds whose distance function is inherited from a Riemannian metric. We determine that such mediatrices are, up to homeomorphism, finite, closed simplicial 1-complexes with an even number of incipient edges emanating from each vertex. Using this and results from [J.J.P. Veerman, J. Bernhard, Minimally separating sets, mediatrices and Brillouin spaces, Topology Appl., in press], we give the classification …

Go to article

Probing Reactivity And Substrate Specificity Of Both Subunits Of The Dimeric Mycobacterium Tuberculosis Fabh Using Alkyl-Coa Disulfide Inhibitors And Acyl-Coa Substrates, Sarbjot Sachdeva, Faik Musayev, Mamoun M. Alhamadsheh, J. Neel Scarsdale, H. Tonie Wright, Kevin A. Reynolds Jan 2007

Probing Reactivity And Substrate Specificity Of Both Subunits Of The Dimeric Mycobacterium Tuberculosis Fabh Using Alkyl-Coa Disulfide Inhibitors And Acyl-Coa Substrates, Sarbjot Sachdeva, Faik Musayev, Mamoun M. Alhamadsheh, J. Neel Scarsdale, H. Tonie Wright, Kevin A. Reynolds

Chemistry Faculty Publications and Presentations

The dimeric Mycobacterium tuberculosis FabH (mtFabH) catalyses a Claisen-type condensation between an acyl-CoA and malonyl-acyl carrier protein (ACP) to initiate the Type II fatty acid synthase cycle. To analyze the initial covalent acylation of mtFabH with acyl-CoA, we challenged it with mixture of C6-C20 acyl-CoAs and the ESI-MS analysis showed reaction at both subunits and a strict specificity for C12 acyl CoA. Crystallographic and ESI-MS studies of mtFabH with a decyl-CoA disulfide inhibitor revealed a decyl chain bound in acyl-binding channels of both subunits through disulfide linkage to the active site cysteine. These data provide the first unequivocal evidence that …

Go to article

First Prev