Digital Commons Network^™

Semi-Modular Delay Model Revisited In Context Of Relative Timing, Hoon Park, Anping He, Marly Roncken, Xiaoyu Song

Electrical and Computer Engineering Faculty Publications and Presentations

A new definition of semi-modularity to accommodate relative timing constraints in self-timed circuits is presented. While previous definitions ignore such constraints, the new definition takes them into account. The difference on a design solution for a well-known speed-independent circuit implementation of the Muller C element and a set of relative timing constraints that renders the implementation hazard free is illustrated. The old definition produces a false semi-modularity conflict that cannot exist due to the set of imposed constraints. The new definition correctly accepts the solution.

Hidden Formaldehyde In E-Cigarette Aerosols, R. Paul Jensen, Wentai Luo, James F. Pankow, Robert M. Strongin, David H. Peyton

Chemistry Faculty Publications and Presentations

This letter reports a chemical analysis of vapor from electronic cigarettes that shows high levels of formaldehyde, a known carcinogen. The authors project that the associated incremental lifetime risk of cancer could be higher than that from long-term smoking.

Pdxscholar Annual Report 2014, Karen Bjork, Sherry Buchanan, David Coate, Bertrand Robinson, Stacey Schlatter

Library Faculty and Staff Publications and Presentations

This report details the fourth year of operation for PDXScholar, Portland State University's institutional repository. The report covers the period between January 1, 2014 and December 31, 2014.

Class Of Unambiguous State Discrimination Problems Achievable By Separable Measurements But Impossible By Local Operations And Classical Communication, Scott M. Cohen

Physics Faculty Publications and Presentations

We consider an infinite class of unambiguous quantum state discrimination problems on multipartite systems, described by Hilbert space H, of any number of parties. Restricting consideration to measurements that act only on H, we find the optimal global measurement for each element of this class, achieving the maximum possible success probability of 1/2 in all cases. This measurement turns out to be both separable and unique, and by our recently discovered necessary condition for local quantum operations and classical communication (LOCC) it is easily shown to be impossible by any finite-round LOCC protocol. We also show that, quite generally, if …

Monomials And Basin Cylinders For Network Dynamics, Daniel Austin, Ian H. Dinwoodie

Mathematics and Statistics Faculty Publications and Presentations

We describe methods to identify cylinder sets inside a basin of attraction for Boolean dynamics of biological networks. Such sets are used for designing regulatory interventions that make the system evolve towards a chosen attractor, for example initiating apoptosis in a cancer cell. We describe two algebraic methods for identifying cylinders inside a basin of attraction, one based on the Groebner fan that finds monomials that define cylinders and the other on primary decomposition. Both methods are applied to current examples of gene networks.

Sensible Air To Air Heat Recovery Strategies In A Passive House, Santiago Martin Rodriguez-Anderson

Dissertations and Theses

Due to rising energy costs and concerns about global climate change, high performance buildings are more in demand than ever before. With roughly 20% of the total energy consumption in the United States being devoted to residential use, this sector represents a significant opportunity for future savings. There are many guidelines and standards for reducing building energy consumption. One of the most stringent is the Passive House Standard. The standard requires that that air infiltration is less than or equal to 0.6 air changes per hour at a 50 Pascal pressure difference (ACH 50), annual heating energy is less than …

Static Conflict Detection For A Policy Language, Alix Trou, Robert Dockins, Andrew Tolmach

Computer Science Faculty Publications and Presentations

We present a static control flow analysis used in the Simple Unified Policy Programming Language (SUPPL) compiler to detect internally inconsistent policies. For example, an access control policy can decide to both “allow” and “deny” access for a user; such an inconsistency is called a conflict. Policies in Suppl. follow the Event-Condition-Action paradigm; predicates are used to model conditions and event handlers are written in an imperative way. The analysis is twofold; it first computes a superset of all conflicts by looking for a combination of actions in the event handlers that might violate a user-supplied definition of conflicts. SMT …

Enzymatic Control Of The Related Pathways Of Fatty Acid And Undecylprodiginine Biosynthesis In Streptomyces Coelicolor, Renu Singh

Dissertations and Theses

Streptomyces coelicolor produces fatty acids for both primary metabolism and for production of the components of natural products such as undecylprodiginine. Primary metabolism makes the longer and predominantly branched-chain fatty acids, while undecylprodiginine utilizes shorter and almost exclusively straight chain fatty acids. The first step in fatty acid biosynthetic process is catalyzed by FabH (β-ketoacyl synthase III), which catalyzes a decarboxylative condensation of an acyl-CoA primer with malonyl-acyl carrier protein (ACP). The resulting 3-ketoacyl-ACP product is reduced by NADPH-dependent FabG into 3-hydroxyacyl-ACP, which is dehydrated by FabA to form enoyl-ACP. The NADH-dependent FabI (InhA) completes the cycle. Subsequent rounds of …

Putting Impact First: Community-University Partnerships To Advance Authentic Neighborhood Sustainability, Michelle L. Holliday, Tony Defalco, Jacob Sherman

Institute for Sustainable Solutions Publications and Presentations

This article profiles a partnership between the Living Cully ecodistrict and Portland State University’s Sustainable Neighborhoods Initiative. The case studies presented in this article explore how Living Cully leveraged PSU assets to advance their goals, highlighting successes and lessons learned. This article also addresses how the partnership was formed, what makes the partnership innovative, the role of interdisciplinary/intercommunity organizational strategies, and how the community partner commits to urban sustainability and social justice.

An Introduction To The Loop Analysis Of Qualitatively Specified Complex Causal Systems, Alexis Dinno

Community Health Faculty Publications and Presentations

This presentation introduces the loop analysis method.

Strengthening The Resiliency Of Dryland Forest-Based Livelihoods In Ethiopia And South Sudan: A Review Of Literature On The Interaction Between Dryland Forests, Livelihoods And Forest Governance, Steven Lawry, Rebecca J. Mclain, Habtemariam Kassa

Institute for Sustainable Solutions Publications and Presentations

Dry forests account for nearly half of the world’s tropical and subtropical forests and provide a multitude of ecological services. They contribute to hydrological cycles and livestock and wildlife provisioning; and host pollinators and wild plants. They are also important ecological zones for dryland agriculture and pastoral livelihood strategies that support hundreds of millions of people around the world. Dry forests cover large areas and their biomass stores carbon and helps mitigate climate change. Dry forests are particularly important to people in Africa. They provide wood for construction and energy, contribute to local diets with wild fruits, vegetables, nuts, edible …

Analyzing Free-Base Nicotine Content In The Particulate Matter Of Mainstream Tobacco Smoke Using A Headpace Solid-Phase Microextraction Gc/Ms Method, Christopher S. Motti

Civil and Environmental Engineering Master's Project Reports

The acid/base chemistry of cigarette smoke allows nicotine, the primary drug in mainstream tobacco smoke, to exist in protonated and free-base forms. Evidence suggests that most of the nicotine present in mainstream tobacco smoke is in the particle phase. α_fb is the fraction of particle-phase nicotine in the free-base form. The magnitude and rate of nicotine deposition in the respiratory tract is dependent on α_fb because only the free-base form of nicotine can volatilize from the particle phase of an inhaled aerosol and, once gaseous, rapidly deposit. This study develops a headspace solid-phase microextraction technique coupled with gas …

Discourses Of Deflection: The Politics Of Framing China’S South North Water Transfer Project, Britt Crow-Miller

Geography Faculty Publications and Presentations

Despite significant financial, ecological and social trade-offs, China has moved forward with constructing and operationalising the world’s largest interbasin water transfer project to date, the South-North Water Transfer Project (SNWTP). While it is fundamentally linked to broader political-economic goals within the context of China’s post-Mao development agenda, the SNWTP is frequently discussed in apolitical terms. Based on extensive discourse analysis and interviews with government officials across North China, I argue that the Chinese government is using "discourses of deflection" to present the project as politically neutral in order to serve its ultimate goal of maintaining the high economic growth rates …

Unit Plan: Examining The Struggle For An Equitable Education System In Portland, Oregon, Melinda Gale, Oliver Brown

African American History in Oregon: Lesson Plans

This unit is designed for five 90 minute periods in US history or African American history.

Using an array of primary sources, as well as select secondary texts, students will investigate the history of segregation, desegregation, and multicultural school reforms in Portland, Oregon. The unit will explore the relationship between local community organizations and Portland Public Schools, having students evaluate the effectiveness of both groups in terms of school reform. In the culminating project students will create a three-minute policy proposal that they present as testimony in a Portland Public Schools Board meeting.

Infrared Radiography: Modeling X-Ray Imaging Without Harmful Radiation, Otto Zietz, Elliot E. Mylott, Ralf Widenhorn

Physics Faculty Publications and Presentations

Planar x-ray imaging is a ubiquitous diagnostic tool and is routinely performed to diagnose conditions as varied as bone fractures and pneumonia. The underlying principle is that the varying attenuation coefficients of air, water, tissue, bone, or metal implants within the body result in non-uniform transmission of x-ray radiation. Through the detection of transmitted radiation, the spatial organization and composition of materials in the body can be ascertained. In this paper, we describe an original apparatus that teaches these concepts by utilizing near infrared radiation and an up-converting phosphorescent screen to safely probe the contents of an opaque enclosure.

Curriculum Change 2015-2016, Portland State University

Bulletin & Curriculum Change Documents

No abstract provided.

Whose Urban Forest? The Political Ecology Of Foraging Urban Nontimber Forest Products, Patrick T. Hurley, Marla R. Emery, Rebecca J. Mclain, Melissa R. Poe, Brain Grabbatin, Cari L. Goetcheus

Institute for Sustainable Solutions Publications and Presentations

Drawing on case studies of foraging in Philadelphia, Pennsylvania and Mt. Pleasant, South Carolina, we point to foraging landscapes and practices within diverse urban forest spaces. We examine these spaces in relation to U.S. conservation and development processes and the effects of management and governance on species valued by foragers. These case studies reveal the everyday landscapes of urban foraging and suggest that ideas about what constitutes the suite of appropriate human-environment interactions in the sustainable city are contested and accommodated in diverse ways.

Workshop Synthesis: Sampling Issues, Data Quality & Data Protection, Jimmy Armoogum, Jennifer Dill

Urban Studies and Planning Faculty Publications and Presentations

This workshop discussed various aspect of the mathematical part of survey methodology, as well as archiving and confidentiality issues aimed at improving data quality and its use through time. Participants identified ways to correct or minimize bias by dealing with incomplete sampling frames, using weighing and imputing procedures. We discussed methods to archive and share GPS-based survey data to preserve anonymity. Finally, we debated research needs on these topics for the next following years.

Initial Evaluations Of A U.S. Navy Rapidly Relocatable Gulf Of Mexico/Caribbean Ocean Forecast System In The Context Of The Deepwater Horizon Oil Spill Disaster, Edward D. Zaron, Patrick J. Fitzpatrick, Scott L. Cross, John M. Harding, Frank L. Bub, Jerry D. Wiggert, Dong S. Ko, Yee Lau, Katharine Woodward, Christopher N.K. Mooers

Civil and Environmental Engineering Faculty Publications and Presentations

In response to the Deepwater Horizon (DwH) oil spill event in 2010, the Naval Oceanographic Office deployed a nowcast-forecast system covering the Gulf of Mexico and adjacent Caribbean Sea that was designated Americas Seas, or AMSEAS, which is documented in this manuscript. The DwH disaster provided a challenge to the application of available ocean-forecast capabilities, and also generated a historically large observational dataset. AMSEAS was evaluated by four complementary efforts, each with somewhat different aims and approaches: a university research consortium within an Integrated Ocean Observing System (IOOS) testbed; a petroleum industry consortium, the Gulf of Mexico 3-D Operational Ocean …

A Level-Of-Service Model For Protected Bike Lanes, Nick Foster, Christopher Monsere, Jennifer Dill, Kelly Clifton

Civil and Environmental Engineering Faculty Publications and Presentations

Several methods exist for quantifying the quality of service provided by a roadway from a bicyclist’s perspective; however, many of these models do not consider physically protected bike lanes and, of those that do, none is based on empirical data from the US. This is problematic as engineers, planners, and elected officials are increasingly looking to objective performance measures to help guide transportation project design and funding prioritization decisions. This paper addresses this gap by presenting a cumulative logistic model to predict user comfort on protected bike lanes developed from data collected during in-person video surveys. The surveys were conducted …

Dynamic Ventilation And Power Output Of Urban Bicyclists, Alexander Y. Bigazzi, Miguel A. Figliozzi

Civil and Environmental Engineering Faculty Publications and Presentations

Bicyclist intake of air pollutants is linked to physical exertion levels, ventilation rates, and exposure concentrations. Whereas exposure concentrations have been widely studied in transportation environments, there is relatively scant research linking on-road ventilation with travel conditions and exertion levels. This paper investigates relationships among power output, heart rate, and ventilation rate for urban bicyclists. Heart rate and ventilation rate were measured on-road and combined with power output estimates from a bicycle power model. Dynamic ventilation rates increased by 0.4-0.8% per watt of power output, with a mean lag of 0.8 minutes. The use of physiology (ventilation) monitoring straps and …

The Migration Of Bibliographic Methodology, Zachary Thomas Eggemeyer

Book Publishing Final Research Papers

This paper will examine the bibliographic methodology used by book historians to detect a print forgery, and it will attempt to show those same methodologies can be applied to digital documents by digital humanities scholars to uncover digital forgeries. To accomplish this it will be necessary to examine a known case of forgery and detail the exact methods used to uncover it, as well as look at the methods and tools available to digital humanities scholars. Doing this should allow us to map the forensic methods of analytical bibliography to their digital counterparts. The goal will be to establish a …

Mathematical Model For Bone Mineralization, Svetlana V. Komarova, Lee Safranek, Jay Gopalakrishnan, Miao-Jung Yvonne Ou, Marc D. Mckee, Monzur Murshed, Frank Rauch, Erica Zuhr

Mathematics and Statistics Faculty Publications and Presentations

Defective bone mineralization has serious clinical manifestations, including deformities and fractures, but the regulation of this extracellular process is not fully understood. We have developed a mathematical model consisting of ordinary differential equations that describe collagen maturation, production and degradation of inhibitors, and mineral nucleation and growth. We examined the roles of individual processes in generating normal and abnormal mineralization patterns characterized using two outcome measures: mineralization lag time and degree of mineralization. Model parameters describing the formation of hydroxyapatite mineral on the nucleating centers most potently affected the degree of mineralization, while the parameters describing inhibitor homeostasis most effectively …

Dispersion Modeling Of Nitrogen Dioxide (No2) And Fine Particulate Matter (Pm2.5) From Backup Generators At Data Centers In Prineville, Oregon, Brooke E. Harmon

Civil and Environmental Engineering Master's Project Reports

As our society becomes increasingly dependent on digital communication (e.g., social media and email) and computerized storage (e.g., digitized medical records and government documents), tech giants such as Google, Facebook, and Apple are constructing and managing an increasing number of massive Internet data centers. These data centers house a network’s most critical systems and are vital to the continuity of daily operations. Requiring as much electricity as a medium size city, data centers rely on complex auxiliary power systems to prevent disruption to service. These backup systems consist of tens of multi-megawatt diesel-powered generators that release combustion byproducts, including over …

Default Rules In Functional Logic Programs, Sergio Antoy, Michael Hanus

Computer Science Faculty Publications and Presentations

In functional logic programs, rules are applicable independently of textual order, i.e., any rule can potentially be used to evaluate an expression. This is similar to logic languages and opposite to functional languages, e.g., Haskell enforces a strict sequential interpretation of rules. However, in some situations it is convenient to express alternatives by means of compact default rules. Although default rules are often used in functional programs, the non-deterministic nature of functional logic programs does not allow to directly transfer this concept from functional to functional logic languages in a meaningful way. In this paper we propose a new concept …

The Expression Problem, Gracefully, Andrew P. Black

Computer Science Faculty Publications and Presentations

The “Expression Problem” was brought to prominence by Wadler in 1998. It is widely regarded as illustrating that the two mainstream approaches to data abstraction — procedural abstraction and type abstraction— are complementary, with the strengths of one being the weaknesses of the other. Despite an extensive literature, the origin of the problem remains ill-understood. I show that the core problem is in fact the use of global constants, and demonstrate that an important aspect of the problem goes away when Java is replaced by a language like Grace, which eliminates them.

Needed Computations Shortcutting Needed Steps, Sergio Antoy, Jacob Johannsen, Steven Libby

Computer Science Faculty Publications and Presentations

We define a compilation scheme for a constructor-based, strongly-sequential, graph rewriting system which shortcuts some needed steps. The object code is another constructor-based graph rewriting system. This system is normalizing for the original system when using an innermost strategy. Consequently, the object code can be easily implemented by eager functions in a variety of programming languages. We modify this object code in a way that avoids total or partial construction of the contracta of some needed steps of a computation. When computing normal forms in this way, both memory consumption and execution time are reduced compared to ordinary rewriting computations …

The Grace Programming Language Draft Specification Version 0.5. 2025, Andrew P. Black, Kim B. Bruce, James Noble

Computer Science Faculty Publications and Presentations

This is a specification of the Grace Programming Language. This specification is notably incomplete, and everything is subject to change. For discussion and rationale, see http://gracelang.org.

Ear-Phone: A Context-Aware Noise Mapping Using Smart Phones, Rajib Rana, Chun Tung Chou, Nirupama Bulusu, Salil Kanhere, Wen Hu

Computer Science Faculty Publications and Presentations

A noise map facilitates the monitoring of environmental noise pollution in urban areas. It can raise citizen awareness of noise pollution levels, and aid in the development of mitigation strategies to cope with the adverse effects. However, state-of-the-art techniques for rendering noise maps in urban areas are expensive and rarely updated (for months or even years), as they rely on population and traffic models rather than on real data. Smart phone based urban sensing can be leveraged to create an open and inexpensive platform for rendering up-to-date noise maps. In this paper, we present the design, implementation and performance evaluation …

S-Store: Streaming Meets Transaction Processing, John Meehan, Nesime Tatbul, Cansu Aslantas, Ugur Cetintemel, Jiang Du, Tim Kraska, Samuel Madden, David Maier, Andrew Pavlo, Michael Stonebraker, Kristin A. Tufte, Hao Wang

Computer Science Faculty Publications and Presentations

Stream processing addresses the needs of real-time applications. Transaction processing addresses the coordination and safety of short atomic computations. Heretofore, these two modes of operation existed in separate, stove-piped systems. In this work, we attempt to fuse the two computational paradigms in a single system called S-Store. In this way, S-Store can simultaneously accommodate OLTP and streaming applications. We present a simple transaction model for streams that integrates seamlessly with a traditional OLTP system. We chose to build S-Store as an extension of H-Store, an open-source, in-memory, distributed OLTP database system. By implementing S-Store in this way, we can make …