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 $\chi^{2}$ analyses are performed for elastic scattering and fusion cross section data for the $^{6}$Li+$^{208}$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 $B_{\alpha\beta\mu\nu}$. However, we propose a new tensor $V_{\alpha\beta\mu\nu}$ which is the sum of certain tensors $S_{\alpha\beta\mu\nu}$ and $K_{\alpha\beta\mu\nu}$, it has certain properties so that it gives the same gravitational "energy-momentum" content as $B_{\alpha\beta\mu\nu}$ 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 $\chi^{2}$ analyses are performed for elastic scattering, DR, and fusion cross section data for the $^{9}$Be+$^{208}$Pb system at near-Coulomb-barrier energies. Similar $\chi^{2}$ 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 $^{9}$Be+$^{209}$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