Integration of reliable algorithms into modeling software

In this note we discuss strategies that would enhance modern modeling and simulation software (MSS) with reliable routines using validated data types, controlled rounding, algorithmic differentiation and interval equation or initial value problem solver. Several target systems are highlighted. In stochastic traffic modeling, the computation of workload distributions plays a prominent role since they influence the quality of service parameters. INoWaTIV is a workload analysis tool that uses two different techniques: the polynomial factorization approach and the Wiener-Hopf factorization to determine the work-load distributions of GI/GI/1 and SMP/GI/1 service systems accurately. Two extensions of a multibody modeling and simulation software were developed to model kinematic and dynamic properties of multibody systems in a validated way. Furthermore, an interface was created that allows the computation of convex hulls and reliable lower bounds for the distances between subpav-ing-encoded objects constructed with SIVIA (Set Inverter Via Interval Analysis)

Creating digital collections

Presented to Colorado State University Libraries' Library Planning Group, May 19, 2009 at Colorado State University Libraries, Fort Collins, Colorado

Lily: A parser generator for LL(1) languages

This paper discusses the design and implementation of Lily, a language for generating LL(1) language parsers, originally designed by Dr. Thomas J. Sager of the University of Missouri--Rolla. A method for the automatic generation of parser tables is described which creates small, highly optimized tables, suitable for conversion to minimal perfect hash functions. An implementation of Lily is discussed with attention to design goals, implementation of parser table generation, and table optimization techniques. Proposals are made detailing possibilities for further augmentation of the system. Examples of Lily programs are given as well as a manual for the system

NSSDC Conference on Mass Storage Systems and Technologies for Space and Earth Science Applications, volume 2

This report contains copies of nearly all of the technical papers and viewgraphs presented at the NSSDC Conference on Mass Storage Systems and Technologies for Space and Earth Science Application. This conference served as a broad forum for the discussion of a number of important issues in the field of mass storage systems. Topics include the following: magnetic disk and tape technologies; optical disk and tape; software storage and file management systems; and experiences with the use of a large, distributed storage system. The technical presentations describe, among other things, integrated mass storage systems that are expected to be available commercially. Also included is a series of presentations from Federal Government organizations and research institutions covering their mass storage requirements for the 1990's

Radial Velocity Prospects Current and Future: A White Paper Report prepared by the Study Analysis Group 8 for the Exoplanet Program Analysis Group (ExoPAG)

[Abridged] The Study Analysis Group 8 of the NASA Exoplanet Analysis Group was convened to assess the current capabilities and the future potential of the precise radial velocity (PRV) method to advance the NASA goal to "search for planetary bodies and Earth-like planets in orbit around other stars.: (U.S. National Space Policy, June 28, 2010). PRVs complement other exoplanet detection methods, for example offering a direct path to obtaining the bulk density and thus the structure and composition of transiting exoplanets. Our analysis builds upon previous community input, including the ExoPlanet Community Report chapter on radial velocities in 2008, the 2010 Decadal Survey of Astronomy, the Penn State Precise Radial Velocities Workshop response to the Decadal Survey in 2010, and the NSF Portfolio Review in 2012. The radial-velocity detection of exoplanets is strongly endorsed by both the Astro 2010 Decadal Survey "New Worlds, New Horizons" and the NSF Portfolio Review, and the community has recommended robust investment in PRVs. The demands on telescope time for the above mission support, especially for systems of small planets, will exceed the number of nights available using instruments now in operation by a factor of at least several for TESS alone. Pushing down towards true Earth twins will require more photons (i.e. larger telescopes), more stable spectrographs than are currently available, better calibration, and better correction for stellar jitter. We outline four hypothetical situations for PRV work necessary to meet NASA mission exoplanet science objectives.Comment: ExoPAG SAG 8 final report, 112 pages, fixed author name onl

De Sistemas quirales 2D a 3D fabricados a partir de bloques plasmónicos y magnetoplasmónicos: fabricación, caracterización y análisis

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Ciencias Físicas, leída el 22/01/2021A comprehensive work in plasmonic chiral and achiral nanostructures is presented. The bottom-up fabricated structures range from simple building blocks such as metallic and dielectric disk dimers or rods, to more complex nanostructures built from these individual blocks, arranged in the plane (two dimensional structures) or out of plane (three dimensional structures). The fabrication process uses hole-mask colloidal lithography and multiaxial evaporation, a powerful and cost-effective fabrication technique able to obtain a variety of structures in large areas. Besides morphology changes, parameters such as the composition and the spatial arrangement of the building blocks which compose them have been varied to comprehend their role in the optical response of the structures. These parameters are tailored to obtain active chiral meta-structures with optimum properties. The fabricated structures are morphologically, optically and magneto-optically characterized in depth. A thorough and step-by-step experimental study to explain the chiro-optical response of complex chiral plasmonic nanostructures from the achiral responses of its constituents is shown. To fully characterize the physical properties hidden in the measurements of these structures, an alternative analysis of the Mueller matrix elements is developed. Using this method, the optical, chiro-optical and magnetooptical properties of these complex nano-systems are validated...Se presenta un estudio experimental exhaustivo y detallado para entender la respuesta quiral de nanoestructuras plasmónicas quirales complejas a partir de las respuestas aquirales de sus bloques constituyentes. Esto conlleva diferentes estructuras fabricadas, desde simples nano-objetos como barras o dímeros de discos compuestos por metal o dieléctrico, hasta nanoestructuras más complejas ensambladas en el plano (estructuras bidimensionales) o apiladas perpendicularmente al plano (estructuras tridimensionales). En el proceso de fabricación se utiliza la litografía coloidal de máscara de agujeros y la evaporación multieje, una técnica de fabricación potente y económicamente asequible, capaz de obtener una gran variedad de estructuras en grandes áreas. Además de los cambios morfológicos, se han variado parámetros tales como la composición y la disposición espacial de las piezas constituyentes, a fin de estudiar su influencia en la respuesta óptica. Estos parámetros se optimizan para obtener metaestructuras quirales activas con las mejores propiedades. Posteriormente, las estructuras fabricadas se caracterizan morfológica, óptica y magneto ópticamente. Para identificar plenamente las propiedades físicas ocultas en las medidas de estas estructuras, se desarrolla un análisis alternativo de los elementos de la matriz de Mueller. Con este método, se validan las propiedades ópticas, quiroópticas y magnetoópticas de estos complejos nanosistemas...Fac. de Ciencias FísicasTRUEunpu

Third CLIPS Conference Proceedings, volume 1

Expert systems are computed programs which emulate human expertise in well defined problem domains. The potential payoff from expert systems is high: valuable expertise can be captured and preserved, repetitive and/or mundane tasks requiring human expertise can be automated, and uniformity can be applied in decision making processes. The C Language Integrated Production Systems (CLIPS) is an expert system building tool, developed at the Johnson Space Center, which provides a complete environment for the development and delivery of rule and/or object based expert systems. CLIPS was specifically designed to provide a low cost option for developing and deploying expert system applications across a wide range of hardware platforms. The development of CLIPS has helped to improve the ability to deliver expert systems technology throughout the public and private sectors for a wide range of applications and diverse computing environments

NASA Scientific and Technical Information Standards

This document presents general recommended standards for documenting scientific and technical information (STI) from a number of scientific and engineering disciplines. It is a companion publication to NASA SP-7084, "Grammar, Punctuation, and Capitalization: A Handbook for Technical Writers and Editors," and is intended primarily for STI personnel and publishing personnel within NASA and who support NASA STI publishing. Section 1 gives an overview of NASA STI publications. Section 2 discusses figure preparation considerations. Section 3 covers table design, and Section 4 gives information about symbols and math related to STI publishing. Section 5 covers units of measure. Section 6 discusses References, and Section 7 discusses electronic documents. Section 8 covers information related to the review of STI prior to publication; this covers both technical and dissemination review and approval, including data quality. Section 9 discusses printing and dissemination related to STI, and Section 10 gives abbreviations and acronyms used in the document