Scenic Design of James and the Giant Peach

The purpose of this thesis is to provide research, supporting paperwork, production photographs and other materials that document the scenic design process for James and the Giant Peach at Adventure Theatre MTC. This thesis contains the following: concept statement, scenic research images collected to express location, and the emotional/ intellectual/ psychological landscapes for the production, preliminary sketches, photographs of the ¼” scale model, drafting plates and supporting paint elevations to communicate the design, prop list and accompanying research, archival production photographs to document the completed design, and finally periodical reviews of the show.

Motion Planning and Controls with Safety and Temporal Constraints

Motion planning, or trajectory planning, commonly refers to a process of converting high-level task specifications into low-level control commands that can be executed on the system of interest. For different applications, the system will be different. It can be an autonomous vehicle, an Unmanned Aerial Vehicle(UAV), a humanoid robot, or an industrial robotic arm. As human machine interaction is essential in many of these systems, safety is fundamental and crucial. Many of the applications also involve performing a task in an optimal manner within a given time constraint. Therefore, in this thesis, we focus on two aspects of the motion planning problem. One is the verification and synthesis of the safe controls for autonomous ground and air vehicles in collision avoidance scenarios. The other part focuses on the high-level planning for the autonomous vehicles with the timed temporal constraints. In the first aspect of our work, we first propose a verification method to prove the safety and robustness of a path planner and the path following controls based on reachable sets. We demonstrate the method on quadrotor and automobile applications. Secondly, we propose a reachable set based collision avoidance algorithm for UAVs. Instead of the traditional approaches of collision avoidance between trajectories, we propose a collision avoidance scheme based on reachable sets and tubes. We then formulate the problem as a convex optimization problem seeking control set design for the aircraft to avoid collision. We apply our approach to collision avoidance scenarios of quadrotors and fixed-wing aircraft. In the second aspect of our work, we address the high level planning problems with timed temporal logic constraints. Firstly, we present an optimization based method for path planning of a mobile robot subject to timed temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specifications such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints. We then translate the MTL formulae into mixed integer linear constraints and solve the associated optimization problem using a mixed integer linear program solver. We have applied our approach on several case studies in complex dynamical environments subjected to timed temporal specifications. Secondly, we also present a timed automaton based method for planning under the given timed temporal logic specifications. We use metric interval temporal logic (MITL), a member of the MTL family, to represent the task specification, and provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find an optimal motion (or path) sequence for the robot to complete the task.

INTIMATE APPAREL: AN EXPLORATION OF COSTUME DESIGN IDEAS AND PROCESS FOR THE UNIVERSITY OF MARYLAND’S DEPARTMENT OF THEATRE, DANCE AND PERFORMING 2015 PRODUCTION

The following thesis navigates the primary artistic concept, design process and execution of Marchlena Rodgers’ costume design for the University of Maryland’s production of Intimate Apparel. Intimate Apparel opened October 9, 2015 in the University of Maryland’s Kay Theatre. The piece was written by Lynn Nottage directed by Jennifer Nelson. The set was designed by Lydia Francis, Lighting was designed by Max Doolittle.

Tartuffe: Costume Design

The following thesis documents the design process and execution of Tyler Gunther’s costume design for the Theatre, Dance and Performance Studies’ production of Tartuffe. The production opened November 6, 2015 in the University of Maryland’s Kogod Theater. It was directed by Lee Mikeska Gardner with the set designed by Halea Coulter and lighting designed by Connor Dreibelbis.

Troilus and Cressida - A Scenic Design

The purpose of this thesis is to provide research, supporting paperwork, production photographs, and other materials that document the scenic design process for the production of William Shakespeare’s Troilus & Cressida by the University of Maryland – College Park, School of Theater, Dance, and Performance Studies. This thesis contains the following: scenic research images collected to express period, location, and emotional/intellectual landscapes to the production team; preliminary sketches; photographs of the ¼” scale model; a full set of drafting plates and paint elevations used to communicate the design to the technical director and paint charge; a unit list naming each scenic element; a props list and research book to detail each hand prop, furniture piece and consumable to the prop master; and, lastly, archival production photographs to document the completed design.

Intimate Apparel: A Lighting Design

The purpose of this thesis is to provide research, supporting paperwork and production photographs that document the lighting design for the University of Maryland - College Park, School of Theatre, Dance, and Performance Studies’ production of Intimate Apparel, by Lynn Nottage. This thesis contains the following: a design concept statement, research images collected to develop and visually communicate ideas about color, texture, intensity, form, composition and mood to the production team; preliminary and final organization of desired equipment to execute the lighting design; a full set of drafting plates and supplementary paperwork used to communicate the organization and placement of lighting equipment to the master electrician; and magic sheets and cue lists used as organizational tools for the lighting designer during the tech process. Archival production photographs are included as documentation of the completed design.

Physical Design Methodologies for Low Power and Reliable 3D ICs

As the semiconductor industry struggles to maintain its momentum down the path following the Moore's Law, three dimensional integrated circuit (3D IC) technology has emerged as a promising solution to achieve higher integration density, better performance, and lower power consumption. However, despite its significant improvement in electrical performance, 3D IC presents several serious physical design challenges. In this dissertation, we investigate physical design methodologies for 3D ICs with primary focus on two areas: low power 3D clock tree design, and reliability degradation modeling and management. Clock trees are essential parts for digital system which dissipate a large amount of power due to high capacitive loads. The majority of existing 3D clock tree designs focus on minimizing the total wire length, which produces sub-optimal results for power optimization. In this dissertation, we formulate a 3D clock tree design flow which directly optimizes for clock power. Besides, we also investigate the design methodology for clock gating a 3D clock tree, which uses shutdown gates to selectively turn off unnecessary clock activities. Different from the common assumption in 2D ICs that shutdown gates are cheap thus can be applied at every clock node, shutdown gates in 3D ICs introduce additional control TSVs, which compete with clock TSVs for placement resources. We explore the design methodologies to produce the optimal allocation and placement for clock and control TSVs so that the clock power is minimized. We show that the proposed synthesis flow saves significant clock power while accounting for available TSV placement area. Vertical integration also brings new reliability challenges including TSV's electromigration (EM) and several other reliability loss mechanisms caused by TSV-induced stress. These reliability loss models involve complex inter-dependencies between electrical and thermal conditions, which have not been investigated in the past. In this dissertation we set up an electrical/thermal/reliability co-simulation framework to capture the transient of reliability loss in 3D ICs. We further derive and validate an analytical reliability objective function that can be integrated into the 3D placement design flow. The reliability aware placement scheme enables co-design and co-optimization of both the electrical and reliability property, thus improves both the circuit's performance and its lifetime. Our electrical/reliability co-design scheme avoids unnecessary design cycles or application of ad-hoc fixes that lead to sub-optimal performance. Vertical integration also enables stacking DRAM on top of CPU, providing high bandwidth and short latency. However, non-uniform voltage fluctuation and local thermal hotspot in CPU layers are coupled into DRAM layers, causing a non-uniform bit-cell leakage (thereby bit flip) distribution. We propose a performance-power-resilience simulation framework to capture DRAM soft error in 3D multi-core CPU systems. In addition, a dynamic resilience management (DRM) scheme is investigated, which adaptively tunes CPU's operating points to adjust DRAM's voltage noise and thermal condition during runtime. The DRM uses dynamic frequency scaling to achieve a resilience borrow-in strategy, which effectively enhances DRAM's resilience without sacrificing performance. The proposed physical design methodologies should act as important building blocks for 3D ICs and push 3D ICs toward mainstream acceptance in the near future.

Designing Happiness: Architecture and urban design for joy and well-being

Scientific studies exploring the environmental and experiential elements that help boost human happiness have become a significant and expanding body of work. Some urban designers, architects and planners are looking to apply this knowledge through policy decisions and design, but there is a great deal of room for further study and exploration. This paper looks at definitions of happiness and happiness measurements used in research. The paper goes on to introduce six environmental factors identified in a literature review that have design implications relating to happiness: Nature, Light, Surprise, Access, Identity, and Sociality. Architectural precedents are examined and design strategies are proposed for each factor, which are then applied to a test case site and building in Baltimore, Maryland. It is anticipated that these factors and strategies will be useful to architects, urban designers and planners as they endeavor to design positive user experiences and set city shaping policy.