561 research outputs found
Satisfiability Test with Synchronous Simulated Annealing on the Fujitsu AP1000 Massively-Parallel Multiprocessor
Solving the hard Satisfiability Problem is time consuming even for modest-sized problem instances. Solving the Random L-SAT Problem is especially difficult due to the ratio of clauses to variables. This report presents a parallel synchronous simulated annealing method for solving the Random L-SAT Problem on a large-scale distributed-memory multiprocessor. In particular, we use a parallel synchronous simulated annealing procedure, called Generalized Speculative Computation, which guarantees the same decision sequence as sequential simulated annealing. To demonstrate the performance of the parallel method, we have selected problem instances varying in size from 100-variables/425-clauses to 5000-variables/21,250-clauses. Experimental results on the AP1000 multiprocessor indicate that our approach can satisfy 99.9 percent of the clauses while giving almost a 70-fold speedup on 500 processors
The KaVA and KVN Pulsar Project
We present our work towards using the Korean VLBI (Very Long Baseline
Interferometer) Network (KVN) and VLBI Exploration of Radio Astronomy (VERA)
arrays combined into the KVN and VERA Array (KaVA) for observations of radio
pulsars at high frequencies (22-GHz). Pulsar astronomy is generally
focused at frequencies approximately 0.3 to several GHz and pulsars are usually
discovered and monitored with large, single-dish, radio telescopes. For most
pulsars, reduced radio flux is expected at high frequencies due to their steep
spectrum, but there are exceptions where high frequency observations can be
useful. Moreover, some pulsars are observable at high frequencies only, such as
those close to the Galactic Center. The discoveries of a radio-bright magnetar
and a few dozen extended Chandra sources within 15 arc-minute of the Galactic
Center provide strong motivations to make use of the KaVA frequency band for
searching pulsars in this region. Here, we describe the science targets and
report progresses made from the KVN test observations for known pulsars. We
then discuss why KaVA pulsar observations are compelling.Comment: To appear in PASJ KaVA Special Issu
- …