Publications

Results 77601–77800 of 99,299

Search results

Jump to search filters

On the secure obfuscation of deterministic finite automata

Anderson, William E.

In this paper, we show how to construct secure obfuscation for Deterministic Finite Automata, assuming non-uniformly strong one-way functions exist. We revisit the software protection approaches originally proposed by [5, 10, 12, 17] and revise them to the current obfuscation setting of Barak et al. [2]. Under this model, we introduce an efficient oracle that retains some 'small' secret about the original program. Using this secret, we can construct an obfuscator and two-party protocol that securely obfuscates Deterministic Finite Automata against malicious adversaries. The security of this model retains the strong 'virtual black box' property originally proposed in [2] while incorporating the stronger condition of dependent auxiliary inputs in [15]. Additionally, we show that our techniques remain secure under concurrent self-composition with adaptive inputs and that Turing machines are obfuscatable under this model.

More Details
TYPE SAND Report YEAR 2008
DOIOSTI

Reduced-order model-based feedback control of flow over an obstacle using center manifold methods

Proposed for publication in the American Society of Mechanical Engineers publication.

Camphouse, Russell

In this paper, we consider a boundary control problem governed by the two-dimensional Burgers equation for a configuration describing convective flow over an obstacle. Flows over obstacles are important as they arise in many practical applications. Burgers equations are also significant as they represent a simpler form of the more general Navier-Stokes momentum equation describing fluid flow. The aim of the work is to develop a reduced-order boundary control-oriented model for the system with subsequent nonlinear control law design. The control objective is to drive the full order system to a desired 2D profile. Reduced-order modeling involves the application of an L{sub 2} optimization based actuation mode expansion technique for input separation, demonstrating how one can obtain a reduced-order Galerkin model in which the control inputs appear as explicit terms. Controller design is based on averaging and center manifold techniques and is validated with full order numerical simulation. Closed-loop results are compared to a standard linear quadratic regulator design based on a linearization of the reduced-order model. The averaging/center manifold based controller design provides smoother response with less control effort and smaller tracking error.

More Details
TYPE Journal Article YEAR 2008
OSTI

In-situ time-of-flight neutron diffraction of ErD2 (beta phase) formation during D2 loading

Rodriguez, Mark A.; Snow, Clark S.; Wixom, Ryan R.

In an effort to better understand the structural changes occurring during hydrogen loading of erbium target materials, we have performed D{sub 2} loading of erbium metal (powder) with simultaneous neutron diffraction analysis. This experiment tracked the conversion of Er metal to the {alpha} erbium deuteride (solid-solution) phase and then on to the {beta} (fluorite) phase. Complete conversion to ErD{sub 2.0} was accomplished at 10 Torr D{sub 2} pressure with deuterium fully occupying the tetrahedral sites in the fluorite lattice. Increased D{sub 2} pressure (up to 500 Torr at 450 C) revealed {approx}10 % deuterium occupation of the octahedral sites. Subsequent vacuum pumping of the sample at 450 C removed octahedral site occupancy while maintaining tetrahedral deuterium occupancy, thereby yielding stoichiometric ErD{sub 2.0} {beta} phase.

More Details
TYPE SAND Report YEAR 2008
DOIOSTI

THRIVE : a data reduction program for three-phase PDV/PDI and VISAR measurements

Dolan, Daniel H.; Jones, Scott C.

THRIVE (THRee Interferometer VElocimetry) is an analysis package for reducing three-phase interferometry measurements. Three-phase displacement interferometry measurements are the primary application of this program, although velocity interferometry is also supported. THRIVE uses a push-pull approach to transform measured signals to a pair of quadrature signals, from which fringe shift, target position, and target velocity are inferred. The program can analyze the signals in an ideal sense or compensate for non-ideal measurement conditions using ellipse characterization. The program can be run in any current version of MATLAB (release 2007a or later) or as a Windows XP executable.

More Details
TYPE SAND Report YEAR 2008
DOIOSTI

InGaN/GaN multi-quantum well and LED growth on wafer-bonded sapphire-on-polycrystalline AlN substrates by metalorganic chemical vapor deposition

Proposed for publication in the Journal of Crystal Growth.

Koleske, Daniel; Crawford, Mary H.; Thaler, Gerald; Russell, Michael J.

We report growth of InGaN/GaN multi-quantum well (MQW) and LED structures on a novel composite substrate designed to eliminate the coefficient of thermal expansion (CTE) mismatch problems which impact GaN growth on bulk sapphire. To form the composite substrate, a thin sapphire layer is wafer-bonded to a polycrystalline aluminum nitride (P-AlN) support substrate. The sapphire layer provides the epitaxial template for the growth; however, the thermo-mechanical properties of the composite substrate are determined by the P-AlN. Using these substrates, thermal stresses associated with temperature changes during growth should be reduced an order of magnitude compared to films grown on bulk sapphire, based on published CTE data. In order to test the suitability of the substrates for GaN LED growth, test structures were grown by metalorganic chemical vapor deposition (MOCVD) using standard process conditions for GaN growth on sapphire. Bulk sapphire substrates were included as control samples in all growth runs. In situ reflectance monitoring was used to compare the growth dynamics for the different substrates. The material quality of the films as judged by X-ray diffraction (XRD), photoluminescence and transmission electron microscopy (TEM) was similar for the composite substrate and the sapphire control samples. Electroluminescence was obtained from the LED structure grown on a P-AlN composite substrate, with a similar peak wavelength and peak width to the control samples. XRD and Raman spectroscopy results confirm that the residual strain in GaN films grown on the composite substrates is dramatically reduced compared to growth on bulk sapphire substrates.

More Details
TYPE Journal Article YEAR 2008
OSTI

Dispersion of titania nanoparticles in polydimethylsiloxane fluids using grafted low molecular weight polymers

Bell, Nelson S.; Frischknecht, Amalie L.

Nanoparticle interactions and their impact on particle dispersion and rheology are well known to be functions of the interfacial structure between the particle and the fluid phase. The dispersion and flow properties of a titania nanopowder were evaluated in polydimethylsiloxane fluid using ''grafted to'' surface modification of the titania with short molecular weight PDMS polymers. The interaction energy between particles was modeled using analytical expressions as well as dynamic functional theory for polymer surface chains. Particle dynamics as a function of volume fraction were characterized using light scattering, acoustic spectroscopy, and shear and oscillatory measurements. Autophobic dewetting is a novel short range interaction in this system that may be impacting the maximum packing fraction of particles in a suspension.

More Details
TYPE Conference YEAR 2008
OSTI

Experimental comparison of particle interaction measurement techniques using optical traps

Koehler, Timothy P.; Grillet, Anne M.; Brotherton, Christopher M.

Optical tweezers has become a powerful and common tool for sensitive determination of electrostatic interactions between colloidal particles. Recently, two techniques, 'blinking' tweezers and direct force measurements, have become increasingly prevalent in investigations of inter-particle potentials. The 'blinking' tweezers method acquires physical statistics of particle trajectories to determine drift velocities, diffusion coefficients, and ultimately colloidal forces as a function of the center-center separation of two particles. Direct force measurements monitor the position of a particle relative to the center of an optical trap as the separation distance between two continuously trapped particles is gradually decreased. As the particles near each other, the displacement from the trap center for each particle increases proportional to the inter-particle force. Although commonly employed in the investigation of interactions of colloidal particles, there exists no direct comparison of these experimental methods in the literature. In this study, an experimental apparatus was developed capable of performing both methods and is used to quantify electrostatic potentials between particles in several particle/solvent systems. Comparisons are drawn between the experiments conducted using the two measurement techniques, theory, and existing literature. Forces are quantified on the femto-Newton scale and results agree well with literature values.

More Details
TYPE Conference YEAR 2008
OSTI
Results 77601–77800 of 99,299
Results 77601–77800 of 99,299