We demonstrate a portable system integrated with time comparison,absolute distance ranging,and optical communication(TRC)to meet the requirements of space gravitational wave detection.A 1 km free-space asynchronous tw...We demonstrate a portable system integrated with time comparison,absolute distance ranging,and optical communication(TRC)to meet the requirements of space gravitational wave detection.A 1 km free-space asynchronous two-way optical link is performed.The TRC realizes optical communication with 7.7×10^(−5) bit error rate with a Si avalanche photodiode singlephoton detector,while the signal intensity is 1.4 photons per pulse with the background noise of 3×10^(4) counts per second.The distance measurement uncertainty is 48.3 mm,and time comparison precision is 162.4 ps.In this TRC system,a verticalcavity surface-emitting laser diode with a power of 9.1μW is used,and the equivalent receiving aperture is 0.5 mm.The TRC provides a miniaturization solution for ultra-long distance inter-satellite communication,time comparison,and ranging for space gravitational wave detectors.展开更多
The time optimal problem for a two level quantum sys-tem is studied. We compare two different control strategies of bang-bang control and the geometric control, respectively, es-pecial y in the case of minimizing the ...The time optimal problem for a two level quantum sys-tem is studied. We compare two different control strategies of bang-bang control and the geometric control, respectively, es-pecial y in the case of minimizing the time of steering the state from North Pole to South Pole on the Bloch sphere with bounded control. The time performances are compared for different param-eters by the individual numerical simulation experiments, and the experimental results are analyzed. The results show that the ge-ometric control spends less time than the bang-bang control does.展开更多
Matrix-assisted Laser Desorption/Ionization with Time-of-flight Mass Spectrometry (MALDI-TOFMS) was investigated as a method for the rapid identifica-tion of species. Current demand in microbial identi-fication is how...Matrix-assisted Laser Desorption/Ionization with Time-of-flight Mass Spectrometry (MALDI-TOFMS) was investigated as a method for the rapid identifica-tion of species. Current demand in microbial identi-fication is how to compare unknown strains to the known one quickly, semi-automatically and accurately. In this paper, we present a software tool that allows flexibly microbial matching in a user-friendly way, by letting the users to customize comparison parameters including: in vitro transcription enzyme, mass tolerance,minimum fragment length, intensity threshold and corresponding weights. We provide three spectral scoring functions to compute the affin-ity between the species. Therefore, the precision of microbial comparison increases. To test and verify this tool, we employed experimental spectral data based on MALDI-TOFMS and the gene sequences of E.coli and Salmonella. This software is written in Java for cross-platform intention.展开更多
The existence and uniqueness results of fully coupled forward-backward stochastic differential equations with stopping time (unbounded) is obtained. One kind of comparison theorem for this kind of equations is also pr...The existence and uniqueness results of fully coupled forward-backward stochastic differential equations with stopping time (unbounded) is obtained. One kind of comparison theorem for this kind of equations is also proved.展开更多
In this article, we study the multi-dimensional reflected backward stochastic differential equations. The existence and uniqueness result of the solution for this kind of equation is proved by the fixed point argument...In this article, we study the multi-dimensional reflected backward stochastic differential equations. The existence and uniqueness result of the solution for this kind of equation is proved by the fixed point argument where every element of the solution is forced to stay above the given stochastic process, i.e., multi-dimensional obstacle, respectively. We also give a kind of multi-dimensional comparison theorem for the reflected BSDE and then use it as the tool to prove an existence result for the multi-dimensional reflected BSDE where the coefficient is continuous and has linear growth.展开更多
Due to variable time for charge collection,energy resolution of nuclear detectors declines,especially compound semiconductor detectors like cadmium zinc telluride(CdZnTe) detector.To solve this problem,an analog rise-...Due to variable time for charge collection,energy resolution of nuclear detectors declines,especially compound semiconductor detectors like cadmium zinc telluride(CdZnTe) detector.To solve this problem,an analog rise-time discriminator based on charge comparison principle is designed.The reference charge signal after attenuation is compared with the deconvoluted and delayed current signal.It is found that the amplitude of delayed current signal is higher than that of the reference charge signal when rise time of the input signal is shorter than the discrimination time,thus generating gating signal and triggering DMCA(digital multi-channel analyzer) to receive the total integral charge signal.When rise time of the input signal is longer than discrimination time,DMCA remains inactivated and the corresponding total integral charge signal is abandoned.Test results show that combination of the designed rise-time discriminator and DMCA can reduce hole tailing of CdZnTe detector significantly.Energy resolution of the system is 0.98%@662 keV,and it is still excellent under high counting rates.展开更多
Bluetooth technology emerged over twenty years ago and has continuously improved throughout the years to meet diverse and complex applications. Initially invented to replace the need for physical data cables, Bluetoot...Bluetooth technology emerged over twenty years ago and has continuously improved throughout the years to meet diverse and complex applications. Initially invented to replace the need for physical data cables, Bluetooth offers users a quick and easy way to share data files over a wireless network. Traffic engineers and transportation engineering researchers have utilized the potential opportunities that exist with Bluetooth and have implemented this technology into traffic monitoring techniques. To gain a better understanding of Bluetooth sensors and how they work, a comprehensive literature search was conducted. Twenty-five articles were studied regarding case studies of Bluetooth sensor implementation for travel time measurement. Besides reviewing the literature and previous case studies, three new case studies in the State of Delaware, USA, were also conducted and carefully analyzed. The benefits and drawbacks associated with Bluetooth technology for travel time measurements have been identified in this paper. The overall conclusion of the authors is Bluetooth alone and by itself is not a proper technology for travel time measurements. More studies need to be conducted on the accuracy and overall application, before one can confidently utilize the Bluetooth technology for travel time measurements.展开更多
The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems i...The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers.展开更多
We construct optimal k-step, 5- to 10-stage, explicit, strong-stability-preserving Hermite-Birkhoff (SSP HB) methods of order 12 with nonnegative coefficients by combining linear k-step methods of order 9 with 5- to 1...We construct optimal k-step, 5- to 10-stage, explicit, strong-stability-preserving Hermite-Birkhoff (SSP HB) methods of order 12 with nonnegative coefficients by combining linear k-step methods of order 9 with 5- to 10-stage Runge-Kutta (RK) methods of order 4. Since these methods maintain the monotonicity property, they are well suited for solving hyperbolic PDEs by the method of lines after a spatial discretization. It is seen that the 8-step 7-stage HB methods have largest effective SSP coefficient among the HB methods of order 12 on hand. On Burgers’ equations, some of the new HB methods have larger maximum effective CFL numbers than Huang’s 7-step hybrid method of order 7, thus allowing larger step size.展开更多
Technical stability:allowing quantitative estimation of trajectory behavior of a dynamical system over a given time interval was considered. Based on a differential comparison principle and a basic monotonicity condit...Technical stability:allowing quantitative estimation of trajectory behavior of a dynamical system over a given time interval was considered. Based on a differential comparison principle and a basic monotonicity condition, technical stability relative to certain prescribed state constraint sets of a class of nonlinear time-varying systems with small parameters was analyzed by means of vector Liapunov function method. Explicit criteria of technical stability are established in terms of coefficients of the system under consideration. Conditions under which the technical stability of the system can be derived from its reduced linear time-varying (LTV) system were further examined, as well as a condition for linearization approach to technical stability of general nonlinear systems. Also, a simple algebraic condition of exponential asymptotic stability of LTV systems is presented. Two illustrative examples are given to demonstrate the availability of the presently proposed method.展开更多
基金supported by the National Natural Science Foundation of China(Nos.11804099,62075062,62175067,and 11621404)Research Funds of Happiness Flower ECNU(No.2021ST2110).
文摘We demonstrate a portable system integrated with time comparison,absolute distance ranging,and optical communication(TRC)to meet the requirements of space gravitational wave detection.A 1 km free-space asynchronous two-way optical link is performed.The TRC realizes optical communication with 7.7×10^(−5) bit error rate with a Si avalanche photodiode singlephoton detector,while the signal intensity is 1.4 photons per pulse with the background noise of 3×10^(4) counts per second.The distance measurement uncertainty is 48.3 mm,and time comparison precision is 162.4 ps.In this TRC system,a verticalcavity surface-emitting laser diode with a power of 9.1μW is used,and the equivalent receiving aperture is 0.5 mm.The TRC provides a miniaturization solution for ultra-long distance inter-satellite communication,time comparison,and ranging for space gravitational wave detectors.
基金supported by the National Key Basic Research Program(2011CBA00200)the National Natural Science Foundation of China(61074050)
文摘The time optimal problem for a two level quantum sys-tem is studied. We compare two different control strategies of bang-bang control and the geometric control, respectively, es-pecial y in the case of minimizing the time of steering the state from North Pole to South Pole on the Bloch sphere with bounded control. The time performances are compared for different param-eters by the individual numerical simulation experiments, and the experimental results are analyzed. The results show that the ge-ometric control spends less time than the bang-bang control does.
文摘Matrix-assisted Laser Desorption/Ionization with Time-of-flight Mass Spectrometry (MALDI-TOFMS) was investigated as a method for the rapid identifica-tion of species. Current demand in microbial identi-fication is how to compare unknown strains to the known one quickly, semi-automatically and accurately. In this paper, we present a software tool that allows flexibly microbial matching in a user-friendly way, by letting the users to customize comparison parameters including: in vitro transcription enzyme, mass tolerance,minimum fragment length, intensity threshold and corresponding weights. We provide three spectral scoring functions to compute the affin-ity between the species. Therefore, the precision of microbial comparison increases. To test and verify this tool, we employed experimental spectral data based on MALDI-TOFMS and the gene sequences of E.coli and Salmonella. This software is written in Java for cross-platform intention.
基金This work was supported by the National Natural Science Foundation of China (10001022 and 10371067)the Excellent Young Teachers Program and the Doctoral program Foundation of MOE and Shandong Province,P.R.C.
文摘The existence and uniqueness results of fully coupled forward-backward stochastic differential equations with stopping time (unbounded) is obtained. One kind of comparison theorem for this kind of equations is also proved.
基金the National Natural Science Foundation(10371067)the National Basic Research Program of China(973 Program,2007CB814904)+2 种基金the Natural Science Foundation of Shandong Province(Z2006A01)the Doctoral Fund of Education Ministry of China,and Youth Growth Foundation of Shandong University at Weihai, P.R.China. Xiao acknowledges the Natural Science Foundation of Shandong Province (ZR2009AQ017)Independent Innovation Foundation of Shandong University,IIFSDU
文摘In this article, we study the multi-dimensional reflected backward stochastic differential equations. The existence and uniqueness result of the solution for this kind of equation is proved by the fixed point argument where every element of the solution is forced to stay above the given stochastic process, i.e., multi-dimensional obstacle, respectively. We also give a kind of multi-dimensional comparison theorem for the reflected BSDE and then use it as the tool to prove an existence result for the multi-dimensional reflected BSDE where the coefficient is continuous and has linear growth.
基金supported by the Natural Science Foundation of China(NSFC)(No.41474159)National High-tech R&D Program of China(863 Program)(Nos.2012AA061803 and 2014AA093403)Open Foundation of Applied Nuclear Techniques in Geosciences Key Laboratory of Sichuan Province(No.gnzds2014006)
文摘Due to variable time for charge collection,energy resolution of nuclear detectors declines,especially compound semiconductor detectors like cadmium zinc telluride(CdZnTe) detector.To solve this problem,an analog rise-time discriminator based on charge comparison principle is designed.The reference charge signal after attenuation is compared with the deconvoluted and delayed current signal.It is found that the amplitude of delayed current signal is higher than that of the reference charge signal when rise time of the input signal is shorter than the discrimination time,thus generating gating signal and triggering DMCA(digital multi-channel analyzer) to receive the total integral charge signal.When rise time of the input signal is longer than discrimination time,DMCA remains inactivated and the corresponding total integral charge signal is abandoned.Test results show that combination of the designed rise-time discriminator and DMCA can reduce hole tailing of CdZnTe detector significantly.Energy resolution of the system is 0.98%@662 keV,and it is still excellent under high counting rates.
文摘Bluetooth technology emerged over twenty years ago and has continuously improved throughout the years to meet diverse and complex applications. Initially invented to replace the need for physical data cables, Bluetooth offers users a quick and easy way to share data files over a wireless network. Traffic engineers and transportation engineering researchers have utilized the potential opportunities that exist with Bluetooth and have implemented this technology into traffic monitoring techniques. To gain a better understanding of Bluetooth sensors and how they work, a comprehensive literature search was conducted. Twenty-five articles were studied regarding case studies of Bluetooth sensor implementation for travel time measurement. Besides reviewing the literature and previous case studies, three new case studies in the State of Delaware, USA, were also conducted and carefully analyzed. The benefits and drawbacks associated with Bluetooth technology for travel time measurements have been identified in this paper. The overall conclusion of the authors is Bluetooth alone and by itself is not a proper technology for travel time measurements. More studies need to be conducted on the accuracy and overall application, before one can confidently utilize the Bluetooth technology for travel time measurements.
文摘The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers.
文摘We construct optimal k-step, 5- to 10-stage, explicit, strong-stability-preserving Hermite-Birkhoff (SSP HB) methods of order 12 with nonnegative coefficients by combining linear k-step methods of order 9 with 5- to 10-stage Runge-Kutta (RK) methods of order 4. Since these methods maintain the monotonicity property, they are well suited for solving hyperbolic PDEs by the method of lines after a spatial discretization. It is seen that the 8-step 7-stage HB methods have largest effective SSP coefficient among the HB methods of order 12 on hand. On Burgers’ equations, some of the new HB methods have larger maximum effective CFL numbers than Huang’s 7-step hybrid method of order 7, thus allowing larger step size.
文摘Technical stability:allowing quantitative estimation of trajectory behavior of a dynamical system over a given time interval was considered. Based on a differential comparison principle and a basic monotonicity condition, technical stability relative to certain prescribed state constraint sets of a class of nonlinear time-varying systems with small parameters was analyzed by means of vector Liapunov function method. Explicit criteria of technical stability are established in terms of coefficients of the system under consideration. Conditions under which the technical stability of the system can be derived from its reduced linear time-varying (LTV) system were further examined, as well as a condition for linearization approach to technical stability of general nonlinear systems. Also, a simple algebraic condition of exponential asymptotic stability of LTV systems is presented. Two illustrative examples are given to demonstrate the availability of the presently proposed method.
