Publications

Results 77601–77700 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
Results 77601–77700 of 99,299
Results 77601–77700 of 99,299