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

Engineering Commons

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

Portland State University

2015

Discipline
Keyword
Publication
Publication Type
File Type

Articles 1 - 30 of 190

Full-Text Articles in Engineering

Modeling And Experimental Demonstration Of A Hopfield Network Analog-To-Digital Converter With Hybrid Cmos/Memristor Circuits, Xinjie Guo, Farnood Merrikh-Bayat, Ligang Gao, Brian D. Hoskins, Fabien Alibart, Bernabe Linares-Barranco, Luke Theogarajan, Christof Teuscher, Dmitri B. Strukov Dec 2015

Modeling And Experimental Demonstration Of A Hopfield Network Analog-To-Digital Converter With Hybrid Cmos/Memristor Circuits, Xinjie Guo, Farnood Merrikh-Bayat, Ligang Gao, Brian D. Hoskins, Fabien Alibart, Bernabe Linares-Barranco, Luke Theogarajan, Christof Teuscher, Dmitri B. Strukov

Electrical and Computer Engineering Faculty Publications and Presentations

The purpose of this work was to demonstrate the feasibility of building recurrent artificial neural networks with hybrid complementary metal oxide semiconductor (CMOS)/memristor circuits. To do so, we modeled a Hopfield network implementing an analog-to-digital converter (ADC) with up to 8 bits of precision. Major shortcomings affecting the ADC's precision, such as the non-ideal behavior of CMOS circuitry and the specific limitations of memristors, were investigated and an effective solution was proposed, capitalizing on the in-field programmability of memristors. The theoretical work was validated experimentally by demonstrating the successful operation of a 4-bit ADC circuit implemented with discrete ...


Formal Modeling And Verification Of Delay-Insensitive Circuits, Hoon Park Dec 2015

Formal Modeling And Verification Of Delay-Insensitive Circuits, Hoon Park

Dissertations and Theses

Einstein's relativity theory tells us that the notion of simultaneity can only be approximated for events distributed over space. As a result, the use of asynchronous techniques is unavoidable in systems larger than a certain physical size. Traditional design techniques that use global clocks face this barrier of scale already within the space of a modern microprocessor chip. The most common response by the chip industry for overcoming this barrier is to use Globally Asynchronous Locally Synchronous (GALS) design techniques. The circuits investigated in this thesis can be viewed as examples of GALS design. To make such designs trustworthy ...


Analysis Of Capillary Flow In Interior Corners : Perturbed Power Law Similarity Solutions, Joshua Thomas Mccraney Dec 2015

Analysis Of Capillary Flow In Interior Corners : Perturbed Power Law Similarity Solutions, Joshua Thomas Mccraney

Dissertations and Theses

The design of fluid management systems requires accurate models for fluid transport. In the low gravity environment of space, gravity no longer dominates fluid displacement; instead capillary forces often govern flow. This thesis considers the redistribution of fluid along an interior corner. Following a rapid reduction of gravity, fluid advances along the corner measured by the column length z = L(t), which is governed by a nonlinear partial differential equation with dynamical boundary conditions. Three flow types are examined: capillary rise, spreading drop, and tapered corner. The spreading drop regime is shown to exhibit column length growth L ~ t2 ...


From Boolean Equalities To Constraints, Sergio Antoy, Michael Hanus Dec 2015

From Boolean Equalities To Constraints, Sergio Antoy, Michael Hanus

Computer Science Faculty Publications and Presentations

Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different in such languages. Functional languages reduce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and transformation method that automatically selects the appropriate operation. Without this distinction ...


Multi-Criteria Evaluation Of Cmip5 Gcms For Climate Change Impact Analysis, Ali Ahmadalipour, Arun Rana, Hamid Moradkhani, Ashish Sharma Dec 2015

Multi-Criteria Evaluation Of Cmip5 Gcms For Climate Change Impact Analysis, Ali Ahmadalipour, Arun Rana, Hamid Moradkhani, Ashish Sharma

Civil and Environmental Engineering Faculty Publications and Presentations

Climate change is expected to have severe impacts on global hydrological cycle along with food-water-energy nexus. Currently, there are many climate models used in predicting important climatic variables. Though there have been advances in the field, there are still many problems to be resolved related to reliability, uncertainty, and computing needs, among many others. In the present work, we have analyzed performance of 20 different global climate models (GCMs) from Climate Model Intercomparison Project Phase 5 (CMIP5) dataset over the Columbia River Basin (CRB) in the Pacific Northwest USA. We demonstrate a statistical multicriteria approach, using univariate and multivariate techniques ...


On Valuing Biopharmaceutical Product Pipelines: An Effectuation Model And Evidence, Mark J. Ahn, Anne S. York, Wei Wu, Yulianto Suharto, Tugrul Unsal Daim Dec 2015

On Valuing Biopharmaceutical Product Pipelines: An Effectuation Model And Evidence, Mark J. Ahn, Anne S. York, Wei Wu, Yulianto Suharto, Tugrul Unsal Daim

Engineering and Technology Management Faculty Publications and Presentations

New creative approaches are needed to manage emerging biotechnology innovations, regulations, and payor environments to enhance product pipeline productivity, valuation, and risk management. Biopharmaceutical firms must make dynamic resource allocation decisions on their relative levels of internal R&D and external strategic alliances in furthering their pipelines. As the predominant method of using discounted cash flow (DCF) methodologies may lead to chronic underinvestment and performance, we evaluated the integration of traditional DCF with an effectuation model of analysis. Unlike traditional financial models that begin with the end goal of assumed known cash flows and recursively solve for portfolio optimization, the ...


Advances In Autonomous-Underwater-Vehicle Based Passive Bottom-Loss Estimation By Processing Of Marine Ambient Noise, Lanfranco Muzi Dec 2015

Advances In Autonomous-Underwater-Vehicle Based Passive Bottom-Loss Estimation By Processing Of Marine Ambient Noise, Lanfranco Muzi

Dissertations and Theses

Accurate modeling of acoustic propagation in the ocean waveguide is important to SONAR-performance prediction, and requires, particularly in shallow water environments, characterizing the bottom reflection loss with a precision that databank-based modeling cannot achieve. Recent advances in the technology of autonomous underwater vehicles (AUV) make it possible to envision a survey system for seabed characterization composed of a short array mounted on a small AUV. The bottom power reflection coefficient (and the related reflection loss) can be estimated passively by beamforming the naturally occurring marine ambient-noise acoustic field recorded by a vertical line array of hydrophones. However, the reduced array ...


Integrating Freight Into Livable Communities, Kristine M. Williams, Alexandria Carroll Dec 2015

Integrating Freight Into Livable Communities, Kristine M. Williams, Alexandria Carroll

TREC Final Reports

Where livability is a goal of the planning process, freight runs the risk of not being considered except as an afterthought or as something to be excluded. Yet, freight is an integral part of local economic development. Because economic prosperity is a key characteristic of livable communities, freight must be incorporated into the planning process. This study explores the relationship between freight and livability through a comprehensive literature review and case study research. The final report includes a menu of strategies and case study perspectives that highlight the importance of transportation and land use integration, interagency coordination, and context-sensitivity in ...


Comparative Estimates Of Anthropogenic Heat Emission In Relation To Surface Energy Balance Of A Subtropical Urban Neighborhood, Changhyoun Park, Gunnar W. Schade, Nicholas D. Werner, David J. Sailor, Cheol-Hee Kim Dec 2015

Comparative Estimates Of Anthropogenic Heat Emission In Relation To Surface Energy Balance Of A Subtropical Urban Neighborhood, Changhyoun Park, Gunnar W. Schade, Nicholas D. Werner, David J. Sailor, Cheol-Hee Kim

Mechanical and Materials Engineering Faculty Publications and Presentations

Long-term eddy covariance measurements have been conducted in a subtropical urban area, an older neighborhood north of downtown Houston. The measured net radiation (Q*), sensible heat flux (H) and latent heat flux (LE) showed typical seasonal diurnal variations in urban areas: highest in summer; lowest in winter. From an analysis of a subset of the first two years of measurements, we find that approximately 42% of Q* is converted into H, and 22% into LE during daytime. The local anthropogenic heat emissions were estimated conventionally using the long-term residual method and the heat emission inventory approach. We also developed a ...


The Prediction Predicament, William "Ike" Eisenhauer Dec 2015

The Prediction Predicament, William "Ike" Eisenhauer

Engineering and Technology Management Faculty Publications and Presentations

The article focuses on the prediction of predicament in terms of forecasting at industrial engineering level. Topics discussed include business optimize resources via forecasting; audience who cannot comprehend the methodology used for forecasting in healthcare operations; and use of forecasting for performance measurement.


Could Application Of Column-Grid-Array (Cga) Technology Result In Inelastic-Strain-Free State-Of-Stress In Solder Material?, Ephraim Suhir, Reza Ghaffarian, Johann Nicolics Dec 2015

Could Application Of Column-Grid-Array (Cga) Technology Result In Inelastic-Strain-Free State-Of-Stress In Solder Material?, Ephraim Suhir, Reza Ghaffarian, Johann Nicolics

Mechanical and Materials Engineering Faculty Publications and Presentations

Physically meaningful and easy-to-use analytical stress model is developed for a short cylinder (beam) clamped at the ends and subjected to bending caused by the ends offset. The offset is due, in its turn, to an external lateral force that has to be determined from the known offset. It is envisioned that such a beam can adequately represent the state of stress in a column-grid-array (CGA) solder joint interconnection experiencing thermal loading due to the thermal expansion/contraction mismatch of the IC package and the printed circuit board (PCB). The CGA designs are characterized by considerably higher stand-off heights than ...


Computational Capacity And Energy Consumption Of Complex Resistive Switch Networks, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher Dec 2015

Computational Capacity And Energy Consumption Of Complex Resistive Switch Networks, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher

Electrical and Computer Engineering Faculty Publications and Presentations

Resistive switches are a class of emerging nanoelectronics devices that exhibit a wide variety of switching characteristics closely resembling behaviors of biological synapses. Assembled into random networks, such resistive switches produce emerging behaviors far more complex than that of individual devices. This was previously demonstrated in simulations that exploit information processing within these random networks to solve tasks that require nonlinear computation as well as memory. Physical assemblies of such networks manifest complex spatial structures and basic processing capabilities often related to biologically-inspired computing. We model and simulate random resistive switch networks and analyze their computational capacities. We provide a ...


A Proposed Integrated Data Collection, Analysis And Sharing Platform For Impact Evaluation, Andreas Kipt, Waylon Brunette, Jordon Kellerstrass, Matthew Podolsky, Javier Rosa, Mitchell Sundt, Daniel Wilson, Gaetano Borriello, Eric Brewer, Evan A. Thomas Dec 2015

A Proposed Integrated Data Collection, Analysis And Sharing Platform For Impact Evaluation, Andreas Kipt, Waylon Brunette, Jordon Kellerstrass, Matthew Podolsky, Javier Rosa, Mitchell Sundt, Daniel Wilson, Gaetano Borriello, Eric Brewer, Evan A. Thomas

Mechanical and Materials Engineering Faculty Publications and Presentations

Global poverty reduction efforts value monitoring and evaluation, but often struggle to translate lessons learned from one intervention into practical application in another intervention. Commonly, data is not easily or often shared between interventions and summary data collected as part of an impact evaluation is often not available until after the intervention is complete. Equally limiting, the workflows that lead to research results are rarely published in a reproducible, reusable, and easy-to-understand fashion for others. Information and communication technologies widely used in commercial and government pro- grams are growing in relevance for international global development professionals and offer a potential ...


Predicted Stresses In A Ball-Grid-Array (Bga)/Column-Grid-Array (Cga) Assembly With A Low Modulus Solder At Its Ends, Ephraim Suhir, Reza Ghaffarian Dec 2015

Predicted Stresses In A Ball-Grid-Array (Bga)/Column-Grid-Array (Cga) Assembly With A Low Modulus Solder At Its Ends, Ephraim Suhir, Reza Ghaffarian

Mechanical and Materials Engineering Faculty Publications and Presentations

A simple, easy-to-use and physically meaningful predictive model is suggested for the assessment of thermal stresses in a ball-grid-array or a column-grid-array with a low modulus solder material at the peripheral portions of the assembly. It is shown that the application of such a design can lead to a considerable relief in the interfacial stresses, even to an extent that inelastic strains in the solder joints could be avoided. If this happens, the fatigue strength of the bond and of the assembly as a whole will be improved dramatically: low-cycle fatigue conditions will be replaced by the elastic fatigue condition ...


Effect Of Nano-Oxide Particle Size On Radiation Resistance Of Ironechromium Alloys, Weizong Xu, Lulu Li, James A. Valdez, Mostafa Saber, Yuntian Zhu, Carl C. Koch, Ronald O. Scattergood Nov 2015

Effect Of Nano-Oxide Particle Size On Radiation Resistance Of Ironechromium Alloys, Weizong Xu, Lulu Li, James A. Valdez, Mostafa Saber, Yuntian Zhu, Carl C. Koch, Ronald O. Scattergood

Mechanical and Materials Engineering Faculty Publications and Presentations

Radiation resistance of Fe-14Cr alloys under 200 keV He irradiation at 500 ­*C was systematically investigated with varying sizes of nano oxide Zr, Hf and Cr particles. It is found that these nano oxide particles acted as effective sites for He bubble formation. By statistically analyzing 700-1500 He bubbles at the depth of about 150-700 nm from a series of HRTEM images for each sample, we established the variation of average He bubble size, He bubble density, and swelling percentage along the depth, and found them to be consistent with the He concentration profile calculated from the SIRM program. Oxide ...


A Combined Energy And Geoengineering Optimization Model (Ceagom) For Climate Policy Analysis, John George Anasis Nov 2015

A Combined Energy And Geoengineering Optimization Model (Ceagom) For Climate Policy Analysis, John George Anasis

Dissertations and Theses

One of the greatest challenges that will face humanity in the 21st century is the issue of climate change brought about by emissions of greenhouse gases. Energy use is one of the primary sources of greenhouse gas emissions. However, it is also one of the most important contributors to improved human welfare over the past two centuries and will continue to be so for years to come. This quandary has led a number of researchers to suggest that geoengineering may be required in order to allow for continued use of fossil fuels while at the same time mitigating the ...


Transport Of Heat Activated Persulfate And Its Application For In-Situ Chemical Oxidation Of Residual Trichloroethylene, Lauren Dekker Quig Nov 2015

Transport Of Heat Activated Persulfate And Its Application For In-Situ Chemical Oxidation Of Residual Trichloroethylene, Lauren Dekker Quig

Dissertations and Theses

In situ chemical oxidation is a promising technology for the remediation of persistent subsurface contamination. Increasingly, the persulfate ion is being studied for use in these systems, both on its own as a strong oxidant and as the precursor to the even more reactive sulfate radical. Persulfate has been shown to treat a wide range of contaminants, from traditional Superfund contaminants such as chlorinated solvents to emerging pharmaceutical contaminants. Additionally, persulfate ISCO can be tailored to site and pollutant specific characteristics based on the method of persulfate activation (e.g., energy and catalysis activation) to the sulfate radical. Thermal activation ...


How To Estimate Pedestrian Demand, Kelly Clifton, Patrick Allen Singleton, Christopher D. Muhs, Robert J. Schneider Nov 2015

How To Estimate Pedestrian Demand, Kelly Clifton, Patrick Allen Singleton, Christopher D. Muhs, Robert J. Schneider

TREC Project Briefs

There is growing support to improve the quality of the walking environment and make investments to promote pedestrian travel. Such efforts often require analytical non-motorized planning tools to estimate levels of pedestrian demand that are sensitive to environmental and demographic factors at an appropriate scale. Despite this interest and need, current forecasting tools, particularly regional travel demand models, often fall short.

To address this gap, Oregon Metro and NITC researcher Kelly Clifton worked together to develop a pedestrian demand estimation tool. For generations, planners have been using statistical models to forecast travel demand, but these models have traditionally been auto-centered ...


National Study Of Brt Development Outcomes, Arthur C. Nelson, Joanna Ganning Nov 2015

National Study Of Brt Development Outcomes, Arthur C. Nelson, Joanna Ganning

TREC Final Reports

Bus rapid transit (BRT) is poised to become the “next big thing” in public transit. From virtually no systems a generation ago, there are now 19 lines operating with at least seven under construction and more than 20 in the planning stages. BRT is gaining popularity because of its combination of low capital cost and potential for high levels of benefits. But are BRT systems effective in attracting development?

To answer this and many more trending BRT questions, the Metropolitan Research Center (MRC) reviewed multiple studies using data from the United States Census Bureau, Longitudinal Employer-Household Dynamics, and CoStar data ...


Towards Effective Design Treatment For Right Turns At Intersections With Bicycle Traffic, David Hurwitz, Mafruhatul Jannat, Jennifer Warner, Christopher M. Monsere, Ali Razmpa Nov 2015

Towards Effective Design Treatment For Right Turns At Intersections With Bicycle Traffic, David Hurwitz, Mafruhatul Jannat, Jennifer Warner, Christopher M. Monsere, Ali Razmpa

Civil and Environmental Engineering Faculty Publications and Presentations

The overall goal of this research was to quantify the safety performance of alternative traffic control strategies to mitigate right-turning vehicle-bicycle crashes at signalized intersections in Oregon. The ultimate aim was to provide useful design guidance to potentially mitigate these collision types at the critical intersection configurations. This report includes a comprehensive review of more than 150 scientific and technical articles that relate to bicycle-motor vehicle crashes. A total of 504 right-hook crashes were identified from vehicle path information in the Oregon crash data from 2007-2011, mapped and reviewed in detail to identify the frequency and severity of crashes by ...


Gc/Ms Analysis Of Some Extractives From Eichhornia Crassipes, Héctor A. Fileto-Pérez, O. Miriam Rutiaga-Quiñones, Mark D. Sytsma, Isabelle M. Lorne, Wentai Luo, James F. Pankow, José G. Rutiaga-Quiñones Nov 2015

Gc/Ms Analysis Of Some Extractives From Eichhornia Crassipes, Héctor A. Fileto-Pérez, O. Miriam Rutiaga-Quiñones, Mark D. Sytsma, Isabelle M. Lorne, Wentai Luo, James F. Pankow, José G. Rutiaga-Quiñones

Environmental Science and Management Faculty Publications and Presentations

Eichhornia crassipes (water hyacinth) is an invasive weed that causes serious issues for rivers, lakes, and other reservoirs around the world, although it can be an excellent source for bioactive compounds such as phytosterols and some steroids found in many plants. In this study, water hyacinth samples from both Durango and Distrito Federal in Mexico were collected. Ascendant extracts (cyclohexane, hexane, acetone, and methanol) from their leaves, stems, and roots were analyzed. Using boron trifluoride (similar to 10% [similar to 1.3 M] in 1-butanol), all extracts were derivatized. Twenty-four derivatized samples were analyzed using a gas chromatography-mass spectrometry (GC ...


If You Commit, That Old Gown Looks Just Fine, William "Ike" Eisenhauer Oct 2015

If You Commit, That Old Gown Looks Just Fine, William "Ike" Eisenhauer

Engineering and Technology Management Faculty Publications and Presentations

In this article, the author discusses issues pertaining to improvement of health systems, comparing the systems with Victorian ball gown. He states that significant elements of the improvement processes of the systems like removal of clutter, and workflow and paperwork, and mentions roles of industrial and systems engineering beyond business process improvement. He highlights the need of commitment for improving the systems by business enterprises.


Recent Progress In Performance Evaluations And Near Real-Time Assessment Of Operational Ocean Products, Fabrice Hernandez, Edward Blockley, Gary B. Brassington, Fraser Davidson, Prasanth Divakaran, Marie Drévillon, Shiro Ishizaki, Marcos Garcia-Sotillo, Patrick J. Hogan, Priidik Lagemaa, Bruno Levier, Matthew Martin, Avichal Mehra, Christopher Mooers, Nicolas Ferry, Andrew Ryan, Charly Regnier, Alistair Sellar, Gregory C. Smith, Sarantis Sofianos, Todd Spindler, Gianluca Volpe, John Wilkin, Edward Zaron, Aijun Zhang Oct 2015

Recent Progress In Performance Evaluations And Near Real-Time Assessment Of Operational Ocean Products, Fabrice Hernandez, Edward Blockley, Gary B. Brassington, Fraser Davidson, Prasanth Divakaran, Marie Drévillon, Shiro Ishizaki, Marcos Garcia-Sotillo, Patrick J. Hogan, Priidik Lagemaa, Bruno Levier, Matthew Martin, Avichal Mehra, Christopher Mooers, Nicolas Ferry, Andrew Ryan, Charly Regnier, Alistair Sellar, Gregory C. Smith, Sarantis Sofianos, Todd Spindler, Gianluca Volpe, John Wilkin, Edward Zaron, Aijun Zhang

Civil and Environmental Engineering Faculty Publications and Presentations

Operational ocean forecast systems provide routine marine products to an ever-widening community of users and stakeholders. The majority of users need information about the quality and reliability of the products to exploit them fully. Hence, forecast centres have been developing improved methods for evaluating and communicating the quality of their products. Global Ocean Data Assimilation Experiment (GODAE) OceanView, along with the Copernicus European Marine Core Service and other national and international programmes, has facilitated the development of coordinated validation activities among these centres. New metrics, assessing a wider range of ocean parameters, have been defined and implemented in real-time. An ...


Ozone Reaction With Interior Building Materials: Influence Of Diurnal Ozone Variation, Temperature And Humidity, Donghyun Rim, Elliot T. Gall, Randy L. Maddalena, William W. Nazaroff Oct 2015

Ozone Reaction With Interior Building Materials: Influence Of Diurnal Ozone Variation, Temperature And Humidity, Donghyun Rim, Elliot T. Gall, Randy L. Maddalena, William W. Nazaroff

Mechanical and Materials Engineering Faculty Publications and Presentations

Elevated tropospheric ozone concentrations are associated with increased morbidity and mortality. Indoor ozone chemistry affects human exposure to ozone and reaction products that also may adversely affect health and comfort. Reactive uptake of ozone has been characterized for many building materials; however, scant information is available on how diurnal variation of ambient ozone influences ozone reaction with indoor surfaces. The primary objective of this study is to investigate ozone-surface reactions in response to a diurnally varying ozone exposure for three common building materials: ceiling tile, painted drywall, and carpet tile. A secondary objective is to examine the effects of air ...


An Exploration Of Bicyclist Comfort Levels Utilizing Crowdsourced Data, Bryan Philip Blanc Sep 2015

An Exploration Of Bicyclist Comfort Levels Utilizing Crowdsourced Data, Bryan Philip Blanc

Dissertations and Theses

Bicycle transportation has become a central priority of urban areas invested in improving sustainability, livability, and public health outcomes. Transportation agencies are striving to increase the comfort of their bicycle networks to improve the experience of existing cyclists and to attract new cyclists. The Oregon Department of Transportation sponsored the development of ORcycle, a smartphone application designed to collect cyclist travel, comfort, and safety information throughout Oregon. The sample resulting from the initial deployment of the application between November 2014 and March 2015 is described and analyzed within this thesis. 616 bicycle trips from 148 unique users were geo-matched to ...


Long-Term Stability Of 14yt-4sc Alloy At High Temperature, Lulu Li, Weizong Xu, Mostafa Saber, Yuntian Zhu, Carl C. Koch, Ronald O. Scattergood Sep 2015

Long-Term Stability Of 14yt-4sc Alloy At High Temperature, Lulu Li, Weizong Xu, Mostafa Saber, Yuntian Zhu, Carl C. Koch, Ronald O. Scattergood

Mechanical and Materials Engineering Faculty Publications and Presentations

14YT alloy (Fe-14Cr-0.25wt.%Y2O3-0.4wt.%Ti) with 4 at.% Sc addition was previously reported to exhibit a nanoscale microstructure and high strength when annealed at temperatures up to 1000 °C (0.65Tm) for 1 hour. Here we report that the microstructure and mechanical behavior of 14YT-4Sc alloy after long-term annealing for up to 60 hours at 1000 °C. FIB analysis shows abnormal grain growth with annealing time, while a large fraction of the matrix still consists of nanoscale grains. TEM images reveal a slight growth of nano grains, with estimated grain growth exponent, n, to be 0.29. Sc-Ti-Y-O ...


A Constraint Language For Static Semantic Analysis Based On Scope Graphs, Hendrik Van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth Sep 2015

A Constraint Language For Static Semantic Analysis Based On Scope Graphs, Hendrik Van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth

Computer Science Faculty Publications and Presentations

In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We treat name and type resolution as separate building blocks, but our approach can handle language constructs—such as record field access—for which binding and typing are mutually dependent.We also refine and extend our previous scope graph theory to address practical concerns including ambiguity checking ...


Nonstationary Internal Tides Observed Using Dual-Satellite Altimetry, Edward D. Zaron Sep 2015

Nonstationary Internal Tides Observed Using Dual-Satellite Altimetry, Edward D. Zaron

Civil and Environmental Engineering Faculty Publications and Presentations

Dual-satellite crossover data from the Jason-2 and Cryosat-2 altimeter missions are used in a novel approach to quantify stationary and nonstationary tides from time-lagged mean square sea surface height (SSH) differences, computed for lags from 1 to 1440 h (60 days). The approach is made feasible by removing independent estimates of the stationary tide and mesoscale SSH variance, which greatly reduces the sampling error of the SSH statistics. For the semidiurnal tidal band, the stationary tidal variance is approximately 0.73 cm(2), and the nonstationary variance is about 0.33 cm(2), or 30% of the total. The temporal ...


Development Of A Pedestrian Demand Estimation Tool, Kelly Clifton, Patrick Allen Singleton, Christopher D. Muhs, Robert J. Schneider Sep 2015

Development Of A Pedestrian Demand Estimation Tool, Kelly Clifton, Patrick Allen Singleton, Christopher D. Muhs, Robert J. Schneider

Civil and Environmental Engineering Faculty Publications and Presentations

Most research on walking behavior has focused on mode choice or walk-trip frequency. In contrast, this study is one of the first to analyze the destination choice behaviors of pedestrians. Using about 4,500 walk trips from a 2011 household travel survey in the Portland, OR, region, we estimated multinomial logit pedestrian destination choice models for six trip purposes. Independent variables included terms for impedance (walk-trip distance); size (employment by type, households); supportive pedestrian environments (parks, a pedestrian index of the environment variable called PIE); barriers to walking (terrain, industrial-type employment); and traveler characteristics. Unique to this study was the ...


Comparisons Of Linear Regression Models For Properties Of Alkaliactivated Binder Concrete, Arkamitra Kar, Udaya B. Halabe, Indrajit Ray, Avinash Unnikrishnan Sep 2015

Comparisons Of Linear Regression Models For Properties Of Alkaliactivated Binder Concrete, Arkamitra Kar, Udaya B. Halabe, Indrajit Ray, Avinash Unnikrishnan

Civil and Environmental Engineering Faculty Publications and Presentations

Concrete with alkali-activated binder (AAB) is increasingly considered as a better alternative to conventional portland cement (PC) concrete due to its superior sustainable and green properties. In order to promote the practical usage of AAB concrete, a previous study by the present authors proposed models on correlations among their mechanical and nondestructive properties. The present study extends the previous knowledge by proposing new improved models using linear regressions to predict compressive strengths and modulus of elasticity from ultrasonic pulse velocities. The models are developed for both unstressed and stressed AAB concrete with different curing temperatures. The accuracies of the models ...