The effect of flight line spacing on radioactivity inventory and spatial feature characteristics of airborne gamma-ray spectrometry data

Airborne Gamma Spectrometry (AGS) is well suited to the mapping of radioactivity in the environment. Flight parameters (e.g. speed and line spacing) directly affect the rate of area coverage, cost, and data quality of any survey. The influences of line spacing have been investigated for data from inter‐tidal, coastal and upland environments with a range of <sup>137</sup>Cs activity concentrations and depositional histories. Estimates of the integrated <sup>137</sup>Cs activity (‘inventory’) within specified areas and the shapes of depositional features were calculated for subsets of the data at different line spacings. Features with dimensions greater than the line spacing show variations in inventory and area of less than 3%, and features with dimensions less than the line spacing show larger variations and a decreased probability of detection. The choice of line spacing for a task is dependent on the dimensions of the features of interest and required edge definition. Options for line spacing for different tasks are suggested. It is noted that for regional mapping, even 5–10 km line spacing can produce useful data

Advanced Transport Operating System (ATOPS) Flight Management/Flight Controls (FM/FC) software description

The flight software developed for the Flight Management/Flight Controls (FM/FC) MicroVAX computer used on the Transport Systems Research Vehicle for Advanced Transport Operating Systems (ATOPS) research is described. The FM/FC software computes navigation position estimates, guidance commands, and those commands issued to the control surfaces to direct the aircraft in flight. Various modes of flight are provided for, ranging from computer assisted manual modes to fully automatic modes including automatic landing. A high-level system overview as well as a description of each software module comprising the system is provided. Digital systems diagrams are included for each major flight control component and selected flight management functions

Study of perturbed periodic systems of differential equations - The Stroboscopic method

Stroboscopic method for solving perturbed periodic systems of differential equation

Incremental, Inductive Coverability

We give an incremental, inductive (IC3) procedure to check coverability of well-structured transition systems. Our procedure generalizes the IC3 procedure for safety verification that has been successfully applied in finite-state hardware verification to infinite-state well-structured transition systems. We show that our procedure is sound, complete, and terminating for downward-finite well-structured transition systems---where each state has a finite number of states below it---a class that contains extensions of Petri nets, broadcast protocols, and lossy channel systems. We have implemented our algorithm for checking coverability of Petri nets. We describe how the algorithm can be efficiently implemented without the use of SMT solvers. Our experiments on standard Petri net benchmarks show that IC3 is competitive with state-of-the-art implementations for coverability based on symbolic backward analysis or expand-enlarge-and-check algorithms both in time taken and space usage.Comment: Non-reviewed version, original version submitted to CAV 2013; this is a revised version, containing more experimental results and some correction

Nanoengineering Neural Stem Cells on Biomimetic Substrates Using Magnetofection Technology

Tissue engineering studies are witnessing a major paradigm shift to cell culture on biomimetic materials that replicate native tissue features from which the cells are derived. Few studies have been performed in this regard for neural cells, particularly in nanomedicine. For example, platforms such as magnetic nanoparticles (MNPs) have proven efficient as multifunctional tools for cell tracking and genetic engineering of neural transplant populations. However, as far as we are aware, all current studies have been conducted using neural cells propagated on non-neuromimetic substrates that fail to represent the mechano-elastic properties of brain and spinal cord microenvironments. Accordingly, it can be predicted that such data is of less translational and physiological relevance than that derived from cells grown in neuromimetic environments. Therefore, we have performed the first test of magnetofection technology (enhancing MNP delivery using applied magnetic fields with significant potential for therapeutic application) and its utility in genetically engineering neural stem cells (NSCs; a population of high clinical relevance) propagated in biomimetic hydrogels. We demonstrate magnetic field application safely enhances MNP mediated transfection of NSCs grown as 3D spheroid structures in collagen which more closely replicates the intrinsic mechanical and structural properties of neural tissue than routinely used hard substrates. Further, as it is well known that MNP uptake is mediated by endocytosis we also investigated NSC membrane activity grown on both soft and hard substrates. Using high resolution scanning electron microscopy we were able to prove that NSCs display lower levels of membrane activity on soft substrates compared to hard, a finding which could have particular impact on MNP mediated engineering strategies of cells propagated in physiologically relevant systems

Boundary effects in finite size plasmonic crystals: Focusing and routing of plasmonic beams for optical communications

Plasmonic crystals, which consist of periodic arrangements of surface features at a metal-dielectric interface, allow the manipulation of optical information in the form of surface plasmon polaritons. Here we investigate the excitation and propagation of plasmonic beams in and around finite size plasmonic crystals at telecom wavelengths, highlighting the effects of the crystal boundary shape and illumination conditions. Significant differences in broad plasmonic beam generation by crystals of different shapes are demonstrated, while for narrow beams, the propagation onto the smooth metal film is less sensitive to the crystal boundary shape. We show that by controlling the boundary shape, the size and the excitation beam parameters, directional control of propagating plasmonic modes and associated beam parameters such as angular beam splitting, focusing power and beam width can be efficiently achieved. This provides a promising route for robust and alignment-independent integration of plasmonic crystals with optical communication components

Stanford Aerospace Research Laboratory research overview

Over the last ten years, the Stanford Aerospace Robotics Laboratory (ARL) has developed a hardware facility in which a number of space robotics issues have been, and continue to be, addressed. This paper reviews two of the current ARL research areas: navigation and control of free flying space robots, and modelling and control of extremely flexible space structures. The ARL has designed and built several semi-autonomous free-flying robots that perform numerous tasks in a zero-gravity, drag-free, two-dimensional environment. It is envisioned that future generations of these robots will be part of a human-robot team, in which the robots will operate under the task-level commands of astronauts. To make this possible, the ARL has developed a graphical user interface (GUI) with an intuitive object-level motion-direction capability. Using this interface, the ARL has demonstrated autonomous navigation, intercept and capture of moving and spinning objects, object transport, multiple-robot cooperative manipulation, and simple assemblies from both free-flying and fixed bases. The ARL has also built a number of experimental test beds on which the modelling and control of flexible manipulators has been studied. Early ARL experiments in this arena demonstrated for the first time the capability to control the end-point position of both single-link and multi-link flexible manipulators using end-point sensing. Building on these accomplishments, the ARL has been able to control payloads with unknown dynamics at the end of a flexible manipulator, and to achieve high-performance control of a multi-link flexible manipulator