17,569 research outputs found
Cross-level Validation of Topological Quantum Circuits
Quantum computing promises a new approach to solving difficult computational
problems, and the quest of building a quantum computer has started. While the
first attempts on construction were succesful, scalability has never been
achieved, due to the inherent fragile nature of the quantum bits (qubits). From
the multitude of approaches to achieve scalability topological quantum
computing (TQC) is the most promising one, by being based on an flexible
approach to error-correction and making use of the straightforward
measurement-based computing technique. TQC circuits are defined within a large,
uniform, 3-dimensional lattice of physical qubits produced by the hardware and
the physical volume of this lattice directly relates to the resources required
for computation. Circuit optimization may result in non-intuitive mismatches
between circuit specification and implementation. In this paper we introduce
the first method for cross-level validation of TQC circuits. The specification
of the circuit is expressed based on the stabilizer formalism, and the
stabilizer table is checked by mapping the topology on the physical qubit
level, followed by quantum circuit simulation. Simulation results show that
cross-level validation of error-corrected circuits is feasible.Comment: 12 Pages, 5 Figures. Comments Welcome. RC2014, Springer Lecture Notes
on Computer Science (LNCS) 8507, pp. 189-200. Springer International
Publishing, Switzerland (2014), Y. Shigeru and M.Shin-ichi (Eds.
Magnetic control assembly qualification model
Fabrication and testing of the magnetic control assembly (MCA) are summarized. The MCA was designed as an add-on unit for certain existing components of the Nimbus and ERTS attitude control system. The MCA system consists of three orthogonal electromagnets; a magnetometer probe capable of sensing external fields in the X, Y, and Z axes; and the control electronics. An operational description of the system is given along with all major drawings and photographs. Manufacturing and inspection procedures are outlined and a chronological list of events is included with the fabrication summary
The Equilibrium Distribution of Gas Molecules Adsorbed on an Active Surface
We evaluate the exact equilibrium distribution of gas molecules adsorbed on
an active surface with an infinite number of attachment sites. Our result is a
Poisson distribution having mean , with the
mean gas density, the sticking probability, the evaporation
probability in a time interval , and Smoluchowski's exit probability
in time interval for the surface in question. We then solve for the case
of a finite number of attachment sites using the mean field approximation,
recovering in this case the Langmuir isotherm.Comment: 14 pages done in late
The development of a model to infer precipitation from microwave measurements
To permit the inference of precipitation amounts from radiometric measurements, a radiative interaction model was developed. This model uses a simple computational scheme to determine the effects of rain upon brightness temperatures and can be used with a statistical inversion procedure to invert for rain rate. Precipitating cloud models was also developed and used with the microwave model for frequencies of 19.35 and 37 GHz to determine the variability of the microwave-rain rate relationship on a global and seasonal basis
Refactorings of Design Defects using Relational Concept Analysis
Software engineers often need to identify and correct design defects, ıe} recurring design problems that hinder development and maintenance\ud
by making programs harder to comprehend and--or evolve. While detection\ud
of design defects is an actively researched area, their correction---mainly\ud
a manual and time-consuming activity --- is yet to be extensively\ud
investigated for automation. In this paper, we propose an automated\ud
approach for suggesting defect-correcting refactorings using relational\ud
concept analysis (RCA). The added value of RCA consists in exploiting\ud
the links between formal objects which abound in a software re-engineering\ud
context. We validated our approach on instances of the <span class='textit'></span>Blob\ud
design defect taken from four different open-source programs
On the Nature of Precursors in the Radio Pulsar Profiles
In the average profiles of several radio pulsars, the main pulse is
accompanied by the preceding component. This so called precursor is known for
its distinctive polarization, spectral, and fluctuation properties. Recent
single-pulse observations hint that the sporadic activity at the extreme
leading edge of the pulse may be prevalent in pulsars. We for the first time
propose a physical mechanism of this phenomenon. It is based on the induced
scattering of the main pulse radiation into the background. We show that the
scattered component is directed approximately along the ambient magnetic field
and, because of rotational aberration in the scattering region, appears in the
pulse profile as a precursor to the main pulse. Our model naturally explains
high linear polarization of the precursor emission, its spectral and
fluctuation peculiarities as well as suggests a specific connection between the
precursor and the main pulse at widely spaced frequencies. This is believed to
stimulate multifrequency single-pulse studies of intensity modulation in
different pulsars.Comment: 5 pages, no figures. Accepted for publication in MNRAS Letter
On a generalized quantum SWAP gate
The SWAP gate plays a central role in network designs for qubit quantum computation. However, there has been a view to generalize qubit quantum computing to higher dimensional quantum systems. In this paper we construct a generalized SWAP gate using only instances of the generalized controlled-NOT gate to cyclically permute the states of d qudits for d prime
Experimental characterization of deployable trusses and joints
The structural dynamic properties of trusses are strongly affected by the characteristics of joints connecting the individual beam elements. Joints are particularly significant in that they are often the source of nonlinearities and energy dissipation. While the joints themselves may be physically simple, direct measurement is often necessary to obtain a mathematical description suitable for inclusion in a system model. Force state mapping is a flexible, practical test method for obtaining such a description, particularly when significant nonlinear effects are present. It involves measurement of the relationship, nonlinear or linear, between force transmitted through a joint and the relative displacement and velocity across it. An apparatus and procedure for force state mapping are described. Results are presented from tests of joints used in a lightweight, composite, deployable truss built by the Boeing Aerospace Company. The results from the joint tests are used to develop a model of a full 4-bay truss segment. The truss segment was statically and dynamically tested. The results of the truss tests are presented and compared with the analytical predictions from the model
- …