Efficient asynchronous accumulators for distributed PKI

Cryptographic accumulators are a tool for compact set representation and secure set membership proofs. When an element is added to a set by means of an accumulator, a membership witness is generated. This witness can later be used to prove the membership of the element. Typically, the membership witness has to be synchronized with the accumulator value, and to be updated every time another element is added to the accumulator. In this work we propose an accumulator that, unlike any prior scheme, does not require strict synchronization. In our construction a membership witness needs to be updated only a logarithmic number of times in the number of subsequent element additions. Thus, an out-of-date witness can be easily made current. Vice versa, a verifier with an out-of-date accumulator value can still verify a current membership witness. These properties make our accumulator construction uniquely suited for use in distributed applications, such as blockchain-based public key infrastructures

Wide-bandwidth high-resolution search for extraterrestrial intelligence

This interim report summarizes the research accomplished during the initial 6-month period of the grant. Activities associated with antenna configurations, the channelizing downconverter, the fast Fourier transform array, the DSP (digital signal processing) array, and the backend and UNIX workstation are discussed. Publications submitted during the reporting period are listed

Using the Fermilab Proton Source for a Muon to Electron Conversion Experiment

The Fermilab proton source is capable of providing 8 GeV protons for both the future long-baseline neutrino program (NuMI), and for a new program of low energy muon experiments. In particular, if the 8 GeV protons are rebunched and then slowly extracted into an external beamline, the resulting proton beam would be suitable for a muon-to-electron conversion experiment designed to improve on the existing sensitivity by three orders of magnitude. We describe a scheme for the required beam manipulations. The scheme uses the Accumulator for momentum stacking, and the Debuncher for bunching and slow extraction. This would permit simultaneous operation of the muon program with the future NuMI program, delivering 10^20 protons per year at 8 GeV for the muon program at the cost of a modest (~10%) reduction in the protons available to the neutrino program.Comment: 18 pages, 7 figure

An investigation of hydraulic-line resonance and its attenuation

An investigation of fluid resonance in high-pressure hydraulic lines has been made with two types of fluid dampers (or filters) installed in the line. One type involved the use of one or more closed-end tubes branching at right angles from a main line, and the other type was a fluid muffler installed in-line. These devices were evaluated in forced vibration tests with oscillatory disturbances over a 1000-Hz range applied to one end of the line and with oscillatory pressures measured at various stations along the main pipe. Limited applications of acoustic-wave theory to the branched systems are also included. Results show varying attenuations of pressure perturbations, depending on the number and location of branches and the type of muffler. Up to three branches were used in the branch-resonator study, and the largest frequency range with maximum attenuation was obtained for a three-branch configuration. The widest frequency ranges with significant attenuations were obtained with two types of fluid mufflers

Improving the Accuracy and Scope of Control-Oriented Vapor Compression Cycle System Models

The benefits of applying advanced control techniques to vapor compression cycle systems are well know. The main advantages are improved performance and efficiency, the achievement of which brings both economic and environmental gains. One of the most significant hurdles to the practical application of advanced control techniques is the development of a dynamic system level model that is both accurate and mathematically tractable. Previous efforts in control-oriented modeling have produced a class of heat exchanger models known as moving-boundary models. When combined with mass flow device models, these moving-boundary models provide an excellent framework for both dynamic analysis and control design. This thesis contains the results of research carried out to increase both the accuracy and scope of these system level models. The improvements to the existing vapor compression cycle models are carried out through the application of various modeling techniques, some static and some dynamic, some data-based and some physics-based. Semiempirical static modeling techniques are used to increase the accuracy of both heat exchangers and mass flow devices over a wide range of operating conditions. Dynamic modeling techniques are used both to derive new component models that are essential to the simulation of very common vapor compression cycle systems and to improve the accuracy of the existing compressor model. A new heat exchanger model that accounts for the effects of moisture in the air is presented. All of these model improvements and additions are unified to create a simple but accurate system level model with a wide range of application. Extensive model validation results are presented, providing both qualitative and quantitative evaluation of the new models and model improvements.Air Conditioning and Refrigeration Project 17

Novel sparse OBC based distributed arithmetic architecture for matrix transforms

Inner product (IP) forms the basis of a number of signal processing algorithms and applications such as transforms, filters, communication systems etc. Distributed arithmetic (DA) provides an effective methodology to implement IP of vectors and matrices using a simple combination of memory elements, adders and shifters instead of lumped multipliers. This bit level rearrangement results in much higher computational efficiencies and yields compact designs highly suited for high performance resource constrained applications. Offset binary coding (OBC) is an effective technique to further optimize the DA, and allows us to reduce the memory requirements by a factor of two, with minimum additional computational complexity. This makes OBC-DA attractive for applications that are both resource and memory constrained. In addition, sparse matrix factorization techniques can be exploited to further reduce the size of the DA-ROMs. In this paper, the design and implementation of a novel OBC based DA is demonstrated using a generic architecture for implementing discrete orthogonal transforms (DOTs). Implementation is performed on the Xilinx Virtex-II Pro field programmable gate array (FPGA), and a detailed comparison between conventional and OBC based DA is presented to highlight the trade offs in various design metrics including performance, area and power

Testing multi-alternative decision models with non-stationary evidence

Recent research has investigated the process of integrating perceptual evidence toward a decision, converging on a number of sequential sampling choice models, such as variants of race and diffusion models and the non-linear leaky competing accumulator (LCA) model. Here we study extensions of these models to multi-alternative choice, considering how well they can account for data from a psychophysical experiment in which the evidence supporting each of the alternatives changes dynamically during the trial, in a way that creates temporal correlations. We find that participants exhibit a tendency to choose an alternative whose evidence profile is temporally anti-correlated with (or dissimilar from) that of other alternatives. This advantage of the anti-correlated alternative is well accounted for in the LCA, and provides constraints that challenge several other models of multi-alternative choice

A Neural Model of How the Brain Represents and Compares Multi-Digit Numbers: Spatial and Categorical Processes

Both animals and humans are capable of representing and comparing numerical quantities, but only humans seem to have evolved multi-digit place-value number systems. This article develops a neural model, called the Spatial Number Network, or SpaN model, which predicts how these shared numerical capabilities are computed using a spatial representation of number quantities in the Where cortical processing stream, notably the Inferior Parietal Cortex. Multi-digit numerical representations that obey a place-value principle are proposed to arise through learned interactions between categorical language representations in the What cortical processing stream and the Where spatial representation. It is proposed that learned semantic categories that symbolize separate digits, as well as place markers like "tens," "hundreds," "thousands," etc., are associated through learning with the corresponding spatial locations of the Where representation, leading to a place-value number system as an emergent property of What-Where information fusion. The model quantitatively simulates error rates in quantification and numerical comparison tasks, and reaction times for number priming and numerical assessment and comparison tasks. In the Where cortical process, it is proposed that transient responses to inputs are integrated before they activate an ordered spatial map that selectively responds to the number of events in a sequence. Neural mechanisms are defined which give rise to an ordered spatial numerical map ordering and Weber law characteristics as emergent properties. The dynamics of numerical comparison are encoded in activity pattern changes within this spatial map. Such changes cause a "directional comparison wave" whose properties mimic data about numerical comparison. These model mechanisms are variants of neural mechanisms that have elsewhere been used to explain data about motion perception, attention shifts, and target tracking. Thus, the present model suggests how numerical representations may have emerged as specializations of more primitive mechanisms in the cortical Where processing stream. The model's What-Where interactions can explain human psychophysical data, such as error rates and reaction times, about multi-digit (base 10) numerical stimuli, and describe how such a competence can develop through learning. The SpaN model and its explanatory range arc compared with other models of numerical representation.Defense Advanced Research Projects Agency and the Office of Naval Research (N00014-95-1-0409); National Science Foundation (IRI-97-20333

An airfoil pitch apparatus-modeling and control design

The study of dynamic stall of rapidly pitching airfoils is being conducted at NASA Ames Research Center. Understanding this physical phenomenon will aid in improving the maneuverability of fighter aircraft as well as civilian aircraft. A wind tunnel device which can linearly pitch and control an airfoil with rapid dynamic response is needed for such tests. To develop a mechanism capable of high accelerations, an accurate model and control system is created. The model contains mathematical representations of the mechanical system, including mass, spring, and damping characteristics for each structural element, as well as coulomb friction and servovalve saturation. Electrical components, both digital and analog, linear and nonlinear, are simulated. The implementation of such a high-performance system requires detailed control design as well as state-of-the-art components. This paper describes the system model, states the system requirements, and presents results of its theoretical performance which maximizes the structural and hydraulic aspects of this system