21.07.2013 Views

Sunday

Sunday

Sunday

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

SA20<br />

■ SA20<br />

20- West 211 B- CC<br />

Joint Session: SPPSN/ENRE-Environment:<br />

Energy Policy and Sustainability<br />

Sponsor: Public Programs, Service and Needs & Energy,<br />

Natural Res & the Envi/ Environment and Sustainability<br />

Sponsored Session<br />

Chair: Erin Baker, University of Massachusetts, Amherst, MA,<br />

United States of America, edbaker@ecs.umass.edu<br />

1 - Decommissioning and Repowering Decisions for Renewable<br />

Power Producers<br />

Chenlu Lou, Iowa State University, 3004 Black, Ames, IA, 50011,<br />

United States of America, clou@iastate.edu, K. Jo Min<br />

There have been substantial increases in the construction and operation of wind<br />

farms across the U.S.A. and the world, which will lead to a significant number of<br />

wind farm decommissioning and repowering decisions soon. We formulate and<br />

analyze mathematical models from a real options perspective with the operation<br />

and maintenance cost following the geometric Brownian motion process, and<br />

derive managerial insights for relevant government policy makers.<br />

2 - Hydrogen Production Facility Network Design from Stochastic<br />

Green Energy Supply Source<br />

Jorge Barnett Lawton, Zaragoza Logistics Center, C/ Bari 55, Plaza,<br />

Edificio Nayade, Portal 5, Zaragoza, 50197, Spain,<br />

jbarnett@zlc.edu.es, Mozart Menezes, Jarrod Goentzel<br />

Hydrogen has been identified as a clean alternative to store energy from volatile<br />

sources. We analyze the production and distribution network design problem of a<br />

firm generating electricity from wind and producing hydrogen by electrolysis, in<br />

the presence of stochastic energy prices and supply. We provide solution<br />

approaches using column generation, and use our model to evaluate a future<br />

hydrogen supply chain in Spain, under different distribution policies and<br />

government incentive schemes.<br />

3 - R&D Portfolio Analysis of Low Carbon Energy Technologies for<br />

Climate Change Mitigation<br />

Rose Zdybel, University of Massachusetts-Amherst, 120D Marston<br />

Hall, Amherst, MA, United States of America, rozoe@msn.com<br />

We analyze R&D portfolios of low carbon advanced energy technologies for<br />

climate change mitigation. We use the GCAM integrated assessment model to<br />

analyze the effects of combinations of low carbon energy technologies on CO2<br />

concentration stabilization costs and then combine the results with probabilistic<br />

data from expert elicitations. We also develop econometric relationships between<br />

variables to estimate results for input values other than those that are part of the<br />

elicitations.<br />

4 - A Decision Support System for Managing Wind-turbines with<br />

Storage in Smart-grids<br />

Frederic Murphy, Professor, Temple University, Alter Hall 435,<br />

Philadelphia, PA, 19122, United States of America,<br />

fmurphy@temple.edu, Fernando Oliviera<br />

We analyze the wind-turbine business model given the opportunities created by<br />

the smart grid and by efficient electric battery storage systems. We model the<br />

interaction between dynamic prices and wind-regimes; we analyze how batteries<br />

can be used to improve wind-turbines reliability and profitability. We study how<br />

forward and option contracts can be used by a wind-turbine to hedge risk and we<br />

use conditional value at risk to assess the wind-turbine risk exposure and as a<br />

basis for risk-hedging.<br />

■ SA21<br />

21- West 212 A- CC<br />

Applications of Networks and Graphs<br />

Contributed Session<br />

Chair: Zeynep Ertem, Texas A&M University, Industrial & Systems<br />

Engineering, 3131 TAMU, College Station, TX, 77843,<br />

United States of America, zeynep84@tamu.edu<br />

1 - Detecting Research Fronts using Citation Network Analysis<br />

Katsuhide Fujita, The University of Tokyo, 2-11-16 Yayoi,<br />

Bunkyo-ku, Tokyo, 113-8656, Japan, fujita@ipr-ctr.t.u-tokyo.ac.jp,<br />

Yuya Kajikawa, Junichiro Mori, Ichiro Sakata<br />

One of the important methodologies for detecting the research fronts is the<br />

citation network analysis. Especially, citation network analysis with<br />

combinational types or weights has possibilities of finding the new research fronts<br />

compared with non-weighted and single type of citation networks. We perform a<br />

comparative study to investigate the each type of citation networks in detecting a<br />

research front using visibility, speed, topological relevance and keyword similarity.<br />

INFORMS Phoenix – 2012<br />

62<br />

2 - Social Network Analysis at Wine and Food Festival<br />

Bomi Kang, Associate Professor, Coastal Carolina University,<br />

P O Box 261954, Conway, SC, United States of America,<br />

bkang@coastal.edu, Young Jae Kim, Taylor Damonte<br />

Social network analysis emphasizes the importance of constructing the<br />

interconnectedness among concepts and knowledge networks in respondents’<br />

minds. The technique has gained popular use in social science over the past three<br />

decades. Using concept maps and degree centralities derived from social network<br />

analysis, authors demonstrated new insights in festivals in Myrtle Beach Area,<br />

through this novel technique.<br />

3 - Traffic Grooming in Optical Networks: Decomposition and<br />

Partial LP Relaxation<br />

Hui Wang, PhD Candidate, North Carolina State University, 2152<br />

Burlington Labs, Raleigh, NC, 27695, United States of America,<br />

hwang4@ncsu.edu, George Rouskas<br />

We consider the traffic grooming problem, a fundamental network design<br />

problem in optical networks. We propose a new decomposition approach with<br />

two subproblems: (1) virtual topology and traffic routing (VTTR), and (2) routing<br />

and wavelength assignment (RWA). We also propose an ascending utilization<br />

iterative algorithm based on partial LP relaxation to further improve the<br />

scalability of VTTR. Our approach delivers a desirable tradeoff between running<br />

time and quality of the final solution.<br />

4 - Graph Theoretical Analysis of Brain Networks<br />

Zeynep Ertem, Texas A&M University,Industrial & Systems<br />

Engineering, 3131 TAMU, College Station, TX, 77843,<br />

United States of America, zeynep84@tamu.edu, Sergiy Butenko<br />

Exploring the connectivity patterns of human brain is gaining more interest in the<br />

last decade. Correlated low frequency fluctuations in the blood oxygenation level<br />

dependent signal have been widely observed in connected brain regions. Resting<br />

state functional magnetic resonance imaging (R-fMRI) consists of hundreds of<br />

time periods for thousands of image voxels. Our aim is to model the brain as a<br />

complex network. The clusters are identified with graph theoretical analysis.<br />

■ SA22<br />

22- West 212 B- CC<br />

Topics in Real Time and Embedded Computing<br />

Sponsor: Computing Society<br />

Sponsored Session<br />

Chair: Alex Mills, Indiana University Kelley School of Business, 1309 E.<br />

Tenth Street, Bloomington, IN, 47405, United States of America,<br />

millsaf@indiana.edu<br />

1 - Optimization-based Frameworks for Dynamic Configuration of<br />

Real-time Systems with Energy Constraints<br />

Eduardo Camponogara, Professor, Federal University of Santa<br />

Catarina, Cx. P. 476, Florianopolis, 88040, Brazil,<br />

camponog@das.ufsc.br, Riad Nassiffe, George Lima<br />

Embedded real-time systems powered by batteries require suitable support for<br />

energy-savings at the operating system level. Mechanisms to do so must take into<br />

consideration not only energy constraints but also schedulability since tasks must<br />

execute within predefined time windows. Further, it is desired that application<br />

quality of service (QoS) is optimized. This talk presents two optimization-based<br />

frameworks for maximizing application QoS subject to both schedulability and<br />

energy constraints.<br />

2 - Can Randomness Buy Clairvoyance? Stochastic Scheduling of<br />

Mixed Criticality Real-time Job Systems<br />

Bader Al-Ahmad, PhD Student, University of British Columbia,<br />

2205 Lower Mall, P.O. Box 70, Vancouver, BC, V6T1Z4, Canada,<br />

baderalahmad84@gmail.com, Sathish Gopalakrishnan<br />

We pose the problem of stochastically scheduling mixed criticality jobs when job<br />

execution time distributions at all criticality levels are given. By stochastic, the<br />

dynamical evolution of the system criticality level over time is captured by a<br />

stochastic process. We ask: is such information any beneficial in reducing the<br />

pessimism of current deterministic algorithms? Our objective is to match as<br />

closely the performance of a powerful oracle that knows the future system<br />

behavior realization.<br />

3 - Temporal Logic Testing for Cyber-physical Systems<br />

Georgios Fainekos, Arizona State University,<br />

699 S. Mill Ave., Tempe, AZ, 85281, United States of America,<br />

Georgios.Fainekos@asu.edu, Sriram Sankaranarayanan<br />

One of the major challenges in Model Based Development (MBD) of Cyber-<br />

Physical Systems (CPS) is the verification of real-time functional system<br />

properties. In general, the problem is undecidable due to the interplay between<br />

continuous and discrete system dynamics. In this talk, we present how the<br />

problem of verification can be posed as an optimization problem which can be<br />

solved using stochastic optimization techniques including Monte-Carlo methods<br />

and the Cross Entropy method.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!