Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “correspondence”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 487 records · Page 27

Methods of making polypeptides with non-standard amino acids using genomically recoded organisms

A method of making a polypeptide including at least one covalent bond between a pair of reactive side chains of corresponding amino acids, wherein the covalent bond is insensitive to reduction is provided including genetically modifying a genomically recoded organism to express a corresponding synthetase, tRNA or synthetase/tRNA pair for translating mRNA encoding the corresponding amino acids having the reactive side chains into the polypeptide and to express the polypeptide including the at least one pair of the reactive side chains wherein the reactive side chains are oriented near one another when the expressed polypeptide is in a folded configuration, wherein the reactive side chains react to form the covalent bond that is insensitive to reduction.

Church, George M.↗

System and method for incremental forming

A system includes a frame configured to hold a workpiece and first and second tool positioning assemblies configured to be opposed to each other on opposite sides of the workpiece. The first and second tool positioning assemblies each include a toolholder configured to secure a tool to the tool positioning assembly, a first axis assembly, a second axis assembly, and a third axis assembly. The first, second, and third axis assemblies are each configured to articulate the toolholder along a respective axis. Each axis assembly includes first and second guides extending generally parallel to the corresponding axis and disposed on opposing sides of the toolholder with respect to the corresponding axis. Each axis assembly includes first and second carriages articulable along the first and second guides of the axis assembly, respectively, in the direction of the corresponding axis.

Beltran, Michael↗

Digital microfluidic systems and methods for droplet manipulation

The present disclosure relates to digital microfluidic systems. Particularly, aspects are directed to a digital microfluidic system that includes a droplet chip having a substrate, a plurality of electrodes and corresponding plurality of conducting vias or embedded conductive posts formed in the substrate, and a dielectric layer formed over the plurality of electrodes; and a control chip having a substrate, a plurality of transistors and corresponding wiring layers formed in the substrate, and a plurality of contacts formed over the plurality of transistors. Each of the plurality of contacts is electrically connected to a corresponding transistor of the plurality of transistors, and one or more of the plurality of contacts is removably connected to one or more of the plurality of conducting vias or embedded conductive posts such that one or more of the plurality of transistors are electrically connected to one or more of the plurality of electrodes.

Gach, Philip↗

Phase identification using statistical analysis

A device includes at least one processor configured to determine, based on (i) a first plurality of time-varying electrical measurements corresponding to a feeder head of a power distribution network having a plurality of phases and (ii) a second plurality of time-varying electrical measurements corresponding to a node in the power distribution network, and using statistical analysis, a predicted phase, from the plurality of phases, that corresponds to the node. The processor may be configured to use ranked correlation coefficients (such as the Kendall rank correlation coefficient) to determine the predicted phase and may use principle component analysis. The processor is also configured to cause at least one device of the power distribution network to modify operation based at least on part on the predicted phase.

Veda, Santosh Sambamoorthy↗

Methods and systems for obtaining reconstructed low-frequency seismic data for determining a subsurface feature

A computer-implemented method for obtaining reconstructed seismic data for determining a subsurface feature, includes: determining an initial training velocity model, training a machine learning model based on first training seismic data and second training seismic data generated from the training velocity model, the first training seismic data corresponding to one or more first frequencies, the second training seismic data corresponding to one or more second frequencies lower than the one or more first frequencies, obtaining, based on measured seismic data and the machine learning model, reconstructed seismic data corresponding to the one or more second frequencies, generating a velocity model based on the measured seismic data, the reconstructed seismic data, and a full waveform inversion (FWI), and when the generated velocity model does not satisfy a preset condition, updating the training velocity model based on the generated velocity model, to obtain updated reconstructed seismic data for determining a subsurface feature.

58 GEOSCIENCES↗

Devices and methods for increasing the speed and efficiency at which a computer is capable of modeling a plurality of random walkers using a density method

A method for increasing a speed or energy efficiency at which a computer is capable of modeling a plurality of random walkers. The method includes defining a virtual space in which a plurality of virtual random walkers will move among different locations in the virtual space, wherein the virtual space comprises a plurality of vertices and wherein the different locations are ones of the plurality of vertices. A corresponding set of neurons in a spiking neural network is assigned to a corresponding vertex such that there is a correspondence between sets of neurons and the plurality of vertices, wherein a spiking neural network comprising a plurality of sets of spiking neurons is established. A virtual random walk of the plurality of virtual random walkers is executed using the spiking neural network, wherein executing includes tracking how many virtual random walkers are at each vertex at a given time increment.

Aimone, James Bradley↗

System and method to facilitate a search for a hybrid-manufacturing process plan

One embodiment of the present disclosure provides a system and method for facilitating a search for a hybrid-manufacturing process plan for manufacturing an object. During operation, the system can obtain a set of partial order constraints constraining the order in which a set of at least two manufacturing actions, corresponding to addition or removal of predefined regions of space, appear in a process plan. The system can constrain, based on the set of partial order constraints, a search space. The search space can correspond to a tree in which the nodes represent the object's state and the edges represent available actions at each node. The system can then determine a set of optimized process plans represented by orderings of the actions, corresponding to paths on the search tree, that produce the desired final state in a cost-effective manner.

Crawford, Lara S.↗

Computational framework for modeling of physical process

Techniques, systems, and devices are described for providing a computational frame for estimating high-dimensional stochastic behaviors. In one exemplary aspect, a method for performing numerical estimation includes receiving a set of measurements of a stochastic behavior. The set of correlated measurements follows a non-standard probability distribution and is non-linearly correlated. Also, a non-linear relationship exists between a set of system variables that describes the stochastic behavior and a corresponding set of measurements. The method includes determining, based on the set of measurements, a numerical model of the stochastic behavior. The numerical model comprises a feature space comprising non-correlated features corresponding to the stochastic behavior. The non-correlated features have a dimensionality of M and the set of measurements has a dimensionality of N, M being smaller than N. The method includes generating a set of approximated system variables corresponding to the set of measurements based on the numerical model.

Chen, Xiao↗

Tuple checkout with notify in coordination namespace system

A system and method for notifying a process about a creation or removal event of a named data element (NDE) in a coordination namespace distributed memory system. A controller runs methods to: generate a tuple corresponding to data generated by a requesting process, the tuple having a tuple name and data value; and generate a notification indicator in a pending notification list to indicate to one or more processes a notification of the creation or removal event associated with the corresponding tuple. Upon detecting the event performed on the tuple by a second process, the method further searches for NDEs in the distributed memory system having the same tuple name, and in response to determining an existence of an associated pending notification record in a pending notification list of records, notify each corresponding process of the one or more processes indicated in the list of the creation or removal event.

Jacob, Philip↗

Blockchain cybersecurity solutions

Technology related to blockchain cybersecurity solutions and a blockchain applicability framework is disclosed. In one example of the disclosed technology, a system is configured to store, in a database, a plurality of cryptographically-signed records of data transmitted between an asset and a utility historian, and store, in a distributed ledger, a respective hash value corresponding to each record of the database. The system can be further configured to verify a selected record by recomputing a hash value corresponding to the selected record and comparing the recomputed hash value to the respective hash value stored in the distributed ledger in correspondence with the selected record.

Gourisetti, Sri Nikhil Gupta↗

A Classification of G -invariant Shallow Neural Networks

When trying to fit a deep neural network (DNN) to a G-invariant target function with G a group, it only makes sense to constrain the DNN to be G-invariant as well. However, there can be many different ways to do this, thus raising the problem of “G-invariant neural architecture design”: What is the optimal Ginvariant architecture for a given problem? Before we can consider the optimization problem itself, we must understand the search space, the architectures in it, and how they relate to one another. In this paper, we take a first step towards this goal; we prove a theorem that gives a classification of all G-invariant single-hidden-layer or “shallow” neural network (G-SNN) architectures with ReLU activation for any finite orthogonal group G, and we prove a second theorem that characterizes the inclusion maps or “network morphisms” between the architectures that can be leveraged during neural architecture search (NAS). The proof is based on a correspondence of every G-SNN to a signed permutation representation of G acting on the hidden neurons; the classification is equivalently given in terms of the first cohomology classes of G, thus admitting a topological interpretation. The G-SNN architectures corresponding to nontrivial cohomology classes have, to our knowledge, never been explicitly identified in the literature previously. Using a code implementation, we enumerate the G-SNN architectures for some example groups G and visualize their structure. Lastly, we prove that architectures corresponding to inequivalent cohomology classes coincide in function space only when their weight matrices are zero, and we discuss the implications of this for NAS.

Agrawal, Devanshu↗

Fault-tolerant grid frequency measurement algorithm during transients

A system determines the frequency of grid signals corresponding to an electrical grid in real time. The system includes a transient detector that monitors a grid signal from a voltage meter or a current meter connected to the electrical grid. The system produces, in real time and at a sampling rate, a deviation signal indicative of a periodicity of the monitored grid signal. The system determines, over one or more cycles of the monitored grid signal, a measurement signal corresponding to the deviation signal. The system determines a frequency signal that corresponds a frequency estimation of the monitored signal by applying a frequency estimation when values of the measurement signal are less than a deviation threshold and maintaining the frequency signal at a constant value when values of the measured signal equal or exceeds the deviation threshold.

Zhan, Lingwei↗

Computational framework for modeling of physical process

Techniques, systems, and devices are described for providing a computational frame for estimating high-dimensional stochastic behaviors. In one exemplary aspect, a method for performing numerical estimation includes receiving a set of measurements of a stochastic behavior. The set of correlated measurements follows a non-standard probability distribution and is non-linearly correlated. Also, a non-linear relationship exists between a set of system variables that describes the stochastic behavior and a corresponding set of measurements. The method includes determining, based on the set of measurements, a numerical model of the stochastic behavior. The numerical model comprises a feature space comprising non-correlated features corresponding to the stochastic behavior. The non-correlated features have a dimensionality of M and the set of measurements has a dimensionality of N, M being smaller than N. The method includes generating a set of approximated system variables corresponding to the set of measurements based on the numerical model.

Chen, Xiao↗

Gravitating spinning strings in AdS 3

In the AdS/CFT correspondence, single trace operators of large-N gauge theories at large spin J can be described by classical spinning strings, giving a geometric and classical description of their spectrum at strong coupling. We observe that in AdS 3 these strings have significant gravitational back-reaction at sufficiently large spin, since the gravitational force does not decay at long distances. We construct solutions for folded spinning strings coupled to gravity in AdS 3 and compute their spectrum, corresponding to the leading Regge trajectory of Virasroro primary operators. These solutions exist only below a maximal spin J < J max , and as J → J max the solution approaches an extremal rotating BTZ black hole.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

BMS symmetry via AdS/CFT

With a view to understanding extended-BMS symmetries in the framework of the AdS 4 /CFT 3 correspondence, asymptotically AdS geometries are constructed with null impulsive shockwaves involving a discontinuity in superrotation parameters. The holographic dual is proposed to be a two-dimensional Euclidean defect conformal field localized on a particular timeslice in a three-dimensional conformal field theory on de Sitter spacetime. The defect conformal field theory generates a natural action of the Virasoro algebra. The large radius of curvature limit ℓ → ∞ yields spacetimes with nontrivial extended-BMS charges corresponding to a single set of Virasoro charges.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

BPS fivebrane stars. Part I. Expectation values of observables

We study ensembles of 1/2-BPS bound states of fundamental strings and NS-fivebranes (NS5-F1 states) in the AdS decoupling limit. We revisit a solution corresponding to an ensemble average of these bound states, and find that the appropriate duality frame for describing the near-source structure is the T-dual NS5-P frame, where the bound state is a collection of momentum waves on the fivebranes. We find that the fivebranes are generically well-separated; this property results in the applicability of perturbative string theory. The geometry sourced by the typical microstate is not close to that of an extremal non-rotating black hole; instead the fivebranes occupy a ball whose radius is parametrically much larger than the “stretched horizon” scale of the corresponding black hole. These microstates are thus better characterized as BPS fivebrane stars than as small black holes.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Coarse-grained fixed-point tensor networks and holographic reflected entropy in 3D gravity

We use the framework of fixed-point BCFT tensor networks to present a microscopic CFT derivation of the correspondence between reflected entropy (RE) and entanglement wedge cross section (EW) in AdS 3 /CFT 2 , for both bipartite and multipartite settings. These fixed-point tensor networks, obtained by triangulating Euclidean CFT path integrals, allow us to explicitly construct the canonical purification via cutting-and-gluing CFT path integrals. Employing modular flow in the large-c limit, we demonstrate that these intrinsic CFT manipulations reproduce bulk geometric prescriptions, without assuming the AdS/CFT dictionary. The emergence of bulk geometry is traced to coarse-graining over heavy states in the large-c limit. Universal coarse-grained BCFT data for compact 2D CFTs, through the relation to Liouville theory with ZZ boundary conditions, yields hyperbolic geometry on the Cauchy slice. The corresponding averaged replica partition functions reproduce all candidate EWs, arising from different averaging patterns, with the dominant one providing the correct RE and EW. In this way, many heuristic tensor-network intuitions in toy models are made precise and established directly from intrinsic CFT data.

AdS-CFT correspondence↗

Constraints on long-range forces in de Sitter space

The representation theory of de Sitter space admits partially massless (PM) particles, but whether such particles can participate in consistent interacting theories remains unclear. We investigate the consistency of theories containing PM fields, particularly when these fields are coupled to gravity. Our strategy exploits the fact that PM fields correspond to partially conserved currents on the spacetime boundary, which generate symmetries. These symmetries place stringent constraints on correlation functions of charged operators, allowing us to test the consistency of a proposed bulk spectrum. When the assumed operator content violates these constraints, the corresponding bulk theory is ruled out. Applying this framework, we show that, in four-dimensional de Sitter space, PM fields of spin 2 or 3 (at depth 0) cannot couple consistently to gravity: such couplings necessitate additional massive fields, which are inevitably non-unitary. In higher dimensions, however, the constraints can be satisfied without violating unitarity if further PM fields are included. The resulting structure leads to additional charge conservation laws, which suggests that consistency may ultimately require an infinite tower of higher-spin PM fields, akin to the situation for ordinary higher-spin symmetries. The methods developed here provide powerful constraints on possible long-range interactions in de Sitter space and delineate the landscape of consistent quantum field theories in cosmological spacetimes.

AdS-CFT Correspondence↗