On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based ...On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.展开更多
Multiply scattered waves are sensitive to media changes owing to the effect of repeated sampling,superposition and amplification. Based on this characteristic,small-medium changes could be detected by using coda wave ...Multiply scattered waves are sensitive to media changes owing to the effect of repeated sampling,superposition and amplification. Based on this characteristic,small-medium changes could be detected by using coda wave interferometry. In recent years,coda wave interferometry has been widely used in estimating velocity variation with high precision in areas such as seismology and non-destructive testing. This paper systematically presents the principle and research status of coda wave interferometry,and especial focus is placed on the research of media velocity variations by using repeating earthquakes,artificial sources,and ambient noise. Applications of coda wave interferometry can contribute to the more subtle understanding of dynamic evolution process in the medium.展开更多
Due to the difficulty and weakness of current stress measurement methods in deep soft rock, a new rheological stress recovery method of the determination of the three-dimensional(3D) stress tensor is proposed. It is s...Due to the difficulty and weakness of current stress measurement methods in deep soft rock, a new rheological stress recovery method of the determination of the three-dimensional(3D) stress tensor is proposed. It is supposed that rock stresses will recovery gradually with time and can be measured by embedding transducers into the borehole. In order to explore the applicability and accuracy of this method, analytical solutions are developed for stress measurement with the rheological stress recovery method in a viscoelastic surrounding rock, the rheological properties of which are depicted as both the Burger's model and a 3-parameter solid model. In such conditions, explicit analytical expressions for predicting time-dependent pressures on the transducer are derived. A parametric analysis is then adopted to investigate the influences of the grout solidification time and the mechanical properties of the grout layer. The results indicate that this method is suitable for stress measurement in deep soft rock, the characteristics of which are soft, fractured and subjected to high geo-stress.展开更多
Validating a method of analysis goes through different steps, which aims at testing the normality of measurements distribution, estimating the uncertainty of the components of a measurement （i.e., accuracy and correc...Validating a method of analysis goes through different steps, which aims at testing the normality of measurements distribution, estimating the uncertainty of the components of a measurement （i.e., accuracy and correctness）, and finally, define the control tests of non degradation of the method performances. This paper outlines the steps for validating a biological method of analysis. It involves the construction of an experimental design, a statistical model, and the preparation of an interne laboratory reference material （pilot vaccine）. The latter is used to study the impact of deviation and variation factors, in order to, optimize the analytical method, to evaluate the bias （random error）, and to calculate the uncertainty of measurement, and make the control charts. This method is applied in the titration of live viral vaccines of Gumboro disease on chicken＇s embryos fibroblasts. The experimental results show that potential influence factors related to the titration method had no significant influence on the obtained results. Taking into account these results, an operating mode has been elaborated. The finalized method proved to be faithful to standard deviation of repeatability and reproducibility of 0.21 and 0.22, respectively, with a confidence level of 95%. The calculated uncertainty of measurement is equal to 0.2, which represents the average error level of a titer. A homogeneous stock of interne laboratory reference vaccine （MRIL）, with an average titer of 5.9 log DIT 50, was produced and the control chart set in away to provide the laboratory with an important tool of control and monitoring of the viral titers evolution in time, as well as, the mastery of the validated titration method performances.展开更多
This paper studies the estimation and inference for a class of varying-coefficient regression models with error-prone covariates.The authors focus on the situation where the covariates are unobserved,there are no repe...This paper studies the estimation and inference for a class of varying-coefficient regression models with error-prone covariates.The authors focus on the situation where the covariates are unobserved,there are no repeated measurements,and the covariance matrix of the measurement errors is unknown,but some auxiliary information is available.The authors propose an instrumental variable type local polynomial estimator for the unknown varying-coefficient functions,and show that the estimator achieves the optimal nonparametric convergence rate,is asymptotically normal,and avoids using undersmoothing to allow the bandwidths to be selected using data-driven methods.A simulation is carried out to study the finite sample performance of the proposed estimator,and a real date set is analyzed to illustrate the usefulness of the developed methodology.展开更多
In the field of oil well logging, real-time monitoring of the fluid flow parameter provides a scientific basis for oil and gas optimization exploration and increase in reservoir recovery, so a non-intrusive flow test ...In the field of oil well logging, real-time monitoring of the fluid flow parameter provides a scientific basis for oil and gas optimization exploration and increase in reservoir recovery, so a non-intrusive flow test method based on turbulent vibration was proposed. The specific length of the sensor fiber wound tightly around the outer wall of the pipe was connected with the optical fiber gratings at both ends, and the sensor fiber and the optical fiber gratings composed the flow sensing unit. The dynamic pressure was generated by the turbulence when fluid flows through the pipe, and the dynamic pressure resulted in the light phase shift of the sensor fiber. The phase information was demodulated by the fiber optic interferometer technology, time division multiplexing technology, and phase generated carrier modulation and demodulation techniques. The quadratic curve relationship between the phase change and flow rate was found by experimental data analysis, and the experiment confirmed the feasibility of the optical fiber flow test method with non-intrusion and achieved the real-time monitoring of the fluid flow.展开更多
文摘On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.
基金sponsored by the Task of Department of Earthquake Monitoring and Prediction,CEAthe Special Fund of Earthquake Scientific Research of China Earthquake Administration(201208003)
文摘Multiply scattered waves are sensitive to media changes owing to the effect of repeated sampling,superposition and amplification. Based on this characteristic,small-medium changes could be detected by using coda wave interferometry. In recent years,coda wave interferometry has been widely used in estimating velocity variation with high precision in areas such as seismology and non-destructive testing. This paper systematically presents the principle and research status of coda wave interferometry,and especial focus is placed on the research of media velocity variations by using repeating earthquakes,artificial sources,and ambient noise. Applications of coda wave interferometry can contribute to the more subtle understanding of dynamic evolution process in the medium.
基金supported by the National Basic Research Program of China (No.2014CB046904)the National Natural Science Foundation of China (Nos.41130742 and 11302242)
文摘Due to the difficulty and weakness of current stress measurement methods in deep soft rock, a new rheological stress recovery method of the determination of the three-dimensional(3D) stress tensor is proposed. It is supposed that rock stresses will recovery gradually with time and can be measured by embedding transducers into the borehole. In order to explore the applicability and accuracy of this method, analytical solutions are developed for stress measurement with the rheological stress recovery method in a viscoelastic surrounding rock, the rheological properties of which are depicted as both the Burger's model and a 3-parameter solid model. In such conditions, explicit analytical expressions for predicting time-dependent pressures on the transducer are derived. A parametric analysis is then adopted to investigate the influences of the grout solidification time and the mechanical properties of the grout layer. The results indicate that this method is suitable for stress measurement in deep soft rock, the characteristics of which are soft, fractured and subjected to high geo-stress.
文摘Validating a method of analysis goes through different steps, which aims at testing the normality of measurements distribution, estimating the uncertainty of the components of a measurement （i.e., accuracy and correctness）, and finally, define the control tests of non degradation of the method performances. This paper outlines the steps for validating a biological method of analysis. It involves the construction of an experimental design, a statistical model, and the preparation of an interne laboratory reference material （pilot vaccine）. The latter is used to study the impact of deviation and variation factors, in order to, optimize the analytical method, to evaluate the bias （random error）, and to calculate the uncertainty of measurement, and make the control charts. This method is applied in the titration of live viral vaccines of Gumboro disease on chicken＇s embryos fibroblasts. The experimental results show that potential influence factors related to the titration method had no significant influence on the obtained results. Taking into account these results, an operating mode has been elaborated. The finalized method proved to be faithful to standard deviation of repeatability and reproducibility of 0.21 and 0.22, respectively, with a confidence level of 95%. The calculated uncertainty of measurement is equal to 0.2, which represents the average error level of a titer. A homogeneous stock of interne laboratory reference vaccine （MRIL）, with an average titer of 5.9 log DIT 50, was produced and the control chart set in away to provide the laboratory with an important tool of control and monitoring of the viral titers evolution in time, as well as, the mastery of the validated titration method performances.
基金supported by the Graduate Student Innovation Foundation of SHUFE(#CXJJ-2011-351)supported by the Natural Sciences and Engineering Research Council of Canada
文摘This paper studies the estimation and inference for a class of varying-coefficient regression models with error-prone covariates.The authors focus on the situation where the covariates are unobserved,there are no repeated measurements,and the covariance matrix of the measurement errors is unknown,but some auxiliary information is available.The authors propose an instrumental variable type local polynomial estimator for the unknown varying-coefficient functions,and show that the estimator achieves the optimal nonparametric convergence rate,is asymptotically normal,and avoids using undersmoothing to allow the bandwidths to be selected using data-driven methods.A simulation is carried out to study the finite sample performance of the proposed estimator,and a real date set is analyzed to illustrate the usefulness of the developed methodology.
文摘In the field of oil well logging, real-time monitoring of the fluid flow parameter provides a scientific basis for oil and gas optimization exploration and increase in reservoir recovery, so a non-intrusive flow test method based on turbulent vibration was proposed. The specific length of the sensor fiber wound tightly around the outer wall of the pipe was connected with the optical fiber gratings at both ends, and the sensor fiber and the optical fiber gratings composed the flow sensing unit. The dynamic pressure was generated by the turbulence when fluid flows through the pipe, and the dynamic pressure resulted in the light phase shift of the sensor fiber. The phase information was demodulated by the fiber optic interferometer technology, time division multiplexing technology, and phase generated carrier modulation and demodulation techniques. The quadratic curve relationship between the phase change and flow rate was found by experimental data analysis, and the experiment confirmed the feasibility of the optical fiber flow test method with non-intrusion and achieved the real-time monitoring of the fluid flow.
