String validation routines have been widely used in many real-world applications,such as email validation and postcode validation.String test cases are adopted to test these validation routines,to identify potential d...String validation routines have been widely used in many real-world applications,such as email validation and postcode validation.String test cases are adopted to test these validation routines,to identify potential defects and security risks.Random Testing(RT)is a well-known testing approach to randomly generate string test cases from the input domain(i.e.,the set of all possible test inputs),which is simple to implement at a low cost.However,its testing effectiveness may be unsatisfactory for string validation routines.The main reason for this is that RT may have a high probability to generate invalid rather than valid string test cases,due to its randomness property.This research proposes a new RT approach based on the output types(i.e.,valid and invalid strings)for string validation routines,namely Output-type-guided Random Testing(RTO),which attempts to randomly generate both valid and invalid string test cases with a certain probability.This research performed an empirical study involving several real-world string validation routines collected from ten Java open-source projects,to investigate and compare testing performances of RT-O against the previous two widely-used RT methods.The results show that the generated string test cases by RT-O outperform test cases generated by other RT methods.展开更多
The China Spallation Neutron Source(CSNS)is the fourth pulsed accelerator-driven neutron source in the world,and it achieved its design target of 100 kW in 2020.The planned China Spallation Neutron Source Phase II(CSN...The China Spallation Neutron Source(CSNS)is the fourth pulsed accelerator-driven neutron source in the world,and it achieved its design target of 100 kW in 2020.The planned China Spallation Neutron Source Phase II(CSNS-II)commenced in 2024.The CSNS-II linac design primarily involves the addition of a radio-frequency ion source and a section of a superconducting linear accelerator composed of two types of superconducting cavities,namely double-spoke and six-cell elliptical cavities,after the drift tube linac(DTL).The development of the double-spoke superconducting cavity began in early 2021,and by January 2023,the welding,post-processing,and vertical tests of two 324 MHz double-spoke cavity prototypes were completed,with vertical test gradients of 11.6 and 15 MV/m,and Q_(0)≥3×10^(10)@E_(acc)≤10 MV/m.The R&D of the cryomodule began in January 2022.In October 2023,the clean assembly of the double-spoke cavity string and cold mass installation of the cryomodule commenced,with the installation of the cryomodule and valve box completing in two months.In January 2024,a horizontal test of the cryomodule was completed,making it the first double-spoke cavity cryomodule in China.The test results showed that the maximum gradients of the two superconducting cavities at a pulse width of 4 ms and repetition frequency of 25 Hz were 12.8 and 15.2 MV/m,respectively.This article provides a detailed introduction to the double-spoke superconducting cavity,tuner,coupler,and cryomodule,elaborates on the clean assembly of the cavity string and cold mass installation of the cryomodule,and provides a detailed analysis of the horizontal test results.展开更多
AIM: Helicobacter pylori (H pylori) resistance after failed eradication has a major impact on the outcome of a further treatment regimen. The aim of this study was to assess the validity of a non-invasive strategy usi...AIM: Helicobacter pylori (H pylori) resistance after failed eradication has a major impact on the outcome of a further treatment regimen. The aim of this study was to assess the validity of a non-invasive strategy using the 13C-urea breath test (UBT) and the gastric string test in identifying post-treatment resistance of H pylori. METHODS: The UBT was routinely performed 4 to 6 wk after H pylori eradication therapy. Forty-two patients (24 females, 18 males, mean age 48 years) with a positive UBT were included in the study. A gastric string test using a capsule containing a 90 cm-long nylon fiber was performed. Before the capsule was swallowed, the free end of the string was taped to the cheek. After one hour in the stomach, the string was withdrawn. The distal 20 cm of the string was inoculated onto an agar plate and processed under micro-aerophilic conditions. Following the string test, upper gastrointestinal endoscopy was performed to obtain gastric biopsies for conventional culture. RESULTS: H pylori was successfully cultured from the gastric string in 34 patients (81%), but not in 5 patients due to contamination with oropharyngeal flora. H py/oriwas cultured from the gastric biopsies obtained at endoscopy in 39 patients (93%). CONCLUSION: The UBT followed by the gastric string test in the case of treatment failure is a valid diagnostic strategy with the aim of determining the post-therapeutic antibiotic resistance of H pylori with little inconvenience to the patient. Upper Gl-endoscopy can be avoided in several cases by applying consequently this diagnostic package.展开更多
To meet the requirements of marine natural gas hydrate exploitation,it is necessary to improve the penetration of completion sand control string in the large curvature borehole.In this study,large curvature test wells...To meet the requirements of marine natural gas hydrate exploitation,it is necessary to improve the penetration of completion sand control string in the large curvature borehole.In this study,large curvature test wells were selected to carry out the running test of sand control string with pre-packed screen.Meanwhile,the running simulation was performed by using the Landmark software.The results show that the sand control packer and screen can be run smoothly in the wellbore with a dogleg angle of more than 20°/30 m and keep the structure stable.Additionally,the comprehensive friction coefficient is 0.4,under which and the simulation shows that the sand control string for hydrate exploitation can be run smoothly.These findings have important guiding significance for running the completion sand control string in natural gas hydrate exploitation.展开更多
AIM: To evaluate the utility of the string test to detect genotypic clarithromycin-resistant Helicobacter pylori (H. pylori) by polymerase chain reaction (PCR)-restriction fragment length polymorphism.
The mechanical behavior of the test string in deep wells is generally relatively complex as a result of the high temperature and high pressure,severe dogleg and buckling effects,which in some circumstances can even le...The mechanical behavior of the test string in deep wells is generally relatively complex as a result of the high temperature and high pressure,severe dogleg and buckling effects,which in some circumstances can even lead to string failure.Traditional computational methods for the analysis of these behaviors are often inaccurate.For this reason,here a more accurate mechanical model of the test string is introduced by considering variables such as temperature,pressure,wellbore trajectory,and buckling,as well as combining them with the deformation and string constraint conditions brought in by changes in temperature and pressure during the tripping,setting,and test operations.The model is validated by applying it to a specific high-pressure gas well(located in Northeast Sichuan).展开更多
In Well MJ4,Tarim Basin,the testing tubing string is 6617 m long and the bottom-hole pressure during the testing is 101.63 MPa.During the completion job,plastic deformation occurs in the tubing string,so it is very ne...In Well MJ4,Tarim Basin,the testing tubing string is 6617 m long and the bottom-hole pressure during the testing is 101.63 MPa.During the completion job,plastic deformation occurs in the tubing string,so it is very necessary to figure out at which stage of the completion job plastic deformation occurs on earth.For this reason,the three-dimension finite element analysis method was used to perform numerical calculations for the deformation of tubing string and the distribution of axial stress based on three typical load conditions(setting load,fracturing load,and well testing load of Well MJ4);a process for calculating the mechanical behavior of a completion and testing tubing string containing an expansion joint was then developed.The study content mainly includes:(1)A criterion was developed to determine the extension and closure status of the expansion joint in the tubing string;corresponding calculation mechanism and formulae were provided;and the extensioneclosure status of the expansion joint in the tubing string for Well MJ4 was calculated.(2)A method was developed for analyzing and calculating the additional pressure difference load in the packer annulus caused by poor engagement of the hydraulic anchor;the impact of the additional pressure difference load on the deformation behavior of the tubing string was simulated;and the significant impact of the additional pressure difference load on the plastic buckling deformation was figured out.(3)The limit of lateral buckling deformation in a calculation model was introduced,and so the impact of collar rigidity on the buckling deformation was indirectly considered;the deformation under the joint action of all loads of the tubing string was calculated,and the numerical result was the same as the observed deformation.The study results show that the plastic deformation of the tubing string for Well MJ4 occurs at the fracturing stage and the major causes are hydraulic pressure loads and gravity loads in different forms.The conclusion shows that the mechanical calculation model of the testing tubing containing the expansion joint can be used as an important theoretical tool and analysis approach in optimizing operations and designing the tubing string structure.展开更多
In drilling field, stick-slip vibrations of the drill-string are the main reason for the failure of the drilling system. To suppress the undesired stick-slip vibrations, an observer-based state feedback control method...In drilling field, stick-slip vibrations of the drill-string are the main reason for the failure of the drilling system. To suppress the undesired stick-slip vibrations, an observer-based state feedback control method is proposed. The drilling system is described by a lumped parameter model including a Karnopp friction torque model. A state observer is designed to estimate the bit velocity in bottom hole and a state feedback controller is proposed to control the top drive velocity. By simulation, the performance of the control algorithm is demonstrated. Based on the control algorithm, a stick-slip vibration control system is developed. Test results show that the control system can effectively eliminate stick-slip vibrations of the drill-string and can be applied to the drilling field.展开更多
基金supported by the Science and Technology Development Fund of Macao,Macao SAR(Nos.0021/2023/RIA1 and 0046/2021/A)a Faculty Research Grant of Macao University of Science and Technology(No.FRG-22-103-FIE)supported by the National Natural Science Foundation of China(Nos.61872167 and 61502205).
文摘String validation routines have been widely used in many real-world applications,such as email validation and postcode validation.String test cases are adopted to test these validation routines,to identify potential defects and security risks.Random Testing(RT)is a well-known testing approach to randomly generate string test cases from the input domain(i.e.,the set of all possible test inputs),which is simple to implement at a low cost.However,its testing effectiveness may be unsatisfactory for string validation routines.The main reason for this is that RT may have a high probability to generate invalid rather than valid string test cases,due to its randomness property.This research proposes a new RT approach based on the output types(i.e.,valid and invalid strings)for string validation routines,namely Output-type-guided Random Testing(RTO),which attempts to randomly generate both valid and invalid string test cases with a certain probability.This research performed an empirical study involving several real-world string validation routines collected from ten Java open-source projects,to investigate and compare testing performances of RT-O against the previous two widely-used RT methods.The results show that the generated string test cases by RT-O outperform test cases generated by other RT methods.
文摘The China Spallation Neutron Source(CSNS)is the fourth pulsed accelerator-driven neutron source in the world,and it achieved its design target of 100 kW in 2020.The planned China Spallation Neutron Source Phase II(CSNS-II)commenced in 2024.The CSNS-II linac design primarily involves the addition of a radio-frequency ion source and a section of a superconducting linear accelerator composed of two types of superconducting cavities,namely double-spoke and six-cell elliptical cavities,after the drift tube linac(DTL).The development of the double-spoke superconducting cavity began in early 2021,and by January 2023,the welding,post-processing,and vertical tests of two 324 MHz double-spoke cavity prototypes were completed,with vertical test gradients of 11.6 and 15 MV/m,and Q_(0)≥3×10^(10)@E_(acc)≤10 MV/m.The R&D of the cryomodule began in January 2022.In October 2023,the clean assembly of the double-spoke cavity string and cold mass installation of the cryomodule commenced,with the installation of the cryomodule and valve box completing in two months.In January 2024,a horizontal test of the cryomodule was completed,making it the first double-spoke cavity cryomodule in China.The test results showed that the maximum gradients of the two superconducting cavities at a pulse width of 4 ms and repetition frequency of 25 Hz were 12.8 and 15.2 MV/m,respectively.This article provides a detailed introduction to the double-spoke superconducting cavity,tuner,coupler,and cryomodule,elaborates on the clean assembly of the cavity string and cold mass installation of the cryomodule,and provides a detailed analysis of the horizontal test results.
文摘AIM: Helicobacter pylori (H pylori) resistance after failed eradication has a major impact on the outcome of a further treatment regimen. The aim of this study was to assess the validity of a non-invasive strategy using the 13C-urea breath test (UBT) and the gastric string test in identifying post-treatment resistance of H pylori. METHODS: The UBT was routinely performed 4 to 6 wk after H pylori eradication therapy. Forty-two patients (24 females, 18 males, mean age 48 years) with a positive UBT were included in the study. A gastric string test using a capsule containing a 90 cm-long nylon fiber was performed. Before the capsule was swallowed, the free end of the string was taped to the cheek. After one hour in the stomach, the string was withdrawn. The distal 20 cm of the string was inoculated onto an agar plate and processed under micro-aerophilic conditions. Following the string test, upper gastrointestinal endoscopy was performed to obtain gastric biopsies for conventional culture. RESULTS: H pylori was successfully cultured from the gastric string in 34 patients (81%), but not in 5 patients due to contamination with oropharyngeal flora. H py/oriwas cultured from the gastric biopsies obtained at endoscopy in 39 patients (93%). CONCLUSION: The UBT followed by the gastric string test in the case of treatment failure is a valid diagnostic strategy with the aim of determining the post-therapeutic antibiotic resistance of H pylori with little inconvenience to the patient. Upper Gl-endoscopy can be avoided in several cases by applying consequently this diagnostic package.
基金supported jointly by one of the major projects of Basic and Applied Basic Research in Guangdong Province“Key Basic Theory Research for Natural Gas Hydrate Trial Production in Shenhu Pilot Test Area”(2020B0301030003)the project from Southern Marine Science&Engineering Guangdong Laboratory Guangzhou City“Research on New Closed Circulation Drilling Technology without Riser”(GML2019ZD0501)the special project for hydrate from China Geological Survey“Trial Production Implementation for Natural Gas Hydrate in Shenhu Pilot Test Area”(DD20190226)。
文摘To meet the requirements of marine natural gas hydrate exploitation,it is necessary to improve the penetration of completion sand control string in the large curvature borehole.In this study,large curvature test wells were selected to carry out the running test of sand control string with pre-packed screen.Meanwhile,the running simulation was performed by using the Landmark software.The results show that the sand control packer and screen can be run smoothly in the wellbore with a dogleg angle of more than 20°/30 m and keep the structure stable.Additionally,the comprehensive friction coefficient is 0.4,under which and the simulation shows that the sand control string for hydrate exploitation can be run smoothly.These findings have important guiding significance for running the completion sand control string in natural gas hydrate exploitation.
基金Supported by Grants from National Science Council of Republic of China,No.NSC96-3111-P-042A-004-Y and No.NSC972314-B-037-047-MY3from Kaohsiung Medical University Hospital,No.KMUH97-7R32 and No.KMUH97-7G49
文摘AIM: To evaluate the utility of the string test to detect genotypic clarithromycin-resistant Helicobacter pylori (H. pylori) by polymerase chain reaction (PCR)-restriction fragment length polymorphism.
文摘The mechanical behavior of the test string in deep wells is generally relatively complex as a result of the high temperature and high pressure,severe dogleg and buckling effects,which in some circumstances can even lead to string failure.Traditional computational methods for the analysis of these behaviors are often inaccurate.For this reason,here a more accurate mechanical model of the test string is introduced by considering variables such as temperature,pressure,wellbore trajectory,and buckling,as well as combining them with the deformation and string constraint conditions brought in by changes in temperature and pressure during the tripping,setting,and test operations.The model is validated by applying it to a specific high-pressure gas well(located in Northeast Sichuan).
基金supported by the National Major Science and Technology Project“Optimal and fast ultra-deep HTHP well construction and gas recovery technologies”(No.:2016ZX05051003)the National Natural Science Foundation of China(General Program)“Theoretical and experimental studies on key mechanical aspects in unconventional gas recovery”(No.:11272216).
文摘In Well MJ4,Tarim Basin,the testing tubing string is 6617 m long and the bottom-hole pressure during the testing is 101.63 MPa.During the completion job,plastic deformation occurs in the tubing string,so it is very necessary to figure out at which stage of the completion job plastic deformation occurs on earth.For this reason,the three-dimension finite element analysis method was used to perform numerical calculations for the deformation of tubing string and the distribution of axial stress based on three typical load conditions(setting load,fracturing load,and well testing load of Well MJ4);a process for calculating the mechanical behavior of a completion and testing tubing string containing an expansion joint was then developed.The study content mainly includes:(1)A criterion was developed to determine the extension and closure status of the expansion joint in the tubing string;corresponding calculation mechanism and formulae were provided;and the extensioneclosure status of the expansion joint in the tubing string for Well MJ4 was calculated.(2)A method was developed for analyzing and calculating the additional pressure difference load in the packer annulus caused by poor engagement of the hydraulic anchor;the impact of the additional pressure difference load on the deformation behavior of the tubing string was simulated;and the significant impact of the additional pressure difference load on the plastic buckling deformation was figured out.(3)The limit of lateral buckling deformation in a calculation model was introduced,and so the impact of collar rigidity on the buckling deformation was indirectly considered;the deformation under the joint action of all loads of the tubing string was calculated,and the numerical result was the same as the observed deformation.The study results show that the plastic deformation of the tubing string for Well MJ4 occurs at the fracturing stage and the major causes are hydraulic pressure loads and gravity loads in different forms.The conclusion shows that the mechanical calculation model of the testing tubing containing the expansion joint can be used as an important theoretical tool and analysis approach in optimizing operations and designing the tubing string structure.
文摘In drilling field, stick-slip vibrations of the drill-string are the main reason for the failure of the drilling system. To suppress the undesired stick-slip vibrations, an observer-based state feedback control method is proposed. The drilling system is described by a lumped parameter model including a Karnopp friction torque model. A state observer is designed to estimate the bit velocity in bottom hole and a state feedback controller is proposed to control the top drive velocity. By simulation, the performance of the control algorithm is demonstrated. Based on the control algorithm, a stick-slip vibration control system is developed. Test results show that the control system can effectively eliminate stick-slip vibrations of the drill-string and can be applied to the drilling field.
