Physical Sciences and Mathematics Commons^™

Testing Embedded System Applications, Tingting Yu

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Embedded systems are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Testing is the most commonly used method for validating software systems, and effective testing techniques could be helpful for improving the dependability of these systems. However, there are challenges involved in developing such techniques. Embedded systems consist of layers of software – application layers utilize services provided by underlying system service and hardware support layers. A typical embedded application consists of multiple user tasks. Interactions between application layers and lower layers, and interactions between the various user tasks that are initiated by the application layer, …

Automatic Media Segmentation Within Ieee 1599–2008, Antonello D'Aguanno, Luca A. Ludovico, Davide Andrea Mauro

Computer Sciences and Electrical Engineering Faculty Research

This paper deals with the automatic extraction of synchronization data from IEEE 1599-2008, an XML-based standard aiming at a comprehensive description of music. Within such format, audio tracks and video contents related to the same music piece can be referred to the occurrence of symbolic music events. In this way, digital objects are mutually synchronized, too. The goal is to show how timing information can be easily extracted from an IEEE 1599-2008 file, converted into a suitable format, and finally employed in a multimedia editing environment in order to produce an automatic segmentation of media objects.

Network Science: Using Information Technology To Enable Collaboration, Arden L. Bement Jr.

PPRI Digital Library

No abstract provided.

The River Discontinuum: Applying Beaver Modifications To Baseline Conditions For Restoration Of Forested Headwaters, Denise Burchsted, Melinda Daniels, Robert Thorson, Jason Vokoun

Center for Integrative Geosciences

Billions of dollars are being spent in the United States to restore rivers to a desired, yet often unknown, reference condition. In lieu of a known reference, practitioners typically assume the paradigm of a connected watercourse. Geological and ecological processes, however, create patchy and discontinuous fluvial systems. One of these processes, dam building by North American beavers (Castor canadensis), generated discontinuities throughout precolonial river systems of northern North America. Under modern conditions, beaver dams create dynamic sequences of ponds and wet meadows among free-flowing segments. One beaver impoundment alone can exceed 1000 meters along the river, flood the valley laterally, …

The Green, Blue And Grey Water Footprint Of Farm Animals And Animal Products. Volume 1: Main Report, Mesfin Mekonnen, Arjen Y. Hoekstra

Daugherty Water for Food Global Institute: Faculty Publications

The projected increase in the production and consumption of animal products is likely to put further pressure on the globe’s freshwater resources. The size and characteristics of the water footprint vary across animal types and production systems. The current study provides a comprehensive account of the global green, blue and grey water footprints of different sorts of farm animals and animal products, distinguishing between different production systems and considering the conditions in all countries of the world separately. The following animal categories were considered: beef cattle, dairy cattle, pig, sheep, goat, broiler chicken, layer chicken and horses. The study shows …

The Green, Blue And Grey Water Footprint Of Farm Animals And Animal Products. Volume 2: Appendices, Mesfin Mekonnen, Arjen Y. Hoekstra

Daugherty Water for Food Global Institute: Faculty Publications

Contents

Appendix I: Feed conversion efficiencies – in kg of feed (dry mass) per kg of output – per animal category and region

Appendix II: Estimated consumption of feed per animal category and world region (10³ ton dry mass/yr)

Appendix III. Estimated consumption of feed per production system and world region (10³ ton dry mass/yr)

Appendix IV. Drinking and service water footprint per animal

Appendix V. Water footprint of animals and animal products (m³/ton). Period 1996-2005

Model-Based Analysis Of Electric Drive Options For Medium-Duty Parcel Delivery Vehicles, Robb A. Barnitt, Aaron D. Brooker, Laurie Ramroth

Publications (T)

Medium-duty vehicles are used in a broad array of fleet applications, including parcel delivery. These vehicles are excellent candidates for electric drive applications due to their transient-intensive duty cycles, operation in densely populated areas, and relatively high fuel consumption and emissions. The National Renewable Energy Laboratory (NREL) conducted a robust assessment of parcel delivery routes and completed a model-based techno-economic analysis of hybrid electric vehicle (HEV) and plug-in hybrid electric vehicle (PHEV) configurations. First, NREL characterized parcel delivery vehicle usage patterns, most notably daily distance driven and drive-cycle intensity. Second, drive-cycle analysis results framed the selection of drive cycles used …

College Of Engineering Senior Design Competition Fall 2010, University Of Nevada, Las Vegas

Fred and Harriet Cox Senior Design Competition Projects

Part of every UNLV engineering student’s academic experience, the senior design project stimulates engineering innovation and entrepreneurship. Each student in their senior year chooses, plans, designs, and prototypes a product in this required element of the curriculum. A capstone to the student’s educational career, the senior design project encourages the student to use everything learned in the engineering program to create a practical, real world solution to an engineering challenge.

The senior design competition helps to focus the senior students in increasing the quality and potential for commercial application for their design projects. Judges from local industry evaluate the projects …

Decentralized State Feedback And Near Optimal Adaptive Neural Network Control Of Interconnected Nonlinear Discrete-Time Systems, Shahab Mehraeen, Jagannathan Sarangapani, Mariesa Crow

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, first a novel decentralized state feedback stabilization controller is introduced for a class of nonlinear interconnected discrete-time systems in affine form with unknown subsystem dynamics, control gain matrix, and interconnection dynamics by employing neural networks (NNs). Subsequently, the optimal control problem of decentralized nonlinear discrete-time system is considered with unknown internal subsystem and interconnection dynamics while assuming that the control gain matrix is known. For the near optimal controller development, the direct neural dynamic programming technique is utilized to solve the Hamilton-Jacobi-Bellman (HJB) equation forward-in-time. The decentralized optimal controller design for each subsystem utilizes the critic-actor structure …

Automobile Exhaust Gas Detection Based On Fuzzy Temperature Compensation System, Zhiyong Wang, Hao Ding, Fufei Hao, Zhaoxia Wang, Zhen Sun, Shujin Li

Research Collection School Of Computing and Information Systems

A temperature compensation scheme of detecting automobile exhaust gas based on fuzzy logic inference is presented in this paper. The principles of the infrared automobile exhaust gas analyzer and the influence of the environmental temperature on analyzer are discussed. A fuzzy inference system is designed to improve the measurement accuracy of the measurement equipment by reducing the measurement errors caused by environmental temperature. The case studies demonstrate the effectiveness of the proposed method. The fuzzy compensation scheme is promising as demonstrated by the simulation results in this paper.

Map Estimation For Graphical Models By Likelihood Maximization, Akshat Kumar, Shlomo Zilberstein

Research Collection School Of Computing and Information Systems

Computing a maximum a posteriori (MAP) assignment in graphical models is a crucial inference problem for many practical applications. Several provably convergent approaches have been successfully developed using linear programming (LP) relaxation of the MAP problem. We present an alternative approach, which transforms the MAP problem into that of inference in a finite mixture of simple Bayes nets. We then derive the Expectation Maximization (EM) algorithm for this mixture that also monotonically increases a lower bound on the MAP assignment until convergence. The update equations for the EM algorithm are remarkably simple, both conceptually and computationally, and can be implemented …

A Structure First Image Inpainting Approach Based On Self-Organizing Map (Som), Bo Chen, Zhaoxia Wang, Ming Bai, Quan Wang, Zhen Sun

Research Collection School Of Computing and Information Systems

This paper presents a structure first image inpainting method based on self-organizing map (SOM). SOM is employed to find the useful structure information of the damaged image. The useful structure information which includes relevant edges of the image is used to simulate the structure information of the lost or damaged area in the image. The structure information is described by distinct or indistinct curves in an image in this paper. The obtained target curves separate the damaged area of the image into several parts. As soon as each part of the damaged image is restored respectively, the damaged image is …

Topical Summarization Of Web Videos By Visual-Text Time-Dependent Alignment, Song Tan, Hung-Khoon Tan, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

Search engines are used to return a long list of hundreds or even thousands of videos in response to a query topic. Efficient navigation of videos becomes difficult and users often need to painstakingly explore the search list for a gist of the search result. This paper addresses the challenge of topical summarization by providing a timeline-based visualization of videos through matching of heterogeneous sources. To overcome the so called sparse-text problem of web videos, auxiliary information from Google context is exploited. Google Trends is used to predict the milestone events of a topic. Meanwhile, the typical scenes of web …

Slides: Development Of Shale: Water Resource Concerns And Policy Considerations, Katy Dunlap

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

Presenter: Katy Dunlap, Eastern Water Project Director, Trout Unlimited, Inc., Burdett, NY

24 slides

Slides: Water And Development Of Unconventional Oil And Gas Resources, Judy Jordan

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

Presenter: Judy Jordan, Oil & Gas Liaison, Garfield County, Rifle, CO

21 slides

Slides: Shale Drilling And Completions, William Fleckenstein

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

Presenter: William Fleckenstein, BP Adjunct Professor in the Petroleum Department and Director of PERFORM Research, Colorado School of Mines, Golden, CO, and Managing Partner of Fleckenstein, Eustes & Associates

20 slides

Slides: U.S. Shale Gas: Resources, Reserves And $$$, John B. Curtis

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

Presenter: John B. Curtis, Professor of Geology and Geological Engineering and Director of the Potential Gas Agency, Colorado School of Mines, Golden, CO

17 slides

Slides: The Here And Now Of U.S. Nat Gas, Michelle Michot Foss

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

Presenter: Michelle Michot Foss, Chief Energy Economist, Center for Energy Economics, Bureau of Economic Geology, University of Texas, Austin, TX

12 slides

Pooling For Horizontal Wells: Can They Teach An Old Dog New Tricks?, Bruce M. Kramer

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

74 pages.

This paper was originally published as:

Bruce M. Kramer, “Pooling for Horizontal Wells: Can They Teach an Old Dog New Tricks?,” 55 Rocky Mt. Min. L. Inst. 8-1, § 8.05 (2009).

Slides: Shale And Air Quality: The View From The Other Side, Jeremy Nichols

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

Presenter: Jeremy Nichols, Climate & Energy Program Director, WildEarth Guardians, Denver, CO

18 slides

Slides: Transforming And Disrupting: Shale Gas And Oil In U.S. Energy Supply, Richard Nehring

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

Presenter: Richard Nehring, Nehring Associates, Colorado Springs, CO

15 slides

Slides: Evolving Policy On Shale Plays, John Martin

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

Presenter: John Martin, Crowell & Moring, LLP, Washington, DC

17 slides

Agenda: Shale Plays In The Intermountain West: Legal And Policy Issues, University Of Colorado Boulder. Natural Resources Law Center

Shale Plays in the Intermountain West: Legal and Policy Issues (November 12)

This one-day symposium to be held at the Grand Hyatt hotel in Denver will address the technology, economics, environmental impacts, and regulatory issues associated with shale gas development in the Rocky Mountain region. The purpose of this event is to facilitate productive dialogue among a wide range of stakeholders and interested parties to guide policy decisions.

Experimental Evaluation Of Transmission Link Characteristics In Body Area Networks, Apoorva Kiran Pandya

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Recent advances in digital electronics, embedded systems, and wireless communications have led the way to a new class of distributed Wireless Sensor Networks (WSNs). A Body Area Network (BAN) is a WSN consisting of miniaturized, low-power, autonomous, wireless biosensors, which are seamlessly placed or implanted in the human body to provide an adaptable and smart health care system. The possible applications of BAN are in health care services and medicine, assisting persons with disabilities, and entertainment and sports. The nodes in a BAN generally use IEEE 802.15.4 radios which have low- power consumption and are relatively immune to interference. In …

Synthesis Of Mild–Hard Aao Templates For Studying Magnetic Interactions Between Metal Nanowires, Jin-Hee Lim, Aurelian Rotaru, Seong-Gi Min, Leszek Malkinski, John B. Wiley

Physics Faculty Publications

The sequential application of mild and hard anodization techniques in the fabrication of porous aluminamembranes allows one to decrease the number of continuous pores in anodized aluminium oxide (AAO) templates. Initially, standard mild anodization techniques were used to create porous templates with 100 nm interpore distances and 70 nm pore diameters. Hard anodization treatment on the same membrane then produced interpore distances of about 265 nm with diameters of 110 nm. At the interface between the two anodization steps, many of the mild-side pores were terminated to create a mild–hard membrane (Mi–Ha AAO) where the functional interpore distances were 200–300 …

Agenda: 2010 World Energy Justice Conference: Emerging Solutions For The Energy Poor: Technological, Entrepreneurial And Institutional Challenges, University Of Colorado Boulder. Center For Energy & Environmental Security, Colorado Journal Of International Environmental Law And Policy

2010 World Energy Justice Conference (November 5)

This conference is a sequel to the 2009 World Energy Justice Conference (WEJC 2009) which began examining ways of mainstreaming safe, clean, and efficient energy for the world's Energy Poor (EP). The EP number two and a half billion people living on less than $1-2 a day who have no access to modern energy services. WEJC 2010 more fully develops these themes. WEJC 2010 will explore how the next round of global warming meetings in Cancun could design new flexibility mechanisms that give credits, for example, for the reduction of black carbon by the adoption of cookstoves, and embrace small …

Endogenous Sirnas And Noncoding Rna-Derived Small Rnas Are Expressed In Adult Mouse Hippocampus And Are Up-Regulated In Olfactory Discrimination Training., Neil Smalheiser, G Lugli, Jyothi Thimmapuram, E.H. Cook, J Larson

Cyber Center Publications

We previously proposed that endogenous siRNAs may regulate synaptic plasticity and long-term gene expression in the mammalian brain. Here, a hippocampal-dependent task was employed in which adult mice were trained to execute a nose-poke in a port containing one of two simultaneously present odors in order to obtain a reward. Mice demonstrating olfactory discrimination training were compared to pseudo-training and nose-poke control groups; size-selected hippocampal RNA was subjected to Illumina deep sequencing. Sequences that aligned uniquely and exactly to the genome without uncertain nucleotide assignments, within exons or introns of MGI annotated genes, were examined further. The data confirm that …

Culvert Material Cost Comparison, New England Environmental Finance Center

Water

The following tables provide a detailed look at the role that culvert material and culvert diameter play in the overall cost of a culvert replacement project.

A Novel Real-Time Approach To Unified Power Flow Controller Validation, Keyou Wang, Mariesa Crow, Bruce M. Mcmillin, Stan Atcitty

Electrical and Computer Engineering Faculty Research & Creative Works

This paper presents the development of a real-time hardware/software laboratory to interface a soft real-time power system simulator with multiple unified power flow controllers (UPFC) via hardware-in-the-loop (HIL) to study their dynamic responses and validate control and placement approaches. This paper describes a unique laboratory facility that enables large-scale, soft real-time power system simulation coupled with the true physical behavior of a UPFC as opposed to the controller response captured by many other real-time simulators. The HIL line includes a synchronous machine, a UPFC, and a programmable load to reproduce the physical dynamics of the UPFC sub-network.

Culvert Material Cost Comparison, New England Environmental Finance Center

Economics and Finance

The following tables provide a detailed look at the role that culvert material and culvert diameter play in the overall cost of a culvert replacement project. Table 1 displays the cost per foot purchase price arranged by diameter size for the various culvert materials that are currently available. Table 2 displays the average additional culvert pipe material cost (increased cost to upsize minus original in-kind replacement cost) that would be incurred when upsizing a given diameter of culvert with a 50 foot length by factors of: 200%, 250% and 300%.