Majority-Logic NE-110 Detector for keV Neutrons
نویسندگان
چکیده
منابع مشابه
Majority Logic
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness proofs. Along the way, we must answer the question what is a majority of an infinite set? Majority spaces are introduced as a solution to this question.
متن کاملPlasmon excitation in Al by keV Ne and Ar ions
We present experimental studies of plasmon excitation by keV Ne and Ar single charged ions on Al surfaces. Plasmons are identi®ed through the characteristic energy spectrum of electrons from plasmon decay. At 1 keV incident energy, surface plasmons are excited by Ne but not by Ar. For higher energies we observe bulk plasmon excitation resulting, most likely, from excitation by fast electrons,...
متن کاملMajority Logic: Axiomatization and Completeness
Graded modal logic, as presented in [5], extends propositional modal systems with a set of modal operators ♦n (n ∈ N) that express “there are more than n accessible worlds such that...”. We extend∗ GML with a modal operator W that can express “there are more than or equal to half of the accessible worlds such that...”. The semantics of W is straightforward provided there are only finitely many ...
متن کاملMajority Logic Representation and Satisfiability
Majority logic is a powerful generalization of common AND/OR logic. Original two-level and multi-level logic networks can use majority operators as primitive connective, in place of AND/ORs. In such a way, Boolean functions have novel means for compact representation and efficient manipulation. In this paper, we focus on two-level logic representation. We define a Majority Normal Form (MNF), as...
متن کاملSearch for anomalous scattering of keV neutrons from H2O-D2O mixtures.
We measured the neutron scattering intensities from pure liquid H2O relative to that of pure D2O and also relative to H2O-D2O mixtures, at room temperature. This study is relevant to the problem of quantum entanglement. The neutrons were generated from an electron Linac and the final energy of the scattered neutrons was fixed at 24.3 keV using a 20 cm thick pure iron filter. The scattering inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Nuclear Science
سال: 1985
ISSN: 0018-9499
DOI: 10.1109/tns.1985.4336857