Resonance excitation of the
83
Kr first nuclear level (
E
= 9.4 keV) by solar axions formed via the Primakoff mechanism is sought. The γ- and X-ray photons and the conversion and Auger electrons ...arising from the excited-level relaxation are detected with a gas proportional counter of a low-background detector in the underground Baksan Neutrino Observatory. The following experimental constraint is obtained for the product of the axion–photon coupling constant and the axion mass:|
g
A
γ
×
m
A
| ≤ 6.3 × 10
-17
In the framework of the hadronic-axion model, this corresponds to a new axion-mass constraint of
m
A
≤ 12.7 eV at 95% C.L.
The study of low-yield effects requires not only good quality of the original data but also puts high requirements for their processing procedures to increase the efficiency of the selection of ...useful events. The exploiting of the large cylindrical proportional counter's electrostatic topology allows improving the extrapolation of information about the primary ionization of a multipoint event. Long-term calibration measurements with an external 109Cd-source allowed the development of a new method for analyzing the pulse shape from a sizeable proportional counter. Optimized analysis of the current's pulse shape from the electron cloud of primary ionization in the counter improved the resolution and energy calibration. As a result, the efficiency of selecting useful events was increased by 25%.
Search for hadronic solar axions Akhmatov, Z A; Berezin, S S; Gavrilyuk, Yu M ...
Journal of physics. Conference series,
02/2021, Letnik:
1787, Številka:
1
Journal Article
Recenzirano
Odprti dostop
Resonance excitation of the 83Kr first nuclear level (E = 9.4 keV) by solar axions formed via the Primakoff mechanism and via an M1-transition in the 83Kr nucleus in the Sun is searched. The γ-and ...x-ray photons and the conversion and Auger electrons arising from the excited-level relaxation are detected with a proportional counter in the underground low-background facility of Baksan Neutrino Observatory. The following experimental constraint is obtained for the product of the axion-photon coupling constant and the axion mass: |gAγmA| ≼ 6.16 × 10−17. In the framework of the hadronic-axion model, this corresponds to a new axion-mass constraint of mA ≼ 12.6 eV at 95% coincidence level (C.L.). In case of pure hadronic interaction the upper limit for axion-nucleon coupling is |gAN3−gAN0| ≼ 8.3 × 10−7 at 95% C.L., which corresponds to upper limit for hadrionic axion mass: mA ≼ 64 eV at 95% C.L. with the generally accepted values S = 0.5 and z = 0.56.
The Dark Matter search at KamLAND Kozlov, A.; Chernyak, D.; Takemoto, Y. ...
Journal of physics. Conference series,
11/2019, Letnik:
1390, Številka:
1
Journal Article
Recenzirano
Odprti dostop
Recent data from the DAMA/LIBRA phase-2 confirmed detection of a signal with independent Dark Matter (DM) annual modulation signature at a 12.9 σ CL. Our attempts to verify the DAMA/LIBRA DM ...observation claim led to construction of underground clean rooms at the KamLAND site and specialized laboratory for production of NaI(Tl) detectors. Current status of these facilities, methods used to grow ultra-low background NaI(Tl) crystals, and radio-purity of the latest NaI(Tl) DM detector prototype are discussed.
Many binary code analysis tools rely on intermediate representation (IR) derived from a binary code, instead of working directly with machine instructions. In this paper, we first consider binary ...code analysis problems that benefit from IR and compile a list of requirements that the IR suitable for solving these problems should meet. Generally speaking, a universal binary analysis platform requires two principal components. The first component is a retargetable instruction decoder that utilizes external specifications to describe target instruction sets. External specifications facilitate maintenance and allow one to quickly implement support for new instruction sets. We analyze some of the most popular instruction set architectures (ISAs), including those used in microcontrollers, and from that compile a list of requirements for the retargetable decoder. We then overview existing multi-ISA decoders and propose our vision of a more generic approach, based on a multi-layer directed acyclic graph that describes the decoding process in universal terms. The second component of the analysis platform is the actual architecture-neutral IR. In this paper, we describe such IRs and propose Pivot 2, an IR that is low-level enough to be easily constructed from decoded machine instructions, also being easy to analyze. The main features of Pivot 2 are explicit side effects, SSA variables, simpler alternative to phi-functions, and extensible elementary operation set at the core. This IR also supports machines that have multiple memory address spaces. Finally, we propose a way to tie the decoder and the IR together to fit them to most of the binary code analysis tasks through abstract interpretation on top of the IR. The proposed scheme takes into account various aspects of target architectures that are overlooked in many other works, including pipeline specifics (handling of delay slots, hardware loop support, etc.), exception and interrupt management, and generic address space model, in which accesses may have arbitrary side effects due to memory-mapped devices or other non-trivial behavior of the memory system.
In 1974 Kharchenko proved that if a
-component of an
-graded associative algebra is PI then this algebra is PI. In the Novikov algebras of characteristic 0 the existence of a polynomial identity is ...equivalent to the solvability of the commutator ideal. We study a
-graded Novikov algebra
and prove that if the characteristic of the basic field is not 2 or 3 and its 0-component
is associative or Lie-nilpotent of index 3 then the commutator ideal
is solvable.