GADZOOKS! Antineutrino Spectroscopy with Large Water Cerenkov Detectors

We propose modifying large water \v{C}erenkov detectors by the addition of 0.2% gadolinium trichloride, which is highly soluble, newly inexpensive, and transparent in solution. Since Gd has an enormous cross section for radiative neutron capture, with $\sum E_\gamma = 8$ MeV, this would make neutrons visible for the first time in such detectors, allowing antineutrino tagging by the coincidence detection reaction $\bar{\nu}_e + p \to e^+ + n$ (similarly for $\bar{\nu}_\mu$). Taking Super-Kamiokande as a working example, dramatic consequences for reactor neutrino measurements, first observation of the diffuse supernova neutrino background, Galactic supernova detection, and other topics are discussed.Comment: 4 pages, 1 figure, submitted to Phys. Rev. Lett. Correspondence to [email protected], [email protected]

The Three-Dimensional Structure of Interior Ejecta in Cassiopeia A at High Spectral Resolution

We used the Spitzer Space Telescope's Infrared Spectrograph to create a high resolution spectral map of the central region of the Cassiopeia A supernova remnant, allowing us to make a Doppler reconstruction of its 3D structure. The ejecta responsible for this emission have not yet encountered the remnant's reverse shock or the circumstellar medium, making it an ideal laboratory for exploring the dynamics of the supernova explosion itself. We observe that the O, Si, and S ejecta can form both sheet-like structures as well as filaments. Si and O, which come from different nucleosynthetic layers of the star, are observed to be coincident in velocity space in some regions, and separated by 500 km/s or more in others. Ejecta traveling toward us are, on average, ~900 km/s slower than the material traveling away from us. We compare our observations to recent supernova explosion models and find that no single model can simultaneously reproduce all the observed features. However, models of different supernova explosions can collectively produce the observed geometries and structures of the interior emission. We use the results from the models to address the conditions during the supernova explosion, concentrating on asymmetries in the shock structure. We also predict that the back surface of Cassiopeia A will begin brightening in ~30 years, and the front surface in ~100 years.Comment: 35 pages, 16 figures, accepted to Ap

Picking battles: The impact of trust assumptions on the elaboration of security requirements

This position paper describes work on trust assumptions in the con-text of security requirements. We show how trust assumptions can affect the scope of the analysis, derivation of security requirements, and in some cases how functionality is realized. An example shows how trust assumptions are used by a requirements engineer to help define and limit the scope of analysis and to document the decisions made during the process

Microwave Power Transmission System Studies. Volume 1: Executive Summary

A study of microwave power generation, transmission, reception and control was conducted as a part of a program to demonstrate the feasibility of power transmission from geosynchronous orbit. A summary is presented of results concerning design approaches, estimated costs (ROM), critical technology, associated ground and orbital test programs with emphasis on dc to rf conversion, transmitting antenna, phase control, mechanical systems, flight operations, ground power receiving-rectifying antenna with systems analysis, and evaluation. Recommendations for early further in-depth studies complementing the technology program are included

Microwave power transmission system studies. Volume 2: Introduction, organization, environmental and spaceborne systems analyses

Introduction, organization, analyses, conclusions, and recommendations for each of the spaceborne subsystems are presented. Environmental effects - propagation analyses are presented with appendices covering radio wave diffraction by random ionospheric irregularities, self-focusing plasma instabilities and ohmic heating of the D-region. Analyses of dc to rf conversion subsystems and system considerations for both the amplitron and the klystron are included with appendices for the klystron covering cavity circuit calculations, output power of the solenoid-focused klystron, thermal control system, and confined flow focusing of a relativistic beam. The photovoltaic power source characteristics are discussed as they apply to interfacing with the power distribution flow paths, magnetic field interaction, dc to rf converter protection, power distribution including estimates for the power budget, weights, and costs. Analyses for the transmitting antenna consider the aperture illumination and size, with associated efficiencies and ground power distributions. Analyses of subarray types and dimensions, attitude error, flatness, phase error, subarray layout, frequency tolerance, attenuation, waveguide dimensional tolerances, mechanical including thermal considerations are included. Implications associated with transportation, assembly and packaging, attitude control and alignment are discussed. The phase front control subsystem, including both ground based pilot signal driven adaptive and ground command approaches with their associated phase errors, are analyzed

Evaluation of automated decisionmaking methodologies and development of an integrated robotic system simulation. Appendix A: ROBSIM user's guide

The purpose of the Robotics Simulation Program is to provide a broad range of computer capabilities to assist in the design, verification, simulation, and study of robotics systems. ROBSIM is program in FORTRAN 77 for use on a VAX 11/750 computer under the VMS operating system. This user's guide describes the capabilities of the ROBSIM programs, including the system definition function, the analysis tools function and the postprocessor function. The options a user may encounter with each of these executables are explained in detail and the different program prompts appearing to the user are included. Some useful suggestions concerning the appropriate answers to be given by the user are provided. An example user interactive run in enclosed for each of the main program services, and some of the capabilities are illustrated

Evaluation of automated decision making methodologies and development of an integrated robotic system simulation: Study results

The implementation of a generic computer simulation for manipulator systems (ROBSIM) is described. The program is written in FORTRAN, and allows the user to: (1) Interactively define a manipulator system consisting of multiple arms, load objects, targets, and an environment; (2) Request graphic display or replay of manipulator motion; (3) Investigate and simulate various control methods including manual force/torque and active compliance control; and (4) Perform kinematic analysis, requirements analysis, and response simulation of manipulamotion. Previous reports have described the algorithms and procedures for using ROBSIM. These reports are superseded and additional features which were added are described. They are: (1) The ability to define motion profiles and compute loads on a common base to which manipulator arms are attached; (2) Capability to accept data describing manipulator geometry from a Computer Aided Design data base using the Initial Graphics exchange Specification format; (3) A manipulator control algorithm derived from processing the TV image of known reference points on a target; and (4) A vocabulary of simple high level task commands which can be used to define task scenarios

Evaluation of automated decisionmaking methodologies and development of an integrated robotic system simulation, appendix A

A generic computer simulation for manipulator systems (ROBSIM) was implemented and the specific technologies necessary to increase the role of automation in various missions were developed. The specific items developed were: (1) Capability for definition of a manipulator system consisting of multiple arms, load objects, and an environment; (2) Capability for kinematic analysis, requirements analysis, and response simulation of manipulator motion; (3) Postprocessing options such as graphic replay of simulated motion and manipulator parameter plotting; (4) Investigation and simulation of various control methods including manual force/torque and active compliance control; (5) Evaluation and implementation of three obstacle avoidance methods; (6) Video simulation and edge detection; and (7) Software simulation validation. This appendix is the user's guide and includes examples of program runs and outputs as well as instructions for program use

Evaluation of automated decisionmaking methodologies and development of an integrated robotic system simulation

A generic computer simulation for manipulator systems (ROBSIM) was implemented and the specific technologies necessary to increase the role of automation in various missions were developed. The specific items developed are: (1) capability for definition of a manipulator system consisting of multiple arms, load objects, and an environment; (2) capability for kinematic analysis, requirements analysis, and response simulation of manipulator motion; (3) postprocessing options such as graphic replay of simulated motion and manipulator parameter plotting; (4) investigation and simulation of various control methods including manual force/torque and active compliances control; (5) evaluation and implementation of three obstacle avoidance methods; (6) video simulation and edge detection; and (7) software simulation validation