We present systematic investigations on the physics,detection performance and inversion of logging-while-drilling extradeep azimuthal resistivity measurements(EDARM).First,the definitions of EDRAM measurements are dis...We present systematic investigations on the physics,detection performance and inversion of logging-while-drilling extradeep azimuthal resistivity measurements(EDARM).First,the definitions of EDRAM measurements are discussed,followed by the derivation of the attenuation and phase-shift geometrical factors to illustrate the relative contributions of formation units to the observed signals.Then,a new definition of detection depth,which considers the uncertainty of inversion results caused by the data noise,is proposed to quantify the detection capability of ED ARM.Finally,the B ayesian theory associated with Markov chain Monte Carlo sampling is introduced for fast processing of EDARM data.Numerical results show that ED ARM is capable of detecting the azimuth and distance of remote bed boundaries,and the detection capability increases with increasing spacing and resistivity contrast.The EDARM tool can accommodate a large range of formation resistivity and is able to provide the resistivity anisotropy at arbitrary relative dipping angles.In addition,multiple bed boundaries and reservoir images near the borehole are readily obtained by using the Bayesian inversion.展开更多
The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2...The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.展开更多
This paper presents a new measuring method based on the simulating technology and measuring technology, researches and analyzes deeply its network performance evaluating model, measuring methods, evaluating algorithms...This paper presents a new measuring method based on the simulating technology and measuring technology, researches and analyzes deeply its network performance evaluating model, measuring methods, evaluating algorithms and system implementation. Experimental results argue that this method can define expediently different models of manual simulated loads and configure neatly different environments of network applications, can develop adequately characteristics of widespread applications and accuracy in simulating technology, as well as reality, reliability and better adaptability in measuring technology.展开更多
The M/M/r/r＋d retrial queuing system with unreliable server is considered. The customers arrive according to a Poisson process and the service time distribution is negative exponential. The life time of the server an...The M/M/r/r＋d retrial queuing system with unreliable server is considered. The customers arrive according to a Poisson process and the service time distribution is negative exponential. The life time of the server and repair times are also negative exponential. If the system is full at the time of arrival of a customer, the customer enters into an orbit. From the orbit the customer tries his luck. The time between two successive retrial follows negative exponential distribution. The model is analyzed using Matrix Geometric Method. The joint distribution of system size and orbit size in steady state is studied. Some system performance measures are obtained. We also provide numerical examples by taking particular values to the parameters.展开更多
基金co-funded by Chinese Postdoctoral Science Foundation(2018M640663)the National Natural Science Foundation of China(41474100,41574118,41674131)National Science and Technology Major Project of the Ministry of Science and Technology of China(2017ZX05009-001)
文摘We present systematic investigations on the physics,detection performance and inversion of logging-while-drilling extradeep azimuthal resistivity measurements(EDARM).First,the definitions of EDRAM measurements are discussed,followed by the derivation of the attenuation and phase-shift geometrical factors to illustrate the relative contributions of formation units to the observed signals.Then,a new definition of detection depth,which considers the uncertainty of inversion results caused by the data noise,is proposed to quantify the detection capability of ED ARM.Finally,the B ayesian theory associated with Markov chain Monte Carlo sampling is introduced for fast processing of EDARM data.Numerical results show that ED ARM is capable of detecting the azimuth and distance of remote bed boundaries,and the detection capability increases with increasing spacing and resistivity contrast.The EDARM tool can accommodate a large range of formation resistivity and is able to provide the resistivity anisotropy at arbitrary relative dipping angles.In addition,multiple bed boundaries and reservoir images near the borehole are readily obtained by using the Bayesian inversion.
基金National Natural Science Foundation of China(No.61963023)。
文摘The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.
文摘This paper presents a new measuring method based on the simulating technology and measuring technology, researches and analyzes deeply its network performance evaluating model, measuring methods, evaluating algorithms and system implementation. Experimental results argue that this method can define expediently different models of manual simulated loads and configure neatly different environments of network applications, can develop adequately characteristics of widespread applications and accuracy in simulating technology, as well as reality, reliability and better adaptability in measuring technology.
文摘The M/M/r/r＋d retrial queuing system with unreliable server is considered. The customers arrive according to a Poisson process and the service time distribution is negative exponential. The life time of the server and repair times are also negative exponential. If the system is full at the time of arrival of a customer, the customer enters into an orbit. From the orbit the customer tries his luck. The time between two successive retrial follows negative exponential distribution. The model is analyzed using Matrix Geometric Method. The joint distribution of system size and orbit size in steady state is studied. Some system performance measures are obtained. We also provide numerical examples by taking particular values to the parameters.
