• Optimal Drift Rate Control and Impulse Control for a Stochastic Inventory/Production System(1611.01944)

Sept. 26, 2017 math.OC
In this paper, we consider joint drift rate control and impulse control for a stochastic inventory system under long-run average cost criterion. Assuming the inventory level must be nonnegative, we prove that a $\{(0,q^{\star},Q^{\star},S^{\star}),\{\mu^{\star}(x): x\in[0, S^{\star}]\}\}$ policy is an optimal joint control policy, where the impulse control follows the control band policy $(0,q^{\star},Q^{\star},S^{\star})$, that brings the inventory level up to $q^{\star}$ once it drops to $0$ and brings it down to $Q^{\star}$ once it rises to $S^{\star}$, and the drift rate only depends on the current inventory level and is given by function $\mu^{\star}(x)$ for the inventory level $x\in[0,S^{\star}]$. The optimality of the $\{(0,q^{\star},Q^{\star},S^{\star}),\{\mu^{\star}(x): x\in[0,S^{\star}]\}\}$ policy is proven by using a lower bound approach, in which a critical step is to prove the existence and uniqueness of optimal policy parameters. To prove the existence and uniqueness, we develop a novel analytical method to solve a free boundary problem consisting of an ordinary differential equation (ODE) and several free boundary conditions. Furthermore, we find that the optimal drift rate $\mu^{\star}(x)$ is firstly increasing and then decreasing as $x$ increases from $0$ to $S^{\star}$ with a turnover point between $Q^{\star}$ and $S^{\star}$.
• Substantial experimental and theoretical efforts worldwide are devoted to explore the phase diagram of strongly interacting matter. At LHC and top RHIC energies, QCD matter is studied at very high temperatures and nearly vanishing net-baryon densities. There is evidence that a Quark-Gluon-Plasma (QGP) was created at experiments at RHIC and LHC. The transition from the QGP back to the hadron gas is found to be a smooth cross over. For larger net-baryon densities and lower temperatures, it is expected that the QCD phase diagram exhibits a rich structure, such as a first-order phase transition between hadronic and partonic matter which terminates in a critical point, or exotic phases like quarkyonic matter. The discovery of these landmarks would be a breakthrough in our understanding of the strong interaction and is therefore in the focus of various high-energy heavy-ion research programs. The Compressed Baryonic Matter (CBM) experiment at FAIR will play a unique role in the exploration of the QCD phase diagram in the region of high net-baryon densities, because it is designed to run at unprecedented interaction rates. High-rate operation is the key prerequisite for high-precision measurements of multi-differential observables and of rare diagnostic probes which are sensitive to the dense phase of the nuclear fireball. The goal of the CBM experiment at SIS100 (sqrt(s_NN) = 2.7 - 4.9 GeV) is to discover fundamental properties of QCD matter: the phase structure at large baryon-chemical potentials (mu_B > 500 MeV), effects of chiral symmetry, and the equation-of-state at high density as it is expected to occur in the core of neutron stars. In this article, we review the motivation for and the physics programme of CBM, including activities before the start of data taking in 2022, in the context of the worldwide efforts to explore high-density QCD matter.
• Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability(1309.3052)

Jan. 16, 2017 cs.SE
Software testing is aimed to improve the delivered reliability of the users. Delivered reliability is the reliability of using the software after it is delivered to the users. Usually the software consists of many modules. Thus, the delivered reliability is dependent on the operational profile which specifies how the users will use these modules as well as the defect number remaining in each module. Therefore, a good testing policy should take the operational profile into account and dynamically select tested modules according to the current state of the software during the testing process. This paper discusses how to dynamically select tested modules in order to maximize delivered reliability by formulating the selection problem as a dynamic programming problem. As the testing process is performed only once, risk must be considered during the testing process, which is described by the tester's utility function in this paper. Besides, since usually the tester has no accurate estimate of the operational profile, by employing robust optimization technique, we analysis the selection problem in the worst case, given the uncertainty set of operational profile. By numerical examples, we show the necessity of maximizing delivered reliability directly and using robust optimization technique when the tester has no clear idea of the operational profile. Moreover, it is shown that the risk averse behavior of the tester has a major influence on the delivered reliability.
• Proposal of Readout Electronics for CSNS-WNS BaF2 Detector(1608.03849)

Aug. 12, 2016 hep-ex, physics.ins-det
BaF2 (Barium fluoride) detector is one of the experiment facilities at the under construction CSNS-WNS (White Neutron Source at China Spallation Neutron Source). It is designed for precisely measuring (n,gamma) cross section with total 92 crystal elements and completely 4 pi steradian coverage. In this proposal for readout electronics, waveform digitizing technique with 1GSps sampling rate and 12-bit resolution is adopted to precisely capture the detector signal. To solve the problem of massive data readout and processing, the readout electronics system is designed into a distributed architecture with 4 PXIe crates. The digitized detector's signal is concentrated to PXIe crate controller through PCIe bus on backplane and transmitted to data acquisition system over Gigabit Ethernet in parallel. Besides, clock and trigger can be fanned out synchronously to each electronic channel over a high-precision distributing network. Test results showed that the prototype of the readout electronics system achieved good performance and cooperated well.
• Fast Control Latency Uncertainty Elimination for the BESIII ETOF Upgrade(1603.00015)

May 30, 2016 hep-ex, physics.ins-det
A new fanning topology is proposed to precisely fan out fast control signals in the Beijing Spectrometer (BES III) end-cap time-of-flight (ETOF) electronics. However, uncertainty in transfer latency is introduced by the new fanning channel, which will degrade the precision of fast control. In this paper, latency uncertainty elimination for the BESIII ETOF upgrade is introduced. The latency uncertainty is determined by a Time-Digital-Converter (TDC) embedded in a Field-Programmable Gate Array (FPGA) and is eliminated by re-capturing at synchronous and determinate time. Compared with the existing method of Barrel-cap TOF (BTOF), it has advantages of flexible structure, easy calibration and good adaptability. Field tests on the BES III ETOF system show that this method effectively eliminates transfer latency uncertainty.
• First results of the new endcap TOF commissioning at BESIII(1605.01780)

May 5, 2016 hep-ex, physics.ins-det
The upgrade of the current BESIII Endcap TOF (ETOF) is carried out with the Multi-gap Resistive Plate Chamber (MRPC) technology. The installation of the new ETOF has been finished in October 2015. The first results of the MRPCs commissioning at BESIII are reported in this paper.
• The upgrade system of BESIII ETOF with MRPC technology(1604.02701)

April 10, 2016 hep-ex, physics.ins-det
The Beijing Spectrometer III (BESIII) endcap Time-Of-Filght (ETOF) was proposed to upgrade with Multigap Resistive Plate Chamber (MRPC) technology to substitute the current ETOF of scintillator+PMT for extending time resolutin better than 80 ps and enhance the particle identification capability to satisfy the higher precision requirement of physics. The ETOF system including MRPC modules, front end electronics (FEE), CLOCK module, fast control boards and time to digital modules (TDIG), has been designed, constructed and done some experimental tests seperately. Aiming at examining the quality of entire ETOF system and training the operation of all participated parts, a cosmic ray test system was built at the laboratory and underwent about three months to guarantee performance. In this paper the results will be presented indicating that the entire ETOF system works well and satisfies the requirements of the upgrade.
• Clock Distributing for BaF2 Readout Electronics at CSNS-WNS(1602.06635)

Feb. 22, 2016 physics.ins-det
aF2 (Barium Fluoride) detector array is designed for the measurement of (n,{\gamma}) cross section precisely at CSNS-WNS (white neutron source at China Spallation Neutron Source). It is a 4{\pi}solid angle-shaped detector array consisting of 92 BaF2 crystal elements. To discriminate signals from BaF2 detector, pulse shape discrimination methodology is used, which is supported by waveform digitization technique. There are total 92 channels for digitizing. The precision and synchronization of clock distribution restricts the performance of waveform digitizing. In this paper, the clock prototype for BaF2 readout electronics at CSNS-WNS is introduced. It is based on PXIe platform and has a twin-stage tree topology. In the first stage, clock is distributed from the tree root to each PXIe crate synchronously through coaxial cable over long distance, while in the second stage, clock is further distributed to each electronic module through PXIe dedicated differential star bus. With the help of this topology, each tree node can fan out up to 20 clocks with 3U size. Test result shows the clock jitter is less than 20ps, which can meet the requirement of BaF2 readout electronics. Besides, this clock system has advantages of high density, simplicity, scalability and cost saving, which makes it can be used in other applications of clock distributing preciously.
• The cosmic ray test of MRPCs for the BESIII ETOF upgrade(1511.08959)

Jan. 20, 2016 hep-ex, physics.ins-det
In order to improve the particle identification capability of the Beijing Spectrometer III (BESIII),t is proposed to upgrade the current endcap time-of-flight (ETOF) detector with multi-gap resistive plate chamber (MRPC) technology. Aiming at extending ETOF overall time resolution better than 100ps, the whole system including MRPC detectors, new-designed Front End Electronics (FEE), CLOCK module, fast control boards and time to digital modules (TDIG), was built up and operated online 3 months under the cosmic ray. The main purposes of cosmic ray test are checking the detectors' construction quality, testing the joint operation of all instruments and guaranteeing the performance of the system. The results imply MRPC time resolution better than 100$ps$, efficiency is about 98$\%$ and the noise rate of strip is lower than 1$Hz/$($scm^{2}$) at normal threshold range, the details are discussed and analyzed specifically in this paper. The test indicates that the whole ETOF system would work well and satisfy the requirements of upgrade.
• TOT Measurement Implemented in FPGA TDC(1501.06846)

Jan. 26, 2015 hep-ex, physics.ins-det
Time measurement plays a crucial rule for the purpose of particle identification in high energy physical experiments. With the upgrading of physical goal and the developing of electronics, modern time measurement system meets the requirement of excellent resolution specification as well as high integrity. Due to Field Programmable Gate Array (FPGA), FPGA time-to-digital converter (TDC) becomes one of mature and prominent time measurement methods in recent years. For correcting time-walk effect caused by leading timing, time-over-threshold (TOT) measurement should be added in the FPGA TDC. TOT can be obtained by measuring the interval time of signal leading and trailing edge. Unfortunately, a traditional TDC can recognize only one kind of signal edge, the leading or the trailing. Generally, to measure the interval, two TDC channels can be used at the same time, one for leading, the other for trailing. However, this method will increase the amount of used FPGA resource and reduce the TDC's integrity unavoidably. This paper presents one method of TOT measurement implemented in a Xilinx Virtex-5 FPGA. In this method, TOT measure can be achieved in only one TDC input channel. The consumed resources and time resolution can both be guaranteed. Test shows that this TDC can achieve resolution better than 15 ps for leading edge measurement and 37 ps for TOT measurement. Furthermore, the TDC measuring dead time is about 2 clock cycles, which makes it be good for applications of higher physical event rate