scholarly journals Short and Long Supports for Constraint Propagation

2013 ◽  
Vol 46 ◽  
pp. 1-45 ◽  
Author(s):  
P. Nightingale ◽  
I. P. Gent ◽  
C. Jefferson ◽  
I. Miguel
Keyword(s):  
Constraint Propagation ◽  
General Purpose ◽  
Full Length ◽  
Compact Set ◽  
Propagation Algorithm ◽  
Simpler Algorithm ◽  
Form Part ◽  
Order Of Magnitude ◽  
Better Than

Special-purpose constraint propagation algorithms frequently make implicit use of short supports -- by examining a subset of the variables, they can infer support (a justification that a variable-value pair may still form part of an assignment that satisfies the constraint) for all other variables and values and save substantial work -- but short supports have not been studied in their own right. The two main contributions of this paper are the identification of short supports as important for constraint propagation, and the introduction of HaggisGAC, an efficient and effective general purpose propagation algorithm for exploiting short supports. Given the complexity of HaggisGAC, we present it as an optimised version of a simpler algorithm ShortGAC. Although experiments demonstrate the efficiency of ShortGAC compared with other general-purpose propagation algorithms where a compact set of short supports is available, we show theoretically and experimentally that HaggisGAC is even better. We also find that HaggisGAC performs better than GAC-Schema on full-length supports. We also introduce a variant algorithm HaggisGAC-Stable, which is adapted to avoid work on backtracking and in some cases can be faster and have significant reductions in memory use. All the proposed algorithms are excellent for propagating disjunctions of constraints. In all experiments with disjunctions we found our algorithms to be faster than Constructive Or and GAC-Schema by at least an order of magnitude, and up to three orders of magnitude.

scholarly journals Efficient SIMDization and Data Management of the Lattice QCD Computation on the Cell Broadband Engine

2009 ◽  
Vol 17 (1-2) ◽  
pp. 153-172 ◽  
Author(s):  
Khaled Z. Ibrahim ◽  
François Bodin
Keyword(s):  
Lattice Qcd ◽  
General Purpose ◽  
Double Precision ◽  
Limited Bandwidth ◽  
Cell Broadband Engine ◽  
Order Of Magnitude ◽  
Simd Execution ◽  
Local Store ◽  
Time Continuum ◽  
Better Than

Lattice Quantum Chromodynamic (QCD) models subatomic interactions based on a four-dimensional discretized space–time continuum. The Lattice QCD computation is one of the grand challenges in physics especially when modeling a lattice with small spacing. In this work, we study the implementation of the main kernel routine of Lattice QCD that dominates the execution time on the Cell Broadband Engine. We tackle the problem of efficient SIMD execution and the problem of limited bandwidth for data transfers with the off-chip memory. For efficient SIMD execution, we present runtime data fusion technique that groups data processed similarly at runtime. We also introduce analysis needed to reduce the pressure on the scarce memory bandwidth that limits the performance of this computation. We studied two implementations for the main kernel routine that exhibit different patterns of accessing the memory and thus allowing different sets of optimizations. We show the attributes that make one implementation more favorable in terms of performance. For lattice size that is significantly larger than the local store, our implementation achieves 31.2 GFlops for single precision computations and 16.6 GFlops for double precision computations on the PowerXCell 8i, an order of magnitude better than the performance achieved on most general-purpose processors.

scholarly journals Photometric redshifts for the Kilo-Degree Survey

2018 ◽  
Vol 616 ◽  
pp. A69 ◽  
Author(s):  
M. Bilicki ◽  
H. Hoekstra ◽  
M. J. I. Brown ◽  
V. Amaro ◽  
C. Blake ◽  
...  
Keyword(s):  
Spectroscopic Data ◽  
General Purpose ◽  
Photometric Redshifts ◽  
Photometric Redshift ◽  
The Galaxy ◽  
Order Of Magnitude ◽  
Mass Assembly ◽  
Ir Bands ◽  
Limited Coverage ◽  
Better Than

We present a machine-learning photometric redshift (ML photo-z) analysis of the Kilo-Degree Survey Data Release 3 (KiDS DR3), using two neural-network based techniques: ANNz2 and MLPQNA. Despite limited coverage of spectroscopic training sets, these ML codes provide photo-zs of quality comparable to, if not better than, those from the Bayesian Photometric Redshift (BPZ) code, at least up to zphot ≲ 0.9 and r ≲ 23.5. At the bright end of r ≲ 20, where very complete spectroscopic data overlapping with KiDS are available, the performance of the ML photo-zs clearly surpasses that of BPZ, currently the primary photo-z method for KiDS. Using the Galaxy And Mass Assembly (GAMA) spectroscopic survey as calibration, we furthermore study how photo-zs improve for bright sources when photometric parameters additional to magnitudes are included in the photo-z derivation, as well as when VIKING and WISE infrared (IR) bands are added. While the fiducial four-band ugri setup gives a photo-z bias 〈δz/(1 + z)〉 = −2 × 10−4 and scatter σδz/(1+z) < 0.022 at mean 〈z〉 = 0.23, combining magnitudes, colours, and galaxy sizes reduces the scatter by ~7% and the bias by an order of magnitude. Once the ugri and IR magnitudes are joined into 12-band photometry spanning up to 12 μm, the scatter decreases by more than 10% over the fiducial case. Finally, using the 12 bands together with optical colours and linear sizes gives 〈δz/(1 + z)〉 < 4 × 10−5 and σδz/(1+z) < 0.019. This paper also serves as a reference for two public photo-z catalogues accompanying KiDS DR3, both obtained using the ANNz2 code. The first one, of general purpose, includes all the 39 million KiDS sources with four-band ugri measurements in DR3. The second dataset, optimised for low-redshift studies such as galaxy-galaxy lensing, is limited to r ≲ 20, and provides photo-zs of much better quality than in the full-depth case thanks to incorporating optical magnitudes, colours, and sizes in the GAMA-calibrated photo-z derivation.

Thermohydraulics of Laminar Flow Through Rectangular and Square Ducts With Transverse Ribs and Twisted Tapes

2006 ◽  
Vol 128 (10) ◽  
pp. 1070-1080 ◽  
Author(s):  
Debashis Pramanik ◽  
Sujoy K. Saha
Keyword(s):  
Heat Transfer ◽  
Pressure Drop ◽  
Laminar Flow ◽  
Laminar Flows ◽  
Short Length ◽  
Full Length ◽  
Twisted Tape ◽  
Twisted Tapes ◽  
Square Ducts ◽  
Better Than

The heat transfer and the pressure drop characteristics of laminar flow of viscous oil through rectangular and square ducts with internal transverse rib turbulators on two opposite surfaces of the ducts and fitted with twisted tapes have been studied experimentally. The tapes have been full length, short length, and regularly spaced types. The transverse ribs in combination with full-length twisted tapes have been found to perform better than either ribs or twisted tapes acting alone. The heat transfer and the pressure drop measurements have been taken in separate test sections. Heat transfer tests were carried out in electrically heated stainless steel ducts incorporating uniform wall heat flux boundary conditions. Pressure drop tests were carried out in acrylic ducts. The flow was periodically fully developed in the regularly spaced twisted-tape elements case and decaying swirl flow in the short-length twisted tapes case. The flow characteristics are governed by twist ratio, space ratio, and length of twisted tape, Reynolds number, Prandtl number, rod-to-tube diameter ratio, duct aspect ratio, rib height, and rib spacing. Correlations developed for friction factor and Nusselt number have predicted the experimental data satisfactorily. The performance of the geometry under investigation has been evaluated. It has been found that on the basis of both constant pumping power and constant heat duty, the regularly spaced twisted-tape elements in specific cases perform marginally better than their full-length counterparts. However, the short-length twisted-tape performance is worse than the full-length twisted tapes. Therefore, full-length twisted tapes and regularly spaced twisted-tape elements in combination with transverse ribs are recommended for laminar flows. However, the short-length twisted tapes are not recommended.

Second Paper: Deep Drawing and Free Forming Using a Water Hammer Technique

1964 ◽  
Vol 179 (1) ◽  
pp. 222-233 ◽  
Author(s):  
A. P. Vafiadakis ◽  
W. Johnson ◽  
I. S. Donaldson
Keyword(s):  
Deep Drawing ◽  
Time History ◽  
Water Hammer ◽  
High Rate ◽  
Pressure Time ◽  
Order Of Magnitude ◽  
History Of ◽  
Overall Efficiency ◽  
Initial Movement ◽  
Better Than

Earlier work on a water-hammer technique for high-rate forming of sheet metal has been extended to include work on deep drawing using lead plugs. A study of the pressure-time history of a deforming blank during its initial movement is reported. An assessment of the overall efficiency of the process has been made and is found to be about 50 per cent; this is an order of magnitude better than that found with comparable electro-hydraulic and explosive methods.

A method of precise misorientation determination

2003 ◽  
Vol 36 (6) ◽  
pp. 1319-1323 ◽  
Author(s):  
A. Morawiec
Keyword(s):  
Electron Microscopy ◽  
Transmission Electron Microscopy ◽  
Spatial Resolution ◽  
Standard Procedure ◽  
Good Spatial Resolution ◽  
Transmission Electron ◽  
Order Of Magnitude ◽  
Achievable Accuracy ◽  
Better Than

A method that improves the accuracy of misorientations determined from Kikuchi patterns is described. It is based on the fact that some parameters of a misorientation calculated from two orientations are more accurate than other parameters. A procedure which eliminates inaccurate elements is devised. It requires at least two foil inclinations. The quality of the approach relies on the possibility to set large sample-to-detector distances and the availability of good spatial resolution of transmission electron microscopy. Achievable accuracy is one order of magnitude better than the accuracy of the standard procedure.

scholarly journals REINFORCEMENT LEARNING BASED ANTI-COLLISION ALGORITHM FOR RFID SYSTEMS

2019 ◽  
pp. 155-168
Author(s):  
Murukesan Loganathan ◽  
Thennarasan Sabapathy ◽  
Mohamed Elobaid Elshaikh ◽  
Mohamed Nasrun Osman ◽  
Rosemizi Abd Rahim ◽  
...  
Keyword(s):  
Reinforcement Learning ◽  
Radio Frequency Identification ◽  
Energy Efficient ◽  
Current Standard ◽  
Tag Identification ◽  
Rfid Systems ◽  
Order Of Magnitude ◽  
Control Message ◽  
Frequency Identification ◽  
Better Than

Efficient collision arbitration protocol facilitates fast tag identification in radio frequency identification (RFID) systems. EPCGlobal-Class1-Generation2 (EPC-C1G2) protocol is the current standard for collision arbitration in commercial RFID systems. However, the main drawback of this protocol is that it requires excessive message exchanges between tags and the reader for its operation. This wastes energy of the already resource-constrained RFID readers. Hence, in this work, reinforcement learning based anti-collision protocol (RL-DFSA) is proposed to address the energy efficient collision arbitration problem in the RFID system. The proposed algorithm continuously learns and adapts to the changes in the environment by devising an optimal policy. The proposed RL-DFSA was evaluated through extensive simulations and compared with the variants of EPC-C1G2 algorithms that are currently being used in the commercial readers. Based on the results, it is concluded that RL-DFSA performs equal or better than EPC-C1G2 protocol in delay, throughput and time system efficiency when simulated for sparse and dense environments while requiring one order of magnitude lesser control message exchanges between the reader and the tags.

scholarly journals Defect-Tolerant Architectures for Nanoelectronic Crossbar Memories

2007 ◽  
Vol 7 (1) ◽  
pp. 151-167 ◽  
Author(s):  
Dmitri B. Strukov ◽  
Konstantin K. Likharev
Keyword(s):  
Upper Bound ◽  
Memory Cell ◽  
Error Correcting Codes ◽  
Cell Fraction ◽  
Access Time ◽  
Initial Stage ◽  
Order Of Magnitude ◽  
Pitch Ratio ◽  
Better Than

We have calculated the maximum useful bit density that may be achieved by the synergy of bad bit exclusion and advanced (BCH) error correcting codes in prospective crossbar nanoelectronic memories, as a function of defective memory cell fraction. While our calculations are based on a particular ("CMOL") memory topology, with naturally segmented nanowires and an area-distributed nano/CMOS interface, for realistic parameters our results are also applicable to "global" crossbar memories with peripheral interfaces. The results indicate that the crossbar memories with a nano/CMOS pitch ratio close to 1/3 (which is typical for the current, initial stage of the nanoelectronics development) may overcome purely semiconductor memories in useful bit density if the fraction of nanodevice defects (stuck-on-faults) is below ∼15%, even under rather tough, 30 ns upper bound on the total access time. Moreover, as the technology matures, and the pitch ratio approaches an order of magnitude, the crossbar memories may be far superior to the densest semiconductor memories by providing, e.g., a 1 Tbit/cm2 density even for a plausible defect fraction of 2%. These highly encouraging results are much better than those reported in literature earlier, including our own early work, mostly due to more advanced error correcting codes.

New Instrumentation in Argonne's Hvem-Tandem Facility: Expanded Capability for in Situ Ion Beam Studies+

1995 ◽  
Vol 396 ◽  
Author(s):  
Charles W. Allen ◽  
Loren L. Funk ◽  
Edward A. Ryan
Keyword(s):  
Scientific Community ◽  
State Of The Art ◽  
Ion Irradiation ◽  
Ion Beam ◽  
Voltage Electron ◽  
User Facility ◽  
Order Of Magnitude ◽  
New Instrumentation ◽  
Better Than

AbstractDuring 1995, a state-of-the-art intermediate voltage electron microscope (IVEM) has been installed in the HVEM-Tandem Facility with in situ ion irradiation capabilities similar to those of the HVEM. A 300 kV Hitachi H-9000NAR has been interfaced to the two ion accelerators of the Facility, with a spatial resolution for imaging which is nearly an order of magnitude better than that for the 1.2 MV HVEM which dates from the early 1970s. The HVEM remains heavily utilized for electron- and ion irradiation-related materials studies, nevertheless, especially those for which less demanding microscopy is adequate. The capabilities and limitations of this IVEM and HVEM are compared. Both the HVEM and IVEM are part of the DOE funded User Facility and therefore are available to the scientific community for materials studies, free of charge for non-proprietary research.

scholarly journals A general-purpose time-step criterion for simulations with gravity

2020 ◽  
Vol 495 (4) ◽  
pp. 4306-4313 ◽  
Author(s):  
Michael Y Grudić ◽  
Philip F Hopkins
Keyword(s):  
Time Scale ◽  
General Purpose ◽  
Gravitational Acceleration ◽  
Time Step ◽  
Simulation Code ◽  
Time Stepping ◽  
Dynamical Time ◽  
Adaptive Time Step ◽  
Order Of Magnitude ◽  
True Time

ABSTRACT We describe a new adaptive time-step criterion for integrating gravitational motion, which uses the tidal tensor to estimate the local dynamical time-scale and scales the time-step proportionally. This provides a better candidate for a truly general-purpose gravitational time-step criterion than the usual prescription derived from the gravitational acceleration, which does not respect the equivalence principle, breaks down when $\boldsymbol {a}=0$, and does not obey the same dimensional scaling as the true time-scale of orbital motion. We implement the tidal time-step criterion in the simulation code gizmo, and examine controlled tests of collisionless galaxy and star cluster models, as well as galaxy merger simulations. The tidal criterion estimates the dynamical time faithfully, and generally provides a more efficient time-stepping scheme compared to an acceleration criterion. Specifically, the tidal criterion achieves order-of-magnitude smaller energy errors for the same number of force evaluations in potentials with inner profiles shallower than ρ ∝ r−1 (i.e. where $\boldsymbol {a}\rightarrow 0$), such as star clusters and cored galaxies. For a given problem these advantages must be weighed against the additional overhead of computing the tidal tensor on-the-fly, but in many cases this overhead is small.

Sign in / Sign up

Export Citation Format

Share Document