We report on a search for weakly interacting massive particles (WIMPs) using 278.8 days of data collected with the XENON1T experiment at LNGS. XENON1T utilizes a liquid xenon time projection chamber with a fiducial mass of (1.30±0.01)  ton, resulting in a 1.0 ton yr exposure. The energy region of interest, [1.4,10.6]  keVee ([4.9,40.9] keVnr), exhibits an ultralow electron recoil background rate of [82-3+5(syst)±3(stat)]  events/(ton yr keVee). No significant excess over background is found, and a profile likelihood analysis parametrized in spatial and energy dimensions excludes new parameter space for the WIMP-nucleon spin-independent elastic scatter cross section for WIMP masses above 6  GeV/c2, with a minimum of 4.1×10-47  cm2 at 30  GeV/c2 and a 90% confidence level.

Dark Matter Search Results from a One Ton-Year Exposure of XENON1T.

Preface. List of Symbols. Leonardo Fibonacci. The Rabbit Problem. Fibonacci Numbers in Nature. Fibonacci Numbers: Additional Occurrances. Fibonacci and Lucas Identities. Geometric Paradoxes. Generalized Fibonacci Numbers. Additional Fibonacci and Lucas Formulas. The Euclidean Algorithm. Solving Recurrence Relations. Completeness Theorems. Pascal's Triangle. Pascal-Like Triangles. Additional Pascal-Like Triangles. Hosoya's Triangle. Divisibility Properties. Generalized Fibonacci Numbers Revisited. Generating Functions. Generating Functions Revisited. The Golden Ratio. The Golden Ratio Revisited. Golden Triangles. Golden Rectangles. Fibonacci Geometry. Regular Pentagons. The Golden Ellipse and Hyperbola. Continued Fractions. Weighted Fibonacci and Lucas Sums. Weighted Fibonacci and Lucas Sums Revisited. The Knapsack Problem. Fibonacci Magic Squares. Fibonacci Matrices. Fibonacci Determinants. Fibonacci and Lucas Congruences. Fibonacci and Lucas Periodicity. Fibonacci and Lucas Series. Fibonacci Polynomials. Lucas Polynomials. Jacobsthal Polynomials. Zeros of Fibonacci and Lucas Polynomials. Morgan-Voyce Polynomials. Fibonometry. Fibonacci and Lucas Subscripts. Gaussian Fibonacci and Lucas Numbers. Analytic Extensions. Tribonacci Numbers. Tribonacci Polynomials. Appendix 1: Fundamentals. Appendix 2: The First 100 Fibonacci and Lucas Numbers. Appendix 3: The First 100 Fibonacci Numbers and Their Prime Factorizations. Appendix 4: The First 100 Lucas Numbers and Their Prime Factorizations. References. Solutions to Odd-Numbered Exercises. Index.

Fibonacci and Lucas Numbers with Applications

The temporal logic model checking algorithm of Clarke, Emerson, and Sistla (1986) is modified to represent state graphs using binary decision diagrams (BDD's) and partitioned transition relations. Because this representation captures some of the regularity in the state space of circuits with data path logic, we are able to verify circuits with an extremely large number of states. We demonstrate this new technique on a synchronous pipelined design with approximately 5/spl times/10/sup 120/ states. Our model checking algorithm handles full CTL with fairness constraints. Consequently, we are able to express a number of important liveness and fairness properties, which would otherwise not be expressible in CTL. We give empirical results on the performance of the algorithm applied to both synchronous and asynchronous circuits with data path logic. >

Symbolic model checking for sequential circuit verification

We consider the numerical solution of elliptic partial differential equations with random coefficients Such problems arise, for example, in uncertainty quantification for groundwater flow We describe a novel variance reduction technique for the standard Monte Carlo method, called the multilevel Monte Carlo method, and demonstrate numerically its superiority The asymptotic cost of solving the stochastic problem with the multilevel method is always significantly lower than that of the standard method and grows only proportionally to the cost of solving the deterministic problem in certain circumstances Numerical calculations demonstrating the effectiveness of the method for one- and two-dimensional model problems arising in groundwater flow are presented

/pdf/multilevel-monte-carlo-methods-and-applications-to-elliptic-1jwicct1l9.pdf

Multilevel Monte Carlo methods and applications to elliptic PDEs with random coefficients

................................................................................................................................................................... 1.0 Introduction ........................................................................................................................................................ 1.1 Model Enhancements ........................................................................................................ ................................... 2 1.2 Report Organization ............................................................................................................................... 3 1.3 Acknowledgments ........................................................................................................... .................................... 3 2.0 Theory ................................................................................................................................................................ 2.1 Background Transient Storage Models .............................................................................................. 4 2.2 Governing Differential Equations ........................................................................................................... 5 2.2.1 Processes Considered / Model Assumptions ................................................................................ .......... 5 2.2.2 Time-Variable Equations ................................................................................................. ....................... 6 2.2.3 Steady-State Equations ............................................................................................................ 7 2.3 The Conceptual System ........................................................................................................................ 8 2.4 Numerical Solution Time-Variable Equations .............................................................................. ..................... 8 2.4.1 Finite Differences ...................................................................................................................... 8 2.4.2 The Crank-Nicolson Method .................................................................................................... 10 2.4.3 Main Channel Solute Concentration ....................................................................................... . 10 2.4.4 Storage Zone and Streambed Sediment Concentrations ................................................................. 12 2.4.5 Decoupling the Main Channel, Storage Zone, and Streambed Sediment Equations ....................... 2.5 Numerical Solution Steady-State Equations ...................................................................................... 14 2.6 Boundary Conditions ....................................................................................................... .................................... 15 2.6.1 Upstream Boundary Condition ................................................................................................. 15 2.6.2 Downstream Boundary Condition ............................................................................................ 15 2.7 Parameter Estimation ...................................................................................................... ..................................... 16 3.0 User’s Guide ............................................................................................................... ..................................................... 2 3.1 Applicability ............................................................................................................. ........................................... 20 3.2 Model Features ...................................................................................................................................... 20 3.2.1 Simulation Modes: Time-Variable and Steady-State ....................................................................... 20 3.2.2 Conservative and/or Nonconservative Solutes ............................................................................. 21 3.2.3 Flow Regimes ........................................................................................................................... 21 3.2.4 Parameter Estimation using OTIS-P ........................................................................................ 22 3.3 Conceptual System, Revisited .............................................................................................................. 22 3.4 Input/Output Structure .................................................................................................... ..................................... 24 3.4.1 OTIS ........................................................................................................................................... 24 3.4.2 OTIS-P ....................................................................................................................................... 25 3.5 Input Format ........................................................................................................................................... 26 3.5.1 Units ........................................................................................................................................... 26 3.5.2 Internal Comments .................................................................................................................... 27 3.5.3 The Control File ......................................................................................................................... 27 3.5.4 The Parameter File ...................................................................................................... ............................ 29 3.5.5 The Flow File ............................................................................................................................. 35 3.5.6 The Data File (OTIS-P only) ............................................................................................. ..................... 40 3.5.7 The STARPAC Input File (OTIS-P only) .................................................................................... 41 3.6 Model Execution ..................................................................................................................................... 43 3.6.1 OTIS ........................................................................................................................................... 44 3.6.2 OTIS-P ....................................................................................................................................... 44 3.7 Output Analysis ...................................................................................................................................... 45 3.7.1 The Solute and Sorption Output Files ..................................................................................... 45 3.7.2 The Post-Processor .................................................................................................................. 46 3.7.3 Plotting Alternatives .................................................................................................................. 47 4.0 Model Applications ......................................................................................................... ................................................ 48 4.1 Application 1: Conservative Transport (OTIS) ............................................................................. ...................... 48

/pdf/one-dimensional-transport-with-inflow-and-storage-otis-a-5cges40f02.pdf

나승용

Papers

13. 벼잎선충의 약제처리 방법별 방제 효과