Automatically formed roadway(AFR)by roof cutting with bolt grouting(RCBG)is a new deep coal mining technology.By using this technology,the broken roadway roof is strengthened,and roof cutting is applied to cut off str...Automatically formed roadway(AFR)by roof cutting with bolt grouting(RCBG)is a new deep coal mining technology.By using this technology,the broken roadway roof is strengthened,and roof cutting is applied to cut off stress transfer between the roadway and gob to ensure the collapse of the overlying strata.The roadway is automatically formed owing to the broken expansion characteristics of the collapsed strata and mining pressure.Taking the Suncun Coal Mine as the engineering background,the control effect of this new technology on roadways was studied.To compare the law of stress evolution and the surrounding rock control mechanisms between AFR and traditional gob-side entry driving,a comparative study of geomechanical model tests on the above methods was carried out.The results showed that the new technology of AFR by RCBG effectively reduced the stress concentration of the roadway compared with gob-side entry driving.The side abutment pressure peak of the solid coal side was reduced by 24.3%,which showed an obvious pressure-releasing effect.Moreover,the position of the side abutment pressure peak was far from the solid coal side,making it more beneficial for roadway stability.The deformation of AFR surrounding rock was also smaller than the deformation of the gob-side entry driving by the overload test.The former was more beneficial for roadway stability than the latter under higher stress conditions.Field application tests showed that the new technology can effectively control roadway deformation.Moreover,the technology reduced roadway excavation and avoided resource waste caused by reserved coal pillars.展开更多
Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to ca...Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users' hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.展开更多
An automatic well test interpretation method for radial composite reservoirs based on convolutional neural network(CNN) is proposed, and its effectiveness and accuracy are verified by actual field data. In this paper,...An automatic well test interpretation method for radial composite reservoirs based on convolutional neural network(CNN) is proposed, and its effectiveness and accuracy are verified by actual field data. In this paper, based on the data transformed by logarithm function and the loss function of mean square error(MSE), the optimal CNN is obtained by reducing the loss function to optimize the network with "dropout" method to avoid over fitting. The trained optimal network can be directly used to interpret the buildup or drawdown pressure data of the well in the radial composite reservoir, that is, the log-log plot of the given measured pressure variation and its derivative data are input into the network, the outputs are corresponding reservoir parameters(mobility ratio, storativity ratio, dimensionless composite radius, and dimensionless group characterizing well storage and skin effects), which realizes the automatic initial fitting of well test interpretation parameters. The method is verified with field measured data of Daqing Oilfield. The research shows that the method has high interpretation accuracy, and it is superior to the analytical method and the least square method.展开更多
Advancements in semiconductor technology are making gate-level test generation more challenging. This is because a large amount of detailed structural information must be processed in the search process of automatic t...Advancements in semiconductor technology are making gate-level test generation more challenging. This is because a large amount of detailed structural information must be processed in the search process of automatic test pattern generation (ATPG). In addition, ATPG needs to deal with new defects caused by process variation when IC is shrinking. To reduce the computation effort of ATPG, test generation could be started earlier at higher abstraction level, which is in line with top-down design methodology that has become more popular nowadays. In this research, we employ Chen’s high-level fault model in the high-level ATPG. Besides shorter ATPG time as shown in many previous works, our study showed that high-level ATPG also contributes to test compaction. This is because most of the high-level faults correlate with the gate-level collapsed faults especially at input/output of the modules in a circuit. The high-level ATPG prototype used in our work is mainly composed by constraint-driven test generation engine and fault simulation engine. Experimental result showed that more reduced/compact test set can be generated from the high-level ATPG.展开更多
Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is...Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.展开更多
This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technol...This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.展开更多
The supreme goal of the Automatic Test case selection techniques is to guarantee systematic coverage, to recognize the usual error forms and to lessen the test of redundancy. It is unfeasible to carry out all the test...The supreme goal of the Automatic Test case selection techniques is to guarantee systematic coverage, to recognize the usual error forms and to lessen the test of redundancy. It is unfeasible to carry out all the test cases consistently. For this reason, the test cases are picked and prioritize it. The major goal of test case prioritization is to prioritize the test case sequence and finds faults as early as possible to improve the efficiency. Regression testing is used to ensure the validity and the enhancement part of the changed software. In this paper, we propose a new path compression technique (PCUA) for both old version and new version of BPEL dataset. In order to analyze the enhancement part of an application and to find an error in an enhancement part of an application, center of the tree has been calculated. Moreover in the comparative analysis, our proposed PCUA- COT technique is compared with the existing XPFG technique in terms of time consuming and error detection in the path of an enhancement part of BPEL dataset. The experimental results have been shown that our proposed work is better than the existing technique in terms of time consuming and error detection.展开更多
A test method was developed to better evaluate the cleaning performance of protease in Chinese automatic dishwashing detergent(ADD)and differentiate the washing performance of different ADD formulations on protein sta...A test method was developed to better evaluate the cleaning performance of protease in Chinese automatic dishwashing detergent(ADD)and differentiate the washing performance of different ADD formulations on protein stains.Steamed egg stain,which was a Chinese-consumers-relevant soil,was used as monitor.The response curves of the stain to different amounts of protease were measured under laboratory conditions,and the stain removal ability of commercially available ADDs was tested with this method.The results showed that the soil removal rate of ADD without protease was less than 10%,and the soil removal rate increased with the increase of protease dosage in the range of 0~2.0%.Steamed egg stain had a good response to protease,and it could effectively distinguish the cleaning performance of commercial ADDs.The test method could be used in the development,screening and evaluation of ADD formulations.展开更多
Using Planet ATE's SOC 'all-in-one' pin electronics solutions it is easy to make your owntester, ATE or to modify load boards for more advanced test capabilities.
For the purpose of engineering development for a new 8-step speed automatic transmission,a simplified dynamic model for this gearbox was established and key parameters which affected the shift quality were analyzed.Ai...For the purpose of engineering development for a new 8-step speed automatic transmission,a simplified dynamic model for this gearbox was established and key parameters which affected the shift quality were analyzed.Aiming at four different shift types,the ideal characteristics of shift clutch and engine control were set up.By using torque estimation method,PI slip control algorithm and engine coordinated control principle,the control model and transmission controller were well developed for three shift phases which included rapid-fill phase,torque phase and inertia phase.The testing environment on the rig and prototype vehicle level was built and the testing results obtained in ultimate condition could verify the accuracy and feasibility of this shift control strategy.The peak jerk during shift process was controlled within ±2 g/s where the smooth gearshift was obtained.The development proposal and algorithm have a high value for engineering application.展开更多
In this paper, a new method of quantitative description of earthquake precursors is proposed; by this method, the precursory pattern of time series can be quantitatively described with a two-dimensional matrix. On thi...In this paper, a new method of quantitative description of earthquake precursors is proposed; by this method, the precursory pattern of time series can be quantitatively described with a two-dimensional matrix. On this basis, a method of automatic recognition or automatic acquirement of precursory pattern, called simply the AA method, is put forward. Then, taking North China region as an example, various seismological precursors such as the frequency, energy, b -value, etc . and various nonlinear parameter precursors such as the capacity dimension, information dimension, correlation dimension, Hurst index and its difference, etc. are analyzed and the 8 time series so obtained are recognized automatically using the proposed precursory pattern and AA method. Besides, C-method tests and very rigorous HF (history and future) tests are made. The result shows that the R-value of prediction efficacy assessment is fairly high.展开更多
The application of metamorphic testing(MT)on automatic program repair(APR-MT)is used to generate a patch without test oracles by examining whether the input metamorphic relation(MR)is satisfied or not.However,the deli...The application of metamorphic testing(MT)on automatic program repair(APR-MT)is used to generate a patch without test oracles by examining whether the input metamorphic relation(MR)is satisfied or not.However,the delivered patch is plausible since it may satisfy the input MR but violate other MRs.This inspires us to propose an improved approach to enhance the effectiveness of APR-MT with metamorphic relation group.Ourapproach involves three major steps.First,we formally define the repair process of APR-MT by building the model of automatic program repair and metamorphic testing separately.Then,we propose the advanced model of automatic program repair based on metamorphic relation group,named METARO^(3),which takes several MRs as input while only one MR is used in APR-MT.We additionally present two kinds of selection strategies to rank MRs in descending order of the fault detection capability,which helps shorten the repair time of finding a patch.To demonstrate the feasibility and procedure of our approach,an illustration example was conducted.The results show that METARO^(3) can improve the effectiveness of APR-MT significantly.展开更多
With an advanced foreign hydraulic automatic transmission as the objective,an analytical method for the gear-shifting schedule is proposed.First the demanded maximum gradient of test is estimated.Then a test scheme an...With an advanced foreign hydraulic automatic transmission as the objective,an analytical method for the gear-shifting schedule is proposed.First the demanded maximum gradient of test is estimated.Then a test scheme and analytical procedure is formulated by initial test and hypothetical shift parameters.Finally through gear-shifting tests under different road conditions,load,accelerator pedal position limitation,throttle opening and output shaft speed are found to be the gear-shifting parameters.Under a common road condition,the gear-shifting schedule is a double-parameter schedule.Based on the driver's demands on braking and dynamic performance,different shift schedules are made under downhill,uphill and quick releasing acceleration pedal conditions.The operation criteria of down-shift schedule on abrupt grade are proposed.展开更多
基金This work was supported by the National Natural Science Foundation of China(Nos.51874188,52074164,42077267,and 51927807)the Natural Science Foundation of Shandong Province,China(Nos.2019SDZY04 and ZR2020JQ23)the Project of Shandong Province Higher Educational Youth Innovation Science and Technology Program,China(No.2019KJG013).
文摘Automatically formed roadway(AFR)by roof cutting with bolt grouting(RCBG)is a new deep coal mining technology.By using this technology,the broken roadway roof is strengthened,and roof cutting is applied to cut off stress transfer between the roadway and gob to ensure the collapse of the overlying strata.The roadway is automatically formed owing to the broken expansion characteristics of the collapsed strata and mining pressure.Taking the Suncun Coal Mine as the engineering background,the control effect of this new technology on roadways was studied.To compare the law of stress evolution and the surrounding rock control mechanisms between AFR and traditional gob-side entry driving,a comparative study of geomechanical model tests on the above methods was carried out.The results showed that the new technology of AFR by RCBG effectively reduced the stress concentration of the roadway compared with gob-side entry driving.The side abutment pressure peak of the solid coal side was reduced by 24.3%,which showed an obvious pressure-releasing effect.Moreover,the position of the side abutment pressure peak was far from the solid coal side,making it more beneficial for roadway stability.The deformation of AFR surrounding rock was also smaller than the deformation of the gob-side entry driving by the overload test.The former was more beneficial for roadway stability than the latter under higher stress conditions.Field application tests showed that the new technology can effectively control roadway deformation.Moreover,the technology reduced roadway excavation and avoided resource waste caused by reserved coal pillars.
基金Supported by the National Natural Science Foun-dation of China (60425206 ,90412003 ,60503033)the National Bas-ic Research Program of China (973 Program 2002CB312000 ) Opening Foundation of State Key Laboratory of Software Engineeringin Wuhan University, High Technology Research Project of JiangsuProvince (BG2005032)
文摘Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users' hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.
基金Supported by the National Science and Technology Major Project(2017ZX05009005-002)
文摘An automatic well test interpretation method for radial composite reservoirs based on convolutional neural network(CNN) is proposed, and its effectiveness and accuracy are verified by actual field data. In this paper, based on the data transformed by logarithm function and the loss function of mean square error(MSE), the optimal CNN is obtained by reducing the loss function to optimize the network with "dropout" method to avoid over fitting. The trained optimal network can be directly used to interpret the buildup or drawdown pressure data of the well in the radial composite reservoir, that is, the log-log plot of the given measured pressure variation and its derivative data are input into the network, the outputs are corresponding reservoir parameters(mobility ratio, storativity ratio, dimensionless composite radius, and dimensionless group characterizing well storage and skin effects), which realizes the automatic initial fitting of well test interpretation parameters. The method is verified with field measured data of Daqing Oilfield. The research shows that the method has high interpretation accuracy, and it is superior to the analytical method and the least square method.
文摘Advancements in semiconductor technology are making gate-level test generation more challenging. This is because a large amount of detailed structural information must be processed in the search process of automatic test pattern generation (ATPG). In addition, ATPG needs to deal with new defects caused by process variation when IC is shrinking. To reduce the computation effort of ATPG, test generation could be started earlier at higher abstraction level, which is in line with top-down design methodology that has become more popular nowadays. In this research, we employ Chen’s high-level fault model in the high-level ATPG. Besides shorter ATPG time as shown in many previous works, our study showed that high-level ATPG also contributes to test compaction. This is because most of the high-level faults correlate with the gate-level collapsed faults especially at input/output of the modules in a circuit. The high-level ATPG prototype used in our work is mainly composed by constraint-driven test generation engine and fault simulation engine. Experimental result showed that more reduced/compact test set can be generated from the high-level ATPG.
基金Supported by the Ministry of Education for Ph. D (20030614006)
文摘Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.
基金the Defense Advanced research Projects Agency of the Department of Defense (No.15.3.2).
文摘This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.
文摘The supreme goal of the Automatic Test case selection techniques is to guarantee systematic coverage, to recognize the usual error forms and to lessen the test of redundancy. It is unfeasible to carry out all the test cases consistently. For this reason, the test cases are picked and prioritize it. The major goal of test case prioritization is to prioritize the test case sequence and finds faults as early as possible to improve the efficiency. Regression testing is used to ensure the validity and the enhancement part of the changed software. In this paper, we propose a new path compression technique (PCUA) for both old version and new version of BPEL dataset. In order to analyze the enhancement part of an application and to find an error in an enhancement part of an application, center of the tree has been calculated. Moreover in the comparative analysis, our proposed PCUA- COT technique is compared with the existing XPFG technique in terms of time consuming and error detection in the path of an enhancement part of BPEL dataset. The experimental results have been shown that our proposed work is better than the existing technique in terms of time consuming and error detection.
文摘A test method was developed to better evaluate the cleaning performance of protease in Chinese automatic dishwashing detergent(ADD)and differentiate the washing performance of different ADD formulations on protein stains.Steamed egg stain,which was a Chinese-consumers-relevant soil,was used as monitor.The response curves of the stain to different amounts of protease were measured under laboratory conditions,and the stain removal ability of commercially available ADDs was tested with this method.The results showed that the soil removal rate of ADD without protease was less than 10%,and the soil removal rate increased with the increase of protease dosage in the range of 0~2.0%.Steamed egg stain had a good response to protease,and it could effectively distinguish the cleaning performance of commercial ADDs.The test method could be used in the development,screening and evaluation of ADD formulations.
文摘Using Planet ATE's SOC 'all-in-one' pin electronics solutions it is easy to make your owntester, ATE or to modify load boards for more advanced test capabilities.
基金Project(51105017) supported by the National Natural Science Foundation of ChinaProject(2011BAG09B00) supported by the National Science and Technology Support Program of ChinaProject(2010DFB80020) supported by the Technology Major Project of the Ministry of Science and Technology of China
文摘For the purpose of engineering development for a new 8-step speed automatic transmission,a simplified dynamic model for this gearbox was established and key parameters which affected the shift quality were analyzed.Aiming at four different shift types,the ideal characteristics of shift clutch and engine control were set up.By using torque estimation method,PI slip control algorithm and engine coordinated control principle,the control model and transmission controller were well developed for three shift phases which included rapid-fill phase,torque phase and inertia phase.The testing environment on the rig and prototype vehicle level was built and the testing results obtained in ultimate condition could verify the accuracy and feasibility of this shift control strategy.The peak jerk during shift process was controlled within ±2 g/s where the smooth gearshift was obtained.The development proposal and algorithm have a high value for engineering application.
文摘In this paper, a new method of quantitative description of earthquake precursors is proposed; by this method, the precursory pattern of time series can be quantitatively described with a two-dimensional matrix. On this basis, a method of automatic recognition or automatic acquirement of precursory pattern, called simply the AA method, is put forward. Then, taking North China region as an example, various seismological precursors such as the frequency, energy, b -value, etc . and various nonlinear parameter precursors such as the capacity dimension, information dimension, correlation dimension, Hurst index and its difference, etc. are analyzed and the 8 time series so obtained are recognized automatically using the proposed precursory pattern and AA method. Besides, C-method tests and very rigorous HF (history and future) tests are made. The result shows that the R-value of prediction efficacy assessment is fairly high.
基金The work was supported by a grant from National Natural Science Foundation of China(No.61772423).
文摘The application of metamorphic testing(MT)on automatic program repair(APR-MT)is used to generate a patch without test oracles by examining whether the input metamorphic relation(MR)is satisfied or not.However,the delivered patch is plausible since it may satisfy the input MR but violate other MRs.This inspires us to propose an improved approach to enhance the effectiveness of APR-MT with metamorphic relation group.Ourapproach involves three major steps.First,we formally define the repair process of APR-MT by building the model of automatic program repair and metamorphic testing separately.Then,we propose the advanced model of automatic program repair based on metamorphic relation group,named METARO^(3),which takes several MRs as input while only one MR is used in APR-MT.We additionally present two kinds of selection strategies to rank MRs in descending order of the fault detection capability,which helps shorten the repair time of finding a patch.To demonstrate the feasibility and procedure of our approach,an illustration example was conducted.The results show that METARO^(3) can improve the effectiveness of APR-MT significantly.
基金Supported by the National High Technology Research and Development Program of China(863 Program)(2012AA112101)
文摘With an advanced foreign hydraulic automatic transmission as the objective,an analytical method for the gear-shifting schedule is proposed.First the demanded maximum gradient of test is estimated.Then a test scheme and analytical procedure is formulated by initial test and hypothetical shift parameters.Finally through gear-shifting tests under different road conditions,load,accelerator pedal position limitation,throttle opening and output shaft speed are found to be the gear-shifting parameters.Under a common road condition,the gear-shifting schedule is a double-parameter schedule.Based on the driver's demands on braking and dynamic performance,different shift schedules are made under downhill,uphill and quick releasing acceleration pedal conditions.The operation criteria of down-shift schedule on abrupt grade are proposed.