Intelligent process development of foam molding for the Thermal Protection System (TPS) of the space shuttle external tank

A knowledge based system to assist process engineers in evaluating the processability and moldability of poly-isocyanurate (PIR) formulations for the thermal protection system of the Space Shuttle external tank (ET) is discussed. The Reaction Injection Molding- Process Development Advisor (RIM-PDA) is a coupled system which takes advantage of both symbolic and numeric processing techniques. This system will aid the process engineer in identifying a startup set of mold schedules and in refining the mold schedules to remedy specific process problems diagnosed by the system

Aerodynamics, Stability and Control of the 1903 Wright Flyer

The Los Angeles Chapter of the American Institute of Aero and Astronautics is building two replicas of the 1903 Wright Flyer airplane; one to wind-tunnel test and display, and a modified one to fly. As part of this project the aerodynamic characteristics of the Flyer are being analyzed by modern wind-tunnel and analytical techniques. Tnis paper describes the Wright Flyer Project, and compares key results from small-scale wind-tunnel tests and from vortex-lattice computations for this multi-biplane canard configuration. Analyses of the stability and control properties are summarized and their implications for closed-loop control by a pilot are derived using quasilinear pilot-vehicle analysis and illustrated by simulation time histories. It is concluded that, although the Wrights were very knowledgeable and ingenious with respect to aircraft controls and their interactions (e.g., the good effects of their wing-warp-to-rudder linkage are validated), they were largely ignorant of dynamic stability considerations. The paper shows that the 1903 Flyer was readily controllable about all axes but was intrinsically unstable in pitch and roll, and it could barely be stabilized by a skilled pilot

Artificial Intelligence in Radiotherapy Treatment Planning: Present and Future.

Treatment planning is an essential step of the radiotherapy workflow. It has become more sophisticated over the past couple of decades with the help of computer science, enabling planners to design highly complex radiotherapy plans to minimize the normal tissue damage while persevering sufficient tumor control. As a result, treatment planning has become more labor intensive, requiring hours or even days of planner effort to optimize an individual patient case in a trial-and-error fashion. More recently, artificial intelligence has been utilized to automate and improve various aspects of medical science. For radiotherapy treatment planning, many algorithms have been developed to better support planners. These algorithms focus on automating the planning process and/or optimizing dosimetric trade-offs, and they have already made great impact on improving treatment planning efficiency and plan quality consistency. In this review, the smart planning tools in current clinical use are summarized in 3 main categories: automated rule implementation and reasoning, modeling of prior knowledge in clinical practice, and multicriteria optimization. Novel artificial intelligence-based treatment planning applications, such as deep learning-based algorithms and emerging research directions, are also reviewed. Finally, the challenges of artificial intelligence-based treatment planning are discussed for future works

Efficient Precise Dynamic Data Race Detection For Cpu And Gpu

Data races are notorious bugs. They introduce non-determinism in programs behavior, complicate programs semantics, making it challenging to debug parallel programs. To make parallel programming easier, efficient data race detection has been a research topic in the last decades. However, existing data race detectors either sacrifice precision or incur high overhead, limiting their application to real-world applications and scenarios. This dissertation proposes approaches to improve the performance of dynamic data race detection without undermining precision, by identifying and removing metadata redundancy dynamically. This dissertation also explores ways to make it practical to detect data races dynamically for GPU programs, which has a disparate programming and execution model from CPU workloads. Further, this dissertation shows how the structured synchronization model in GPU programs can simplify the algorithm design of data race detection for GPU, and how the unique patterns in GPU workloads enable an efficient implementation of the algorithm, yielding a high-performance dynamic data race detector for GPU programs

Massively Parallel Computation Using Graphics Processors with Application to Optimal Experimentation in Dynamic Control

The rapid increase in the performance of graphics hardware, coupled with recent improvements in its programmability has lead to its adoption in many non-graphics applications, including wide variety of scientific computing fields. At the same time, a number of important dynamic optimal policy problems in economics are athirst of computing power to help overcome dual curses of complexity and dimensionality. We investigate if computational economics may benefit from new tools on a case study of imperfect information dynamic programming problem with learning and experimentation trade-off that is, a choice between controlling the policy target and learning system parameters. Specifically, we use a model of active learning and control of linear autoregression with unknown slope that appeared in a variety of macroeconomic policy and other contexts. The endogeneity of posterior beliefs makes the problem difficult in that the value function need not be convex and policy function need not be continuous. This complication makes the problem a suitable target for massively-parallel computation using graphics processors. Our findings are cautiously optimistic in that new tools let us easily achieve a factor of 15 performance gain relative to an implementation targeting single-core processors and thus establish a better reference point on the computational speed vs. coding complexity trade-off frontier. While further gains and wider applicability may lie behind steep learning barrier, we argue that the future of many computations belong to parallel algorithms anyway.Graphics Processing Units, CUDA programming, Dynamic programming, Learning, Experimentation

A Petal of the Sunflower: Photometry of the Stellar Tidal Stream in the Halo of Messier 63 (NGC 5055)

We present surface photometry of a very faint, giant arc feature in the halo of the nearby spiral galaxy NGC 5055 (M63) that is consistent with being a part of a stellar stream resulting from the disruption of a dwarf satellite galaxy. This faint feature was first detected in early photographic studies by van der Kruit (1979); more recently by Mart\'inez-Delgado et al. (2010) and as presented in this work, the loop has been realized to be the result of a recent minor merger through evidence obtained by deep images taken with a telescope of only 0.16 m aperture. The stellar stream is confirmed in additional images taken with the 0.5 m of the BlackBird Remote Observatory and the 0.8 m of the McDonald Observatory. This low surface brightness structure around the disk of the galaxy extends ~29 kpc from its center, with a projected width of 3.3 kpc. The stream's morphology is consistent with that of the visible part of a "great-circle" stellar stream originating from the accretion of a ~10^8 M_sun dwarf satellite in the last few Gyr. The progenitor satellite's current position and fate are not conclusive from our data. The color of the stream's stars is consistent with Local Group dwarfs and is similar to the outer regions of M63's disk and stellar halo. We detect other low surface brightness "plumes"; some of these may be extended spiral features related to the galaxy's complex spiral structure and others may be tidal debris associated with the disruption of the galaxy's outer stellar disk as a result of the accretion event. We differentiate between features related to the tidal stream and faint, blue features in the outskirts of the galaxy's disk previously detected by the GALEX satellite. With its highly warped HI gaseous disk (~20 deg), M63 represents one of several examples of an isolated spiral galaxy with a warped disk showing strong evidence of an ongoing minor merger.Comment: 16 pages, 10 figures, 3 tables, Accepted for publication in The Astronomical Journa

Hylomorphism and Resurrection

Hylomorphism provides an attractive framework for addressing issues in philosophical anthropology. After describing a hylomorphic theory that dovetails with current work in philosophy of mind and in scientific disciplines such as biology and neuroscience, I discuss how this theory meshes with Christian eschatology, the doctrine of resurrection in particular