9,375 research outputs found
Many-core compiler fuzzing
We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations
A modification of the Chen-Nester quasilocal expressions
Chen and Nester proposed four boundary expressions for the quasilocal
quantities using the covariant Hamiltonian formalism. Based on these four
expressions, there is a simple generalization that one can consider, so that a
two parameter set of boundary expressions can be constructed. Using these
modified expressions, a nice result for gravitational energy-momentum can be
obtained in holonomic frames.Comment: 11 page
Gravitational energy from a combination of a tetrad expression and Einstein's pseudotensor
The energy-momentum for a gravitating system can be considered by the tetard
teleparalle gauge current in orthonormal frames. Whereas the Einstein
pseudotensor used holonomic frames. Tetrad expression itself gives a better
result for gravitational energy than Einstein's. Inspired by an idea of Deser,
we found a gravitational energy expression which enjoys the positive energy
property by combining the tetrad expression and the Einstein pseudotensor,
i.e., the connection coefficient has a form appropriate to a suitable
intermediate between orthonormal and holonomic frames.Comment: 5 page
New positive small vacuum region gravitational energy expressions
We construct an infinite number of new holonomic quasi-local gravitational
energy-momentum density pseudotensors with good limits asymptotically and in
small regions, both materially and in vacuum. For small vacuum regions they are
all a positive multiple of the Bel-Robinson tensor and consequently have
positive energy.Comment: 4 page
Non-line-of-sight Node Localization based on Semi-Definite Programming in Wireless Sensor Networks
An unknown-position sensor can be localized if there are three or more
anchors making time-of-arrival (TOA) measurements of a signal from it. However,
the location errors can be very large due to the fact that some of the
measurements are from non-line-of-sight (NLOS) paths. In this paper, we propose
a semi-definite programming (SDP) based node localization algorithm in NLOS
environment for ultra-wideband (UWB) wireless sensor networks. The positions of
sensors can be estimated using the distance estimates from location-aware
anchors as well as other sensors. However, in the absence of LOS paths, e.g.,
in indoor networks, the NLOS range estimates can be significantly biased. As a
result, the NLOS error can remarkably decrease the location accuracy.
And it is not easy to efficiently distinguish LOS from NLOS measurements. In
this paper, an algorithm is proposed that achieves high location accuracy
without the need of identifying NLOS and LOS measurement.Comment: submitted to IEEE ICC'1
Extended Optical Model Analyses of Elastic Scattering and Fusion Cross Sections for 6Li + 208Pb System at Near-Coulomb-Barrier Energies by using Folding Potential
Based on the extended optical model approach in which the polarization
potential is decomposed into direct reaction (DR) and fusion parts,
simultaneous analyses are performed for elastic scattering and
fusion cross section data for the Li+Pb system at
near-Coulomb-barrier energies. A folding potential is used as the bare
potential. It is found that the real part of the resultant DR part of the
polarization potential is repulsive, which is consistent with the results from
the Continuum Discretized Coupled Channel (CDCC) calculations and the
normalization factors needed for the folding potentials. Further, it is found
that both DR and fusion parts of the polarization potential satisfy separately
the dispersion relation.Comment: 6 figure
Gravitational energy in a small region for the modified Einstein and Landau-Lifshitz pseudotensors
The purpose of the classical Einstein and Landau-Lifshitz pseudotensors is
for determining the gravitational energy. Neither of them can guarantee a
positive energy in holonomic frames. In the small sphere approximation, it has
been required that the quasilocal expression for the gravitational
energy-momentum density should be proportional to the Bel-Robinson tensor
. However, we propose a new tensor
which is the sum of certain tensors
and , it has certain properties
so that it gives the same gravitational "energy-momentum" content as
does. Moreover, we show that a modified Einstein
pseudotensor turns out to be one of the Chen-Nester quasilocal expressions,
while the modified Landau-Lifshitz pseudotensor becomes the Papapetrou
pseudotensor; these two modified pseudotensors have positive gravitational
energy in a small region.Comment:
Extended Optical Model Analyses of Elastic Scattering, Direct Reaction, and Fusion Cross Sections for the 9Be + 208Pb System at Near-Coulomb-Barrier Energies
Based on the extended optical model approach in which the polarization
potential is decomposed into direct reaction (DR) and fusion parts,
simultaneous analyses are performed for elastic scattering, DR, and
fusion cross section data for the Be+Pb system at
near-Coulomb-barrier energies. Similar analyses are also performed
by only taking into account the elastic scattering and fusion data as was
previously done by the present authors, and the results are compared with those
of the full analysis including the DR cross section data as well. We find that
the analyses using only elastic scattering and fusion data can produce very
consistent and reliable predictions of cross sections particularly when the DR
cross section data are not complete. Discussions are also given on the results
obtained from similar analyses made earlier for the Be+Bi system.Comment: 5 figure
Pole Assignment for a Vibrating System with Aerodynamic Effect
This paper deals with a pole assignment problem by single-input state feedback control arising from a one-dimensional vibrating system with aerodynamic effect. On the practical side, we derive explicit formulae for the required controlling force terms, which can reassign part of the spectrum to the desired values while leaving the remaining spectrum unchanged. On the mathematical side, unlike the classical Sturm–Liouville problem, our eigenvalue problem is associated with a cubic pencil with unbounded operators as coefficients and has many interesting new features, one of which is that a new controllability condition appears. This condition together with the known controllability condition in the quadratic case are necessary and sufficient. This sheds light on the adjustment of the model parameters. We also analyze the spectrum of the associated noncompact operator and in particular show that the discrete spectrums of controlled and uncontrolled systems lie outside a closed interval on the negative real axis
- …